Abstract
A problem that is inherent to the development and efficient use of solvers is that of tuning parameters. The CP community has a long history of addressing this task automatically. We propose a robust, inherently parallel genetic algorithm for the problem of configuring solvers automatically. In order to cope with the high costs of evaluating the fitness of individuals, we introduce a gender separation whereby we apply different selection pressure on both genders. Experimental results on a selection of SAT solvers show significant performance and robustness gains over the current state-of-the-art in automatic algorithm configuration.
This work was partly supported by the projects TIN2007-68005-C04-04 and TIN2006-15662-C02-02 funded by the MEC, and by the the National Science Foundation through the Career: Cornflower Project (award number 0644113).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adenso-Diaz, B., Laguna, M.: Fine-tuning of Algorithms using Fractional Experimental Design and Local Search. Operations Research 54(1), 99–114 (2006)
Birattari, M., Stuetzle, T., Paquete, L., Varrentrapp, K.: A Racing Algorithm for Configuring Metaheuristics. In: GECCO, pp. 11–18 (2002)
Coy, S.P., Golden, B.L., Runger, G.C., Wasil, E.A.: Using Experimental Design to Find Effective Parameter Settings for Heuristics. Journal of Heuristics 7(1), 77–97 (2001)
Fukunaga, A.: Automated discovery of local search heuristics for satisfiability testing. Evolutionary Computation 16(1), 31–61 (2008)
Goldberg, D.E.: Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, Reading (1989)
Gomes, C., Selman, B.: Algorithm Portfolios. Artificial Intelligence 126(1-2), 43–62 (2001)
Huberman, B., Lukose, R., Hogg, T.: An Economics Approach to Hard Computational Problem. Science 265, 51–54 (2003)
Hutter, F., Babić, D., Hoos, H.H., Hu, A.J.: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD, 27–34 (2007)
Hutter, F., Hoos, H.H., Stützle, T.: Automatic Algorithm Configuration based on Local Search. In: AAAI, pp. 1152–1157 (2007)
Lis, J., Eiben, A.E.: A Multi-Sexual Genetic Algorithm for Multiobjective Optimization. In: IEEE International Conference on Evolutionary Computation, pp. 59–64 (1997)
Marinescu, R., Dechter, R.: And/Or Branch-and-Bound for Graphical Models. In: IJCAI, pp. 224–229 (2005)
Miller, G.F., Todd, P.M.: The Role of Mate Choice in Biocomputation. Evolution and Biocomputation, 169–204 (1995)
Minton, S.: Automatically Configuring Constraint Satisfaction Programs. Constraints 1(1), 1–40 (1996)
Oltean, M.: Evolving evolutionary algorithms using linear genetic programming. Evolutionary Computation 13(3), 387–410 (2005)
Preuss, M., Bartz-Beielstein, T.: Sequential Parameter Optimization Applied to Self-adaptation for Binary-coded Evolutionary Algorithms. Parameter Setting in Evolutionary Algorithms: Studies in Computational Intelligence, 91–119 (2007)
Rejeb, J., AbuElhaij, M.: New Gender Genetic Algorithm for Solving Graph Partitioning Problems. Circuits and Systems 1, 444–446 (2000)
Rochat, Y., Taillard, R.D.: Probabilistic Diversification and Intensification in Local Search for Vehicle Routing. Journal of Heuristics 1, 147–167 (1995)
Sanchez-Velazco, J., Bullinaria, J.A.: Gendered Selection Strategies in genetic Algorithms for Optimization. UKCI, 217–223 (2003)
Vrajitoru, D.: Simulating Gender Separation with Genetic Algorithms. In: GECCO, pp. 634–641 (2002)
Wall, M.: GAlib: A C++ Library of Genetic Algorithm Components. MIT, Cambridge (1996), http://lancet.mit.edu/ga
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ansótegui, C., Sellmann, M., Tierney, K. (2009). A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. In: Gent, I.P. (eds) Principles and Practice of Constraint Programming - CP 2009. CP 2009. Lecture Notes in Computer Science, vol 5732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04244-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-04244-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04243-0
Online ISBN: 978-3-642-04244-7
eBook Packages: Computer ScienceComputer Science (R0)