Метода последовательных уступок

ИССЛЕДОВАНИЕ МЕТОДА ПОСЛЕДОВАТЕЛЬНЫХ УСТУПОК

Во введении при изучении отношения предпочтения ³, порождаемого векторным критерием, было выяснено, что в качестве оптимальных вообще могут выступать лишь эффективные стратегии. Поэтому возникают естественные вопросы: всегда ли использование метода последовательных уступок приводит к получению эффективных стратегий, а если не всегда — то в каких случаях (при выполнении каких условий) можно гарантировать получение лишь эффективных стратегий?

Оказывается, что метод последовательных уступок не всегда приводит к выделению лишь эффективных стратегий, т. е. решениями S) из задачи (1) могут быть и неэффективные стратегии. Это легко подтвердить простым примером.

Пример 1. Пусть множество UÌR3 — многогранник, изображенный на рис. 2, K1(u)=u1, K2(u)=u2, K3(u)=u3. Здесь решением 3 из задачи (1) является любая точка треугольника ABC (на рисунке он заштрихован), но эффективны лишь точки отрезка АС.

Справедливо, однако, утверждение: если u* — единственная (с точностью до эквивалентности) стратегия, являющаяся решением S) из задачи (1), то она эффективна.

Действительно, предположим, что стратегия u* неэффективна, так что существует стратегия u'>u*. Но стратегия u' также удовлетворяет всем ограничениям S) задачи (1) и доставляет критерию KS значение Qs; иначе говоря, u' оказывается решением этой задачи, что противоречит условию единственности u*. Утверждение доказано.

Можно доказать так же, что если UÌRn замкнуто и ограничено, Кr непрерывны на U, а стратегия, являющаяся решением S) задачи (1), единственна с точностью до эквивалентности, то любая максимизирующая последовательность, служащая решением S), эффективна.

Пример 2. Пусть UÌRn — выпуклое множество,

а все Кr квазивогнуты. При этих условиях множество стратегий, удовлетворяющих ограничениям r) задачи (1), также выпукло (r=1,2, …, S), так что каждая из задач 1), 2),…, S) является задачей квазивогнутого программирования. Если Ks строго квазивогнут, то решением задачи S) может служить лишь единственная и потому эффективная стратегия; если же |при этом U замкнуто и ограничено, а все Кr непрерывны на U, то любая максимизирующая последовательность, являющаяся решением S), эффективна.

Пример 3. Предположим, что из многогранника U задачи, описанной в примере 1, удалена вся грань А’В’С', но оставлена точка В. Теперь эта точка оказывается единственным решением 3) задачи (1). Здесь точка В, конечно, эффективна. Любая сходящаяся к ней последовательность внутренних точек многогранника, удовлетворяющих ограничениям задачи 3), будет максимизирую щей для Ks, но не будет эффективной. Указанное положение — следствие не замкнутости рассматриваемого в данном примере множества U.

В связи с тем, что не всегда стратегия, полученная с помощью метода последовательных уступок, является эффективной, возникает и такой вопрос: обязательно ли среди множества стратегий, выделяемых этим методом, существует хотя бы одна эффективная?

В общем случае на этот вопрос положительный ответ дать нельзя, однако имеет место такое утверждение: если UÌRn — множество замкнутое и ограниченное, а все Кr непрерывны, то решением S) задачи (1) служит по крайней мере одна эффективная стратегия.

Действительно, при выполнении условий этого утверждения множество Us стратегий-решений S) оказывается непустым, замкнутым и ограниченным. Следовательно, существует точка u*ÎUS, в которой функция достигает наибольшего на Us значения. Нетрудно убедиться в том, что u* эффективна.

Таким образом, при решении почти всякой прикладной многокритериальной задачи метод последовательных уступок выделяет в качестве оптимальных и эффективные стратегии. Однако необходимо отметить, что выделенные эффективные стратегии не обязаны быть эквивалентными (см. пример 1); но нетрудно проверить, что это возможно лишь при S³3.

Если нельзя гарантировать, что при решении рассматриваемой многокритериальной задачи метод последовательных уступок приводит к получению лишь эффективных стратегий (в частности, если по выполняется вышеприведенное условие единственности), то для выделения эффективной стратегии среди решений задачи S) достаточно, как показывает только что проведенное доказательство,

найти (2)

Однако практически более удобно применять такой прием: заменить в S) критерий Ks на,

где À — положительное число;

в результате получится задача:

(3)

Нетрудно доказать, что любая стратегия, являющаяся решением задачи (3), эффективна; более того, всякая максимизирующая последовательность, служащая решением этой задачи, также эффективна.

Смысл указанного приема заключается в том, что при достаточно малом числе À>0 для любой полученной в результате решения задачи (3) стратегии w значение критерия KS(w) будет весьма близким к Qs*) и эта стратегия эффективна, в то время как при решении S) задачи (1) может быть получена стратегия и, которую выгодно заменить некоторой эффективной стратегией v>u, существенно лучшей, чем и, но одному или даже нескольким частным критериям. А поскольку величины уступок А, на практике устанавливаются приближенно, то замена Ks на K*s при малых À>0 в силу указанной причины оказывается допустимой и оправданной.

Таким образом, понятие эффективной стратегии позволило уточнить вычислительную процедуру отыскания оптимальных стратегий методом последовательных уступок.

С другой стороны, метод последовательных уступок позволяет указать характеристическое свойство эффективных стратегий.

Теорема 1.

Для любой эффективной стратегии u* существуют такие числа D*r, что эту стратегию можно выделить методом последовательных уступок, т. е. при Dr=D*r, r=1, 2,…, S—1, стратегия u* является единственным (с точностью до эквивалентности) решением S) задачи (1).

Теорема 1 характеризует эффективные стратегии с помощью последовательности задач (1). В частности, она показывает, что метод последовательных уступок можно использовать для построения множества эффективных стратегий.