线性整数规划的数学基础