• 検索結果がありません。

逆凸制約付き線形計画問題に対する解法

N/A
N/A
Protected

Academic year: 2021

シェア "逆凸制約付き線形計画問題に対する解法"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

日本オペレーションズ・リサーチ学会 2004年秋季研究発表会

1−B−11

逆凸制約付き線形計画問題に対する解法

02402070 筑波大学 *永井秀稔 NAGAIHidetoshi

OllO7230 筑波大学 久野誉人 KUNOTakahito

cutなどを用いて,最適解を除いたβの辺上の点を

すべてcutする. ・Conicalbranch−and−bound【8,9】:錐で分割しなが

ら,凸関数タを線形緩和した問題を解いていく■

これらに対し本研究では,Simplex−typepivotingに属す

るアルゴリズムを改良し,記憶量に関して改善を試みた.

1 逆凸制約付き線形計画問題

本研究で対象とする逆凸制約付き線形計画問題(Lin− earProgramswithanadditionalReverseConvexcon− straint)とは,線形計画問題(LP)に逆凸制約が加えら れた問題である.行列A∈RmXれ,列ベクトルb∈Rm,

行ベクトルc∈Rれ,凸関数タ:Rm=Rl,に対し、以下

のように定式化される. mln Z:= CX S.t. Ax≦b X≧0 タ(Ⅹ)≧0

2(ムP月C)の性質

(ムP月C)に対し,次の仮定を置く・ 1.実行可能領域β\Cは非空有界. 2.(ムP月C) (エア) min(cxlx∈D\G)> min(cxlx∈D)・ これらの仮定の下で,(ムP月C)の最適解について以下の 性質を持つことが知られている. 1・∂G=(x座(Ⅹ)=0)とβの辺との交点上に最適解 が存在する. 2.βの辺vl−V2:CVl≧cv2のうち,タ(vl)≧0, タ(v2)<0を満たすものの中に最適解が存在する・ (ムP兄C) また,β=(ⅩlAx≦b,Ⅹ≧0),C=(xIタ(Ⅹ)<0) とすれば,min(cxlx∈β\C)とも表現できる・凸関 数タに対し,タ(Ⅹ)≦0であれば実行可能領域は凸集合 となるのだが,不等号が逆向きであるが故に,非凸集合 となるどころか,非連結となることもあり得る.この問 題は,製品開発や規模の経済効果を考慮した制約を持つ 問題などをはじめ,多くの分野で見受けられる.本研究 の目的は,この逆凸制約付き線形計画問題の大域的最適 解を効率的に生成するアルゴリズムを開発することであ る.よって以降,単に最適解と言えば,大域的最適解を 指すものとする. この問題に対し,先行研究で提案されているアルゴリ ズムは,概ね以下の4種に分けられる. ・Simplex−typepivoting[3,7]‥pivotにより,Gに含 まれるかの端点をすべて列挙する.各端点に対し, これと,隣接する端点とを結ぶ辺上に局所解が無い か調べる. ●Alternatinglocalsearchandconcaveminimization 【4,叫:∂C=(Ⅹlタ(Ⅹ)=0)上の局所解を求めるこ とと,大域性確認のための凹最小化問題を解くこと ■を交互に行う. ・Outerapproximation[2,5]:COnCaVitycutやfacial

● 3 Simplex−tyPePIVOting

上述した性質より,βの辺を列挙することで最適解を 生成するアルゴリズムが考えられる.それがSimplex− typepivotingである.すなわち,pivotによりGに含ま

れるβの端点を列挙していき,列挙された端点と,そ

れに隣接する端点とを結ぶ辺上に局所解が無いか調べて いくことで,最適解を得る.基本的なアルゴリズムの枠 組みは以下のようになる[3]. Ⅳ(Ⅹ):Ⅹの隣接端点の集合 β:列挙した端点の集合

r:gのうち,隣接端点の列挙を終えた端点の集合

−44− © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

(2)

StepO.x*:=maX(cxrx∈D).xO:=min(cxFx∈ β).g‥=(Ⅹ0).r‥=臥 Stepl.IfS\T=¢,thenx*isoptimal,terminate. Otherwise,Selectx∈S\T・T:=Tu(Ⅹ)・Calculate

Ⅳ(Ⅹ).

Step2.IfN(Ⅹ)=の,thengotoStepl.Otherwise, Selectv∈N(Ⅹ).N(Ⅹ):=N(Ⅹ)\(v). Step3・Ifcv>cxandg(v)≧0,thengotoStep 4.Ifcx*>CV>CXand9(v)<Oandv¢S,then S:=Su(v).GotoStep2. Step4・α*‥=min(αJg(Ⅹ+α(v−Ⅹ))=0)・X′:= Ⅹ+α*(vTX)・Ifcx′<cx*,thenx*:=Ⅹ′.GotoStep 2. そこで,min(cxlx∈DnH),H=COnCaVitycut

を満たす領域,の最適解Ⅹ*を求め,Ⅹ*が(上戸月C)に

対し実行不能セあれば,再びⅩ*を用いてconcavitycut

を生成することを繰り返すアルゴリズムが考えられる.

残念なことに,このアルゴリズムは収束性が示されて いないが,多くの問題に対し,非常に少ない繰り返し回

数で最適解を得られることが実験により確かめられた.

これを踏まえ本研究では,繰り返し回数に上限(2れ回) を設け,上限に達するまでに実行可能解が得られなけれ

ば,このアルゴリズムで解くことを諦め,ReverseBland

pivotingにより最適解を求める,というアルゴリズムを 提案する.

参考文献

【1]D.Avis and K.Fukuda.A pivoting algorithm for COnVeXhullsandvertexenumerationofarrangements

and polyhedra.Discrete and CorTtPutationalGeome−

まry,8:295−313,1992.

[2]J・Fti16p・Afinite cuttingplane methodfor soIving

linearprogramswithanadditionalreverseconvexcon− Straint.EuropeanJournalqf OperationalResearch, 44:395−409,1990. 【3]R・J・Hillestad・Optimization . 月eβeα和ん,23:109ト1098,1975. [4】RJ.HillestadandS.E.Jacobsen.Linearprograms Withanadditionalreverseconvexconstraint.Applied 〟α兢emαf豆c5αれd qp亡乞m豆zα如乃,6:257−269,1980.

[5]R・J,Hillestad and S.E.Jacobsen.Reverse convex

programming.AppliedMathemaiicsandQptimization, 6:63−78,1980. [6】R.HorstandH.Tuy.Globa10ptimization:Determin− istic ApprDaChes.Springer−Verlag,Berlin,3edition, 1996. 【7]S・E・Jacobsen andK・Moshirvaziri,Computational

experience uslng an edge search algorithm fbrlinear

reverseconvexprograms.JournalqFGlobalOptimiza一 如乃,9:153−167,1996. 【8]K.MoshirvaziriandM.A.Amouzegar.Asubdivision SChemeforlinearprogramswithanadditionalreverse COnVeXCOnStraint.Asia−PacyicJournalqfOperations 月e5eα化九,15:179−192,1998. [9]L・D・.Muu・AconvergentalgorithmforsoIvinglinear programswithanadditionalreverseconvexconstraint. ∬yわeγ托eま豆たα,21:428−435,1985. [10】N.V.ThuongandH.Tuy.AfinitealgorithmforsoIv− 1nglinearprogramswithanadditionalreverseconvex constraint.LectureNoteinEconomicsandMathemat一 夏cαggyβまemβ,255:291−302,1984.

4 本研究のアルゴリズム

前節で述べたアルゴリズムでは,問題サイズが大きく

なるにつれ,gやrの要素数が爆発的に増大する■こと

が問題点である・[7]では,深さ優先探索を用いること

により,βを必要としないアルゴリズムを提案している が,rを用いる以上,この問題点に関しての解決策には なっていない.そこで本研究では,βやrを用いずに重 複なく全端点を列挙できる別の方法を利用する.その方 法とは,ReverseBlandpivoting[1]である.

4.1 ReverseBlandpivoting

LPを解く際にBlandrule(最小添字規則)を用いると, どの端点も,pivotで次に移る端点が一意に定まる.よっ

て全端点について,そのpivotする経路を繋げば,LPの

最適解を根とする木が構成される.この木を探索するこ

とで,重複なく全端点を列挙できるので,今いる端点の

基底情報のみ保持すればよい.

4.2 Concavitycut Cに含まれるβのある端点Ⅹに対し,Ⅹからその隣 接端点Ⅴ五万向への半直線と∂Cとの交点をy五とする と,関数タの凸性より,(Ⅹ,yl,…,ym)から得られる単 体に含まれる点は,その端点を除いてすべて実行不能で ある.よって,(yl,‥.,yれ)を通る超平面でcutを入れ ても,(ムP月C)の実行可能領域が削られることはない・ これをconcavitycutあるいはnly−Cutと呼ぶ[6]・ −45− © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

参照

関連したドキュメント

R., Existence theorem of periodic positive solutions for the Rayleigh equation of retarded type, Portugaliae Math.. R., Existence of periodic solutions for second order

Patel, “T,Si policy inventory model for deteriorating items with time proportional demand,” Journal of the Operational Research Society, vol.. Sachan, “On T, Si policy inventory

By using the Fourier transform, Green’s function and the weighted energy method, the authors in [24, 25] showed the global stability of critical traveling waves, which depends on

Abstract: The existence and uniqueness of local and global solutions for the Kirchhoff–Carrier nonlinear model for the vibrations of elastic strings in noncylindrical domains

If in the infinite dimensional case we have a family of holomorphic mappings which satisfies in some sense an approximate semigroup property (see Definition 1), and converges to

Recently, Arino and Pituk [1] considered a very general equation with finite delay along the same lines, asking only a type of global Lipschitz condition, and used fixed point theory

In [13], some topological properties of solutions set for (FOSPD) problem in the convex case are established, and in [15], the compactness of the solutions set is obtained in

Applying the general results of the theory of PRV and PMPV functions, we find conditions on g and σ, under which X(t), as t → ∞, may be approximated almost everywhere on {X (t) →