Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge?

Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge?

Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge hat.

Nein.

Turing-erkennbar unentscheidbar Sprachen sein können einstellige (definieren es sei denn , x = 0000 ... 0 , so dass die nur schwer Saiten nur aus 0en zusammengesetzt sind). Mahaneys Theorem besagt, dass keine unäre Sprache NP-vollständig sein kann, wenn nicht P = NP.$x \not\in L$$x = 0000\ldots 0$