【算法分析】分支限界法 一般方法

一、概述

分支限界算法类似于回溯算法。区别是回溯算法进行dfs搜索，而分支限界法进行bfs搜索。

过程：生成当前E节点的全部儿子之后，才从活结点表中选择下一个活结点作为新的E节点。（BFS，可以想想二叉树层序遍历的例子）

活结点：自己已经生成，但是儿子还没开始生成。

E节点：正在扩展的节点。

死节点：儿子节点已经全部生成。

分支限界法的活结点表：FIFO（队列）、LIFO（堆栈）

但是只有这两种活结点表过于死板。比如dfs的下一步就是答案了，但是bfs还要把当前层都扫完才能取下一层找到答案。所以引出了LC检索来优化这个问题。

二、LC-检索（least cost最低成本）

每次把当前节点的子节点放到活结点表中，每次按照成本函数取出成本最小的节点继续拓展。

（具体结合下面的15迷问题来理解LC检索的过程，以及估计函数的定义）

给出一个带有智力的排序函数来决定出当前活结点表中的优先权。（这和棋类游戏中的评估函数很像，对于当前局面给出一个评分）

如果假设我们已经知道答案了，根据答案定义了一个C（x）函数。