saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP)
Misalnya:
"Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n = 10 kendaraan?"
Masalah keputusan ini bisa bermanfaat untuk langkah pertama meminimalkan jumlah kendaraan yang digunakan.
Saya tidak punya pengalaman dengan SMT, tetapi saya berharap itu perlu jika kita ingin menangani koordinat / kali sebagai bilangan real.
Biasanya semua formulasi TSP / VRP dilakukan dalam domain mixed-integer-programming, tetapi saya bertanya-tanya apakah formulasi sat / smt dapat bersaing (dalam hal memecahkan waktu dalam praktek) untuk masalah keputusan di atas.
Jadi apa yang Anda pikirkan:
- apakah Anda tahu referensi?
- Menurut Anda apakah pendekatan sat / smt bisa kompetitif?
- ada lagi yang ingin Anda sebutkan?
Terima kasih atas semua masukan Anda.
Sascha
Sunting : Seperti yang saya sebutkan TSP sebagai masalah yang lebih umum di TCS yang terkait dengan VRPTW, saya juga harus menyebutkan masalah Penjadwalan Job Shop , yang merupakan "masalah parsial" lainnya di VRPTW. Mungkin para peneliti di bidang ini mencoba sesuatu dengan SAT / SMT.