ความซับซ้อนของการตัดสินใจว่าสูตรใดมี 1 การมอบหมายที่น่าพอใจอย่างแน่นอน

ปัญหาการตัดสินใจ

กำหนดสูตรบูลีนไม่φได้ว่าหนึ่งในความพึงพอใจที่ได้รับมอบหมาย?$\phi$$\phi$

สามารถเห็นได้ใน , U P -hard และc o N P -hard มีอะไรที่เป็นที่รู้จักมากขึ้นเกี่ยวกับความซับซ้อนของมัน?$\Delta_2$$\mathsf{UP}$$\mathsf{coNP}$

ปัญหาของคุณถูกเรียกว่าปัญหาซึ่งเป็นU S- complete ปัญหาคือในD พีแต่ไม่รู้จักกันจะดีพี -hard ภายใต้การกำหนดลดเวลาพหุนามที่ระดับD P = { L 1 ∩ ¯ L 2 | L 1 , L 2 ∈ N P }$\text{UNIQUE-SAT}$$\mathsf{US}$$\mathsf{D^p}$$\mathsf{D^p}$$\mathsf{D^p} = \{ L_1 \cap \overline{L_2} \mid L_1,L_2 \in \mathsf{NP} \}$

$\mathsf{D^p}$$\mathsf{D^p}$$L_1$$L_2$$2$$\mathsf{D^p}$$\text{UNIQUE-SAT}$$\text{SAT}$$\mathsf{D^p}$$\text{UNIQUE-SAT}$

$\text{UNAMBIGUOUS-SAT}$$\text{UNAMBIGUOUS-SAT}$$\mathsf{NP}=\mathsf{RP}$$\text{UNAMBIGUOUS-SAT}$$\mathsf{NP}$$\text{UNIQUE-SAT}$$\mathsf{D^p}$

[1] Papadimitriou, Christos H. และ Mihalis Yannakakis "ความซับซ้อนของแง่มุม (และบางแง่มุมของความซับซ้อน)" การประชุมวิชาการ ACM ประจำปีที่สิบสี่บนทฤษฎีการคำนวณ พลอากาศตรี, 1982

[2] Blass, Andreas และ Yuri Gurevich "ในปัญหาความพึงพอใจที่ไม่เหมือนใคร" สารสนเทศและการควบคุม 55.1 (1982): 80-88

[3] Valiant, Leslie G. , และ Vijay V. Vazirani "NP นั้นง่ายเหมือนการตรวจจับโซลูชันที่ไม่เหมือนใคร" ภาควิชาวิทยาการคอมพิวเตอร์ 47 (1986): 85-93