Structural Consistency: A New Filtering Approach for Constraint Networks
- 695 Downloads
In this paper, we introduce a new partial consistency for constraint networks which is called Structural Consistency of level w and is denoted w-SC consistency. This consistency is based on a new approach. While conventional consistencies generally rely on local properties extended to the entire network, this new partial consistency considers global consistency on subproblems. These subproblems are defined by partial constraint graphs whose tree-width is bounded by a constant w. We introduce a filtering algorithm which achieves w-SC consistency. We also analyze w-SC filtering w.r.t. other classical local consistencies to prove that this consistency is generally incomparable although this consistency can be regarded as a special case of inverse consistency. Finally, we present experimental results to assess the usefulness of this approach. We show that w-SC is a significantly more powerful level of filtering and more effective w.r.t. the runtime than SAC and that w-SC is a complementary approach to AC or SAC. So we can offer a combination of filterings, whose power is greater than w-SC or SAC.
KeywordsSpace Complexity Constraint Satisfaction Problem Constraint Network Random Instance Constraint Graph
Unable to display preview. Download preview PDF.
- 1.Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier (2006)Google Scholar
- 2.Bessiere, C.: Constraint Propagation. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 3, pp. 29–83. Elsevier (2006)Google Scholar
- 5.Freuder, E., Elfe, C.D.: Neighborhood inverse consistency preprocessing. In: Proceedings of AAAI, pp. 202–208 (1996)Google Scholar
- 10.Bessière, C., Debruyne, R.: Optimal and suboptimal singleton arc consistency algorithms. In: Proceedings of IJCAI, pp. 54–59 (2005)Google Scholar
- 11.Gottlob, G., Leone, N., Scarcello, F.: A Comparison of Structural CSP Decomposition Methods. Artificial Intelligence 124, 243–282 (2000)Google Scholar
- 12.Dechter, R.: Constraint processing. Morgan Kaufmann Publishers (2003)Google Scholar
- 13.Dechter, R., van Beek, P.: Local and Global Relational Consistency. Journal of Theoretical Computer Science (1996)Google Scholar
- 18.Verfaillie, G., Martinez, D., Bessière, C.: A Generic Customizable Framework for Inverse Local Consistency. In: Proceedings of AAAI, pp. 169–174 (1999)Google Scholar