Computer Science and Engineering, Department of
First Advisor
Berthe Y. Choueiry
Date of this Version
12-2016
Document Type
Article
Citation
Christopher G Reeson. On Path Consistency For Binary Constraint Satisfaction Problems (master's thesis). 2016.
Abstract
Constraint satisfaction problems (CSPs) provide a flexible and powerful framework for modeling and solving many decision problems of practical importance. Consistency properties and the algorithms for enforcing them on a problem instance are at the heart of Constraint Processing and best distinguish this area from other areas concerned with the same combinatorial problems. In this thesis, we study path consistency (PC) and investigate several algorithms for enforcing it on binary finite CSPs. We also study algorithms for enforcing consistency properties that are related to PC but are stronger or weaker than PC.
We identify and correct errors in the literature and settle an open question. We propose two improvements that we apply to the well-known algorithms PC-8 and PC-2001, yielding PC-8+ and PC-2001+. Further, we propose a new algorithm for enforcing partial path consistency, σ-∆-PPC, which generalizes features of the well-known algorithms DPC and PPC. We evaluate over fifteen different algorithms on both benchmark and randomly generated binary problems to empirically demonstrate the effectiveness of our approach.
Adviser: Berthe Y. Choueiry
Comments
A THESIS Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements for the Degree of Master of Science, Major: Computer Science, Under the Supervision of Professor Berthe Y. Choueiry, Lincoln, Nebraska: December, 2016