Document Type

Article

Publication Title

Evolutionary Computation

Publisher

Massachusetts Institute of Technology Press

Publication Date

1994

Volume

2

Issue

4

Disciplines

Computer Sciences

Abstract

A general form of stochastic search is described (random heuristic search), and some of its general properties are proved. This provides a framework in which the simple genetic algorithm (SGA) is a special case. The framework is used to illuminate relationships between seemingly different probabilistic perspectives of SGA behavior. Next, the SGA is formalized as an instance of random heuristic search. The formalization then used to show expected population fitness is a Lyapunov function in the infinite population model when mutation is zero and fitness is linear. In particular, the infinite population algorithm must converge, and average population fitness increases from one generation to the next. The consequence for a finite population SGA is that the expected population fitness increases from one generation to the next. Moreover, the only stable fixed point of the expected next population operator corresponds to the population consisting entirely of the optimal string. This result is then extended by way of a perturbation argument to allow nonzero mutation.

Keywords

Linear fitness, Lyapunov function, convergence, perturbation argument, infinite population model

DOI

10.1162/evco.1994.2.4.347

Comments

Simple Genetic Algorithms with Linear Fitness, (with Michael D. Vose), Evolutionary Computation, vol. 2, number 4 (1994). View original published article at 10.1162/evco.1994.2.4.347.

Share

COinS