183965 (Информационные технологии решения задач векторной оптимизации)

Размещено на http://www.allbest.ru/

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ВЕКТОРНОЙ ОПТИМИЗАЦИИ

План:

Введение

Принцип оптимальности Парето. Неулучшаемые (оптимальные по Парето) решения

Принцип равновесия по Нэшу

Конфликты, переговоры и компромиссы

Краткий обзор методов решения задачи векторной оптимизации

Введение

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

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

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

где - альтернативы; - векторный критерий; - символ отношения нестрогого предпочтения.

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

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

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

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

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

Задачи оптимизации на множестве объектов, качество функционирования каждого из которых оценивается самостоятельным критерием. Если качество функционирования каждого объекта оценивается несколькими критериями (векторным критерием), то такая задача называется многовекторной. Примером может служить задача распределения дефицитного ресурса между несколькими предприятиями. Для каждого предприятия критерием оптимальности является степень удовлетворения его потребности в ресурсе или другой показатель, например, величина прибыли. Для планирующего органа критерием выступает вектор локальных приоритетов предприятий;

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

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

Многокритериальные задачи можно также классифицировать по другим признакам, например, по вариантам оптимизации, по числу или типам критериев, по соотношениям между критериями, по уровню структуризации, наличию фактора неопределенности и т.п.

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

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

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

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

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

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

Для того чтобы обеспечить однородность частных критериев, которые, вообще говоря, имеют различные шкалы, в практике часто используют простые приемы эквивалентного преобразования неоднородных частных критериев к единому, безразмерному виду. Используются следующие формулы преобразований (в качестве стандарта выбрано преобразование в шкалу со значениями из отрезка [0;1]:

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

;

Если известны максимально возможные значения показателей, то

;

Если известны диапазоны изменения показателей, то

или .

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

Принцип оптимальности Парето. Неулучшаемые (оптимальные по Парето) решения

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

Решение стороны предпочтительнее ее решения , если:

.

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

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

Как правило, на практике совокупность решений оказывается неединственной и образует некоторое множество

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

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

Принцип равновесия по Нэшу

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

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

Ситуацию, характеризующуюся набором решений , называют равновесной по Нэшу, если для всех имеет место неравенство:

.

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

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