搜索算法-三个简单的小问题

看到了一些搜索的小问题，总结如下：

1.布尔表达式可满足性问题

输入：n个布尔变量，关于他们的k个析取布尔式

 输出：是否存在一个他们的一种赋值，使得所有k个布尔析取式皆为真

通过不断地为他们分类来建立树，每一层多增加一个变量，每个儿子都有T和F两种取值可能。

2.8-Puzzle问题

输入：具有八个编号的小方块的魔方的一面

输出：经过移动使得数字的排列具有某种性质

”也是转化为树的搜索问题，以输入为根节点，每两个儿子为当前根节点移动一次的可能情况

3.Hamiltonian环问题

输入：具有n个结点的连通图G=（V，E）

输出：G中是否具有Hamilton环

备注：沿着G的n条边经过每个节点一次，并回到起始结点的环称为G的一个Hamiltonian环

同样转化为树的搜索问题