问题:

检索4-皇后问题的状态空间树如下图的基本过程。(4-皇后问题解空间的树结构,结点按深度优先检索编号)

FIFO分枝_限界算法-LMLPHP

   如果按序扩展这些结点,则下一个E-结点就是结点2。扩展结点2后生成结点3,8和13。利用限界函数(同行、列、对角线上只能放置1个皇后),结点3(放在第二列)立即被杀死。于是,仅将结点8和13加到活结点队列。结点18变成下一个E-结点,生成结点19(放在第一列),24(放在第三列)和29(放在第四列),限界函数杀死结点19和24,结点29被加到活结点队列。下一个E-结点是34,…。

  下图显示了由FIFO分枝_限界检索生成图7.1所示的树的一部分(由FIFO分枝-限界法生成的4-皇后问题状态空间树)

FIFO分枝_限界算法-LMLPHP

  由限界函数杀死的那些结点的下方有一个 B字。结点内的数与第一个图所示的树的结点内的数对应。结点外的数字给出了用FIFO分枝_限界法生成结点的次序。在到达答案结点3时仅剩下活结点38(它可导致另一答案结点39)和54。

04-23 07:52