。如果该顶点不是整数点，则该方法将凸多胞形分为两部分，一部分含有该顶点的超平面，另一部分含有所有整数解。该超平面随即作为额外的线性约束加入到问题中，构成修正的线性问题，以排除前一步发现的顶点。随后求解新的线性问题，重复这一过程，直到发现整数解。使用单纯形法求解线性问题会产生一组如下形式的方程其中 formula_4 是基本变量， formula_5是非基本变量。重写方程，使整数部分位于等号左边，小数部分位于等号右边：对于任意位于可行域的整数点，等号右边小于 1 ，而等号左边为整数，因此两边共同的取值