Совершенное подыгровое равновесие
англ. Subgame perfect equilibrium
Профиль стратегий, остающийся равновесием Нэша в каждой подыгре: отсекает неверные угрозы, невыгодные к исполнению в момент, когда угроза сработала.
Шахматный дебют: план строится не «в целом», а по позициям, и каждая позиция — маленькая партия со своим раскладом и своими лучшими ходами. В теории игр такая позиция-подпартия называется подыгрой, а профиль стратегий, остающийся равновесием Нэша в каждой подыгре без исключений, — совершенным подыгровым равновесием. Требование жёстче обычного Нэша: проверять приходится не только всю игру целиком, но и каждое её поддерево, начиная с любого реально случившегося хода.
Цена требования — отсев неверных угроз. Классика — вход на рынок: новичок входит, а монополист обещает ценовую войну. Равновесие «не входить — война» проходит по Нэшу, но после фактического входа монополисту выгоднее мир: против , и угроза войны исполнена не будет. SPNE честно предсказывает «войти — мир». Инструмент проверки — обратная индукция; формы игры — во введении в теорию игр, поддеревья — в статье дерево игры, базовое определение — в равновесии Нэша, наказания в повторении — в дилемме заключённого.
Частые вопросы
Почему равновесие Нэша допускает неверные угрозы?
Потому что проверяет только выгоды в точке равновесия: если противник держится равновесной стратегии, отклоняться невыгодно. Стратегия же назначает действия и вне равновесного пути — там Нэш ничего не контролирует. Угроза войны при входе новичка именно такова: пока новичок верит и не входит, монополисту воевать не приходится, и обещание висит бесплатно. Совершенное подыгровое равновесие заставляет каждую угрозу быть выгодной в момент исполнения.
Как найти совершенное подыгровое равновесие на практике?
Обратной индукцией от листьев дерева к корню: в каждой конечной вершине ходящий выбирает лучший для себя ход, цены ветвей поднимаются наверх, и пустые угрозы отбрасываются автоматически. Для игр со скрытой информацией метод усложняется — нужны убеждения о вершине внутри информационного множества. В повторяющихся играх равновесие ищут среди стратегий-триггеров: проверяют, что наказание выгодно исполнять в каждой ветви, а не только на равновесном пути.