在一定约束条件下，求一个目标函数的极大(或极小)的优化模型称为数学规划，它包括约束型数学规划和无约束型数学规划两大类，见图9-1所示。

图9-1 数学规划分类
  在数学规划的讨论中，把满足所有约束条件的点X称为可行点(或可行解)，所有可行点组成的点集称为可行域，其中使目标函数达最大或最小的可行解称为最忧解(最优点)，目标函数值称为最优值。