顶点被覆-国立情报学研究所.PPT

最小費用流問題：定式化 (2) 最小化　　　　　　Σi=1,…,n Σj=1,…,n ciｊ × xiｊ 制約条件　　（Σj=1,…,m xji ）－（Σ j=1,…,m xiｊ） = bi 　　　　　　　　　　0 ≦ xiｊ ≦ uiｊ ? この問題も線形計画問題 ? 輸送問題は、最小費用流問題の特殊ケース ? 実は、最小費用流問題も、輸送問題の特殊ケースになっている 最小費用流問題の変形 ? 最小費用流問題の各枝を、輸送問題の（１頂点＋２枝）に変換 　　最小費用流　　　　　　　　　　　　　輸送問題 ciｊ, uiｊ bi bｊ bi = bi - uiｊ bj = bｊ vi vｊ vij vｊ vi ciｊ bij = uiｊ 0 ? vi 、vj は、複数個作らない（共有する） この変形を、全ての枝について行う 最小費用流問題の変形 (2) ? vi から vj に y 流れる 　　?　 bi が bi - y に減り、 bj が bj + y に増える。コストは ciｊ y ? vij から vi , vj に uij - y, y ずつ流れる 　　?　 bi が bi - y に減り、 bj が bj + y に増える。コストは ciｊ y 　　 ※ 0 ≦ y ≦ uij y bi-y bｊ+y bi = bi - uiｊ bj = bｊ vi vｊ vij vｊ vi bij = uiｊ uiｊ-y 両者は等価：　　この変形を、全ての枝について行えばよい y 格言集 固定制約にはダミーで対応せよ　（サブセットサム亜種） 排他的選択は、必須選択の数で抑えよ （セットカバー） 制約の変数数は、ガジェットを作って増減させよ （頂点被覆） 数は桁に分けて制約（スイッチ）にせよ　（サブセットサム） 合計の差異は人工変数で吸収せよ　（サブセットサム） 「ちょうど」は「これ以下で最大」に　（サブセットサムの帰着） 都合の良い状況に選択肢を与えて排他条件をつけよ （独立集合）　 ハミルトン＊＊はスイッチで制約、空ガジェットで選択肢を表現 平面的な帰着では、枝をグラフ（ガジェット）で置き換えよ 列挙の帰着では厳密に等価な問題を探せ 数え上げるターゲットの数を比例増分させてあぶり出せ 心得 一．　自分の得意なルートを作れ 一．　問題は構造から見よ 一．　論文は証明してから読め 演習問題１－１ 問題： 以下の問題を線形計画問題に直しなさい 　　最小化： 　　　max xi + max yi 　制約条件： ∑ ai yi 　 ≦　b 　 　 　　　　　　　　　　∑ ai xi 　 ≦　b 　　　　　　　　　　　　　 xi 　 ≧　0 　　　　　　　　 　　最小化： 　　 ∑ ( ci xi 　+ ei yi ) 　 　　 　制約条件： 　　max ai xi 　 +　max di yi ≦　b 　 　 　　　　　　　　　　∑ ai xi 　 ≦　f 　　　　　　　　　　∑ di xi 　 ≦　f 　　　　　　　　　　　 xi , yi 　 ≧　0 　　　　　　　　 演習問題１－２ 問題： 以下の問題を線形計画問題に直しなさい 　　最小化： 　　　 | ∑ xi | + | ∑ yi | 　制約条件： ∑ ai yi 　 ≦　b 　 　 　　　　　　　　　　∑ ai xi 　 ≦　b 　　　　　　　　 　　最小化： 　　 ∑ ( ci xi 　+ ei yi ) 　 　　 　制約条件： 　　 | ∑ xi | + | ∑ yi | ≦　b 　 　 　　　　　　　　　　∑ ai xi 　 ≦　f 　　　　　　　　　　∑ di xi 　 ≦　f 　　最小化： 　　 ∑ ci2 xi2 　 　制約条件： ∑ ai2 xi2 　 ≦　b2 　　　　　　　　　　　　　 xi 　 ≧　0　　　　　　　 演習問題２－１ ? サブセットサムの亜種 (2) をサブセットサムに帰着せよ 亜種(2)：「与えられた n 個の数 a1,…,an の中からいくつかを選び、合計がちょうど (Σai) / 2 にできるかどうかを答えよ」 ? 頂点被覆問題は、例えグラフの各頂点の次数が高々３でもNP完全であることを示せ ? 頂点被覆問題は、例えグラフの各頂点の次数が全て３でもNP完全であることを示せ ? 頂点被覆問題に、「隣接する頂点は同時に選んではいけない」という条件をつけた問題がNP完全となることを示せ 演習問題２－２ ? 「m 個の選択肢の中からちょうど k 個選ぶ」という制約を実現する、独立集合のガジェットを作れ。具体的