プレプリント
J-GLOBAL ID:202202206028622432   整理番号:22P0034857

P=?NP問題の証明【JST・京大機械翻訳】

A Proof for P =? NP Problem
著者 (2件):
資料名:
発行年: 2010年05月17日  プレプリントサーバーでの情報更新日: 2020年07月01日
JST資料番号: O7000B  資料種別: プレプリント
記事区分: プレプリント  発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
P対NP問題は,現代の数学と理論的コンピュータ科学における重要な問題である。この問題に対して多くの証明が提案されてきた。本論文では,P対NP問題に対する理論的証明を提案した。この証明の中心的アイデアは,定義によって有効なTMの符号化ストリングを受け入れるTuringマシン(短TM)のための再帰的定義であり,TMの無限シーケンスを構築し,シーケンスがこれらのTMに基づくすべての有効なTMを含み,すべての可解言語を含むクラスDと結合と縮小オペレータを定義することを証明した。Dの融合の言語アップを構築することによって,P=UpとUp=NP,および結果P=NPを証明した。【JST・京大機械翻訳】
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算理論 
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る