找出问题空间中问题的初始状态与目标状态之间存在的差距，把问题划分为一系列的子目标，并通过逐个解决子目标最终达到问题解决的策略是（）。