23
правки
Изменения
Нет описания правки
{{В разработке}}
==Основные определения==
{{Определение
|definition=Задача многокритериальной оптимизации формулируется следующим образом:
<tex>\mathrm{maximize \{ f(x)=(f_1(x), f_2(x),\ldots,f_d(x))\} }</tex>, где <tex>\mathrm{f(x):X \rightarrow R^d}</tex> (<tex>d</tex> - количество критериев).
}}
|definition=Множество <tex>X^* \subseteq X</tex> называется Парето оптимальным, если:
<tex>\mathrm{\forall x^* \subset X^* \not \exists x \subset X : x \succ x^*}</tex>,
где <tex>\left(x \succ x^* \leftrightarrow \forall i \in 1 \ldots d: \left( f_i(x) \geq f_i(x^*)\right)\right) \bigwedge \left( \exists i \in 1 \ldots d: \left( f_i(x) \geq f_i(x^*)\right)\right) </tex> }} <tex>x \succ x^*</tex> читается, как "<tex>x</tex> доминирует <tex>x^*</tex>" {{Определение|definition=Индикатором называется функция <tex>I:\Omega \times \Omega \rightarrow R</tex>, где <tex>\Omega</tex> - множество всех Парето оптимальных множеств.
}}
==Применение==В работе [3] предлагают с помощью индикатора <tex>I</tex> ввести следующую функцию приспособленности:<tex>F(x^1)= \sum \limits_{x^2 \in P \setminus \{ x^1 \}} -e^{-I(x^2,x^1)/k}</tex>, где <tex>P</tex> - популяция, <tex>k</tex> - некая константа, зависящая от текущей задачи. Данная функция приспособленности колличественно измеряет потери в качестве при удалении особи. Для пересчета значений функции приспособленности, при удалении особи <tex>x^*</tex> из поколения, достаточно: <tex>\forall x \in P \setminus \{x*\} :F(x) = F(x) + e^{-I(x^*,x)/k}</tex> ==Индикатор гиперобъема== Существует много различных индикаторов, с помощью которых численно оценивают качество множества решений. Но широко используется только один.
{{Определение
|definition=Индикатор называется эластичным по ПареттоПарето(Pareto-compliant), если для любых двух множест множеств решения <tex>A</tex> и <tex>B</tex> значение индикатора для <tex>A</tex> больше значения для <tex>B</tex> тогда и только тогда, когда <tex>A</tex> доминирует <tex>B</tex>.
}}
Пусть <tex>\mathrm{r = \left(0, 0, \ldots, 0 \right)}</tex> и <tex>d=2</tex>. Тогда гиперобъем - это площадь объединения прямоугольников(см. рис).
[[File:Chart.png]]
== Источники ==
# Joshua D. Knowles, Richard A. Watson, David W. [http://rain.ifmo.ru/~tsarev/teaching/ea-2012/lectures/3/multiobjectivization.pdf|Corne Reducing Local Optima in Single-Objective Problems by Multi-objectivization]
# Tobias Friedrich, Christian Horoba, Frank Neumann [http://www.mpi-inf.mpg.de/~tfried/paper/2009GECCO.pdf|Multiplicative Approximations and the Hypervolume Indicator]
# Eckart Zitzle, Simon Kunzli [ftp://ife.ee.ethz.ch/pub/people/zitzler/ZK2004a.pdf|Indicator-Based Selection in Multiobjective Search]