an:05323504
Zbl 1160.68573
van Hoeve, Willem-Jan; Pesant, Gilles; Rousseau, Louis-Martin; Sabharwal, Ashish
Revisiting the sequence constraint
EN
Benhamou, Fr??d??ric (ed.), Principles and practice of constraint programming -- CP 2006. 12th international conference, CP 2006, Nantes, France, September 25--29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46267-5/pbk). Lecture Notes in Computer Science 4204, 620-634 (2006).
2006
a
68T20
Summary: Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a given width. To date, none of the filtering algorithms proposed guaranteed domain consistency. In this paper, we present three filtering algorithms for the sequence constraint, with complementary strengths. One borrows ideas from dynamic programming; another reformulates it as a regular constraint; the last is customized. The last two algorithms establish domain consistency. Our customized algorithm does so in polynomial time, and can even be applied to a generalized sequence constraint for subsequences of variable widths. Experimental results show the practical usefulness of each.
For the entire collection see [Zbl 1141.68004].