The AllDifferent Constraint with Precedences

Details The AllDifferent Constraint with Precedences The AllDifferent Constraint with Precedences

2011-03-19

arxiv.org/abs/1103.3745v1

Computer Science

Artificial Intelligence

Scientific paper

We propose AllDiffPrecedence, 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.

Affiliated with

Also associated with

No associations

Rating

The AllDifferent Constraint with Precedences does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The AllDifferent Constraint with Precedences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The AllDifferent Constraint with Precedences will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-198484