Directed arc consistency preprocessing

Abstract

A constraint satisfaction problem (CSP) may be overconstrained and not admit a complete solution. Optimal solutions to such partial constraint satisfaction problems (PCSPs), in which a maximum number of constraints are satisfied, can be found using branch and bound variants of CSP algorithms. Earlier work has shown how information gained through local consistency checking during preprocessing can be used to enhance search through value ordering heuristics and local lower bound calculations that involve only neighboring variables. The present work describes a family of strategies based on directed arc consistency testing during preprocessing. With this approach inconsistency counts associated with each value (the number of domains that offer no support for that value) are obtained that are non-redundant, since they are unidirectional. They can, therefore, be used to obtain global lower bounds that involve the entire set of variables. By computing directed arc consistency in each direction, full arc- inconsistency counts can also be obtained, thus retaining the benefits of full arc consistency checking, while improving lower bound calculations. Retrospective and prospective algorithms that incorporate the results of directed arc consistency checking are described. Tests with random problems show improvements, sometimes marked, over the best branch and bound PCSP algorithms heretofore described.