P=NP?問題の解決とNP完全問題の効率的解法に向けて
スポンサーリンク
概要
- 論文の詳細を見る
多くの人々が、P=NP?問題を解くことは非常に難しそうだと感じているが、そのことを数学的に示すことはできないであろうか?そのためのひとつの方法は、現在知られている証明手法が、P=NP?問題を解決するのには弱過ぎることを示すことである。この方針に従った最初の結果を示したのはBaker、GillとSolovayで、彼らは、相対化可能な証明手法ではP=HP?問題は解決できないことを示した。相対化可能な証明手法には、対角線論法やシミュレーションといった当時知られていた主要な証明方法が含まれていたため、研究者は方針変更を余儀なくされた。その後、多くの研究者が非一線回路計算量の研究を始めた。そして1980年代に入ると、組み合わせ論的手法を巧妙に用いて、数多くの相対化不可能な証明手法が発見され、それらの手法を用いて強い下界が示された。
- 1994-09-26
著者
関連論文
- P=NP?問題の解決とNP完全問題の効率的解法に向けて
- 量子Turing機械によるNP完全問題の多項式時間解法について(計算量理論)
- 万能量子Turing機械を用いたNP完全問題の多項式時間解法について
- 量子コンピュータを用いたNP完全問題の多項式時間解法
- 量子コンピュータ
- 属性文法の複雑さ (<解説> 属性文法とその応用-IV)
- 連載「様々な角度から見たニューラルネットワークの将来像」の企画にあたって
- 属性文法の理論入門 ( 属性文法とその応用 I)
- 「属性文法とその応用」の連載開始にあたって
- EXACT学習 : 質問からの概念学習 (計算的学習理論とその応用)
- 廣瀬 健 著, "帰納的関数", 共立講座 現代の数学3, 共立出版, A5判, 214p., \3,600, 1989
- 井田哲雄 著, 計算機科学/ソフトウェア技術購座-2, "プログラミング言語の新潮流", 共立出版, A5判, \2,800, 1988
- 88-14 有向グラフに対するブラウザ
- 足立暁生 著, "計算基礎論", オーム社, A5判, 201P., \2,800, 1986
- 85-11 Prolog IIの論理的再構成
- ニューラルネットワークを用いたインド文字の特徴抽出について
- AuxPDAの同時計算量に対する一考察
- 第3回計算論的学習理論ワークショップ(ALT '92)報告
- 新企画「情報処理最前線」の連載開始にあたって
- 否定数限定回路の複雑さについて(計算量をめぐる基礎的研究)
- 否定数限定反転回路の複雑さの下界について(計算量理論)
- 否定数限定反転回路の複雑さについて
- On the complexity of negation-limited Boolean networks
- Interpretations of the quantum theory and NP-complete problems