翻訳と辞書
Words near each other
・ 計算機イプシロン
・ 計算機プログラム
・ 計算機プログラムの構造と解釈
・ 計算機リソース
・ 計算機代数
・ 計算機化学
・ 計算機学
・ 計算機工学
・ 計算機支援工学
・ 計算機科学
計算機科学の未解決問題
・ 計算機科学教育
・ 計算機科学科
・ 計算機科学者
・ 計算機資源
・ 計算機間
・ 計算流体力学
・ 計算流体力学研究所
・ 計算物理
・ 計算物理学


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

計算機科学の未解決問題 : ウィキペディア日本語版
計算機科学の未解決問題[けいさんきかがくのみかいけつもんだい]
計算機科学の未解決問題(けいさんきかがくのみかいけつもんだい)とは計算機科学における未解決の問題のこと。
== P≠NP予想 ==
Pとは多項式時間で解答の見つかる問題のクラスを表し、これに対しNPは多項式時間で解答が検証できる問題のクラスを表す。クラスPの問題は同時にクラスNPであることは証明されている(つまりP⊆NP)。
ここでP≠NP問題とは、NPがPに含まれるのかどうか(P⊃NPかどうか)、すなわちPとNPは等しいのか(P=NPかどうか)という問題のことである。この問題の解決は、計算機がもつある種の限界を証明することにあたるため、広く注目されている。〔S. A. Cook and Leonid Levin ''Proceedings of the 3rd Annual ACM Symposium on Theory of Computing'' (1971), pp. 151--158〕
もしPとNPが同じクラスであれば(つまりP=NPであれば)、素因数分解充足可能性問題など現在効率的な算法の存在しない問題を解くことができる。P≠NP予想という名前も示すとおり、現在PとNPは異なるクラスであろうと予想されているが、証明されていない。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「計算機科学の未解決問題」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.