分枝定界法在需要分枝时必须满足：一是分枝后的各子问题必须容易求解；二是各个子问题解的集合必须覆盖原问题的解