追溯法算法设计与应用