Professional Documents
Culture Documents
GECCO 2018 Tutorial On Evolutionary Multiobjective Optimization
GECCO 2018 Tutorial On Evolutionary Multiobjective Optimization
optimization
Dimo Brockhoff
Dimo Brockhoff
dimo.brockhoff@inria.fr
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or
distributed for digital
Permission to make profitoror commercial
hard copies of part oradvantage
all of this workand that copies
for personal bear
or classroom use this notice
is granted and
without fee the full that
provided citation onnot
copies are the first
made page. Copyrights
or distributed for third-party
for profit or commercial components
advantage and that copies bearofthis
this
work must
notice and becitation
the full honored. Forpage.
on the first all other
Copyrightsuses, contactcomponents
for third-party the Owner/Author.
of this work must be honored. For all other uses, contact the Owner/Author.
GECCO'18
Copyright is heldCompanion, July 15-19, 2018, Kyoto, Japan © 2018 Copyright is held by the owner/author(s).
by the owner/author(s).
ACM
GECCOISBN '14, Jul 978-1-4503-5764-7/18/07.
12-16 2014, Vancouver, BC, Canada
ACM 978-1-4503-2881-4/14/07.
https://doi.org/10.1145/3205651.3207864
http://dx.doi.org/10.1145/2598394.2605339
Mastertitelformat
A Brief Introduction
bearbeiten
to Multiobjective Optimization
Multiobjective Optimization
Multiple objectives that have to be optimized simultaneously
performance
20
better incomparable
15
10
5 worse
max incomparable
cost
min 500 1000 1500 2000 2500 3000 3500
performance
20
better incomparable
15
10
5 worse
max incomparable
cost
min 500 1000 1500 2000 2500 3000 3500
performance
20
better incomparable
15
10
5 worse
max incomparable
cost
min 500 1000 1500 2000 2500 3000 3500
performance
20
dominating incomparable
15
10
5 dominated
max incomparable
cost
min 500 1000 1500 2000 2500 3000 3500
cone dominance
Pareto dominance
ε-dominance
performance
20
15
10
ε
5
max ε
cost
min 500 1000 1500 2000 2500 3000 3500
performance
currently non-
20
dominated front
(approximation)
15
10 Vilfredo Pareto
(1848 –1923)
5 wikipedia
max
cost
min 500 1000 1500 2000 2500 3000 3500
performance
10 Vilfredo Pareto
(1848 –1923)
5 wikipedia
max
cost
min 500 1000 1500 2000 2500 3000 3500
x2
max
x1 f1
min
nadir point
Multiobjective Optimization
combination of optimization of a set and a decision for a solution
performance
decision making
20
selecting a
solution
15 optimization
max
cost
min 500 1000 1500 2000 2500 3000 3500
performance
20
15
10
max
cost
min 500 1000 1500 2000 2500 3000 3500
performance
20
15
too expensive
10
max
cost
min 500 1000 1500 2000 2500 3000 3500
rank objectives,
define constraints,…
rank objectives,
define constraints,…
performance
search for one
(good) solution 20
15
too expensive
10
5
max
cost
min 500 1000 1500 2000 2500 3000 3500
performance
Pareto front
environmental
mating approximation
selection
selection
x2
f
x1
evaluation
variation
max
cost
min
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 21
21
Mastertitelformat bearbeiten
Multiobjectivization
Some problems are easier to solve in a multiobjective scenario
example: TSP
[Knowles et al. 2001]
Multiobjectivization
by addition of new “helper objectives” [Jensen 2004]
job-shop scheduling [Jensen 2004], frame structural design
[Greiner et al. 2007], VRP [Watanabe and Sakakibara 2007], ...
by decomposition of the single objective
TSP [Knowles et al. 2001], minimum spanning trees [Neumann and
Wegener 2006], protein structure prediction [Handl et al. 2008a], ...
also backed up by theory e.g. [Brockhoff et al. 2009, Handl et al. 2008b]
related to constrained and multimodal single-objective optimization
see also this recent overview: [Segura et al. 2013]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 22
22
Mastertitelformat bearbeiten
Innovization
Often innovative design principles among solutions are found
Example:
Cantilever beam
topology optimization
[Bandaru and Deb 2015]
min
min
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 23
23
Mastertitelformat bearbeiten
Innovization
Often innovative design principles among solutions are found
© ACM, 2006
Example:
Clutch brake design min. mass +
[Deb and Srinivasan 2006] stopping time
min
min
Other examples:
SOM for supersonic wing design [Obayashi and Sasaki 2003]
Biclustering for processor design and knapsack [Ulrich et al. 2007]
Successful case studies in engineering
(noise barrier design, polymer extrusion, friction stir welding)
[Deb et al. 2014]
1990
1995 Dominance
ranking Convergence
Visual proofs
Attain-
perfor- ment
2000 Elitist
mance functions
EMO Running
assess- Design
algo- time
ment of test
rithms analyses Preference
2005 problems
articulation
Indi- Design
Scalari- Expen- of
cator- Statistical MCDM+
2010 zation- sive Perfor-
based performance Many- EMO
based EMO mance
EMO assessment objective (inter-
EMO (Surro- indi- Inno-
problems active vization
gates) cators
2015 EMO)
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 26
26
Mastertitelformat
The History of EMObearbeiten
At A Glance
https://emoo.cs.cinvestav.mx/
EMO 2013
EMO 2017
Sheffield, GB
Münster, DE
EMO 2019
East Lansing, MI, USA
EMO 2009
Nantes, FR
EMO 2015
Guimarães, PT EMO 2001
EMO 2007
EMO 2003 Zurich, CH
Matsushima, JP
Faro, PT
EMO 2005
Guanajuato, MX
EMO 2011
Ouro Preto, BR
Many further activities:
special sessions, special journal issues, workshops, tutorials, ...
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 28
28
Mastertitelformat bearbeiten
Overview
Preference Articulation
changing
goals
solution-oriented set-oriented
scaling-dependent scaling-independent
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 30
30
Mastertitelformat bearbeiten
Solution-Oriented Problem Transformations
parameters
multiple single
objectives objective
(f1(x), f2(x), …, fk(x)) transformation s(x)
parameters
multiple single
objectives objective
(f1(x), f2(x), …, fk(x)) transformation s(x)
f2
Example 1: weighted sum approach
(w1, w2, …, wk)
y = w1y1 + … + wkyk
parameters
multiple single
objectives objective
(f1(x), f2(x), …, fk(x)) transformation s(x)
f2
Example 2: weighted Tchebycheff
(λ1, λ2, …, λk)
max
Several other scalarizing functions
f1 are known, see e.g. [Miettinen 1999]
max
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 33
33
Mastertitelformat
General Scheme of bearbeiten
Most Set-Oriented EMO
+
rank refinement within
dominance classes
environmental selection (greedy heuristic)
5
3
2 2
0 1
min min
f1 f1
min min
Diversity information
f
f
f
non-dominated
solutions already
found can be lost
Main idea
Delete solutions with
the smallest
hypervolume contribution
d(s) = IH(P)-IH(P / {s})
iteratively
But:
can also result in
cycles if reference
point is not constant [Judt et al. 2011]
expensive to compute exactly [Bringmann and Friedrich 2009]
less and less practically important [Guerreiro and Fonseca 2017]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 41
41
MastertitelformatSelection
Indicator-Based bearbeiten
Concept can be generalized to any quality indicator
Optimal µ-Distribution:
A set of µ solutions that maximizes a certain unary indicator I
among all sets of µ solutions is called optimal µ-distribution for I.
[Auger et al. 2009a]
see http://www.tik.ee.ethz.ch/sop/
download/supplementary/testproblems/
Ideas:
optimize N scalarizing functions in parallel
use best solutions of neighbor subproblems for mating
keep the best solution for each scalarizing function
update neighbors
f2
use external archive for
non-dominated solutions
several variants and enhancements
f1
Open Question:
how to achieve fast convergence to a set?
Related work:
set-based gradient of the HV [Emmerich et al. 2007]
multiobjective CMA-ES [Igel et al. 2007, Voß et al. 2010, Krause et al. 2016]
RM-MEDA [Zhang et al. 2008]
set-based variation [Bader et al. 2009]
set-based fitness landscapes [Verel et al. 2011]
offline and online configuration based on libraries of variation
operators [Bezerra et al. 2015, Hadka and Reed 2013]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 47
47
Mastertitelformat bearbeiten
Overview
Preference Articulation
4.25
3.75
3.5
3.25
2.75
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 51
51
Mastertitelformat
Empirical Attainment
bearbeiten
Functions
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 52
52
Mastertitelformat
Empirical Attainment
bearbeiten
Functions
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 53
53
Mastertitelformat
Empirical Attainment
bearbeiten
Functions
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 54
54
Mastertitelformat
Empirical Attainment
bearbeiten
Functions
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 55
55
Mastertitelformat
Empirical Attainment
bearbeiten
Functions
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 56
56
Mastertitelformat
Empirical Attainment
bearbeiten
Functions: Definition
The Empirical Attainment Function "counts" how many
solution sets attain or dominate a vector at time :
1
= { ⊴ }
© Manuel López-Ibáñez
[López-Ibáñez et al. 2010]
Question:
Can any total (pre-)order be used or are there any requirements
concerning the resulting preference relation?
⇒ Underlying dominance relation
should be reflected!
⇒ fulfills requirement
B
refinement refinement
☺ ☺
A’
A
I(A)
A
max max
max max
unary hypervolume indicator binary epsilon indicator
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 62
62
Mastertitelformat
Example: Weak Refinement
bearbeiten/ No Refinement
R
weak refinement no refinement
A’
A
A
max max
max max
unary epsilon indicator unary diversity indicator
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 63
63
Mastertitelformat
Quality Indicator Approach
bearbeiten
Goal: compare two Pareto set approximations A and B
A B
hypervolume 432.34 420.13
distance 0.3308 0.4532
diversity 0.3637 0.3463
“A better”
A
spread 0.3622 0.3601
B cardinality 6 5
0.3 0.2
0.2 0.2 0.1
0.1
1 2 3 1 2 3 1 2 3
ZDT6 DTLZ2
Epsilon R
is better is better
than than
IBEA NSGA2 SPEA2 IBEA NSGA2 SPEA2
IBEA ~0 ~0 IBEA ~0 ~0
NSGA2 1 ~0 NSGA2 1 1
SPEA2 1 1 SPEA2 1 ~0
Preference Articulation
environmental preferable?
selection
3 out of 6
Examples
first interactive EMO: [Tanino et al. 1993]
good overview: [Jaszkiewicz and Branke 2008]
more recent work: [Brockhoff et al. 2014] [Branke et al. 2014]
Issues/Open Questions
realistic scenarios/ value functions
evaluation of interactive algorithms [López-Ibáñez and Knowles 2015]
adjustment
analysis
problem
solution
specification optimization
visualization
preference
articulation
decision making
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 81
81
Mastertitelformat
The EMO Community bearbeiten
Links:
EMO mailing list: https://lists.dei.uc.pt/mailman/listinfo/emo-list
MCDM mailing list: http://lists.jyu.fi/mailman/listinfo/mcdm-discussion
EMO bibliography: http://www.lania.mx/~ccoello/EMOO/
EMO conference series: http://www.dep.uminho.pt/EMO2015/
Books:
Multi-Objective Optimization using Evolutionary Algorithms
Kalyanmoy Deb, Wiley, 2001
Evolutionary Algorithms for Solving Multi Evolutionary Algorithms
for Solving Multi-Objective Problems Objective Problems, Carlos A.
Coello Coello, David A. Van Veldhuizen & Gary B. Lamont, Kluwer, 2nd
Ed. 2007
Multiobjective Optimization—Interactive and Evolutionary
Approaches, J. Branke, K. Deb, K. Miettinen, and R. Slowinski, editors,
volume 5252 of LNCS. Springer, 2008 [(still) many open questions!]
and more…
PISA
Questions?
© Dimo Brockhoff EMO tutorial, GECCO’2018, Kyoto, Japan, July 2018 85
85
Mastertitelformat bearbeiten
Additional Slides
RandOpt team
Inria Saclay - Ile-de-France
CMAP UMR 7641 École Polytechnique CNRS
Route de Saclay
91128 Palaiseau
France