1
고유 한 솔루션의 약속 하에서 효율적인 알고리즘을 인정하는 NP-Complete 문제
나는 최근 Valiant와 Vazirani 의 매우 훌륭한 논문을 읽었으며 이면 만족스럽지 않거나 독특한 해결책이 있다고 약속하더라도 SAT를 해결하는 효율적인 알고리즘이 없다는 것을 보여줍니다 . 따라서 SAT가 최대 하나의 솔루션이 있다고 약속하더라도 효율적인 알고리즘을 인정하지 않음을 보여줍니다.N P ≠ R P엔피≠아르 자형피\mathbf{NP \neq RP} 엄숙한 축소 (솔루션 수를 유지하는 축소)를 통해 …