[管理学]第6章 非线性规划.doc

第六章( 非线性规划 前面几章，我们论述了线性规划及其扩展问题，这些问题的约束条件和目标函数都是关于决策变量的一次函数。虽然大量的实际问题可以简化为线性规划及其扩展问题来求解，但是还有相当多的问题很难用线性函数加以描述。如果目标函数或约束条件中包含有非线性函数，就称这样的规划问题为非线性规划问题。由于人们对实际问题解的精度要求越来越高，非线性规划自20世纪70年代以来得到了长足的发展；目前，已成为运筹学的一个重要分支，在管理科学、最优设计、系统控制等许多领域得到了广泛的应用。 一般来讲，非线性规划问题的求解要比线性规划问题的求解困难得多；而且也不象线性规划问题那样具有一种通用的求解方法（单纯形法）。非线性规划没有能够适应所有问题的一般求解方法，各种方法都只能在其特定的范围内发挥作用。 本章在简要介绍非线性规划基本概念和一维搜索的基础上，重点介绍无约束极值问题和约束极值问题的求解方法。 §1非线性规划的数学模型 非线性规划问题 [例6-1] 某商店经销、两种产品，售价分别为20和380元。据统计，售出一件产品的平均时间为0.5小时，而售出一件产品的平均时间与其销售的数量成正比，表达式为。若该商店总的营业时间为1000小时，试确定使其营业额最大的营业计划。 解：设和分别代表商店经销A、B两种产品的件数，于是有如下数学模型： [例6-2] 在层次分析（Analytic Hierarchy Process, 简记为 AHP）中，为了进行多属性的综合评价，需要确定每个属性的相对重要性，即它们各自的权重。为此，将各属性进行两两比较可得如下判断矩阵： 其中：是第个属性与第个属性的重要性之比。 现需要从判断矩阵求出各属性的权重，为使求出的权重向量在最小二乘意义上能最好地反映判断矩阵的估计，由可得： 非线性规划问题的数学模型 同线性规划问题的数学模型一样，非线性规划问题的数学模型可以具有不同的形式；但由于我们可以自由地实现不同形式之间的转换，因此我们可以用如下一般形式来加以描述： 其中是维欧氏空间中的向量点。 又因等价于两个不等式： ； 因此非线性规划的数学模型也可以表示为： 非线性规划问题的图示 [例6-3] 求解下述非线性规划问题 若令其目标函数，目标函数成为一条曲线或一张曲面；通常称为等值线或等值面。此例，若设和可得两个圆形等值线，见图6-1。 由图6-1可见，等值线和约束条件直线6-6相切，切点即为此问题的最优解，，其目标函数值。 在此例中，约束对最优解发生了影响，若以 代替原来的约束，则新的非线性规划的最优解变为，即图6-1中的点，此时。由于此最优点位于可行域的内部，故事实上约束 并未发挥约束作用，问题相当于一个无约束极值问题。 注意：线性规划存在最优解，最优解只能在其可行域的边缘上（特别能在可行域的顶点上）得到；而非线性规划的最优解（如果存在）则可能在可行域的任意一点上得到，并非仅局限在边缘上。 §2极值问题 2-1局部极值与全局极值 因为线性规划的目标函数和约束条件都是线性函数，所以其可行域是凸集，因此求得的最优解就一定是整个可行域上的全局最优解。非线性规划则不然，局部最优解未必就一定是全局最优解。下面就局部和全局极值问题给出如下一些定义： （1）对于((均有不等式，则称为在上的局部极小点，为局部极小值； （2）对于((均有不等式，则称为在上的严格局部极小点，为严格局部极小值； （3）对于均有不等式，则称为在上的全局极小点，为全局极小值； （4）对于均有不等式，则称为在上的严格全局极小点，为严格全局极小值。 2-2极值点存在的条件 [定理1（必要条件）] 设是上的一个开集，在上有一阶连续偏导数，且在点取得局部极值，则必有 （6-1） 或 （6-2） 式（6-2）中，称为函数在点处的梯度。 由数学分析可知，的方向为点处等值面（等值线）的法线方向，沿这一方向函数值增加最快，见图6-2。 满足或的点称为平稳点或驻点。极值点一定是驻点，但驻点不一定是极值点。 [定理2（充分条件）] 设是上的一个开集，在上具有二阶连续偏导数，，若且对任何非零向量都存在： 则为的严格局部极小点。此外，称为在点处的海赛（Hesse）矩阵。 注：二次型，对于任意总有： 若，则称二次型和对称矩阵正定； 若，则称二次型和对称矩阵半正定； 若，则称二次型和对称矩阵负定； 若，则称二次型和对称矩阵半负定； 若二次型不定，则称对称矩阵不定。 由线性代数知识可知：若矩阵正定，则其各阶左对角方阵的行列式大于零；若矩阵负定，则其各阶左对角方阵的行列式负、正交替。 现以代表矩阵中的元素，上述矩阵正定的条件可表示为： ；；(； 矩阵负定的条件可表示为： ；；；(； 定理2（充分条件）等价于，如果在点的梯度为零且