Structural Search Spaces and Genetic Operators

In a previous paper (Rowe et al., 2002), aspects of the theory of genetic algorithms were generalised to the case where the search space, Ω, had an arbitrary group action defined on it. Conditions under which genetic operators respect certain subsets of Ω were identified, leading to a generalisation of the term . In this paper, search space groups with more detailed structure are examined. We define the class of operators that respect certain schemata in these groups, which leads to a generalised schema theorem. Recent results concerning the Fourier (or Walsh) transform are generalised. In particular, it is shown that the matrix group representing Ω can be simultaneously diagonalised if and only if Ω is Abelian. Some results concerning structural crossover and mutation are given for this case.