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


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


215

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

Эти сомнения были рассеяны работой Э. И. Вилкаса [1], предложившего расчленение принципа максимина на несколько более частных принципов, которые он принимает в качестве аксиом.

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

1° Если А и А - две матрицы одинаковых размеров, причем А А (неравенство понимается поэлементно), то

Иными словами, если игроку предоставляется на выбор участие (в качестве первого игрока) в игре с матрицей А или в игре с матрицей А, где А то участие в игре с матрицей А не менее предпочтительно.

2° Если матрица А получается из матрицы А присоединением к ней новой строки, не превосходящей какой-либо выпуклой линейной комбинации строк матрицы А, то

v(A) = v(A).

Это значит, что для игрока безразлично, участвовать ли ему в игре с матрицей А или же в игре с матрицей А, в которой он располагает на первый взгляд несколько большими возможностями.

3° Если понимать вещественное число х как матрицу, то

и(х)х

(т. е. участие в 1 х 1-игре не менее предпочтительно, чем непосредственное получение выигрыша).

4° Если Ат есть транспонированная матрица А, то

v(A) = v(-AT),

т. е. безразлично, участвовать ли в игре с матрицей А или в игре с матрицей - Ат.

Эта система аксиом полна в смысле, описываемом следующей теоремой: функция v, удовлетворяющая аксиомам 1°-4°, единственна, и значение v (А) является значением матричной игры с матрицей выигрыша А.

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

В приведенной системе аксиом говорится о предпочтительных действиях только одного действующего лица. Поэтому она применима



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

4. Несмотря на то, что основанное определение игры дается фон Нейманом и Моргенштерном в позиционной форме, они сами при рассмотрении игр такого рода ограничились тем важным, но малотипичным случаем, когда игрок имеет в игре полную информацию. Полученный ими (в § 15) результат, обобщающий теорему Цермело (см. 1.2.2), весьма поучителен в своей естественности. В самом деле, теория игр есть теория принятия оптимальных решений в условиях неопределенности и тем самым в условиях неполной информации; с другой стороны, для теории игр характерно то, что она в качестве оптимальных решений указывает смешанные стратегии игроков. Поэтому вполне естественно, что если игрок имеет в игре полную информацию, т. е. действует, по существу, в ситуации неигрового типа, то и оптимальная его стратегия должна быть не теоретико-игровой, а соответствовать иному уровню принятия оптимальных решений. В действительности оптимальная стратегия оказывается в этом случае чистой.

5. В § 16 приводится доказательство теоремы существования оптимальных стратегий в матричных играх, опирающееся на свойства выпуклых многогранников. Вопросы практического нахождения оптимальных стратегий будут * рассмотрены в III.1.2-III.1.5.

§ 4. ИГРЫ ДВУХ ЛИЦ С НУЛЕВОЙ СУММОЙ. ПРИМЕРЫ

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

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

Первый пример решения симметричной матричной 3 X 3-игры был указан Борелем (см. 1.4.2). Фон Нейман и Моргенштерн приводят несколько новых примеров.

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



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

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

3. Обращает на себя внимание излагаемый в п. 18.4.4 анализ литературного конфликта: поведение Шерлока Холмса, спасающегося от профессора Мориарти.

Анализ конфликтов художественными средствами и описание поведения их участников в соответствии с их целями и возможностями издавна занимали видное место в художественной литературе. Как справедливо замечают Льюс и Райфа [1], «во всей мировой литературе столкновение интересов было одной из главных тем; возможно, по вниманию, которое ей уделялось, с ней сравнимы лишь темы бога, любви и внутренней борьбы». К этому можно добавить, что идея бога как нравственной категории была призвана указать на определенные принципы разрешения конфликтов, любовь по самому своему существу есть форма совместных действий лиц, наделенных противоречивыми интересами, а внутренняя борьба состоит в конфликте субъекта с незнанием им той истинной цели, к которой ему следует стремиться. Тем самым «образ конфликта» оказывается одним из наиболее распространенных в художественной литературе и вообще в искусстве.

Теория игр осуществляет анализ конфликтов научными, именно математическими средствами. Поэтому представляет интерес сопоставление поведения участников конфликта, которое теория игр расценивает как оптимальное, с разрешением того же конфликта, даваемым художественными средствами. Первая попытка систематического подхода к этому вопросу содержится в статье Н. Н. Воробьева [8].

4. Обширный § 19 монографии озаглавлен «Покер и блеф». Выбор в качестве примера для подробного изложения именно покера объясняется прежде всего тем, что из всех так называемых «салонных» игр покер является наиболее стратегической: комбинаторно эта игра предельно проста, а азартный, т. е. случайный, элемент сведен в ней до минимума и поддается прямому учету. Поэтому игра в покер ведется не на постепенно накапливаемые преимущества (как это имеет место, скажем, в шахматах), а непосредственно на полезности (обычно - на деньги).

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

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