1. 引言
非线性规划是最优化问题中的重要一类。一般的最优化问题可以表达成一个二元组
,D为任一集合,是问题的可行区域;f为目标函数,是由集合D到一维欧式空间
的一个映射。问题是求出D中的一个元素
,使对
,有
,此时
称为全局最优解。
对于无约束非线性规划问题:
其中
是n维空间中的向量点。
2. 梯度法
梯度法是1847年法国著名数学家Cauchy最早提出 [1]。梯度法的基本原理:若目标函数
有一阶连续偏导数,在
取得极小点,通过在迭代点
负梯度方向上的一维搜索,来确定使得
最小的
(即最佳步长),得到逐渐趋近于极小点
的序列
,这种梯度法就是所谓的最速下降法。
梯度法方法简单,每迭代一次的工作量较小,所需要的存储量也小,即使从一个不好的初始点出发,也能保证算法的收敛性。而缺点是在极小点附近收敛的很慢。由于梯度是函数的局部性质,从局部看,在一点附近下降或上升的快,但从总体看可能走许多弯路。事实上,若
是沿方向
用一维搜索求得的,即
为
的极小点,那么
,即
说明相邻的两个迭代方向正交,迭代路线呈锯齿状,尤其在最优解附近,锯齿现象尤为严重,从而影响迭代速度,如图1。另外,梯度法产生的序列是线性收敛的,而且收敛性质与最优解处的Hessian阵的特征值关系很大,且关于小的扰动是不稳定的,任何小的扰动都可能破坏算法的收敛性。
![](//html.hanspub.org/file/4-2621251x31_hanspub.png)
Figure 1. The iteration roadmap of Gradient method
图1. 梯度法迭代路线图
例1. 用梯度法求
初始点
,
。
![](//html.hanspub.org/file/4-2621251x35_hanspub.png)
Figure 2. Function image of the objective function in example 1
图2. 例1中目标函数的函数图像
解:图2为目标函数的函数图像,从图上可以看出二次函数的精确最优解
,目标函数的
梯度为
,所以
,
。
第一次迭代:
从
出发,沿方向
进行一维搜索,
,在直线上的极大点
如此重复进行迭代,会如图所示,得到点列
逐渐趋近于问题的最优解
,可以验证
。具体迭代情况如图3及表1所示。
![](//html.hanspub.org/file/4-2621251x47_hanspub.png)
Figure 3. The iteration point and iteration roadmap of example 1 were solved by gradient method
图3. 梯度法求解例1时迭代点及迭代路线图
![](Images/Table_Tmp.jpg)
Table 1. Initial value points and iteration table of example 1 were solved by gradient method
表1. 梯度法求解例1的初值点和迭代次数表
3. 牛顿法
牛顿法最初由艾萨克·牛顿于1736年在 Method of Fluxions中公开提出 [2]。若非线性目标函数
具有二阶连续偏导数,又设
为其极值点的某一近似,在这一点做
的二阶泰勒展开,即:
其中
为
在
处的Hessian矩阵。
为求
的平稳点,令
,即
设矩阵
可逆,则得到牛顿法的算法迭代公式:
如果
是二次函数,则其Hessian矩阵
为常数阵。在这种情况下,从任意一点出发,只要一步即可求出
的极值点(假设Hessian矩阵正定)。
如果
不是二次函数,二阶泰勒展式仅是一个近似表达式。此时,求得的极值点只是
的近似极值点。在这种情况下,选取搜索方向:
按照这种方式求函数
极小点的方法称为牛顿法,称方向
为牛顿
方向。牛顿法收敛的速度很快,当
的二阶导数及Hessian矩阵的逆矩阵便于计算时,这一方法非常有效。
例2用牛顿法求解例1问题
初始点
,
。
解:目标函数
的梯度为
。
Hessian阵
为正定矩阵(即目标函数为二次凸函数)。
初始点
,于是有
,此时
,开始第一次迭代
,
根据牛顿法的迭代公式有:
于是
,所以
为问题精确的极小点,极小值为
。
显然,与例1对比可以知道,牛顿法的收敛速度要远远大于梯度法。
牛顿法每一步的迭代步长都是
,这样虽然算法简单,但是会在一定的程度上影响收敛速度,所以每次迭代时,我们依然可以采用一维搜索的方法计算出最优步长,即找到搜索方向上的最优迭代点,该种方法被称为阻尼牛顿法。
选择非线性规划常用的测试函数 [3]:
,该函数图像如图4所示,此问题解析解为(1, 1),最优值为0,设误差为0.1进行迭代求解,结果见表2。
由下面的分析可以知道,梯度法对于初值的依赖性不强(初值点从
,在满足精度要求的前提下,迭代次数从
次),越接近极值点收敛速度越慢,而恰好牛顿法对于初值的依赖性很强(初值点从
,迭代次数从
次,初值点在(0, 0)时,只需迭代3次即可满足精度要求,而初值点在(10, 10)时,却需要迭代12598次才能满足精度要求),在极值点附近收敛速度很快。再对比牛顿法和阻尼牛顿法,显然可以看出阻尼牛顿法由于每一次迭代都在搜索方向上寻求了最优的迭代点,所以他的收敛速度相比牛顿法会有明显的提升,但牛顿法固有的对初值依赖性强的问题并没有得到解决,所以我们想到结合两种算法,首先使用梯度法进行迭代,当迭代点进入极值点的某个充分小邻域时,再使用阻尼牛顿法进行搜索,从而提升问题的收敛速度,本文将此种改进算法称作GN算法。
![](//html.hanspub.org/file/4-2621251x93_hanspub.png)
Figure 4. Function image of the test function
图4. 测试函数的函数图像
![](Images/Table_Tmp.jpg)
Table 2. Initial value points and iteration table of the test function were solved by the three methods
表2. 三种方法求解测试函数的初值点和迭代次数表
GN算法的算法步骤:
(1) 给出初始点
,精度
,令
;
(2) 计算
;
(3) 若
,则迭代结束,取
,否则转(4);
(4) 若
。
(I)若
,用一维搜索求
的一个极小点
,使
,其中
。
令
,转(2)。
(II)若
,用一维搜索求
的一个极小点
,使
,其中
。
令
,转(2)。
![](Images/Table_Tmp.jpg)
Table 3. Initial value points and iteration table of the test function were solved by the GN methods
表3. GN算法求解测试函数的初值点及迭代次数表
由表3可以看出,当初值点位于(100, 100)时,G-N算法经18,000次迭代,即可得到非常精确(误差仅为3.9211e−14)的最优解,而此时无论是牛顿法还是阻尼牛顿法甚至都是不能得到近似解的,因为牛顿法每一次迭代都严格要求迭代点处的Hessian矩阵可逆,而满足这点并不容易。我们改进后的算法只在极值点的充分小的邻域内使用阻尼牛顿法,既发挥了牛顿法迭代速度快的优点,又最大限度的避免了初值对其影响大的缺点,在局部最优解的充分小的邻域内依然可以保证至少二阶的收敛速度,是一种有效的改进算法。
4. 拟牛顿法
牛顿法,它的突出优点是收敛很快,但是运用牛顿法需要计算二阶偏导数,而目标函数的Hessian矩阵可能非正定。由于实际问题的目标函数往往相当复杂,计算二阶导数矩阵及其逆矩阵相当困难或根本不可能,因此,确定牛顿方向存在很大的障碍。为避免计算二阶导数矩阵
及其逆矩阵
,提出了拟牛顿法。
拟牛顿法的基本思想:使用不含二阶导数的矩阵
近似替代牛顿法中的Hessian阵的逆矩阵
,构造
应遵循如下三条原则:
(1) 每一步迭代均能按已有的信息确定下一个搜索方向;
(2) 每一步迭代均能使目标函数有所改进;
(3) 近似矩阵
最终应收敛于极值点处的Hessian矩阵的逆矩阵
。
由于构造近似矩阵的方法不同,因而出现不同的拟牛顿法。拟牛顿法不是一种算法,而是一族公认的比较有效的算法。
前面已经给出了牛顿法的迭代方向,即牛顿方向为:
构造
的近似矩阵
,得
,称之为点
处的拟牛顿方向。
设在第k次迭代后,得到点
,将目标函数
在
点处展开成Taylor级数,并取二阶近似,记
,
。
为了用不包含二阶导数的矩阵
取代牛顿法中的Hessian矩阵的逆矩阵
,有理由令
满足:
这个条件称为拟牛顿条件。
显然,若想使拟牛顿方向
较好的近似于牛顿方向,下面基本条件应当得到满足:
(1)
是目标函数
在点
的下降方向;
(2)
满足
;
(3)
与之间应具有某种简单的迭代关系
其中
是一个容易计算的矩阵,称之为校正矩阵。即
。
(4) 若有
,即
成立,则拟牛顿方向
必是下降方向。
构造校正矩阵
的方法有很多,每一种特殊的构造方法对应一种具体的算法,因而拟牛顿法是一族算法,本文选择有代表性的变尺度算法,其主要的优点是:既避免了计算二阶导数矩阵及其求逆过程,又比梯度法收敛的速度快,特别是对高维问题具有显著的优越性。变尺度法最早由Davidon于1959年提出,后经Fletcher和Powell二人改进,因此变尺度法也被称为DFP法 [2]。
变尺度法中,校正矩阵
的构造方式为:
其中
是待定的数,
是待定的向量。
将上式代入拟牛顿条件
中,可以得到:
于是
下面通过例3来展示变尺度法的计算过程。
例3用变尺度法(DFP)求例1
初始点
,初始矩阵
解:由题可知
在点
处的梯度
,
。
第一次迭代:
令搜索方向
从
出发,沿方向
进行一维搜索:
求得
,令
此时
,
第二次迭代:
令
于是
令
从
出发,沿方向
进行一维搜索:
求得
,令
此时
。
所以
为此问题的最优解。
在例3的讨论中,第一个尺度矩阵
为单位矩阵(对称正定阵),以后的尺度矩阵
按算法步骤逐步形成。可以证明,如此构造的尺度矩阵均为对称正定阵,进而确保搜索方向为下降方向。
DFP方法由于不需要在迭代点处计算Hessin矩阵的逆,所以在极值点附近的收敛速度比牛顿法更快,效率更高。可由表4列出的数值实验可以看出,当初始点距离极值点很远时,受迭代误差的影响,DFP方法很难收敛到极值点。因此,为了提升收敛速度和求解的准确性我们同样可以在迭代点距离极值点很近时再使用拟牛顿方法求解问题。本文将此种改进方法称作GNN算法。
![](Images/Table_Tmp.jpg)
Table 4. Initial value points and iteration table of the test function were solved by the DFP methods
表4. DFP算法求解测试函数的初值点及迭代次数表
由表4和表5,明显可以看出GNN算法的精确度和收敛速度对比DFP方法均有提升,是一种行之有效的优化算法。
![](Images/Table_Tmp.jpg)
Table 5. Initial value points and iteration table of the test function were solved by the GNN methods
表5. GNN算法求解测试函数的初值点及迭代次数表
5. 物流配送中心选址问题
假设在某区域内有8个需求点,需求点位置坐标如表6所示,选址区域D内已有2个配送中心,配送中心坐标分别为
,(4, 4),(6, 5),现欲在该区域内选择一个配送中心,问该如何选择配送中心的位置才能使总收益达到最大?
![](Images/Table_Tmp.jpg)
Table 6. Information table of the demand points
表6. 需求点信息表
假设新建配送中心的位置在
处,根据Huff引力模型 [4],在选址区域D内,已存在多个配送中心,新建一个配送中心,采用配送中心利润最大原则进行,则问题模型为求新建配送中心利润的最大值 [5]。
,其中
表示新建配送中心
分担需
求点i的需求量的比例,
表示8个需求点的位置坐标,
表示需求点i的需求量,
表示配送单位需求量的利润,
为距离调节系数,
表示新建配送中心到需求点i的距离,
表示已有配送中心j到需求点i的距离,即
取
,于是该问题可表示为如下非线性规划 [6]:
,
该问题目标函数如图5所示,若利用Nelder-Mead simplex direct search方法可求出该问题的最优解为
,在该处建立配送中心可获得利润的最大值为:157.6933。
![](//html.hanspub.org/file/4-2621251x228_hanspub.png)
Figure 5. Function image of the objective function for the logistics distribution center problem
图5. 物流配送中心问题目标函数图像
接下来,我们分别使用梯度法、牛顿法、拟牛顿方法以及改进的两种算法来求解此问题。
![](Images/Table_Tmp.jpg)
Table 7. Comparative analysis table of the five methods
表7. 五种算法对比分析表
由表7的对比分析可以看出,五种算法中效率最差的是梯度法,一般而言梯度法只具有线性收敛速度,而阻尼牛顿法和DFP算法在极值点的充分小邻域内具有至少二阶的收敛速度。但是对于本问题而言,在极值点附近阻尼牛顿法的效率明显高于DFP算法,是因为该问题的运算量不大,各迭代点处Hessian矩阵的逆存在,阻尼牛顿法在有限步内迭代简单可逐渐收敛到极值点,而DFP算法在此邻域内因为要叠加误差,所以收敛的速度反而没有阻尼牛顿法快,但是当迭代点到达(18, 18)时,受Hessian矩阵的逆的存在性影响,阻尼牛顿法已经不能收敛到极值点,但此问题显然借助DFP算法可以解决。而毫无疑问改进的两种算法无论从迭代速度还是初值点的选择上都增加了问题的实用性,对初值点的选择没有那么强,同时迭代速度对比DFP算法有明显提升。
6. 结论
本文结合梯度法和阻尼牛顿法提出了GN算法,结合梯度法和变尺度法提出了GNN算法,从理论上解释算法的收敛性,用测试函数进行了收敛速度的验证。同时将几种算法应用于有竞争机制的物流中心选址问题,验证算法的实用性,同时给出算法的对比分析。
NOTES
*通讯作者。