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 bir örnek: engellerden biri değişken katılır ve bu kısıtlama tatmin pahalı bir işlev (örneğin bir simülatör, gibi), örneğin, çağrı içerir sınırlamadır ve f bir pahalı-olduğu hesaplama işlevi. Bu nedenle, x ve y , değiştirilmesi pahalı olan değişkenlerdir.
1
Amaç işlevi CSP'nin nihai değerlerinden bahseder ve arama sürecinin farkında değildir. Dolayısıyla, standart formülasyonlarda, bu değişkenlerdeki değişiklikler CSP modeline maruz kalmaz. Choco gibi bazı çözücüler, arama sürecine rehberlik etmek için buluşsal yöntemler sunar. Bunlardan bazıları kullanıcı tanımlı bile olabilir. Belki de aramanın nasıl yapıldığını değiştirebileceğiniz yer burasıdır.
—
Dave Clarke
Fakat neden amaç işlevi, çözüm bulmanın ne kadar pahalı olduğunu yansıtsın ki? Çözümleri daha sonra sorun alanında ne kadar yararlı olduklarına göre karşılaştırmamalısınız? Yoksa çözüm zamanı gerçek dünya sorununun bir parçası mı?
—
Raphael
Kulağa dağıtılmış kısıtlama memnuniyeti ortamındaymışsınız gibi geliyor ve sezgisel yöntemler arıyormuşsunuz gibi geliyor.
—
Dave Clarke