Skip to Main content Skip to Navigation

Higher-Level Consistencies : When, Where, and How Much

Robert J. Woodward 1 
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Determining whether or not a Constraint Satisfaction Problem (CSP) has a solution is NP-complete. CSPs are solved by inference (i.e., enforcing consistency), conditioning (i.e., doing search), or, more commonly, by interleaving the two mechanisms. The most common consistency property enforced during search is Generalized Arc Consistency (GAC). In recent years, new algorithms that enforceconsistency properties stronger than GAC have been proposed and shown to be necessary to solve difficult problem instances.We frame the question of balancing the cost and the pruning effectiveness of consistency algorithms as the question of determining where, when, and how much of a higher-level consistency to enforce during search. To answer the ‘where’ question, we exploit the topological structure of a problem instance and target high-level consistency where cycle structures appear. To answer the ‘when’ question, we propose a simple, reactive, and effective strategy that monitors the performance of backtrack search and triggers a higher-level consistency as search thrashes. Lastly, for the question of ‘how much,’ we monitor the amount of updates caused by propagation and interrupt the process before it reaches a fixpoint. Empirical evaluations on benchmark problems demonstrate the effectiveness of our strategies.
Complete list of metadata

Cited literature [103 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Tuesday, September 24, 2019 - 4:33:13 PM
Last modification on : Friday, June 17, 2022 - 10:32:18 PM
Long-term archiving on: : Sunday, February 9, 2020 - 3:10:39 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02295985, version 1



Robert J. Woodward. Higher-Level Consistencies : When, Where, and How Much. Data Structures and Algorithms [cs.DS]. Université Montpellier; University of Nebraska-Lincoln, 2018. English. ⟨NNT : 2018MONTS145⟩. ⟨tel-02295985⟩



Record views


Files downloads