把大目标分成子目标，然后进行算子搜索，逐渐缩小当前问题情境与目标状态之间的差异，这种解决问题的方法称( )。