모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까?

모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까?

이 질문은 모든 무한 Turing 인식 언어에 무한 결정 가능한 하위 집합이 있다는 사실의 강력한 버전으로 볼 수 있습니다.

아니.

결정 불가능 언어 인식이 될 수-튜링 단항 (정의 않는 이므로 어려울뿐만 문자열만으로 '0'으로 구성된다). Mahaney의 정리에 따르면 P = NP가 아니라면 단항 언어는 NP- 완료 될 수 없다고합니다.$x \not\in L$$x = 0000\ldots 0$