CC BY
34
УДК 519.6 ББК 22.18
КОРРЕКЦИЯ КООПЕРАТИВНЫХ ИГР КАК МЕХАНИЗМ СТАБИЛИЗАЦИИ ЭКОЛОГО-ЭКОНОМИЧЕСКИХ СИСТЕМ
Горелик В. А.1
(Вычислительный центр им. А.А. Дородницына РАН,
Москва)
Предлагается подход к задачам принятия решений, для которых заданные отношения предпочтения приводят к пустым ядрам, состоящий в минимальной коррекции исходной модели. Идея реализована на примере кооперативной игры в форме характеристической функции c пустым C-ядром как модели неустойчивой эколого-экономической системы, для которой коррекция интерпретируется как механизм стабилизации. Определено понятие Cp-ядра и предложены методы его нахождения.
Ключевые слова: кооперативная игра, характеристическая функция, дележ, C-ядро, минимальная коррекция, Cp-ядро, эксцесс, сбалансированное покрытие.
1. Введение
При анализе любой математической задачи один из основных вопросов - это существование решения. Задачи, которые не имеют решения в принятом смысле, принято называть несобственными. Для таких задач обычно вводится понятие обобщенного решения. Как правило, такое решение превращается в классическое решение для некоторой аппроксимации исходной задачи. Например, если для несовместной системы уравнений или неравенств в качестве решения принимается элемент, кото-
1 Виктор Александрович Горелик, доктор физико-математических наук, ведущий научный сотрудник, (119333, Москва, ул. Вавилова, 40, vgor16@mail.ru)
рый минимизирует некоторую норму невязки, то это эквивалентно решению совместной системы, получающейся из исходной системы минимальным изменением некоторых параметров (исходных данных) в смысле данной нормы.
Такой подход, состоящий в минимальной коррекции исходной модели, получил в последнее время широкое распространение (см., например, [1-8, 10]). Естественным является его применение в задачах принятия решений, для которых заданные отношения предпочтения приводят к пустым ядрам. В данной работе эта идея реализована на примере кооперативной игры, С-ядро которой является пустым множеством. Если такая игра является моделью некоторой эколого-экономической системы, то это можно трактовать как отсутствие свойства устойчивости компромиссных решений (дележей), а коррекцию модели - как механизм стабилизации системы (например, налоговые платежи или льготы, плата за природные ресурсы, штрафы за загрязнение окружающей среды и т.д.).
2. О подходах к решению проблема пустоты ядра
В данной работе рассматриваются кооперативные игры с побочными платежами (трасферабельной полезностью) в форме характеристической функции (супераддитивной). Напомним некоторые определения.
Определение 2.1. Кооперативной игрой в форме характеристической функции называется пара Г = (Ы, v), состоящая из конечного множества N = {1, 2, ..., п}, элементы которого называются игроками, и вещественной функции V/ ^ ^ Я, определенной на множестве всех подмножеств Б с N, называемых коалициями.
Функция v(S) называется характеристической (или коалиционной функцией), на нее обычно накладываются условия
(1) v(0) = 0,
(2) v(Su7) > v(S) + v(T), если БпТ=0.
Свойство (1) формальное, а свойство (2), которое называется супераддитивностью, означает, что при объединении не содержащих общих членов коалиций они могут обеспечить себе
общий выигрыш не меньше суммы выигрышей объединившихся коалиций. При таком условии, вообще говоря, для игроков выгодно объединение в «большую коалицию» N. Вопрос состоит в том, как они могут разделить общий выигрыш.
Определение 2.2. Дележом в кооперативной игре называется вектор х = (х1,...,х„), удовлетворяющий условиям индивидуальной рациональности х, > v({i}) УiеN и коллективной рациональности
п
X X = * N).
Таким образом, множество дележей есть
(3) X(у) = |х е Еп XXX = ), X > V(И),' е N|.
Определение 2.3. Говорят, что дележ х доминирует дележ у по коалиции Б (х >- у), если хг > yi, V/ е и X х{ < .
Х ¡еЯ
Говорят, что дележ х просто доминирует дележ у (х >- у), если найдется такая коалиция Б, что х доминирует дележ у по коалиции Б.
Определение 2.4. С-ядром кооперативной игры называется подмножество таких дележей, для которых не существует доминирующих их дележей.
Далее С-ядро игры будем обозначать просто С. Структура С описывается следующей известной теоремой.
Теорема 1.1. С есть множество всех таких векторов х,
что
X х > ) УЗ с N,
(4) Х ' ( ) '
¿х,= ^).
1=1
Иногда систему неравенств и одного равенства (4) принимают в качестве определения С-ядра. К сожалению, эта система может быть несовместной, тогда С=0. В терминах метода покрытий такие кооперативные игры называются несбалансированными, а в рамках предлагаемого подхода их можно назвать несобственными (конечно, только относительно С-ядра) и применить к ним методы коррекции.
В качестве решения проблемы пустоты С-ядра Шепли и Шубик [11] предложили следующее понятие С-ядра:
Cs(v) = 1 x
]Г x = v(N), £ x ^ v(S) -s, S S c N
i=1 ieS
Очевидно, что Cs(v) ^ 0 для достаточно больших s. Cs-ядро есть подмножество множества распределений (распределение -это вектор, удовлетворяющий только условию коллективной рациональности). Оно обладает свойством устойчивости в предположении, что на создание любой коалиции необходимо произвести затраты, равные s . Если же исходно С # 0, но слишком широкое, то его можно сузить путем выбора s< 0, которое тогда интерпретируется как вознаграждение за создание коалиции. Наименьшее C-ядро есть пересечение всех непустых Cs-ядер. Обозначим его LC(v). Очевидно, что ЬС(у) = С (v}(v), где so(v) -
наименьшее s такое, что Се (v) Ф0 . Величина so(v), которая может быть и отрицательной, определяется формулой s (v) = min max e(S, x),
0 xeX (v) SФ0,N
где e(S, x) = v(S) - ^ xi - эксцесс коалиции S для дележа x.
ieS
Введение понятия Cs-ядра является, по существу, частным случаем коррекции исходной игры. Однако при этом возникает вопрос, почему s - фиксированная для всех коалиций величина, а не зависит от размера или состава коалиций. И почему в него надо вкладывать смысл именно затрат на создание коалиции, ведь эти затраты могли быть уже учтены в исходном значении v(S). Использование общих методов коррекции позволяет взглянуть на проблему пустоты C-ядра более широко.
3. Постановка задачи коррекции игры
Сформулируем задачу минимальной коррекции кооперативной игры с отсутствием требуемого свойства (например, пустым C-ядром):
llAll^ min
(5) 2>,>v(S)
ieS п
г=1
где v(S ) = v(S) - Av(s) VS с TV, А,«, - координаты вектора А,
2n
AeR , || || - некоторая векторная норма (далее используется норма Гельдера с р = 2 и р = со), причем игра с характеристической функцией v(S) обладает требуемым свойством.
На параметры коррекции Av(s) могут накладываться дополнительные ограничения, в частности, далее в основном рассматривается коррекция, не предполагающая изменения v(N)). Кроме того, при некоторых видах коррекции может нарушаться свойство супераддитивности (2), поэтому возможно введение соответствующих ограничений на коррекцию, сохраняющих данное свойства, а также и любое другое (например, симметрию) или их комбинацию.
Определение 3.1. Cp-ядром назовем множество
(6) =|x e X '(v): |A| ^ ^ min, £ X > v(S)-Av(s) VS с n| ,
где X(v) - множество распределений, получаемое из (3) исключением условий Xi > v({i}) Vi e N, || ||p - норма Гельдера, Cp * 0. Если C-ядро игры существует, то, очевидно, Cp = C. Несовместность системы (4) означает, что либо исходная модель плохо отражает действительность и нуждается в доработке, либо плох описываемый ею реальный механизм взаимодействия, либо в рамках концепции C-ядра неустойчивость неустранима. Коррекция модели (в данном случае характеристической функции, если это допустимо) является, соответственно, либо уточнением исходных параметров, либо введением дополнительных механизмов, обеспечивающих устойчивость возможных компромиссных решений.
Рассмотрим возможные дополнительные условия (ограничения) на коррекцию.
1. Av(s) = £ VS * 0, N.
Данное условие похоже на определение Cs-ядра, однако здесь, в соответствии с общей постановкой задачи коррекции (5), предполагается минимизация параметров коррекции, поэтому для любой нормы получаем следующую задачу:
\s | ^ min
X х,- > v(S)-s VS с N,
ieS
n
X х = v(N),
i=\
которая, очевидно, сводится к задаче линейного программирования (ЗЛП):
u ^ min
u >s, u > -s,
<Xх > v(S)-s VS с N,
ieS n
X X = v(N).
. i=\
Свойство супераддитивности автоматически сохраняется. Решение этой задачи, вообще говоря, не совпадает с наименьшим ядром, так как если С Ф 0, то здесь s = 0 и ядро не меняется, а LC(v) является его максимальным сужением. Такая коррекция в эколого-экономических терминах может интерпретироваться как единая для всех минимальная плата за использование общих природных (например, водных) ресурсов или наоборот, как компенсация за природоохранные мероприятия.
2. Av(s) > 0 VS Ф 0, N.
Это ограничение на коррекцию (параметры ее не отрицательны) при исходном предположении о пустоте C-ядра естественно, так как речь о сужении ядра не идет.
Для нормы Гельдера с параметром p = 2 получаем, очевидно, задачу квадратичного программирования:
X Av(S) ^ min
S с N
X х,. > v(S) -Av(s) VS с N,
ies
(7) Хх,. = v(N),
n
х.
1=1
Av(s ) > 0.
Для нормы Гельдера с параметром p = да получаем ЗЛП: u ^ min
U >Av(S),
X X, > v(S) -Av(s) VS с N,
IgS n
X Xi = v(N),
i=i
Av(S) > 0.
Свойство супераддитивности характеристической функции здесь после коррекции может нарушаться, поэтому ограничения
(7) возможно следует дополнить условиями
(8) Av(sur) > Av(s) + Av(T), SnT=0,
которые в силу их линейности не выводят из класса задач, соответственно, квадратичного или линейного программирования. Такая коррекция в эколого-экономических терминах может интерпретироваться как дифференцированная плата за использование природных ресурсов.
3. Av(S) = kv(S) VS Ф 0, N, 0 < k < 1.
Будем называть такой вид коррекции пропорциональным. Он может реализовываться как механизм налоговых отчислений или рентных платежей. Супераддитивность характеристической функции здесь, очевидно, сохраняется. Далее этот вариант коррекции будет рассмотрен более подробно.
4. Av(s) = ksv(S), VS Ф 0, N, 0 < ks < 1.
Данный вариант коррекции может реализовываться как механизм налоговых льгот (или субсидий при ks < 0), предоставляемых отдельным группам. Супераддитивность скорректированной характеристической функции здесь может нарушаться, поэтому, возможно, требуются дополнительные ограничения (8).
5. X Ау(5) _ ) .
5 с N
Этот вариант коррекции предполагает изменение характеристической функции для всех коалиций, включая большую коалицию. Данное условие можно интерпретировать как отчисления в общий фонд на охрану окружающей среды или дотации из этого общего фонда. Выполнение условия супераддитивности характеристической функции здесь обеспечивается введением дополнительного условия (8).
Для нормы Гельдера с параметром р = 2 получаем задачу квадратичного программирования:
X А2(S) ^ min
S с N
X X > v(S) -AV(S) VS с N,
iGS n
X X = v(n) av(n ),
i=1
X Av(s) = -v(N).
S с N
Для нормы Гельдера с параметром p = да получаем ЗЛП: u ^ min
U >Av(S), u >-Av (S ),
X Xi > v(S) -Av(s) VS с N,
Xi > v(s ) - av(s) iGS
n
X X, = v(N) -A
i=i
v(N),
X Av(s) =-v(N).
5 с N
Если для большой коалиции изменение характеристической функции запрещено, то получаем частный случай этого варианта
ХА V (5 ) = 0,
5 с N
который означает сохранение баланса при изменении начальных данных.
Варианты 1-5 позволяют усовершенствовать базовую модель коррекции кооперативной игры с целью более адекватного описания реальных эколого-экономических механизмов управления.
4. Использование сбалансированных покрытий в задаче коррекции
Как известно, необходимые и достаточные условия непустоты С-ядра, полученные О.Н. Бондаревой (и независимо Л. Шепли), основаны на теории двойственности линейного программирования. Рассмотрение двойственных переменных к ограничениям (4) привело к понятию сбалансированного покрытия.
Определение 4.1. Сбалансированным покрытием множества всех игроков N называется отображение Л ставящее в соответствие каждой собственной (отличной от N коалиции Б действительное число Лб из отрезка [0, 1] так, что для всех
игроков / е N выполняются равенства X Л = 15 с N 5 эг
Теорема 4.1 (Бондарева). Необходимым и достаточным условием непустоты С-ядра является выполнение неравенства (9) X Л5 • ) < у(Ю
5 с N
для любого
Л5 е Л = |л • ХЛ = 1 ^г е 0 #
Для проверки условий теоремы 4.1 надо решить ЗЛП X Л 45) ^ тах .
5 с N Л еЛ
Удобство использования сбалансированных покрытий состоит в том, что их множество не зависит от конкретной игры (определяется только числом игроков), а главное, как многогранник, оно определяется конечным числом его вершин (назы-
ваемых приведенными покрытиями). Сбалансированные покрытия можно использовать для нахождения Cp-ядра. В соответствии с (9) получаем задачу
(10) min || Д|| при условии max( X AS (v(S)-Av(S) )< v(N) .
p As еЛ S С N
Введем множество приведенных сбалансированных покрытий, для которых нарушается условие (9):
Л- = Я •• X V(S) > v(N)l, Л- с Л.
I S с N J
Теорема 4.2. Если C-ядро исходной игры пусто, то задача коррекции (10) для нормы Гельдера с параметром p = да сводится к ЗЛП u ^ min u > Av(s),
X AsAvss) > X AsV(S) -v(N)
S cN S cN
Av(S) > 0.
Доказательство. Если C-ядро исходной игры пусто, то существует такое подмножество множества сбалансированных покрытий Л, для которого не выполняются условия (9). Среди этих сбалансированных покрытий выберем только приведенные сбалансированные покрытия, - это есть множество Л-. Для элементов этого множества As введем параметры коррекции, удовлетворяющие неравенствам X As(v(S) -Av(s)) <v(N)
S c N
или эквивалентным им
X AsAv(s) > X AsV(S) - v(N).
Sc N Sc N
В силу положительности As, очевидно, можно ограничиться Av(S) > 0. При p = да имеем целевую функцию max Av(s) ^ min; вводя u > Av(s), получаем задачу на u ^ min, что и завершает доказательство.
Для нормы Гельдера с p = 2 задача (10) аналогично сводится к задаче квадратичного программирования:
X A 2(s) ^ min
s c N
Математическая экология: теоретико-игровые модели X Л\(S) > X ) - v(N) Vi е Л-,
ScN ScN
Av(S) > 0.
Таким образом, если при проверке на пустоту С-ядра исходной игры найдены сбалансированные покрытия (достаточно рассматривать приведенные покрытия), для которых не выполняются условия (9), то только они учитываются в ограничениях задачи нахождения Cp-ядра. Например, для игры трех лиц (с супераддитивной характеристической функцией) достаточно рассматривать одно сбалансированное покрытие, которое дает следующее необходимое и достаточное условие не пустоты С-ядра: (11) v(1, 2) + v(1, 3) + v(2, 3) < 2 • v(1, 2, 3).
Соответственно, если условие (11) не выполняется, то в задаче поиска Cp-ядра оно выступает как ограничение на коррекцию.
Пример 1. Рассмотрим игру трех лиц с пустым С-ядром в (0-1) редуцированной форме: v(1) = v(2) = v(3) = 0, v(1, 2, 3) = 1. Для нее A = v(1, 2) + v(1, 3) + v(2, 3) - 2 > 0. В силу супераддитивности v(1, 2), v(1, 3), v(2, 3) не больше 1, поэтому v(1, 2), v(1, 3), v(2, 3) не меньше A. Уменьшение этих величин на А = A / 3 при неизменных v(1), v(2), v(3), v(1, 2, 3) является, очевидно, единственной минимальной коррекцией при любом p (за исключением p = да, и в этом случае единственность можно достичь дополнительной лексикографической минимизацией). Она сохраняет (0-1) редуцированную форму и супераддитивность. Пусть v(1, 2) = 0,5, v(1, 3) = 0,8, v(2, 3) = 1,0, тогда А = 0,1, Cp = {(0,1; 0,3; 0,6)}.
5. Пропорциональная коррекция.
Рассмотрим подробнее наиболее интересную, на наш
взгляд, пропорциональную коррекцию Av(S) = kv(S) VS с N, 0 < k < 1. Задача минимальной коррекции имеет вид
k ^ min
X x > )(1 - k) VS с N,
i eS (12) и
X X = v(N),k >0.
i=1
Обозначим решение задачи линейного программирования (12) через ко, а ядро скорректированной игры, т.е. совокупность х, удовлетворяющих ограничениям (12) при данном ко, -через Ск.
Без ограничения общности будем далее считать, что v(S) > 0 VS (например, игра в (0-1) редуцированной форме, но не обязательно). Введем величину
5(x,S) = v~\S) X X-.
ieS
Назовем ее относительным эксцессом коалиции S. Так как Vx e X '(v) имеет место 8( x, N) = 1, то 5п = max min 5(x,S) < 1.
xeX '(v) S с N
Очевидно, что C Ф 0 тогда и только тогда, когда 5о = 1. Теорема 5.1. Если C=0, то
k0 = 1 - v(N)
max X Asv(S)
Доказательство. Введем замену переменные r = (1 - k)-1, Zi = rxi, тогда задача (12) примет вид r ^ min
X Z > v(S) VS с N,
¿eS
(13) „
X z = rv(N), r > 0. i=1
Обозначим решение задачи (13) через ro, z0. Очевидно, задача (13) эквивалентна задаче
n
| zt ^-mm
i=1
при ограничениях
X z > v(S) VS с N
(14) X^
т.е. для них решения z0 совпадают, а
п
го = У(N)1 X .
г=1
Рассматривая двойственную задачу к задаче (14) с переменными Ля, имеем
п
X = ^^^ XЛsv(S).
г=1 5 5 с N
Так как ко = 1 - го-1, получаем утверждение теоремы.
Пример 2. Рассмотрим игру трех лиц с пустым С-ядром в нередуцированной форме. Для нее у(1, 2) + у(1, 3) + у(2, 3) > > 2у(1, 2, 3). Минимальная пропорциональная коррекция, приводящая к непустому ядру, дает значение ко = 1 - 2у(1, 2, 3)^у(1, 2) + у(1, 3) + у(2, 3)]-1. Пусть у(1) = 200, у(2) = 300, у(3) = 0, у(1, 2) = 800, у(1, 3) = 550, у(2, 3) = 650, у(1, 2, 3) = 900. Тогда ко = 0,1 (отчисления с каждой коалиции 10%), ~(1) = 180, ~(2) = 270, ~(3) = 0, ~(1,2) = 720, ~(1,3) = 495, ~(2,3) = 585, а Ск = {(315, 405, 180)}. Заметим, что максимальное уменьшение значения характеристической функции здесь равно 80, а при независимой коррекции минимальное А « 66,7 (оно, естественно, меньше, так как при пропорциональной коррекции на нее накладываются дополнительные ограничения).
Пример 3 (распределение затрат на экологические мероприятия). Пусть в одном районе на берегу реки расположены 3 предприятия, отходы производства которых загрязняют водные ресурсы. Районное руководство обязывает их построить по отдельности или совместно очистные сооружения. Себестоимости отдельных или совместных (в любом объединении) сооружений, исключающих все виды загрязнений, заданы: с(1) = 200, с(2) = 300, с(3) = 400, с(1, 2) = 350, с(1, 3) = 450, с(2, 3) = 550, с(1, 2, 3) = 700. Свяжем с проблемой распределения затрат игру сбережений [9] по формулам
v(S) = X v(г) - v(S) с N.
Получим у(1) = у(2) = у(3) = 0, у(1, 2) = у(1, 3) = у(2, 3) = 150, у(1, 2, 3) = 200. В этой игре С = 0. Пусть в интересах районного управления создание общего очистного сооружения и оно может ввести пропорциональные отчисления от экономии в фонд охраны окружающей среды. Тогда ко = 1 / 9 (отчисления с каждой двухэлементной коалиции « 11%), а Ск = {(200/3, 200/3, 200/3)}. Заметим, что и произвольная минимальная коррекция дает такой же результат и сохраняет симметричность игры.
6. Заключение
Предлагаемый подход естественным образом может применяться к различным игровым (и не только) задачам, не имеющим решения в принятом смысле. Однако он может быть использован и для решения другой типичной проблемы теории игр и исследования операций. В задачах принятия решений в условиях неполной информации (наличие случайных или неопределенных неконтролируемых факторов, многокритериальная оптимизация, конфликтная ситуация) по существу не может быть единого принципа оптимальности. Поэтому для них возникают различные понятия решения. Если соответствующие множества решений для данной задачи непусты и пересекаются, то модель обладает хорошими свойствами. Но такая ситуация не типична. Если же эти множества не пересекаются, вопрос выбора решения остается открытым. Тогда, считая исходную модель, а возможно и описываемую ее практическую ситуацию, неустойчивой (некорректной), можно применить метод ее коррекции с целью получения требуемых свойств. В данном случае этим свойством может быть совпадение разных видов решений для скорректированной модели. Например, для кооперативной игры таким свойством может быть принадлежность вектора (значения) Шепли С-ядру, если последнее непусто, или одновременное требование непустоты и принадлежности. Соответствующие результаты получены и планируются к публикации.
Математическая экология: теоретико-игровые модели Литература
1. ВАТОЛИН А.А. Коррекция расширенной матрицы несовместной системы линейных неравенств и уравнений / Математические методы оптимизации в экономико-математическом моделировании. - М.: Наука, 1991. -С. 240-249.
2. ГОРЕЛИК В.А. Матричная коррекция задачи линейного программирования с несовместной системой ограничений // ЖВМ и МФ. - 2001. - Т. 41, №11. - С. 1697-1705.
3. ГОРЕЛИК В.А., ЕРОХИН В.И. Оптимальная матричная коррекция несовместных систем линейных алгебраических уравнений по минимуму евклидовой нормы. - М.: ВЦ РАН, 2004. - 193 с.
4. ГОРЕЛИК В.А., ЕРОХИН В.И., ПЕЧЕНКИН Р.В. Численные методы коррекции несобственных задач линейного программирования и структурных систем уравнений. - М.: ВЦ РАН, 2006. - 152 с.
5. ГОРЕЛИК В.А., МУРАВЬЕВА О.В. Методы коррекции несобственных задач и их применение к проблемам оптимизации и классификации. - М.: ВЦ РАН, 2012. - 148 с.
6. ЕРЕМИН И.И., МАЗУРОВ В.Д., АСТАФЬЕВ Н.Н. Несобственные задачи линейного и выпуклого программирования. - М.: Наука, 1983. - 336 с.
7. MARKOVSKY I. Bibliography on total least squares and related methods // Statistics and its interface. - 2010. - Vol. 2. -P. 1-6.
8. MARKOVSKY I, VAN HUFFEL S. Overview on total least squares methods // Signal Processing. - 2007. - Vol. 87. -P. 2283-2302.
9. PELEG B., SUDHOLTER P. Introduction to the theory of cooperative games. - Springer-Verlag, Berlin, Heidelberg, 2007. -336 p.
10. ROSEN J.B ., PARK H., GLICK J. Total least norm formulation and solution for structured problems // SIAM Journal on Matrix Anal. Appl. - 1996. - Vol. 17, №1. - P. 110-128.
11. SHAPLEY L.S., SHUBIK M. Quasi-cores in a monetary economy with nonconvex preferences // Econometrica. - 1966. Vol. 34. - P. 805-827.
CORRECTION OF COOPERATIVE GAMES AS STABILIZATION MECHANISM OF ECOLOGICAL-ECONOMIC SYSTEMS
Viktor Gorelik, Computing Center of RAS, Doctor of Sciences, Professor (vgor@mail.ru)
Abstract: An approach is suggested for decision-making problems where players' preferences result in the empty core of the cooperative game. The approach is based on a minimal correction of the initial model. We illustrate the idea on the cooperative game in the form of characteristic function with the empty core originated from the model of an unsustainable ecological-economic system, for which a correction is interpreted as a stabilization mechanism. We introduce the concept of Cp-core and explain its calculation.
Keywords: cooperative game, characteristic (coalition) function, imputation, core, minimal correction, balanced collection
Статья представлена к публикации членом редакционной коллегии Г.А. Угольницким
Поступила в редакцию 08.01.2015.
Опубликована 31.05.2015.
