Evolutionary local-search with external optimization

A new general-purpose heuristic for finding high-quality solutions for many hard optimization problems is explored. The method is inspired by recent progress in understanding far-from-equilibrium phenomena in terms of self-organized criticality, a concept introduced to describe emergent complexity in physical systems. This method, called extremal optimization, successively replaces the value of extremely undesirable variables in a sub-optimal solution with new, random ones. Large, avalanche-like fluctuations in the cost function self-organize from this dynamics, effectively scaling barriers to explore local optima in distant neighborhoods of the configuration space while eliminating the need to tune parameters. Drawing upon models used to simulate the dynamics of granular media, evolution, or geology, extremal optimization complements approximation methods inspired by equilibrium statistical physics, such as simulated annealing. It may be but one example of applying new insights into non-equilibrium phenomena systematically to hard optimization problems. This method is widely applicable, quickly adapted to real-world problems, and so far has proved competitive with - and even superior to - more elaborate general-purpose heuristics on testbeds of constrained optimization problems with up to 105 variables, such as bipartitioning, coloring, and satisfiability. This heuristic is particularly successful near phase transitions in combinatorial optimization, which are deemed to be the origin of the hardest instances in terms of computational complexity. Analysis of a model problem predicts the only free parameter of the method in accordance with all experimental results.

[1]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[2]  Joseph C. Culberson,et al.  Frozen development in graph coloring , 2001, Theor. Comput. Sci..

[3]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part I, Graph Partitioning , 1989, Oper. Res..

[4]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[5]  Bruce Hendrickson,et al.  A Multi-Level Algorithm For Partitioning Graphs , 1995, Proceedings of the IEEE/ACM SC95 Conference.

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Bernd Freisleben,et al.  Memetic Algorithms and the Fitness Landscape of the Graph Bi-Partitioning Problem , 1998, PPSN.

[8]  Stefan Boettcher Extremal Optimization: Heuristics Via Co-Evolutionary Avalanches , 2000, Comput. Sci. Eng..

[9]  S. Kirkpatrick,et al.  2+p-SAT: relation of typical-case complexity to the nature of the phase transition , 1999 .

[10]  Károly F. Pál,et al.  The ground state energy of the Edwards-Anderson Ising spin glass with a hybrid genetic algorithm , 1996 .

[11]  O. C. Martin,et al.  RENORMALIZATION FOR DISCRETE OPTIMIZATION , 1999 .

[12]  Stefan Boettcher,et al.  Extremal Optimization: Methods derived from Co-Evolution , 1999, GECCO.

[13]  Stefan Boettcher,et al.  Jamming Model for the Extremal Optimization Heuristic , 2001, ArXiv.

[14]  Bak,et al.  Punctuated equilibrium and criticality in a simple model of evolution. , 1993, Physical review letters.

[15]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[16]  Stefan Boettcher,et al.  Extremal Optimization for Graph Partitioning , 2001, Physical review. E, Statistical, nonlinear, and soft matter physics.

[17]  I H Osman,et al.  Meta-Heuristics Theory and Applications , 2011 .

[18]  S. Boettcher Extremal Optimization of Graph Partitioning at the Percolation Threshold , 1999, cond-mat/9901353.

[19]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.