Skip to main content

Advertisement

Log in

Combine and conquer: an evolutionary hyper-heuristic approach for solving constraint satisfaction problems

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

Selection hyper-heuristics are a technology for optimization in which a high-level mechanism controls low-level heuristics, so as to be capable of solving a wide range of problem instances efficiently. Hyper-heuristics are used to generate a solution process rather than producing an immediate solution to a given problem. This process is a re-usable mechanism that can be applied both to seen and unseen problem instances. In this paper, we propose a selection hyper-heuristic process with the intention to rise the level of generality and solve consistently well a wide range of constraint satisfaction problems. The hyper-heuristic technique is based on a messy genetic algorithm that generates high-level heuristics formed by rules (condition \(\rightarrow \) heuristic). The high-level heuristics produced are seen to be good at solving instances from certain parts of the parameterized space of problems, producing results using effort comparable to the best single heuristic per instance. This is beneficial, as the choice of best heuristic varies from instance to instance, so the high-level heuristics are definitely preferable to selecting any one low-level heuristic for all instances. The results confirm the robustness of the proposed approach and how high-level heuristics trained for some specific classes of instances can also be applied to unseen classes without significant lost of efficiency. This paper contributes to the understanding of heuristics and the way they can be used in a collaborative way to benefit from their combined strengths.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

Notes

  1. This series can be downloaded from http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/subs.tgz.

References

  • Achlioptas D, Molloy MSO, Kirousis LM, Stamatiou YC, Kranakis E, Krizanc D (2001) Random constraint satisfaction: a more accurate picture. Constraints 6(4):329–344

    Article  MathSciNet  MATH  Google Scholar 

  • Berlier J, McCollum J (2010) A constraint satisfaction algorithm for microcontroller selection and pin assignment. In: Proceedings of the IEEE SoutheastCon 2010 (SoutheastCon), pp 348–351

  • Bitner JR, Reingold EM (1975) Backtrack programming techniques. Commun ACM 18:651–656

    Article  MATH  Google Scholar 

  • Bittle SA, Fox MS (2009) Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems. GECCO ’09: proceedings of the 11th annual conference companion on genetic and evolutionary computation conference. ACM, New York, pp 2209–2212

    Chapter  Google Scholar 

  • Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119(3):557–581

    Article  MATH  Google Scholar 

  • Burke E, Hart E, Kendall G, Newall J, Ross P, Schulenburg S (2003) Hyper-heuristics: an emerging direction in modern research technolology. In: Glover FW, Kochenberger GA (eds) Handbook of metaheuristics. Kluwer, Boston, MA, pp 457–474

  • Burke EK, Gendrau M, Hyde M, Kendall G, Ochoa G, Özcan E, Qu R (2012) Hyper-heuristics: a survey of the state of the art. J Oper Res Soc 64:1695–1724

    Article  Google Scholar 

  • Cheeseman P, Kanefsky B, Taylor WM (1991) Where the really hard problems are. In: Proceedings of IJCAI, pp 331–337

  • Craenen BGW, Eiben AE, van Hemert JI (2003) Comparing evolutionary algorithms on binary constraint satisfaction problems. IEEE Trans Evol Comput 7:424–444

    Article  Google Scholar 

  • Crawford B, Soto R, Castro C, Monfroy E (2011) A hyperheuristic approach for dynamic enumeration strategy selection in constraint satisfaction. In: Proceedings of the 4th international conference on interplay between natural and artificial computation: new challenges on bioinspired applications—volume part II, IWINAC’11. Springer, Berlin, pp 295–304

  • Crawford B, Soto R, Monfroy E, Palma W, Castro C, Paredes F (2013) Parameter tuning of a choice-function based hyperheuristic using particle swarm optimization. Expert Syst Appl 40(5):1690–1695

    Article  Google Scholar 

  • Diao R, Shen Q (2015) Nature inspired feature selection meta-heuristics. Artif Intell Rev 44(3):311–340. doi:10.1007/s10462-015-9428-8

    Article  Google Scholar 

  • Dunkin N, Allen S (1997) Frequency assignment problems: representations and solutions. Tech Rep CSD-TR-97-14, University of London

  • Epstein SL, Freuder EC, Wallace R, Morozov A, Samuels B (2002) The adaptive constraint engine. In: Proceedings of the 8th international conference on principles and practice of constraint programming. Springer, London, CP ’02, pp 525–542

  • Freuder EC (1978) Synthesizing constraint expressions. Commun ACM 21:958–966

    Article  MathSciNet  MATH  Google Scholar 

  • Gent I, MacIntyre E, Prosser P, Smith B, Walsh T (1996) An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem. In: Proceedings of CP-96, pp 179–193

  • Ginsberg M (1993) Dynamic backtracking. Artif Intell 1:25–46

    MATH  Google Scholar 

  • Goldberg D, Korb B, Deb K (1989) Messy genetic algorithms: motivation, analysis and first results. Complex Syst 3:493–530

    MathSciNet  MATH  Google Scholar 

  • Haralick RM, Elliott GL (1980) Increasing tree search efficiency for constraint satisfaction problems. Artif Intell 14:263–313

    Article  Google Scholar 

  • Hell P, Nesetril J (2008) Colouring, constraint satisfaction, and complexity. Comput Sci Rev 2(3):143–163

    Article  MATH  Google Scholar 

  • Jussien N, Lhomme O (2000) Local search with constraint propagation and conflict-based heuristics. In: Proceedings of the seventeenth national conference on artificial intelligence and twelfth conference on innovative applications of artificial intelligence. AAAI Press/The MIT Press, pp 169–174

  • Marchiori E, Steenbeek A (2000) Genetic local search algorithm for random binary constraint satisfaction problems. In: Proceedings of the ACM symposium on applied computing, pp 458–462

  • Minton S, Phillips A, Laird P (1990) Solving large-scale CSP and scheduling problems using a heuristic repair method. In: Proceedings of the 8th AAAI conference, pp 17–24

  • Minton S, Johnston MD, Phillips A, Laird P (1992) Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artif Intell 58:161–205

    Article  MathSciNet  MATH  Google Scholar 

  • Nguyen S, Zhang M, Johnston M (2011) A genetic programming based hyper-heuristic approach for combinatorial optimisation. In: Proceedings of the 13th annual conference on genetic and evolutionary computation. GECCO ’11. ACM, New York, pp 1299–1306. doi:10.1145/2001576.2001752

  • Nonobe K, Ibaraki T (1998) A tabu search approach to the constraint satisfaction problem as a general problem solver. Eur J Oper Res 106(2–3):599–623

    Article  MATH  Google Scholar 

  • O’Mahony E, Hebrard E, Holland A, Nugent C, O’Sullivan B (2008) Using case-based reasoning in an algorithm portfolio for constraint solving. In: Proceedings of the 19th Irish conference on artificial intelligence and cognitive science

  • Ortiz-Bayliss JC, Özcan E, Parkes AJ, Terashima-Marin H (2010) Mapping the performance of heuristics for constraint satisfaction. In: 2010 IEEE congress on evolutionary computation (CEC), pp 1–8

  • Ortiz-Bayliss JC, Terashima-Marín H, Conant-Pablos SE (2013) Learning vector quantization for variable ordering in constraint satisfaction problems. Pattern Recogn Lett 34(4):423–432

    Article  Google Scholar 

  • Petrovic S, Qu R (2002) Case-based reasoning as a heuristic selector in a hyper-heuristic for course timetabling problems. In: Proceedings of the 6th international conference on knowledge-based intelligent information engineering systems and applied technologies (KES’02), vol 82, pp 336–340

  • Prosser P (1994) Binary constraint satisfaction problems: some are harder than others. Proceedings of the European conference in artificial intelligence. Holland, Amsterdam, pp 95–99

    Google Scholar 

  • Rice JR (1976) The algorithm selection problem. Adv Comput 15:65–118

    Article  Google Scholar 

  • Ross P (2012) Hyper-heuristics. In: Burke E, Kendall G (eds) Search methodologies: introductory tutorials in optimization and decision support techniques. Springer, Berlin, pp 611–638

    Google Scholar 

  • Ross P, Hart E (2002) Using evolutionary algorithms to solve problems by combining choices of heuristics. In: Sarker R, Mohammadian M, Yao X (eds) Evolutionary optimization. Kluwer, Dordrecht

    Google Scholar 

  • Sabar NR, Kendall G (2015) Population based monte carlo tree search hyper-heuristic for combinatorial optimization problems. Inf Sci 314:225–239. doi:10.1016/j.ins.2014.10.045

    Article  Google Scholar 

  • Sim K, Hart E (2014) An improved immune inspired hyper-heuristic for combinatorial optimisation problems. In: Proceedings of the 2014 conference on genetic and evolutionary computation, GECCO ’14. ACM, New York, pp 121–128. doi:10.1145/2576768.2598241

  • Sim K, Hart E, Paechter B (2013) Learning to solve bin packing problems with an immune inspired hyper-heuristic. In: Liò P, Miglino O, Nicosia G, Nolfi S, Pavone M (eds) Advances in artificial life, ECAL 2013. MIT Press, pp 856–863

  • Smith BM (2001) Constructing an asymptotic phase transition in binary constraint satisfaction problems. J Theor Comput Sci 265(1):265–283

    Article  MathSciNet  MATH  Google Scholar 

  • Soto R, Crawford B, Monfroy E, Bustos V (2012) Using autonomous search for generating good enumeration strategy blends in constraint programming. In: ICCSA (3)’12, pp 607–617

  • Terashima-Marín H, Ortiz-Bayliss JC, Ross P, Valenzuela-Rendón M (2008) Hyper-heuristics for the dynamic variable ordering in constraint satisfaction problems. In: GECCO’08: proceedings of the 10th annual conference on genetic and evolutionary computation. ACM, pp 571–578

  • Wallace R (2006) Analysis of heuristic synergies. In: Hnich B, Carlsson M, Fages F, Rossi F (eds) Recent advances in constraints, lecture notes in computer science, vol 3978. Springer, Berlin, pp 73–87

    Chapter  Google Scholar 

Download references

Acknowledgments

This research was supported in part by ITESM Strategic Project PRY075, CONACyT Basic Science Projects Under Grants 99695 and 241461, and ITESM Research Group with Strategic Focus in Intelligent Systems.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to José Carlos Ortiz-Bayliss.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ortiz-Bayliss, J.C., Terashima-Marín, H. & Conant-Pablos, S.E. Combine and conquer: an evolutionary hyper-heuristic approach for solving constraint satisfaction problems. Artif Intell Rev 46, 327–349 (2016). https://doi.org/10.1007/s10462-016-9466-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10462-016-9466-x

Keywords

Navigation