ฉันสงสัยว่าพวกเขามีวิธีการใด ๆ ในการกำหนดเส้นทางเดินรถ - ปัญหากับ Time-Windows ( VRPTW ) (เป็นปัญหาการตัดสินใจ) ในฐานะอินสแตนซ์ SAT / SMT หรือไม่? (ทางเลือก: TSP)
ตัวอย่างเช่น:
"มีวิธีแก้ไขปัญหาที่ถูกต้องในการเยี่ยมชมลูกค้าทั้งหมดภายในหน้าต่างเวลาของพวกเขาด้วยยานพาหนะ n = 10 หรือไม่"
ปัญหาการตัดสินใจนี้อาจมีประโยชน์สำหรับขั้นตอนแรกที่ลดจำนวนยานพาหนะที่ใช้
ฉันไม่มีประสบการณ์เกี่ยวกับ SMT แต่ฉันคาดหวังว่ามันจะจำเป็นถ้าเราต้องการจัดการพิกัด / ครั้งเป็นตัวเลขจริง
โดยทั่วไปสูตร TSP / VRP ทั้งหมดจะทำในโดเมนการเขียนโปรแกรมแบบผสมจำนวนเต็ม แต่ฉันสงสัยว่าสูตร sat / smt สามารถแข่งขันได้ (ในแง่ของการแก้ปัญหาเวลาในการปฏิบัติ) สำหรับปัญหาการตัดสินใจข้างต้น
ดังนั้นสิ่งที่คุณคิดว่า:
- คุณรู้การอ้างอิงใด ๆ
- คุณคิดว่าวิธีการแบบ sat / smt สามารถแข่งขันได้หรือไม่
- อะไรอีกที่คุณต้องการพูดถึง?
ขอบคุณสำหรับข้อมูลทั้งหมดของคุณ
ซาช่า
แก้ไข : เมื่อฉันกล่าวถึง TSP ว่าเป็นปัญหาที่พบบ่อยใน TCS ซึ่งเกี่ยวข้องกับ VRPTW ฉันควรพูดถึงปัญหาJob Shop Schedulingซึ่งเป็น "ปัญหาบางส่วน" ใน VRPTW บางทีนักวิจัยในสาขานี้ลองอะไรกับ SAT / SMT