Consistency in General CSPs

In this paper, we introduce a new form of consistency in general constraint satisfaction problems (CSPs), called ω-pairwise-consistency which can be applied to both binary and non-binary constraints. Enforcing ω-pairwise-consistency in a CSP simplifies the problem representation by removing those tuples from the given constraints that will not participate in any solution. Typical CSP solving algorithms can then solve the simplified CSP more efficiently. We show that ω-pairwise-consistency is stronger than some other forms of consistency reported in the literature. We also present an algorithm for achieving ω-pairwise-consistency.

[1]  S. Goodwin,et al.  Constraint-directed Backtracking Algorithm for Constraint-satisfaction Problems Constraint-directed Backtracking Algorithm for Constraint-satisfaction Problems , 1996 .

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

[3]  Marc Gyssens.  On the complexity of join dependencies , 1986, TODS.

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

[5]  Rina Dechter,et al.  Tree Clustering for Constraint Networks , 1989, Artif. Intell..

[6]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

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

[8]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[9]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[10]  Catriel Beeri,et al.  On the Desirability of Acyclic Database Schemes , 1983, JACM.

[11]  Chia-Hoang Lee,et al.  Comments on Mohr and Henderson's Path Consistency Algorithm , 1988, Artif. Intell..

[12]  Pang,et al.  A new synthesis algorithm for solving CSPsWanlin , 1996 .

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

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

[15]  Martin C. Cooper.  An Optimal k-Consistency Algorithm , 1989, Artif. Intell..

[16]  Wanlin Pang,et al.  Constraint structure in constraint satisfaction problems , 1998 .

[17]  Peter van Beek,et al.  Local and Global Relational Consistency , 1995, Theor. Comput. Sci..

[18]  Philippe Jégou,et al.  On the Consistency of General Constraint-Satisfaction Problems , 1993, AAAI.