ใช่มีการทำงานมากมายตั้งแต่ Cheeseman, Kanefsky และ Taylor ในปี 1991
ค้นหาความคิดเห็นเกี่ยวกับการเปลี่ยนเฟสของปัญหา NP-Complete จะให้ผลลัพธ์มากมาย หนึ่งรีวิวดังกล่าวคืออาร์ตมันน์และไวต์ท์ [1] สำหรับการแนะนำระดับที่สูงขึ้นโปรดดูบทความนักวิทยาศาสตร์อเมริกัน Brian Hayes [2] [3]
Cheesemen, Kanefsky และ Taylor 's 1991 เอกสารเป็นกรณีที่โชคร้ายของนักวิทยาศาสตร์คอมพิวเตอร์ที่ไม่ให้ความสนใจกับวรรณคดีคณิตศาสตร์ ใน Cheeseman กระดาษของ Kanefsky และ Taylor พวกเขาระบุวงจร Hamiltonian ว่ามีการเปลี่ยนแปลงเฟสด้วยค่าใช้จ่ายในการค้นหาที่ใกล้กับค่าวิกฤต รูปแบบกราฟแบบสุ่มที่ใช้คือกราฟสุ่ม Erdos-Renyi (ความน่าจะเป็นขอบคงที่หรือการแจกแจงระดับเกาส์เทียบเท่า) กรณีนี้ได้รับการศึกษามาอย่างดีก่อนที่ Cheeseman และทุกคนในปีพ. ศ. 2534 ที่รู้จักกันดีว่าอัลกอริธึมเวลาเชิงพหุนามสำหรับกราฟของคลาสนี้แม้ในหรือใกล้ถึงจุดวิกฤติ "กราฟสุ่ม" ของ Bollobas [4] เป็นข้อมูลอ้างอิงที่ดี หลักฐานดั้งเดิมที่ฉันเชื่อว่าถูกนำเสนอโดย Angliun และ Valiant [5] พร้อมการปรับปรุงเพิ่มเติมโดย Bollobas, Fenner และ Frieze [6] หลังจาก Cheeseman
การเปลี่ยนเฟสสำหรับวงจร Hamiltonian ในกราฟสุ่ม Erdos-Renyi มีอยู่ในแง่ที่ว่ามีการเปลี่ยนแปลงอย่างรวดเร็วของความน่าจะเป็นในการหาวิธีแก้ปัญหา แต่สิ่งนี้ไม่ได้แปลเป็นการเพิ่มความซับซ้อนของ มีอัลกอริธึมเวลาเชิงพหุนามว่าเกือบจะหาวัฏจักรแฮมิลตันในกราฟสุ่มของ Erdos-Renyi แม้ในช่วงการเปลี่ยนภาพที่สำคัญทั้งในทางทฤษฎีและในทางปฏิบัติ
การสำรวจเผยแผ่ [8] ประสบความสำเร็จในการหาตัวอย่างที่น่าพอใจสำหรับการสุ่ม 3-SAT ใกล้กับจุดวิกฤติ ความรู้ในปัจจุบันของฉันมีสนิมเล็กน้อยดังนั้นฉันไม่แน่ใจว่ามีความคืบหน้าในการค้นหาอัลกอริธึมที่มีประสิทธิภาพสำหรับกรณีที่ไม่น่าพอใจใกล้กับจุดวิกฤติหรือไม่ 3-SAT เท่าที่ฉันรู้เป็นหนึ่งในกรณีที่ "ง่าย" ในการแก้ปัญหาถ้าเป็นที่น่าพอใจและใกล้ถึงจุดวิกฤติ แต่ไม่ทราบ (หรือยาก?) ในกรณีที่ไม่น่าพอใจใกล้กับจุดวิกฤติ
ความรู้ของฉันค่อนข้างล้าสมัยไปแล้ว แต่ครั้งสุดท้ายที่ฉันดูเรื่องนี้ในเชิงลึกมีบางสิ่งที่โดดเด่นสำหรับฉัน:
- Hamiltonian Cycle เป็น "ง่าย" สำหรับกราฟสุ่ม Erdos-Renyi ปัญหายากอยู่ที่ไหน
- การแบ่งพาร์ติชั่นควรจะสามารถแก้ไขได้เมื่ออยู่ไกลมากในความน่าจะเป็น 0 หรือ 1 แต่ไม่มีอัลกอริธึมที่มีประสิทธิภาพ (สำหรับความรู้ของฉัน) สำหรับขนาดอินสแตนซ์ปานกลาง (1,000 จำนวน 500 บิตแต่ละบิต ขั้นตอนวิธีการที่ทันสมัย) [9] [10]
- 3-SAT นั้น "ง่าย" สำหรับอินสแตนซ์ที่น่าพอใจซึ่งอยู่ใกล้กับขีด จำกัด วิกฤตแม้กระทั่งขนาดอินสแตนซ์ขนาดใหญ่ (ตัวแปรนับล้าน) แต่ยากสำหรับอินสแตนซ์ที่ไม่น่าพอใจใกล้กับจุดวิกฤติ
ฉันลังเลที่จะรวมไว้ที่นี่เพราะฉันยังไม่ได้เผยแพร่เอกสารที่ผ่านการตรวจสอบจากเพื่อน แต่ฉันเขียนวิทยานิพนธ์ของฉันในเรื่อง แนวคิดหลักคือคลาสที่เป็นไปได้ของการสุ่มตระการตา (วงจรมิลโตเนียน, ปัญหาจำนวนพาร์ติชัน, ฯลฯ ) ที่มี "ความแข็งภายใน" เป็นสิ่งที่มีคุณสมบัติ การแจกแจงที่เสถียรเป็นหนึ่งในการแจกแจงที่เป็นธรรมชาติมากขึ้นด้วยคุณภาพนี้การมีกฏของกฏพลังงานและสามารถเลือกอินสแตนซ์สุ่มจาก NP-Complete ตระการตา ฉันให้หลักฐานที่อ่อนแอว่าสามารถพบอินสแตนซ์วัฏจักรของ Hamiltonian Cycle ได้ยากหากเลือกกราฟสุ่มที่มีการแจกแจงระดับ Levy-เสถียรแทนการแจกแจงแบบปกติ ถ้าไม่มีอะไรอย่างน้อยก็จะให้จุดเริ่มต้นสำหรับการทบทวนวรรณกรรม
[1] AK Hartmann และ M. Weigt การเปลี่ยนเฟสในปัญหาการหาค่าเหมาะที่สุดสำหรับ Combinatorial: พื้นฐาน, อัลกอริทึมและกลศาสตร์เชิงสถิติ Wiley-VCH, 2005
[2] บีเฮย์ส ปัญหาที่ยากที่สุดที่ง่ายที่สุด นักวิทยาศาสตร์อเมริกัน 90 (2), 2002
[3] บีเฮย์ส บนธรณีประตู นักวิทยาศาสตร์อเมริกัน 91 (1), 2003
[4] B. Bollobás กราฟสุ่มรุ่นที่สอง สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์นิวยอร์ก 2544
[5] D. Angluin และ LG Valiant อัลกอริธึมอย่างรวดเร็วสำหรับวงจรแฮมิลตันและการจับคู่ J. คอมพิวเตอร์ Syst วิทย์, 18: 155–193, 1979
[6] B. Bollobás, TI Fenner และ AM Frieze อัลกอริทึมสำหรับการค้นหาเส้นทางแฮมิลตันและรอบในกราฟสุ่ม Combinatorica, 7: 327–341, 1987
[7] B. Vandegriend และ J. Culberson การเปลี่ยนเฟส G n, m ไม่ยากสำหรับปัญหาวัฏจักรของมิลโตเนียน J. ของการวิจัย AI, 9: 219-245, 1998
[8] A. Braunstein, M. Mézardและ R. Zecchina การเผยแพร่การสำรวจ: อัลกอริทึมสำหรับความพึงพอใจ โครงสร้างและอัลกอริธึมแบบสุ่ม, 27: 201–226, 2005
[9] I. Gent และ T. Walsh การวิเคราะห์ฮิวริสติกสำหรับการแบ่งหมายเลข หน่วยสืบราชการลับการคำนวณ, 14: 430–451, 1998
[10] CP Schnorr และ M. Euchner การลดพื้นฐาน Lattice: ปรับปรุงอัลกอริธึมเชิงปฏิบัติและแก้ไขปัญหาผลรวมย่อย ในการดำเนินการขั้นพื้นฐานของทฤษฎีการคำนวณ '91, L. Budach, ed., บันทึกการบรรยายในวิทยาการคอมพิวเตอร์, เล่ม 529, หน้า 68–85, 1991