4
ตัวอย่างที่ความเป็นเอกลักษณ์ของโซลูชันช่วยให้ค้นหาได้ง่ายขึ้น
ความซับซ้อนของคลาสประกอบด้วยที่สามารถตัดสินใจได้ด้วยพหุนามเวลา nondeterministic ทัวริงเครื่องจักรที่มีคนยอมรับเส้นทางการคำนวณ นั่นคือวิธีแก้ปัญหาถ้ามีเฉพาะในแง่นี้ มันเป็นความคิดสูงไม่น่าที่ทุก -problems อยู่ในเพราะโดยองอาจ-Vazirani ทฤษฎีบทนี้จะบ่งบอกถึงการล่มสลาย{RP}N P U P P N P = R PUPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} ในทางตรงกันข้ามไม่มีปัญหาเป็นที่รู้จักกันเป็น - เสร็จสมบูรณ์ซึ่งแสดงให้เห็นว่าความต้องการโซลูชั่นที่ไม่ซ้ำกันยังคงทำให้พวกเขาง่ายขึ้นN PUPUP\mathsf{UP}NPNP\mathsf{NP} ฉันกำลังมองหาตัวอย่างซึ่งข้อสันนิษฐานที่ไม่เหมือนใครนำไปสู่อัลกอริทึมที่เร็วกว่า ตัวอย่างเช่นการดูปัญหากราฟสามารถพบกลุ่มสูงสุดในกราฟได้เร็วขึ้น (แม้ว่าอาจจะยังอยู่ในช่วงเวลาเอ็กซ์โปเนนเชียล) ถ้าเรารู้ว่ากราฟมีกลุ่มสูงสุดไม่ซ้ำกันหรือไม่ วิธีการเกี่ยวกับ -colorability, เส้นทาง Hamiltonian ที่ไม่เหมือนใคร, ชุดขั้นต่ำที่ไม่ซ้ำใครเป็นต้นkkk โดยทั่วไปเราสามารถกำหนดรุ่นที่ไม่ซ้ำกันแก้ปัญหาของใด ๆ ปัญหาที่สมบูรณ์ไต่เขาลงไป{UP} เป็นที่ทราบกันหรือไม่ว่ามีผู้ใดบ้างที่เพิ่มข้อสมมติฐานที่เป็นเอกลักษณ์จะนำไปสู่อัลกอริทึมที่เร็วขึ้น? (อนุญาตให้ยังคงเป็นเลขชี้กำลัง)U PNPNP\mathsf{NP}UPUP\mathsf{UP}