Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo?
A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e decidível.
Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo?
A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e decidível.
Respostas:
Não.
Linguagens indecidíveis reconhecíveis por Turing podem ser unárias (defina menos que , portanto, as únicas cadeias difíceis são compostas apenas por zeros). O teorema de Mahaney diz que nenhuma linguagem unária pode ser NP-completa, a menos que P = NP.