답변:
극도 로 많은 문자열이 제외 된 NP 완성 언어의 Poly time superset에 대한 Josh Grochow의 답변을 참조하십시오 . 그 대답에 따르면, 일부 자연 암호화 가정하에, 모든 공동 NP 완전 문제에 대한 무한 부분 집합이없는 의 회원하도록 인스턴스의 Φ는 다항식 시간이며, 제한 결정 문제 Φ는 (답 항상 더) 간단하다 .
이것은 공동 -NP- 완전 세트가 P- 면역이 아니라고 진술함으로써 공식화 될 수있다. NP- 완전한 세트가 P- 면역이 아니라고 (암호화 가정 하에서) 또한 알려져있다. 그래서 또 다른 무한 부분 집합이 의 회원하도록 Φ는 ' 다항식 시간 검증 및 제한 결정 문제 Φ ' 항상 대답의 예를 가지고는. 예를 들어 Glasser 등의 "NP-Complete 세트의 속성", SICOMP 2006, doi : 10.1137 / S009753970444421X를 참조하십시오 .