​分支限界法以广度优先或以最小耗费/最大效益优先的方式产生状态空间树的结点，并使用剪枝函数进行修剪解空间树