1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238
|
.. _next-step:
Operators and Algorithms
========================
Before starting with complex algorithms, we will see some basics of DEAP.
First, we will start by creating simple individuals (as seen in the
:ref:`creating-types` tutorial) and make them interact with each other using
different operators. Afterwards, we will learn how to use the algorithms and
other tools.
A First Individual
------------------
First import the required modules and register the different functions required to create individuals that are lists of floats with a minimizing two objectives fitness.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 2-16
The first individual can now be built by adding the appropriate line to the script.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 18
Printing the individual ``ind1`` and checking if its fitness is valid will give something like this
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 20-21
The individual is printed as its base class representation (here a list) and the fitness is invalid because it contains no values.
Evaluation
----------
The evaluation is the most personal part of an evolutionary algorithm, it is
the only part of the library that you must write yourself. A typical
evaluation function takes one individual as argument and returns its fitness as
a :class:`tuple`. As shown in the :ref:`core` section, a fitness is a list of floating point values and has a
property :attr:`~deap.base.Fitness.valid` to know if this individual shall be re-evaluated. The
fitness is set by setting the :attr:`~deap.base.Fitness.values` to the
associated :class:`tuple`. For example, the following evaluates the previously created individual ``ind1`` and assigns its fitness to the corresponding values.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 24-32
Dealing with single objective fitness is not different, the evaluation function **must** return a tuple because single-objective is treated as a special case of multi-objective.
Mutation
--------
The next kind of operator that we will present is the mutation operator.
There is a variety of mutation operators in the :mod:`deap.tools` module.
Each mutation has its own characteristics and may be applied to different types
of individuals. Be careful to read the documentation of the selected operator
in order to avoid undesirable behaviour.
The general rule for mutation operators is that they **only** mutate, this
means that an independent copy must be made prior to mutating the individual
if the original individual has to be kept or is a *reference* to another individual (see the selection operator).
In order to apply a mutation (here a gaussian mutation) on the individual ``ind1``,
simply apply the desired function.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 35-37
The fitness' values are deleted because they're not related to the individual anymore. As stated above, the mutation does mutate and only mutate an individual. It is neither responsible of invalidating the fitness nor anything else. The following shows that ``ind2`` and ``mutant`` are in fact the same individual.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 39-40
Crossover
---------
The second kind of operator that we will present is the crossover operator.
There is a variety of crossover operators in the :mod:`deap.tools` module.
Each crossover has its own characteristics and may be applied to different types
of individuals. Be careful to read the documentation of the selected operator
in order to avoid undesirable behaviour.
The general rule for crossover operators is that they **only** mate individuals, this
means that an independent copies must be made prior to mating the individuals
if the original individuals have to be kept or are *references* to other
individuals (see the selection operator).
Lets apply a crossover operation to produce the two children that are cloned beforehand.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 43-46
.. note::
Just as a remark on the language, the form ``toolbox.clone([ind1, ind2])``
cannot be used because if ``ind1`` and ``ind2`` are referring to the same
location in memory (the same individual) there will be a single independent
copy of the individual and the second one will be a reference to this same
independent copy. This is caused by the mechanism that prevents recursive
loops. The first time the individual is seen, it is put in the "memo"
dictionary, the next time it is seen the deep copy stops for that object
and puts a reference to that previously created deep copy. Care should be
taken when deep copying containers.
Selection
---------
Selection is made among a population by the selection operators that are
available in the :mod:`deap.tools` module. The selection operator usually
takes as first argument an iterable container of individuals and the number of
individuals to select. It returns a list containing the references to the
selected individuals. The selection is made as follow.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 49-50
.. warning:: It is **very** important here to note that the selection
operators does not duplicate any individual during the selection process.
If an individual is selected twice and one of either object is modified,
the other will also be modified. Only a reference to the individual is
copied. Just like every other operator it selects and only selects.
Usually duplication of the entire population will be made after selection or
before variation.
.. literalinclude:: /code/tutorials/part_3/3_next_step.py
:lines: 56-57
Using the Toolbox
-----------------
The toolbox is intended to contain all the evolutionary tools, from the object
initializers to the evaluation operator. It allows easy configuration of each
algorithm. The toolbox has basically two methods,
:meth:`~deap.toolbox.Toolbox.register` and
:meth:`~deap.toolbox.Toolbox.unregister`, that are used to add or remove tools
from the toolbox.
This part of the tutorial will focus on registration of the evolutionary tools
in the toolbox rather than the initialization tools. The usual names for the
evolutionary tools are :func:`~deap.mate`, :func:`~deap.mutate`,
:func:`~deap.evaluate` and :func:`~deap.select`, however, any name can be
registered as long as it is unique. Here is how they are registered in the
toolbox.
.. literalinclude:: /code/tutorials/part_3/3_6_using_the_toolbox.py
:lines: 2-8,10-15
Using the toolbox for registering tools helps with keeping the rest of the
algorithms independent from the operator set. Using this scheme makes it very
easy to locate and change any tool in the toolbox if needed.
.. _using-tools:
Using the Tools
+++++++++++++++
When building evolutionary algorithms, the toolbox is used to contain the
operators, which are called using their generic name. For example, here is a
very simple generational evolutionary algorithm.
.. literalinclude:: /code/tutorials/part_3/3_6_using_the_toolbox.py
:lines: 30-
This is a complete algorithm. It is generic enough to accept any kind of
individual and any operator, as long as the operators are suitable for the
chosen individual type. As shown in the last example, the usage of the toolbox
allows to write algorithms that are as close as possible to pseudo code.
Now it is up to you to write and experiment on your own.
Tool Decoration
+++++++++++++++
Tool decoration is a very powerful feature that helps to control very precise
things during an evolution without changing anything in the algorithm or
operators. A decorator is a wrapper that is called instead of a function. It
is asked to make some initialization and termination work before and after the
actual function is called. For example, in the case of a constrained domain,
one can apply a decorator to the mutation and crossover in order to keep any
individual from being out-of-bound. The following defines a decorator that
checks if any attribute in the list is out-of-bound and clips it if this is the
case. The decorator is defined using three functions in order to receive the
*min* and *max* arguments. Whenever the mutation or crossover is called,
bounds will be checked on the resulting individuals.
.. literalinclude:: /code/tutorials/part_3/3_6_2_tool_decoration.py
:lines: 8-
This will work on crossover and mutation because both return a tuple of
individuals. The mutation is often considered to return a single individual
but again like for the evaluation, the single individual case is a special
case of the multiple individual case.
|more| For more information on decorators, see
`Introduction to Python Decorators <http://www.artima.com/weblogs/viewpost.jsp?thread=240808>`_
and `Python Decorator Library <http://wiki.python.org/moin/PythonDecoratorLibrary>`_.
Variations
----------
Variations allow to build simple algorithms using predefined small building blocks. In
order to use a variation, the toolbox must be set to contain the required
operators. For example in the lastly presented complete algorithm, the
crossover and mutation are regrouped in the :func:`~deap.algorithms.varAnd`
function, this function requires the toolbox to contain the :func:`~deap.mate`
and :func:`~deap.mutate` functions. This variation can be used to simplify
the writing of an algorithm as follows.
.. literalinclude:: /code/tutorials/part_3/3_7_variations.py
:lines: 33-
This last example shows that using the variations makes it straight forward to
build algorithms that are very close to pseudo code.
Algorithms
----------
There are several algorithms implemented in the :mod:`~deap.algorithms` module.
They are very simple and
reflect the basic types of evolutionary algorithms present in the literature.
The algorithms use a :class:`~deap.base.Toolbox` as defined in the last
sections. In order to setup a toolbox for an algorithm, you must register the
desired operators under the specified names, refer to the documentation of the
selected algorithm for more details. Once the toolbox is ready, it is time to
launch the algorithm. The simple evolutionary algorithm takes 5 arguments, a
*population*, a *toolbox*, a probability of mating each individual at each
generation (*cxpb*), a probability of mutating each individual at each
generation (*mutpb*) and a number of generations to accomplish (*ngen*).
.. literalinclude:: /code/tutorials/part_3/3_8_algorithms.py
:lines: 33-
The best way to understand what the simple evolutionary algorithm does, is to
take a look at the documentation or the source code.
Now that you built your own evolutionary algorithm in Python, you are welcome
to gives us feedback and appreciation. We would also really like to hear about
your project and success stories with DEAP.
.. |more| image:: /_images/more.png
:align: middle
:alt: more info
|