整数规划的数学模型及解的特点