В теории игр равновесие Нэша является наиболее часто используемой концепцией решения для некооперативных игр . Равновесие Нэша — это ситуация, в которой ни один игрок не может выиграть, изменив свою собственную стратегию (при фиксированных стратегиях всех остальных игроков). [1] Идея равновесия Нэша восходит ко временам Курно , который в 1838 году применил ее к своей модели конкуренции в олигополии . [2]
Если каждый игрок выбрал стратегию — план действий, основанный на том, что произошло до сих пор в игре, — и никто не может увеличить свой ожидаемый выигрыш, изменив свою стратегию, в то время как другие игроки сохраняют свои стратегии неизменными, то текущий набор вариантов стратегий представляет собой равновесие Нэша.
Если два игрока, Алиса и Боб, выбирают стратегии A и B, (A, B) является равновесием Нэша, если у Алисы нет другой стратегии, которая лучше, чем A, максимизирует ее выигрыш в ответ на выбор Бобом B, а у Боба нет другой стратегии, которая лучше, чем B, максимизирует его выигрыш в ответ на выбор Алисой A. В игре, в которой Кэрол и Дэн также являются игроками, (A, B, C, D) является равновесием Нэша, если A является наилучшим ответом Алисы на (B, C, D), B является наилучшим ответом Боба на (A, C, D) и т. д.
Нэш показал, что существует равновесие Нэша, возможно, в смешанных стратегиях , для каждой конечной игры. [3]
Теоретики игр используют равновесие Нэша для анализа результата стратегического взаимодействия нескольких лиц, принимающих решения . В стратегическом взаимодействии результат для каждого лица, принимающего решения, зависит от решений других, а также от их собственных. Простое понимание, лежащее в основе идеи Нэша, заключается в том, что невозможно предсказать выбор нескольких лиц, принимающих решения, если анализировать эти решения изолированно. Вместо этого нужно спросить, что сделает каждый игрок, принимая во внимание то, что игрок ожидает от других. Равновесие Нэша требует, чтобы выбор был последовательным: ни один игрок не захочет отменить свое решение, учитывая то, что решают другие.
Эта концепция использовалась для анализа враждебных ситуаций, таких как войны и гонки вооружений [4] (см. дилемма заключенного ), а также того, как конфликт может быть смягчен повторным взаимодействием (см. зуб за зуб ). Она также использовалась для изучения того, в какой степени люди с разными предпочтениями могут сотрудничать (см. битва полов ), и будут ли они рисковать для достижения совместного результата (см. охота на оленя ). Она использовалась для изучения принятия технических стандартов , [ требуется ссылка ] , а также возникновения банковских набегов и валютных кризисов (см. координационная игра ). Другие приложения включают транспортный поток (см. принцип Уордропа ), как организовать аукционы (см. теорию аукционов ), результат усилий, прилагаемых несколькими сторонами в образовательном процессе, [5] нормативное законодательство, такое как экологические нормы (см. трагедию общин ), [6] управление природными ресурсами, [7] анализ стратегий в маркетинге, [8] пенальти в футболе (см. сопоставление пенни ), [9] навигация роботов в толпе, [10] энергетические системы, транспортные системы, проблемы эвакуации [11] и беспроводная связь. [12]
Равновесие Нэша названо в честь американского математика Джона Форбса Нэша-младшего . Та же идея была использована в конкретном приложении в 1838 году Антуаном Огюстеном Курно в его теории олигополии . [13] В теории Курно каждая из нескольких фирм выбирает, какой объем продукции производить, чтобы максимизировать свою прибыль. Лучший объем продукции для одной фирмы зависит от объемов продукции других фирм. Равновесие Курно возникает, когда объем продукции каждой фирмы максимизирует ее прибыль с учетом объема продукции других фирм, что является равновесием Нэша чистой стратегии . Курно также ввел концепцию динамики наилучшего ответа в своем анализе устойчивости равновесия. Однако Курно не использовал эту идею в каких-либо других приложениях и не определял ее в общем виде.
Современная концепция равновесия Нэша вместо этого определяется в терминах смешанных стратегий , где игроки выбирают распределение вероятностей по возможным чистым стратегиям (что может дать 100% вероятности одной чистой стратегии; такие чистые стратегии являются подмножеством смешанных стратегий). Концепция равновесия со смешанной стратегией была введена Джоном фон Нейманом и Оскаром Моргенштерном в их книге 1944 года «Теория игр и экономическое поведение» , но их анализ был ограничен частным случаем игр с нулевой суммой . Они показали, что равновесие Нэша со смешанной стратегией будет существовать для любой игры с нулевой суммой с конечным набором действий. [14] Вклад Нэша в его статье 1951 года «Некооперативные игры» состоял в определении равновесия Нэша со смешанной стратегией для любой игры с конечным набором действий и доказательстве того, что по крайней мере одно (смешанное) равновесие Нэша должно существовать в такой игре. Ключ к способности Нэша доказать существование гораздо более общего положения, чем у фон Неймана, лежал в его определении равновесия. По словам Нэша, «точка равновесия — это n-кортеж, такой, что смешанная стратегия каждого игрока максимизирует [их] выигрыш, если стратегии других игроков остаются фиксированными. Таким образом, стратегия каждого игрока оптимальна по сравнению со стратегиями других». Постановка проблемы в такой рамке позволила Нэшу использовать теорему Какутани о неподвижной точке в своей статье 1950 года для доказательства существования равновесий. В своей статье 1951 года он использовал более простую теорему Брауэра о неподвижной точке для той же цели. [15]
Теоретики игр обнаружили, что в некоторых обстоятельствах равновесие Нэша делает неверные прогнозы или не может сделать уникального прогноза. Они предложили множество концепций решений («уточнений» равновесий Нэша), разработанных для исключения неправдоподобных равновесий Нэша. Одной из особенно важных проблем является то, что некоторые равновесия Нэша могут быть основаны на угрозах, которые не являются « достоверными ». В 1965 году Райнхард Селтен предложил идеальное равновесие подигры как уточнение, которое устраняет равновесия, зависящие от недостоверных угроз . Другие расширения концепции равновесия Нэша рассматривали то, что произойдет, если игра повторяется , или что произойдет, если игра ведется при отсутствии полной информации . Однако последующие уточнения и расширения равновесия Нэша разделяют основное понимание, на котором основывается концепция Нэша: равновесие — это набор стратегий, такой, что стратегия каждого игрока является оптимальной с учетом выбора других.
Профиль стратегии — это набор стратегий, по одной для каждого игрока. Неформально профиль стратегии — это равновесие Нэша, если ни один игрок не может добиться большего, односторонне изменив свою стратегию. Чтобы понять, что это значит, представьте, что каждому игроку сообщают стратегии других. Предположим, что каждый игрок спрашивает себя: «Зная стратегии других игроков и считая стратегии других игроков незыблемыми, могу ли я получить выгоду, изменив свою стратегию?»
Например, если игрок предпочитает «Да», то этот набор стратегий не является равновесием Нэша. Но если каждый игрок предпочитает не переключаться (или безразличен между переключением и нет), то профиль стратегии является равновесием Нэша. Таким образом, каждая стратегия в равновесии Нэша является наилучшим ответом на стратегии других игроков в этом равновесии. [16]
Формально, пусть будет набором всех возможных стратегий для игрока , где . Пусть будет профилем стратегий, набором, состоящим из одной стратегии для каждого игрока, где обозначает стратегии всех игроков, кроме . Пусть будет выигрышем игрока i как функцией стратегий. Профиль стратегий является равновесием Нэша, если
В игре может быть более одного равновесия Нэша. Даже если равновесие уникально, оно может быть слабым : игрок может быть безразличен к нескольким стратегиям, учитывая выбор других игроков. Оно уникально и называется строгим равновесием Нэша, если неравенство строгое, так что одна стратегия является единственным наилучшим ответом:
Набор стратегий может быть разным для разных игроков, а его элементами могут быть различные математические объекты. Проще говоря, игрок может выбирать между двумя стратегиями, например Или набор стратегий может быть конечным набором условных стратегий, реагирующих на других игроков, например Или это может быть бесконечный набор, континуум или неограниченный, например такой, что — неотрицательное действительное число. Существующие доказательства Нэша предполагают конечный набор стратегий, но концепция равновесия Нэша не требует этого.
Игра может иметь равновесие Нэша с чистой стратегией или смешанной стратегией . В последнем случае не все игроки всегда используют одну и ту же стратегию. Вместо этого существует распределение вероятностей по разным стратегиям.
Предположим, что в равновесии Нэша каждый игрок спрашивает себя: «Зная стратегии других игроков и рассматривая стратегии других игроков как непреложные, понесу ли я убытки, изменив свою стратегию?»
Если ответ каждого игрока «Да», то равновесие классифицируется как строгое равновесие Нэша . [17]
Если же вместо этого для какого-либо игрока наблюдается точное равенство между стратегией в равновесии Нэша и какой-либо другой стратегией, которая дает точно такую же выплату (т. е. игроку безразлично, переключаться или нет), то равновесие классифицируется как слабое [примечание 1] или нестрогое равновесие Нэша [ требуется ссылка ] [ требуется разъяснение ] .
Равновесие Нэша определяет стабильность только с точки зрения отклонений отдельных игроков. В кооперативных играх такая концепция недостаточно убедительна. Сильное равновесие Нэша допускает отклонения любой мыслимой коалиции. [18] Формально сильное равновесие Нэша — это равновесие Нэша, в котором ни одна коалиция, принимая действия своих дополнений как данность, не может кооперативно отклоняться таким образом, чтобы это приносило пользу всем ее членам. [19] Однако сильную концепцию Нэша иногда воспринимают как слишком «сильную» в том смысле, что среда допускает неограниченное частное общение. Фактически, сильное равновесие Нэша должно быть эффективным по Парето . В результате этих требований сильное равновесие Нэша слишком редко, чтобы быть полезным во многих разделах теории игр. Однако в таких играх, как выборы, с гораздо большим количеством игроков, чем возможных результатов, оно может быть более распространенным, чем устойчивое равновесие.
Усовершенствованное равновесие Нэша, известное как коалиционно-устойчивое равновесие Нэша (CPNE) [18], возникает, когда игроки не могут добиться большего, даже если им разрешено общаться и заключать «самодостаточное» соглашение об отклонении. Каждая коррелированная стратегия, поддерживаемая итерированным строгим доминированием и находящаяся на границе Парето, является CPNE. [20] Кроме того, игра может иметь равновесие Нэша, устойчивое к коалициям меньше указанного размера, k. CPNE связано с теорией ядра .
Нэш доказал, что если разрешены смешанные стратегии (где игрок выбирает вероятности использования различных чистых стратегий), то каждая игра с конечным числом игроков, в которой каждый игрок может выбирать из конечного числа чистых стратегий, имеет по крайней мере одно равновесие Нэша, которое может быть чистой стратегией для каждого игрока или может быть распределением вероятностей по стратегиям для каждого игрока.
Равновесия Нэша не обязательно должны существовать, если набор выборов бесконечен и некомпактен. Например:
Однако равновесие Нэша существует, если набор выборов компактен , а выигрыш каждого игрока непрерывен в стратегиях всех игроков. [21]
Розен [22] расширил теорему о существовании Нэша несколькими способами. Он рассматривает игру с n игроками, в которой стратегия каждого игрока i является вектором s i в евклидовом пространстве R mi . Обозначим m := m 1 +...+ m n ; поэтому кортеж стратегий является вектором в R m . Частью определения игры является подмножество S из R m такое, что кортеж стратегий должен быть в S . Это означает, что действия игроков потенциально могут быть ограничены на основе действий других игроков. Обычным особым случаем модели является случай, когда S является декартовым произведением выпуклых множеств S 1 ,..., S n , таким образом, что стратегия игрока i должна быть в S i . Это представляет собой случай, когда действия каждого игрока i ограничены независимо от действий других игроков. Если выполняются следующие условия:
Тогда существует равновесие Нэша. Доказательство использует теорему Какутани о неподвижной точке . Розен также доказывает, что при определенных технических условиях, включающих строгую вогнутость, равновесие является единственным.
Результат Нэша относится к частному случаю, в котором каждый S i является симплексом (представляющим все возможные смеси чистых стратегий), а функции выигрышей всех игроков являются билинейными функциями стратегий.
Равновесие Нэша может иногда казаться нерациональным в перспективе третьего лица. Это потому, что равновесие Нэша не обязательно является оптимальным по Парето .
Равновесие Нэша может также иметь нерациональные последствия в последовательных играх , поскольку игроки могут «угрожать» друг другу угрозами, которые они на самом деле не будут выполнять. Для таких игр идеальное равновесие Нэша подигры может быть более значимым как инструмент анализа.
Координационная игра — это классическая игра с двумя игроками и двумя стратегиями , как показано в примере матрицы выигрышей справа. Существует два равновесия чистых стратегий: (A,A) с выигрышем 4 для каждого игрока и (B,B) с выигрышем 2 для каждого. Комбинация (B,B) — это равновесие Нэша, поскольку если любой из игроков в одностороннем порядке меняет свою стратегию с B на A, его выигрыш упадет с 2 до 1.
Известным примером координационной игры является охота на оленя . Два игрока могут выбрать охоту на оленя или кролика, олень дает больше мяса (4 единицы полезности, 2 для каждого игрока), чем кролик (1 единица полезности). Оговорка заключается в том, что охота на оленя должна осуществляться сообща, поэтому, если один игрок попытается охотиться на оленя, в то время как другой будет охотиться на кролика, охотник на оленя потерпит полную неудачу, за выплату 0, тогда как охотник на кролика преуспеет, за выплату 1. В игре есть два равновесия: (олень, олень) и (кролик, кролик), потому что оптимальная стратегия игрока зависит от его ожиданий относительно того, что сделает другой игрок. Если один охотник верит, что другой будет охотиться на оленя, он должен охотиться на оленя; однако, если он думает, что другой будет охотиться на кролика, он тоже будет охотиться на кролика. Эта игра используется в качестве аналогии социального сотрудничества, поскольку значительная часть выгод, которые люди получают в обществе, зависит от того, сотрудничают ли они и безоговорочно доверяют ли друг другу действовать в соответствии с принципами сотрудничества.
Вождение по дороге против приближающегося автомобиля и необходимость выбора между поворотом налево или поворотом направо также является координационной игрой. Например, с выигрышами 10, означающими отсутствие столкновения, и 0, означающими столкновение, координационную игру можно определить с помощью следующей платежной матрицы:
В этом случае есть два равновесия Нэша с чистой стратегией, когда оба выбирают либо движение слева, либо справа. Если мы допустим смешанные стратегии (где чистая стратегия выбирается случайным образом, с учетом некоторой фиксированной вероятности), то есть три равновесия Нэша для того же случая: два мы видели из формы чистой стратегии, где вероятности равны (0%, 100%) для игрока один, (0%, 100%) для игрока два; и (100%, 0%) для игрока один, (100%, 0%) для игрока два соответственно. Мы добавляем еще одно, где вероятности для каждого игрока равны (50%, 50%).
Применение равновесий Нэша заключается в определении ожидаемого потока трафика в сети. Рассмотрим график справа. Если предположить, что есть «автомобили», едущие из A в D , каково ожидаемое распределение трафика в сети?
Эту ситуацию можно смоделировать как « игру », где у каждого путешественника есть выбор из 3 стратегий, и где каждая стратегия — это маршрут из A в D (один из ABD , ABCD или ACD ). «Выигрыш» каждой стратегии — это время в пути по каждому маршруту. На графике справа автомобиль, движущийся по ABD, тратит на поездку , где — количество автомобилей, движущихся по ребру AB . Таким образом, выигрыши для любой заданной стратегии зависят от выбора других игроков, как обычно. Однако в этом случае цель состоит в том, чтобы минимизировать время в пути, а не максимизировать его. Равновесие наступит, когда время на всех путях будет абсолютно одинаковым. Когда это произойдет, ни у одного водителя не будет стимула менять маршруты, поскольку это может только увеличить время их поездки. Для графика справа, если, например, 100 автомобилей едут из A в D , то равновесие наступит, когда 25 водителей едут по ABD , 50 — по ABCD и 25 — по ACD . Теперь у каждого водителя есть общее время в пути 3,75 (чтобы увидеть это, в общей сложности 75 автомобилей проезжают по краю AB , и аналогично 75 автомобилей проезжают по краю CD ).
Обратите внимание, что это распределение на самом деле не является социально оптимальным. Если 100 автомобилей договорились, что 50 поедут через ABD , а остальные 50 — через ACD , то время в пути для любого отдельного автомобиля фактически составит 3,5, что меньше 3,75. Это также равновесие Нэша, если путь между B и C удален, что означает, что добавление еще одного возможного маршрута может снизить эффективность системы, явление, известное как парадокс Браеса .
Это можно проиллюстрировать на примере игры для двух игроков, в которой оба игрока одновременно выбирают целое число от 0 до 3, и они оба выигрывают меньшее из двух чисел в очках. Кроме того, если один игрок выбирает большее число, чем другой, то он должен отдать два очка другому.
В этой игре есть уникальное равновесие Нэша чистой стратегии: оба игрока выбирают 0 (выделено светло-красным). Любая другая стратегия может быть улучшена, если игрок изменит свое число на число, на единицу меньшее, чем у другого игрока. В соседней таблице, если игра начинается с зеленого квадрата, в интересах игрока 1 перейти на фиолетовый квадрат, а в интересах игрока 2 перейти на синий квадрат. Хотя это не соответствует определению соревновательной игры, если игра изменена таким образом, что два игрока выигрывают указанную сумму, если они оба выбирают одно и то же число, и в противном случае не выигрывают ничего, то существует 4 равновесия Нэша: (0,0), (1,1), (2,2) и (3,3).
Существует простой численный способ определения равновесий Нэша на матрице выплат. Он особенно полезен в играх двух человек, где у игроков больше двух стратегий. В этом случае формальный анализ может стать слишком длинным. Это правило не применяется к случаю, когда интерес представляют смешанные (стохастические) стратегии. Правило звучит следующим образом: если первое число выплаты в паре выплат ячейки является максимумом столбца ячейки, а второе число является максимумом строки ячейки, то ячейка представляет собой равновесие Нэша.
Мы можем применить это правило к матрице 3×3:
Используя правило, мы можем очень быстро (гораздо быстрее, чем при формальном анализе) увидеть, что ячейки равновесия Нэша — это (B,A), (A,B) и (C,C). Действительно, для ячейки (B,A) 40 — это максимум первого столбца, а 25 — это максимум второй строки. Для (A,B) 25 — это максимум второго столбца, а 40 — это максимум первой строки; то же самое применимо к ячейке (C,C). Для других ячеек один или оба члена дуплета не являются максимумом соответствующих строк и столбцов.
При этом фактическая механика поиска ячеек равновесия очевидна: найдите максимум столбца и проверьте, является ли второй член пары максимумом строки. Если эти условия выполнены, ячейка представляет собой равновесие Нэша. Проверьте все столбцы таким образом, чтобы найти все ячейки NE. Матрица N×N может иметь от 0 до N×N равновесий Нэша чистой стратегии .
Понятие устойчивости , полезное при анализе многих видов равновесий, можно также применить к равновесиям Нэша.
Равновесие Нэша для игры со смешанными стратегиями является устойчивым, если небольшое изменение (в частности, бесконечно малое изменение) вероятностей для одного игрока приводит к ситуации, когда выполняются два условия:
Если оба эти случая выполнены, то игрок с небольшим изменением в своей смешанной стратегии немедленно вернется к равновесию Нэша. Равновесие называется устойчивым. Если условие один не выполняется, то равновесие неустойчиво. Если выполняется только условие один, то, скорее всего, будет бесконечное число оптимальных стратегий для игрока, который изменился.
В примере «гоночной игры» выше есть как устойчивые, так и неустойчивые равновесия. Равновесия, включающие смешанные стратегии со 100%-ными вероятностями, устойчивы. Если любой из игроков немного изменит свои вероятности, они оба окажутся в невыгодном положении, и у их противника не будет причин менять свою стратегию в свою очередь. Равновесие (50%, 50%) неустойчиво. Если любой из игроков изменит свои вероятности (что не принесет пользы или вреда ожиданиям игрока , который сделал изменение, если смешанная стратегия другого игрока по-прежнему (50%, 50%)), то другой игрок немедленно получит лучшую стратегию либо при (0%, 100%), либо при (100%, 0%).
Устойчивость имеет решающее значение в практических применениях равновесий Нэша, поскольку смешанная стратегия каждого игрока неизвестна в совершенстве, а должна быть выведена из статистического распределения их действий в игре. В этом случае неустойчивые равновесия вряд ли возникнут на практике, поскольку любое незначительное изменение в пропорциях каждой наблюдаемой стратегии приведет к изменению стратегии и нарушению равновесия.
Наконец, в восьмидесятых годах, основываясь на таких идеях, устойчивые равновесия Мертенса были введены как концепция решения . Устойчивые равновесия Мертенса удовлетворяют как прямой индукции, так и обратной индукции . В контексте теории игр устойчивые равновесия теперь обычно относятся к устойчивым равновесиям Мертенса. [ требуется ссылка ]
Если игра имеет уникальное равновесие Нэша и играется между игроками при определенных условиях, то будет принят набор стратегий NE. Достаточные условия, гарантирующие, что равновесие Нэша будет сыграно, следующие:
Примеры задач теории игр , в которых эти условия не выполняются:
В своей докторской диссертации Джон Нэш предложил две интерпретации своей концепции равновесия с целью показать, как точки равновесия могут быть связаны с наблюдаемыми явлениями.
(...) Одна из интерпретаций рационалистична: если мы предположим, что игроки рациональны, знают полную структуру игры, игра проводится только один раз и существует только одно равновесие Нэша, то игроки будут играть в соответствии с этим равновесием .
Эта идея была формализована Р. Ауманном и А. Бранденбургером в 1995 г., Эпистемические условия равновесия по Нэшу , Econometrica, 63, 1161-1180, которые интерпретировали смешанную стратегию каждого игрока как предположение о поведении других игроков и показали, что если игра и рациональность игроков известны обеим сторонам, и эти предположения общеизвестны, то предположения должны быть равновесием по Нэшу (для этого результата в общем случае необходимо общее априорное предположение, но не в случае двух игроков. В этом случае предположения должны быть известны только обеим сторонам).
Вторая интерпретация, которую Нэш назвал интерпретацией массового действия, менее требовательна к игрокам:
[i]t необязательно предполагать, что участники обладают полным знанием общей структуры игры или способностью и склонностью проходить через любые сложные процессы рассуждения. Предполагается, что существует популяция участников для каждой позиции в игре, которая будет разыгрываться в течение времени участниками, выбранными случайным образом из разных популяций. Если существует стабильная средняя частота, с которой каждая чистая стратегия используется средним членом соответствующей популяции, то эта стабильная средняя частота представляет собой равновесие Нэша со смешанной стратегией.
Для получения формального результата в этом направлении см. Kuhn, H. и др., 1996, «Работа Джона Нэша в теории игр», Журнал экономической теории , 69, 153–185.
Из-за ограниченных условий, в которых NE действительно можно наблюдать, они редко рассматриваются как руководство к повседневному поведению или наблюдаются на практике в человеческих переговорах. Однако, как теоретическая концепция в экономике и эволюционной биологии , NE имеет объяснительную силу. Выигрыш в экономике — это полезность (или иногда деньги), а в эволюционной биологии — передача генов; оба являются фундаментальным итогом выживания. Исследователи, применяющие теорию игр в этих областях, утверждают, что стратегии, не способные максимизировать их по какой-либо причине, будут вытеснены с рынка или из среды, которым приписывается способность тестировать все стратегии. Этот вывод вытекает из теории «стабильности» выше. В этих ситуациях предположение о том, что наблюдаемая стратегия на самом деле является NE, часто подтверждалось исследованиями. [24]
Равновесие Нэша является надмножеством идеального равновесия Нэша подигры. Идеальное равновесие подигры в дополнение к равновесию Нэша требует, чтобы стратегия также была равновесием Нэша в каждой подигре этой игры. Это устраняет все невероятные угрозы , то есть стратегии, которые содержат нерациональные ходы, чтобы заставить контр-игрока изменить свою стратегию.
На изображении справа показана простая последовательная игра, иллюстрирующая проблему с несовершенными равновесиями Нэша в подыгрыше. В этой игре игрок один выбирает левое (L) или правое (R), после чего игроку два предлагается быть добрым (K) или недобрым (U) по отношению к игроку один. Однако игрок два выиграет от того, что будет недобрым, только если игрок один пойдет налево. Если игрок один пойдет направо, рациональный игрок два будет де-факто добр к ней/ему в этой подыгрыше. Однако, невероятная угроза быть недобрым в 2(2) все еще является частью синего (L, (U,U)) равновесия Нэша. Следовательно, если рациональное поведение можно ожидать от обеих сторон, идеальное равновесие Нэша в подыгрыше может быть более осмысленной концепцией решения, когда возникают такие динамические несоответствия .
Первоначальное доказательство Нэша (в его диссертации) использовало теорему Брауэра о неподвижной точке (например, см. ниже вариант). В этом разделе представлено более простое доказательство с помощью теоремы Какутани о неподвижной точке , следуя статье Нэша 1950 года (он приписывает Дэвиду Гейлу наблюдение, что такое упрощение возможно).
Чтобы доказать существование равновесия Нэша, пусть — наилучший ответ игрока i на стратегии всех остальных игроков.
Здесь, , где , — профиль смешанной стратегии в наборе всех смешанных стратегий, а — функция выигрыша для игрока i. Определим функцию со значениями множества, такую, что . Существование равновесия Нэша эквивалентно наличию неподвижной точки.
Теорема Какутани о неподвижной точке гарантирует существование неподвижной точки, если выполнены следующие четыре условия.
Условие 1. выполняется из того факта, что является симплексом и, следовательно, компактным. Выпуклость следует из способности игроков смешивать стратегии. непусто, пока у игроков есть стратегии.
Условие 2. и 3. выполняются в силу теоремы Берже о максимуме . Поскольку является непрерывным и компактным, является непустым и геминепрерывным сверху .
Условие 4. выполняется в результате смешанных стратегий. Предположим , тогда . т.е. если две стратегии максимизируют выигрыши, то смесь между двумя стратегиями даст тот же выигрыш.
Следовательно, существует неподвижная точка и равновесие Нэша. [25]
Когда Нэш высказал эту точку зрения Джону фон Нейману в 1949 году, фон Нейман, как известно, отверг ее словами: «Это тривиально, вы знаете. Это всего лишь теорема о неподвижной точке ». (См. Nasar, 1998, стр. 94.)
У нас есть игра , где — число игроков, а — набор действий для игроков. Все наборы действий конечны. Пусть обозначает набор смешанных стратегий для игроков. Конечность s обеспечивает компактность .
Теперь мы можем определить функции выигрыша. Для смешанной стратегии мы позволяем выигрышу для игрока на действие быть
Функция выигрыша представляет собой выгоду, которую игрок получает, односторонне меняя свою стратегию. Теперь мы определяем, где
для . Мы видим, что
Далее мы определяем:
Легко видеть, что каждое является допустимой смешанной стратегией в . Также легко проверить, что каждое является непрерывной функцией от , и, следовательно, является непрерывной функцией. Как векторное произведение конечного числа компактных выпуклых множеств, также компактно и выпукло. Применяя теорему Брауэра о неподвижной точке к и заключаем, что имеет неподвижную точку в , назовем ее . Мы утверждаем, что является равновесием Нэша в . Для этой цели достаточно показать, что
Это просто означает, что каждый игрок не получает никакой выгоды, односторонне меняя свою стратегию, что является необходимым условием для равновесия Нэша.
Теперь предположим, что не все выигрыши равны нулю. Следовательно, и такой, что . Тогда
Так что пусть
Также обозначим как вектор усиления, индексированный действиями в . Поскольку — неподвижная точка, то имеем:
Поскольку у нас есть то есть некоторое положительное масштабирование вектора . Теперь мы утверждаем, что
Чтобы увидеть это, сначала, если то это верно по определению функции усиления. Теперь предположим, что . Согласно нашим предыдущим утверждениям, мы имеем, что
и поэтому левый член равен нулю, что дает нам уверенность в том, что все выражение соответствует требуемому.
Итак, наконец-то у нас есть это
где последнее неравенство следует, поскольку — ненулевой вектор. Но это явное противоречие, поэтому все выигрыши действительно должны быть нулевыми. Следовательно, — равновесие Нэша для как нужно.
Если у игрока A есть доминирующая стратегия , то существует равновесие Нэша, в котором A играет . В случае двух игроков A и B существует равновесие Нэша, в котором A играет , а B играет наилучший ответ на . Если — строго доминирующая стратегия, A играет во всех равновесиях Нэша. Если и A, и B имеют строго доминирующие стратегии, то существует уникальное равновесие Нэша, в котором каждый играет свою строго доминирующую стратегию.
В играх со смешанными стратегиями равновесия Нэша вероятность выбора игроком любой конкретной (настолько чистой) стратегии может быть вычислена путем назначения переменной для каждой стратегии, которая представляет фиксированную вероятность выбора этой стратегии. Для того, чтобы игрок был готов к рандомизации, его ожидаемый выигрыш для каждой (чистой) стратегии должен быть одинаковым. Кроме того, сумма вероятностей для каждой стратегии конкретного игрока должна быть равна 1. Это создает систему уравнений, из которой можно вывести вероятности выбора каждой стратегии. [16]
В игре «Соответствующие пенни» игрок A проигрывает очко B, если A и B играют одну и ту же стратегию, и выигрывает очко у B, если они играют разные стратегии. Чтобы вычислить равновесие Нэша со смешанной стратегией, назначьте A вероятность игры H и игры T, а B — вероятность игры H и игры T.
Таким образом, равновесие Нэша со смешанной стратегией в этой игре заключается в том, что каждый игрок случайным образом выбирает H или T с и .
В 1971 году Роберт Уилсон сформулировал теорему о нечетности [26] , которая гласит, что «почти все» конечные игры имеют конечное и нечетное число равновесий Нэша. В 1993 году Харсани опубликовал альтернативное доказательство результата. [27] «Почти все» здесь означает, что любая игра с бесконечным или четным числом равновесий является очень особенной в том смысле, что если бы ее выигрыши были хотя бы немного случайным образом возмущены, с вероятностью единица она имела бы нечетное число равновесий.
Например, дилемма заключенного имеет одно равновесие, в то время как битва полов имеет три — два чистых и одно смешанное, и это остается верным, даже если выигрыши немного меняются. Игра в бесплатные деньги — пример «специальной» игры с четным числом равновесий. В ней два игрока должны оба проголосовать «да», а не «нет», чтобы получить награду, и голоса подаются одновременно. Существует два равновесия Нэша с чистой стратегией, (да, да) и (нет, нет), и нет равновесий со смешанной стратегией, потому что стратегия «да» слабо доминирует над «нет». «Да» так же хорошо, как и «нет» независимо от действий другого игрока, но если есть хоть какая-то вероятность, что другой игрок выберет «да», то «да» — лучший ответ. Однако при небольшом случайном возмущении выплат вероятность того, что любые две выплаты останутся равными 0 или какому-либо другому числу, исчезающе мала, и вместо этого в игре будет одно или три равновесия.