Filtering Decomposable Global Cost Functions

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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

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

File

aaai12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00748187, version 1

Citation

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⟩

Share

Metrics

Record views

477

Files downloads

429