双対問題.ppt

* 主問題と双対問題 （P1） 最大化　z ＝ x１+12x２+10 x３　　　　　　 　制約　　 4x１+ 6x２ + 3 x３ ≦ 24 2x１+ 3x２ + 6x３ ≦ 24 3x１+ x２ ≦ 12 x１, x２, x３≧ 0 （P2） 最小化　w = 24y１+24y２+12 y３ 　 　　　制約　 4y１+ 2y２ + 3 y３ ≧ 1 6y１+ 3y２ + 1 y３ ≧ 12 3y１+ 6y２ ≧ 10 y１, y２, y３≧ 0 * 主問題と双対問題のソルバー結果の比較 主問題 双対問題 * （P）　 Max z = ｃ ｔx s.t. A x ≦ b x ≧ 0 （P’）　Max z = ｃ ｔx 　　　　 s.t. A x ＋λ＝ b x ≧0,λ≧0 （D） Min 　ｗ =ｙ ｔｂ 　　　 s.t. 　　ｙ ｔA　≧　ｃ ｔ　　　 　　　 　　　　　　　ｙ ≧ 0 　　　 （D’）　Min　ｗ = ｙ ｔｂ 　　　　　　　 s.t.　　　　ｙｔA　–　μt＝　ｃｔ　　 　　　　　　　　　　　　　　　 ｙ ≧0, μ≧0 対称型の双対問題と相補性 * 定理5　相補性定理 （P‘）の可能解　（ｘ,λ） （D’）　　　″　　 （ｙ,μ） （ｘ,λ） （ｙ,μ） 最適 μtｘ =0 ytλ=0 に対して 主問題の最適解において，ある制約のスラック変数が正ならば対応する双対問題の変数は0（相補スラック条件）；相補スラック条件を満たす主問題?双対問題の可能解は最適 * 主問題と双対問題 （P1） 最大化　z ＝ x１+12x２+10 x３　　　　　　 　制約　　 4x１+ 6x２ + 3 x３ ≦ 24 2x１+ 3x２ + 6x３ ≦ 24 3x１+ x２ ≦ 12 x１, x２, x３≧ 0 （P2） 最小化　w = 24y１+24y２+12 y３ 　 　　　制約　 4y１+ 2y２ + 3 y３ ≧ 1 6y１+ 3y２ + 1 y３ ≧ 12 3y１+ 6y２ ≧ 10 y１, y２, y３≧ 0 * 相補性をソルバー結果で見る演習課題3.3の主／双対問題（P1）と（P2）に対して 主問題(P1)の結果 双対問題(P2)の結果 * 「基礎OR」／「OR演習」第３回 10/13/2009 森戸　晋 * 「基礎OR」／「OR演習」10/13/09の内容 退化?巡回と単体法の有限収束性 コンピュータ出力と単体表の情報との関係 「双対問題」の導出 双対定理（弱双対定理、強双対定理、相補性定理） （時間があれば）前回宿題に関連して 鉄鉱石配合問題のΣjｘj＝1の双対価格の解釈 * 単体法計算のチェックリスト 右辺定数（目的関数値を除く）が非負か？（右辺定数が負はおかしい） 単位行列が隠れている 目的関数値が改善されている（「退化」（後で解説）していなければ，単調に改善していくはず） * 前回（第２回）学んだ基本概念／基本用語 基底解、可能基底解(bfs) 非基底変数、基底変数 基底形式、可能基底形式 単体表、単体法 軸演算（掃き出し演算） 軸の列、軸の行、軸 実行可能領域（許容領域）、端点（頂点） * 線形計画問題の可能領域 LPの実行可能領域＝