A Compression Algorithm for Large Arity Extensional Constraints

We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where the satisfying tuples are read from a database. The arity of these constraints may be large. A generic GAC algorithm for such a constraint requires time exponential in the arity of the constraint to maintain GAC, but Bessi`ere and R´egin showed in [1] that for the case of allowed tuples, GAC can be enforced in time proportional to the number of allowed tuples, using the algorithm GAC-Schema. We introduce a more compact representation for a set of tuples, which allows a potentially exponential reduction in the space needed to represent the satisfying tuples and exponential reduction in the time needed to enforce GAC. We show that this representation can be constructed from a decision tree that represents the original tuples and demonstrate that it does in practice produce a significantly shorter description o...

• Type: Conference
• Year: 2007
• Where: CP
• Authors: George Katsirelos, Toby Walsh
• Keywords: Constraint Requires Time, CP 2007, Generic Gac Algorithm, Programming Languages, Satisfying Tuples