Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo?
La domanda potrebbe essere vista come una versione più forte del fatto che ogni linguaggio infinito riconoscibile da Turing ha un sottoinsieme infinito decidibile.
Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo?
La domanda potrebbe essere vista come una versione più forte del fatto che ogni linguaggio infinito riconoscibile da Turing ha un sottoinsieme infinito decidibile.
Risposte:
No.
Le lingue indecidibili riconoscibili da Turing possono essere unarie (definire meno che x = 0000 … 0 , quindi le uniche stringhe difficili sono composte esclusivamente da 0). Il teorema di Mahaney afferma che nessun linguaggio unario può essere NP completo se P = NP.