Вы находитесь на странице: 1из 18

Бинарные отношения являются теоретическим основанием теории принятия решений,

потому что свойства бинарных отношений качественно интерпретируются в терминах системы


преимуществ ЛПР.
В таблице 2.1 приведены все математические обозначения.
Таблица 2.1 Математические обозначения
Виды и операции над бинарными отношениями. Аппарат бинарных отношений в теории
принятия решений служит теоретическим основанием в случае оценивания преимуществ
альтернатив путем их по парных сравнений. Достаточно широкое распространение такого подхода
понятно, поскольку он служит для определения преимуществ ЛПР или эксперта «в чистом виде», а
сравнить две альтернативы гораздо проще, чем сразу большое количество.
Бинарным отношением на множестве А называется подмножество А А, то есть R
АА. Если пара находится в отношении R, то этот факт обозначается как xRy или (x,y)R.
Множество А называется носителем отношения R.
Матричная форма. Пусть бинарное отношение R определено на конечном n-элементном
множестве А. Перенумеровываем элементы множества А числами от 1 до n, card(A)=n и
рассмотрим квадратную матрицу В размером nn, в котором i строка и i столбец будут
соответствовать i элементу множества А. Определим элементы В в зависимости от выполнения
отношения следующим образом:

1, если _ x i Rx j
bij  
0, если _(x i , x j )  R
где x i  A, x j  A . Таким образом отношение R на конечном множестве А мощностью n
элементов задается матрицей
B( R )  b ij ( R )

Поскольку элементы множества А можно перенумеровать любым образом, и всего


существует n! разных нумераций, то соответственно существует n! матриц, которые описывают
конкретное бинарное отношение.
Областью определения бинарного отношения называется множество
 R  a  A (b  A ) : (a , b)  R 
то есть области определения принадлежат те элементы множества носителя А, для
которых найдется хотя бы один элемент этого множества с которым они будут в отношении
aRb.
Областью значений бинарного отношения R называется множество
 R   b  A (a  A ) : (a , b)  R 
то есть области значений принадлежат те элементы множества носителя, для которых
найдется хотя бы один элемент, который будет с ними в отношении R.
(Рассмотреть пример 2.7 из Катренко)
Графы. Поставим в обоюдно однозначное соответствие элементам А={x1,x2,…xn}
вершины графа G(R)=<L,N>, где N={1,…,n}-множество вершин графаG, L- множество дуг, при
этом L={(i,j)xiRxj}, то есть дуга в графеG соединяет вершины i и j лишь тогда, когда x i  A, x j  A
находятся в отношении xiRxj (в случае xjRxi дуга превращается в петлю). Таким образом бинарное
отношение представляется в виде ориентированного графа G(R).
Отношение R можно так же описать с помощью пересечений (сечений) множества А.
Верхним пересечением R  ( x ) отношения R с множеством носителем А относительно
элемента x является множество
R  ( x )   y  A ( y, x )  R 
Нижним пересечением R  ( x ) отношения R с множеством носителем А относительно
элемента x является множество
R  ( x )   y  A ( x , y)  R 

В литературе так же встречается термин «прообраз» и обозначается R 1 ( x ) = R  ( x ) , и


«образ» для R ( x ) = R  ( x )
Основные типы бинарных отношений. Основными элементарными бинарными
отношениями являются: пустое, полное, диагональное, антидиагональное.
Пустым называется отношение R (обозначается ), если оно не выполняются ни для
одной пары (x,y) АА, то есть
R   : (( x , y)  A  A)(( x , y)  R )
где  - квантор «не существования» («не найдется ни одного»), и соответственно в матрице В
все элементы нулевые, граф G не имеет дуг, и для любого x A пересечение R  ( x ) = R  ( x ) =.
Полным называется отношение (обозначается U), если оно выполняется для всех пар (x,y)
 АА, то есть
R  U : (( x , y)  A  A)((x , y)  R )
в матрице В все элементы равны 1, граф G – полный, для любого x  A пересечение R  ( x ) =
R  ( x ) =А.
Диагональным называется отношение (обозначается Е), если оно выполняется для
одинаковых элементов, то есть
R  E : ((( x , y)  A  A )  ( x  y))((x , y)  R ) .
Для диагонального отношения матрица B( E )  b ij ( E ) определяется как

1, если _ i  j
bij (E)  
0, если _ i  j
в графе G(E) есть только петли и R  ( x ) = R  ( x ) ={x}.
Антидиагональным называется отношение (обозначается E ), если оно выполняется для
всех пар (x,y)  А, в которых xy, то есть
R  E : ((( x , y)  A  A )  ( x  y))((x , y)  R ) .
Элементы матрицы В( E ) определяются как

1, если _ i  j
bij (E)  
0, если _ i  j
в графе G( E ) есть все дуги, кроме петель и R  ( x ) = R  ( x ) =А\{x}.
Операции над бинарными отношениями и связи между ними. Над бинарными
отношениями могут выполняться следующие основные операции: пересечение, объединение,
нахождение разности, дополнение, обратное отношение, композиции, сужения, включения.
Рассмотрим два P  A  A и Q  A  A отношения и определим на них основные операции.
Пересечением отношений P и Q (обозначается P Q ) называется отношение, в которое
входят пары (x,y) общие для P и Q
P Q  ( x , y)  A  A (( x , y)  P )  (( x , y)  Q)
Объединение отношений P и Q называется отношение, которое образует пары , которые
входят либо в P, либо в Q, то есть
P  Q  ( x , y)  A  A (( x , y)  P)  (( x , y)  Q)
Разность P\Q отношений P и Q называется отношение, которое состоит из пар (x,y) P,
которые не входят в Q, то есть
P \ Q  (x, y)  A  A ((x, y)  P)  ((x, y)  Q)
Симметричной разностью PQ отношений P и Q называется отношение , которое
состоит из пар отношений P  Q (объединения), которые в тоже время не принадлежат к
P  Q (пересечению), то есть

PQ  (P Q) \ (P Q)  (P \ Q) (Q \ )P


Дополнением P отношения P называется отношение, в состав которого входят пары
(x,y)P, то есть

P  (x, y)  A  A (x, y)  P _ или _ P  (A  A) \ P


Отношения P и P создают разбиение множества АА, то есть P  P  A  A , P  P   .
Обратным отношением P 1 к отношению P  A  A называется отношение, в состав
которого пара (x,y) входит только тогда когда (y,x)P:
P 1  ( x , y)  A  A ( y, x )  P .
Композицией P  Q отношений P и Q называется отношение, которое создает все пары
{x,y}AA, для которых существует zA такое, что справедливы утверждения (x,z) P и (z,y)
Q то есть
P  Q  ( x , y)  A  A (z  A) : (( x , z)  P)  ((z, y)  Q)
Отдельный случай композиции – квадрат отношений P2= P  P . Аналогично по индукции
можно определить P n  P n 1  P
Сужением отношения P на подмножество D  A называется отношение PD, в состав
которого входят (x,y) P, которые xD и yD, то есть
PD  ( x , y)  A  A (( x , y)  P)  ( x  D)  ( y  D) .
Отношение P содержится в отношении Q если все пары (x,y) P принадлежат так же Q,
то есть
P  Q : (( x , y)  P )  ( x , y)  Q
Изо- и гомоморфизм отношений. Связь между отношениями, определенными на разных
множествах описывается в терминах изо- и гомоморфизма.
Изоморфными называют отношения P с носителем А (то есть P  A  A и Q с носителем
С( Q  C  C )), если существует взаимно однозначное отображение
 : A  C такое, что xPy   ( x )Q ( y)
где xA,yA,  ( x ) C,  ( y) C.
Гомоморфным называется однозначное отображение отношения P с носителем А в
отношение Q c носителем C, то есть существует однозначное отображение А в С
 : A  C такое, что xPy  ( x )Q( y)
где xA,yA,  ( x ) C,  ( y) C, при этом обратное отношение не действительно.
Важное значение в теории выбора, построенной на бинарных отношениях, имеет понятие
двойственное отношение.
Двойственным по отношению к P называется отношение
P d  P 1  ( P ) 1 .
Для того чтобы совершить переход от графа G(P) к графу G( P d ) необходимо: удалить из
графа все пары противоположных дуг и петли; добавить пары противоположных дуг для тех
вершин, которые в G(P) не были связанны дугой; добавить петли при тех вершинах, при которых
они отсутствовали в G(P).
Для двойственных отношений производятся следующие соотношения:
( P d ) d  P, ( P  Q ) d  P d  Q d , ( P  Q ) d  P d  Q d .
Основные действия над бинарными отношениями наглядно интерпретируются при
изображении их в виде соответствующих графов. Так, граф дополнения G( P ) к отношению P
состоит из того же множества вершин, что и граф G(P), но в нем есть только те дуги, которые
отсутствуют в графе G(P); граф G( P 1 ) можно получить из графа G(P) путем изменения
направлений всех дуг и т.д.
Согласно определения основных действий над бинарными отношениями приведены
формулы для получения соответствующих элементов матрицы В(n  n) в матричном виде для
результирующего отношения:
b ij ( P  Q)  b ij ( P )  b ij (Q )
b ij ( P  Q)  b ij ( P )  b ij (Q )
b ij ( P )  1  b ij ( P ), b ij ( P 1 )  b ji ( P )
b ij ( P \ Q )  b ij ( P )  (1  b ij (Q ))
b ij ( PQ )  ( b ij ( P )  (1  b ij (Q )))  ((b ij (Q )  (1  b ij ( P )))
b ij ( P  Q )   ( b ik ( P )  b kj (Q ))
k 1, n
Еще несколько полезных соотношений для произвольных бинарных отношений с общим
носителем А:
(P  Q) 1  Q 1  P 1
( P  Q)  R  ( P  R )  (Q  R )
( P  Q)  R  ( P  R )  (Q  R )
(P  Q) 1  P 1  Q 1 ; ( P Q) 1  P 1  Q 1

(P 1 ) 1  P; P 1  ( P) 1
Бинарные отношения в теории принятия решений
Свойства бинарных отношений.
В теории принятия решений используются определенные типы бинарных отношений,
которые имеют конкретные свойства. Один из подходов состоит в том чтобы сформулировать
свойства желаемого отношения в форме аксиом с последующим поиском конструктивного метода
создания такого отношения или класса отношений, или доказательства невозможности его
существования, если система аксиом противоречива.
Основными свойствами отношений являются: рефлексивность, антирефлексивность,
симметричность, асимметричность, антисимметричность, транзитивность, ацикличность.
Рефлексивным называется такое отношение P, для которого справедливо утверждение
EP, где Е – диагональное отношение. Это означает что для всех xA, где А – носитель P, xPx. В
матрице рефлексивного отношения на главной диагонали всегда стоят единицы, а в
соответствующем графе при каждой вершине находится петля.
Антирефлексивным называется отношение P, для которого P  E   . Это означает, что
для всех xA:(x,x)P, то есть в матрице отношения на главной диагонали всегда стоят нули, а в
графе отсутствуют петли.
Симметричным называется отношение Р, для которого P  P 1 . Это значит что для всех
x, yA, которые находятся в отношении Р, то есть xPy, справедливо утверждение yPx. В матрице
симметричного отношения элементы bij и bji, размещены симметрично относительно главной
диагонали, равные между собой. В графе G(P) наличие дуги (xi,xj) означает наличие дуги (xj,xi).
Асиметричным называется отношение Р, для которого P  P 1   , то есть если (x,y) P
то (y,x)P. В матрице ассиметричного отношения b ij (P)  b ji (P)  0 для всех i и j, а на главной
диагонали находятся нулевые элементы. В графе G(P) нет одновременно дуг (xi, xj) и (xj, xi) и
отсутствуют петли.
Антисимметричным называется отношение Р, если P  P 1  E , где Е- диагональное
отношение. Таким образом выражения xPy и yPx справедливы одновременно лишь тогда, когда
x=y. В матрице B(P) условие b ij (P)  b ji (P)  0 выполняется для всех i,j кроме i=j. В графе G(P) не
существует одновременно дуг (xi, xj) и (xj, xi), но возможны петли.
Транзитивным называется отношение, для которого P  P  P , то есть если xPz и zPy, то
xPy. По индукции как следствие получаем: если xPz1,z1Pz2…,znPy, то xPy. В матрице B(P)
транзитивного отношения для произвольных значений i, k справедливо соотношение:
n
 ( b ij ( P )  b jk ( P))  b ik ( P) .
j1

В графе G(P) существует дуга (x,y) если существует путь из x в y.


С понятием транзитивного отношения тесно связанно понятие операция транзитивного

замыкания. Для каждого отношения Р определим отношение P , как минимальное транзитивное
отношение, в состав которого входит Р. Такое отношение определяется однозначно, как

P  P  P 2 ...  P n , где n=card(A), A – носитель Р, card(A) – мощность множества А.
Ацикличным называется отношение Р, для которого P k  P 1   для произвольного k. Для
ацикличного отношения xPz 1 , z1 Pz 2 ,..., z n Py  x  y , то есть если в графе G(P) ацикличного
отношения вершины x и y соединены путем, то в нем нет дуги (y,x).
Ацикличность и транзитивность – это важные свойства с точки зрения теории принятия
решений, так как отображают определенные природные связи между объектами. Если x лучше в
определенном смысле чем y, а y лучше z, то в этом случае естественно полагать, что x лучше z
(транзитивность), и минимум z не лучше x (ацикличность).

Связным отношением называется отношение Р, для которого (P P 1 ) \ E  U \ E , где P 1 -

обратное отношение, U – полное отношение, Е – диагональное отношение. Это означает, что для
произвольных x, y А, xy где А – носитель Р или (x,y)  P или (y,x)  P. В матрице В(Р) хотя бы
один из элементов bij, bji равен единице, а граф G(P) – связанный.
Утверждения:
 Отношение Р симметрично лишь тогда, когда P  P 1 ;
 Если отношение Р асимметрично, то оно антирефлексивно;
 Если отношения Р и Q симметричны, то симметричны и отношения Р  Q P  Q;
 Композиция симметричных отношений Р и Q является симметричной, если
выполняется необходимое и достаточное условие коммутативности P  Q  Q  P ;
 Обратное к транзитивному отношению Р отношение P 1 является транзитивным;
 Пересечение произвольного количества транзитивных отношений с одним и тем же
носителем является транзитивным отношением; (Для операций объединения это утверждение
неправильное, что имеет глубокий прикладной смысл: если мы хотим построить результирующее
групповое отношение, при этом отношения экспертов транзитивны, то при объединении их
свойства транзитивности исчезает. Результирующее отношение при объединении будет
транзитивным при условии дополнительных условий. Введем понятие транзитивности одного
отношения относительно другого. Отношение Р называем транзитивным относительно Q, если
xPy  yQz  xPz, xQy  yPz  xPz )
 Если два отношения транзитивны и одно транзитивно относительного другого, то
объединение этих отношений является транзитивным;
 Пусть Р – транзитивное отношение. Тогда его симметричная составляющая Р S-
транзитивна; его асимметричная составляющая РА транзитивна; РА транзитивна относительно РS;
 Симметричная составляющая отношения квазипорядка является отношением
эквивалентности;
 Отношение Р является ацикличным только тогда, когда его отношение достижимости
~ ~
P антисимметрично, то есть когда P - отношение порядка;
 Если граф линейного отношения не имеет контуров, то оно транзитивно.
Свойства бинарных отношений, рассмотренные выше, позволяют определить типы
бинарных отношений, которые имеют важное значение в теории принятия решений, а именно
отношение толерантности, эквивалентности, квазипорядка (полу-порядка, неполного порядка) и
строго порядка (линейного порядка).
Толерантностью (I) (равнодушием) называется отношение Р которое одновременно
является рефлексивным и симметричным.
Эквивалентностью называется отношение Р, которое одновременно является
рефлексивным, симметричным и транзитивным. Таким образом эквивалентность – это
толерантность, которая имеет свойство транзитивности.
Квазипорядком называется отношение Р, которое является одновременно рефлексивным и
транзитивным.
Порядком называется отношение Р, которое одновременно является рефлексивным,
антисимметричным и транзитивным.
Строгий порядок – отношение Р, которое одновременно асимметрично и транзитивно.
Линейным (полным) порядком является отношение Р, которое одновременно рефлексивно,
антисимметрично, транзитивно и связное.
Достижимостью ~ P для произвольного отношения Р называется наименьшее из отношений
квазипорядка, которое в себе имеет Р.
Другими словами, достижимость
~  card ( A )
P  E  P  E (  P i )
i1
где Е- диагональное отношение, А – носитель отношения. Матрица достижимости имеет единицы
на главной диагонали, а граф соответственно – петли при каждой вершине, потому что каждая
вершина графа достижима сама из себя, то есть достижимость всегда рефлексивна в отличии от
транзитивного замыкания. Отношение достижимости Р отображает существование пути в графе
G(P), то есть a ~
P b (где a,bА) только тогда, когда существует путь из вершины а в вершину b в
графе G(P) отношения Р. 
Взаимной достижимостью P для произвольного бинарного отношения Р называется
симметрическая составляющая соответствующего отношения достижимости ~ P .
 ~ ~
P  P  P 1

Таким образом a P b лишь тогда, когда найдется путь в графе G(P) отношения Р как с
вершины а в вершину b, так и из b в а, то есть а и b входят в состав контура в графе G(P).
Агрегирование бинарных отношений. Агрегирование или укрупнение отношений
позволяет получить и исследовать их общие свойства, а так же разработать процедуры
корректировки отношений, полученных экспертным путем. В случае агрегирования структура
первоначального отношения переноситься с одного множества носителя на другое множество,
полученное как результат гомоморфного отображения носителя первоначального отношения.
Элементы множества носителя агрегированного отношения АD в этом случае можно
рассматривать как подмножество (или классы) множества носителя А первоначального отношения,
которые создают ее разбиение. Таким образом, если
m
A D   A 1 ,..., A m  , A   x 1 , x 2 ,..., x k  , то  A i  A D
i 1
и для любых i, j, ij,
Ai  Aj= .
Отношение РD с носителем АD определенное через первоначальное отношение Р с
носителем А следующим образом
(A i , A j  A D ) : A i PD A j  (x k  A i )  ( x j  A j ) : x k Px j ,
называется фактор отношением, полученным в результате факторизации первоначального
отношения Р по определенному другому отношению.
Таким образом Аi и Аj находятся в отношении РD лишь тогда , когда найдется хотя бы одна
пара элементов, которая принадлежит к каждому из этих подмножеств (или к каждому из этих
классов), которые находятся в отношении Р.
Важным с точки зрения принятия решений является тот случай, когда факторизация
осуществляется по отношению эквивалентности.
Согласно определения эквивалентности существует однозначное соответствие между
определенными отношениями эквивалентности D и разбитием А на классы- подмножества
A1 ,..., A m .
Свойства агрегированных отношений. Важным является вопрос о сохранении свойств
первоначальных отношений при их факторизации по произвольной эквивалентности. Следующие
утверждения решают эту проблему:
 Свойство рефлексивности сохраняется при факторизации;
 Свойство симметричности сохраняется при факторизации;
 (Достаточное условие сохранения транзитивности фактор отношения) Свойства
транзитивности сохраняется при факторизации транзитивного отношения по имеющимся
первоначальному отношению отношения эквивалентности;
 Необходимым и достаточным условием транзитивности отношения Р D при
факторизации произвольного бинарного отношения Р по произвольной эквивалентности D,
которые имеют общего носителя А, является выполнение условия
PDP  DPD ;
 Свойство линейности сохраняется при факторизации;
 Факторизация отношения квазипорядка по его симметричной составляющей
является отношением порядка;
 Факторизация

произвольного отношения Р по его отношениям взаимной
достижимости P дает ацикличное фактор отношение;

 Если Р – линейное отношение с носителем А, то фактор отношение PP , полученное
из Р путем факторизации его по отношениям взаимной достижимости, является линейным
отношением порядка с носителем A P .
Таким образом факторизация произвольного отношения по отношению его взаимной
достижимости приводит к фактор отношению, в котором контуры отсутствуют, то есть в процессе
такой факторизации происходит «стягивание» контуров первоначального бинарного отношения.
Факторизация по сути соответствует процедуре агрегирования системы преимуществ ЛПР, что
позволяет исследовать общие свойства системы преимуществ и откорректировать полученное
отношение.
Бинарные отношения и система преимуществ ЛПР.
Упорядоченные множества и их свойства. Аксиома выбора Цермело. Основные
результаты теории упорядоченных множеств позволяются обосновать процедуры преобразования
и модификации систем преимуществ ЛПР. Одна из интереснейших аксиом теории множеств,
которая непосредственно связанна с принятием решений, является аксиома выбора.
Аксиома выбора. Если Х – объединение не пустых множеств Xi, которые не пересекаются,
то существует как минимум одно подмножество Y  X , пересечение которой с каждым
множеством Xi являются одноэлементными множествами.
Аксиома выбора Цермело. Для каждого множества Х непустых множеств Xi iI, существует
функция
f : I   X i , при этом f (i)  X i
i
Таким образом произвольный выбор представителей является согласованным, и в
действительности аксиома утверждает ни невозможность выбора представителей, а возможность
объединить их в множество.
Элемент xA, где А – множество носитель отношения R, называется максимумом
отношения R, если ( y  A ) : xRy , то есть отношение xRy выполняется для всех элементов
множества носителя А.
Элемент xA где А – множество носитель отношения R, называется минимумом
отношения R, если ( y  A) : yRx , то есть отношение yRx выполняется для всех элементов
множества носителя А.
Элемент xA где А – множество носитель отношения R, называется мажорантой
отношения R, если ( y  A ) : yRx , где R - дополнение к R, то есть отношение y R x
выполняется для всех элементов множества носителя А.
Элемент xA где А – множество носитель отношения R, называется минорантой
отношения R, если ( y  A ) : xRy , где R - дополнение к R, то есть отношение x R y
выполняется для всех элементов множества носителя А.
Множество называется упорядоченным по отношению строгого порядка (транзитивным
и асимметричным), если оно является носителем этого отношения строгого порядкаD,DAA.
Упорядоченное множество обозначается двойкой A, D . Элемент yA называется
мажорантой подмножества XA, если y является мажорантой для сужения D на X. Упорядоченное
множество называется индуктивным, если каждое подмножество Х имеет мажоранту.
Лемма Куратовского-Цорна. В индуктивном упорядоченном множестве для каждого
элемента существует мажоранта.
Бинарное отношение Р совместимо с строгим порядком D, если отношение Р  D может
быть включено в некоторое отношение строгого порядка с носителем А.
Теорема о совместимости. Пусть D – отношение строгого порядка, Р – бинарное
отношение (все эти отношения с носителем А), и элементы пар (x,y) Р являются элементами
подмножества XA. Если Р совместимо с строгим порядком, которое является сужением D на
X, то Р совместимо со строгим порядком D.

Следствие теоремы о совместимости. В упорядоченном множестве (A),  всех


отношений строгого порядка с носителем А мажорантами являются линейные отношения
строгого порядка и только они.
Теорема Шпильрайна. Для произвольного отношения строгого порядка D с носителем А
найдется такое линейное отношение строгого порядка R с носителем А, что D  R. Другими
словами каждый строгий порядок можно продолжить до линейного строгого порядка.
Произвольное линейное упорядоченное подмножество упорядоченного множества может
быть продолжено до линейного упорядочивания упорядоченного множества в целом.(стр64)
Таким образом приведенные теоретические результаты обосновывают возможность
принятия решения в несколько этапов. С начала, опираясь на постоянную информацию про
преимущества, без вмешательства ЛПР выделяется подмножество существующих альтернатив,
которые соответствуют одному из синтезированных принципов выбора. Окончательный выбор
(или до упорядочивание , если решением задачи принятия решений должен быть линейный
строгий порядок) реализуется или непосредственно ЛПР (если мощность подмножества,
полученного на 1 этапе сравнительно небольшая), или в несколько последующих этапов с
конкретизацией преимуществ на имеющемся подмножестве.
Интерпретацией теоремы Шпильрайна является интерпретация с помощью понятия
нумерации. Нумерацией n-элементного упорядоченного множества А, n=card(A), которая является
носителем отношения строгого порядка D, называется взаимнооднозначное (изоморфное)
отображение множества А в множество N={1,2,…,n}, при этом «лучшему» или «большему»
элементу xA, чем yA (xDy) соответствует большее значение iN.
Удобным и наглядным способом отображения упорядоченного множества является
диаграмма Гасе. На диаграмме каждый элемент изображается точкой на плоскости, и если y
доминирует над x, то точки x и y соединяют отрезком, при этом точка, которая соответствует x,
размещается ниже чем y. Диаграмма Гасе строится следующим образом: элементы множества А
изображаются точками на плоскасти, при этом для x,y P, которые xPy, точка которая отвечает x
находится выше точкиy и эти точки соединяются между собой отрезком.
(пример диаграммы Гасе)
Структуры «доминирования-безразличия» и упорядоченные множества.
Отношения доминирования и безразличия. При изучении отношения преимущества
между реальными объектами можно выделить два аспекта: один отображает преимущества
(перевес, доминирование) одного объекта над другим, а другой безразличие (индифферентность,
толерантность) объектов. Таким образом, определяются два отношения между объектами:
доминирование и безразличие.
Из всех разнообразных ситуаций, в которых рассматриваются отношения доминирования и
безразличия, в этих отношениях существуют общие свойства. Обозначив отношение
доминирования -  ( (a , b)   означает что а доминирует над b), а безразличие -  ( (a , b)  
означает, что а и b безразличны). Получаем следующие свойства:
 Отношение доминирования  является асимметричным: не может быть такого,
чтобы а и b одновременно доминировали.   1   .
 Отношение безразличия  является симметрическим.  1   .
 Ни одна пара объектов не принадлежит и к отношению доминирования, и к
отношению безразличия.    
 Считается, что каждый объект безразличен к себе самому (то есть отношение
безразличия  является рефлексивным). Это условие имеет больше характер соглашения, потому
что обычно объект не сравнивается сам с собой, но принятие данного условия полностью
согласуется со смыслом, который обычно вкладывают в понятие безразличия.
Пара отношений(  ,  ) с множеством носителем А, определяет на этом множестве
структуру «доминирования-безразличия» где  - отношение доминирования, а  - отношение
безразличия, если  асимметрично,  симметрично и рефлексивно (то есть отношение
толерантности),     .
Важным свойством структуры «доминирования-безразличия», когда любые два объекта из
множества, которые рассматриваются или безразличны, или один из них доминирует над другим;
такая структура «доминирования-безразличия» называется линейной.
Множество пар сравнимых объектов создает отношение сравнимости, а множество
несравнимых пар объектов - отношение несравнимости. Структура «доминирования-безразличия»
на А будет линейной только тогда когда любая пара объектов сравнимая, то есть когда отношение
сравнимости является АА.
Для любых двух элементов а и b произвольно взятых из множества, на которое задана
структура «доминирования-безразличия», обязательно выполняется хотя бы одно из условий: а
доминирует над b; b доминирует над а; а и b безразличны; а и b несравнимы. В случае линейной
структуры обязательно выполняется одно из первых трех условий.
Структура «доминирования-безразличия может быть предоставлена в виде матрицы: в
ячейке, которая соответствует ряду элемента а и столбцу элемента b, ставиться 1, если а
доминирует над b; 0, если b доминирует над а; ½, если а и b безразличны, то есть матрица
«доминирования-безразличия» строиться по тем же принципам, что и таблицы спортивных
турниров. Структура «доминирования-безразличия» будет линейной тогда, когда в матрице не
будет пустых ячеек. Однако такое представление является избыточным, хотя и наглядным, потому
что структура «доминирования-безразличия» может быть задана с помощью одного отношения.
Если (  ,  ) – структура «доминирования-безразличия» множества А.     . Находим
симметричную (  S ) и асимметричную (  * ) части отношения  .
 S    1  ( ) ( ) 1  ( ) ( 1  1 )  ( ) ( 1 )  (  1 ) ( ) (  1 ) ( 
  1       1  
 *   \  S  ( ) \   
Таким образом произвольная структура «доминирования-безразличия» может быть
задана одним бинарным отношением – объединением отношений доминирования и безразличия.
Такое объединение отношений доминирования и безразличия называется отношением
преимущества.
Возникает естественный вопрос: какие свойства имеет отношение преимущества? (если 
- произвольное отношение множества А, то какие необходимые и достаточные условия того, чтобы
для структуры «доминирования-безразличия» (  ,  ) с носителем А выполнялось     ?)
 должно быть рефлексивным и это единственное условие которое необходимо
накладывать на отношение  .
Таким образом любое отношение можно рассматривать как отношение преимущества;
сначала необходимо его только преобразовать в рефлексивное, добавив отсутствующие петли и
взять как доминирование асимметрическую составляющую, а безразличие – симметричная
составляющая полученного отношения. При этом линейность этого отношения равносильна
линейности структуры «доминирования-безразличия», которая ему соответствует.
Транзитивность структуры «доминирования-безразличия». Для произвольной пары
объектов, которые принадлежат к отношению доминирования – замена одного из объектов
безразличным к нему сохраняет доминирование, то есть
(a , b)  , (b, c)    (a , c)  ;
(a , b)  , ( b, c)    (a , c)  
Эти условия отображают транзитивность отношения  относительно отношения  .
Структура «доминирования-безразличия» называется транзитивной, если отношение
доминирования и безразличия транзитивны и отношение доминирования транзитивно
относительно отношения безразличия.
Если  и  транзитивны и  транзитивно относительно  , то   будет
транзитивным отношением; кроме этого отношение   рефлексивное как произвольное
отношение преимущества, следовательно   является отношением квазипорядка. Соответствие
(, )    является взаимно однозначным соответствием между транзитивными структурами
«доминирование-безразличие» на множестве А и отношениями квазипорядка А; определение
транзитивной структуры «доминирования-безразличия» равносильно определению лишь
отношения квазипорядка. Если кроме этого отношение безразличия тождественно (то есть каждый
объект безразличен сам к себе), то соответствующее отношение квазипорядка является
отношением порядка.
Система преимуществ ЛПР – это совокупность формальных и неформальных, статических
и динамических правил и условий, которые позволяют ему остановить свой выбор на одной или
нескольких альтернативах в той или иной конкретной ситуации принятия решений.
Таким образом система преимуществ имеет как статическую составляющую, которая
остается постоянной независимо от условий внешней среды и отображает постоянные, глубинные,
в определенном смысле объективные правила, с помощью которых отбрасываются из
рассмотрения неперспективные альтернативы, и динамические, которые отображают
переменьчивость преимуществ в зависимости от условий внешней среды, внутреннею
противоречивость и нечеткость представлений ЛПР про лучшие альтернативы, его
субъективность.
При сравнении альтернатив между собой может возникнуть ситуация двух типов:
 ЛПР решает, что альтернатива xi преобладает (доминирует, лучше)xj;
 ЛПР не может различить по качеству альтернативы xi и xj (альтернативы
равнозначные, подобные, безразличные).
Таким образом статическая составляющая системы преимуществ ЛПР может
моделироваться с помощью структуры «доминирование-безразличие».
Бинарные отношения и оптимальные альтернативы. Основным заданием ЛПР в
процессе принятия решений является проблема выделения одной или нескольких лучших
альтернатив из существующих.
A  ( P) - множество максимумов множества А по отношению к Р, A  ( P) - мажорант,
A  ( P ) - минимумов; A  ( P) - минорант.
A  (P)   x  A (y  A ) : xPy, A  ( P)   x  A (y  A ) : yPx
  
A  (P)  x  A (y  A ) : yP x , A  (P)  x  A (y  A ) : xP y 
Для максимумов, минимумов, мажорант, минорант множества А по отношению к Р
справедливы соотношения
A  ( P)  A  ( P 1 ), A  ( P)  A  ( P 1 )
A  ( P)  A  ( P 1 ), A  ( P)  A  ( P 1 )
Для максимумов, минимумов, мажорант, минорант множества А по отношению к Р
выполняются соотношения A  ( P)  A  (P d ), A  (P)  A  (P d ) , где P d - двойственное к Р
отношения.
Представление преимуществ ЛПР с помощью функций и механизмов выбора.
Понятие функция выбора.
Полная функция выбора. Функцией выбора С называется отображение, которое ставит в
соответствие каждый XA подмножества YX альтернатив, которые выбираются ЛПР в этих
условиях, C : X  Y, или Y  C( X), C( X)  X . Функция выбора заданная таким образом, должна
удовлетворять условию (Z  X) : x  C(X)  Z  x  C( Z).
Это условие соответствует выбору «среди лучших» альтернатив. Выбор в конкретной
ситуации лучших альтернатив из подмножества Z множества Х, для которого определенна
функция выбора, даст результатом подмножество лучших в Х альтернатив C( X )  Z , которые
одновременно будут принадлежать Z. В случае когда C( Z)   - формально считается, что
возникла ситуация отказа от выбора.
Каждому бинарному отношению R с носителем А можно поставить в соответствие
функцию выбора. На А существует две функции выбора:

C  ( X ) R  x  X (y  X ) : yRx 
C  ( X ) R   x  X (y  X ) : xRy
(вставить рисунок 2.14)
 
Если Rx – сужение R на XA, то C  (X) R x  X  (R x ), C (X) R x  X (R x ), C  (X) R x
складывается из мажорант X  (R x ) , C  ( X) R x - с максимумов X  (R x ) .
Для функции выбора C  (X ) R и C  ( X) R справедливы соотношения
 
C  (X) R  C (X) , C (X ) R  C  ( X) , где R d - отношение двойственное к R.
Rd Rd
Справедливость этого утверждения является следствием того, что
и эквивалентностью выполнения операций нахождения
сужения двойственного отношения или двойственного отношения к сужению,

Поэтому обычно рассматривается одна функция выбора C  (X) R и считается, что эта
функция порождена отношением R. Функции выбора, порожденные бинарными отношениями,
называются нормальными.
В большинстве случаев выполняется условие выбора приемлемых альтернатив – если
предъявление создает одна альтернатива, то она выбирается, то есть

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


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

Множество создают принятые в качестве решений альтернативы – результат выбора,


– не принятые (отклоненные). Множество – множество рассмотренных
альтернатив. Таким образом, схема неполного выбора является тройка . Выбор в
предъявлении Х будет полностью определен, если . Частичная схема выбора
соответствует случаю , когда выбор полностью определен, то есть ,
. До определением неполной функции выбора будем считать произвольную,
всюду определенную функцию С, которая удовлетворяет условию

До определением частичной функции выбора, определенной на множестве , будет


произвольная функция выбора с областью определения сужение которой на множество В будет
функцией выбора, тождественной с первоначальной частичной функцией выбора.
Логическая форма функции выбора. Представим функцию выбора в логической форме.
. Поставим в соответствие каждому логическую смену .
n n
Установим взаимно однозначное соответствие между 2 подмножествами множества А и 2
векторами длинной n согласно соотношению

Таким образом множеству А соответствует вектор а пустому множеству


.
Пусть на А задана некоторая функция выбора С. Поставим в соответствие функции С
вектор функций причем

Поскольку С Х, то это эквивалентное возможности представления каждой из функций


в виде

получаем путем подстановки в значение


Таким образом установим соответствие между функцией выбора и множеством логических
высказываний в форме

где i=2, n-1,


Логической формой LF(C) функции выбора С называется вектор ) функции
Буля, каждая из которых согласно с предыдущим зависит от n-1 переменных, то есть сокращенно
LF(C)= .
Рассмотрим множество М всех функций выбора с универсальным множеством альтернатив
А. Общее количество разнообразных функций выбора, которые можно построить на
универсальном множестве (включая отказы от выбора) составляете
n 1
card(M )  ( 2 2 )n

Это потому что число функций Буля от (n-1) аргументов составляет 2 2n 1 (число (n-1)-
мерных наборов от 0 и 1 составляет 2 n 1 , каждому набору соответствует одно из двух значений
функции – 0 или 1), а на каждом из n мест в логической форме LF(C)  (f 1 ,..., f n ) может
находиться произвольная функция от (n-1) переменных.
Условия рационального выбора. Функции выбора классифицируются согласно
выполнению определенных условий или требований, которые выдвигаются в процессе их
исследования. Такими условиями являются: наследование, независимость от отброшенных
альтернатив, согласованность, независимость выбора от пути (квазисуммарности), суммарности,
мультипликативности, монотонности.
Условие наследования. Если осуществляется выбор из произвольного множества А и выбор
из какого-то его подмножества ВA, то все альтернативы, которые были выбраны из А и
одновременно принадлежат В, будут выбранными также в В, то есть условие выполняется если
справедливо утверждение
(B  A ) : C( A )  B  C( B)
Условие независимости от отброшенных альтернатив. Если выбор совершается из
подмножества В произвольного множества А, причем в В входят все альтернативы, которые
являются результатом выбора из А, то выбор из В будет тождествен выбору из А, то есть условие
выполняется если справедливо утверждение
(B  A ) : (C( A )  B)  C( B)  C(A )
Условие согласованности. Если альтернативы выбираются с каждого подмножества A i A,
А то они будут выбраны из их объединения, то есть условие выполняется если справедливо
утверждение
(A i  A ) : C(A i )  C( A i )
i i
Условие независимости выбора от пути (квазисуммарности). Выбор из объединения
множеств предъявлений должен быть тождественен выбору из объединения выборов с каждого
множества предъявлений отдельно, то есть
(A 1 , A 2  A) : C(A 1  A 2 )  C(C( A 1 ) C(A 2 ))
Условие суммарности. Выбор из объединения множества тождественен объединению
выборов из каждого множества отдельно, то есть
(A 1 , A 2  A) : C(A 1  A 2 )  C( A 1 ) C( A 2 )
Условие мультипликативности. Выбор из пересечения множеств тождественен
пересечению выборов из каждого множества отдельно, то есть
(A 1 , A 2  A ) : C( A 1  A 2 )  C(A 1 )  C( A 2 )
Условие монотонности. Выбор из более общего множества является не меньшим, чем
выбор из подмножества этого множества или
(A 1 , A 2  A) : C(A 1 )  C(A 2 ) .
Функции и механизмы выбора.
Понятия функции и механизма выбора. С помощью механизма (правила) выбора
реализуется выбор одной или нескольких альтернатив из множества Х предъявлений. Механизм
выбора в общем виде описывается в виде двойки R  S, L , где S – структура на множестве
возможных альтернатив А, L – конкретное правило, которое позволяет совершать выбор из
предъявления Х А, на основе существующей структуры S. Структура S создается путем
формулирования принципов, которые определяют условия, на которых возможно сравнение
альтернатив по качеству, или может быть установлено в результате экспериментальных
исследований и опроса ЛПР. В большинстве случаев наиболее распространенные принципы могут
быть описаны с помощью бинарных отношений , или могут быть сформулированы правила
построения соответствующих бинарных отношений. Поэтому структуру S могут создавать:
множество бинарных отношений P   P1 ,..., Pk  ; важность отношений, высказанная в
лексикографической или числовой форме; эталонные варианты решений и метрики, которые
оценивают степень приближения к эталону; допустимые уровни качества альтернатив; правила и
принципы агрегирования сложных отношений.
Множество бинарных отношений возникает естественно вследствие описания разных
аспектов качества альтернатив или же существования нескольких ЛПР с различными системами
преимуществ, или и то и другое одновременно. Обычно, выбирая бинарные отношения, следует
учитывать фундаментальные ограничения на использование этого подхода – аппарат бинарных
отношений в пространстве альтернатив может использоваться, если выбор осуществляется лишь
на основе информации о парном сравнении альтернатив. Однако большой уровень обобщенности,
присущий описанию выбора с помощью бинарных отношений, в большинстве случаев является
преимуществом, потому что позволяет абстрагироваться от второстепенных составляющих,
сосредотачивая внимание на основных составляющих элементах системы преимуществ ЛПР.
Существование одной и той же структуры еще не дает возможности конкретизировать
выбор, и поэтому с этой целью используется конкретное правило.
Если задано множество  разрешенных структур ( S   ) и множество  возможных
правил выбора ( L   ), то этим определен класс

  ( ,  )  R  S, L S   , L   
механизмов выбора.
Функция выбора С реализуется с помощью механизмов выбора R  S, L , если функция
выбора C R , которая определяется R, C R (X )  C S,L (X) доопределяет или функцию неполного
выбора (С, C R ,В), или частичную, или всюду определенную функцию, то есть
C(X)  CR (X)  X \ CH (X), X  B, B  2A , где Х – предъявления, В – множество возможных
предъявлений, С(Х), C H (X ) - множества выбранных и отклоненных альтернатив предъявления Х.
Виды механизмов выбора. Класс всех функций выбора, R   , обозначается как  . К
основным механизмам выбора принадлежат: выбор по агрегированным отношениям,
параллельный выбор, последовательный выбор, обобщенный пошаговый выбор.
Выбор по агрегированным отношениям осуществляется путем определения (создания,
синтеза) функции F:PQ, которая ставит в соответствия множество P   P1 ,..., Pn  заданных
отношений некоторое отношение Q  F P1 ,..., Pn  , которое называется агрегированным.
Окончательный выбор альтернатив осуществляется по правилу L, которому соответствует функция
L
выбора C Q .
Последовательный выбор осуществляется путем упорядочивания отношений, которые
являются элементами множества Р с последующим последовательным выбором в n этапов. На i-
том этапе выбор осуществляется из числа альтернатив, которые являются результатом выбора
путем последовательного применения на предыдущих этапах пар P1 , L1 , P2 , L 2 ,..., Pi 1 , L i 1
, где Pk , L k - отношение и конкретное правило, по которому осуществляется выбор на k-том шаге.
Учитывая что выбор на i шаге осуществляется при помощи функции выбора C Pi , и предъявления
– это множество (Х, X  B, B  2 A ), функция последовательного выбора C  имеет вид
C  ( X)  C Pn (...C P2 (C P1 ( X )))
Параллельный выбор по отношениям  P1 ,..., Pn  осуществляется путем независимого
выбора из предъявлений Х по каждому из этих отношений и соответствующему правилу выбору Li
из множества L   L1 ,..., L n  , которые реализуются множественной функцией выбора
 
C P (X)  C P1 (X),..., C Pn (X) .Далее на основании этого совокупного выбора путем композиции
F : C P  C (обычно в этом качестве используются операции над множествами). Осуществляется
окончательный выбор
C(X )  F(C P1 ( X ),..., C Pn (X ))
Для того чтобы правило композиции могло быть реализовано в виде функции выбора,
функция композиции должна удовлетворять условию F(0,0,...,0)   (то есть выбор из пустого
множеств0а должен быть пустым множеством). и условию монотонности (то есть или F   или
описываться через операции  и  ).
Обобщенный пошаговый выбор строиться путем комбинирования на разных шагах
вышеприведенных механизмов.
Свойства механизмов выбора. При исследовании и использовании механизмов выбора
возникают задачи анализа, синтеза, апроксимации процедур выбора реальных ЛПР, а так же
оценивания сложности реализации того или иного механизма выбора и его оптимизации.
Решением задачи анализа является функция выбора СR, которая реализует механизм выбора
R  S, L .
Одной из важнейших при построении модели выбора является задача синтеза, которая
заключается в синтезе по функции выбора (как правило, неполной) механизма выбора
определенного класса, который ее реализует. Задача синтеза принадлежит к NP-полных и в общем
виде не может быть решена при помощи эффективных алгоритмов. Если класс механзмов выбора
полный, выполняется условие
(x  A) : ((X  B) : x  C П (X )   x  B  x  C Н ( x ))
то есть существует до определение функции С неполного выбора
П H П H
(C , C , B), C (X)  C(X)  X \ C (X), X  B
которое удовлетворяет условию
(x  A ) : ((X ) : ( x  C(X ))  C( x   x ))
и задача синтеза функции выбора в этом классе механизмов выбора  0 всегда имеет решение.
Если функция выбора С не может быть реализована механизмами выбора заданного вида,
возникает задача ее аппроксимации, то есть поиска в определенном смысле наилучшего
приближения к ней. В случае когда введение определенной метрики нецелесообразно или не
может быть достаточно обоснованным, рассматриваются некоторые абсолютные верхние и
нижние лучшие приближения- верхняя и нижняя аппроксимации, которые определяются через
мажоранты и миноранты функции неполного выбора.
Мажорантой С+ функции неполного выбора (C П , C H , B) называется всюду определенная
функция, для которой справедливо условие
(X  B) : C  (X )  C П ( X)
где Х – предъявления, B  2 A - множество возможных предъявлений, С(Х), C H ( X) - множества
выбранных и отклоненных альтернатив соответственно.
Минорантой С- функции неполного выбора (C П , C H , B) называется всюду определенная
функция, для которой справедливо условие
(X  B) : C H (X ) C  (X )  
Функция C B   называется верхней аппроксимацией функции С в классе механизмов 
(где  - множество всюду определенных функций , которые реализуются в М), если выполняется
условие
(C   ) : ((X  B) : (C B (X)  C  ( X)))
Аналогично функция C H   0 называется нижней аппроксимацией функции С в классе М,
если выполняется условие
(C    0 ) : ((X  B) : (C H ( X )  C  ( X )))
Для достижения определенной однозначности к механизму синтеза предъявляются
дополнительные требования, которые касаются сложности. Простейшими мерами сложности
могут быть: для выбора на основании отношения – число пар, которые составляют его; для
механизма последовательного выбора – число отношений (глубина выбора); для многошаговых
схем – число шагов.
Среди проблем оптимизации наибольшее внимание привлекает проблема проблема
оптимального синтеза и проблема оптимизации механизмов выбора. Целью задачи оптимального
синтеза является построение механизма выбора минимальной сложности, при этом следует
отметить, что для большинства случаев не найдены эффективные решения, а для некоторых задач
доказана их NP-полнота. В связи с этим требования к методам синтеза ослабляют, и в большинстве
случаев ставиться задача разработки методов синтеза, которые обеспечивают гарантированную
оценку сложности реализации функции с заданными параметрами.
Близкой к задаче оптимального синтеза является задача оптимизации механизмов, которая
основывается на понятии эквивалентных механизмов выбора.
Основными задачами исследования и использования механизмов и функций выбора
являются: задачи анализа, задачи синтеза, задачи аппроксимации реального выбора ЛПР, задачи
оценивания сложности реализации механизмов выбора, задачи оптимизации механизмов выбора.

Вам также может понравиться