分支限界法的基本思想

分支限界法常以广度优先或以最小耗费有限的方式搜索问题的解空间树。问题的解空间树是表示问题解空间的一棵有序树，常见的有子集树和排列树。在搜索问题的解空间树时，分支限界法和回溯法的主要区别在于它们对当前扩展节点所采用的扩展方式不同。在分支限界法中，每一个活结点只有一次机会成为扩展节点。活结点一旦成为扩展节点，就一次性产生其所有儿子节点。在这些儿子节点中，导致不可行解或导致非最优解的儿子节点被舍弃，其余儿子节点被加入活结点表中。此后，从活结点表中取下一节点为当前扩展节点。并重复上述节点扩展过程。这个过程移至持续到找到所需的解或活结点表为空为止。
    从活结点表中选择下一扩展节点的不同方式导致不同的分支限界法。最常见的有以下两种方式。
（1）队列式分支限界法
  队列式分支限界法将活结点表组织成一个队列，并按队列的先进先出原则选取下一个节点为当前扩展节点。
（2）有限队列式分支限界法
 优先队列式的分支限界法将活结点表组织成一个优先队列，并按优先队列中规定的节点优先级选取优先级最高的下一个节点成为当前扩展节点。