New schemes for simplifying binary constraint satisfaction problems - Archive ouverte HAL
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2020

New schemes for simplifying binary constraint satisfaction problems

Résumé

Finding a solution to a Constraint Satisfaction Problem (CSP) is known to be an NP-hard task. This has motivated the multitude of works that have been devoted to developing techniques that simplify CSP instances before or during their resolution. The present work proposes rigidly enforced schemes for simplifying binary CSPs that allow the narrowing of value domains, either via value merging or via value suppression. The proposed schemes can be viewed as parametrized generalizations of two widely studied CSP simplification techniques, namely, value merging and neighbourhood substitutability. Besides, we show that both schemes may be strengthened in order to allow variable elimination, which may result in more significant simplifications. This work contributes also to the theory of tractable CSPs by identifying a new tractable class of binary CSP.
Fichier principal
Vignette du fichier
GVMfinal.pdf (427.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01731250 , version 1 (14-03-2018)
hal-01731250 , version 2 (04-05-2019)
hal-01731250 , version 3 (18-10-2019)
hal-01731250 , version 4 (25-05-2020)

Identifiants

Citer

Wady Naanaa. New schemes for simplifying binary constraint satisfaction problems. Discrete Mathematics and Theoretical Computer Science, 2020, vol. 22 no. 1, ⟨10.23638/DMTCS-22-1-10⟩. ⟨hal-01731250v4⟩
109 Consultations
821 Téléchargements

Altmetric

Partager

More