โดยทั่วไปนี่เป็นคำถามวิจัยที่เกี่ยวข้องและน่าสนใจมาก "วิธีหนึ่งคือใช้เครื่องมือแก้ปัญหาที่มีอยู่ ... " และนี่จะบอกอะไรเราได้บ้าง? เราสามารถเห็นสังเกตุว่าอินสแตนซ์นั้นยากสำหรับนักแก้ปัญหาเฉพาะหรืออัลกอริทึม / ฮิวริสติกที่เฉพาะเจาะจง แต่มันบอกอะไรเกี่ยวกับความแข็งของอินสแตนซ์?
วิธีหนึ่งที่ถูกติดตามคือการระบุคุณสมบัติโครงสร้างต่าง ๆ ของอินสแตนซ์ที่นำไปสู่อัลกอริทึมที่มีประสิทธิภาพ คุณสมบัติเหล่านี้ต้องการให้ระบุได้อย่างง่ายดาย ตัวอย่างคือโทโพโลยีของกราฟข้อ จำกัด พื้นฐานซึ่งวัดโดยใช้พารามิเตอร์ความกว้างกราฟต่างๆ ตัวอย่างเช่นเป็นที่ทราบกันว่าอินสแตนซ์นั้นสามารถแก้ไขได้ในเวลาพหุนามหากความกังวลของกราฟข้อ จำกัด ที่ จำกัด นั้นถูก จำกัด ด้วยค่าคงที่
อีกวิธีหนึ่งได้มุ่งเน้นไปที่บทบาทของโครงสร้างที่ซ่อนอยู่ของอินสแตนซ์ ตัวอย่างหนึ่งคือชุดแบ็คดอร์ซึ่งหมายถึงชุดของตัวแปรเช่นว่าเมื่อพวกมันถูกสร้างอินสแตนซ์ปัญหาที่เหลืออยู่จะลดความซับซ้อนลงไปในคลาสที่ใช้การได้ ตัวอย่างเช่นWilliams et al., 2003 [1] แสดงให้เห็นว่าแม้เมื่อคำนึงถึงค่าใช้จ่ายในการค้นหาตัวแปรแบ็คดอร์ก็ยังสามารถได้รับประโยชน์จากการคำนวณโดยรวมโดยมุ่งเน้นไปที่ชุดแบ็คดอร์ นอกจากนี้Dilkina et al., 2007 [2] โปรดทราบว่านักแก้ปัญหาที่เรียกว่าSatz-Randนั้นดีมากในการค้นหาแบ็กเน็ตขนาดเล็กที่แข็งแกร่งในช่วงของโดเมนทดลอง
อีกไม่นานAnsotegui et al., 2008 [3] เสนอการใช้พื้นที่ที่มีลักษณะคล้ายต้นไม้เป็นตัวชี้วัดสำหรับนักแก้ปัญหาที่ใช้ DPLL พวกเขาพิสูจน์ว่าพื้นที่ที่มีขอบเขตคงที่แสดงถึงการมีอยู่ของอัลกอริทึมการตัดสินใจเวลาแบบพหุนามกับพื้นที่ซึ่งเป็นระดับของพหุนาม (ทฤษฎีบท 6 ในบทความ) ยิ่งไปกว่านั้นพวกมันยังแสดงพื้นที่ที่เล็กกว่าขนาดของวงจรการตัด ในความเป็นจริงภายใต้สมมติฐานบางพื้นที่ก็มีขนาดเล็กกว่าขนาดของแบ็คดอร์
พวกเขายังทำเป็นระเบียบในสิ่งที่ฉันคิดว่าคุณเป็นหลังจากนั้นคือ:
ψΓO ( nψ ( Γ ))
[1] วิลเลียมส์ไรอันคาร์ล่าพี. โกเมสและบาร์ตเซลแมน "เปลี่ยนไปใช้ความซับซ้อนของกรณีทั่วไป" การประชุมร่วมระหว่างประเทศเกี่ยวกับปัญญาประดิษฐ์ ฉบับ 18, 2003
[2] Dilkina, Bistra, Carla Gomes และ Ashish Sabharwal "การแลกเปลี่ยนในความซับซ้อนของการตรวจจับแบ็คดอร์" หลักการและการปฏิบัติในการโปรแกรม จำกัด (CP 2007), pp. 256-270, 2007
[3] Ansótegui, Carlos, Maria Luisa Bonet, Jordi Levy และ Felip Manya "การวัดความแข็งของอินสแตนซ์ SAT" ในการประชุมวิชาการปัญญาประดิษฐ์แห่งชาติครั้งที่ 23 (AAAI'08), หน้า 222-228, 2551