すべてのチューリング認識可能で決定不可能な言語には、NP完全なサブセットがありますか？

質問は、すべての無限チューリング認識可能言語に無限決定可能サブセットがあるという事実のより強力なバージョンと見なすことができます。

cc.complexity-theory np-hardness complexity-classes np decidability

— とてもひげ
ソース

回答:

番号。

チューリング認識決定不能の言語ができ単項（定義ない限り、唯一の困難の文字列が0ののみで構成されているので）。マハニーの定理は、P = NPでない限り、単項言語はNPで完全なものにはなり得ないと述べています。 $x \not\in L$ $x = 0000\ldots 0$

— ピーター・ショー
ソース

答えとマハニーの定理への有用なポインタをありがとう！

— veryltdbeard 2013年

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。

Licensed under cc by-sa 3.0 with attribution required.