Назначение сервиса . Сервис предназначен для онлайн решения многокритериальных задач оптимизации методом последовательных уступок .
Инструкция . Выберите количество переменных и количество строк (количество ограничений). Полученное решение сохраняется в файле Word и Excel .
При этом ограничения типа x i ≥ 0 не учитывайте. Если в задании для некоторых x i отсутствуют ограничения, то ЗЛП необходимо привести к КЗЛП, или воспользоваться этим сервисом .Вместе с этим калькулятором также используют следующие:
Графический метод решения ЗЛП
Решение транспортной задачи
Решение матричной игры
С помощью сервиса в онлайн режиме можно определить цену матричной игры (нижнюю и верхнюю границы), проверить наличие седловой точки, найти решение смешанной стратегии методами: минимакс, симплекс-метод, графический (геометрический) метод, методом Брауна.
Экстремум функции двух переменных
Задачи динамического программирования
Распределить 5 однородных партий товара между тремя рынками так, чтобы получить максимальный доход от их продажи. Доход от продажи на каждом рынке G(X) зависит от количества реализованных партий товара Х и представлен в таблице.
| Объем товара Х (в партиях) | Доход G(X) | ||
| 1 | 2 | 3 | |
| 0 | 0 | 0 | 0 |
| 1 | 28 | 30 | 32 |
| 2 | 41 | 42 | 45 |
| 3 | 50 | 55 | 48 |
| 4 | 62 | 64 | 60 |
| 5 | 76 | 76 | 72 |
Алгоритм метода последовательных уступок (компромиссов)
Вначале производится качественный анализ относительной важности критериев. На основании такого анализа критерии нумеруются в порядке убывания важности.Ищем максимальное значение f 1 * первого критерия f=f 1 (x) на всем множестве допустимых решений. Затем назначаем величину «допустимого» снижения (уступки ) Δ 1 критерия f 1 (x) и определяем наибольшее значение f 2 * второго критерия f=f 2 (x) при условии, что значение первого критерия должно быть не меньше, чем f 1 (x)-Δ 1 . Затем назначаем величину «допустимого» снижения (уступки ) Δ 2 критерия f 2 (x) и определяем наибольшее значение f 3 * третьего критерия f=f 3 (x) при условии, что значение второго критерия должно быть не меньше, чем f 2 * - Δ 2 и т. д. Таким образом, оптимальным решением многокритериальной задачи считается всякое решение последней из задач последовательности:
1) найти max f 1 (x)=f 1 * в области x ∈ X;
2) найти max f 2 (x)=f 2 * в области, задаваемой условиями x ∈ X; f 1 (x) ≥ f 1 * -Δ 1 (6)
……………………………………………………………….
m) найти max f m (x)=f m * в области, задаваемой условиями
x ∈ X; f i (x) ≥ f i * -Δ i , i=1,...,m-1
Очевидно, что если все Δ i =0, то метод уступок находит только лексикографически оптимальные решения, которые доставляют первому по важности критерию наибольшее на Х значение. В другом крайнем случае, когда величины уступок очень велики, решения, получаемые по этому методу, доставляют последнему по важности критерию наибольшее на Х значение. Поэтому величины уступок можно рассматривать как своеобразную меру отклонения приоритета частных критериев от жесткого лексикографического.
Метод последовательных уступок не всегда приводит к получению только эффективных точек, но среди этих точек всегда существует хотя бы одна эффективная. Это следует из следующих утверждений.
Утверждение 3 . Если X ⊂ R n - множество замкнутое и ограниченное, а функции f i (x) непрерывны, то решением m-й задачи из (6) является, по крайней мере, одна эффективная точка.
Утверждение 4 . Если x * - единственная (с точностью до эквивалентности) точка, являющаяся решением m-й задачи из (6), то она эффективна.
Примеры решения многокритериальной задачи методом последовательных уступок
Пример №1 . Решить методом последовательных уступок многокритериальную задачу.f 1 (x)=7x 1 +2x 3 -x 4 +x 5 → max ,
при ограничениях
-x 1 +x 2 +x 3 =2 ;
3x 1 -x 2 +x 4 =3 ;
5x 1 +2x 2 +x 3 +x 4 +x 5 =11;
x i ≥ 0 для i=1,2,...,5.
Упорядочим критерии согласно их нумерации, то есть будем в начале работать с критерием f 1 (x), а затем с критерием f 2 (x).
При решении примера методом искусственного базиса была получена симплекс-таблица (табл.). Возьмем ее в качестве начальной, вычислив относительные оценки для функции f=f 1 (x). Получим таблицу 10. Таблица 11 определяет точку, доставляющую функции f1(x) наибольшее значение f 1 * , равное 16.
Таблица 10. Таблица 11.
7 | 0 | |||||||||
c в | X 1 | x 2 | x 4 | x 2 | ||||||
2 | x 3 | -1 | 1 | 2 | x 3 | 1/3 | 2/3 | 3 |
||
-1 | x 4 | 3 | -1 | 3 | x 1 | 1/3 | -1/3 | 1 |
||
1 | x 5 | 3 | 2 | 6 | x 5 | -1 | 3 | 3 |
||
f 1 | -9 | 5 | 7 | f 1 | 3 | 2 | 16 |
Далее переходим к решению задачи
f 2 (x)=x 1 -5x 2 -4x 3 +x 4 → max
при ограничениях задачи, к которым добавлено новое ограничение f 1 (x)≥f 1 * -Δ:
-x 1 +x 2 +x 3 =2,
3x 1 -x 2 +x 4 =3 , (7)
5x 1 +2x 2 +x 3 +x 4 +x 5 =11,
7x 1 +2x 3 - x 4 +x 5 ³16-Δ,
x i ≥ 0 для i=1,2,...,5.
Новое ограничение преобразуем в равенство и заменим переменные x 1 , x 3, x 5 , используя таблицу 11, выражениями
x 1 =1/3x 2 -1/3x 4 +1, x 3 =-2/3x 2 -1/3x 4 +3, x 5 =-3x 2 +x 4 +3.
В результате этих преобразований дополнительно введенное ограничение примет вид -2x 2 -x 4 +x 6 =-16+Δ. Итак, получили задачу параметрического программирования с параметром в правой части ограничений.
В качестве начальной таблицы для задачи (7) можно использовать таблицу 12, которая получена из таблицы 11 в результате пополнения ее еще одной строкой и пересчета строки относительных оценок. Решим задачу (7) для произвольного параметра Δ≥0. Для этого столбец правых частей ограничений в таблице 12 представим в виде двух столбцов z′, z″: z i 0 =z i ′+z i ″Δ. При выборе главной строки в таблице 12 следует использовать значения из столбца z′. Полученная далее таблица 13 является оптимальной при Δ=0 и при всех значениях Δ, удовлетворяющих условиям
3+(-1/9) Δ ≥ 0, 1+(-1/9) Δ ≥ 0, 3+1/3 Δ ≥ 0, 0+1/3 Δ ≥ 0.
Из этой системы неравенств получаем 0 ≤ Δ ≤ 9. При этих значениях параметра решением задачи является точка x*=(1+(-1/9)Δ, 0, 3+(-1/9)Δ, 0+1/3Δ, 3+1/3Δ).
Таблица 12. Таблица 13.
1 | -5 | ||||||||||
с в | x 4 | x 2 | z′ | z″ | x 6 | x 2 | z′ | z″ |
|||
-4 | x 3 | 1/3 | 2/3 | 3 | 0 | x 3 | -1/9 | 4/9 | 3 | -1/9 |
|
1 | x 1 | 1/3 | -1/3 | 1 | 0 | x 1 | -1/9 | -5/9 | 1 | -1/9 |
|
0 | x 5 | -1 | 3 | 3 | 0 | x 5 | 1/3 | 11/3 | 3 | 1/3 |
|
0 | x 6 | 3 | 2 | 0 | 1 | x 4 | 1/3 | 2/3 | 0 | 1/3 |
|
f 2 | -2 | 2 | -11 | 0 | f 2 | 2/3 | 10/3 | -11 | 2/3 |
||
При Δ > 9 таблица 13 не является оптимальной, и нужно выполнить шаг двойственного симплекс-метода с главным элементом, стоящим на пересечение второй строки и первого или второго столбцов. Получим таблицу 14, из которой видно, что при Δ > 9 решениями являются точки, доставляющие функции f 2 (x) значение –5. Таблица 14 определяет опорное решение x ** =(0,0,2,3,6).
Таблица 14.
x 1 | x 2 | z′ | z″ |
||
x 3 | -1 | 1 | 2 | 0 |
|
x 6 | -9 | 5 | -9 | 1 |
|
x 5 | 3 | 2 | 6 | 0 |
|
x 4 | 3 | -1 | 3 | 0 |
|
f 2 | 6 | 0 | -5 | 0 |
Найдем эти решения. Выберем главным столбец с 0-оценкой. В зависимости от Δ главной строкой будет первая или вторая строка. Если
(-9+Δ)/5 > 2, то главной строкой будет выбрана 1-я. А значит, следующей будет таблица 15. Она определяет опорное решение X=(0,2,0,5,2) , если
–19+Δ≥0. Итак, если D≥19, оптимальными решениями будут все точки выпуклой комбинации
ax ** +(1-a)x * =(0, 2-2a, 2a,5-2a,2+4a), где a∈.
Таблица 15.
x 1 | x 3 | z′ | z″ |
||
x 2 | -1 | 1 | 2 | 0 |
|
x 6 | -4 | -5 | -19 | 1 |
|
x 5 | 5 | -2 | 2 | 0 |
|
x 4 | 2 | 1 | 5 | 0 |
|
f 2 | 6 | 0 | -5 | 0 |
Если (-9+Δ)/5 > 2, то главной строкой будет выбрана 2-я. А значит, следующей после таблицы 14 будет таблица 16. Таблица 16 определяет решение X=(0, (-9+Δ)/5, (19-Δ)/5, (6+Δ)/5, (48-2Δ)/5), если –19+Δ≤0. Итак, если Δ≤19, оптимальными решениями будут все точки выпуклой комбинации
ax**+(1-a)x*=(0, (1-a)(-9+Δ)/5, (19-Δ)/5+a(-9+Δ)/5, (6+Δ)/5+a(9-Δ)/5, (48-2Δ)/5+a(-18+2Δ)/5), где a∈.
Таблица 16.
x 1 | x 6 | z′ | z″ |
||
x 3 | 4/5 | -1/5 | 19/5 | -1/5 |
|
x 2 | -9/5 | 1/5 | -9/5 | 1/5 |
|
x 5 | 33/5 | -2/5 | 48/5 | -2/5 |
|
x 4 | 6/5 | 1/5 | 6/5 | 1/5 |
|
f 2 | 6 | 0 | -5 | 0 |
Окончательный результат формулируется следующим образом: решением многокритериальной задачи являются:
точки x*=(1+(-1/9)Δ, 0, 3+(-1/9)Δ, 0+1/3Δ, 3+1/3Δ), если 0 ≤ Δ ≤ 9,
точки x**=(0, (1-a)(-9+Δ)/5, (19-Δ)/5+a(-9+Δ)/5,
(6+Δ)/5+a(9-Δ)/5,(48-2Δ)/5+a(-18+2Δ)/5), если 9 < Δ ≤ 19,
точки x *** =(0, 2-2a, 2a,5-2a,2+4a), если Δ ≥ 19,
где a∈.
Пример №2
. Методом последовательных уступок найти решение задачи, считая, что критерии упорядочены по важности в последовательности {f 2 ,f 1 }, и Δ 2 =1.
f 1 =-x 1 +3x 2 → max,
f 2 (x)=4x 1 -x 2 → max ,
Первая задача из последовательности (6) в данном случае имеет вид:
f 2 (x)=4x 1 -x 2 → max ,
при ограничениях
-x 1 +x 2 ≤1, x 1 +x 2 ≥3, x 1 -2x 2 ≤0 , x 1 ≤4 , x 2 ≤3.
Решение этой задачи можно найти графически. Из рисунка 14 видно, что максимум критерия f 2 (x) на множестве X достигается в вершине x 5 =(4,2) и f 2 * =f 2 (x 5)=14.
Графическое решение примера №2.
Рис.
Добавим к ограничениям задачи условие f 2 ≥f 2 * -Δ и сформулируем вторую задачу последовательности (6):
f 1 =-x 1 +3x 2 → max,
-x 1 +x 2 1 , x 1 +x 2 3, x 1 -2x 2 0 , x 1 4 , x 2 3,
4x 1 -x 2 13
Ее решением (рис.) будет вершина x 4 =(4,3) и f 1 * =f 1 (x 4)=5. Так как, оптимальное решение последней задачи единственно, то в силу утверждения 5, x 4 принадлежит множеству Парето.
Отметим, что при Δ∈ методом последовательных уступок будет найдена одна из точек отрезка , а при Δ>1, одна из точек отрезка . Все эти точки и только они принадлежит множеству Парето.
Тема 10: Формирование решений в условиях многокритериальности
Вопросы:
10.1. Основные подходы к решению многокритериальных задач. Система критериев. Методы «свертки» критериев
10.2. Решения, оптимальные по Парето
10.3. Процедура многокритериального сравнения и выбора объектов («Электра»)
Критерий – это правило или показатель, позволяющий оценивать и сравнивать анализируемые объекты (альтернативные решения, результаты деятельности, варианты производства и т.д.). Критерии могут быть объективными (например, рентабельность) и субъективными (например, престижность), формальными и содержательными, количественными и качественными.
На рис. 5.6 представлена классификация ситуаций принятия решений в зависимости от количества критериев и фактора неопределенности.
Рис. 5.6. Классификация ситуаций принятия решений
По сложности решения делятся на однокритериальные и многокритериальные.
1. Однокритериальные методы выбора . Считается известным:
Исходное множество альтернатив 
;
Оценки результатов выбираемых альтернатив ;
Критерий выбора или .
В процессе решения задачи определяется альтернатива А*, для которой 
или 
.
2. Многокритериальные методы выбора . В достаточно большом количестве случаев принятия решений приходится учитывать не один, а несколько критериев.
Пример : Выбор интегрированной информационной системы предприятия осуществляется по следующим критериям :
1. Соответствие функций системы требованиям, выработанным в процессе анализа и построения информационной модели предприятия.
2. Соответствие системы современным технологическим стандартам (архитектура клиент-сервер, используемые СУБД, возможность распределенной работы и интеграция с Интернет).
3. Возможности системы по настройке и изменению.
4. Уровень сложности сопровождения и администрирования.
5. Адаптивность системы к конкретным условиям деятельности.
6. Стоимость системы.
7. Другие.
Известен целый ряд методов решения многокритериальных задач , которые можно разбить на следующие группы:
1. Сведение многих критериев к одному путем введения весовых коэффициентов для каждого критерия (более важный критерий получает больший вес).
2. Минимизация максимальных отклонений от наилучших значений по всем критериям.
3. Оптимизация одного критерия (почему-либо признанного наиболее важным), а остальные критерии выступают в роли дополнительных ограничений.
4. Упорядочение (ранжирование) множества критериев и последовательная оптимизация по каждому из них.
5. Поиск согласованного по некоторым правилам экспертного решения.
Чаще всего задачу выбора пытаются решить на основе построения интегрального (обобщающего) критерия . Для этого используются разнообразные способы «свертки» показателей, т.е. построение различных обобщающих показателей, прежде всего, аддитивных и мультипликативных.
Аддитивный обобщающий показатель (критерий) получается как взвешенная сумма оценок по частным показателям (критериям).
Мультипликативный обобщающий показатель строится как взвешенное произведение оценок по отдельным показателям.
,
где pi – значение i-го показателя (критерия);
li – вес (значимость) i-го показателя (критерия).
Общей особенностью данных обобщающих критериев является то, что они предусматривают возможность малой степени достижения одних целей за счет большей степени достижения других. При этом в оценке «стираются» различия отдельных критериев. Также проблемой является определение весов критериев.
В целом ряде хозяйственных ситуаций нежелательно сведение оценок объектов по разным критериям к одной, так как противоречивость критериев имеет существенное значение.
Для преодоления этого недостатка исследователи стараются представить пространство критериев. Одним из возможных средств решения этой задачи являются различные графические представления альтернатив в пространстве критериев. Примером подобного подхода, получившего широкое распространение в маркетинговых исследованиях, является так называемый «профильный анализ» (табл. 5.6). Пример:
Таблица 5.6
«Профили» программных продуктов
| ПП Критерии | ПП - 1 | ПП - 2 | ПП - 3 | ПП - 4 | ПП - 5 | ||||||||||
| В | С | Н | В | С | Н | В | С | Н | В | С | Н | В | С | Н | |
| Универсальность | |||||||||||||||
| Интегрируемость | |||||||||||||||
| Модульность | |||||||||||||||
| Развиваемость | |||||||||||||||
| Надежность | |||||||||||||||
| Защита информации | |||||||||||||||
| Соответствие техническим стандартам | |||||||||||||||
| Квалификация | |||||||||||||||
| Стоимость ПП | |||||||||||||||
| Стоимость обслуживания | |||||||||||||||
| Экономическая эффективность |
Обозначения приоритетов:
В – высокий,
С – средний,
Н – низкий.
В таблице сравниваются 5 программных продуктов (ПП) по нескольким критериям.
Метод свертывания критериев предполагает преобразование набора имеющихся частных критериев в один суперкритерий.
Т.е. мы получаем новый суперкритерий F, который является функцийот частных критериев. В общем случае, функциюназывают сверткой частных критериев .
К основным этапом свертывания относятся:
1. Обоснование допустимости свертки
При обосновании допустимости свертки, мы в первую очередь должны подтвердить, что критерии, которые мы сворачиваем, должны быть однородными. Выделяют такие группы показателей эффективности;
Показатели результативности;
Показатели ресурсоемкости;
Показатели оперативности.
Критерии, которые мы сворачиваем, должны относиться к одной и той же группе, нельзя сворачивать критерии, которые относятся, например, один из них к показателям оперативности, а другой к показателям результативности. Т.е. для каждой группы свертывание частных критериев следует выполнять отдельно. При нарушении этого принципа теряется смысл критерия .
2. Нормировка критериев
Правила нормализации критериев, мы рассматривали ранее в предыдущем разделе.
3. Учет приоритетов критериев
Учет приоритетов обычно задается некоторым векторам весовых коэффициентов, которые отображают важность того или иного критерия для решаемой задачи.
4. Построение функции свертки
Для свертывания критериев, используют такие основные типы функций:
Аддитивные функции свертки;
Мультипликативные;
Агрегированные, а также могут быть другие варианты сверток.
Аддитивная свертка
Аддитивную свертку критериев можно рассматривать как реализацию принципа справедливой компенсации абсолютных значений нормированных частных критериев . В этом случае, суперкритерий обычно строятся как взвешенная сумма частных критериев
(2.9)
Весовые коэффициенты
выбираются такими, чтобы их сумма была
равна единицы.
В методе равномерной оптимизации,
который является частным случаем
аддитивной свертке, весовые коэффициенты
берутся равными друг другу
.
Иногда оказывается более удобным другой
подход к определению весовых коэффициентов,
их определяет соответствие с такой
таблицей:
таблица 2.1.
Таблица относительной важности критериев
Мультипликативная свертка
Мультипликативная свертка базируется
на принципе справедливой компенсации
относительных изменений частных
критериев. При этом, суперкритерий имеет
вид:
,
произведение частных критериев,
каждый из которых возведен в степень.
При этом сумма весовых коэффициентовдолжна быть равна единицы,
а каждый из весовых коэффициентов должен
быть не отрицательной величиной.
При использовании мультипликативных критериев не требуется нормировка частных критериев, и это является их преимуществом .
Выбор между аддитивными и мультипликативными критериями определяется важностью учета абсолютных или относительных изменений значений частных критериев.
Агрегирование частных критериев используют также различные варианты агрегирование. В частности, если компенсация значений одних показателей эффективности другими недопустима, то используют функции агрегирования вида:
Для каждого частного критерия, находится его нормированное значение и умножается на весовой коэффициент. А потом из всех полученных величин выбирается либо максимальное, либо минимальное значение.
Если первые mпоказателей надо увеличить, а остальные – уменьшить, то используют функцию агрегирования вида:
(2.11)
В числители находятся произведение тех критериев, значение которых нам надо максимизировать, а в знаменателе находятся произведение тех критериев, значение которых нам надо минимизировать. И поэтому мы получаем новый критерий, который нам надо будет максимизировать .
Методы свертывания критериев широко используются в решение задач многокритериальной оптимизации. Однако они имеют также проблемы и недостатки. В частности трудно обосновать выбор метода свертывания критериев, а от выбора метода часто зависит получаемый результат. Другим недостатком является трудность обоснование выбора весовых коэффициентов, часто для этого привлекается эксперты, проводятся опросы, потом обрабатываются полученные результаты, однако это требует много времени и затраты других ресурсов. Еще одна проблема связана с тем, что эти методы, как правила дает возможность компенсировать малые значения одних критериев большими значениями других, что часто бывает неприемлемо для конкретных решений .
Рассмотрим в качестве примера такую задачу:
Перед тем как преобразовывать эти критерии в 1, мы должны привести их в однородном состоянии. Т.е. в данном случае нужно максимизировать f2→ f2" = -f2. И тогда получим: . После этого суммируем частных критериевв один, и можем дальше решить задачу обычным путем.
Также нужно учитывать и весовые коэффициенты, при этом их сумма должна быть = 1, и каждый из весовых коэффициентов должен быть неотрицательной величиной. Весовые коэффициенты распределяется по важности этих самих частных критериев . В данном случае, весовые коэффициенты будут распределяться следующим образом: 0,5; 0,2; 0,3.
После подсчета вместе с весовыми коэффициентами, мы получим целевую функцию такого вида: или.
Открываем электронную книгу Excel и, как и для решения однокритериальной задачи определяем ячейки под переменные . Для этого в ячейку А3 вводим подпись «Переменные», а соседние три ячейки В2, С2 и D2 вводим значения переменных. Это могут быть произвольные числа, например единицы или нули, далее они будут оптимизироваться. В нашем случае это единицы.
рис.2.11. Определение переменных, целевых и ограничений
В четвертой строке задаем целевую функцию. В А4 вводим подпись «Целевая», а в В4, С4, D4 наши значения.
В ячейку F6,F7и F8 вводим формулы «=B6*$B$3+C6*$C$3+D6*$D$3», «=B7*$B$3+C7*$C$3+D7*$D$3»,«=B8*$B$3+C8*$C$3+D8*$D$3» соответственно.
После открытия окна «Поиск решения» в поле «Оптимизировать целевую функцию» ставим курсор и делаем ссылку на ячейку «F4». В окне появится $F$4. В связи с тем, что целевая функция максимизируется, далее нужно проверить, что флажок ниже поля стоит напротив надписи «Максимум».
После ставим курсор в поле «Изменяя ячейки переменных» и обводим ячейки с переменными В3, С3 и D3, выделяя ячейки с переменными. В поле появиться $B$3:$D$3.
В нижней части окна находится поле «Ограничения». Добавляем все необходимые ограничения, «F6» «» «F6», «F7:F8» «≤» и «G7:G8».
Вводим дополнительное ограничение, и получим следующую формулу «B3:D3», «», «0».
рис.2.12. Параметры поиска решения
Далее выбираем метод решения «Поиск решения линейных задач симплекс-методом». Для запуска вычислений нажимаем кнопку «Найти решение». Появляется надпись, что решение найдено. Выбираем «Сохранить найденное решение» и «ОК» видим результат.
рис.2.13. Окончательный результат решения по методу свертывания критериев
Существующие методы предназначены в основном для сравнения заданных альтернатив и выбора лучшей из них. Довольно часто критерии, по которым оцениваются альтернативы, противоречивы, для них используются разные методы и шкалы оценок.
С математической точки зрения не существует идеального способа или метода решения многокритериальных задач оптимизации. Тем не менее, эти методы помогают подготовить всю необходимую для принятия решения информацию таким образом, чтобы помочь лицам принимающее решение максимально точно разобраться в ситуации и принять наиболее обоснованное решение.
Мультипликативные свёртки
Рассмотрим мультипликативную свёртку с нормирующими множителями:
где j - нормирующие множители.
Мультипликативная свёртка основывается на постулате: "низкая оценка хотя бы по одному критерию влечет за собой низкое значение функции полезности". Действительно, если вы выбираете торт, и он - несвежий, то это обстоятельство никак не может быть компенсировано его красотой или ценой.
Посмотрим, какие результаты даст мультипликативная свёртка с весовыми коэффициентами:
где j - нормирующие множители,
вj - весовые коэффициенты.
Итоги отражены в таблице:
Оптимальной стратегией снова является А3.
В конце еще раз напомним непременное правило: перед тем, как применять какую-либо свёртку нужно автоматически всегда выделять множество Парето. И именно для множества Парето применять свёртки. Иначе вы или ваша программа будете выполнять лишнюю ненужную работу.
Многокритериальный выбор на языке бинарных отношений
До этого были рассмотрены случаи, когда все критерии оценивали все альтернативы. Все альтернативы можно было сравнить друг с другом по каждому критерию. А что делать, если не все альтернативы будут оценены всеми критериями? В таком случае появятся альтернативы, не сравнимые между собой по некоторым критериям. Рассмотрим такой случай на нашем примере (уберем из него некоторые оценки):
При таком условии альтернативы можно сравнить между собой лишь попарно. Такие попарные сравнения называются бинарными отношениями . Обозначается бинарное отношение (на примере критерия Байеса из нашей таблицы) А1RА2 - альтернатива А1 лучше альтернативы А2.
Дадим математически точное определение бинарных отношений.
Бинарным отношением на множестве? называется произвольное подмножество R множества? Х? , где? Х? - это множество всех упорядоченных пар (ai ;aj) , где ai , aj ? . #
Бинарные отношения очень удобно изображать наглядно. Представим четыре стратегии из нашего примера в виде точек на плоскости. Если имеем, что какая-то альтернатива лучше другой, то проведем стрелку от лучшей альтернативы к худшей. На примере критерия Байеса из нашей таблицы имеем А1RА2 , поэтому на плоскости проведем стрелку от точки А1 к точке А2. Аналогичным образом поступим со всеми начальными данными из таблицы. Заметим, что бинарные отношения не исключают отношения элемента с самим собой. На рисунке такое бинарное отношение будет задаваться петлёй со стрелкой. В результате получим следующую картину:
Подобные фигуры называются ориентированными графами . Точки - это вершины графа, стрелки между точками - это дуги графа.
Дадим математически точное определение графа.
Графом называется пара (Е, е), где Е - непустое конечное множество элементов (вершин), е - конечное (возможно и пустое) множество пар элементов из Е (множество дуг). #
Две вершины, соединенные дугой, называются смежными вершинами. Дуга, соединяющая две вершины, называется инцидентной этим вершинам. Две вершины, соединенные дугой, называются инцидентными этой дуге.
Как же произвести выбор наилучшего элемента из имеющихся альтернатив (наилучшей вершины графа)? Для этого сначала необходимо определить, что же будет являться наилучшей вершины (наилучшими вершинами) графа. На этот счет имеются две исторически сложившиеся в теории графов точки зрения.
1)Максимальным элементом множества? по бинарному отношению R называется такой элемент х? , что у? выполняется отношение хRy .
Иначе говоря, максимальный элемент множества должен быть "лучше" каждого элемента этого множества. Не исключается и то, что он может быть "лучше" самого себя, кроме этого максимальный элемент может быть одновременно и "хуже" какого-либо элемента этого множества. Слова "лучше" и "хуже" не совсем верно передают смысл бинарных отношений.
Для графов понятие максимальный элемент - это вершина, из которой исходят стрелки во все остальные вершины графа. Например, на рис. 1 максимальным элементом будет вершина А1 - из неё выходят стрелки во все остальные вершины графа.
2)Оптимальным по Парето элементом множества? по бинарному отношению R называется такой элемент х? , что у? для которого выполнялось бы отношение уRх.
Иначе говоря, оптимальный по Парето элемент множества - это такой элемент, "лучше" которого в рассматриваемом множестве нет.
Для графов понятие оптимальный по Парето элемент - это вершина, в которую не входит ни одна стрелка. Например, на рис. 1 оптимальным по Парето элементом будет вершина А1 - в неё не входит ни одна стрелка.
Видим, что два разных подхода к определению наилучшего элемента в нашем примере дали одинаковый результат. Но такое бывает не всегда.
Рассмотрим несколько примеров.
У графа на рис. 2 максимальным элементом будет вершина А1 - из неё выходят стрелки во все остальные вершины графа. Оптимальных по Парето элементов у данного графа нет.
У графа на рис. 3 максимальным элементом будет также вершина А1 - из неё выходят стрелки во все остальные вершины графа. Заметим: то, что в неё входит стрелка из вершины А4 , по определению совершенно не важно. Оптимальных по Парето элементов у данного графа нет.
У графа на рис. 4 максимальными элементами будут вершины А1 и А4 - из них выходят стрелки во все остальные вершины графа. Оптимальных по Парето элементов у данного графа нет.
У графа на рис. 5 максимального элемента нет. Оптимальными по Парето элементами будут вершины А1 и А4 - в них не входит ни одна стрелка.
Отметим очевидные особенности.
У графа либо нет максимальных элементов, либо есть.
Оптимальными по Парето элементами могут быть несколько вершин графа, либо таковых может не быть.
В графе не может один (или одни) элемент быть максимальным, а другой (или другие) элемент быть оптимальным по Парето.
Итак, если имеется задача многокритериального выбора, описанная на языке бинарных отношений, то её удобно представить наглядно в виде графа. Однако такое удобство хорошо для небольшого количества вершин (альтернатив). Если вершин довольно много, то вся наглядность пропадает и легко можно запутаться. В таком случае граф удобно представить в виде матрицы смежности или матрицы инцидентности.
Матрица смежности вершин графа - это квадратная матрица размера m x m (m - это количество вершин) с элементами:
По матрицам смежности искать максимальные элементы и элементы, оптимальные по Парето - одно удовольствие! Максимальные элементы - это те, чьи строки состоят из всех единиц (кроме себя самих - там может быть как нуль, так и единица). А оптимальные по Парето элементы - это те, чьи столбцы состоят из всех нулей.
Матрица инцидентности графа - это матрица, строки которой соответствуют вершинам, а столбцы - дугам. При этом предполагается, что граф не должен иметь петель.
Элементы матрицы инцидентности будут такими:
Видим, что каждый столбец должен содержать одну единицу и одну минус единицу, остальные элементы столбцов - нули. То есть каждая дуга из одной вершины выходит и в другую вершину входит.
Налицо также очевидна закономерность: максимальные элементы - это те, чьи строки содержат единиц на одну меньше, чем количество строк (вершин), а оптимальные по Парето элементы - это те, чьи строки не содержат минус единиц.
Используя замечательные особенности матриц смежности и инцидентности графов, не составит большого труда разрабатывать компьютерные программы по принятию решений для задач выбора, описанных на языке бинарных отношений.
