назад Оглавление вперед


[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [ 90 ] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]


90

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

(29:A:d) Снова обращает на себя внимание то, что эта «устойчивость» является характеристикой только всех трех распределений, рассматриваемых вместе. Ни одно из них само по себе ею не обладает; каждое распределение, взятое в отдельности, можно было бы расстроить, если бы другая коалиция расширилась до необходимого большинства игроков.

29.1.4. Перейдем теперь к поискам точной формулировки тех эвристических принципов, которые приводят к решениям из табл. 23, помня при этом все время замечания (29:А:а) - (29:A:d).

Более точная формулировка интуитивно распознаваемой «устойчивости» системы трех распределений табл. 23 (которая должна быть кратким изложением того, о чем говорилось в сноске 3 на стр. 280) возвращает нас к тому положению, в котором мы уже находились раньше при качественных исследованиях Оно может быть представлено в следующем виде:

(29:В:а) Если трем игрокам будет предложена для рассмотрения какая-либо иная схема распределения, то она встретит отказ по следующей причине: достаточное число игроков 2) предпочтет, в своих собственных интересах, хотя бы одно из распределений решения (см. табл. 23); эти игроки убеждены или могут быть убеждены 3) в возможности получения преимуществ от этого распределения.

(29:В:Ь) Если же предложено одно из распределений решения, то такой группы игроков не окажется.

Переходим к более точному обсуждению достоинств этого эвристического принципа.

29.2. Количественные рассмотрения

29.2.1. Предположим, что р1? р2, Рз описывают возможный способ распределения между игроками 1, 2, 3. Другими словами,

Pl + p2 + p3=0.

Тогда, поскольку по определению v ((£)) (= - 1) является выигрышем, который игрок i может себе обеспечить (независимо от того, что делают все остальные), он, конечно, не допустит какого-либо распределения, в котором pf < v ((г)). Предположим поэтому, что

P*iv((0) = -i.

Мы можем переставить игроков 1, 2, 3 так, чтобы было

PlP2P3.

Допустим теперь, что р2 < 1/2. Тогда тем более рз<1/2. Следовательно, оба игрока 2 и 3 предпочтут последнее распределение из перечнелен-

х) Эти представления проникают во все рассуждения пп. 4.4-4.6, но они выступают более конкретно в пп. 4.4.1 и 4.6.2.

2) В данном случае, конечно, два.

3) Что означает эта «убежденность», было обсуждено в п. 4.4.3. Последующее объяснение сделает это совершенно ясным.



ных в табл. 23 *), где они оба получат больший выигрыш 1/2 2). Кроме того, ясно, что они могут получить выгоду от этого распределения (независимо от того, что делает третий игрок), так как выигрыши 1/2, 1/2, которые оно им предназначает, вместе не превосходят v ((2, 3)) = 1.

Если, наоборот, р2 1/2» то и pi 1/2. Поскольку р3 > - 1, это возможно только в том случае, когда pt = р2 = 1/2 и р3 = - 1, т. е. когда мы имеем первое распределение табл. 23 (см. сноску 1 на этой стр.).

Это устанавливает (29:В:а) из п. 29.1.4. Утверждение (29:В:Ь) получается непосредственно. Именно в каждом из трех распределений табл. 23 наверняка существует игрок, который желает улучшить свое положение 3), но, будучи в одиночестве, он не в состоянии это осуществить. Ни один из двух возможных его партнеров не приобретает ничего, отказываясь от своего уже имеющегося союзника и объединяясь с неудовлетворенным игроком: каждый из них и так получает 1/2, и они не могут получить больше ни при каком другом распределении из табл. 23 4).

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

Мы видим, что неудовлетворенный игрок не находит никого, кто хотел бы добровольно стать его партнером, и он не может никому предложить положительную побуждающую причину к нему присоединиться, если только не предложит уступить более, чем 1/2 дохода от их будущей коалиции. Причина, по которой такое предложение следует рассматривать как неэффективное, может быть выражена двумя способами: по чисто формальным основаниям это предложение можно исключить, так как оно соответствует распределению, не содержащемуся в табл. 23; реальным субъективным мотивом, по которому любой предполагаемый партнер считал бы неблагоразумным 5) участвовать в коалиции при таких условиях, была бы, наиболее вероятно, боязнь последующего невыгодного положения - возможны дальнейшие переговоры, предшествующие образованию коалиции, в результате которых он оказался бы в особенно уязвимом положении. (См. анализ в пп. 22.1.2, 22.1.3.)

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

г) Так как мы сделали некоторую перестановку игроков 1, 2, 3, последнее распределение табл. 23 фактически имеет место для всех троих.

2) Отметим, что каждый из этих двух игроков в отдельности получает выгоду от такой перемены. Недостаточно было бы иметь лишь общий доход (этих двух игроков). Сравним, например, первое распределение табл. 23 со вторым; игроки 1, 3 вместе получили бы выгоду от замены первого на второе, но тем не менее первое распределение является столь же хорошей составляющей решения, сколь и любое другое.

При этой частной замене игрок 3 действительно получил бы выгоду (получив 1/2 вместо -1), а для игрока 1 эта замена безразлична (в обоих случаях он получает 1/2). Тем не менее игрок 1 не начнет действовать, пока не будут произведены дальнейшие компенсации,- и в настоящем рассмотрении ими можно пренебречь. Более глубокое обсуждение этого вопроса см. в конце этого параграфа.

3) Тот, который получает -1.

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

5) Или ненадежным, или неэтичным.

6) Для каждого перехода от одного распределения табл. 23 к другому один игрок определенно против него, другой - за; и, следовательно, остающийся игрок блокирует такой переход своей индифферентностью.



§ 30. ТОЧНАЯ ФОРМА ОБЩИХ ОПРЕДЕЛЕНИЙ 30.1. Определения

30.1.1. Обратимся снова к случаю игры п лиц с нулевойсуммой Г при произвольном п. Пусть v (S) - характеристическая функция игры Г.

Переходим к формулировке наиболее существенных определений.

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

(30:1) aj=tv((0) для i = l, ..., п,

(30:2) 2 = 0.

Может оказаться удобным рассматривать эти системы чисел аи .. ., ап, как векторы в гг-мерном линейном пространстве Ьп в смысле п. 16.1.2:

а = {аи . . ., ап).

Множество S (т. е. подмножество множества / = {1, п}) называется эффективным для дележа а, если

(30:3) S«iv(iS).

Дележ а доминирует другой дележ р, что обозначается как

-> ->

ОСЕ-р,

если существует множество S, обладающее следующими свойствами: (30:4:а) S не пусто,

(30:4:b) S эффективно для а,

(30:4:с) а*>Рг для всех i£S.

Множество дележей V называется решением, если оно обладает следующими свойствами:

(30:5:а) Никакое р £ V не доминируется никаким a £ V. (30:5:b) Каждый дележ р, не принадлежащий V, доминируется некоторым дележом a £ V.

Свойства (30:5:а) и (30:5:Ь) можно сформулировать в виде единственного условия:

(30:5:с) Элементы из V являются точно теми дележами, которые не доминируются никакими элементами из V. (См. сноску 1 на стр. 65.)

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

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

[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [ 90 ] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]