모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까?
이 질문은 모든 무한 Turing 인식 언어에 무한 결정 가능한 하위 집합이 있다는 사실의 강력한 버전으로 볼 수 있습니다.
답변
아니.
결정 불가능 언어 인식이 될 수-튜링 단항 (정의 않는 이므로 어려울뿐만 문자열만으로 ‘0’으로 구성된다). Mahaney의 정리에 따르면 P = NP가 아니라면 단항 언어는 NP- 완료 될 수 없다고합니다.
x∉Lx=0000…0