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

A.手段—目的分析

B.逆向搜索

C.生成—检验策略

D.类比策略