1．-国立情報学研究所.pptVIP

独立集合問題 独立集合： グラフ G の頂点部分集合で、任意の頂点間に枝のないもの ? 与えられたグラフが大きさ k の独立集合を持つかどうかを判定する問題が、k-独立集合問題 ? 排他制約の親分のような問題 （排他制約のみからなる問題） ? どうやってNP困難性を 証明しようか？ ? SATを帰着してみよう 排他条件を使った選択肢 ? SATの、「リテラル xiか￢xi のどちらしか選べない」という条件は比較的簡単に実現できる 　? xi に対応する頂点と ￢xi に対応する頂点を作り、両者の間に枝を張る 　＋ これらの頂点から n 個選ばせるようにすると、 xi と ￢xi のどちらかを必ず選ぶことになる ? 各節が充足されるという 条件はどうしようか ? 各節に頂点を対応させて、その節のリテラルどれかが選ばれていれば、節の頂点が選べる、としたいが、排他条件でこういうセッティングをどうやって作ろうか？ xi ￢xi 節の表現 ? 単純に各節に頂点を対応させて、その節に含まれるリテラルと辺でつなげてみる ? 節が充足されている（リテラルを どれか選んでいる）と、Ci は選べない ? 節が充足されていない（リテラルを どれも選んでいない）と、Ci は選んでも選ばなくてもいい ? やりたいことと逆だ 　? 条件が逆ならば、個数の制限をつけるだけで帰着ができる x1 ￢x3 x4 Ci 選択肢の逆転 ? 選択肢を逆にする、逆転の発想をしてみよう 　? 割当てとして選択するリテラルの否定を、独立集合の頂点として選ぶ。つまり、各リテラルの否定を選ぶ ? 節が充足されている（リテラルの どれか選ばれていない）と、Ci は選べない ? 節が充足されていない（リテラルを 全て選んでいる）と、Ci は選べない ? 今度は、どちらの状況でも節が選べなくなった ? もう一工夫して、リテラルどれかが選ばれてなければ節が選べる、としたい x1 ￢x3 x4 Ci 節の変形 ? リテラルが１つ選ばれていないときに節の頂点を選べるようにしたいのだから、各リテラルに対して頂点を用意しよう ? 節に対応する頂点が複数になるので、それらのうちから１つだけしか選べないようにしよう 　? これは、独立集合の状況では簡単 　　節に対応する頂点たちをクリークにして 　　しまえばよい ? リテラルどれかが選ばれていなければ、節を選ぶことができる x1 ￢x3 x4 Ci Ci Ci 帰着のまとめ ? 帰着する問題は SAT 入力： 変数 x1,…,xn、節 C1,…,Cm、節はリテラル（xi,￢xi）の集合 ? 以下のグラフを作成する 頂点集合： リテラル xi,￢xi の集合と、節 Ci と Ci に含まれるリテラル xj の組 (Ci, xj) の集合 枝集合： 任意の Ci を共有する頂点対 (Ck, xi) と (Ci, xj) の間に枝を張る。任意のリテラル xj と xj を含む節頂点 (Ci, xj) の間に枝を張る ? 作ったグラフに大きさ n+m の独立 集合がある ? 入力した SAT に 充足可能解がある （頂点被覆で作ったグラフと同じ。。。） x1 ￢x3 x4 Ci Ci Ci 他の帰着 ? 各節からリテラルを１つだけ選ぶ、という考え方もある ? 相補的なリテラルは選べないよう、枝を張っておく 入力： 変数 x1,…,xn、節 C1,…,Cm、節はリテラル（xi,￢xi）の集合 ? 以下のグラフを作成する 頂点集合： 節 Ci と Ci に含まれるリテラル xj の組 (Ci, xj) の集合 枝集合： x = ￢y 、あるいは、C = C が成り立つ (C, x) と (C, y) の間に枝を張る ? 作ったグラフに大きさ m の独立 集合がある ? 入力した SAT に 充足可能解がある ￢x3 x4 x3 ￢x1 ￢x1 x1 SAT ? kクリーク ? グラフの頂点集合が、全ての頂点の組の間に枝がある、というようになっているとき、それをクリークという ? グラフが大きさ k のクリークを含むかどうか判定する問題にも、SATが帰着できる ? 各項の各変数に対して、頂点を１つ用意する ? 違う項の、変数に対応する頂点の間に枝を張る。ただし、片方が、片方の否定になっているときはそうしない ? kクリークがある ? 問題の中で、最も難しい問題の部分が NP困難問題 どこまでうまくできるか ? うまくアルゴリズムを作ると、指数時間を多項式時間にできる ? しかし、多項式には次数がある 　? 次数が小さくなれば、それだけ速くなる