10.2.6.2. Алгоритм абсолютной оптимизации
Наряду с приведенными выше алгоритмами, область применимости которых ограничена специальными условиями, необходима разработка надежно действующего универсального алгоритма, гарантирующего отыскание абсолютного оптимума, который предъявлял бы минимальные требования к свойствам множеств X и Y и функции локальной эффективности.
Алгоритм оптимизации МСК, удовлетворяющий перечисленным требованиям, описан ниже. В его основу положена идея о том, что минорируемость (в частности, липшицевость) является достаточно необременительным свойством функции, позволяющим строить эффективные алгоритмы оптимизации. Используя эту идею для общего алгоритма оптимизации МСК, возможно: во-первых, распространить конкретные оценки и вычислительные схемы на случай многоцелевой системы, являющейся обобщением обычной задачи оптимизации; во-вторых, поставить надежность отыскания абсолютного оптимума в зависимость от вычислительных ресурсов, так что если последние полностью соответствуют требуемым, то отыскание абсолютного оптимума гарантируется, если же они меньше, то вычислительный процесс доводится до конца, однако есть вероятность, что полученное решение соответствует лишь относительному оптимуму.
Прежде чем перейти к описанию общего алгоритма, напомним, что задача оптимизации МСК (с некоторыми упрощениями) заключается в следующем. Даны множества X и Y и определенная на подмножестве J их прямого произведения функция ρ (х, у) ≥0, такая, что любое сечение множества J по х непусто (обозначим сечение J по х через J (x), a J по у — через J (у) ):
J(x)≠Ø, x X.
Кроме того, задано целое число т. Требуется найти такое m-элементное подмножество А={Yi}i=1, ...,m Y (стратегию) и такую определенную на X распределяющую функцию Е(х), имеющую область значений {1, 2, ..., т} и удовлетворяющую условию
x J(YE(x)) x X
которые доставляют минимум функционалу
F(X,A, E(x)))=
ρ (x, y E(x)). (10.180) или
F (X, А, Е (х)) =
(х, уЕ(х)). (10.181)
В первом случае говорится об интегральной многоцелевой системе, а суммирование понимается в смысле метрики X, во втором случае — о гарантирующей многоцелевой системе.
Как было нами установлено, распределяющая функция оптимальной МСК при стратегии А задается условием
Е (х) = к/ρ (х, ук) ≤ ρ (х, уμ),
x J(ук ), x J(уμ ), ук, уμ А. (10.182)
Поэтому выражения (10.180), (10.181) могут быть представлены в виде
Fa=
La(х), (10.183)
или
FA=
LA(x), (10.184)
где
LA(x)=
ρ (x, уj). (10.185)
Таким образом, общий алгоритм оптимизации МСК направлен на решение следующей задачи. Даны ограниченные замкнутые множества X и Y векторов конечно-мерных пространств размерности п и р соответственно, числа m, ε > 0 и определенная на J функция ρ (х, у) ≥ 0, удовлетворяющая условию Липшица:
(10.186)
В условии (10.186) норма вычисляется в чебышевской метрике, т. е. если
xк = (xiк) i =1.....n, yк = (ysк )s=1.....р,
то
(10.187) Требуется найти m-элементную стратегию А={yj}j=1,....,т Y, доставляющую с ошибкой не более ε минимум функций (10.183) (для ИМKС) или (10.184) (для ГМСК).
Решение этой задачи всегда существует. Действительно, ее можно рассматривать как задачу оптимизации функции FA на множестве Y' элементов А — прямом произведении т множеств Y:
![]()
Так как Y ограничено и замкнуто, то Y' также ограничено и замкнуто. Функция FA непрерывна на Y, поскольку получена суперпозицией конечного числа непрерывных функций (10.183)— (10.185), а функция ρ(х, у)— липшицева, т. е. непрерывна. Тогда по теореме Вейерштрасса FA принимает на Y' свое наименьшее значение. Соответствующий элемент А Y' является решением задачи при любом ε.
Основываясь на общем подходе к отысканию абсолютного минимума функции, изложим идею алгоритма абсолютной оптимизации МСК. Представляя собой замкнутые ограниченные множества в метрических пространствах, X и Y компактны. Следовательно, в них могут быть размещены конечные сети с параметрами εх, εy соответственно. Обозначая такого рода сети через , можно оптимизировать МСК с конечными множествами
, и функцией локальной эффективности ρ(х, у), определенной в их прямом произведении. При надлежащем выборе ε х, ε y результат оптимизации будет отличаться от оптимальной стратегии МСК с множествами X и Y не более чем на ε, следовательно, явится решением поставленной задачи.
По всей видимости, число элементов окажется значительным, это определяет большие требования к объему памяти и трудоемкости выполнения алгоритма. Их можно уменьшить, если учесть, что нас интересуют лишь те элементы сетей, которые оказывают влияние на оптимальное решение. Они могут быть выявлены с использованием функции G, а точнее сказать, оценок, основанных на липшицевости ρ (х, у) и конкретной структуре FA, после чего остальные элементы сетей могут быть опущены или агрегированы.
Из соображений экономии вычислительных ресурсов процесс «отсеивания» элементов сетей целесообразно организовать последовательно. Вначале строятся сети с большими значениями параметра, оптимизируется соответствующая им МСК с конечными множествами и на основе результатов оптимизации вычисляются оценки влияния отдельных элементов сетей на искомое оптимальное решение. Полученные оценки используются для перехода к новым сетям с меньшим значением параметра, уже не содержащим элементов, в известном смысле близких к заведомо не влияющим на решение. Эту операцию назовем модификацией. Затем снова оптимизируется МСК с конечными множествами для модифицированных сетей и так далее, пока не будет получено решение для сетей с параметрами, не превосходящими ε х, ε y.
Структура описанного алгоритма показана на рис. 10.58.
Перейдем к проработке отдельных его частей. Несложно получить оценки отличия оптимальных решений исходной МСК с множествами X и Y и показателем эффективности F"а от вспомогательной МСК с замкнутыми ограниченными множествами X* X, Y *
Y и показателем эффективности ЕA при одинаковой функции локальной эффективности ρ(х, у). Обозначим соответственно оптимальные стратегии через
и A*, а оптимальные значения показателей эффективности — через
и F*. Положим для простоты J = X×Y. Рассмотрим ГМСК. Значение показателя эффективности как исходной, так и вспомогательной МСК будем рассчитывать по формуле (10.184). Таким образом,
=
L (x), F* =
L (x).

Рис. 10.58. Структура общего алгоритма оптимизации МСК
Для оптимального значения показателя эффективности ГМСК получена оценка:
F*-LYδy≤ ≤F*+Lxδx. (10.188)
Следовательно, оптимизируя вместо исходной ГМСК вспомогательную ГМСК с конечными множествами X*, Y*, которые являются сетями соответственно с параметрами δx, δy, можно принять полученную стратегию A* за оптимальную для исходной ГМСК, допустив при этом проигрыш А:
∆ ≤
L (x) — F* + LYδy, (10.189)
но очевидно, что
L (x) ≤
L (x) + Lxδx = F* + Lxδx
Поэтому
∆ ≤Lxδx + LY. (10.190)
Обозначив через Ω меру множества X:
|
Из за большого объема этот материал размещен на нескольких страницах:
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 |


