Abstract
The AtMostSeqCard constraint is the conjunction of a cardinality constraint on a sequence of n variables and of n − q + 1 constraints AtMost u on each subsequence of size q.
This constraint is useful in car-sequencing and crew-rostering problems. In [18], two algorithms designed for the AmongSeq constraint were adapted to this constraint with a O(2qn) and O(n3) worst case time complexity, respectively. In [10], another algorithm similarly adaptable to filter the AtMostSeqCard constraint with a time complexity of O(n2) was proposed.
In this paper, we introduce an algorithm for achieving Arc Consistency on the AtMostSeqCard constraint with a O(n) (hence optimal) worst case time complexity. We then empirically study the efficiency of our propagator on instances of the car-sequencing and crew-rostering problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Beldiceanu, N., Carlsson, M.: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 59–73. Springer, Heidelberg (2001)
Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. Mathematical Computation Modelling 20(12), 97–123 (1994)
Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: The Slide Meta-Constraint. In: CPAI Workshop, held alongside CP (2006)
Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: Slide: A Useful Special Case of the Cardpath Constraint. In: ECAI, pp. 475–479 (2008)
Boivin, S., Gravel, M., Krajecki, M., Gagné, C.: Résolution du Problème de Car-sequencing à l’Aide d’une Approche de Type FC. In: JFPC (2005)
Brand, S., Narodytska, N., Quimper, C.-G., Stuckey, P.J., Walsh, T.: Encodings of the Sequence Constraint. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 210–224. Springer, Heidelberg (2007)
Demassey, S., Pesant, G., Rousseau, L.-M.: A Cost-Regular Based Hybrid Column Generation Approach. Constraints 11(4), 315–333 (2006)
Dincbas, M., Simonis, H., Van Hentenryck, P.: Solving the Car-Sequencing Problem in Constraint Logic Programming. In: ECAI, pp. 290–295 (1988)
Gent, I.P., Walsh, T.: Csplib: a benchmark library for constraints (1999)
Maher, M.J., Narodytska, N., Quimper, C.-G., Walsh, T.: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 159–174. Springer, Heidelberg (2008)
Menana, J., Demassey, S.: Sequencing and Counting with the multicost-regular Constraint. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol. 5547, pp. 178–192. Springer, Heidelberg (2009)
Pesant, G.: A Regular Language Membership Constraint for Finite Sequences of Variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 482–495. Springer, Heidelberg (2004)
Pesant, G.: Constraint-Based Rostering. In: PATAT (2008)
Régin, J.-C.: Generalized Arc Consistency for Global Cardinality Constraint. In: AAAI, pp. 209–215(2) (1996)
Régin, J.-C., Puget, J.-F.: A Filtering Algorithm for Global Sequencing Constraints. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 32–46. Springer, Heidelberg (1997)
Smith, B.M.: Succeed-first or Fail-first: A Case Study in Variable and Value Ordering (1996)
Solnon, C., Cung, V., Nguyen, A., Artigues, C.: The car sequencing problem: Overview of state-of-the-art methods and industrial case-study of the ROADEF’2005 challenge problem. EJOR 191, 912–927 (2008)
van Hoeve, W.J., Pesant, G., Rousseau, L.-M., Sabharwal, A.: New Filtering Algorithms for Combinations of Among Constraints. Constraints 14(2), 273–292 (2009)
van Hoeve, W.-J., Pesant, G., Rousseau, L.-M., Sabharwal, A.: Revisiting the Sequence Constraint. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 620–634. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Siala, M., Hebrard, E., Huguet, MJ. (2012). An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. In: Milano, M. (eds) Principles and Practice of Constraint Programming. CP 2012. Lecture Notes in Computer Science, vol 7514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33558-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-33558-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33557-0
Online ISBN: 978-3-642-33558-7
eBook Packages: Computer ScienceComputer Science (R0)