NP完全問題の紹介
- 13. 作り方(具体例)
𝑎⋁𝑏⋁𝑐 ⋀ 𝑎⋁𝑏⋁𝑐 という3𝑆𝐴𝑇を考える
これは変数が𝑚(= 3)個あり、節が𝑙(= 2)個あ
るので、次ページのような 2𝑚 + 3𝑙 頂点のグ
ラフにサイズ 𝑚 + 2𝑙 の頂点カバーがあるか
どうかに帰着される
- 15. 確認
3𝑆𝐴𝑇 ∶ 𝑎 = 𝑡𝑟𝑢𝑒, 𝑏 = 𝑡𝑟𝑢𝑒, 𝑐 = 𝑓𝑎𝑙𝑠𝑒で成立
サイズ7(= 𝑚 + 2𝑙)の頂点被覆は次頁のよう
に確かに存在する
よって、成立
- 23. 正当性
グラフがサイズ𝑚 + 2𝑙の頂点被覆を持つとき
𝑥と𝑥に対応する頂点から少なくとも1つ選ぶ
節s⋁𝑡⋁𝑢に対して、少なくとも2つ選ぶ
必要がある(easy)
- 27. 正当性
グラフがサイズ𝑚 + 2𝑙の頂点被覆を持つ
3𝑆𝐴𝑇が𝑡𝑟𝑢𝑒になる
次に、 を示す
これは同じように3𝑆𝐴𝑇の解に対応する頂点を
選び、節に対応する頂点を適当に選べばよい
- 32. 部分和問題
節s⋁𝑡⋁𝑢に対して、 s, 𝑡, 𝑢に対応する文字の
和は1以上3以下
よって、各節に対して新しい文字を二つ作る
これによって、0~2まで足すことができる
このとき、合計を3にできるのが条件