Введение

Класс теорем о профилях выигрышей в равновесии Нэша в повторяющихся играх

В теории игр, народные теоремы – это класс теорем, описывающих множество профилей выигрышей в равновесии Нэша в повторяющихся играх. Оригинальная народная теорема касалась выигрышей во всех равновесиях Нэша бесконечно повторяемой игры. Этот результат получил название народной теоремы, поскольку он был широко известен среди специалистов по теории игр в 1950-х годах, хотя никто его не опубликовал. Теорема Фридмана (1971) относится к выигрышам определенных совершенных подигровых равновесий Нэша (SPE) бесконечно повторяемой игры и, таким образом, усиливает оригинальную народную теорему, используя более сильное понятие равновесия: совершенные подигровые равновесия Нэша, а не просто равновесия Нэша. Народная теорема предполагает, что если игроки достаточно терпеливы и обладают дальновидностью (то есть, если дисконтный фактор достаточно мал), то повторное взаимодействие может привести практически к любому среднему выигрышу в равновесии SPE. "Практически любой" в данном случае технически определяется как "достижимый" и "индивидуально рациональный".

Бесконечно повторяющиеся игры без дисконтирования

В модели без дисконтирования игроки терпеливы. Они не различают полезность в разные периоды времени. Следовательно, их полезность в повторяющейся игре представляется суммой полезностей в базовых играх. Когда игра бесконечна, общепринятой моделью полезности в бесконечно повторяемой игре является нижний предел среднего значения полезности: если игра приводит к траектории исходов , где обозначает коллективный выбор игроков на итерации t (t=0,1,2,…), то полезность игрока i определяется как

где – функция полезности игрока i в базовой игре. Бесконечно повторяемая игра без дисконтирования часто называется "суперигрой". Теорема народности в этом случае очень проста и не содержит предварительных условий: любой индивидуально рациональный и достижимый профиль выигрышей в базовой игре является профилем выигрышей равновесия Нэша в повторяемой игре. Доказательство использует так называемый "мрачный триггер". Наказание не должно быть вечным; оно должно длиться лишь конечное время, достаточное для устранения выгоды от отклонения. После этого остальные игроки должны вернуться к равновесной траектории. Критерий предельного среднего значения гарантирует, что любое конечное наказание не повлияет на конечный исход. Следовательно, ограниченное по времени наказание является совершенным подигровым равновесием. Коалиционные совершенные подигровые равновесия: при использовании критерия предельного среднего значения профиль выигрышей достижим в коалиционном равновесии Нэша или в коалиционном совершенном подигровом равновесии тогда и только тогда, когда он является парето-эффективным и слабо коалиционно индивидуально рациональным.