Abstract
This paper explains why global constraints for routing cannot be integrated into Constraint-Based Local Search (CBLS) frameworks. A technical reason for this is identified and defined as the multi-variable bottleneck. We solve this bottleneck by introducing a new type of variables: “sequence of integers”. We identify key requirements and defines a vocabulary for this variable type, through which it communicates with global constraints. Dedicated data structures are designed for efficiently representing sequences in this context. Benchmarks are presented to identify how to best parametrise those data structures and to compare our approach with other state-of-the-art local search frameworks: LocalSolver and GoogleCP. Our contribution is included in the CBLS engine of the open source OscaR framework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Glover, F.W., Kochenberger, G.A.: Handbook of Metaheuristics. International Series in Operations Research & Management Science. Springer, New York (2003). https://doi.org/10.1007/b101874
Mladenović, N., Urošević, D., Hanafi, S.: Variable neighborhood search for the travelling deliveryman problem. 4OR 11(1), 57–73 (2013)
Savelsbergh, M.W.P.: The vehicle routing problem with time windows: minimizing route duration. ORSA J. Comput. 4(2), 146–154 (1992)
Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2009)
Newton, M.A.H., Pham, D.N., Sattar, A., Maher, M.: Kangaroo: an efficient constraint-based local search system using lazy propagation. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 645–659. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23786-7_49
De Landtsheer, R., Ponsard, C.: OscaR.cbls: an open source framework for constraint-based local search. In: Proceedings of ORBEL’27, 2013
Benoist, T., Estellon, B., Gardi, F., Megel, R., Nouioua, K.: LocalSolver 1.x: a black-box local-search solver for 0-1 programming. 4OR 9(3), 299–316 (2011)
Pralet, C., Verfaillie, G.: Dynamic online planning and scheduling using a static invariant-based evaluation model. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, 10-14 June 2013. AAAI (2013)
OscaR Team. OscaR: Operational research in Scala (2012). Available under the LGPL licence from https://bitbucket.org/oscarlib/oscar
OR-Tools Team. OR-Tools: Google Optimization Tools. https://code.google.com/p/or-tools/
Di Gaspero, L., Schaerf, A.: EASYLOCAL++: an object-oriented framework for the flexible design of local-search algorithms. Softw.: Pract. Exp. 33(8), 733–765 (2003)
Björdal, G.: String variables for constraint-based local search. Master’s thesis, Uppsala University (2016). https://uu.diva-portal.org/smash/get/diva2:954752/FULLTEXT01.pdf
Lin, S., Kernighan, B.W.: An effective heuristic algorithm for the traveling-salesman problem. Oper. Res. 21(2), 498–516 (1973)
Savelsbergh, M.W.P., Sol, M.: The general pickup and delivery problem. Transp. Sci. 29, 17–29 (1995)
De Landtsheer, R., Guyot, Y., Ospina, G., Ponsard, C.: Combining neighborhoods into local search strategies. In: Amodeo, L., Talbi, E.-G., Yalaoui, F. (eds.) Recent Developments in Metaheuristics. ORSIS, vol. 62, pp. 43–57. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-58253-5_3
Meurisse, Q., De Landtsheer, R.: Generic support for global routing constraint in constraint-based local search frameworks. In: Proceedings of the 32th ORBEL Annual Meeting, pp. 129–130, 1–2 February 2018
Pralet, C.: An incomplete constraint-based system for scheduling with renewable resources. In: Beck, J.C. (ed.) CP 2017. LNCS, vol. 10416, pp. 243–261. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66158-2_16
Abdulla, P.A., Atig, M.F., Chen, Y.-F., Holík, L., Rezine, A., Rümmer, P., Stenman, J.: Norn: an SMT solver for string constraints. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 462–469. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21690-4_29
Fu, X., Powell, M.C., Bantegui, M., Li, C.-C.: Simple linear string constraints. Formal Aspects Comput. 25(6), 847–891 (2013)
Ganesh, V., Kieżun, A., Artzi, S., Guo, P.J., Hooimeijer, P., Ernst, M.: HAMPI: a string solver for testing, analysis and vulnerability detection. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 1–19. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22110-1_1
Scott, J.D., Flener, P., Pearson, J., Schulte, C.: Design and implementation of bounded-length sequence variables. In: Salvagnin, D., Lombardi, M. (eds.) CPAIOR 2017. LNCS, vol. 10335, pp. 51–67. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59776-8_5
Acknowledgements
This research was conducted under the SAMOBI CWALITY (grant nr. 1610019) and the PRIMa-Q CORNET (grant nr. 1610088) research projects from the Walloon Region of Belgium. We thank YourKit profiler and LocalSolver for making their software freely available to us for this research. We also warmly thank Pierre Flener and the anonymous referees for their feedback on earlier versions of this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
De Landtsheer, R., Guyot, Y., Ospina, G., Germeau, F., Ponsard, C. (2018). Reasoning on Sequences in Constraint-Based Local Search Frameworks. In: van Hoeve, WJ. (eds) Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2018. Lecture Notes in Computer Science(), vol 10848. Springer, Cham. https://doi.org/10.1007/978-3-319-93031-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-93031-2_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-93030-5
Online ISBN: 978-3-319-93031-2
eBook Packages: Computer ScienceComputer Science (R0)