np完全問題は.pptVIP

目次 (Chapter 1) イントロダクション 問題，アルゴリズム，複雑さ 多項式時間アルゴリズムと ‘‘intractable’’な問題 証明可能な ‘‘intractable’’な問題 ＮＰ完全問題 この本の概略 証明可能な“intractable”な問題 ‘‘intractable’’な問題の存在 “undecidable”な問題 “nondeterministically”な問題 “intractable”な問題の存在 “intractable”な問題（多項式時間アルゴリズムでは解けない問題）は実際に存在するか？ 問題が“intractable”となる要因： 問題が難しすぎて、解を求めるのに指数関数時間必要である。 解自身が大きすぎて、入力長の多項式関数で抑えられた長さの表現では記述できない。 “intractable”な問題の存在 解が大きすぎる問題： 例：　巡回セールスマン問題の変形 インスタンスに追加パラメータ B を持たせる。 「長さが B 以下のすべての巡回路を求めよ」 この問題に対して、指数的に多くの巡回路が B 以下の長さを持つように、インスタンスを構成可能。 すなわち、解を全て書き出すことのできる多項式時間アルゴリズムは存在しない。?“intractable” しかし、このような問題は非現実的である。 我々が関心を向けるのは、一つめの要因に絞られる。 “undecidable”な問題 “undecidable”な問題： その問題を解くアルゴリズムが存在しない問題 1936年，アラン?チューリング 「任意のコンピュータプログラムと、そのプログラムへの任意の入力が与えられたとき、そのプログラムが有限時間内で停止するか否かを判定せよ」 この問題を解くことのできるアルゴリズムは存在しないことを示した。 “undecidable”な問題 現在、様々な“undecidable”な問題が知られている： 有限表現群に関する自明な問題 [Rabin,1958] ヒルベルトの第十問題（整数上の多項式の解決可能性） [Matijasevic,1970] “Tiling the plane”の問題 [Berger,1966] これらの問題は、どんなアルゴリズムでも（ましてや多項式時間アルゴリズムなんかでは到底！）解けないので、強い意味で“intractable”である。 “nondeterministically”な問題 “decidable”な（すなわち、“undecidable”でない）問題の中に、“intractable”な問題を最初に見つけたのは、Hartmains と Stearns [1965] であった。 しかし、彼らの結果は、非常に特別な性質を持つ、「人工的な」問題に限られていた。 これに対して、「自然な」“decidable”問題のうちで“intractable”な問題は、 Meyer と Stockmeyer [1972]，Fischer とRabin [1974]によって与えられた。 これらの問題は、現在“nondeterministically”な問題として類別されている。 “nondeterministically”な問題 “nondeterministically”な問題： “nondeterministic”コンピュータモデルでは、多項式時間では解けない問題 “nondeterministic”コンピュータモデル： 無限個の独立な計算を、並列に追跡する能力を持つ計算機モデル 注： “nondeterministic”コンピュータモデルは、“reasonable”な計算機モデルではないが、ＮＰ完全性の理論において重要な役割を担っている。 （Chapter 2 で詳しく説明） 証明可能な“intractable”な問題（まとめ） 現在知られている“intractable”な問題は、 “undecidable”な問題 “nondeterministically”な問題 のどちらかである。 もし、このどちらかであることを示すことができれば、問題が“intractable”であることを証明できる。 しかしながら、実際に遭遇する、一見“intractable”に見える問題の多くは、上のどちらにも属さない。 目次 (Chapter 1) イントロダクション 問題，アルゴリズム，複雑さ 多項式時間アルゴリズムと ‘‘intractable’’な問題 証明可能な ‘‘intractable’’な問題 ＮＰ完全問題 この本の概略 ＮＰ完全問題 問題の間の相関関係 ＮＰ完全性の理論（Cook の論文） ＮＰ完全問題 問題の間の相関関係 帰着 (reducing) ＮＰ完全性の理論（Cook の論文） 問題の間の