Improving GAC-4 for Table and MDD Constraints

Guillaume Perez 1, * Jean-Charles Régin 1
* Auteur correspondant
Abstract : We introduce GAC-4R, MDD-4, and MDD-4R three new algorithms for maintaining arc consistency for table and MDD constraints. GAC-4R improves the well-known GAC-4 algorithm by managing the internal data structures in a different way. Instead of maintaining the internal data structures only by studying the consequences of deletions, we propose to reset the data structures by recomputing them from scratch whenever it saves time. This idea avoids the major drawback of the GAC-4 algorithm, i.e., its cost at a shallow search-tree depth. We also show that this idea can be exploited in MDD constraints. Experiments show that GAC-4R is competitive with the best arc-consistency algorithms for table constraints, and that MDD-4R clearly outperforms all classical algorithms for table or MDD constraints.
Type de document :
Communication dans un congrès
CP 2014, Sep 2014, Lyon, France. Principles and Practice of Constraint Programming - 20th International Conference, 2014, Lyon, France, September 8-12, 2014. Proceedings, 2014, <10.1007/978-3-319-10428-7_44>


https://hal.archives-ouvertes.fr/hal-01344079
Contributeur : Jean-Charles Regin <>
Soumis le : lundi 11 juillet 2016 - 12:28:27
Dernière modification le : mardi 19 juillet 2016 - 01:04:43
Document(s) archivé(s) le : mercredi 12 octobre 2016 - 12:17:33

Fichier

ac4mdd.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Perez, Jean-Charles Régin. Improving GAC-4 for Table and MDD Constraints. CP 2014, Sep 2014, Lyon, France. Principles and Practice of Constraint Programming - 20th International Conference, 2014, Lyon, France, September 8-12, 2014. Proceedings, 2014, <10.1007/978-3-319-10428-7_44>. <hal-01344079>

Partager

Métriques

Consultations de
la notice

14

Téléchargements du document

23