从目标状态出发，按照子目标组成的逻辑顺序逐级向初始状态递归。这种解决问题的策略或方法是( )。