Complete Bound Consistency for the Global Cardinality Constraint

  • Authors:
  • Irit Katriel;Sven Thiel

  • Affiliations:
  • Max-Planck-Institut für Informatik, Saarbrücken, Germany;Max-Planck-Institut für Informatik, Saarbrücken, Germany

  • Venue:
  • Constraints
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show an algorithm for bound consistency of global cardinality constraints, which runs in time O(n + n驴) plus the time required to sort the assignment variables by range endpoints, where n is the number of assignment variables and n驴 is the number of values in the union of their domains. It is the first efficient algorithm that achieves bound consistency for all variables, and not only the assignment variables.