Abstract

Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming community, and solvers based on constructive search for set variables have been around for a long time. In this paper, set variables and set constraints are put into a local-search framework, where concepts such as configurations, penalties, and neighbourhood functions are dealt with generically. This scheme is then used to define the penalty functions for five (global) set constraints, and to model and solve two well-known applications.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aarts, E., Lenstra, J.K. (eds.): Local Search in Combinatorial Optimization. John Wiley & Sons Ltd., Chichester (1997)MATHGoogle Scholar
  2. 2.
    Azevedo, F., Barahona, P.: Applications of an extended set constraint solver. In: Proc. of the ERCIM / CompulogNet Workshop on Constraints (2000)Google Scholar
  3. 3.
    Barnier, N., Brisset, P.: Solving the Kirkman’s schoolgirl problem in a few seconds. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 477–491. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Beldiceanu, N.: Global constraints as graph properties on a structured network of elementary constraints of the same type. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, pp. 52–66. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  5. 5.
    Beldiceanu, N., Petit, T.: Cost evaluation of soft global constraints. In: Régin, J.-C., Rueher, M. (eds.) CPAIOR 2004. LNCS, vol. 3011, pp. 80–95. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Bohlin, M.: Design and Implementation of a Graph-Based Constraint Model for Local Search. PhL thesis, Mälardalen University, Västerås, Sweden (April 2004)Google Scholar
  7. 7.
    Codognet, P., Diaz, D.: Yet another local search method for constraint solving. In: Steinhöfel, K. (ed.) SAGA 2001. LNCS, vol. 2264, pp. 73–90. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Corrádi, K.: Problem at Schweitzer competition. Mat. Lapok 20, 159–162 (1969)Google Scholar
  9. 9.
    Dotú, I., Van Hentenryck, P.: Scheduling social golfers locally. In: Barták, R., Milano, M. (eds.) CPAIOR 2005. LNCS, vol. 3524, pp. 155–167. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Galinier, P., Hao, J.-K.: A general approach for constraint solving by local search. In: Proc. of CP-AI-OR 2000 (2000)Google Scholar
  11. 11.
    Gervet, C.: Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints 1(3), 191–244 (1997)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Michel, L., Van Hentenryck, P.: Localizer: A modeling language for local search. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330. Springer, Heidelberg (1997)Google Scholar
  13. 13.
    Michel, L., Van Hentenryck, P.: A constraint-based architecture for local search. ACM SIGPLAN Notices 37(11), 101–110 (2002); Proc. of OOPSLA 2002CrossRefGoogle Scholar
  14. 14.
    Michel, L., Van Hentenryck, P.: Maintaining longest paths incrementally. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 540–554. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
    Müller, T., Müller, M.: Finite set constraints in Oz. In: Proc. of 13th Workshop Logische Programmierung, Technische Universität München, pp. 104–115 (1997)Google Scholar
  16. 16.
    Nareyek, A.: Using global constraints for local search. In: Constraint Programming and Large Scale Discrete Optimization. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol. 57, pp. 9–28. AMS, Providence (2001)Google Scholar
  17. 17.
    Petit, T., Régin, J.-C., Bessière, C.: Specific filtering algorithms for over constrained problems. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, p. 451. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Prestwich, S.: Supersymmetric modeling for local search. In: Proc. of 2nd International Workshop on Symmetry in Constraint Satisfaction Problems, at CP 2002 (2002)Google Scholar
  19. 19.
    Puget, J.-F.: Finite set intervals. In: Proc. of CP 1996 Workshop on Set Constraints (1996)Google Scholar
  20. 20.
    Puget, J.-F.: Symmetry breaking revisited. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 446–461. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  21. 21.
    Smith, B.M., et al.: The progressive party problem: Integer linear programming and constraint programming compared. Constraints 1, 119–138 (1996)CrossRefMathSciNetGoogle Scholar
  22. 22.
    Van Hentenryck, P., Michel, L.: Localizer. Constraints 5(1–2), 43–84 (2000)MATHGoogle Scholar
  23. 23.
    Van Hentenryck, P., Michel, L.: Control abstractions for local search. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 65–80. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  24. 24.
    Van Hentenryck, P., Michel, L., Liu, L.: Constraint-based combinators for local search. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 47–61. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  25. 25.
    Walser, J.P.: Integer Optimization by Local Search: A Domain-Independent Approach. LNCS (LNAI), vol. 1637. Springer, Heidelberg (1999)MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Magnus Ågren
    • 1
  • Pierre Flener
    • 1
  • Justin Pearson
    • 1
  1. 1.Department of Information TechnologyUppsala UniversityUppsalaSweden

Personalised recommendations