Computer Science and Engineering, Department of
First Advisor
Berthe Y. Choueiry
Second Advisor
Christian Bessiere
Date of this Version
9-2018
Document Type
Article
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 enforce consistency 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.
Adviser: B.Y. Choueiry and C. Bessiere
Comments
A DISSERTATION Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements For the Degree of Doctor of Philosophy, Major: Computer Science, Under the Supervision of Professor Berthe Y. Choueiry and Dr. Christian Bessiere. Lincoln, Nebraska: September, 2018.
Copyright (c) 2018 Robert J. Woodward