|
,k}是对偶丛方法最后一次迭代时的指数集,对于某些ε>0,具有近似停止条件(5.29)。设n+1为满足近似停止条件后的第一次下降迭代,并设L={1,…,n}。对于中心为?M(k),?λ(k)且指数集为L的(M P(v)),设τ=(τ(`)i)i∈Ohm,`∈五十、 θ=(θ(`))`∈五十、 σ∈ RM,ψ∈ R、 ν=(νi)i∈Ohm分别为分配给约束(5.23)、(5.24)、(5.25)、(5.26)、(5.27)的拉格朗日双变量,带τ(`)i≥ 0, θ(`)≥0,νi∈ RJ+用于每个i∈ Ohm, ` ∈ 五十、 设(x(`)i,y(`)i)为算法4第6行中每个i的子问题的最优解∈ Ohm 和`∈ 五十、 让τ(n+1)=(τ(`,n+1)i)i∈Ohm,`∈五十、 θ(n+1)=(θ(`,n+1))`∈五十、 σ(n+1),ψ(n+1),ν(n+1)=(ν(n+1)i)∈Ohm是(MP(v))的对偶最优解。设x(v)=((x(v))i)i∈Ohm, y(v)=((y(v))i)i∈Ohm定义为(x(v))i:=x`∈Lτ(`)ix(`)i,(y(v))i:=X`∈Lτ(`)iy(`)i.Letα(v):=inf{α∈ R | v+α1∈ R(C'x+Q'y)}。那么,(x(v),y(v),α(v))是(P(v))在以下意义上的近似最优解:(a)((x(v))i,(y(v))i)∈ 每个i的F∈ Ohm.(b) v+α(v)1∈ R(Cx(v)+Qy(v))。(c) Asε→ 0,它保持(x(v))i- σ(n+1)→ 每个i 0∈ Ohm.(d) Asε→ 0,它保持α(v)→ P(v)。定理5.14的证明见附录B.5.2.4(LD(v))的解的恢复除了原始最优解(x(v),y(v),α(v)),原始Benson算法还需要对偶问题(LD(v))的非最优解γ(v)(见第4.1节)。因此,在定理5.15中,我们提出了一个从主问题(MP(v))的解中恢复此解的过程。定理5.15。在定理5.14的设置中,设γ(v)=Xi∈Ohmm(n+1)i.(5.30)那么,γ(v)是(LD(v))在以下意义上的近似最优解:作为ε→ 0,有效inf(x,y)∈十、 α∈Rα+infz∈R(Cx+Qy)-v-α1γT(v)z- P(v)→ 0
|