Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Детерминированная финансовая математика. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
976 Кб
Скачать

8. Э

Модели должны быть « настоль- ко простыми, насколько возможно, но не проще.

А. Эйнштейн

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

Внекоторых из них (например, при планировании производства) уже возникала проблема согласования решений при нескольких целях, критериях – как получить максимальную прибыль или (и) максимальное количество ассортиментных наборов. Чаще всего одновременная максимизация двух (и более) критериев (показателей, целевых функций) невозможна. Стремление к увеличению одного из них приводит к уменьшению других («за двумя зайцами погонишься...»), поэтому необходимо рассмотреть методы согласования критериев, методы принятия решений в условиях многокритериальности.

Вданной главе излагаются общие подходы к решению таких задач, их применение, некоторая общая схема интерактивного формирования функций ценности в диалоге с пользователем (лицом, принимающим решение – ЛПР) и принятие решений на ее основе.

8.1.Основные понятия и подходы к решению многокритериальных задач

Формальное описание таких задач может быть представлено в виде:

f (x) – max , x RX, (8.1)

x

где x – совокупность управляемых параметров (например, век-

тор x = (x1, ..., xn));

RX – множество их допустимых вариантов, согласованных с уравнениями и ограничениями, связывающими их;

f (x) = (f 1(x), ..., f m(x)) – вектор критериев (показателей).

101

Поскольку одновременная максимизация всех критериев, как правило, невозможна, эта формальная запись не может быть основой для решения, необходимо ввести некоторые принципы взаимодействия, сравнения, взаимной компенсации критериев.

Но предварительно необходимо обсудить вопрос о приведении произвольной многокритериальной задачи к стандартному виду (8.1), если в исходной постановке критерии f j имеют различную размерность, различный порядок величин и различную направленность, т.е. если f j , j J1 должны максимизироваться (т.ею вариант тем лучше, чем больше f j ), f j , j J2 – должны ми-

нимизироваться (т.е. чем меньше f j , тем лучше).

Поскольку для всех показателей практически могут быть установлены границы их изменения:

f ji f j f jв ,

очевидные преобразованияj ( ) ji

:

f j (x)=

f

 

x f

, j J1

(8.2)

 

f j

в

f ji

 

 

 

 

 

 

f j (x)= f jfвjв f jf(jix), j J2

нетолькоосуществляютприведениеквиду(8.1),–таккактеперь все fj (x) должны максимизироваться, – но и приводят все критерии к безразмерному виду (каковы бы ни были значения f j – в долларах, тысячах штук, тоннах, процентах и т.д., все fj – числа не зависящие от единиц измерения), а также «выравнивают» порядок величин, определяющих значение критериев, ибо в (8.2) все критерии принимают значения между 0 и 1 ( 0 ≤ fj (x) ≤ 1).

Если порядок величин критериев не слишком различен и все они – «однонаправлены», то масштабирование, приведение к единичному отрезку можно и не производить.

Множество допустимых вариантов RX является областью n-мерного пространства Rn (RX Rn), а отвечающие точкам x RX значения вектора f(x) образуют множество F Rm из m-мерного пространства (рис. 8.1):

f(x): Rn Rm.

102

 

 

 

 

 

 

 

xp

 

 

 

 

 

ʹ

 

 

 

 

 

 

f

 

 

ʹ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

͵

 

 

ͻ

 

 

 

 

 

͵

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ͺ

 

 

 

 

 

 

ͺ

 

ͻ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Rx

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пространство

Rn

 

 

 

Рис. 8.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

управляемых (выбираемых) параметров

 

называется пространством

альтернатив

Rm

критериальным

 

 

 

 

 

, а

 

 

 

 

 

 

 

 

 

 

 

 

пространством.

 

 

 

 

x

меняются дискретно,

то все возможные

Если параметры

 

(допустимыеi

) варианты можно пересчитать, перенумеровать, и

множествоX

альтернатив превращается и список точек

 

 

 

 

 

 

R

= {

x i

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

 

 

 

 

 

 

 

 

 

= 1, ...,

 

}

 

 

 

совокупностью

 

 

 

 

 

номеров

иI iоднозначноi

 

описывается

 

f

их

f

 

 

i

=f1,...,

 

N

}, а множество

F

– в список векторов

 

=

 

 

x

:

 

={F

 

 

 

 

 

 

 

 

 

 

( )

 

 

 

= {

 

 

 

i I

}.

 

 

 

 

 

 

 

 

 

 

 

 

и их номерами. Оче-

На рис. 8.1 эти точки отмечены кружкамиx X

видно, что некоторые альтернативы

R

 

 

 

 

быть отброше-

 

y могутX

ны, если найдется другая альтернатива

 

R

, для которойxзна-

чения всех критериев не хуже, а хоть один – лучше, чем для .

 

Такое отношение между альтернативами называется

домини-

рованием

и обозначаетсязнаком

;

(«предпочтительно»), а меж-

ду векторами критериев (больше или равно, но хоть для одной

координаты – больше), т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y ; x f

 

 

y

)

f x

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(8.3)

 

 

 

 

 

 

 

 

 

(

 

 

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Соответственноi i

, для дискретного случая

 

 

 

 

 

 

 

 

 

 

(8.3')

1

;

 

2

f i

 

f i

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

m.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим,

 

 

что

 

 

и никак между собой не связаны, может

быть и

m

>

n

, и

 

m

<

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для принятия решения нужно рассматривать только те точки (альтернативы), для которых нет доминирующих альтернатив, и

совокупность таких точек называется

множеством Парето

или

множеством

эффективных

точек

П

:

 

 

П

= {

x x RX, ¬ y RX, y ; x

},

 

 

(8.4)

 

 

 

 

 

 

103

а соответствующее этим точкам множество ПF образом множества Парето в критериальном пространстве:

 

ПF = {f(x) x RX, ¬

ˆ

 

ˆ

 

 

 

 

 

 

 

(8.4')

 

f F,

 

f f (x) },

 

 

 

(по имениi

Вильфредо Парето, 1848–1923j

ггi ., введшего эти по-

нятияF

в 1909f

г.).

ПВ дискретномП

случае

 

 

 

 

 

 

П

 

= {

 

i

I

},

I

 

= {

i i I

,

¬ j I, f f

},

(8.4'').

 

 

 

 

 

 

 

I

 

i

 

 

n

 

I

П

 

 

 

На рис. 8.1,

 

=П

{

 

i

 

 

}

 

= {2, 6, 7, 10} и соответ-

 

 

 

ПF

= 1, 2, ...,

 

 

 

ствующиеF

точки

и – зачернены; для непрерывного случая

П

отмечено жирной линией (часть «северо-восточной» грани-

 

F

), а отметить

П

мы не можем,

ПпокаF,

не знаемf x, какие точки

цыRX

 

 

в

 

являютсяX

прообразами точек

 

 

 

не знаем

( ). Остальные

точки

R

и

F

доминируются точками множества Парето или его

 

 

образа.

Существенно, что переход от одной точки множества Парето (или его образа в критериальном пространстве) к другой связано с тем, что при улучшении (увеличении) одного критерия неизбежно ухудшается значение какого-то другого!

Теперь возникают две основные задачи многокритериального анализа:

научиться строить множество Парето (или его образ);

предложить способы выбора точки на этом множестве. Первая задача сравнительно легко решается, если ограни-

чения, определяющие множество Rx и критерии fi(x) – линейны. При этом множество Rx является многогранным и, при его ограниченности, однозначно определяется своими вершинами {xk}, k =1, ..., K, а F – также многогранник. Поэтому достаточно рассмотреть образы этих вершин f k = f (xk), найти их выпуклую оболочку (часть вершин xK при отображении f(x) может попасть внутрь F и перестать быть вершинами), и выделить те вершины, которые определяют ПF,а по ним найти П.

В общем виде для этого линейного случая имеем:

 

 

 

 

 

 

 

 

 

 

K

 

αk xk = X α αk ≥0,

K

αj =1}, (8.5)

RX ={x A x b, x ≥0}={x =k=

j=

X

xij

 

 

 

 

 

 

 

1

 

1

 

fj =x ((

c)),j x

f

x

) =

C x

,

C

= ((

cji

)),

 

 

(

) =

,

(

 

 

 

 

 

 

104

F = { f f = C x, x RX } = {f f = CXα} = {f f = Fα} =

= {f f = k

 

K

αj =1},

(8.6)

f k αk , αk ≥ 0, j=

F = C X, fjk = k

1

 

 

c ji xik = cj xk.

 

 

Вершины xk легко находятся Жордановыми преобразованиями. В качестве примера рассмотрим задачу производственного планирования, которая имеет вид:

x = (x0, x1, x2), c1 = (0, 20, 15), c2 = (1, 0, 0),

0 3

2

 

 

18

 

A =

0

2

3

 

,

b =

15

.

 

0

1

1

 

 

 

10

 

 

5

3

2

 

 

 

0

 

 

2

0

1

 

 

 

0

 

 

1

2

0

 

 

 

0

 

Перебирая все допустимые Жордановы преобразования исходной таблицы, сохраняющие неотрицательность последнего столбца, получим x0 = (0, 0, 0); x1 = (0, 0, 5); x2 = (9/10, 24/5, 9/5); x3 = (0, 6, 0); x4 = (15/17, 15/14, 30/7);

соответствующие значения f:

f 0 = (0, 0), f 1 = (75, 0), f 2 = (123, 9/10), f 3 = (120, 0), f 4 = (600/7, 15/7).

Упражнение 8.1. Записать матрицы С,X и подсчитать матрицу F, столбцы которой дают f k.

Если не вводить x0, то допустимое множество RX – двумерно,

x = (x1, x2):

3

RX = {x1, x2 x = αk xk , αk ≥0, αk =1} =

k=0

={x1,x2 x1=6α1+24/3, x2=5α2+9/30123=1,αk≥0},

но вторая целевая функция – нелинейная, точнее – кусочно-

линейнаяf

:x

 

 

x

 

 

f

 

 

min

 

 

x

 

+

 

x

 

,

x

 

 

x

 

 

1

 

2

 

2

 

 

3

 

1

 

2

 

2

 

2

 

1

 

1

= 20

 

+ 15

 

;

 

=

 

{

 

5

 

 

 

, 2

 

};

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

105

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

3

 

 

1

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

1

 

 

2

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

x

+

x

, если

 

x

+

 

x

 

 

 

 

 

2x

 

1

 

 

 

x

+

x

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

x

 

 

+

 

 

,

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

5

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

,

 

если

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

x

 

 

 

x

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

,

 

если

 

 

1

 

 

 

 

 

2

 

1

3

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поэтому, область

RX

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

RX

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(совпадающаяx

 

 

 

 

 

на рис. 8.2) разбивается на

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

x

 

 

+

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

x

 

=

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

три частиxпрямыми 2

 

1

 

3

 

 

1

 

 

2

 

 

 

2

 

 

 

или

1

 

2

2

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

x25

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

= 3

 

1

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

+

 

 

 

x

 

 

 

илиx6

 

 

 

 

=

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

=

 

 

x

 

 

 

 

 

 

 

 

 

x

 

=

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

1

 

 

 

 

1

 

 

 

4f

2

 

x

 

линейнаx x . Однакоx

легко видетьx

,

 

 

что

в каждой из которых

 

 

 

 

 

 

перваяx

область – пуста ( 1

 

 

 

 

 

2/7,

 

 

 

1

 

 

 

 

 

2/6), вторая (

 

 

 

1

x

2

/4,

x

2x/6), определяется неравенством

x

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

1

x

2 /4,

x1

 

 

 

1x

1

2x/4, а третья (

 

 

 

 

 

B10

2

 

2/x07)Bопределяется1 x1 2 2

 

 

неравенством3 3

 

 

 

 

 

 

2 / 4, т. е. к вершинам4

=0=

,

 

 

 

 

=x

 

 

 

 

B

=

x

 

x,

B

=

 

x

необходимо добавить еще

B

с ко-

 

 

 

 

4

,=

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

ординатами

 

 

 

 

 

 

15

 

,

 

 

4

 

 

30

 

.

 

 

 

 

 

 

k

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

14

 

 

 

2

 

 

 

7

 

 

 

 

 

 

x

 

и

f

 

 

приведены в таблице 8.1.

 

Значения координат вершин

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 8.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f1

 

 

 

 

 

 

 

f2 = x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

75

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

24 5

 

 

 

 

 

 

 

 

 

9 5

 

 

 

 

 

 

 

 

 

 

 

 

123

 

 

 

 

 

 

9 10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1205

 

 

 

 

 

 

 

 

0/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

85 /7

 

 

 

 

 

15 7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

15 14

 

 

 

 

 

 

30 7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значения координат точек f k отложены на рис. 8.2 (для наглядности масштабы по осям – различны), откуда следует, что f 1 – не является вершиной F, множество ПF является отрезком f 2, f 4, а множество Парето – отрезком B2, B4:

ПF = { f1, f2 f1 = β 123 + (1 – β) 600/7,

106

Рис. 8.3

f

 

β

 

/

 

γ

β

) 15

/

≤ β ≤

 

fʹ

 

 

 

 

f

 

 

П2 = x9

 

x10+x(1

 

 

7, 0γ

/ 1},

 

 

 

 

 

 

x

2

={γ1,

/2 1=

γ24/5+(1–≤γ≤)15 14,

ʹ

 

 

 

 

 

 

 

 

 

=

9 5 + (1- ) 30/7, 0

1}.

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

П

 

 

П

 

выше,

выбор

 

 

 

 

F

 

 

ʹ

Как уже отмеченоF

 

 

 

 

 

 

точки на

 

(или

 

 

)

определяется

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ЛПР или введением некоторых до-

f

 

 

 

 

 

f ͵

 

 

 

 

f

 

 

полнительных правил. Одним из

 

 

 

 

 

 

 

f

 

наиболее часто применяемых пра-

 

ʹ

 

ͺ

ʹ

 

 

функции ценности

 

 

 

 

 

 

 

 

 

 

Рис. 8.2

 

 

 

 

вил такого типа является введение

 

 

 

 

 

 

ϕ(f): ПF R1,

 

 

 

 

 

 

 

 

ϕ

 

f

 

 

 

 

ϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

некоторое число .

 

ставящей в соответствие вектору критериев

 

 

Простейшей формой функции

 

является линейная связка

критериев:

ϕ(f(x)) = λj fj(x): П R1,

j

где веса λj>0 и могут быть нормированы двумя способами: либо λj =1, либо λ1 = 1 (в последнем случае λj являются «коэффици-

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и показывают, скольким единицам fj эквива-

ентами замещения»f

 

 

 

 

 

 

 

 

 

 

 

;

 

 

1

на 1).

П

 

 

 

 

 

 

 

 

 

 

 

лентно изменение

 

1

 

ϕ f x

 

 

условием:

 

 

 

 

 

 

 

П x

 

 

 

x ϕ f x

 

 

 

 

 

 

Тогдаx1 x2 предпочтение1 2

на

 

определяется2

 

 

 

 

,

 

 

 

 

,

 

 

 

 

 

λj

 

 

( (

)) > ( ( ))

 

 

 

 

 

(8.7)

 

 

Выбор весов

 

 

является наиболее «слабым» методом рас-

 

 

 

 

 

теорема

 

 

 

 

 

 

R

 

 

 

 

 

 

f x

 

 

 

 

 

 

 

сматриваемого подходаX , но многое проясняет следующая [17,

с. 254]

 

 

 

 

 

 

 

.Если

 

–выпукло,а (

)–вогнутаявектор-функ-

 

 

 

 

 

 

 

 

 

 

П

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

ция(вчастностиx0

,–линейная),то

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

0

 

 

 

 

 

 

 

 

 

 

 

x

0век-

 

 

 

 

 

 

 

 

 

 

для всякой

 

 

 

 

 

 

найдется

 

 

 

 

 

 

 

 

 

 

тор весов

 

 

 

 

 

 

λ f

 

 

, что

 

 

да-

 

 

 

 

 

M

O

 

f Const

 

 

 

 

>ϕ0 такой0

 

 

 

 

 

 

 

 

 

етмаксимум

 

λ=0

 

 

 

инаоборот–

 

 

 

 

f

 

 

 

 

ϕ λ

 

f

 

 

 

 

 

 

 

 

 

>

 

0

максимум

 

 

 

 

 

 

 

 

 

 

для

0всякого

 

 

 

 

 

 

 

 

F

 

 

 

 

 

 

=

 

 

 

П

 

 

 

 

 

 

 

 

в некоторой

 

 

 

 

 

 

 

 

 

 

 

 

 

xдостигается0

 

 

 

 

 

 

 

 

 

 

точке

 

 

 

 

.

 

 

 

 

 

полного

дока-

 

 

 

 

 

 

 

 

 

 

 

 

Не приводя

 

 

 

 

 

 

 

 

 

 

f

 

зательства,

 

 

 

поясним

ее

 

дву-

 

 

 

 

 

 

 

 

 

мерным случаем (рис.

8.3). Из

 

 

 

 

 

 

 

 

 

 

условий теоремы вытекает, что

107

F – выпукло и для любой x0 П(f(x0)=f 0 ПF) найдется прямая (гиперплоскость при n >2) ϕ = λ0f = Const, касающаяся ПF в точке f 0, т.е. максимизирует ϕ и наоборот.

Эта теорема, с одной стороны, подчеркивает субъективность выбора весов (меняя веса, можно «объявить» наилучшей, согласно (8.7), любую точку множества Парето), а с другой стороны, меняя веса и решая однокритериальные задачи оптимизации для каждого фиксированного λ

maxf(x) x RX} = f(xλ) (8.8)

мы получаем точки xλ П (f(xλ) ПF), достаточно полно описывающие П.

В линейном случае эта задача сводится к задаче линейного параметрического программирования:

ϕ=λj (c j x)max

(8.8’)

Ax b, x ≥ 0

идает обычно все вершины П, ПF (и только их), избавляя от перебора вершин xk, вычисления f k и отсева «внутренних» образов f (xk).

Упражнение 8.2. Для рассмотренного выше примера решить однопараметрическую двумерную задачу линейного программи-

рования (0 ≤ λ1 ≤ 1, λ2 = 1 – λ1)и убедиться, что решение ее дает точки B2 и B4 (и только их).

Вm-мерном случае эти вычисления легко осуществляются с помощью программы параметрического линейного программирования (PLP).

Другой подход связан с введением «идеальной точки» f max F

ивыборе на ПF точки f 0, ближайшей к идеальной:

min

 

 

f max f

 

f ПF

} =

 

 

f max f 0

,

 

 

 

 

(8.9)

 

{

 

 

 

0,

 

0

 

 

.

 

 

 

 

 

 

 

 

 

f x

 

f

x

П

 

 

 

 

f max

 

 

 

(

0) =

 

 

 

 

 

 

 

 

 

 

 

и метрику (понятие

Однако и при таком подходе, изменяя

 

нормы), хотя бы за счет измененияf

масштабов, опять-таки, мож-

но получить различные точки на

П

(и соответственно,

П

). Кроме

того, задача (8.9), как правило, сложнее, чем (8.8).

 

 

крите-

Упомянем еще подходы, связанные сf

ранжированиемx

риев (когда сначала ищется оптимум по 1( ), а затем – исследует-

108

ся возможность улучшения следующего критерия, может быть, за счет уменьшения f1max и т.д.) и «метод компромисса»:

если f j* = max{fj(x) x Rx}, то «оптимальной» считается точка x RX, для которой

f * f

 

x

=ψ(x) j x RX

f j*

j

( )

j

 

 

min

 

 

 

 

(т.е. точка, в которой относительное отступление от оптимумов по каждому критерию – одинаково и минимально).

Более подробные сведения об этих подходах см. в [18]. Метод компромисса реализован в пакете ASTROP и его позднейших модификациях для ПЭВМ.

8.2. Интерактивное формирование функции ценности

Формирование предпочтений вариантов (проектов, изделий и т.п.) при нескольких показателях каждого варианта обычно существенно использует мнение экспертов ЛПР – лица, принимающие решение) в той или иной форме – начиная от наиболее «жесткого» требования: «выдать коэффициенты замещения для всех показателей», т.е. по вектору показателей, критериев f = (f1, ..., fn) построить аддитивную функцию полезности

n

ϕ = λf = λi fi и кончая более слабыми: попарного сравнения

j=1

вариантов или указания для данного варианта эквивалентных изменений двух показателей.

Наиболее слабой формой получения сведений от экспертов, часто применяемой в различных технических приложениях, является требование указать частичное ранжирование (без указания количественных оценок), т.е. из всего множества вариантов I = { i } выделить упорядоченное подмножество:

I0 = (i0, i1,..., ir), i0 ; i1 ;... ; ir (8.10) (такое упорядочение будем называть базовым ранжированием).

Упорядочение (8.10) может состоять и из нескольких отдельных предпочтений.

109

Возникает вопрос, как можно наиболее полно использовать эту информацию для решения дискретной задачи многокритериальной оптимизации сравнения иных вариантов (i I\I0) или количественной характеристики рассматриваемых вариантов?

Наиболее простым и распространенным способом сравнения вариантов (хотя далеко не всегда возможным) является построение уже упомянутой выше аддитивной функции полезности:

n

n

λj =1

ϕ i = λf i = j=

λj f ji , λj ≥ 0, j=

1

1

 

и сравнение вариантов по ее значениям:

i1 ; i2 ϕi1 i2

Поэтому возникают вопросы:

1.Можно ли по базовому ранжированию (8.10) установить возможность его «перевода» на язык аддитивной функции полезности ϕ?

2.Как реализовать построение такой линейной связки критериев т.е. вектора λ, согласованного с (8.10)?

3.Как сказывается на построении этой линейной связки наложение дополнительных условий?

4.Как обеспечить при этом инвариантность предпочтений ва-

риантов, не вошедших в I0, т.е. сохранение предпочтений при изменении λ?

Этим вопросам посвящен данный пункт.

Базовое ранжирование (8.10) эквивалентно (если существует согласованная с ним линейная связка критериев) неравенствам:

ϕi0 > ϕi1 > ... > ϕir ,

т.е. системе линейных неравенств для вектора λ:

λ( f ik – f ik+1 ) ≡ λDk > 0, k = 0, 1, ..., r–1 или λ D > 0, D = (( Dk )),

к которым необходимо добавить условия неотрицательности и нормировки весов λj.

Отметим, что каждое отдельное предпочтение дает соответствующий ему вектор Dk и потому матрица D формируется для любого набора частных предпочтений.

Для описания всего множества весовых коэффициентов Λ0, отвечающих ранжированию (8.10), можно было бы применить

110

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]