数据结构与算法C++（二十一）分支定界

分支定界

一、算法思想

分支定界（branch and bound）是另一种系统地搜索解空间的方法。它与回溯法的主要区别在于E-节点的扩充方式。每个活动节点仅有一次机会变成E-节点。当一个节点变为E-节点时，从该节点移动一步即可到达的节点都是生成的新节点，在生成的节点中，那些不可能导出（最优）可行解的节点被舍弃（成为“死”节点），剩余节点加入活动节点表，然后从表中选择一个节点作为下一个E-节点。将选择的节点从表中删除，然后扩展。这种扩展过程一直持续到一个解找到了或活动表成为空表。

有两种常用的方法可用来选择下一个E-节点：
先进先出（FIFO）
从活动节点表中取出节点的顺序与加入节点的顺序相同。活动节点表与队列相同。
最小耗费或最大收益法
每个节点都有一个对应的耗费或损益。若搜索的是耗费最小的解，则活动节点表可以组织成小根堆，下一个E-节点是耗费最小的活动节点。若需要的是收益最大的解，那么活动节点表可以组织成大根堆，下一个E-节点是收益最大的活动节点。

二、应用