标准边界交叉法(Normal-Boundary Intersection)MATLAB代码及详解

标准边界交叉法(Normal-Boundary Intersection)MATLAB代码及详解

标准面生成在多目标优化算法中是非常重要的一部分,包括在NSGAIII中也使用到了参考面的生成。这里主要阐述Das I, Dennis J E.等人提出的Normal-Boundary Intersection方法的MATLAB实现以及理解阐述。
文章参考文献如下:

Das I, Dennis J E. Normal-boundary intersection: A new method for generating the Pareto surface in nonlinear multicriteria optimization problems[J]. SIAM Journal on Optimization, 1998, 8(3): 631-657.

在MOEA/D算法中需要为M个目标分配初始权重,并且每一种权重的组合方式对应着一个个体。具体的,对于M=3,即3目标问题,其目标函数的组合方式可以为(最简单的加权求和法):
f ( x ) = λ 1 φ 1 ( x ) + λ 2 φ 2 ( x ) + λ 3 φ 3 ( x ) f(x)=\lambda_{1}\varphi_{1}(x)+\lambda_{2}\varphi_{2}(x)+\lambda_{3}\varphi_{3}(x) f(x)=λ1φ1(x)+λ2φ2(x)+λ3φ3(x)
其中,
λ 1 + λ 2 + λ 3 = 1 \lambda_{1}+\lambda_{2}+\lambda_{3}=1 λ1+λ2+λ3=1
对于三目标问题,Normal-Boundary Intersection方法就是针对 λ \lambda λ在三维平面做出均匀分配。很自然的就涉及到另外一个变量H,代表在每一个维度划分的份数。

组合数的计算方式

因此,Normal-Boundary Intersection方法的输入包含两个参数,分别是目标维度M和每一个维度划分成H份。
对于这样一个问题,通常具有
n = C H + M − 1 M − 1 n=C_{H+M-1}^{M-1} n=CH+M1M1
个组合方法。
我们首先解释组合数是怎么计算的。
三维空间NBI方法生成
首先,这个问题可以抽象为:
在{0,1/H,2/H,3/H,…,1}这样的数组中,放回的抽取M次,但是要求所有抽取出来的数字之和为1。
这一问题可以转化为在{0,1,2,3,…,H}这样数组中,放回的抽取M此,所有抽取出来的数字之和为H,这一问题还可以进一步转化为{1,2,3,4,…,H+1}这样数组中,放回的抽取M此,所有抽取出来的数字之和为H+m。

因此这一问题可以按照如下方式理解:
小球
如上图所示,一共有H+M个小球,需要合理设置M-1个隔板将这H+M个小球分开,如果隔板只能放在两个小球之间,那么很自然就有
n = C H + M − 1 M − 1 n=C_{H+M-1}^{M-1} n=CH+M1M1
个组合方案,每一个方案都对应着一种排列方案(即隔板之间的球的个数)。

MATLAB算法实现与讲解

下面是算法实现的MATLAB代码:

1 function [N,W] = EqualWeight(H,M)
2    N = nchoosek(H+M-1,M-1);
3    Temp = nchoosek(1:H+M-1,M-1)-repmat(0:M-2,nchoosek(H+M-1,M-1),1)-1; 
4    W = zeros(N,M);
5    W(:,1) = Temp(:,1)-0;
6    for i = 2 : M-1
7       W(:,i) = Temp(:,i)-Temp(:,i-1);
8    end
9    W(:,end) = H-Temp(:,end);
10   W = W/H;
11 end

代码第二行是首先计算一共有多少种解决方案,第三行是很关键的一点。
首先看nchoosek(1:H+M-1,M-1)这一函数,得到的是{1,2,3,4,…,H+M-1}数组中选择M-1个数字的所有组合,每一种组合对应的数字便是下图中的插板的位置。在这里插入图片描述
这些组合方式虽然对应了一种权重的分配方法,但是不能够直接使用。首先,对于每一个隔板位置,即nchoosek(1:H+M-1,M-1)的结果,根据其插板位置前面的插板的数目进行减法,因为在权重分配中是可以相等的,即插板的位置是可以放在同一位置的,基于此确保每一个新的插板的位置是可以和前一个插板同样或更后方的位置。之后在整体减一,可以理解为插板可以插入在最左侧,对应着权重为0,执行第三行公式后,小球插板模型变成了以下样子:
在这里插入图片描述

比如说M=3,H=5, 选择其中的一个组合方式,例如:
在这里插入图片描述

那么可以得到一个组合为{3,4,5}最后一个5是因为没有插入的序号,初始化为5,另数组后一列减去前一列,很自然得到{3,1,1},对应着插板范围内的小球个数,最后整体除以5得到一种权重的分配方案,对所有组合方案进行同样处理,就得到了所有的权重分配方式。

matlab离散点连成的两曲线的交点-intersections.m 本帖最后由 kastin 于 2012-12-29 11:47 编辑 引言     曾经思考过曲面求交,结果发现是学术界的一个难题,并且也想出了一个当前广泛使用方原理一样的近似解(追踪)。当然网上也有很多方,只不过那些方非常粗糙,无非就是meshgrid出离散网格,比较两曲面在某位置的坐标是否在某一精度范围内,然后标记显示之。这个方仅仅当离散网格非常细的时候才比较精确。除此之外,还有个非常严重的问题:上面的“精度范围”不是你随心所欲给的,而且也没规律寻找,当给得不恰当的时候,在格点处两曲面点作比较,会出很多个符合要求的点,或者一个也没有。这样就会使得交线非常曲折,甚至断裂等,严重影响精确度。 ———————————————————分割线————————————————————————     当然,既然有曲面求交,那么也有曲线求交,其基本结构就是两曲线求交。只是曲线求交问题,事先得澄清一些注意点:     1. 数学分析层面求两曲线交点,其实就是方程组求解;     2. “曲线”概念包括“直线”(处处曲率半径为无穷大);     3. Matlab的重点是离散点 矩阵运算,因此所有运算都是基于离散的,因而这里的曲线并不是绝对光滑的。     4. 近似试探与未知函数表达式。 对于1,我想说的是,如果你想要求得两曲线的精确交点,并且一个不漏,那就直接求解方程组,不用看本帖下文; 对于2,直线在Matlab里面是两个点确定,因此交点如果是一段线(无穷个点)的情况,可能只是显示两端点为交点; 对于3,很简单的例子,参数方程 x=cos,y=sin 在数学分析(即连续空间)层面上是个圆,但是如果你在离散t的时候,间距比较大,那么最后Matlab绘制的图像不是圆,而是正多边形了。因此,此时我们讨论曲线交点是这个离散点连线的图形与其他图形的交点,而非圆与其他交点。这也是我在标题中加了“离散点连成”的修饰词,防止被误会。 对于4,既然是求曲线交点,那么本方可以作为求方程组的近似解。当然,如果离散点够多,解的精确度可以保证,不过不能保证一个不漏。另外就是,对于一组离散点构成的曲线,很难知道它们的解析表达式,因此想通过非线性方程组求解的方来求交点,就不大可能了(不过你可以用曲线拟合出函数解析式),因此,本帖的方将会是一个较为有效求交点的方。     废话了那么多,下面就说说曲线求交点的方吧。除了求解方程组,很多人想到的方就是“离散点 判断距离是否足够接近”,这个方原理跟引言中曲面求交的方是一样的。因此缺点也是一样的——太粗糙了。网上这种方代码也很多,这里就不上了。 下面将阐述我的方以及给出例子代码。     我有两种思路,一种是高级绘图层面的(不涉及到底层操作),一种是底层的。我只给出了第一种的代码,因为我不会底层操作。     思路一:既然matlab曲线绘图是通过有序离散点依次连线形成,也就是说,通过“以直代曲”的过程,那么曲线交点无非就是离散点(结点)或者两线段交点。这比上面直接用交点附近的结点替代交点的方要精确得多了。而两直线交点很容易求,只要知道四个点坐标,那么交点精确坐标自然可以表示出来。这就是求交点的原理。只是还有一些细节处理和要注意的地方,我会留到后面再详细说。     思路二:仔细观察两曲线交点的特性,很容易发现,其实交点就是操作系统底层绘图重叠的那些像素点。因此,只要给要绘制的像素点做个标记,将那些重合的点突出显示(比如换个颜色),那么就相当于显示出交点了。这种方由于是本质性的,因此不会遗漏任何交点,而且精确度极高,适用范围广。Matlab提供的plot plot3 surf等绘图函数都属于高级绘图,底层绘图(或称低级绘图)只有line surface以及patch等少数函数。但是,这里的“底层”并非真正的底层,因为它还是经过封装了的,而C 的MFC里面直接用刷子绘图,那才是依靠操作系统完成的真正的“底层”绘图操作(包括所有窗口都是操作系统绘制的)。这里扯远了,想要说明的就是底层绘图的概念而已。只是我不会用matlab实现这些底层绘图。     上面说了思路,下面就详细说说一些注意点和需要处理的细节。     为了算的健壮性,就必须考虑各种奇异的情况,防止bug。我们要考虑曲线有分支(很多代数曲线是这样的,代数几何里面研究的东西)、间断跳跃(有绝对值函数或者存在渐近线情况)、首尾是交点、在切点相交,等等这些情况。而且对于定位交点处附近的四个最近端点也是个问题(因为这里存在一个情况,如果曲线1上的一条线段与曲线2上的两条或者以上的线段相交,我的程序因为这个问题没能有效解决,出现在一些非常特殊的情况下会遗漏部分交点)。上面的情况如果不考虑,那么你的程序就会出现各种各样的问题。     对于通常情况,我考虑使用变号则来判断交点(也就是高数里面“连续函数变号端点内存在零点”),对于上面说的特殊情况,那么预先处理,比如先看是否存在eps内的,或者为零的结点,有则直接记录,没有的话,通过两线段求交来确定交点。至于遍历顺序的问题,为了简便,我指考虑两曲线离散点个数相同的情况(因为不同的话,会出现一些无处理的情况),而且优先考虑离散点的坐标值中x或者y都相同的情况(比如x=0:0.1:pi; y1=sin, y2=x.^2这两条曲线的x值相同分布)。 下面是曲线y=cos.*exp)与y2=sin.^2 cos在[0:pi/18:2*pi]区间内的交点的代码: 注意:我没有写成接口的形式,虽然对于比那些较懒的人来说不太方便,但是这样做是为了让你能更好弄懂原理,并能自己改造代码。因此,下面的代码可以稍作修改,就能解决别的曲线求交点。这样,不愿思考的懒人就没达到自己的目的了~% 绘制两离散曲线的交点 % 注意: %   1. 这里的“交点”指的是离散点连线绘出的图形的交点,而非函数或者方程理论分析上的交点, %      因此,这个程序不能作为求根来用。 %   2. 要求两曲线的离散点的个数一样。 %   3. 两个曲线出现参数方程的话,大多数情况正常。但是经测试发现,对于某些非常特殊的情况会出现bug, %      除非调用ezplot的数据(xdata,ydata)。 % %   by kastin @Mar 21, 2012 clear; debug=false; %关闭显示求交点过程 % 曲线1 x=0:pi/18:2*pi; y=cos.*exp); % 曲线2 [x1 N]=sort;  %此处对于C1参数方程,C2为显式函数;或者均为参数方程时候有用 % 下面几句代码在本个案下没有什么特殊作用,但是当出现参数方程的时候,下面的方改动一下就会有用。 y1=sin.^2 cos; %用于作图 x2=x; y2=sin.^2 cos; %用于寻点 h=plot; y<=eps)=0; y20; neg=cy<=0; %确定变号位置 fro=diff~=0; %变号的前导位置 rel=diff~=0; %变号的尾巴位置 zpf=find; %记录索引 zpr=find 1; %记录索引 zpfr=[zpf; zpr]; hold on % 观看求交点过程 if debug, hp=plot,y,'r.-',x2,y2,'g.-'); end %线性求交 x0=.*-y)-x.*-y))./ y2-y-y2); y0=y ).*-y)./-x); if any), y0=y2; end %加入已经判断为零的位置 x0=[x<=eps) x0].'; y0=[y<=eps) y0].'; hc=plot; %绘制交点 if debug, legend;hp],'C1','C2','交点','微线段1','微线段2',0); end legend xlabel, ylabel, zlabel; title axis equal hold off disp disp) %排除重复的点复制代码经测试十几种奇怪的曲线相交(包括参数方程形式的曲线),目前发现上述代码的方有四种情况会出现遗漏一两个交点。(其实上面代码本意是求显式函数的曲线交点,或者未知表达式的离散点曲线的交点,并未针对参数方程,隐函数方程做优化,但是可以凑合着用用。)
评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值