与或树
与或树通过一下规则,在给定的树中找到解的路径。
基于以下条件,节点可解:
- 它是一个终端节点;
- 它是一个非终端节点,其后继节点是所有可解的与节点;
- 它是一个非终端节点,其后继节点是或节点,这些或节点,至少有一个可解。
基于一下条件,节点不可解:
- 它是一个没有后继节点的非终端节点;
- 它是一个非终端节点,其后继节点是与节点,这些与节点中,至少有一个是不可解的;
- 它是一个非终端节点,其后继节点是或节点,并且这些或节点都是不可解的。
双向搜索
双向搜索的想法是通过向前搜索目标状态,并从已知的目标状态向后搜索到起始状态来找到解路径,当两条路径相遇时搜索终止。