1
Stephen Cook은 SAT가 실제로 NP-Hard임을 증명하기 전에 NP-Hard임을 보여주는 중요성을 보았습니까?
내가 올바르게 이해한다면, 그 문제를 증명하기 위해 ㅏAA NP가 어렵습니다. 가능한 모든 문제를 선택해야합니다. 비나는BiB_{i} 그것은 NP에 있고 그들이 ㅏAA 다항식 시간 계산 기능을 사용하여 각 인스턴스를 매핑합니다. 비나는BiB_{i} 의 인스턴스 ㅏAA. 첫 번째 NP 하드 문제를 찾으면 축소를 사용하여 다른 많은 문제가 NP Complete 또는 NP Hard라는 것을 알 …