branching algorithm
是否有这个算法？没见过，谁能给个地址看看

[解决办法]
就是深度优先暴力搜索的时候把有些不可能的支点提前去掉。

很多integer linear programming的程序在用这个技巧。