Научная статья на тему 'Парето-оптимальность в статической конкурентной модели принятия решений'

Парето-оптимальность в статической конкурентной модели принятия решений Текст научной статьи по специальности «Математика»

CC BY
537
72
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
БЕСКОАЛИЦИОННАЯ ИГРА / ПАРЕТО-ОПТИМАЛЬНОЕ РЕШЕНИЕ / АРБИТРАЖНАЯ СХЕМА НЭША / КОМПРОМИССНОЕ РЕШЕНИЕ / МНОГОАГЕНТНЫЕ СИСТЕМЫ / NON-COOPERATIVE GAME / PARETO OPTIMUM / NASH ARBITRATION SOLUTION / COMPROMISE SOLUTION / MULTIAGENT SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Григорьева Ксения Владимировна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Pareto Optimality in a Static Competitive Decision-Making Model

Purpose: Some applied problems, such as forecasting, selecting, assignment, allocation, diagnostics or multi-agent management, often require providing optimal interaction between agents. The purpose of this research is constructing an algorithm and simple software for solving a game-theoretic model of multi-agent interaction of competitive type, using Pareto optimum and compromise solution, which would process data from a large number of participants in each project. Results: An algorithm is built for solving a static competitive decision-making model, which searches for Pareto-optimal solutions in non-cooperative games and for a compromise project. This model is formalized as a family of different non-cooperative games. Each game is defined for some project and requires a adoption of a positive or negative decision by every player. The players'' incomes are defined as values of payoff functions on the set of n-tuples from their decisions for the relevant projects. We have to solve each non-cooperative game and then, from a set of solutions, to choose a compromise one with the help of an algorithm of finding a compromise solution in order to emphasize the priority project (one or more). The existence of static competitive decision-making model solution is proved and a numerical example is given. Practical relevance: The proposed algorithm can be recommended as a tool to clarify or confirm the optimal solution about the alleged participation in a certain project.

Текст научной работы на тему «Парето-оптимальность в статической конкурентной модели принятия решений»

УПРАВЛЕНИЕ В СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ СИСТЕМАХ /

УДК 519.83; 518.9

с1о1:10.15217/1ззп1684-8853.2015.5.124

ПАРЕТО-ОПТИМАЛЬНОСТЬ В СТАТИЧЕСКОЙ КОНКУРЕНТНОЙ МОДЕЛИ ПРИНЯТИЯ РЕШЕНИЙ

К. В. Григорьеваа, канд. физ.-мат. наук, доцент

аСанкт-Петербургский государственный университет, Санкт-Петербург, РФ

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

Ключевые слова — бескоалиционная игра, парето-оптимальное решение, арбитражная схема Нэша, компромиссное решение, многоагентные системы.

Введение

Задача, рассматриваемая в этой статье, относится к теории принятия решений [1], и если более конкретно, то к серии задач наилучшего выбора [2-5]. Проблема решения задач наилучшего выбора в различных постановках остается актуальной в силу повседневности и многообразия применения этих задач в различных областях жизнедеятельности. Разработка моделей и аппарата для решения задач этого класса в рамках теории управления и теории принятия решений является востребованной и в настоящее время. Суть исследуемой задачи заключается в следующем. Пусть заданы множество агентов N и множество проектов M. Агенты принимают решение: участвовать или не участвовать в проекте. Участие в проекте сопряжено с доходами или расходами, которые агенты хотят, соответственно, максимизировать или минимизировать. Необходимо найти проект (один или несколько), участие в котором принесло бы агентам наилучший в некотором смысле доход. Очевидно, что это — оптимизационная задача, и ее решение может быть найдено путем построения теоретико-игровой модели.

Для решения поставленной задачи построим модель, состоящую из m бескоалиционных игр п лиц Gj, j е M, где п = N1 — количество игроков, а m = — количество проектов. В каждой

игре Gj игрок i е N имеет две стратегии: принять или отклонить проект j е M. Каждый игрок делает свой выбор, и образуется ситуация игры. Выигрыш каждого игрока определяется на множестве ситуаций в этой игре.

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

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

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

Ранее в работах [7-11] автором рассматривались подобные статические модели принятия

решений с коалиционными разбиениями. Эти модели различаются по следующим критериям: в работе [7] для всех проектов задана одна бескоалиционная игра, но для каждого проекта с этой игрой ассоциировано свое коалиционное разбиение; в работе [8] для каждого проекта задана своя бескоалиционная игра и ассоциированное с этой игрой коалиционное разбиение; статьи [9] и [10] являются обобщением работы [7] на многокритериальный случай задания выигрышей игроков, и проблема выбора игроками приемлемого в некотором смысле проекта решается путем сведения многокритериальной коалиционной модели принятия решений с постоянной матрицей выигрышей в бескоалиционной игре к однокритериальной статической модели принятия решений с единственной бескоалиционной игрой и фиксированными коалиционными разбиениями с помощью метода взвешенных коэффициентов многокритериальной оптимизации в первом случае и с помощью минимаксного метода многокритериальной оптимизации во втором.

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

Приведем примеры возможного применения этой модели.

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

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

3. Существует несколько проектов переселения жильцов из аварийного дома. Жильцам предоставляется выбор нового места жительства

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

В статье приведен численный пример реализации предложенной модели с участием трех агентов.

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

Пусть имеются множество N = {1, ..., п} игроков и множество P = {1, ..., ш} проектов, по которым требуется принятие положительного или отрицательного решения каждым из игроков.

Введем обозначения:

Х1 = {0;1} — множество чистых стратегий х1 игрока I е N стратегия х1 соответственно может принимать значения: х1 = 0 — отрицательное решение игрока I по некоторому проекту, х1 = 1 — положительное решение;

х = (х1, ..., хп) — ситуация игры между игроками в чистых стратегиях;

X = ^ XI — множество ситуаций игры.

1=1, п

На множестве ситуаций в чистых стратегиях для каждого проекта ] е Ми для каждого игрока I е N определена функция выигрыша К[: X ^ Я1. Вектор выигрышей игроков будем

обозначать через К! (х) = | { (х)| _ .

Таким образом, имеем ш бескоалиционных игр п лиц О(х), ] е М:

Ъ(х) = ^,^};=щ, {И(х)},хех). (1)

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

Напомним определения парето-оптимального множества (РО) [12-14] и арбитражного решения Нэша (МБ) [14-16].

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

1) К (х') > К (х) VI е N

2) хотя бы для одного ¿о е N К10 (х') > К10 (х).

Обозначим множество парето-оптимальных

ситуаций через X: X с X.

Определение 2. Множество X с X называется множеством допустимых результатов.

Определение 3. Арбитражным решением Нэша х называется решение следующей оптимизационной задачи [16]:

шах][К (х)-и1 ] = ][К (х)-и1 ]

хеХ . -, . -,

1=1 1=1

при ограничениях

К (х)>V, VЬе N.

Здесь v = ..., vn) — точка «статус-кво», обозначающая исход бескоалиционной игры, который игроки себе гарантируют; этой точке соответствует ситуация x':

V, = V, (х') VЬ е N.

В качестве vi будем использовать максимальный гарантированный выигрыш ^о игрока, определяемый характеристической функцией в кооперативной игре п лиц [12]:

VI = шах шт К,

хЬеХЬ xN\{i}еXN\{;}

(х , ^\щ) , (2)

где = (хр ..., xi-1, xi+1, ..., xn) — стратегия коалиции N^1.

Пусть для каждого проекта jеM найдено решение х бескоалиционной игры Gj(x).

Определение 4. Компромиссным множеством называется множество

Ск (Р) = а^штшах1 шахК' (х)-К' (х) >,

где К =

{{ (х)} _ _

I 'П=1,и , у=1

матрица выигрышей

игроков в N3 х [6].

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

Определение 5. Полным компромиссным множеством называется множество

Сашргк (Р) = СК (Р), где сК (Р) определяется следующим образом:

сК (Р ) = Ск (Р);

сК(Р)=аг£ ™ах 1 ша* К'(х)- К'(х)(,

УесК-1 (Р) Ь {'есК-1 (Р) \

q = 2М1; СК (Р) = СК1 (Р).

Проект у е Сатргк (Р) является компромиссным решением для всех игроков.

Определение 6. Статической конкурентной моделью принятия решений Г будем называть множество из m бескоалиционных игр Gj(x), jеM, определенных выражением (1):

Г = { (х)}Д.

Определение 7. Под решением статической конкурентной модели принятия решений будем понимать пару (х, угде х — NB-решение в бескоалиционной игре Су (х) с компромиссным проектом у . _

Определение 8. Вектор выигрышей К' (х) игроков в ситуации N3 будем называть компромиссным вектором выигрышей игроков.

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

Имеем алгоритм решения модели:

1. Зафиксируем jеM.

2. Найдем множество РО-решений X в бескоалиционной игре Gj(x).

3. Найдем множество NB-решений х е X в бескоалиционной игре Gj(x).

4. Повторим итерации 1-3 для всех остальных j е M.

5. Найдем полное компромиссное множество проектов у е Сатргк (Р).

Переформулируем теорему из работы [17, с. 39] в наших обозначениях.

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

Утверждение. Статическая конкурентная модель принятия решений Г всегда имеет по крайней мере одно решение, полученное с помощью алгоритма решения статической конкурентной модели принятия решений.

Доказательство: Действительно, согласно теореме, в бескоалиционной игре с конечным множеством ситуаций X хотя бы одна РО-ситуация существует всегда. Арбитражное решение Нэша на непустом множестве РО-решений также существует всегда, поскольку всегда найдется максимум от дискретной функции выигрыша (определение 3). Наконец, полное компромиссное множество всегда не пусто, поскольку всегда существуют минимум и максимум от дискретной функции выигрыша (определение 5).

Пример

Рассмотрим множество P = {Д.е1:2 и множество из трех игроков N = {^е1:3, у каждого из которых в бескоалиционной игре Gj(x) множество стратегий содержит два элемента: х1 = 1 —

х1 = 0 — «нет», I е 1 : 3. Функции выигрыша игроков определяются в играх О(х) посредством табл. 1.

1. Решим бескоалиционную игру в1(х). В чистых стратегиях равновесия по Нэшу не существует.

Вычислим с помощью формулы (2) гарантированные выигрыши игроков:

V = тах <

x1еX1

т1п {4;1;3;5};

xN\/1 ^^/!

тт {5;1;0;0}

xN\/! еXXN\I1

= тах {1,0} = 1;

x1еX1

V = тах

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

х2е^

тт {2;2;3;2};

XN\12 еXN\12

т1п {1;1;4;4}

XN\12 еXN\I2

и3 = тах <

л^Хз

т1п {1;5;1;3};

лN\13 еXN\ 13

тт {2;3;2;2}

^ XN\ 13 еXN\ 13

= тах {2,1}= 2;

= тах {1,2} = 2.

Найдем оптимальные стратегии согласно арбитражной схеме Нэша (табл. 2), где «-» означает, что стратегии не оптимальны по Парето, а «+» — оптимальны по Парето. Тогда оптимальными будем считать ситуации (1,1,0) и (0,1,0), которые дают одинаковый выигрыш (1,2,2) в обеих ситуациях.

2. Решим бескоалиционную игру в2(х) (см. табл. 1). В чистых стратегиях равновесия по Нэшу не существует.

Вычислим гарантированные выигрыши игроков:

V = тах <

x1еX1

т1п {4;1;2;5};

xN\1! ^^I!

т1п {5;1;0;0}

xN\I! еXXN\I1

= тах {1,0}= 1;

x1еX1

и2 = тах

x2еX2

тт {2;2;3;2};

XN\I2 еXN\I2

тт {1;1;3;4}

XN\!2 еXN\I2

V = тах <

xзеXз

т1п {1;5;1;3};

лN\I3 еXN\I3

т1п {2;3;3;2}

^ *ЛN\!3 еXN\I3

= тах {2,1}= 2;

= тах {1,2} = 2.

x3еX3

Найдем оптимальные стратегии согласно арбитражной схеме Нэша (табл. 3), где «-» означает, что стратегии не оптимальны по Парето, а «+» — оптимальны по Парето. Тогда оптимальной будем считать ситуацию (0,1,0), которая дает выигрыш (1,2,3).

■ Таблица 1

Стратегия игрока Выигрыш в игре С1(х) игрока Выигрыш в игре С2(х) игрока

1 2 3 1 2 3 1 2 3

1 1 1 4 2 1 4 2 1

1 1 0 1 2 2 1 2 2

1 0 1 3 1 5 2 1 5

1 0 0 5 1 3 5 1 3

0 1 1 5 3 1 5 3 1

0 1 0 1 2 2 1 2 3

0 0 1 0 4 3 0 3 3

0 0 0 0 4 2 0 4 2

■ Таблица 2

Стратегия игрока Выигрыш игрока Арбитражная схема Нэша Оптимальность по Парето

1 2 3 1 2 3

1 1 1 4 2 1 (4—1)(2-2)(1-2) = 0 -

1 1 0 1 2 2 (1-1)(2-2)(2-2) = 0 +

1 0 1 3 1 5 (3-1)(1-2)(5-2) < 0 -

1 0 0 5 1 3 (5-1)(1-2)(3-2) < 0 -

0 1 1 5 3 1 (5-1)(3-2)(1-2) < 0 -

0 1 0 1 2 2 (1-1)(2-2)(2-2) = 0 +

0 0 1 0 4 3 (0-1)(4-2)(3-2) < 0 -

0 0 0 0 4 2 (0-1)(4-2)(2-2) = 0 -

■ Таблица 3

Стратегия игрока Выигрыш игрока Арбитражная схема Нэша Оптимальность по Парето

1 2 3 1 2 3

1 1 1 4 2 1 (4-1)(2-2)(1-2) = 0 -

1 1 0 1 2 2 (1-1)(2-2)(2-2) = 0 -

1 0 1 2 1 5 (2-1)(1-2)(5-2) < 0 +

1 0 0 5 1 3 (5-1)(1-2)(3-2) < 0 +

0 1 1 5 3 1 (5-1)(3-2)(1-2) < 0 +

0 1 0 1 2 3 (1-1)(2-2)(3-2) = 0 +

0 0 1 0 3 3 (0-1)(3-2)(3-2) < 0 +

0 0 0 0 4 2 (0-1)(4-2)(2-2) = 0 +

Применяя алгоритм нахождения компромиссного множества, получаем множество компромиссных проектов (табл. 4, 5).

Следовательно, компромиссным является 2-й проект. При этом в ситуации (0,1,0) первый и третий агенты дают отрицательное решение по соответствующему проекту. Иными словами,

■ Таблица 4

x К 4 4

(1,1,0); (0,1,0) 1 2 2

(0,1,0) 1 2 3

Mi 1 2 3

■ Таблица 5

x (1,1,0); (0,1,0) (0,1,0)

M1 - k[ 0 0

M 2 - 4 0 0

Ms - КЗ 1 0

max {M, - К } 1 0

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

1. Kolbin V. V. Decision Making and Programming. — World Scientific Publishing Co, 2003. — 756 p.

2. Yuh-Wen Chen. A Group Game of Multiple Attribute Decision Making // Asia-Pacific Journal of Operational Research. 2007. N 24(5). P. 631-645.

3. Ayeley P. Tchangani. Evaluation Model for Multi Attributes — Multi Agents Decision Making. Satisfic-ing Game Approach // International Journal of Information Technology and Decision Making. 2009. N 8(1). P. 73-91.

4. Sajjad Zahir, Ruhul A. Sarker. Planning Relocation of People for Developing Surface Mines in Densely Populated Area. Optimization of Multiple Objectives // Asia-Pacific Journal of Operational Research. 2011. N 28(5). P. 563-583.

5. Трахтенгерц Э. А. Взаимодействие агентов в много-агентных системах // Автоматика и Телемеханика. 1998. Вып. 8. С. 3-52.

6. Григорьева К. В., Малафеев О. А. Методы решения динамической многокритериальной задачи почтальона // Вестник гражданских инженеров. 2011. № 4. С. 156-161.

7. Григорьева К. В. Статическая модель принятия решений с единственной бескоалиционной игрой и фиксированными коалиционными разбиениями // Вестник Санкт-Петербургского государственного университета технологии и дизайна. Сер. 1. Естественные и технические науки. 2013. № 1. С. 29-36.

8. Григорьева К. В. Статическая модель принятия решений с различными бескоалиционными играми и

Заключение

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

фиксированными коалиционными разбиениями // Вестник Санкт-Петербургского государственного университета технологии и дизайна. Сер. 1. Естественные и технические науки. 2013. № 3. С. 24-30.

9. Григорьева К. В. Многокритериальная коалиционная модель принятия решений с постоянной матрицей выигрышей в бескоалиционной игре // Вестник Санкт-Петербургского государственного университета технологии и дизайна. Сер. 1. Естественные и технические науки. 2013. № 3. С. 32-36.

10. Григорьева К. В. Статическая модель принятия решений с постоянной матрицей выигрышей в бескоалиционной игре и фиксированными коалиционными разбиениями с использованием минимаксного метода многокритериальной оптимизации // Вестник Санкт-Петербургского государственного университета технологии и дизайна. Сер. 1. Естественные и технические науки. 2014. № 1. С. 43-47.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

11. Григорьева К. В. Коалиционная модель принятия решений на множестве проектов // Материалы конф. «Управление в технических, эргатических, организационных и сетевых системах», Санкт-Петербург, 9-11 октября 2012 г. СПб., 2012. С. 952-954.

12. Зенкевич Н. А., Петросян Л. А., Янг Д. В. К. Динамические игры и их приложения в менеджменте. — СПб.: Высшая школа менеджмента, 2009. — 415 с.

13. Григорьева К. В. Бескоалиционные игры в нормальной форме. — СПб.: СПбГАСУ, 2007. — 78 с.

14. Григорьева К. В. Конфликтно-динамические системы. Ч. 1: Статические и стохастические игры. — СПб.: ФГБОУВПО «СПГУТД», 2012. — 163 с.

15. Nash J. F. The Bargaining Problem // Econometrica. 1950. N 18(2). P. 155-162.

16. Зенкевич Н. А., Петросян Л. А. Проблема временной состоятельности кооперативных решений // Научные доклады. 2006. № 8(R). http:// www.gsom.spbu.ru/files/upload/niim/publishing/

papers7Zenkevich_Petrosyan.pdf (дата обращения: 27.07.2015).

17. Ногин В. Д. Принятие решений в многокритериальной среде: количественный подход. — М.: Физ-матлит, 2004. — 176 с.

UDC 519.83; 518.9

doi:10.15217/issn1684-8853.2015.5.124

Pareto Optimality in a Static Competitive Decision-Making Model

Grigorieva X. V.a, PhD, Phys.-Math., Associate Professor, [email protected]

aSaint-Petersburg State University, 35, Universitetskii Pr., 198504, Petergof, Saint-Petersburg, Russian Federation

Purpose: Some applied problems, such as forecasting, selecting, assignment, allocation, diagnostics or multi-agent management, often require providing optimal interaction between agents. The purpose of this research is constructing an algorithm and simple software for solving a game-theoretic model of multi-agent interaction of competitive type, using Pareto optimum and compromise solution, which would process data from a large number of participants in each project. Results: An algorithm is built for solving a static competitive decision-making model, which searches for Pareto-optimal solutions in non-cooperative games and for a compromise project. This model is formalized as a family of different non-cooperative games. Each game is defined for some project and requires a adoption of a positive or negative decision by every player. The players' incomes are defined as values of payoff functions on the set of n-tuples from their decisions for the relevant projects. We have to solve each non-cooperative game and then, from a set of solutions, to choose a compromise one with the help of an algorithm of finding a compromise solution in order to emphasize the priority project (one or more). The existence of static competitive decision-making model solution is proved and a numerical example is given. Practical relevance: The proposed algorithm can be recommended as a tool to clarify or confirm the optimal solution about the alleged participation in a certain project.

Keywords — Non-cooperative Game, Pareto Optimum, Nash Arbitration Solution, Compromise Solution, Multiagent Systems.

References

1. Kolbin V. V. Decision making and Programming. World Scientific Publishing Co, 2003. 756 p.

2. Yuh-Wen Chen. A Group Game of Multiple Attribute Decision Making. Asia-Pacific Journal of Operational Research, 2007, no. 24(5), pp. 631-645.

3. Ayeley P. Tchangani. Evaluation Model for Multi Attributes — Multi Agents Decision Making: Satisficing Game Approach. International Journal of Information Technology and Decision Making, 2009, no. 8(1), pp. 73-91.

4. Sajjad Zahir, Ruhul A. Sarker. Planning Relocation of People for Developing Surface Mines in Densely Populated Area. Optimization of Multiple Objectives. Asia-Pacific Journal of Operational Research, 2011, no. 28(5), pp. 563-583.

5. Trakhtengerts E. A. Interaction of Agents in Multi-agent Systems. Avtomatika i Telemekhanika, 1998, iss. 8, pp. 3-52 (In Russian).

6. Grigor'eva X. V., Malafeyev O. A. Methods for Solving the Dynamic Multicriteria Postman's Problem. Vestnik grazh-danskikh inzhenerov, 2011, no. 4, pp. 156-161 (In Russian).

7. Grigor'eva X. V. Static Model of Decision-making with a Single Noncooperative Game and Fixed Coalitional Partitions. Vestnik Sankt-Peterburgskogo gosudarstvennogo uni-versiteta tekhnologii i dizaina. Ser. 1. Estestvennye i tekh-nicheskie nauki, 2013, no. 1, pp. 29-36 (In Russian).

8. Grigor'eva X. V. Static Model of Decision-making with a Different Noncooperative Games and Fixed Coalitional Partitions. Vestnik Sankt-Peterburgskogo gosudarstvenno-go universiteta tekhnologii i dizaina. Ser. 1. Estestvennye i tekhnicheskie nauki, 2013, no. 3, pp. 24-31 (In Russian).

9. Grigor'eva X. V. Multi-criteria Coalitional Model of Decision-making with a Constant Payoff Matrix in a Noncoop-erative Game. Vestnik Sankt-Peterburgskogo gosudarstven-nogo universiteta tekhnologii i dizaina. Ser. 1. Estestvennye i tekhnicheskie nauki, 2013, no. 3, pp. 32-36 (In Russian).

10. Grigor'eva X. V. Static Model of Decision-making with a Constant Payoff Matrix in a Noncooperative Game and Fixed Coalitional Partitions Using Minimax Method of Multi-criteria Optimization. Vestnik Sankt-Peterburgskogo gosudarstvennogo universiteta tekhnologii i dizaina. Ser. 1. Estestvennye i tekhnicheskie nauki, 2014, no. 1, pp. 43-47 (In Russian).

11. Grigor'eva X. V. Coalitional Model of Decision-Making on a Set of Projects. Materialy konferentsii "Upravlenie v tekh-nicheskikh, ergaticheskikh, organizatsionnykh i setevykh sistemakh" [Proc. of the Conference "Control in Technical, Ergatic, Organizational and Networking Systems"]. Saint-Petersburg, 2012, pp. 952-954 (In Russian).

12. Zenkevich N. A., Petrosjan L. A., Yeung D. W. K. Dinami-cheskie igry i ikh prilozheniia v menedzhmente [Dynamic Games and Their Application in Management]. Saint-Petersburg, Vys-shaia shkola menedzhmenta Publ., 2009. 415 p. (In Russian).

13. Grigor'eva X. V. Beskoalitsionnye igry v normal'noi forme [Noncooperative Games in Normal Form]. Saint-Petersburg, SPbGASU Publ., 2007. 78 p. (In Russian).

14. Grigor'eva X. V. Konfliktno-dinamicheskie sistemy. Chast' 1. Staticheskie i stokhasticheskie igry [Conflict Dynamic System. Part 1. Static and Stochastic Games]. Saint-Petersburg, SPGUTD Publ., 2012. 163 p. (In Russian).

15. Nash J. F. The Bargaining Problem. Econometrica, 1950, no. 18(2), pp. 155-162.

16. Zenkevich N. A., Petrosjan L. A. Time-consistency of Cooperative Solutions. Nauchnye doklady, 2006, no. 8(R). Available at: http://www.gsom.spbu.ru/files/upload/niim/publishing/pa-pers/Zenkevich_Petrosyan.pdf (accessed 27 July 2015).

17. Nogin V. D. Priniatie reshenii v mnogokriterial'noi srede: kolichestvennyi podkhod [Decision-making in Multicriteria Environment: a Quantitative Approach]. Moscow, Fizmatlit Publ., 2004. 176 p. (In Russian).

i Надоели баннеры? Вы всегда можете отключить рекламу.