Игры nлиц

В играх nлиц, как и в играх двух лиц с ненулевой суммой, разли­чают кооперативные игры и игры без кооперации.

Если кооперация запрещена, то игра nлиц очень похожа на игру двух лиц.

В кооперативных играх nлиц главное – этоформирование коали­ций, а не поиск стратегий в самой игре. Такие игры обычно изучают в фор­мехарактеристической функции.

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

Обозначим через множество игроков в игреnлиц. Тог­дахарактеристической функциейназывается функцияv,которая каж­дому подмножеству ставит в соответствие действи­тель­ное число v(S) и удовлетворяет условиям

.

Второе условие, известное как супераддитивностьфункции, иног­да за­ме­няют более слабым

Игру отождествляют с функцией v. Элементы множестваN– этоигроки, анепустые подмножества изNназываютсякоалициями.

Дележомдля игры n лиц с характеристической функцией v на­зы­вается вектор ,удовлетворяющий условиям

Из определения характеристической функции следует, что

. (1)

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

S-эквивалентная нормализация.

Две игрыuиvназываются S-эк­ви­ва­лентными, если существует строго положительное числоα>0 и вектор,такие, что для любогосправедливо равенство

.

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

Игра vнормализована в форме(0,1) , если

.

Теорема. Любая существенная игра S-эквивалентна одной и толь­ко одной игре в нормализованной (редуцированной) форме (0,1) .

Эта теорема позволяет ограничиться рассмотрением только (0,1)нормали­зованных игр.

Пусть задана игра v.Будем говорить, что дележxдоминируетдругойдележy(обычно обозначается как), если существует не­пус­тое мно­жес­т­во, такое, что

.

Ядром игрыназывается множество всех недоминируемых де­ле­жей.

К сожалению, широкий класс игр имеет пустое ядро.

Устойчивым множеством(решением фон Неймана - Морген­штерна)на­зывается множество дележей Vтакое, что:

а) из следует, что не может иметь места;

б) если z является дележом, но , то существует платеж такой, что .

Следует отметить, что, хотя большинство игр имеет много устой­чи­вых множеств, существуют игры, у которых нет устойчивых множеств.

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

Если же ядро само устойчиво, то оно представляет собой един­ст­венное устойчивое множество.

Значением игры по Шеплиявляется априорное матема­ти­чес­кое ожи­да­ние выигрыша, который игрок предполагает получить, участ­вуя в игре.

Значение игры по Шепли вводится аксиоматически как отобра­же­ние мно­жества игр nлиц на множествоn-мерных векторов (платежей), которое име­ет следую­щие свойства:симметрия(если игра симметрична, ее значение дол­жно быть симметрично);эффективность(множество всех игроков, которые делают вклады для участия в игре, полностью отоб­ражается во множество пла­те­жей, получаемых игроками);аддитив­ность(значение суммы двух игр равно сумме их значений). Можно доказать, что только одно значение игры удовлетворяет аксиомам Шепли, а именно вектор, задаваемый формулой

где sиn- числа игроков вSиNсоответственно.

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

Коалиционной структурой в игре nлиц называется разбиение мно­жест­ва игроков N на взаимно непересекающиеся подмножества, объединение ко­то­рых дает N:

Индивидуально-рациональной конфигурацией выигрышана­зы­вает­ся пара ,гдеT– коалиционная структура, а - вектор, удов­летворяющий условиям

Если T– коалиционная структура и, топартнерамиигрокаiвTявляется множество игроков, такое, что. Записывается это в виде.

Пусть - индивидуально-рациональная конфигурация иk и lявля­ются партнерами вT. Тогдаугрозой игрока k против l называется другая индивидуально-рациональная конфигурация такая, что

а) если , то;

б) .

Контругрозой игрокаlпротивkназывается некоторая третья инди­ви­дуально-рациональная конфигурация,такая, что

а) если , то,

б) если , то,

в) .

Индивидуально-рациональная конфигурация выигрыша, при кото­рой для каждой угрозы k против l у игрока l имеется контругроза против k , называется устойчивой.

Множеством сделокназывается множество всех устойчи­вых ин­ди­ви­дуально-рациональных конфигураций выигрыша.

Это множество не пусто в строгом смысле, т.е. для любой коали­цион­ной структуры Tсуществует по крайней мере один дележx,такой, что.

Различные множества сделок можно получить, изменяя виды уг­роз. Так, например, можно вводить в рассмотрение угрозы одной группы игроков против некоторой другой группы или угрозы отдельного игрока против некоторого иг­рока, который не является его партнером по коалиции.