Равновесие Нэша

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

История возникновения

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

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

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

Формальное определение

Пусть имеется игра с \( n \) игроками. Каждый игрок \( i \) имеет множество доступных ему стратегий \( S_i \). Пусть \( s_i \in S_i \) — конкретная стратегия игрока \( i \), а \( s_{-i} \) — набор стратегий всех остальных игроков. Функция полезности (выигрыша) игрока \( i \) обозначается как \( u_i(s_i, s_{-i}) \).

Набор стратегий \( (s_1^, s_2^, ..., s_n^*) \) является равновесием Нэша, если для каждого игрока \( i \) и для любой его стратегии \( s_i \in S_i \) выполняется неравенство:

\[ u_i(s_i^, s_{-i}^) \ge u_i(s_i, s_{-i}^*) \]

Это означает, что, выбирая стратегию \( s_i^ \), игрок \( i \) получает выигрыш не меньше, чем при любом другом выборе, при условии, что все остальные игроки придерживаются своих равновесных стратегий \( s_{-i}^ \). Отклонение от равновесия в одностороннем порядке невыгодно.

Типы равновесий Нэша

Равновесие в чистых стратегиях

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

Равновесие в смешанных стратегиях

Если в игре нет равновесия в чистых стратегиях, игроки могут рандомизировать свой выбор, назначая вероятности каждой чистой стратегии. Равновесие Нэша в смешанных стратегиях — это набор вероятностных распределений для каждого игрока, такой что ни один игрок не может увеличить свой ожидаемый выигрыш, изменив своё распределение. Теорема Нэша гарантирует существование такого равновесия для любой конечной игры.

Пример: игра «Камень, ножницы, бумага». В чистых стратегиях равновесия нет, так как любая чистая стратегия может быть побита. Равновесие Нэша достигается, когда каждый игрок выбирает каждую из трёх стратегий с вероятностью 1/3.

Строгое и нестрогое равновесие

• Строгое равновесие Нэша: любое одностороннее отклонение строго уменьшает выигрыш игрока.
• Нестрогое равновесие Нэша: при одностороннем отклонении выигрыш игрока может остаться таким же, как и при равновесной стратегии. Такие равновесия менее устойчивы.

Свойства и критика

Эффективность по Парето

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

Множественность равновесий

Во многих играх существует несколько равновесий Нэша. Это создаёт проблему координации: игроки могут не знать, какое именно равновесие будет реализовано. Для решения этой проблемы в теории игр используются концепции уточнения (refinements) равновесия, такие как равновесие, совершенное по подыграм (subgame perfect equilibrium), или равновесие, дрожащей руки (trembling hand perfect equilibrium).

Критика

Основные претензии к концепции равновесия Нэша связаны с её статичностью и предположениями о рациональности игроков. Критики отмечают:

1. Предположение о полной рациональности: модель предполагает, что все игроки обладают бесконечными вычислительными способностями и знают функции выигрыша всех участников, что редко выполняется в реальной жизни.
2. Отсутствие динамики: равновесие Нэша описывает статическое состояние, но не объясняет, как игроки приходят к этому состоянию. В реальных взаимодействиях часто требуется обучение, адаптация и многократные повторения.
3. Проблема координации: при множественности равновесий модель не даёт однозначного предсказания.

Применение

Равновесие Нэша широко используется в различных областях:

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

Примеры

Пример 1: Дилемма заключённого

Два подозреваемых (A и B) находятся в разных камерах. Каждому предлагают: признайся, что вы действовали вместе, и получишь 1 год (если другой молчит) или 5 лет (если другой тоже признался). Если оба молчат — по 2 года. Если один признаётся, а другой молчит — признавшийся выходит на свободу (0 лет), молчащий получает 10 лет.

• Если A признаётся, то при признании B получает 5 лет, а при молчании B — 10 лет. B выгодно признаться.
• Если A молчит, то при признании B получает 0 лет, а при молчании — 2 года. B выгодно признаться.

Аналогично для A. Равновесие Нэша: оба признаются (по 5 лет). Это неоптимальный исход (оба могли бы получить по 2 года, если бы договорились молчать).

Пример 2: Игра «Семейный спор» (Battle of the Sexes)

Муж хочет пойти на футбол, жена — в театр. Каждый предпочитает совместный поход раздельному, но при этом у каждого есть свои предпочтения. Выигрыши: если оба идут на футбол — муж получает 2, жена 1; если оба в театр — муж 1, жена 2; если расходятся — оба по 0.

Здесь два равновесия Нэша в чистых стратегиях: (футбол, футбол) и (театр, театр). Есть также равновесие в смешанных стратегиях, где муж с вероятностью 2/3 выбирает футбол, а жена с вероятностью 2/3 — театр.

Источники

• Нэш, Дж. (1950). «Некооперативные игры». Диссертация, Принстонский университет.
• Нэш, Дж. (1951). «Некооперативные игры». Annals of Mathematics, 54(2), 286–295.
• Фон Нейман, Дж., Моргенштерн, О. (1944). «Теория игр и экономическое поведение». Принстонский университет.
• Майерсон, Р. (1991). «Теория игр: анализ конфликтов». Издательство Гарвардского университета.
• Осборн, М., Рубинштейн, А. (1994). «Курс теории игр». MIT Press.