构造状态空间树的两个方法 。回溯法 当前E-结点R,生成一个新的儿子C, 则C就变成一个新的E-结点，对子树C 完全检测后，R结点再次成为E结点 。分枝-限界方法 。一个E结点一直保持到变成死结点为止 o限界函数 以上两种方法都使用限界函数杀死还没 有全部生成其儿子结点的那些活结点构造状态空间树的两个方法  回溯法 ⚫ 当前E-结点R，生成一个新的儿子C， 则C就变成一个新的E-结点，对子树C 完全检测后，R结点再次成为E-结点  分枝-限界方法 ⚫ 一个E-结点一直保持到变成死结点为止  限界函数 ⚫ 以上两种方法都使用限界函数杀死还没 有全部生成其儿子结点的那些活结点