点击看大图及详解  
           
可解节点:满足下列条件之一
它是一个终止节点
它是一个“或”节点,且子节点中至少有一个可解节点
它是一个“与”节点,且子节点全部是可解节点
不可解节点:关于可解节点的三个条件全部不满足的节点称为不可解节点
解树:由可解节点构成,并且由这些可解节点推出初始节点(原始问题)为可解节点的子树称为解树,解树中一定包含初始节点。
  点击看大图

例 三阶梵塔问题
初始状态:三片金片都在1号针上
目标状态:三片金片都在3号针上
要求:小片在大片之上
分析:原问题由三个子问题
1 把金片A及B移到2号针的双金片问题—分解3个子问题
2 把金片C移到3号针的单金片问题
3 把金片A及B移到3号针的双金片问题—分解3个子问题

设 三元组(i,j,k)
i: 金片C针号 ; j:金片B针号 ; k:金片A针号;

             
       
           
    点击看大图  
           
               
         
             
      点击看大图