Weighted constraint satisfaction problem: Difference between revisions

Revision as of 10:51, 3 February 2013

Revision as of 10:52, 3 February 2013

Line 26:

* Extend : cost transfer from unary constraint to constraint

[[Fichier:fr:TransfertsWCSP.pdf|thumb|alt=Basic Equivalence Preserving Transformations|upright=5|center|Basic Equivalence Preserving Transformations.]]

The goal of Equivalence Preserving Transformations is to concentrate costs on the nullary constraint <math>c_{\empty}</math> and remove efficiently instantiations and values with a cost, additionned to <math>c_{\empty}</math>, that is greater or equal than the forbidden cost or the cost of the best solution found