Рассмотрим игру на рис. 5.6, аналогичную той, что приведена на рис. 5.5, но с дополнительной стратегией на каждого игрока[65]. Как отмечалось выше, девять комбинаций стратегий, в которые входит одна из первых трех стратегий для каждого из игроков, можно обосновать посредством цепочки убеждений игроков в отношении убеждений друг друга. Это верно и в увеличенной матрице. Но подходит ли такой способ для стратегий R4 и C4?
Рис. 5.6. Рационализируемые стратегии
Может ли Строка исходить из убеждения, что Столбец выберет стратегию C4? В его основе должны лежать убеждения Столбца в отношении выбора Строки. Могут ли они сделать стратегию С4 наилучшим ответом Столбца? Нет. Если Столбец полагает, что Строка сыграет R2, его наилучший ответ С2. Если Столбец считает, что Строка предпочтет R3, то его наилучший ответ С3. А если Столбец убежден, что Строка выберет R4, тогда его наилучший ответ либо С1, либо С3. Следовательно, С4 не может быть наилучшим ответом Столбца[66]. Это означает, что Строка, зная о рациональности Столбца, ни в коем случае не припишет ему выбор стратегии С4. Стало быть, Строка не должна исходить из убеждения, что Столбец сыграет С4.
Обратите внимание, что хотя стратегия С4 не может быть наилучшим ответом, она не является доминируемой по отношению к стратегиям С1, С2 и С3. Для Столбца она предпочтительнее стратегии С1 против стратегии Строки R3, предпочтительнее стратегии С2 против стратегии Строки R4 и предпочтительнее стратегии С3 против стратегии Строки R1. Если стратегия все же доминируемая, она тоже не может быть наилучшим ответом. Таким образом, «стратегия, которая не может быть наилучшим ответом», — более общая концепция, чем «доминируемая стратегия». Исключение таких стратегий возможно даже тогда, когда исключение доминируемых стратегий невозможно. Следовательно, исключение стратегий, которые не могут быть наилучшим ответом, способно сузить совокупность вероятных исходов игры в большей степени, чем исключение доминируемых стратегий[67].
Исключение стратегий, которые не могут быть наилучшим ответом, также можно выполнять в итеративном режиме. Поскольку рациональный игрок Строка не может исходить из убеждения, что рациональный игрок Столбец выберет стратегию С4, рациональный игрок Столбец должен это предвидеть. Учитывая, что R4 — наилучший ответ Строки только на стратегию С4, Столбец не должен думать, что Строка сыграет R4. Следовательно, R4 и С4 не могут входить в набор рационализируемых стратегий. Концепция рационализации действительно позволяет сократить совокупность возможных исходов данной игры.
Если в игре есть равновесие Нэша, оно будет рационализируемым и его можно подтвердить посредством простой системы убеждений, состоящей из одного цикла, как в представленном выше разделе 2.В. Но в более общем плане, даже если в игре нет равновесия Нэша, она может иметь рационализируемые исходы. Возьмем в качестве примера игру два на два, полученную из игры на рис. 5.5 или рис. 5.6, в которой оставлены только стратегии R1 и R3 для Строки и С1 и С3 для Столбца. Легко увидеть, что в этой игре нет равновесия Нэша в чистых стратегиях. Однако все четыре ее исхода рационализируемы посредством такой же цепочки убеждений, как выстроенная выше и охватывающая эти стратегии.
Таким образом, концепция рационализации представляет собой возможный способ решения игр с отсутствием равновесия Нэша. Что еще более важно, эта концепция подсказывает нам, как сократить совокупность вероятных исходов игры исключительно на основании рациональности.
65
Пример взят из статьи, в которой впервые была сформулирована концепция рационализации: Douglas Bernheim, Rationalizable Strategic Behavior, Econometrica, vol. 52, no. 4 (July 1984), pp. 1007–1028. См. также Andreu Mas-Colell, Michael Whinston, and Jerry Green, Microeconomic Theory (New York: Oxford University Press, 1995), pp. 242–45.
66
Обратите внимание, что в каждом случае лучший выбор для Столбца однозначно лучше стратегии С4. Следовательно, она не может даже претендовать на роль наилучшего ответа. Можно провести различие между слабой и строгой неспособностью стратегии быть наилучшим ответом, подобно тому как мы различали слабое и строгое доминирование. В данном случае наблюдается неспособность быть наилучшим ответом в строгом смысле.
67
Когда допускается использование смешанных стратегий (как в главе 7), чистая стратегия может быть доминируемой по отношению к комбинации других чистых стратегий. При таком расширенном определении доминируемой стратегии итеративное исключение строго доминируемых стратегий становится эквивалентом рационализации. Детали лучше оставить для углубленного курса теории игр.