1. A rigorous proof of a fundamental theorem in the drift analysis of evolutionary algorithms
- Author
-
Yu-Shan Zhang, Zhi-Feng Hao, and Han Huang
- Subjects
Theoretical computer science ,Fundamental theorem ,Computer science ,Evolutionary algorithm ,Markov process ,Computational intelligence ,Application software ,computer.software_genre ,Evolutionary computation ,symbols.namesake ,Calculus ,symbols ,Algorithm design ,Time complexity ,computer - Abstract
A fundamental theorem in the drift analysis of EAs was initially presented in Jun He and Xin Yao's paper(Artificial Intelligence 127(1) (2001) 57โ85). However, the theorem remained defective in spite of its successful applications in some specific cases. This paper points out those defects, then suggests some modifications on the theorem and introduces a new and rigorous proof. This work is expected to contribute to the solid foundation of runtime analysis of Evolutionary Algorithms.
- Published
- 2010
- Full Text
- View/download PDF