¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo?

¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo?

La pregunta podría verse como una versión más fuerte del hecho de que cada lenguaje infinito reconocible de Turing tiene un subconjunto infinito decidible.

No.

Los lenguajes indecidibles reconocibles por Turing pueden ser unarios (definir menos que , por lo que las únicas cadenas difíciles se componen únicamente de 0). El teorema de Mahaney dice que ningún lenguaje unario puede ser NP completo a menos que P = NP.x = 0000 … $x \not\in L$$x = 0000\ldots 0$