UNIQUE k-SAT가 P에 있음을 나타내는 경우 P = NP를 의미합니까?

Valiant & Vazirani는 SAT가 다항식 시간의 확률 적 확률 적 감소로 UNIQUE SAT로 환원 될 수 있음을 증명했습니다. Calabro et al . UNIQUE k-SAT는 k-SAT만큼 어렵습니다. 이제 문제는 누군가가 고유 k-SAT가 P에 있음을 나타내면 P = NP를 의미합니까?

참고 문헌

1. LG Valiant와 VV Vazirani는 "NP는 고유 한 솔루션을 탐지하는 것만 큼 쉽습니다." 이론적 컴퓨터 과학 47 : 85–93, 1986. ( ScienceDirect의 PDF )

2. C. Calabro, R. Impagliazzo, V. Kabanets 및 R. Paturi, "고유 한 k-SAT의 복잡성 : k-CNF에 대한 분리형 정리". 컴퓨터 및 시스템 과학 저널 74 (3) : (386-393, 2008 PDF ACM 디지털 도서관에서, 무료로 PDF .)

이것은 여전히 ​​공개적인 질문입니다. UP 은 NP 와 같은 것으로 알려져 있지 않습니다 . 백서에서 "NP는 고유 한 솔루션을 탐지하는 것만 큼 ​​쉽지 않을 수 있습니다 "에서 Beigel, Burhman 및 Fortnow는 P 에 UP이 포함되어 있지만 P 는 여전히 NP 와 동등한 오라클을 구성합니다 .