мені цікаво, чи є якісь підходи, що формулюють проблему маршрутизації транспортного засобу з Time-Windows ( VRPTW ) (як проблему рішення) як екземпляр SAT / SMT? (альтернатива: TSP)
Наприклад:
"Чи є дійсне рішення, яке відвідує всіх клієнтів протягом своїх вікон із n = 10 транспортними засобами?"
Ця проблема рішення може бути корисною для першого кроку до мінімізації кількості використовуваних транспортних засобів.
У мене немає досвіду роботи з SMT, але я думаю, що це буде необхідно, якщо ми хочемо обробляти координати / рази як реальні числа.
Зазвичай всі формулювання TSP / VRP виконуються в області змішаного цілого цілого програмування, але мені цікаво, чи може формулювання sat / smt бути конкурентоспроможною (з точки зору вирішення часу на практиці) для вищезазначеної проблеми рішення.
Так що ж ви думаєте:
- чи знаєте ви якісь посилання?
- чи вважаєте ви, що підхід sat / smt може бути конкурентоспроможним?
- що-небудь ще хочете згадати?
Дякуємо за весь ваш внесок.
Сашко
Редагувати : Як я згадував TSP як більш поширену проблему в TCS, яка пов'язана з VRPTW, я також повинен зазначити проблему планування роботи робочих місць , яка є іншою "частковою проблемою" в VRPTW. Можливо, дослідники в цій галузі щось спробували з SAT / SMT.