Binarisation via Dualisation for Valued Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Binarisation via Dualisation for Valued Constraints

Résumé

Constraint programming is a natural paradigm for many combinatorial optimisation problems. The complexity of constraint satisfaction for various forms of constraints has been widely-studied, both to inform the choice of appropriate algorithms, and to understand better the boundary between polynomial-time complexity and NP-hardness. In constraint programming it is well-known that any constraint satisfaction problem can be converted to an equivalent binary problem using the so-called dual encoding. Using this standard approach any fixed collection of constraints, of arbitrary arity, can be converted to an equivalent set of constraints of arity at most two. Here we show that this transformation, although it changes the domain of the constraints, preserves all the relevant algebraic properties that determine the complexity. Moreover, we show that the dual encoding preserves many of the key algorithmic properties of the original instance. We also show that this remains true for more general valued constraint languages, where constraints may assign different cost values to different assignments. Hence, we obtain a simple proof of the fact that to classify the computational complexity of all valued constraint languages it suffices to classify only binary valued constraint languages.
Fichier principal
Vignette du fichier
cohen_15220.pdf (235.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04079582 , version 1 (24-04-2023)

Identifiants

Citer

David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny. Binarisation via Dualisation for Valued Constraints. 29th AAAI Conference on Artificial Intelligence (AAAI 2015), Association for the Advancement of Artificial Intelligence (AAAI), Jan 2015, Austin, Texas, United States. pp.3731-3723, ⟨10.1609/aaai.v29i1.9749⟩. ⟨hal-04079582⟩
13 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More