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 ranges. We thus offer a fast alternative to Régin's arc consistency algorithm [6] which runs in time O(n3/2n') and space O(n · n'). Our algorithm can also narrow the bounds for the number of occurrences of each value, which has not been done before. © Springer-Verlag 2003.
CITATION STYLE
Katriel, I., & Thiel, S. (2003). Fast bound consistency for the global cardinality constraint. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2833, 437–451. https://doi.org/10.1007/978-3-540-45193-8_30
Mendeley helps you to discover research relevant for your work.