单选题 4.做几何证明题，通常会从要证明的结论往回推导，这里用的策略是( )。
【正确答案】 C
【答案解析】从问题的目标状态开始搜索，直到找到通往初始状态的通路和方法，叫逆向搜索。