1整数规划的数学模型2分枝定界法3割平面法401型整数规