割平面方法.两种有着相同的目标函数和相同的可行解集因而等价的整数规划，可能有着非常不一样的线性规划松弛：一种线性规划松弛可从几何上视为包含了所有可行解并排除了所有其余0-1向量的凸多面体，而且有无穷多的多面体都具有这种性质。理想情况下，我们想把可行解的凸包作为松弛来使用，因为这种多面体上的线性规划将自动产生原整数规划的正确解。尽管如此，一般情况下，这种多面体有指数多的面且难以构造。典型的松弛，比如我们前面讨论过的集覆盖问题的松弛，构造了一个严格包含可行解的凸包且排除可解非松弛问题的0-1向量的多面体。