Elsevier

Artificial Intelligence

Volume 107, Issue 1, January 1999, Pages 149-163
Artificial Intelligence

Research note
Maintaining reversible DAC for Max-CSP

https://doi.org/10.1016/S0004-3702(98)00108-8Get rights and content
Under an Elsevier user license
open archive

Abstract

We introduce an exact algorithm for maximizing the number of satisfied constraints in an overconstrained CSP (Max-CSP). The algorithm, which can also solve weighted CSP, probabilistic CSP and other similar problems, is based on directed arc-inconsistency counts (DAC). The usage of DAC increases the lower bound of branch and bound based algorithms for Max-CSP, improving their efficiency. Originally, DAC were defined following a static variable ordering. In this paper, we relax this condition, showing how DAC can be defined from a directed constraint graph. These new graph-based DAC can be effectively used for lower bound computation. Interestingly, any directed constraint graph of the considered problem is suitable for DAC computation, so the selected graph can change dynamically during search, aiming at optimizing the exploitation of directed arc-inconsistencies. In addition, directed arc-inconsistencies are maintained during search, propagating the effect of value pruning. With these new elements we present the PFC maintaining reversible DAC algorithm (PFC-MRDAC), a natural successor of PFC-DAC for Max-CSP. We provide experimental evidence for the superiority of PFC-MRDAC on random and real overconstrained CSP instances, including problems with weighted constraints.

Keywords

Maximal/partial constraint satisfaction
Branch and bound
Partial forward checking
Directed arc-consistency

Cited by (0)