Поскольку согласно лемме6все ηk / intF+, то на основании (172)
k
λs ≤ λ
s=0
для всех k ≥ 0 и следовательно ряд ∞ λk сходится.Отсюда приходим к выводу,
что
k=0
lim M(xk, ηk) = lim λk = 0. |
(173) |
k→∞ |
k→∞ |
|
Пусть x предельная точка последовательности {xk}, т . еx. = liml→∞ xkl .Из предельного равенства(173)следует,что
M(x , η ) = 0,
где η = limk→∞ ηk.Поэтому обязательно x X и кроме того ,f(x ) − η ≤ 0r. Но η , как уже отмечалось , не принадлежит множеству intF+. Отсюда приходим к
выводу,что x XS.Действительно,иначе для оценки f = f(x ) F можно |
было |
бы указать точку x˜ X и оценку f˜ = f(˜x) F такие,что f˜ < f .Но тогда |
f˜ < |
f ≤ η .Данное неравенство указывает на то,что справедливо включение η intF+. Мы пришли к противоречию.Таким образом, x X, а из неравенства f(x ) ≤ η вытекает,что на самом деле предельный вектор принадлежит границе множества
F+. .
В предложенном обобщении метода параметризации целевой функции выбор кон-
кретной оптимальной оценки f |
|
|
из множества всех оптимальных оценок F S сводил- |
|
|
|
|
|
|
|
|
|
|
|
|
ся к выбору начального вектораS |
η0 |
и направления e.Разные |
η0 / intF+ и разные |
e > 0r приводят к разным f |
|
F |
|
.Чтобы получить конечную аппроксимацию всего |
S |
|
|
|
|
|
|
|
|
|
|
множества F ,можно поступить следующим образом.Обратимся к так называемой |
идеальной точке |
|
|
|
|
|
|
|
|
|
|
|
|
fa |
= [f1, . . . fr], |
i |
min fi(x), 1 |
≤ |
i |
≤ |
r, |
a |
|
|
a |
|
fa = x X |
|
|
т.е.эта такая точка в критериальном пространстве,каждая компонента которой является минимальным значением соответствующего отдельного критерия на допустимом множестве X.Выберем начальный вектор η0 таким образом,чтобы он лежал строго"юго-западнее"идеальной точки.Другими словами,чтобы он удовлетворя неравенству η0 < fa.Возьмем также"пучок единичных направлений" ep, принадле - жащих внутренности неотрицательного ортанта Rr+ и равномерно накрывающих этот неотрицательный ортант.Тогда,проводя вычисления с каждым из этих направлений(в том числе,используя параллельные вычисления),можно получить достаточно полную конечную аппроксимацию множества F S.Разные лучи будут приводить к разным оптимальным решениям(см.рис***).
Отметим также,что даже если луч,выходящий из точки η0 и имеющий направле -
ние e, пересекает " юго - западную " границу множестваF в точке η = η (e), которая
+