Crossover (evolutionary algorithm)

Crossover in evolutionary algorithms and evolutionary computation, also called recombination, is a genetic operator used to combine the genetic information of two parents to generate new offspring. It is one way to stochastically generate new solutions from an existing population, and is analogous to the crossover that happens during sexual reproduction in biology. Solutions can also be generated by cloning an existing solution, which is analogous to asexual reproduction. Newly generated solutions may be mutated before being added to the population.

Different algorithms in evolutionary computation may use different data structures to store genetic information, and each genetic representation can be recombined with different crossover operators. Typical data structures that can be recombined with crossover are bit arrays, vectors of real numbers, or trees.

The list of operators presented below is by no means complete and serves mainly as an exemplary illustration of this dyadic genetic operator type. More operators and more details can be found in the literature.

Crossover for binary arrays

Traditional genetic algorithms store genetic information in a chromosome represented by a bit array. Crossover methods for bit arrays are popular and an illustrative example of genetic recombination.

One-point crossover

A point on both parents' chromosomes is picked randomly, and designated a 'crossover point'. Bits to the right of that point are swapped between the two parent chromosomes. This results in two offspring, each carrying some genetic information from both parents.

Two-point and k-point crossover

In two-point crossover, two crossover points are picked randomly from the parent chromosomes. The bits in between the two points are swapped between the parent organisms.

Two-point crossover is equivalent to performing two single-point crossovers with different crossover points. This strategy can be generalized to k-point crossover for any positive integer k, picking k crossover points.

Uniform crossover

In uniform crossover, typically, each bit is chosen from either parent with equal probability. Other mixing ratios are sometimes used, resulting in offspring which inherit more genetic information from one parent than the other. In a uniform crossover, we don’t divide the chromosome into segments, rather we treat each gene separately. In this, we essentially flip a coin for each chromosome to decide whether or not it will be included in the off-spring.

Crossover for integer or real-valued genomes

Example of a discrete recombination in the three-dimensional case. The two possible offspring lie on the corners of the cuboid marked in blue.

For the crossover operators presented above and for most other crossover operators for bit strings, it holds that they can also be applied accordingly to integer or real-valued genomes whose genes each consist of an integer or real-valued number. Instead of individual bits, integer or real-valued numbers are then simply copied into the child genome. The offspring lie on the remaining corners of the hyperbody spanned by the two parents $P_{1}=(1.5,6,8)$ and $P_{2}=(7,2,1)$, as exemplified in the accompanying image for the three-dimensional case.

Discrete recombination

If the rules of the uniform crossover for bit strings are applied during the generation of the offspring, this is also called discrete recombination.

Intermediate recombination

In the two-dimensional case, the two offspring of discrete recombination lie on the corners marked in blue, while the entire gray area is in question for the offspring of intermediate recombination.

In this recombination operator, the allele values of the child genome $a_{i}$ are generated by mixing the alleles of the two parent genomes $a_{i,P_{1}}$ and $a_{i,P_{2}}$:

$\alpha _{i}=\alpha _{i,P_{1}}\cdot \beta _{i}+\alpha _{i,P_{2}}\cdot \left(1-\beta _{i}\right)\quad {\mathsf {with}}\quad \beta _{i}\in \left[-d,1+d\right]$ randomly equally distributed per gene $i$

The choice of the interval $[-d,1+d]$ causes that besides the interior of the hyperbody spanned by the allele values of the parent genes additionally a certain environment for the range of values of the offspring is in question. A value of $0.25$ is recommended for $d$ to counteract the tendency to reduce the allele values that otherwise exists at $d=0$.

The adjacent figure shows for the two-dimensional case the range of possible new alleles of the two exemplary parents $P_{1}=(3,6)$ and $P_{2}=(9,2)$ in intermediate recombination. The offspring of discrete recombination $C_{1}$ and $C_{2}$ are also plotted. Intermediate recombination satisfies the arithmetic calculation of the allele values of the child genome required by virtual alphabet theory. Discrete and intermediate recombination are used as a standard in the evolution strategy.

Crossover for permutations

For combinatorial tasks, permutations are usually used that are specifically designed for genomes that are themselves permutations of a set. The underlying set is usually a subset of $\mathbb {N}$ or $\mathbb {N} _{0}$. If 1- or n-point or uniform crossover for integer genomes is used for such genomes, a child genome may contain some values twice and others may be missing. This can be remedied by genetic repair, e.g. by replacing the redundant genes in positional fidelity for missing ones from the other child genome.

In order to avoid the generation of invalid offspring, special crossover operators for permutations have been developed which fulfill the basic requirements of such operators for permutations, namely that all elements of the initial permutation are also present in the new one and only the order is changed. It can be distinguished between combinatorial tasks, where all sequences are admissible, and those where there are constraints in the form of inadmissible partial sequences. A well-known representative of the first task type is the traveling salesman problem (TSP), where the goal is to visit a set of cities exactly once on the shortest tour. An example of the constrained task type is the scheduling of multiple workflows. Workflows involve sequence constraints on some of the individual work steps. For example, a thread cannot be cut until the corresponding hole has been drilled in a workpiece. Such problems are also called order-based permutations.

In the following, two crossover operators are presented as examples, the partially mapped crossover (PMX) motivated by the TSP and the order crossover (OX1) designed for order-based permutations. A second offspring can be produced in each case by exchanging the parent chromosomes.

Partially mapped crossover (PMX)

The PMX operator was designed as a recombination operator for TSP like Problems. The explanation of the procedure is illustrated by an example:

Procedure		Example		Example Chromosome
		Let be given two permutations of the same set.		$P_{0}=\left(A,B,C,D,E,F,G,H\right)$ and $P_{1}=\left(C,G,E,A,F,H,B,D\right)$
Randomly select two crossover points forming a gene segment in $P_{0}$.		Here from gene position 4 to 6.		$P_{0}=\left(A,B,C,{\underline {D,E,F}},G,H\right)$
The selected section is copied to the child chromosome in the same position.		The open positions are indicated by question marks.		$P_{C}=\left(?,?,?,{\underline {D,E,F}},?,?\right)$
Look for genes that have not been copied in the corresponding segment of $P_{1}$ starting at the first crossover point. For each gene found (called $m$), look up in the offspring which element (called $n$) was copied in its place from $P_{0}$. Copy $m$ to the position held by $n$ in $P_{1}$ if it is not occupied. Otherwise, continue with the next step.		Gene $A$ is the first uncopied gene in the corresponding segment of $P_{1}$: $\left(...,A,F,H,...\right)$. Gene $D$ was copied from $P_{0}$ in its place in $P_{C}$.		$P_{C}=\left(?,?,?,{\underline {{\mathbf {D}},E,F}},?,?\right)$
		The position of $D$ in $P_{1}$ is the furthest right position and $A$ will be placed there in $P_{C}$.		$P_{C}=\left(?,?,?,{\underline {D,E,F}},?,A\right)$
If the place taken by $n$ in $P_{1}$ is already occupied by an element $k$ in the descendant, $m$ is put in the place taken by $k$ in $P_{1}$.		The next gene in $\left(...,A,F,H,...\right)$ is $F$ and this has already been copied into the child chromosome. Thus, the next gene to be handled is $H$. Its position in the offspring would be the position of $F$ in $P_{1}$. However, this place is already occupied by gene $E$. So $H$ is copied to the position of $E$ in $P_{1}$.		$P_{C}=\left(?,?,H,{\underline {D,E,F}},?,A\right)$
After processing the genes from the selected segment in $P_{1}$, the remaining positions in the offspring are filled with the genes from $P_{1}$ that have not yet been copied, in the order of their appearance. This results in the finished child genome.		The genes copied from $P_{1}$ are $C,G$ and $B$.		$P_{C}=\left(C,G,H,{\underline {D,E,F}},B,A\right)$

Order crossover (OX1)

The order crossover goes back to Davis in its original form and is presented here in a slightly generalized version with more than two crossover points. It transfers information about the relative order from the second parent to the offspring. First, the number and position of the crossover points are determined randomly. The resulting gene sequences are then processed as described below:

Procedure		Example		Example Chromosome
		Let be given two permutations of the same set.		$P_{0}=\left(A,B,C,D,E,F,G,H,I,J\right)$ and $P_{1}=\left(B,D,A,H,J,C,E,G,F,I\right)$
Randomly select gene segments in $P_{0}$.		Here two segments from gene position 1 to 2 and from 6 to 8.		$P_{0}=\left({\underline {A,B}},C,D,E,{\underline {F,G,H}},I,J\right)$
As a child permutation, a permutation is generated that contains the selected gene segments of $P_{0}$ in the same position.		The open positions are indicated by question marks.		$P_{C}=\left(A,B,?,?,?,F,G,H,?,?\right)$
The remaining missing genes are now also transferred, but in the order in which they appear in $P_{1}$.		The missing genes of $P_{0}$ in the example are:		$P_{\text{missing}}=\left\{C,D,E,I,J\right\}$ $P_{{\text{in order from }}P_{1}}=\left(D,J,C,E,I\right)$
This results in the completed child genome.		The transferred genes are underlined:		$P_{C}=\left(A,B,{\underline {D,J,C}},F,G,H,{\underline {E,I}}\right)$

Among other things, order crossover is well suited for scheduling multiple workflows, when used in conjunction with 1- and n-point crossover.

Further crossover operators for permutations

Over time, a large number of crossover operators for permutations have been proposed, so the following list is only a small selection. For more information, the reader is referred to the literature.

1. cycle crossover (CX)
2. order-based crossover (OX2)
3. position-based crossover (POS)
4. edge recombination
5. voting recombination (VR)
6. alternating-positions crossover (AP)
7. maximal preservative crossover (MPX)
8. merge crossover (MX)
9. sequential constructive crossover operator (SCX)

The usual approach to solving TSP-like problems by genetic or, more generally, evolutionary algorithms, presented earlier, is either to repair illegal descendants or to adjust the operators appropriately so that illegal offspring do not arise in the first place. Alternatively, Riazi suggests the use of a double chromosome representation, which avoids illegal offspring.

See also

• Evolutionary algorithm
• Genetic representation
• Fitness function
• Selection (genetic algorithm)

Bibliography

• John Holland (1975). Adaptation in Natural and Artificial Systems, PhD thesis, University of Michigan Press, Ann Arbor, Michigan. ISBN 0-262-58111-6.
• Schwefel, Hans-Paul (1995). Evolution and Optimum Seeking. New York: John Wiley & Sons. ISBN 0-471-57148-2.
• Davis, Lawrence (1991). Handbook of genetic algorithms. New York: Van Nostrand Reinhold. ISBN 0-442-00173-8. OCLC 23081440.
• Eiben, A.E.; Smith, J.E. (2015). Introduction to Evolutionary Computing. Natural Computing Series. Berlin, Heidelberg: Springer. doi:10.1007/978-3-662-44874-8. ISBN 978-3-662-44873-1. S2CID 20912932.
• Yu, Xinjie; Gen, Mitsuo (2010). Introduction to Evolutionary Algorithms. Decision Engineering. London: Springer. doi:10.1007/978-1-84996-129-5. ISBN 978-1-84996-128-8.
• Bäck, Thomas; Fogel, David B.; Michalewicz, Zbigniew, eds. (1999). Evolutionary computation. Vol. 1, Basic algorithms and operators. Bristol: Institute of Physics Pub. ISBN 0-585-30560-9. OCLC 45730387.

External links

• Newsgroup: comp.ai.genetic FAQ - see section on crossover (also known as recombination).