C++实现Wolfe-Powell优化算法详解

需积分: 13 2 下载量 50 浏览量 更新于2024-09-17 收藏 35KB DOC 举报
"Wolfe-Powell 最优化方法是一种用于求解无约束优化问题的算法,此程序使用 C++ 编写。程序的核心是通过迭代更新变量,寻找目标函数的最小值。Wolfe-Powell 条件是该算法中的关键部分,包括两个准则:Armijo 减少条件和 curvature 条件,确保搜索方向的有效性。" 在优化问题中,Wolfe-Powell 方法是一种常用的数值优化技术,旨在找到使目标函数最小化的变量值。这个 C++ 程序实现了一个二元(n=2)问题的解决过程,通过调整步长 λ 和搜索方向向量 sk,逐步接近最优解 xk1。 程序中的关键函数包括: 1. `fun(double x1, double x2)`: 计算目标函数的值,这里是一个二次函数加上其他项,形如 f(x1, x2) = 100 * x1^4 + x1^2 - 2 * x1 + 100 * x2^2 - x1^2 * x2 + 1。 2. `gradient(double x1, double x2, double g0[n])`: 计算梯度向量,即目标函数对每个变量的偏导数。在本例中,梯度为 [400 * x1^3 + 2 * x1 - 400 * x1 * x2 - 2, 200 * (x2 - x1^2)]。 3. `get_x(double lamda, double xk[n], double sk[n], double xk1[n])`: 更新变量值,xk1 = xk + λ * sk,其中 λ 是步长,sk 是搜索方向。 4. `key1(double f, double lamda, double g[n], double s[n])`: 检查 Armijo 减少条件,即新函数值 f 新必须比旧函数值 f 足够小,且减少的程度至少为 c1 * λ * gk * sk,其中 c1 是一个常数,gk 是当前梯度,s 是搜索方向。 5. `key2(double xk1[n], double xk[n], double s[n])`: 检查 curvature 条件,也称为沃尔夫条件,它检查新梯度 gk1 与旧梯度 gk 的点积与旧梯度 gk 与搜索方向 s 的点积之间的比例是否满足 c2(另一个常数),以确保搜索方向的适当曲率。 程序通过反复调用这些函数,检查 Wolfe-Powell 条件并更新变量,直至达到预设的收敛标准(如函数值改变小于 ε,如 `eps1e-6`)。这种方法既考虑了函数值的下降,又关注了搜索方向的曲率,从而在全局收敛性和局部速度之间找到了平衡。在实际应用中,可能会结合线性代数库(如 BLAS 或 LAPACK)来加速计算,以及采用自适应步长策略来提高效率。
2010-03-05 上传
powell方法是计算最值的有效方法,一般情况下是无约束的,目前Powell已发展了一种称为BOBYQA的带区间约束算法。 压缩文件里面optimization.h是无约束powell寻优的一个类,以前在baidu上找到的。powell.h和powell.cpp是带区间约束的powell算法BOBYQA的C++包装,由于BOBYQA算法只能计算二维以上,一维算法是俺自己写的。调用时,一维算法采用ExecuteBrent,二维以上采用BoundedPowell。 BOBYQA目录下是powell方法祖师爷M. J. D. Powell写的FORTRAN代码,powell.lib是俺把Fortran代码编译成的静态库。由于这个lib是Fortran Power Station 4.0做的,msfrt40.dll就成了一个甩不掉的累赘。 如果使用Fortran编程的话,就不需要俺的包装了,直接用Fortran代码吧。 使用方法请参考Fortran代码中main.f,有问题请联系baita00@yahoo.com.cn。 另外链接时好像还需要fps4.0中的msfrt.lib,原来没有加进去,现在加不进去了。需要的话请邮件联系。 鉴于很多同志不清楚用法,下面略加说明。 BoundedPowell函数的参数说明。 第一个参数,待优化函数的指针,这个函数必须定义成_stdcall类型,其本身带有三个参数,第一个参数是优化变量个数,第二个参数是优化变量数组,第三个参数就是函数的值,由于使用Fortran的关系,这几个参数都必须传递地址。 举例说,假定待优化函数为f(x)=x^2,那么只有一个参数,这个函数应该定义为 void _stdcall objfun(int *n, double *para, double *f) { *f=para[0]*para[0]; } 第二个参数int n,待优化计算变量的个数 第三个参数double *x, 待优化变量,这是一个数组,长度为n 第四个参数double *xlb,变量的下界,数组 第五个参数double *xub,变量的上界,数组 第五个参数double rhobeg,第六个参数double rhoend,这两个参数是Powell同志定义的两个半径,具体我也说不清楚,你想搞清楚的话可以搜Powerll同志的文献。一般你把rhobeg设置为1,rhoend设置为计算的精度,比如你希望精度为万分之一,rhoend就为1e-4。 第七个参数int maxfun,最大迭代次数 第八个参数,BOBYQA计算时的返回代码,具体如下 // //BOBYQA iflag返回值的含义: //IFLAG=1, Return from BOBYQA because NPT is not in the required interval //IFLAG=2, Return from BOBYQA because one of the differences XU(I)-XL(I)/6X is less than 2*RHOBEG. //IFLAG=3, Return from BOBYQA because FCN has been called MAXFUN times. //IFLAG=4, Return from BOBYQA because of much cancellation in a denominator. //IFLAG=5, Return from BOBYQA because a trust region step has failed to reduce Q. //