最优化问题的数学模型