Skip to main content
Erschienen in: Artificial Intelligence Review 3/2016

01.10.2016

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

verfasst von: José Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Santiago Enrique Conant-Pablos

Erschienen in: Artificial Intelligence Review | Ausgabe 3/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Achlioptas D, Molloy MSO, Kirousis LM, Stamatiou YC, Kranakis E, Krizanc D (2001) Random constraint satisfaction: a more accurate picture. Constraints 6(4):329–344MathSciNetMATHCrossRef Achlioptas D, Molloy MSO, Kirousis LM, Stamatiou YC, Kranakis E, Krizanc D (2001) Random constraint satisfaction: a more accurate picture. Constraints 6(4):329–344MathSciNetMATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat Bitner JR, Reingold EM (1975) Backtrack programming techniques. Commun ACM 18:651–656MATHCrossRef Bitner JR, Reingold EM (1975) Backtrack programming techniques. Commun ACM 18:651–656MATHCrossRef
Zurück zum Zitat 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–2212CrossRef 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–2212CrossRef
Zurück zum Zitat Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119(3):557–581MATHCrossRef Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119(3):557–581MATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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–1724CrossRef 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–1724CrossRef
Zurück zum Zitat Cheeseman P, Kanefsky B, Taylor WM (1991) Where the really hard problems are. In: Proceedings of IJCAI, pp 331–337 Cheeseman P, Kanefsky B, Taylor WM (1991) Where the really hard problems are. In: Proceedings of IJCAI, pp 331–337
Zurück zum Zitat Craenen BGW, Eiben AE, van Hemert JI (2003) Comparing evolutionary algorithms on binary constraint satisfaction problems. IEEE Trans Evol Comput 7:424–444CrossRef Craenen BGW, Eiben AE, van Hemert JI (2003) Comparing evolutionary algorithms on binary constraint satisfaction problems. IEEE Trans Evol Comput 7:424–444CrossRef
Zurück zum Zitat 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, 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
Zurück zum Zitat 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–1695CrossRef 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–1695CrossRef
Zurück zum Zitat Dunkin N, Allen S (1997) Frequency assignment problems: representations and solutions. Tech Rep CSD-TR-97-14, University of London Dunkin N, Allen S (1997) Frequency assignment problems: representations and solutions. Tech Rep CSD-TR-97-14, University of London
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Ginsberg M (1993) Dynamic backtracking. Artif Intell 1:25–46MATH Ginsberg M (1993) Dynamic backtracking. Artif Intell 1:25–46MATH
Zurück zum Zitat Goldberg D, Korb B, Deb K (1989) Messy genetic algorithms: motivation, analysis and first results. Complex Syst 3:493–530MathSciNetMATH Goldberg D, Korb B, Deb K (1989) Messy genetic algorithms: motivation, analysis and first results. Complex Syst 3:493–530MathSciNetMATH
Zurück zum Zitat Haralick RM, Elliott GL (1980) Increasing tree search efficiency for constraint satisfaction problems. Artif Intell 14:263–313CrossRef Haralick RM, Elliott GL (1980) Increasing tree search efficiency for constraint satisfaction problems. Artif Intell 14:263–313CrossRef
Zurück zum Zitat Hell P, Nesetril J (2008) Colouring, constraint satisfaction, and complexity. Comput Sci Rev 2(3):143–163MATHCrossRef Hell P, Nesetril J (2008) Colouring, constraint satisfaction, and complexity. Comput Sci Rev 2(3):143–163MATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat 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, 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
Zurück zum Zitat 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–205MathSciNetMATHCrossRef 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–205MathSciNetMATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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–623MATHCrossRef 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–623MATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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, Ö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
Zurück zum Zitat 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–432CrossRef 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–432CrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Rice JR (1976) The algorithm selection problem. Adv Comput 15:65–118CrossRef Rice JR (1976) The algorithm selection problem. Adv Comput 15:65–118CrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat 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 (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
Zurück zum Zitat 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 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
Zurück zum Zitat Smith BM (2001) Constructing an asymptotic phase transition in binary constraint satisfaction problems. J Theor Comput Sci 265(1):265–283MathSciNetMATHCrossRef Smith BM (2001) Constructing an asymptotic phase transition in binary constraint satisfaction problems. J Theor Comput Sci 265(1):265–283MathSciNetMATHCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat 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–87CrossRef 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–87CrossRef
Metadaten
Titel
Combine and conquer: an evolutionary hyper-heuristic approach for solving constraint satisfaction problems
verfasst von
José Carlos Ortiz-Bayliss
Hugo Terashima-Marín
Santiago Enrique Conant-Pablos
Publikationsdatum
01.10.2016
Verlag
Springer Netherlands
Erschienen in
Artificial Intelligence Review / Ausgabe 3/2016
Print ISSN: 0269-2821
Elektronische ISSN: 1573-7462
DOI
https://doi.org/10.1007/s10462-016-9466-x

Weitere Artikel der Ausgabe 3/2016

Artificial Intelligence Review 3/2016 Zur Ausgabe

Premium Partner