1
เมื่อใดที่จะใช้ SAT vs ข้อพึงพอใจข้อ จำกัด ?
หากฉันมีปัญหาหนักวิธีมาตรฐานหนึ่งคือแสดงว่าเป็นอินสแตนซ์ SAT และลองใช้ตัวแก้ SAT แนวทางมาตรฐานอื่นคือแสดงว่าเป็นปัญหาความพึงพอใจของข้อ จำกัด และลองใช้ตัวแก้ CSP ทั้งสองรู้สึกคล้ายกันอย่างคลุมเครือในสิ่งที่ประเภทของปัญหาที่สามารถแสดงออกตามธรรมชาติในรูปแบบการป้อนข้อมูลของพวกเขา มีแนวทางหรือกฎง่ายๆสำหรับวิธีการรับรู้สำหรับปัญหาที่กำหนดวิธีการใดที่มีแนวโน้มที่จะให้ผลลัพธ์ที่ดี? มีคำแนะนำใด ๆ ที่ทุกคนสามารถเสนอเกี่ยวกับปัญหาประเภทใดบ้างที่สามารถจัดการได้ดีกว่าโดยนักแก้ปัญหา SAT มากกว่าโดยนักแก้ปัญหา CSP หรือในทางกลับกัน? (เห็นได้ชัดว่ามีปัญหาง่าย ๆ บางอย่างที่สามารถแก้ไขได้โดยทั้งสองวิธีนอกจากนี้ยังมีปัญหาบางอย่างที่ไม่สามารถแก้ไขได้อย่างเป็นประโยชน์โดยวิธีใดวิธีหนึ่งลองแยกกันกรณีที่แนวทางที่เป็นประโยชน์ที่สุดคือปัญหาที่ SAT อย่างใดอย่างหนึ่ง ตัวแก้ปัญหาทำงานได้ดีกว่าตัวแก้ CSP หรือที่ตัวแก้ CSP ทำงานได้ดีกว่าตัวแก้ SAT ฉันจะจำได้อย่างไรเมื่อตัวแก้ SAT น่าจะพอดีดีกว่าตัวแก้ CSP หรือเมื่อตัวแก้ CSP มีแนวโน้มที่จะดีกว่า ตัวแก้ SAT - คือวิธีใดที่จะลองก่อน)