How to Treat Evolutionary Algorithms as Ordinary Randomized Algorithms
summary
Drift analysis turns one-step expected progress into global runtime bounds, using the multiplicative drift theorem to prove the 1+1 EA finds OneMax and every linear function in about e n ln n steps (up to lower-order terms), shows a mutation probability 1/n is optimal across linear functions, identifies a phase transition around p ≈ log n / n, proves 1+1 EA is optimal among mutation/selection variants for these problems, and extends to tail bounds giving strong concentration of runtimes.
AI-written summary · about
chapters (19)
- 0:00Intro
- 0:23Context
- 4:27Drift Analysis: Idea
- 7:43A Simple Scenario: Additive Drift
- 15:39A Warm-up Example Using Multiplicative Drift
- 19:20Further Applications of Drift Analysis
- 20:23Linear Functions Generalized One Max
- 21:22The Setting
- 25:21What Makes Analysis of (1+1) EA Difficult
- 28:42Discussion of Distance Function
- 31:01Finding the Right Potential Function
- 33:00New Potential Function Proves Upper Bound
- 34:57Recent Developments
- 35:20Why Expected Time is Not Enough
- 36:52Sharp Concentration of Measure
- 40:03Sharp Concentration of Running Times
- 43:00Drift Analysis and Probabilistic Recurrences
- 49:07Sharp Tail Bound on No. of Cycles
- 50:12Summary
