整数线性规划

描述：取值于非负整数变量的线性规划问题

QUBO范式建模： + 转化为0-1线性规划：

例 \(2a_0+3a_1\leqslant10\)

1. 有界性：由\(a_n\)非负，得\(a_0\leqslant5,a_1\leqslant3\)
2. 松弛：同0-1线性规划 > 松弛变量，令\(a_0=x_0+2x_1+2x_2,\ a_1=x_3+2x_4\)

应用：多重背包