知情搜索（三）-高级搜索算法

与或树

与或树通过一下规则，在给定的树中找到解的路径。

基于以下条件，节点可解：

1. 它是一个终端节点;
2. 它是一个非终端节点，其后继节点是所有可解的与节点;
3. 它是一个非终端节点，其后继节点是或节点，这些或节点，至少有一个可解。

基于一下条件，节点不可解：

1. 它是一个没有后继节点的非终端节点;
2. 它是一个非终端节点，其后继节点是与节点，这些与节点中，至少有一个是不可解的;
3. 它是一个非终端节点，其后继节点是或节点，并且这些或节点都是不可解的。

双向搜索

双向搜索的想法是通过向前搜索目标状态，并从已知的目标状态向后搜索到起始状态来找到解路径，当两条路径相遇时搜索终止。