运筹学和最优化_第1页
运筹学和最优化_第2页
运筹学和最优化_第3页
运筹学和最优化_第4页
运筹学和最优化_第5页
已阅读5页,还剩25页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

运筹学和最优化2.0、预备知识1、向量和子空间投影定理(1)n维欧氏空间:Rn

点(向量):x

Rn,x=(x1,x2,…,xn)T

分量xi

R(实数集)

方向(自由向量):d

Rn,d0d=(d1,d2,…,dn)T

表示从0指向d的方向实用中,常用x+d表示从x点出发沿d方向移动

d长度得到的点d0xx+(1/2)d第2页,共30页,2024年2月25日,星期天2.0、预备知识(续)1、向量和子空间投影定理(2)向量运算:x,y

Rn

n

x,y的内积:xTy=

xiyi=x1y1+x2y2+…+xnyn

i=1

x,y的距离:

‖x-y‖=[(x-y)T(x-y)](1/2)

x的长度:

‖x‖=[xTx](1/2)

三角不等式:

‖x+y‖≤‖x‖+‖y‖

点列的收敛:设点列{x(k)}

Rn

,x

Rn

点列{x(k)}收敛到x,记limx(k)=x

lim‖x(k)-x‖=0

limxi(k)=xi,ik

k

k

x+yyx第3页,共30页,2024年2月25日,星期天2.0、预备知识(续)1、向量和子空间投影定理(3)子空间:设

d(1),d(2),…,d(m)

Rn,d(k)

0

m

记L(d(1),d(2),…,d(m))={x=

jd(j)

j

R

}

j=1为由向量d(1),d(2),…,d(m)

生成的子空间,简记为L。正交子空间:设L

为Rn的子空间,其正交子空间为

L

={x

Rn

xTy=0,

y

L

}子空间投影定理:设L为Rn的子空间。那么

x

Rn,唯一x

L,y

L

,使z=x+y,且x

为问题

min‖z-u‖

s.t.u

L

的唯一解,最优值为‖y‖。特别,

L

=Rn时,正交子空间L

={0}(零空间)第4页,共30页,2024年2月25日,星期天2.0、预备知识(续)规定:x,y

Rn,x≤y

xi≤

yi,

i

类似规定x≥y,x=y,x<y,x>y.一个有用的定理设x

Rn,

R,L为Rn

的线性子空间,

(1)若xTy≤

,

y

Rn

且y≥

0,

则x≤0,

0.(2)若xTy≤

,

y

L

Rn

则x

L

0.(特别,

L=Rn时,x=0)定理的其他形式:“若xTy≤

,

y

Rn

且y≤

0,则x≥0,

0.”“若xTy≥

,

y

Rn

且y≥

0,则x≥0,

0.”“若xTy≥

,

y

Rn

且y≤

0,则x≤0,

0.”“若xTy≥

,

y

L

Rn

,则x

L

0.”第5页,共30页,2024年2月25日,星期天2.0、预备知识(续)2、多元函数及其导数(1)n元函数:f(x):Rn

R

线性函数:f(x)=cTx+b=cixi

+b

二次函数:f(x)=(1/2)xTQx+cTx+b=(1/2)

i

jaijxixj

+cixi

+b

向量值线性函数:F(x)=Ax+d

Rm其中A为m

n矩阵,d为m维向量

F(x)=(f1(x),f2(x),…,fm(x))T记aiT为A的第i行向量,fi(x)=aiTx第6页,共30页,2024年2月25日,星期天2.0、预备知识(续)2、多元函数及其导数(2)梯度(一阶偏导数向量):

f(x)=(f/x1,f/x2,…,f/xn)T

Rn

.

线性函数:f(x)=cTx+b,

f(x)=c

二次函数:f(x)=(1/2)xTQx+cTx+b

f(x)=Qx+c

向量值线性函数:F(x)=Ax+d

RmF/x=AT第7页,共30页,2024年2月25日,星期天2.0、预备知识(续)2、多元函数及其导数(3)Hesse阵(二阶偏导数矩阵):

2f/x12

2f/x2x1

…2f/xnx1

2f(x)=

2f/

x1

x2

2f/x22

…2f/xnx2

……

2f/

x1

xn

2f/x2xn

…2f/xn2

线性函数:f(x)=cTx+b,

2f(x)=0

二次函数:f(x)=(1/2)xTQx+cTx+b,

2f(x)=Q第8页,共30页,2024年2月25日,星期天2.0、预备知识(续)2、多元函数及其导数(4)n元函数的Taylor展开式及中值公式:

设f(x):Rn

R

,二阶可导。在x*的邻域内一阶Taylor展开式:

f(x)=f(x*)+

fT(x*)(x-x*)+o‖x-x*‖二阶Taylor展开式:

f(x)=f(x*)+

fT(x)(x-x*)+(1/2)(x-x*)T

2f(x*)(x-x*)+o‖x-x*‖2一阶中值公式:对x,

,使

f(x)=f(x*)+[

f(x*+

(x-x*))]T(x-x*)Lagrange余项:对x,

,记x

x*+(x-x*)

f(x)=f(x*)+

fT(x)(x-x*)+(1/2)(x-x*)T

2f(x

)(x-x*)第9页,共30页,2024年2月25日,星期天2.1数学规划模型的一般形式

minf(x)

--------目标函数

s.t.x

S

--------约束集合,可行集其中,S

Rn,f:S

R,x

S称(fS)的可行解最优解:x*

S,满足f(x*)≤f(x),x

S。则称

x*为(fS)的全局最优解(最优解),

记g.opt.(globaloptimum),简记opt.最优值:x*为(fS)的最优解,则称f*=f(x*)

(fS)的最优值(最优目标函数值)(fS)第10页,共30页,2024年2月25日,星期天2.1数学规划模型的一般形式(续)局部最优解:x*

S,

x*的邻域N(x*),使满足

f(x*)≤f(x),x

S

N(x*)

。则称x*为(fS)的局部最优解,记l.opt.(localoptimum)在上述定义中,当x

x*时有严格不等式成立,则分别称x*

为(fS)的严格全局最优解和严格局部最优解。严格l.opt.严格g.opt.l.opt.第11页,共30页,2024年2月25日,星期天2.1数学规划模型的一般形式(续)函数形式:

f(x),gi(x),hj(x):RnRminf(x)(fgh)s.t.gi(x)

≤0,i=1,2,…,m

hj(x)=0,j=1,2,…,l矩阵形式:minf(x),f(x)

:Rn

R(fgh)s.t.g(x)

≤0,g(x):Rn

Rm

h(x)=0,h(x):Rn

Rl

当f(x),gi(x),hj(x)均为线性函数时,称线性规划;若其中有非线性函数时,称非线性规划。第12页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划一、凸集1、凸集的概念:定义:设集合S

Rn,若x(1),x(2)

S,

[0,1],必有

x(1)+(1-

)x(2)

S,则称S为凸集。规定:单点集{x}为凸集,空集

为凸集。注:

x(1)+(1-

)x(2)=x(2)+

(x(1)-x(2))

是连接x(1)与x(2)的线段。凸集非凸集非凸集第13页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)一、凸集1、凸集的概念:例:证明集合S={x∣Ax=b}是凸集。其中,A为m

n矩阵,b为m维向量。凸组合:设

x(1),x(2),…,x(m)

Rn,

j≥

0

mm

j=1,那么称

jx(j)为x(1),x(2),…,x(m)的

j=1j=1凸组合。

m比较:z=

jx(j)

j=1

j

R

构成线性组合——

线性子空间

j≥0,

j>0—

构成半正组合——

凸锥

j≥0,

j=0—

构成凸组合——

凸集第14页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)一、凸集1、凸集的概念:定理:S是凸集

S中任意有限点的凸组合属于S多胞形H(x(1),x(2),…,x(m)):由x(1),x(2),…,x(m)的所有凸组合构成。单纯形:若多胞形H(x(1),x(2),…,x(m))满足,

x(2)-x(1),x(3)-x(1),…,x(m)-

x(1)

线性无关。多胞形单纯形单纯形第15页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)一、凸集

2、凸集的性质:凸集的交集是凸集;(并?)凸集的内点集是凸集;(逆命题是否成立?)凸集的闭包是凸集。(逆命题是否成立?)分离与支撑:凸集边界上任意点存在支撑超平面两个互相不交的凸集之间存在分离超平面支撑强分离分离非正常分离第16页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)一、凸集3、凸锥:定义:C

Rn,若x

C,

>0

x

C,则称C是以0为顶点的锥。如果C还是凸集,则称为凸锥。集合{0}、Rn是凸锥。命题:C是凸锥

C中任意有限点的半正组合属于S0第17页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数

1、凸函数及水平集定义:设集合S

Rn为凸集,函数f:S

R

若x(1),x(2)

S,

(0,1),均有

f(x(1)+(1-

)x(2))≤f(x(1))+(1-

)f(x(2)),则称f(x)为凸集S上的凸函数。若进一步有上面不等式以严格不等式成立,则称f(x)为凸集S上的严格凸函数。当-f(x)为凸函数(严格凸函数)时,则称f(x)为凹函数(严格凹函数)。严格凸函数凸函数严格凹函数第18页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数1、凸函数及水平集:定理:f(x)为凸集S上的凸函数

S上任意有限点的凸组合的函数值不大于各点函数值的凸组合。思考:设f1,f2是凸函数,设

1,

2>0,

1f1+

2f2,

1f1-

2f2是否凸函数?f(x)=max{f1(x),f2(x)},g(x)=min{f1(x),f2(x)}是否凸函数?

第19页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数1、凸函数及水平集:定义:设集合S

Rn,函数f:S

R,

R

,称S

={x

S∣f(x)≤

}为f(x)在S上的

水平集。定理:设集合S

Rn是凸集,函数f:S

R是凸函数,则对

R

,S

是凸集。注:水平集的概念相当于在地形图中,海拔高度不高于某一数值的区域。上述定理的逆不真。考虑分段函数f(x)=1(x≥0)或0(x<0),函数非凸,但任意水平集是凸集。第20页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数2、凸函数的性质:方向导数:设S

Rn为非空凸集,函数f:S

R,再设x*

S,d为方向,使当

>0

充分小时有x*+

d

S,

如果

lim

[f(x*+

d)-f(x*)]/

存在(包括

则称f(x)为在点沿方向的方向导数存在,记

f`(x*;d)=lim

[f(x*+

d)-f(x*)]/

若f(x)在x*可导,则f`(x*;d)=[

f(x*)]Td.第21页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数2、凸函数的性质:以下设S

Rn为非空凸集,函数f:S

R2)若f凸,则f在S的内点集上连续;注:f在S上不一定连续。

例:f(x)=2(当

x

=1);f(x)=x2(当

x<1).

3)设f凸,则对任意方向方向导数存在。4)设S是开集,f在S上可微,则

f凸

x*

S,有f(x)≥f(x*)+

fT(x*)(x-x*),

x

S.5)设S是开集,f在S上二次可微,则

a)

f凸

x

S,2f(x)半正定;

b)若

x

S,2f(x)正定,则f严格凸。第22页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)二、凸函数2、凸函数的性质:例:

f(x)=x12+2x1x2+2x22+10x1-4;

f(x)=-3x12+x1x2-x22-2x32-2x2x3+26;

f(x)=3x12+ax1x2+2x22-4x1+6(a=5,4.5);第23页,共30页,2024年2月25日,星期天2.2凸集、凸函数和凸规划(续)三、凸规划:当(fS)中,S为凸集,f是S上的凸函数(求min),称(fS)为凸规划;对于(fgh),f,gi为凸函数,hj为线性函数时,(fgh)为凸规划。定理:设集合S

Rn为凸集,函数f:S

Rf(x)为凸集S上的凸函数。X*为问题(fs)的l.opt,则X*为g.opt;又如果f是严格凸函数,那么X*是(fs)的唯一g.opt。第24页,共30页,2024年2月25日,星期天2.3多面体、极点、极方向1)多面体:有限个半闭空间的交例:S={x

Rn

Ax=b,x≥0}第25页,共30页,2024年2月25日,星期天2.3多面体、极点、极方向2)多面体的极点(顶点):

x

S,不存在S

中的另外两个点x(1)和x(2),及λ(0,1),使x=λx(1)+(1-λ)x(2).3)方向:x

S,d

Rn,d

0及λ>0,总有x+λd

S.

d(1)=λd(2)(λ>0)时,称d(1)和d(2)同方向。4)极方向:方向d

不能表示为两个不同方向的组合(d=d(1)+d(2)).第26页,共30页,2024年2月25日,星期天2.3多面体、极点、极方向多面体S={x

Rn

Ax=b,x≥0}的极点和极方向定理1(极点特征)设A

满秩,x

是S极点的充分必要条件是:

存在分解A=[B,N],其中B为m阶非奇异矩阵,使xT=[xBT,xNT],

这里xB=B-1b≥0,xN=0.S中必存在有限多个极点。(≤Cnm)第27页,共30页,2024年2月25日,星期天2.3多面体、极点、极方向多面体

S={x

Rn

Ax=b,x≥0}的极点和极方向定理2(极方向特征)设A=[p1,p2,…,pn]满秩,d

是S

极方向的充分必要条件是:存在分解A=[B,N],其中B为m阶非奇异矩阵,对

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论