Kısıt programlamada bir kısıtlama ekleme
Bir kısıt programlama çözücüsüne kısıtlamayı ne kadar çok eklersek, o kadar verimli olacağı doğru mu? Bu, tamsayı programlama çözüm araçlarına kısıt eklemeyle nasıl karşılaştırılır?
Yanıtlar
Bu pratikte doğru değil. Üstelik bu, denemeden tahmin edilmesi neredeyse imkansız bir şey. Nitekim, kısıt programlama teknikleri veya tamsayı programlama teknikleri ile çözülen matematiksel bir optimizasyon modeline kısıtlamalar eklemek (matematiksel olarak geçerli olduğu kanıtlanmıştır veya sadece sizin yetenekleriniz ve iş duygunuzla tahmin edilmiştir), numaralandırma ağacının bazı dallarını kesmek için iyi olmalıdır. (yani, kısmi çözümlerin numaralandırılması), kısıtların yayılmasını ve / veya sürekli gevşemeyi geliştirerek. Öte yandan, kısıt programlama çözüm araçları ve tamsayı programlama çözüm araçları artık birçok sezgisel bileşene güveniyor; kısıtlamalar eklemek bu buluşsal yöntemler için kötü olabilir. Sonuç olarak, bazen bu iyidir, bazen değildir ;-) Çözmeniz gereken durumlar üzerinde deneyler yapmak için zaman ayırın.