유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 – 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 – 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . 이는 훌륭하고 자연적인 속성이며, 사소한 방식으로 p 동형을 의미합니다.엔피

$NP$피≠ N피

$P\neq NP$엔피

$NP$

후보 때문에 그 이후로, 추측의 신뢰 악화 – 완전한 언어 가능성이 P-동형을 할 수없는 것을 발견 한 S T 문제가 여전히 열려 있지만,. 그러나 내가 아는 한, 이러한 후보 중 어느 것도 자연 문제를 대표하지 않습니다 . 그것들은 동 형사상 추측을 반증하기 위해 대각선 화를 통해 구성된다.엔피

$NP$에스T

$SAT$

거의 40 년이 지난 후에도 알려진 모든 자연적인 – P- 완전 문제가 S A T에 대해 p- 동형 이라는 것이 여전히 사실 입니까? 아니면, 그에 반대되는 추측 된 자연적인 후보자가 있습니까?엔피

$NP$에스T

$SAT$

답변