A Filtering Algorithm for Constraints of Difference in CSPs

13 years 7 months ago
A Filtering Algorithm for Constraints of Difference in CSPs
Many real-life Constraint Satisfaction Problems (CSPs) involve some constraints similar to the alldifferent constraints. These constraints are called constraints of difference. They are defined on a subset of variables by a set of tuples for which the values occuring in the same tuple are all different. In this paper, a new filtering algorithm for these constraints is presented. It achieves the generalized arc-consistency condition for these non-binary constraints. It is based on matching theory and its complexity is low. In fact, for a constraint defined on a subset of p variables having domains of cardinality at most d, its space complexity is O(pd) and its time complexity is O(p2 d2 ). This filtering algorithm has been successfully used in the system RESYN, to solve the subgraph isomorphism problem.
Jean-Charles Régin
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1994
Where AAAI
Authors Jean-Charles Régin
Comments (0)