搜索的进程可以看作从树根出发,遍历一颗倒置的树---搜索树的过程。所谓剪枝就是通过某种判断,避免一些不必要的遍历过程,就是剪去搜索树中的某些枝条。
剪枝的原则:
(1)正确性
必须保证不能丢失正确的解,这是前提。通过解答必须具备的特征,必须满足的条件来考察待判断的枝条能否被剪掉。
(2)准确性
即能够尽可能多的剪去不能得到正确解的枝条。
(3)高效性
设计好剪枝判断方法后,对每一根枝条都执行一次判断。要尽量减少剪枝判断的副作用
剪枝方法:
(1)可行性剪枝。
(2)最优性剪枝(上下界剪枝)。
极端法:通过对当前节点进行理想式扩展,通过否定这样的情况来避免对当前的节点扩展;
调整法:基本思想通过对子树的比较剪掉重复子树和明显不是最有前途的子树;
数学方法:利用专门剪枝知识,借助数学模型