Abstract : As Lee and Leung have previously shown this year, weighted constraint satisfaction problems can benefit from the introduction of global cost functions, leading to a new Cost Function Programming paradigm. In this paper, we explore the possibility of decomposing global cost functions in such a way that enforcing soft local consistencies on the decomposition achieves the same level of consistency on the original global cost function. We give conditions under which directional and virtual arc consistency offer such guarantees. We conclude by experiments on decomposable cost functions showing that decompositions may be very useful to easily integrate efficient global cost functions in solvers.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748187
Contributor : Joël Quinqueton
<>
Submitted on : Friday, November 9, 2012 - 5:26:41 PM
Last modification on : Monday, December 23, 2019 - 11:08:08 AM
Long-term archiving on: Sunday, February 10, 2013 - 2:55:08 AM
David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Filtering Decomposable Global Cost Functions. AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada. ⟨lirmm-00748187⟩
