一种问题求解方法。从目标出发进行反向推导。