Совершенное байесовское равновесие¶

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

¶Определение и основные элементы

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

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

Условия равновесия:

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

¶История и развитие

Концепция совершенного байесовского равновесия была разработана в 1980-х годах как развитие идей Джона Харсаньи, который ввел понятие байесовских игр (1967–1968). Харсаньи показал, как игры с неполной информацией можно свести к играм с полной, но несовершенной информацией, добавив ход природы. Впоследствии Рейнхард Зельтен предложил концепцию совершенного равновесия по Нэшу для игр с полной информацией, а затем исследователи, такие как Дэвид Крепс и Роберт Уилсон, обобщили ее на динамические игры с неполной информацией, что привело к появлению совершенного байесовского равновесия. Важный вклад внесли также Пол Милгром и Джон Робертс, применившие эту концепцию к анализу сигнальных игр.

¶Свойства и отличия от других концепций

Совершенное байесовское равновесие является более строгим, чем байесовское равновесие по Нэшу, так как требует оптимальности не только в начале игры, но и в каждом информационном множестве. Оно слабее, чем секвенциальное равновесие (sequential equilibrium), которое требует, чтобы убеждения были непрерывным пределом последовательности вполне смешанных стратегий. В отличие от идеального байесовского равновесия (perfect Bayesian equilibrium), которое иногда используется как синоним, в некоторых источниках подчеркивается различие в требованиях к убеждениям вне равновесного пути.

¶Применение в экономике и других областях

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

¶Сигнальные игры

Одним из классических примеров является сигнальная игра, впервые формализованная Майклом Спенсом в его модели рынка труда (1973). В этой модели работник (отправитель сигнала) знает свою производительность (тип), а работодатель (получатель) — нет. Работник может выбрать уровень образования (сигнал), который влияет на предлагаемую заработную плату. Совершенное байесовское равновесие позволяет выделить разделяющие равновесия (где разные типы выбирают разные уровни образования) и объединяющие равновесия (где все типы выбирают одинаковый уровень). В разделяющем равновесии убеждения работодателя однозначно определяются действием работника, а в объединяющем — вне равновесного пути убеждения могут быть произвольными, но должны быть согласованы с тем, что ни один тип не отклоняется.

¶Аукционы и торги

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

¶Политическая экономия

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

¶Финансы

В финансовой экономике концепция используется для анализа поведения инвесторов и фирм в условиях асимметричной информации. Например, модель «рынка лимонов» Джорджа Акерлофа (1970) может быть расширена на динамический случай, где продавцы и покупатели последовательно торгуют, а совершенное байесовское равновесие помогает понять, как информация распространяется через цены.

¶Критика и ограничения

Основная критика совершенного байесовского равновесия связана с произволом в выборе убеждений вне равновесного пути. Поскольку на этих убеждениях нет ограничений, кроме логической согласованности, одна и та же игра может иметь множество равновесий, некоторые из которых могут быть нереалистичными. Для устранения этого недостатка были разработаны более строгие концепции, такие как секвенциальное равновесие и интуитивный критерий (intuitive criterion) Чо и Крепса (1987), которые накладывают дополнительные ограничения на убеждения. Также отмечается, что в реальных ситуациях игроки могут не обладать достаточными вычислительными способностями для обновления убеждений по Байесу, что ставит под сомнение поведенческую реалистичность модели.

¶Примеры

¶Пример 1: Простая игра с неполной информацией

Рассмотрим игру, где природа выбирает тип игрока A (сильный или слабый) с вероятностью 0.5 каждый. Игрок A знает свой тип, игрок B — нет. Игрок A может либо «атаковать», либо «отступить». Если A атакует, B может «сдаться» или «бороться». Выигрыши зависят от типа A. В совершенном байесовском равновесии возможны два случая:

• Разделяющее равновесие: сильный A атакует, слабый A отступает. B, видя атаку, убежден, что A сильный, и сдается; видя отступление, убежден, что A слабый, и бездействует.
• Объединяющее равновесие: оба типа A атакуют. B, не имея информации, выбирает действие на основе априорной вероятности (например, борется, если ожидаемый выигрыш от борьбы выше).

¶Пример 2: Модель Спенса

В модели рынка труда работник с высокой производительностью (тип H) может получить образование стоимостью C_H, а работник с низкой производительностью (тип L) — стоимостью C_L, где C_H < C_L. В разделяющем равновесии работник типа H выбирает высокий уровень образования, а типа L — низкий. Работодатель, наблюдая высокий уровень, предлагает высокую зарплату, а низкий — низкую. В объединяющем равновесии оба типа выбирают одинаковый уровень образования, и работодатель предлагает среднюю зарплату.

¶Интересные факты

• Концепция совершенного байесовского равновесия была независимо разработана несколькими группами исследователей в начале 1980-х годов, что привело к некоторым терминологическим различиям в литературе.
• В 1994 году Джон Харсаньи, Джон Нэш и Рейнхард Зельтен получили Нобелевскую премию по экономике за вклад в теорию игр, включая основы для совершенного байесовского равновесия.
• В компьютерных науках концепция используется для анализа протоколов связи и криптографических схем, где участники могут иметь частную информацию.

¶Источники

• Fudenberg, D., & Tirole, J. (1991). Game Theory. MIT Press.
• Kreps, D. M., & Wilson, R. (1982). Sequential Equilibria. Econometrica.
• Spence, M. (1973). Job Market Signaling. The Quarterly Journal of Economics.
• Cho, I.-K., & Kreps, D. M. (1987). Signaling Games and Stable Equilibria. The Quarterly Journal of Economics.
• Harsanyi, J. C. (1967–1968). Games with Incomplete Information Played by Bayesian Players. Management Science.