优化问题中的数学规划模型