2-C3: From Arc-Consistency to 2-Consistency

Arc consistency algorithms are widely used to prune the search space of Constraint Satisfaction Problems (CSPs). Since many researchers associate arc consistency with binary normalized CSPs, there is a confusion between the notion of arc consistency and 2-consistency. 2-consistency guarantees that any instantiation of a value to a variable can be consistently extended to any second variable. Thus, 2-consistency can be stronger than arc-consistency in binary CSPs. In this paper, we present a new algorithm, called 2-C3, which achieves 2-consistency in binary and non-normalized CSPs. This algorithm is a reformulation of the well-known AC3 algorithm. The evaluation section shows that 2-C3 is able to prune more search space than AC3 and AC4.

[1]  Yishai A. Feldman,et al.  Portability by automatic translation: a large-scale case study , 1999 .

[2]  A. Sapozhnikov,et al.  The expected value and the variance of the checks required by revision algorithms , 2008 .

[3]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[4]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[5]  Christian Bessiere,et al.  Arc-Consistency and Arc-Consistency Again , 1993, Artif. Intell..

[6]  Roland H. C. Yap,et al.  An optimal coarse-grained arc consistency algorithm , 2005, Artif. Intell..

[7]  Christian Bessiere,et al.  Constraint Propagation , 2006, Handbook of Constraint Programming.

[8]  Christian Bessiere,et al.  Using Constraint Metaknowledge to Reduce Arc Consistency Computation , 1999, Artif. Intell..

[9]  Zsófia Ruttkay,et al.  Constraint satisfaction---a survey , 1998 .

[10]  Mark W. Perlin,et al.  Arc consistency for factorable relations , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[11]  Roman Barták,et al.  Theory and Practice of Constraint Propagation , 2001 .

[12]  Roman Barták,et al.  Constraint Programming: In Pursuit of the Holy Grail , 1999 .

[13]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[14]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[15]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[16]  Philippe Jégou,et al.  Efficient Path-Consistency Propagation , 1998, Int. J. Artif. Intell. Tools.

[17]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.