整数规划

1.1 定义

数学规划中的变量（部分或全部）限制为整数时，称整数规划。同时，根据变量是否完全限制为整数，分（完全）整数规划和混合整数规划。

1.2 常见解法

1.2.1 分枝定界法
通常把全部解空间反复地分割为越来越小的子集，称为分枝；并对每个子集内的解集计算一个目标下界（对于最小值问题），这称为定界。在每次分枝后，若某个已知可行解集的目标值不能达到当前的界限，则将这个子集舍去。这样，许多子集不予考虑，这称为剪枝。这就是分枝界限法的思路。

例：

$$Max\,z=40x_1+90x_2\\ \begin{cases} 9x_1+7x_2 \leq 56\\ 7x_1+20x_2\leq 70\\ x_1\geq 5,x_2\geq0 \end{cases}$$
先无视整数限制，解线性规划，得最优解：
$x_1 = 4.809\, x_2=1.817\,z=355.878$
此时，对 $z$ 定界，有 $0\leq z^*\leq 356$,因x不满足整数条件，对任一 xi