คำถามติดแท็ก heuristics

รับตัวอย่างของ SAT ฉันต้องการประเมินความยากลำบากในการแก้ไขอินสแตนซ์ วิธีหนึ่งคือการเรียกใช้ตัวแก้ปัญหาที่มีอยู่ แต่ความพ่ายแพ้แบบนั้นมีจุดประสงค์เพื่อประเมินความยากลำบาก วิธีที่สองอาจจะดูอัตราส่วนของอนุประโยคต่อตัวแปรตามที่ทำสำหรับการเปลี่ยนเฟสในการสุ่ม-SAT แต่ฉันแน่ใจว่ามีวิธีที่ดีกว่า มีตัวอย่างของ SAT แล้วจะมีวิธีแก้ปัญหาแบบเร็วในการวัดความยากลำบากหรือไม่? เงื่อนไขเดียวก็คือว่าฮิวริสติกเหล่านี้จะเร็วกว่าการเรียกใช้ตัวแก้ SAT ที่มีอยู่จริงบนอินสแตนซ์ คำถามที่เกี่ยวข้อง ปัญหา SAT ใดที่ง่าย? บน cstheory.SE คำถามนี้ถามเกี่ยวกับชุดอินสแตนซ์ที่หาได้ นี่เป็นคำถามที่คล้ายกัน แต่ไม่เหมือนกันทั้งหมด ฉันสนใจฮิวริสติกที่ให้อินสแตนซ์เดียวทำให้เดากึ่งอัจฉริยะว่าถ้าอินสแตนซ์นั้นยากที่จะแก้ไข

28 complexity-theory  satisfiability  heuristics 

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

18 heuristics  sat-solvers  constraint-programming 

เมื่อใช้ A * (หรืออัลกอริทึมการค้นหาเส้นทางที่ดีที่สุดอื่น ๆ ) เราบอกว่าการฮิวริสติกที่ใช้ควรยอมรับได้นั่นคือไม่ควรประเมินค่าความยาวของเส้นทางการแก้ปัญหาที่แท้จริง (หรือย้าย) ฮิวริสติกที่ยอมรับได้ช่วยให้มั่นใจได้ว่าเป็นทางออกที่ดีที่สุดได้อย่างไร ฉันกำลังมองหาคำอธิบายที่ใช้งานง่าย หากคุณต้องการคุณสามารถอธิบายการใช้ฮิวริสติกระยะทางแบบแมนฮัตตันของปริศนา 8 ตัว

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

ฉันได้ทำการทดสอบอุณหภูมิเริ่มต้นที่แตกต่างกันในขั้นตอนวิธีการอบแบบจำลองและสังเกตว่าอุณหภูมิเริ่มต้นมีผลต่อประสิทธิภาพของอัลกอริทึม มีวิธีการคำนวณอุณหภูมิเริ่มต้นที่ดีหรือไม่?

14 optimization  artificial-intelligence  heuristics 

ฟังก์ชันการแก้ปัญหาคือ ...h(n)h(n)h (n) สอดคล้องกันถ้าค่าใช้จ่ายโดยประมาณจากโหนดถึงเป้าหมายนั้นไม่สูงกว่าต้นทุนขั้นตอนจนถึงตัวตายตัวแทนบวกกับต้นทุนโดยประมาณจากตัวตายตัวแทนไปยังเป้าหมายnnnn′n′n' ยอมรับได้ถ้าไม่เคยประเมินค่าใช้จ่ายที่แท้จริงกับสถานะเป้าหมายh(n)h(n)h(n) ตำราเรียนสำหรับหลักสูตรปัญญาประดิษฐ์ของฉันระบุว่าความมั่นคงแข็งแกร่งกว่าการยอมรับได้ แต่ไม่ได้พิสูจน์และฉันมีปัญหาในการหาคำอธิบายทางคณิตศาสตร์

13 algorithms  shortest-path  heuristics