Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Same-Relation Constraints
| |
|
Same-Relation Constraints
Christopher Jefferson17, Serdar Kadioglu18, Karen E. Petrie19, Meinolf Sellmann18 and Stanislav Živný19
| (17) |
School of Computer Science, University of St Andrews, St Andrews, UK |
| (18) |
Department of Computer Science, Brown University, Providence, USA |
| (19) |
Computing Laboratory, Oxford University, Oxford, UK |
Abstract
The AllDifferent constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal
constraint, for every pair of variables. By looking at the set of all pairwise not-equal relations at the same time, AllDifferent
offers greater filtering power. The natural question arises whether we can generally leverage the knowledge that sets of pairs
of variables all share the same relation. This paper studies exactly this question. We study in particular special constraint
graphs like cliques, complete bipartite graphs, and directed acyclic graphs, whereby we always assume that the same constraint is enforced on all edges in the graph. In particular, we study whether there exists a tractable GAC propagator
for these global Same-Relation constraints and show that AllDifferent is a huge exception: most Same-Relation Constraints
pose NP-hard filtering problems. We present algorithms, based on AC-4 and AC-6, for one family of Same-Relation Constraints,
which do not achieve GAC propagation but outperform propagating each constraint individually in both theory and practice.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|