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 metadatas

Cited literature [103 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02295985
Contributor : Abes Star <>
Submitted on : Tuesday, September 24, 2019 - 4:33:13 PM
Last modification on : Wednesday, September 25, 2019 - 9:35:30 AM

File

WOODWARD_2018_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02295985, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

68

Files downloads

11