Равновесие Нэша: существование и вычисление

Что такое «устойчивый» исход игры?

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

Формально, профиль стратегий s* = (s₁*, ..., sₙ*) является равновесием Нэша, если для каждого игрока i:

uᵢ(sᵢ*, s₋ᵢ*) ≥ uᵢ(sᵢ, s₋ᵢ*) для всех sᵢ ∈ Sᵢ

Здесь s₋ᵢ* означает стратегии всех остальных игроков, кроме i. Иными словами: при фиксированных стратегиях соперников sᵢ* — наилучший ответ для i.

Теорема существования Нэша (1950)

Теорема: Любая конечная стратегическая игра (конечное число игроков и стратегий) имеет равновесие в смешанных стратегиях.

Доказательство использует теорему Какутани о неподвижной точке. Определим отображение наилучшего ответа: BRᵢ(σ₋ᵢ) = {σᵢ : uᵢ(σᵢ, σ₋ᵢ) ≥ uᵢ(σᵢ', σ₋ᵢ) для всех σᵢ'}. Совокупность BR(σ) = ∏ᵢ BRᵢ(σ₋ᵢ) отображает симплекс стратегий в себя. Теорема Какутани гарантирует неподвижную точку σ* = BR(σ*) — это и есть равновесие.

Что «конечная» игра не может гарантировать: единственность равновесия; Парето-оптимальность; равновесие в чистых стратегиях. Для бесконечных игр существование требует дополнительных условий (полунепрерывность функций выигрыша).

Метод нахождения равновесия в смешанных стратегиях: принцип безразличия

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

Числовой пример: «Орёл–Решка» (Matching Pennies)

Нет равновесия в чистых стратегиях (любой «угол» матрицы нестабилен). Ищем σ₁ = (p, 1−p).

Условие безразличия для Игрока 2: u₂(О, σ₁) = u₂(Р, σ₁) → (−1)·p + (+1)·(1−p) = (+1)·p + (−1)·(1−p) → 1 − 2p = 2p − 1 → p = 1/2

По симметрии q = 1/2 для σ₂. Равновесие: σ* = (1/2, 1/2) для обоих. Ожидаемый выигрыш = 0 для каждого.

Задача олигополии Курно: пример вычисления

Два производителя выбирают выпуск q₁, q₂ ≥ 0. Обратная функция спроса: P(Q) = a − bQ, Q = q₁ + q₂. Постоянные предельные издержки c. Прибыль фирмы i:

πᵢ(q₁, q₂) = (a − b(q₁+q₂) − c) · qᵢ

Нахождение равновесия Нэша: Условие первого порядка для фирмы 1:

∂π₁/∂q₁ = a − 2bq₁ − bq₂ − c = 0 → q₁ = (a − c − bq₂)/(2b)

Это функция реакции (best response): оптимальный q₁ при любом q₂. Симметрично: q₂ = (a − c − bq₁)/(2b).

Решаем систему (подстановкой): q₁* = q₂* = (a − c)/(3b).

Равновесные цена и прибыль: P* = (a + 2c)/3, π* = (a−c)²/(9b).

Сравнение: Конкуренция (P=c, π=0) < Курно (P* = (a+2c)/3) < Монополия (P_M = (a+c)/2). Курно — промежуточный исход между конкурентным и монопольным рынками.

Проверка устойчивости (является ли q = (a−c)/(3b) равновесием):* При q₂ = (a−c)/(3b), оптимальное q₁ = (a−c−b·(a−c)/(3b))/(2b) = (a−c)·(2/3)/(2b) = (a−c)/(3b) = q₂ ✓. Ни одна фирма не хочет отклоняться.

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

Большинство игр имеют несколько равновесий Нэша — проблема выбора. Концепции уточнения:

Равновесие по подыграм (Selten, 1965): Устраняет невероятные угрозы в динамических играх. Единственное для конечных игр с полной информацией.

Совершенное по дрожанию руки (Selten, 1975): Устойчивое к малым ошибкам каждого игрока. Более строгое требование.

Коррелированное равновесие (Ауманн, 1974): Допускает координирующий сигнал (например, светофор). Включает все равновесия Нэша как частные случаи. Проще вычислять (линейное программирование).

Равновесие Нэша в реальной политике и бизнесе

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

Равновесие Нэша в антимонопольной практике и корпоративной стратегии

Равновесие Нэша стало обязательным инструментом антимонопольного анализа и корпоративной стратегии. Антимонопольные регуляторы оценивают слияния через то, как они меняют рыночное равновесие: если объединение двух игроков смещает равновесие от более конкурентного (Бертран) к менее конкурентному (Курно), это является основанием для запрета даже без явного картельного соглашения. Концентрация рынка измеряется индексом Херфиндаля–Хиршмана (HHI), а пороговые значения (1800 и 2500 пунктов) основаны на анализе изменений равновесных цен в моделях Курно. В корпоративной стратегии авиакомпании, сотовые операторы и ритейлеры анализируют свои решения по ценообразованию, объёму инвестиций в мощности и расположению магазинов именно через призму равновесия. Концепция «фокальных точек» Шеллинга объясняет, как конкуренты без явной коммуникации приходят к скоординированным решениям — например, ценообразованию по круглым числам или «ценовому лидерству». Именно применимость равновесия Нэша к реальной конкурентной политике вывело микроэкономику из академических аудиторий в зал заседаний советов директоров.

Задание: Три фирмы-производители (триополия Курно) с P = 100 − Q, Q = q₁+q₂+q₃, c = 10. Найдите равновесие Нэша. Покажите, что при n→∞ цена стремится к конкурентной (P→c). Вычислите потерю благосостояния при n=3 по сравнению с конкурентным рынком.