The alldifferent constraint with precedences

Authors:
Christian Bessiere;Nina Narodytska;Claude-Guy Quimper;Toby Walsh
Affiliations:
CNRS/LIRMM, Montpellier;NICTA and University of NSW, Sydney;Université Laval, Québec;NICTA and University of NSW, Sydney
Venue:
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Year:
2011

Citing 11
Cited 0

A filtering algorithm for constraints of difference in CSPs

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A fast algorithm for the bound consistency of alldiff constraints

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Building industrial applications with constraint programming

Constraints in computational logics
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming

INFORMS Journal on Computing
The Role of Integer Programming Techniques in Constraint Programming's Global Constraints

INFORMS Journal on Computing
A linear-time algorithm for a special case of disjoint set union

STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Combining Symmetry Breaking and Global Constraints

Recent Advances in Constraints
The difference all-difference makes

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A fast and simple algorithm for bounds consistency of the all different constraint

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Decompositions of all different, global cardinality and related constraints

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables.We identify a number of applications for this global constraint including instruction scheduling and symmetry breaking. We give an efficient propagation algorithm that enforces bounds consistency on this global constraint. We show how to implement this propagator using a decomposition that extends the bounds consistency enforcing decomposition proposed for the ALLDIFFERENT constraint. Finally, we prove that enforcing domain consistency on this global constraint is NP-hard in general.