Эта статья находится в разработке!
Рассмотрим функции вида: [math]f:[a,A] \leftarrow [b,B][/math], где [math]f[/math] убывает и [math]f(a)=B, f(A)=b[/math].
Множество всех таких функций обозначим через [math]\mathbb{F}[/math]
Введем несколько понятий:
| Определение: |
| Множество решений [math]\mathrm{X=(x_1,x_2, \ldots , x_n)}[/math] называется [math]\alpha[/math]-аппроксимацией функции [math]f \in \mathbb{F}[/math], если:
[math]\mathrm{\forall x \in [a,A] \exists x_i \in X : (x \leq \alpha x_i) \bigwedge (f(x) \leq \alpha f(x_i))}[/math] |
Множество всех множеств решений обозначим через [math]\mathbb{X}[/math]
| Определение: |
| Коэффицентом аппроксимации функции [math]f[/math] на [math]X[/math] равен:
[math]\mathrm{\alpha (f, X) = inf \{\alpha | X} - \alpha[/math] аппроксимация [math]f \}[/math] |
| Определение: |
| Оптимальный коэффицент аппроксимации [math]\alpha_{opt} = \sup \limits_{f \in \mathbb{F}} \inf \limits_{x \in \mathbb{X}} \alpha (f, X)[/math] |
| Теорема (1): |
[math]\alpha_{opt} = min ( \frac{A}{a}, \frac{B}{b})^{\frac{1}{n}}[/math] |
| Доказательство: |
| [math]\triangleright[/math] |
| Утверждение (1): |
[math]\alpha_{opt} \leq (\frac{A}{a})^{\frac{1}{n}}[/math] |
| [math]\triangleright[/math] | |
Рассмотрим [math]\alpha = (\frac{A}{a})^{\frac{1}{n}}[/math], тогда [math]x_i=a \alpha^i[/math].
[math]\{x_i\}[/math] - [math]\alpha[/math]-аппроксимация, т.к. [math]\forall x \in [x_i, x_{i+1}]: f(x) \leq f(\alpha x_i)[/math].
Следовательно [math]\alpha_{opt} \leq \alpha[/math]. | | [math]\triangleleft[/math] |
| Утверждение (2): |
[math]\alpha_{opt} \leq (\frac{B}{b})^{\frac{1}{n}}[/math] |
| [math]\triangleright[/math] | |
Рассмотрим [math]\alpha = (\frac{B}{b})^{\frac{1}{n}}[/math] и [math]x_i=f^{-1}(B \alpha^{-i})[/math].
Тогда [math]f(x_i) \geq B \alpha^{-i}[/math].
Следовательно [math]\not \exists x: f(x_i)\gt f(x)\gt B \alpha^{-1}[/math].
Т.о. [math]\{x_i\}[/math] - [math]\alpha[/math]-аппроксимация, т.к. [math]B \alpha^{-i} \leq f(x) \leq B \alpha^{-i+1}[/math] | | [math]\triangleleft[/math] |
Получили [math]\alpha_{opt} \geq min ( \frac{A}{a}, \frac{B}{b})^{\frac{1}{n}}[/math].
Пусть [math]\forall i \in \{0, 1, \ldots, n\} f(x)=B(B/b)^{-i/n}[/math] на интервале [math](a(A/a)^{(i-1)/n}, a(A/a)^{i/n}][/math].
Теперь [math]f[/math] - это фронт Парето из [math]n+1[/math] слоя. Предложим множество решений [math](x_1,x_2, \ldots , x_n)[/math] из [math]n[/math] точек. По принципу Дирихде получается, что хотя бы на одном уровне нету ни одного решения. Это означает, что нижняя граница этого уровня апроксимируется значением [math]\min ( \frac{A}{a}, \frac{B}{b})^{\frac{1}{n}}[/math]. |
| [math]\triangleleft[/math] |
| Утверждение: |
[math]\forall n \geq \log (\min ( \frac{A}{a}, \frac{B}{b})) / \varepsilon [/math], где [math]\varepsilon \in (0,1)[/math], выполняется:
- [math]\alpha_{opt} \geq 1 + \frac{\log (\min ( \frac{A}{a}, \frac{B}{b}))}{n}[/math]
- [math]\alpha_{opt} \leq 1 + (1+\varepsilon)\frac{\log (\min ( \frac{A}{a}, \frac{B}{b}))}{n}[/math]
|
| [math]\triangleright[/math] |
|
Оба утверждения следуют из теоремы(1).
Для доказательства первого утверждения, достаточно заметить, что [math]\forall x \in \mathbb{R}: e^x\geq 1+x [/math].
Для доказательства второго - [math]\forall x \in [0, \varepsilon]: e^x \leq 1+(1+\varepsilon)x [/math] |
| [math]\triangleleft[/math] |
{{Следствие
|id=идентификатор (необязательно), пример: proposal1.
|author=Автор утверждения (необязательно)
|about=О чем утверждение (необязательно)
|statement=утверждение
|proof=доказательство (необязательно)
}}
Существует много различных индикаторов, с помощью которых численно оценивают качество решений. Но широко используется только один.
| Определение: |
| Индикатор называется эластичным по Парето(Pareto-compliant), если для любых двух множеств решения [math]A[/math] и [math]B[/math] значение индикатора для [math]A[/math] больше значения для [math]B[/math] тогда и только тогда, когда [math]A[/math] доминирует [math]B[/math]. |
Дадим определение индикатора гиперобъема[math]\left(HYP\right)[/math].
| Определение: |
| Пусть дано множество решения [math]\mathrm{X \in \mathbb{R}^d}[/math]. Пусть также множество всех решений усечено некоторой точкой [math]\mathrm{r = \left(r_1, r_2, \ldots, r_d \right)}[/math]. Тогда:
[math]\mathrm{HYP\left(X\right)=VOL\left( \bigcup\limits_{\left(x_1, x_2, \ldots, x_d \right) \in X} \left[ r_1, x_1\right] \times \left[ r_2, x_2\right] \times \cdots \times \left[ r_d, x_d\right] \right)}[/math], где через [math]VOL(X)[/math] обозначена мера множества [math]X[/math] по Лебегу. |
Пример:
Пусть [math]\mathrm{r = \left(r_1\right)}[/math] и [math]d=1[/math]. Тогда [math]HYP(X) = \prod \limits_{x_i \in X} (x_i-r_1)[/math].
Источники
- Corne D., Knowles J., Watson R. - Reducing Local Optima in Single-Objective Problems by Multi-objectivization
- Friedrich T., Horoba C., Neumann F. - Multiplicative Approximations and the Hypervolume Indicator
- Kunzli S., Zitzle E. - Indicator-Based Selection in Multiobjective Search
