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.
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.
Antworten:
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.