注意:

可行性剪枝:

最优性剪枝:

状态压缩: