PPと他の複雑性クラスの比較とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > PPと他の複雑性クラスの比較の意味・解説 

PPと他の複雑性クラスの比較

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/27 03:33 UTC 版)

PP (計算複雑性理論)」の記事における「PPと他の複雑性クラスの比較」の解説

上述通りPPBPP包含するPPNP包含する。これを証明するには、NP完全問題である充足可能性問題PP属することを示せばよい。論理式 F(x1, x2, ..., xn) について無作為に x1, x2, ..., xn の値を決め、それを使って F が真となるか計算してみるアルゴリズム考える。F が真となったら YES を返しそうでなければ確率 1/2 で YES、確率 1/2 で NO を返す。 その論理式充足不可能な場合、このアルゴリズムは YES を確率 1/2 で返す充足可能な組合せがある場合、YES を返す確率は 1/2 以上である(正確には、充足可能な組合せ得られない場合には 1/2 で、充足可能な組合せが偶然得られ場合は 1 であり、平均すると 1/2 より大きい適当な値となる)。従って、このアルゴリズムPP属し充足可能性問題を解くことができる。SAT充足可能性問題)はNP完全問題であり、PPアルゴリズム決定的な多項式時間多対一還元を前置することができるので、NPPP含まれることになる。PP は補問題について閉じているため、co-NPPP含まれるPPBQP包含するBQP量子コンピュータ効率的な多項式時間解ける決定問題クラスである。実際BQPPP に対して low である。すなわち、BQP即座に解ける方法があったとしても PP を解く効率変わらないPP神託機械を持つ多項式時間チューリングマシンPPP)は、PH すなわち多項式階層全体属する全問題を解くことができる。これは戸田誠之助1989年示したもので、「戸田の定理」と呼ばれている。これは PP属す問題を解くのがいかに困難であるかの証拠である。クラス #P は、P#P = PPP であり、P#PPH包含するため、PP同程度に困難と考えられるPP は TC0 を厳密に包含している。このクラス回路計算量に関するもので、一定の深さ無制限入力端子数の論理回路多数決回路持っている(Allender 1996, as cited in Burtschick 1999)。 PPPSPACE包含される。これは MAJSAT 問題多項式領域で解くアルゴリズム示せば、容易に証明できる。MAJSAT 問題とは、充足可能問題について、あらゆる組合せ試して、式が真となる組合せ数え上げ過半数真なら YES となる問題である。

※この「PPと他の複雑性クラスの比較」の解説は、「PP (計算複雑性理論)」の解説の一部です。
「PPと他の複雑性クラスの比較」を含む「PP (計算複雑性理論)」の記事については、「PP (計算複雑性理論)」の概要を参照ください。

ウィキペディア小見出し辞書の「PPと他の複雑性クラスの比較」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「PPと他の複雑性クラスの比較」の関連用語

PPと他の複雑性クラスの比較のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



PPと他の複雑性クラスの比較のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのPP (計算複雑性理論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS