Techreport,
A Macroscopic Exact Schema Theorem and a Redefinition of Effective Fitness for GP with One-Point Crossover
CSRP-00-1. University of Birmingham, School of Computer Science, (February 2000)
Abstract
We extend recent results in the GP schema theory by
formulating a proper exact schema theorem for GP with
one-point crossover. This gives an exact expression for
the expected number of instances of a schema at the
next generation in terms of macroscopic quantities.
This result allows the exact formulation of the notion
of effective fitness in GP introduced, in approximate
form, by other researchers to describe the reasons for
bloat and active-code compression.
