クラスNPは補完の下でクローズされていますか?


回答:


6

答えは「科学には知られていない」です。Pは補数の下で閉じていることが知られています。したがって、P = NPの場合、NPは補数の下でも閉じられます。また、NPが補数の下で閉じていない場合、P!= NPになります。


3
「P = NPの場合、NPは補数で閉じられる」の逆は「NPが補数で閉じられる場合、P = NP」となります。しかし、これは真実であることが知られていない:NPが補体の下に閉じたが、それでもP.異なっているされている可能性がある
デヴィッドRicherby

@DavidRicherbyを訂正していただきありがとうございます。「Conversely」を「Also」に置き換えました。
joebloggs 14

15

まず、肯定的な答えはことを示しているため、あなたが尋ねている質問はオープンです。実際、これはコンピュータサイエンスで最も顕著なオープンな問題の1つです。NP=coNP

場合は、そのクラス以来、補完の下で閉じているあります。一方、P=NPNPPPNPし、我々はできませんかどうかを言うか。は、多項式階層が最初のレベルに崩壊することを意味することに注意してください。ただし、これはことを意味しません。NP=coNPNP=coNPP=NP


-2

「すべての決定論的複雑度クラス(DSPACE(f(n))、すべてのf(n)のDTIME(f(n)))は補数の下で閉じられます。なぜなら、答えを逆にする最後のステップをアルゴリズムに単に追加できるからです。これはを受け入れる計算パスと拒否するパスの両方が存在し、すべてのパスが答えを逆にする場合でも、非決定論的複雑度クラスでは機能しません。その結果、マシンは両方で受け入れ、拒否するパスがあります。ケース」。 ソース


2
これは、補完の下で閉鎖を証明する1つの方法が機能しないことを示しているだけです。他の方法も可能かもしれません。たとえば、NLは補完の下で閉じられており、同じことが他の多くの非決定論的空間複雑度クラスにも当てはまります
Yuval Filmus

1
また、ウィキペディアからのコピー貼り付けではなく、回答を探しています。(しかし、ソースを認めてくれてありがとう。)
デビッド・リチャービー

-3

不明です。P対NPの問題の証明はあなたに答えを与えるでしょう。


4
いいえ、そうではありません。Pの場合NP(これは最も複雑な理論家が信じていることです)の場合、NP = coNPまたはNPのいずれかである可能性がありますcoNP。
David Richerby 2014
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.