Czy każdy rozpoznawalny przez Turinga niezdecydowany język ma podzbiór NP?

Czy każdy rozpoznawalny przez Turinga niezdecydowany język ma podzbiór NP?

Pytanie to może być postrzegane jako silniejsza wersja faktu, że każdy nieskończony rozpoznawalny język Turinga ma nieskończony decydujący podzbiór.

Nie.

Nierozstrzygalne języki rozpoznawane przez Turinga mogą być jednoargumentowe (zdefiniuj$x \not\in L$ chyba że $x = 0000\ldots 0$, więc jedyne trudne łańcuchy składają się wyłącznie z zer). Twierdzenie Mahaneya mówi, że żaden język jednoargumentowy nie może być NP-kompletny, chyba że P = NP.