Tight analysis of the (1+1)-ea for the single source shortest path problem

  • Authors:
  • Benjamin Doerr;Edda Happ;Christian Klein

  • Affiliations:
  • Max-Planck-Institut für Informatik, Campus E1 4, 66123 Saarbrücken, Germany. doerr@mpi-inf.mpg.de;Max-Planck-Institut für Informatik, Campus E1 4, 66123 Saarbrücken, Germany. edda@mpi-inf.mpg.de;Max-Planck-Institut für Informatik, Campus E1 4, 66123 Saarbrücken, Germany. cklein@mpi-inf.mpg.de

  • Venue:
  • Evolutionary Computation
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We conduct a rigorous analysis of the (1+1) evolutionary algorithm for the single source shortest path problem proposed by Scharnow, Tinnefeld, and Wegener (The analyses of evolutionary algorithms on sorting and shortest paths problems, 2004, Journal of Mathematical Modelling and Algorithms, 3(4):349-366). We prove that with high probability, the optimization time is O(n2 max{â聞聯, log(n)}), where â聞聯 is the smallest integer such that any vertex can be reached from the source via a shortest path having at most â聞聯 edges. This bound is tight. For all values of n and â聞聯 we provide a graph with edge weights such that, with high probability, the optimization time is of order Ω(n2 max{â聞聯, log(n)}). To obtain such sharp bounds, we develop a new technique that overcomes the coupon collector behavior of previously used arguments. Also, we exhibit a simple Chernoff type inequality for sums of independent geometrically distributed random variables, and one for sequences of random variables that are not independent, but show a desired behavior independent of the outcomes of the previous random variables. We are optimistic that these tools find further applications in the analysis of evolutionary algorithms.