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


[Старт] [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]


170

Для i= 1, . . ., п (56:8) не изменяется при переходе от (56:5) к (56:7) т но для i = n-\~\ мы должны использовать (56:6). Отсюда получаем

2 af-v((7i+l))=v((l, ...,тг)).

Таким образом, (56:8) превращается в (56:9) av((i)) для 1=1,-...,/г,

(56:10) 2a«-v((l, ...,тг)).

56.9. Возвращение к случаю, когда Г является игрой с нулевой суммой

56.9.1. Остановимся на истолковании этих ограничений.

Ограничения (56:9) не новы. Они снова выражают то, что мы уже имели для игр с нулевой суммой, а именно, что никто не должен получить меньше, чем он может себе обеспечить, выступая против всех остальных игроков. Однако ограничение (56:10) появилось впервые. Его смысл станет ясным, если мы рассмотрим v ((1, . . ., тг)) более внимательно.

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

2 Сч, • • •»т")-

Он управляет переменными т1? . . ., тп, т. е. всеми переменными, которые входят в это выражение. Так, в игре двух лиц с нулевой суммой реальные игроки управляют всеми ходами, в то время как фиктивный игрок не имеет никакого влияния на течение игры.

Сопоставляя это со схемой игры двух лиц с нулевой суммой, описан-

ной в п. 14.1.1, мы получим, что наша 2 к соответствует &С для этого

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

Интуитивно ясно, что значение такой игры (для первого игрока) получается при максимизации выигрыша по всем его переменным (так как все они им управляются). Оно равно

(56:11) max 2 • ..,т„),

ti.....хп к=1

что соответствует в схеме из п. 14.1.1 выражению

(56:12) max<2f (т1? т2) (т2 фактически отсутствует).

Конечно, систематическая теория из §§ 14, 17 дает тот же самый результат: vl7 v2 в п. 14.4.1 равны как друг другу, так и выражению (56:12), ибо операция min является «пустой». Таким образом, игра впол-

не определена и имеет значение (15:12) в смысле пп. 14.4.2 и 14.5. Следовательно, общая теория из § 17 необходимо приводит к тому же значению.



Итак, мы видим, что

{56:13) v((l, ...,«))= . max 2 (xlt . .., т„).

•Следовательно, (56:10) выражает, что ни один дележ не может дать всем реальным игрокам больше, чем они могут получить в самом благоприятном случае, т. е. предполагая полную кооперацию и наилучшую возможную стратегию *).

Замечание. Если игра в своей первоначальной форме, т. е. до того, как осуществлено нормирование из пп. 12.1.1 и 11.2.3, содержит случайные ходы, то в словах «самый благоприятный случай» речь идет не о них. Именно, предполагаются только кооперация и оптимальный выбор стратегий, в то время как случайные ходы должны учитываться только при нахождении математического ожидания выигрышей. В действительности как раз этим путем мы переходили в п. 11.2.3 от функций

$л(т<ь ть хп)

(где т0 представляет влияние всех случайных ходов) к функциям o7Ck (т1? . . ., тп), с которыми мы сейчас имеем дело.

Суммируя сказанное, мы получаем:

(56:В) Дележи в форме (56:7) подчиняются следующим ограничениям:

(56:В:а) Никакому реальному игроку не следует предлагать меньше, чем он может себе обеспечить, даже играя против остальных (см. (56:9)).

{56:В:Ь) Все реальные игроки вместе не должны получить больше той суммы, которую можно ожидать в самом благоприятном случае, т. е. при полной кооперации и лучшей стратегии (см. (56:10) и (56:13)).

Эти формулировки делают смысл наших ограничений (56:9) и (56:10) (т. е. (56:В:а), (56:В:Ь)) совершенно ясным. Нарушение (56:9) (т. е. (56:В:а)) означает, что один из реальных игроков получает предложение более неблагоприятное, чем то, на что он может рассчитывать в худшем случае. Нарушение (56:10) (т. е. (56:В:а)) означает, что объединение всех (реальных) игроков получает предложение более выгодное, чем то, что они могут надеяться когда-либо получить. Представляется естественным рассматривать (56:10) именно как те условия, при которых игроки, действующие разумно, откажутся рассматривать какую-либо схему распределения (дележ) ввиду ее явной бессмысленности.

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

В частности, предположим, что мы применяем преобразования предыдущего пункта к игре Г п лиц, которая уже является игрой с нулевой суммой. Построим для этой игры сначала игру п + 1 лица с нулевой суммой, как это описано в п. 56.2.2, а затем поступим, как в п. 56.8.2.

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

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



верная для всех игр, то мы должны потребовать, чтобы она согласовалась со старой (более частной) теорией там, где последняя применима. Это значит, что в пределах применимости старой теории, где новая теория оказывается излишней, она должна согласовываться со старой теорией *).

56.9.3. То, что Г является игрой п лиц с нулевой суммой, означает,

2 0F*(Ti, ...,ти)-О,

т. е. e%n+i(ti, . ..,тп) = 0. Таким образом, \ (S) не изменится, если (тг+1)-й фиктивный игрок добавлен к множеству S (или исключен из него). Иными словами,

(56:14) y(S) = v(S[}(n + l)) для S <= (1, .. ., тг).

Частные случаи, когда S- 0, (1, . .., тг) дают нам (56:15) v ((7i + l)) = О,

(56:16) v((l, .... 7i+l))=0.

Соотношения (56:14) и (56:15) показывают, что игра Г разложима с разлагающими множествами (1, . . ., п) и (тг + 1). Ее составляющая с (1, . . ., п) есть первоначальная игра Г, а фиктивный игрок является «болваном» 2). (О разложении см. конец п. 42.5.2 и п. 43.1. О «болванах» см. замечание на стр. 353 и наконец п. 43.4.2.)

Теперь мы можем высказать следующие соображения.

56.9.4. Первое. Так как Г получается из Г добавлением «болвана», решения Г и Г. (в старой теории) должны соответствовать друг другу, и различие между ними должно заключаться лишь в том, что в последнем присутствует «болван» (фиктивный, (тг + 1)-й игрок), которому приписывается выигрыш v ((тг + 1)) = 0 (см. п. 46.9.1, или (46:М) в п. 46.10.4).

Предлагаемая нами новая теория позволит получить решение Г из решений (в старой теории) Г. Поэтому из приведенного выше рассуждения следует, что все новые решения, полученные для Г, будут находиться среди старых. Кроме того, мы видим, что в этом случае мы можем (а в действительности даже должны) взять всю систему Q из (56:А:а) в п. 56.7.2. Следует отметить, однако, что в этом случае все решения Q автоматически приписывают фиктивному игроку п + 1 сумму v ((тг + 1)). Таким образом, здесь Q = Qc с с = v ((тг + 1)), т. е. Q = Q (см. (56:А:Ь) и (56:A:d)). Следовательно, любое множество, которое мы можем определить между Q и Q" (в частности, каждое из множеств й и Q" из (56:А:с) и (56:A:d)), совпадает с Q и одинаково подходит для наших целей.

Другими словами, выбор между Q и который мы должны сделать, в данном случае не имеет значения. Обе возможности согласуются здесь

г) Это - хорошо известный методологический принцип математического обобщения.

2) Читатель должен помнить, что в общем случае в Г фиктивный игрок не является «болваном». Это, возможно, звучит парадоксально, но это было показано в п. 56.3 на частном примере общей игры двух лиц Г. В действительности это именно потому, что правила игры Г не позволяют ему в общемслучае приписать роль «болвана», и мы должны были ограничить решения V игры Г теми, где он эту роль играет. В этом и состоит смысл пп. 56.3.2-56.6.2.

Мы определим в п. 57.5.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]