«constraint-programming» etiketlenmiş sorular

1
SAT vs Constraint Satisfaction ne zaman kullanılır?
Zor bir sorunum varsa, standart bir yaklaşım bunu bir SAT örneği olarak ifade etmek ve üzerinde bir SAT çözücü çalıştırmayı denemektir. Başka bir standart yaklaşım, bunu bir kısıtlama memnuniyeti sorunu olarak ifade etmek ve bir CSP çözücüsü kullanmayı denemektir. İkisi, giriş formatlarında ne tür problemlerin doğal olarak ifade edilebileceği konusunda …

4
Kısıt memnuniyeti problemleri Prolog ile çözülebilir mi?
Mı "parti katılım" sorunların tipi Prolog'da çözülebilir? Örneğin: Dulavratotu Muldoon ve Carlotta Pinkstone, Albus Dumbledore gelirse geleceklerini söylediler. Albus Dumbledore ve Daisy Dodderidge, Carlotta Pinkstone gelirse geleceklerini söylediler. Albus Dumbledore, Burdock Muldoon ve Carlotta Pinkstone Elfrida Clagg gelirse geleceklerini söylediler. Carlotta Pinkstone ve Daisy Dodderidge, Falco Aesalon gelirse geleceklerini söylediler. …

1
Kısıt Programlama'da, değişken değişikliklerin sayısını dikkate alan modeller var mı?
Belirli bir değişkenin değerini değiştirmenin pahalı olduğu bir CSP modelini düşünün. Arama işlemi sırasında objektif fonksiyonun değişkenin değerindeki değişiklik sayısını da dikkate aldığı herhangi bir çalışma var mı? Bir örnek: Değiştirilmesi pahalı değişken, başka bir ajanın kontrolünde olabilir ve bu ajanın değişkeni değiştirmek için dahil edilmesinin bir yükü vardır. Başka …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.