Evolutionary Algorithms as Guaranteed Approximation Optimizers

Evolutionary algorithms (EAs) are heuristic algorithms inspired from natural evolution. They are often used to obtain good enough solutions in practice. In this paper, we investigate a largely underexplored issue: the approximation performance of EAs, i.e., how much the obtained solution is close to the optimal solution. We study an EA framework simple evolutionary algorithm with isolated population, abbreviated as SEIP, which is generalized from recent advances in multi-objective EAs. We analyze the approximation performance of SEIP through partial ratio, which characterizes the behaviors of SEIP that lead to solutions with guaranteed approximation ratios. Specifically, we analyze SEIP on the set cover problem which is NP-hard. We find that, for unbounded set cover problem, SEIP efficiently achievesHn-approximation ratio, the asymptotic lower bound; and for the k-set cover problem, it efficiently achieves (k k−1 8k9 )-approximation ratio, the currently best-achievable result, using bit-wise mutation. Moreover, on an instance class of k-set cover problem, we disclose how SEIP using either one-bit mutation or bit-wise mutation can overcome the difficulty that obstructs the greedy algorithm. These results suggest that EAs can serve as highly practical tools for obtaining approximate

[1]  Ran Raz,et al.  A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP , 1997, STOC '97.

[2]  Frank Neumann,et al.  Approximating Minimum Multicuts by Evolutionary Multi-objective Algorithms , 2008, PPSN.

[3]  Asaf Levin,et al.  Approximating the Unweighted k-Set Cover Problem: Greedy Meets Local Search , 2006, SIAM J. Discret. Math..

[4]  Marco Laumanns,et al.  Speeding Up Approximation Algorithms for NP-hard Spanning Forest Problems by Multi-objective Optimization , 2006, Electron. Colloquium Comput. Complex..

[5]  Frank Neumann,et al.  Approximating Covering Problems by Randomized Search Heuristics Using Multi-Objective Models , 2010, Evolutionary Computation.

[6]  Julián Mestre,et al.  Greedy in Approximation Algorithms , 2006, ESA.

[7]  Frank Neumann,et al.  On improving approximate solutions by evolutionary algorithms , 2007 .

[8]  Pietro Simone Oliveto,et al.  Analysis of the $(1+1)$-EA for Finding Approximate Solutions to Vertex Cover Problems , 2009, IEEE Transactions on Evolutionary Computation.

[9]  Peter Slavík A Tight Analysis of the Greedy Algorithm for Set Cover , 1997, J. Algorithms.

[10]  Rong-chii Duh,et al.  Approximation of k-set cover by semi-local optimization , 1997, STOC '97.

[11]  Ingo Wegener,et al.  Evolutionary Algorithms and the Maximum Matching Problem , 2003, STACS.

[12]  Xin Yao,et al.  Drift analysis and average time complexity of evolutionary algorithms , 2001, Artif. Intell..

[13]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[14]  Carsten Witt,et al.  Approximating Covering Problems by Randomized Search Heuristics Using Multi-Objective Models , 2007, Evolutionary Computation.

[15]  X. Yao,et al.  An analysis of evolutionary algorithms for finding approximation solutions to hard optimisation problems , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

[16]  Frank Neumann,et al.  Computing Minimum Cuts by Randomized Search Heuristics , 2008, GECCO '08.

[17]  Marco Laumanns,et al.  Running Time Analysis of Multi-objective Evolutionary Algorithms on a Simple Discrete Optimization Problem , 2002, PPSN.

[18]  Thomas Bäck,et al.  Evolutionary algorithms in theory and practice - evolution strategies, evolutionary programming, genetic algorithms , 1996 .

[19]  Ingo Wegener,et al.  Fitness Landscapes Based on Sorting and Shortest Paths Problems , 2002, PPSN.

[20]  Ingo Wegener,et al.  Can Single-Objective Optimization Profit from Multiobjective Optimization? , 2008, Multiobjective Problem Solving from Nature.

[21]  Refael Hassin,et al.  A Better-Than-Greedy Approximation Algorithm for the Minimum Set Cover Problem , 2005, SIAM J. Comput..

[22]  Yang Yu,et al.  A new approach to estimating the expected first hitting time of evolutionary algorithms , 2006, Artif. Intell..