Вектор оптимальный по парето

Вектор оптимальный по парето

Тема магистерской работы: «Разработка моделей и программных средств для многокритериальной оптимизации сложных объектов в компьютерных информационных системах»

Руководитель: доцент кафедры АСУ Лаздынь Сергей Владимирович

| Сайт ДонНТУ | Сайт магистров | Факультет КИТиА | Поисковая система |
| На главную | Полезные ссылки | Библиотека | Индивидуальное задание |
|Отчет о поиске|Автореферат

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

Результаты исследования задач планирования и управления показывают, что в реальной постановке эти задачи являются многокритериальными. Так, часто встречающееся выражение «достичь максимального эффекта при наименьших затратах» уже означает принятие решения при двух критериях. Оценка деятельности предприятий и планирования как системы принятия решений производится на основе более десятка критериев: выполнение плана производства по объему, по номенклатуре, плана реализации, прибыли по показателям рентабельности, производительности труда и т. д.

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

Впервые проблема оптимизации векторного критерия была сформулирована экономистом Парето в 1896 г.

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

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

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

Задача многокритериального математического программирования имеет вид:

X – множество допустимых значений переменных х;
k – число целевых функций (критериев);
Fi – значение i-го критерия (целевой функции),
“max” – означает, что данный критерий нужно максимизировать.

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

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

Таблица 2.1. Способы нормализации.

НормализацияМатематическое выражение
Сведение к безразмерным величинам
Приведение к одной размерности
Смена ингридиента
Естественная нормализация
Нормализация сравнения
Нормализация Савиджа
Нормализация осреднения

В данной таблице y – элемент пространства G. G – пространство элементов произвольной природы, называемых целевыми термами (в конкретных интерпретациях это совокупность, перечень или нумерация качественных свойств) элементов xєX.

Сверткой компонент многоцелевого показателя fєF называется отображение gєR1>, которое преобразует совокупность компонент многоцелевого показателя f, соответствующих целевым термам yєY, в скалярный целевой показатель g(f(x|y)= g[yєY]єR1. Основными видами сверток являются линейные, минимизационные, максимизационные, произведения и функции Кобба-Дугласа вида:

Проблемы получения и обоснования выбора сверток составляют основное направление теории полезности.

К настоящему времени сформулированы основные принципы выбора, приведенные в таблице 2.2.

Таблица 2.2. Принципы выбора.

Принцип выбораУсловие оптимальности
Доминантности
Частичной доминантности
Парето
Слейтера
Собственно эффективности Джерри
Несобственно эффективности Джерри
Равенства
Суммарной эффективности
Нэша
Компромисса
Доминирующего результата
Гарантированного результата
Наименьшего уклонения
ламбда-критерия
альфа-критерия Гурвица
Максимума функции неопределенности

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

Вектор называется оптимальным по Парето решением, если не существует хєХ такого, что выполнены неравенства
и

Областью компромиссов Гх называется подмножество допустимого множества решений Х, обладающего тем свойством, что все принадлежащие ему решения не могут быть улучшены одновременно по всем локальным критериям — компонентам вектора эффективности. Следовательно, для любых двух решений, принадлежащих области Гх(х’, x»єГх ), обязательно имеет место противоречие хотя бы с одним из локальных критериев. Это автоматически приводит к необходимости проводить выбор решения в Гх на основе некоторой схемы компромисса, что и послужило причиной для названия этого подмножества областью компромиссов.

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

Пусть все локальные критерии, образующие вектор эффективности, имеют одинаковую важность.

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

Этому принципу можно дать следующую математическую интерпретацию. Пусть в области компромиссов Гх даны два решения х’ и х’’, качество которых оценивается критериями F1(х) и F2(х). Решение х’ превосходит решение х’’ по критерию F1, но уступает ему по критерию F2. Необходимо сравнить эти решения и выбрать наилучшие на основе принципа справедливого компромисса.
Для сравнения этих решений на основе принципа справедливого компромисса введем меру относительного снижения качества решения по каждому из критериев – цену уступки x:

где и — абсолютные снижения уровня критериев при переходе от решения х’ к решению х» (для критерия F1) и при обратном переходе (для критерия F2).

Если относительное снижение критерия F1 больше, чем критерия F2, то следует отдать предпочтение решению х’. Это следует из сравнения цены уступки по каждому критерию.

Алгоритм решения задачи векторной оптимизации, основанный на принципе справедливого компромисса, включает следующие шаги.

Шаг 0. Выбираем х’ и х’’є Dx.
Шаг 1. Вычисляем по формулам (3.1) х1 и х2.
Шаг 2. Если х1>х2, то выбираем х’, если х1 (3.3)

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

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

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

Вектор х1єХ называется слабо оптимальным по Парето решением (оптимальным по Слейтеру), если не существует вектора х1єХ, такого, что

Пусть xoj (i=1,m) есть оптимальные решения для обычных скалярных оптимизационных задач, каждая из которых максимизирует компоненту Fi(х) вектора F (х):

Если они являются максимальными решениями для каждой i, то считаем, что Fj(xoj) >Fi(xj) (i=1,m), где xoj — оптимальное решение задачи (3.4).

Положим, что Soj изображает множество решений, каждое из которых соответствует компоненту Fj, и
Soj = <x|Fj(x)? =z; (3.7)
Fi(x)>=Fj(x)oj—aj, i=1,m; (3.8)
хєХ. (3.9)

Здесь задача (3.6) – (3.9) неразрешима, если аj не настолько велико, что пересечение непусто. Величины аj должны быть определены на основе значений Fj(xoj) или анализа точности. Можно доказать, что оптимальное решение задачи (3.6) – (3.9) есть оптимальное решение по Парето.

Алгоритм решения задачи имеет следующие этапы.

Шаг 1. Полагаем l=1 и решаем задачу

max z (3.10)
х, z при
Fj(x)>=z;
Fi(x)>=Fj(x)oj—aj, i=1,m; хєХ.

Вызываем исходное решение x1 и оцениваем целевую функцию F(x1).

Шаг 2. Когда хl задано, разлагаем F(хl) на удовлетворительные и неудовлетворительные
компоненты. Обозначим их соответственно через Sl и l.

Если Sl , тогда эта задача считается неразрешимой, а если Sl , то х1 — оптимальное, отвечающее требованиям решение. Если и Sl , то для jєSl определяется аlj>0, допустимое по отношению к Fj(xl) [аlj=0 означает, что j-я целевая функция fj(x) не может принимать значение, отличное от fj (xl)].

Ш а г 3. Решаем задачу
max z
х, z
при условии
Fj(x)єz, jє l ;
Fi(x)>=Fj(x)oj—aj, jєSl; хєХ.

Вызываем исходное решение xl+l. Если xl+1=xl, то задача будет неразрешимой; если xl+1xl, то полагаем 1 = 1+1 и возвращаемся к шагу 2.

При этом алгоритм заканчивается.

В основу данного подхода положена идея приближения по всем критериям.

Пусть дана задача многокритериального программирования

и заданы граничные условия
(3.12)
(3.13)
x1>=0, x2>=0, …, xn>=0. (3.14)

Среди решений системы (3.11) – (3.14) требуется отыскать такое значение вектора х*(х*1, … , х*n), при котором локальные критерии примут по возможности максимальное (минимальное) значение одновременно.

Рассмотрим каждую отдельную функцию fi(x) и допустим, что для каждого фиксированного i (i=1,m) решена задача максимизации. Пусть соответствующие оптимальные планы характеризуются векторами

xoi(xo1, xo2,…, xon), i=1,m (3.15)

На этих оптимальных планах определим значения критериев соответственно

Foi=(Fi(xo1), Fi(xo2),…, Fi(xon)) (3.16)

Естественно, что векторы (3.15), определяющие векторы точки в пространстве переменных (x1, x2,…, xn)є , будут разными: некоторые из них могут совпадать друг с другом.

Рассмотрим вектор F(х) с компонентами F(x)|Foi из (3.15) и составим квадрат евклидовой нормы

вектора F(x) — Fo, определенного для всех xє .

Заметим, что Fo будет представлять собой единичный вектор в пространстве вектора F(x). Назовем его идеальным значением вектора F(x). Поставленная задача теперь сформулируется так: дана система целевых функций (3.11) и даны условия задачи (3.12) – (3.14). Требуется определить точку xє , в которой функция R(x) достигает минимума.

Таким образом, отыскание векторно-оптимального плана xє в данной задаче сведено к оптимизации выражения (3.17) на решениях системы линейных неравенств (3.12) – (3.14). Поскольку выражение (3.17) представляет собой квадратичную функцию переменных х1, …, хп, то задача отыскания векторно-оптимального плана свелась к задаче выпуклого программирования:

Задана выпуклая функция R(x), определенная на множестве xє . Требуется отыскать точку xє , обеспечивающую выполнение условия R(x*) = minR(x), xє .

Таким образом, алгоритм решения задачи (3.11) – (3.14) состоит из двух основных этапов:
этап 1: maxFi(x), i=1, m;
этап 2: min R(x).

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

Вначале производится качественный анализ относительной важности критериев; на основании такого анализа критерии располагаются и нумеруются в порядке убывания важности, так что главным считается критерий F1, менее важен F2, затем следуют остальные локальные критерии F3, F4. ., Fm. Максимизируется первый по важности критерий F1 и определяется его наибольшее значение M1. Затем назначается допустимое снижение (уступка) d1>=0 критерия F1. Определим новую допустимую область X(1), как подобласть X вида

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

После этого находим наибольшее значение М2 второго критерия F2 на множестве X(1) , т. е. при условии, что значение первого критерия должно быть не меньше, чем M1-d1. Снова назначается значение уступки d2>=0, но уже по второму критерию, которое вместе с первым используется при нахождении условного максимума третьего критерия, и т. д. Наконец, максимизируется последний по важности критерий Fm при условии, что значение каждого критерия Fr из m—1 предыдущих должно быть не меньше соответствующей величины Мr — dг; получаемые стратегии считаются оптимальными:

Таким образом, оптимальной считается всякая стратегия, являющаяся решением последней задачи из следующей последовательности задач:

1) найти M1= supF1(x), xєX;
2) найти M2= supF2(x), xєX; (3.19)

m) найти Mm= supFm(x), xєX;

Если критерий Fm на множестве стратегий, удовлетворяющих ограничениям задачи m) из (3.19) не достигает своего наибольшего значения Мm, то решением многокритериальной задачи считают максимизирующую последовательность из последовательности множеств

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

Алгоритм решения задачи векторной оптимизации включает следующие шаги.

Одним из распространенных методов решения многокритериальных задач является метод сведения многокритериальной задачи к однокритериальной путем свертывания векторного критерия в суперкритерий. При этом каждый критерий умножается на соответствующий ему весовой коэффициент (коэффициент важности).

При этом возникают трудности с правильным подбором весовых коэффициентов аi.

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

Таблица 3.1. Шкала относительной важности.

Интенсивность относительной важностиОпределение
1Равная важность сравниваемых требований
3Умеренное (слабое) превосходство одного над другим
5Сильное (существенное) превосходство
7Очевидное превосходство
9Абсолютное (подавляющее) превосходство
2,4,6,8Промежуточные решения между двумя соседними оценками

В данной работе рассмотрено более 20 методов подбора весовых коэффициентов. Однако всвязи с большим объемом этой информации ограничимся лишь ссылкой на ресурс, на котором находится указанная статья — http://www.domarev.kiev.ua/nauka/glav_6.htm.

Общие сведения о генетических алгоритмах.

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

Простой ГА случайным образом генерирует начальную популяцию структур. Работа ГА представляет собой итерационный процесс, который продолжается до тех пор, пока не выполнятся заданное число поколений или какой-либо иной критерий остановки. На каждом поколении ГА реализуется отбор пропорционально приспособленности, одноточечный кроссовер и мутация. Сначала, пропорциональный отбор назначает каждой структуре вероятность Ps(i) равную отношению ее приспособленности к суммарной приспособленности популяции. Затем происходит отбор (с замещением) всех n особей для дальнейшей генетической обработки, согласно величине Ps(i). Простейший пропорциональный отбор – рулетка – отбирает особей с помощью n «запусков» рулетки. Колесо рулетки содержит по одному сектору для каждого члена популяции. Размер i-ого сектора пропорционален соответствующей величине Ps(i). При таком отборе члены популяции с более высокой приспособленностью с большей вероятность будут чаще выбираться, чем особи с низкой приспособленностью.

После отбора, n выбранных особей подвергаются кроссоверу (иногда называемому рекомбинацией) с заданной вероятностью Pc. – n строк случайным образом разбиваются на n/2 пары. Для каждой пары с вероятностью Pc может применяться кроссовер. Соответственно с вероятностью 1-Pc кроссовер не происходит и неизмененные особи переходят на стадию мутации. Если кроссовер происходит, полученные потомки заменяют собой родителей и переходят к мутации.

Одноточечный кроссовер работает следующим образом. Сначала, случайным образом выбирается одна из l-1 точек разрыва. (Точка разрыва – участок между соседними битами в строке.) Обе родительские структуры разрываются на два сегмента по этой точке. Затем, соответствующие сегменты различных родителей склеиваются и получаются два генотипа потомков.

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

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

Обобщенная блок-схема генетического алгоритма.

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

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

Первая проблема связана с выбором принципа оптимальности, который строго определяет свойства оптимального решения и отвечает на вопрос, в каком смысле оптимальное решение превосходит все остальные допустимые решения. В отличие от задач однокритериальной оптимизации, у которых только один принцип оптимальности f(xо)>=f(x), в данном случае имеется большое количество различных принципов, и каждый принцип может приводить к выбору различных оптимальных решений. Это объясняется тем, что приходится сравнивать векторы эффективности на основе некоторой схемы компромисса.

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

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

Третья проблема связана с учетом приоритета (или различной степени важности) локальных критериев. Хотя при выборе решения и следует добиваться наивысшего качества по всем критериям, однако степень совершенства по каждому из них, как правило, имеет различную значимость. Поэтому обычно для учета приоритета вводится вектор распределения важности критериев L=(l1, l2. ln), с помощью которого корректируется принцип оптимальности или проводится дифференциация масштабов измерения критериев.

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

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

Возможными путями решения рассмотренных выше проблем многокритериальной оптимизации может быть применение рассмотренных в пункте 2 сверток и способов нормализации.

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

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

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

Введение.
1. Анализ существующих методов и моделей многокритериальной оптимизации.
2. Разработка математической модели выбранного технологического объекта.
3. Разработка метода многокритериальной оптимизации для выбранного объекта.
4. Разработка программного обеспечения ля выбранного объекта.
5. Проведение экспериментов по многокритериальной оптимизации и анализ полученных результатов.
6. Обобщение результатов исследований и разработка рекомендаций по их использованию.
Заключение.

Видео:Выделение множества, оптимального по Парето. Графики (1)Скачать

Выделение множества, оптимального по Парето. Графики (1)

Парето-оптимальные (эффективные) векторные оценки и варианты, их свойства

Отношение (9.1) остается и при т > 2 отношением строгого частичного порядка [1] , т.е. обладает свойствами антирефлексивности > у — не выполнено), антисимметричности ((у > у*) А (у* >у)=* (у = У*)) и транзитивности ((у > у*) А А (у* > у**) => (у > у**)).

В отличие от Л [1] , в пространстве Л»‘ существуют пары векторных критериев у, у*, как удовлетворяющие отношениям у > у* или у* > у, так и не удовлетворяющие ни одному из этих отношений. Таким образом, критериальное пространство Л™ — частично упорядоченная группа [3] .

Проиллюстрируем смысл критериального пространства как частично упорядоченной группы геометрически для случая т = 2, т.е. для двух критериев /,(х) и/2(х). При т = 3, т.е. в критериальном пространстве Л [4] , геометрическая интерпретация становится менее наглядной. Приведем два примера, отвечающие двум часто встречающимся (и в теории, и на практике) вариантам множества альтернатив X: дискретному случаю и области возможных вариантов.

Пример: дискретное множество альтернатив. Если множество решений X с Л [3] дискретно [4] , т.е. все его точки изолированы [7] , то оно может быть либо конечным (X = <хр х2,хп>), либо счетным множеством (X = <х,, х2. хп. >). На практике ситуация конечного множества может возникнуть, если имеется несколько (например, п = 10) вариантов приобретаемого товара, представленных проектов и т.н. Критериями г/, и у0 в этом случае могут быть, в частности, цена и качество (товара, проекта).

Каждой альтернативе хк с номером к сопоставим точку Ук плоскости 9? 2 с координатами г/, = /<к) и у2 = /2к). Тогда графическое представление при п = 10 множества возможных оценок У = <ух, у2. г/10> в критериальном пространстве 9? 2 представляет собой набор изолированных точек <Ур У2. У10> (рис. 9.1). Отметим, что согласно введенному вначале предположению критерий, отвечающий цене (скажем, ух), подвергнут преобразованию М — /<(х) так, что минимальной цене соответствует максимальное значение г/,. В данной ситуации отношение строгого порядка, введенное формулами (9.1), можно интерпретировать в терминах предпочтений ЛГ1Р следующим образом. Если две оценки ух и ук удовлетворяют отношению у. > ук, то точка У- лежит правее и выше точки Ук, и тогда ЛПР может исключить вариант ук как явно менее предпочтительный по сравнению с у..

Вектор оптимальный по парето

Рис. 9.1. Дискретное множество возможных оценок У в двумерном критериальном пространстве 9? 2 и образ соответствующего множества Парето — Эджворта

Из рис. 9.1 очевидно, что, хотя множество возможных оценок У и не является линейно упорядоченным множеством, т.е. все 10 альтернатив нельзя выстроить в определенном порядке, но частичная упорядоченность группы позволяет выделить из множества Уточки У1? У2, У^ и У8, расположенные на рис. 9.1 правее и выше всех остальных вариантов. Иными словами, при выборе наилучшего решения ЛПР может убрать из рассмотрения все остальные альтернативы и выбирать только из четырех: х,, х2, х4 и х8. Между собой эти варианты несравнимы согласно формуле (9.1). Величины критериев у] и у2 достигают максимума в различных точках: критерий г/, достигает максимума в точке У8, тогда как величинау2 в точке Ух, т.е. одновременный максимум на множестве X не реализуется. Промежуточные варианты У2 и У4 представляют собой компромиссные решения, которые вполне могут соответствовать предпочтениям ЛПР.

Такое сужение множества альтернатив X с исходных 10 до четырех, само собой разумеющееся при взгляде на иллюстрацию, перестает быть наглядным в случае критериальных пространств более высоких размерностей т или же для более сложных множеств альтернатив X. Именно изучение в самом общем случае этого сужения, именуемого множеством Парето — Эджворта, и составляет предмет данной главы.

Следующий пример более сложного множества альтернатив X естественно было бы назвать непрерывным множеством (так как непрерывность — общепринятое противопоставление дискретности [8] ), но формально в математике непрерывными считают исключительно линейно упорядоченные множества [9] . Как мы убедились, линейная упорядоченность уже при т = 2 отсутствует. Поэтому назовем множество X областью, представляющей собой с точки зрения топологии связное подмножество топологического пространства. Нередко областью считают только открытое множество, но для теории принятия удобнее рассматривать замкнутую область, т.е. замыкание области, включающее также границу.

Пример: область как множество альтернатив. Если множество решений X связно, то между любыми «соседними» по величинам критериев альтернативами всегда могут быть промежуточные варианты. Тогда X обязано быть несчетным множеством. Подобная ситуация возникает, в частности, при выборе оптимальных значений двух управляющих параметров (финансовых регуляторов, технических показателей и т.п.) некоторой системы при условии, что регулировка этих параметров может осуществляться непрерывно в некоторых пределах. Графическое представление множества возможных оценок У в критериальном пространстве может иметь вид наподобие фигуры У, заштрихованной на рис. 9.2.

Вектор оптимальный по парето

Рис. 9.2. Область возможных оценок У в двумерном критериальном

пространстве и образ соответствующего множества Парето — Эджворта

Как и на рис. 9.1, координаты каждой точки на рис. 9.2 (например, координаты точек А, В, С, I), Е, В, С, Я, М) представляют собой величины критериев ух и у2 для некоторой альтернативы из множества X. Но здесь, если ЛПР стремится достичь наибольшего значения обоих критериев у< и у2, т.е. требуется их максимизация, то частичная упорядоченность группы позволяет ЛПР выделить из множества X альтернативы с образами из отрезков ВС, ОЕ и ВС границы заштрихованной области У, расположенными, как и на рис. 9.1, правее и выше всех остальных вариантов. Иными словами, при выборе наилучшего решения ЛПР может убрать из рассмотрения все остальные альтернативы с векторными оценками из заштрихованной области У и выбирать только точки трех указанных отрезков.

Концы отрезков ВС и ГС остаются в числе представляющих интерес для ЛПР, а концы отрезка ОЕ — нет, так как они доминируемы точками С и Л соответственно.

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

Приведенные два примера показывают важность сужения множества возможных оценок У. Если в нервом примере выбор из 4 альтернатив становится значительно проще, чем первоначальный выбор из 10 вариантов, то во втором — не просто уменьшается число альтернатив, но происходит качественное преобразование первоначальной области У с конечной площадью в объединение отрезков кривой линии, имеющих нулевую площадь.

Получаемое в результате сужение множества альтернатив X называется множеством Парето — Эджворта (Френсис Эджворт 1 (Francis Edgeworth, (1845—1926) — английский экономист, родившийся в Ирландии, который впервые, раньше В. Парето, ввел понятие Парето-оптимального решения для двух критериев). Именно с построения этого множества начинается анализ любой задачи теории принятия решений. Практическое применение указанного алгоритма показывает, что нередко, как и в двух приведенных примерах, сужение X и построение множества Парето — Эджворта настолько ограничивает множество оставшихся вариантов, что дальнейший выбор достаточно несложен и не составляет труда для ЛПР.

Множеством Парето — Эджворта, или множеством Парето-оптималъных решений, называется множество Р/(Х) входящих в X альтернатив х*, которые не являются доминируемыми, т.е. для которых не существует доминирующих альтернатив х, удовлетворяющих отношению строгого предпочтения: х > х*.

Из определения вытекает, что для построения множества Парето — Эджворта необходимо исключить из множества решений X все доминируемые альтернативы. Иными словами, надо отбросить все такие альтернативы х*, для которых найдется хотя бы одна доминирующая альтернатива х > х*.

Практическая значимость множества Парето — Эджворта обусловлена тем, что любое решение х из множества альтернатив X, не входящее в РДХ), заведомо не может быть оптимальным.

Действительно, по определению решение х будет доминируемым по отношению к некоторому элементу х* множества Парето — Эджворта, т.е. ЛПР предпочтет х* вместо х.

Парето-оптимальным решениям в критериальном пространстве отвечают Парето-оптимальные векторы (оценки).

Парето-оптимальным вектором (или Парешо-оптималъной векторной оценкой) называется вектор /2(.г*), /т(х*)), соответствующий Парсто-опти-

мальному решению х*.

Приведенные примеры позволяют сделать вывод, что главный смысл рассмотрения Парето-оптимальных вариантов и их векторных оценок состоит в значительном сужении исходных множеств X и У, причем любая из оставшихся альтернатив в силу недоминируемости может быть признана оптимальной (лучшей).

Парето-оптимальные варианты благодаря свойствам своих векторных оценок образуют существенно более узкое по сравнению с первоначальным множеством X множество Парето — Эджворта Р^Х). Тем самым окончательный выбор ЛПР наилучшего эффективного решения становится намного легче и проще.

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

Множество Парето-оптимальных векторных оценок, т.е. образ множества Парето — Эджворта РХХ) в критериальном пространстве называют фронтом Парето [10] (иногда Парето-фронтом — от англ. Pareto-frontier) или множеством Парето — Эджворта в критериальном пространстве.

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

Парето-оптимальные векторные оценки остаются Парето-оптимальными при любых линейных преобразованиях отдельных частных критериев, сохраняющих порядок.

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

Видео:Граница производственных возможностей. Оптимум по ПаретоСкачать

Граница производственных возможностей. Оптимум по Парето

Критерий оптимальности принятия решений

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

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

По-другому подобную ситуацию называют Парето-оптимальным состоянием.

Видео:Построение множества, оптимального по Парето. ТаблицыСкачать

Построение множества, оптимального по Парето. Таблицы

Парето-оптимальное состояние (оптимум Парето)

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

На рис. 4.2 показано, что в точке А все ресурсы отданы участнику игры X и его полезность максимальна. В точке В максимальная полезность у игрока Y.

Вектор оптимальный по парето

Рис. 4.2. Ресурсы (полезность игроков Хи У)

При перемещении из точки А в точку В имеет место компромисс, когда ресурсы передаются от игрока Xк игроку Y. Обе точки А и В эффективны по Парето, так как ни в одной, ни в другой ситуации нельзя улучшить положение одной из сторон, не сделав хуже другой. Они, конечно, несправедливы, но оптимальны по Парето.

Точка С не является оптимальной по Парето. Двигаясь в направлении вправо вверх, можно улучшать полезность и игрока X и игрока Y. При этом с точки зрения игроков точки D и Е не равноценны по полезности (для X предпочтительна точка D; для Y — точка Е).

Видео:Лекция 9. Многокритериальная оптимизация. Парето. Линейная свертка и др.Скачать

Лекция 9. Многокритериальная оптимизация. Парето. Линейная свертка и др.

Нахождение Парето-оптимальных решений для многокритериальной задачи

Предположим, что требуется выбрать одно оптимальное решение из множества допустимых решений, каждое из которых определяется парой показателей (М^г о,). Изобразим на координатной плоскости пространство оценок (рис. 4.3) с точками (М^,, о,).

Вектор оптимальный по парето

Рис. 4.3. Пространство оценок Ми а: точки 1. 7— соответствуют решениям Х<. Х7; крупные точки — Парето-оптимальные решения;

Д — уступка по критерию М

Левая часть рисунка (круглые точки) значения математического ожидания положительно, а о отрицательно, так как этот критерий (а) мы должны минимизировать. Парето-оптимальными оценками является правая верхняя граница и соответственно Парето-оптимальными решениями Xv Х2, Х9 и Х7. Этих решений множество, и окончательный выбор оптимального решения проводится из этого множества. Возможны два подхода: первый подход заключается в том, что строится множество Парето-оптимальных решений и из этого множества ЛПР выбирает единственное решение на основе неформальных дополнительных соображений.

Рассмотрим второй подход на основе сужения множества Парето-оптимальных альтернатив.

  • 1. Выбор главного критерия и назначение нижних границ по остальным критериям. Назначим нижнюю границу по критерию М и будем минимизировать критерий а. Если в качестве нижней границы критерия М взять значение М4 ,то оптимальным будет решение Х2, так как среди решений удовлетворяющих условию А/. >М4, она наименее рискованна.
  • 2. Лексикографическая оптимизация предполагает упорядочение критериев по важности. Допустим, например, что М — важнейший критерий. Так как максимальное значение по критерию М имеет единственное решение Х7, то оно и является оптимальным. Здесь наглядно проявляется недостаток метода лексикографической оптимизации: учет одного (важнейшего) критерия. Этот недостаток связан с необходимостью введения жесткого приоритета критериев и может быть снят за счет изменения приоритетов. В этом случае используют метод последовательных уступок, который был рассмотрен выше.

Допустим, что по критерию М возможна уступка А. Тогда результатом выбора на первом шаге будут альтернативы Х7, Х%, Х9. Среди них наилучшей по второму критерию будет Х9. Таким образом, несколько снизив требования по критерию М, мы значительно улучшили оценку по критерию а (т.е. некоторое уменьшение ожидаемого выигрыша привело к существенному снижению риска).

Рассмотрим применение обобщенного критерия для нашей задачи. Возьмем в качестве обобщенного критерия функцию вида:

Вектор оптимальный по парето

где X — некоторая постоянная величина.

Фактически критерий (4.33) представляет аддитивный критерий оптимальности частных критериев (А/, а) с весовыми коэффициентами (1 и -X). При Х>0 оценка случайной величины с помощью аддитивного критерия (4.33) меньше, чем ее среднее значение, что характерно для осторожного человека. Напротив, при X О состоит в том, что увеличение критерия f[M, а) может происходить как за счет увеличения М, так и за счет уменьшения о. Таким образом, для человека, не склонного к риску, критерий (4.33) отражает стремление к увеличению ожидаемого выигрыша и уменьшению риска отклонения от него. При этом показатель X характеризует субъективное отношение принимающего решение к риску. Следовательно, X можно рассматривать как субъективный показатель меры несклонности к риску (показатель осторожности).

В качестве примера разберем случай выбора варианта производимого товара.

Фирма может выпускать продукцию из следующих шести видов: зонтики (3), куртки (К), плащи (П), сумки (С), туфли (Т) и шляпы (Ш). Глава фирмы должен принять решение, какой из этих видов продукции выпускать в течение предстоящего летнего сезона. Прибыль фирмы зависит оттого, каким будет лето — дождливым (Д), жарким (Ж) или умеренным (У), и определяется в табл. 4.23.

🔍 Видео

Закон Парето. Правило Парето. Принцип 80/20Скачать

Закон Парето. Правило Парето. Принцип 80/20

32 Парето оптимальные распределения определение и пример поискаСкачать

32 Парето оптимальные распределения  определение и пример поиска

Метод множества ПаретоСкачать

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

5.1.3. Парето-эффективностьСкачать

5.1.3. Парето-эффективность

33 Дифференциальная характеристика внутреннего Парето оптимумаСкачать

33 Дифференциальная характеристика внутреннего Парето оптимума

35 Пример поиска Парето оптимальных распределений Кобб ДугласСкачать

35 Пример поиска Парето оптимальных распределений  Кобб Дуглас

Урок 1.Поиск решения, оптимизация, оптимальный план производстваСкачать

Урок 1.Поиск решения, оптимизация, оптимальный план производства

Лекция 1. Формирование равновесной цены. Общее равновесие. Эффективность по ПаретоСкачать

Лекция 1. Формирование равновесной цены. Общее равновесие. Эффективность по Парето

Морозов — 14: Метод сужения множества стратегий, оптимальных по ПаретоСкачать

Морозов — 14: Метод сужения множества стратегий, оптимальных по Парето

Теория Игр. Вектор Шепли 74Скачать

Теория Игр. Вектор Шепли 74

Диаграмма Парето в Excel 2016Скачать

Диаграмма Парето в Excel 2016

#3: Генераторы инсайтов - Закон ПаретоСкачать

#3: Генераторы инсайтов - Закон Парето

Множество и принцип Парето 2022 #13Скачать

Множество и принцип Парето 2022 #13

Excel. Диаграмма Парето.Скачать

Excel. Диаграмма Парето.
Поделиться или сохранить к себе: