Ответ на этот вопрос получил французский математик Эмиль Борель.
С 1921 по 1927 годы
он публикует несколько работ о стратегических играх.
В этих работах он предпринимает попытку описать
стратегическое взаимодействие и вводит понятие стратегии,
причем рассматривает не только чистые стратегии, но и смешанные.
Сначала Борель рассматривает игры двух лиц с нулевой суммой.
Он пытается найти оптимальные стратегии игроков в этих играх.
Ему удается доказать, что в любой конечной игре двух лиц
с нулевой суммой в случае, если у каждого из игроков есть три
или пять чистых стратегий, то тогда в этой игре обязательно
существует минимаксное решение в смешанных стратегиях.
Впрочем, дальше Борель высказывает предположение о том,
что для случая более пяти чистых стратегий
можно попытаться предъявить контрпример, то есть такую игру,
в которой минимаксного решения не существует.
В 1928 году Джон фон Нейман доказывает
теорему о минимаксе — он показывает, что Борель был неправ.
Фон Нейману удалось доказать, что в любой конечной игре двух лиц
с нулевой суммой существует равновесие в минимаксных смешанных стратегиях.
Эта теорема стала настолько важной для теории игр, что ее
многие рассматривают как точку отсчета в становлении этой научной дисциплины.
Результаты фон Неймана стали общепризнанными,
а про результаты Бореля знают не так хорошо.
В 1950-х годах французский математик
Морис Фреше прочитал малоизвестные на тот момент (написанные
на французском) заметки Бореля и посчитал своей обязанностью
донести до всего научного сообщества результаты Бореля.
Фреше высказал мнение о том, что именно Бореля
справедливо признать основоположником теории игр.
Цитата из Фреше звучит так: «...читая заметки Бореля, я понял,
что в этой области, как и во многих других, Борель был основоположником».
Однако фон Нейман отвечает Фреше, что на самом деле никакой
теории игр не могло бы существовать, пока не была доказана теорема о минимаксе.
Борель, доказав ее только для случая трех или пяти стратегий,
ставил под сомнение верность этой теоремы в общей формулировке, но тем самым,
с точки зрения фон Неймана, он ставил под сомнение само существование теории игр.
«...мне казалось, — говорит фон Нейман, что не было бы ничего,
что стоило бы публиковать, пока не была доказана теорема о минимаксе».
В 1944 году фон Нейман и Оскар Моргенштерн
публикуют работу «Теория игр и экономическое поведение».
В ней предпринята попытка построения системы аксиом теории игр.
В этой работе фон Нейман и Моргенштерн рассматривают игры
двух лиц с нулевой суммой, игры n лиц с нулевой суммой.
Они рассматривают в том числе и игры с ненулевой суммой,
однако на тот момент никаких систематических результатов
для игр в общем случае получено не было.
Это изменилось в 1950 году.
Именно тогда, в 50-м и 51-м годах, Джон Нэш
в своих статьях «Точки равновесия в играх n лиц» и «Некооперативные игры» вводит
понятие равновесия в смешанных стратегиях для игр n лиц, обратите внимание,
уже для игр в общем случае, не только для игр с нулевой суммой.
И вот Джон Нэш доказывает, что любая конечная игра
имеет хотя бы одно равновесие в смешанных стратегиях.
Этот результат обобщает результат фон Неймана,
который тот доказал для конечных игр двух лиц с нулевой суммой.
Далее теория игр начинает развиваться со стремительной быстротой.
В том же 1950 году американские математики Мелвин Дрешер и Мерил Флад,
которые работали в корпорации RAND, проводят эксперимент.
Они хотят посмотреть, будет ли играться равновесие Нэша в игре,
в которой это равновесие не является Парето-оптимальным.
Они приводят формальное описание этой игры и просят в нее сыграть различных игроков.
Эта модель фактически позволяет ответить, насколько склонен человек
к сотрудничеству в ситуации, когда у него есть стимулы к эгоистическому поведению.
Альберт Такер дает этой модели красивую интерпретацию.
Формулировка Такера получает название «Дилемма заключенного».
Именно в этой формулировке эта игра рассказывается всем в настоящее время.
1960 год.
Выходит книга Томаса Шеллинга «Стратегия конфликта».
В этой книге Шеллинг подробно обсуждает принципы угроз, контругроз,
сдерживания, конфликта интересов, координации и других принципов,
которые используются во время дипломатических переговоров.
Книга Шеллинга во многом становится настольной книгой для всех
дипломатов того времени.
Читая эту книгу, можно понять,
на каких основаниях базируются принципы ведения дипломатических переговоров,
и эта книга настоятельно рекомендуется к прочтению скорее как художественная
литература, потому что с содержательной точки зрения
теория игр существенно изменилась с 1960 года.
Вот один пример из этой книги:
после того как была взорвана первая атомная бомба, широко обсуждался вопрос о том,
а существует ли предел устойчивости земной атмосферы к ядерному расщеплению.
Распространялись слухи о том,
что если взорвать некоторое критическое количество атомных бомб,
то можно уничтожить атмосферу Земли, и тогда жизнь завершится.
Но тогда, если бы это утверждение действительно было бы правдой,
угрозу использования ядерного оружия можно было бы вовсе исключить.
Можно было бы открыто взорвать (n - 1) ядерную бомбу,
где n — это тот самый критический уровень, и после этого любой,
кто бы взорвал атомную бомбу, фактически полностью разрушал атмосферу,
и это бы означало запрет на использование ядерного оружия.
В книге Шеллинга
рассматриваются и другие похожие примеры, которые показывают,
как можно пытаться сдерживать те или иные угрозы.
В 1965 году Райнхард Зельтен предлагает идею
рафинирования равновесий Нэша в играх в развернутой форме.
Он вводит концепцию равновесия Нэша, совершенного на подыграх.
Зельтен замечает, что из всех равновесий Нэша
некоторые являются более хорошими,
в том смысле, что они обладают некоторыми дополнительными хорошими свойствами,
а именно на каждой подыгре каждый игрок
играет оптимально при фиксированных стратегиях всех остальных.
Если в определении равновесия Нэша требуется оптимальность
действий каждого игрока при фиксированных стратегиях остальных только во всей игре,
то почему бы не выделить подкласс всех равновесий,
в которых выполняются дополнительные свойства,
а именно игроки всегда играют оптимально, на любой подыгре, куда бы игра ни пришла.
Эта идея, идея выделения из всего множества равновесий
тех равновесий, которые обладают дополнительными хорошими свойствами,
получила название «рафинирование равновесий».
А Зельтен фактически предложил первую концепцию рафинирования равновесий Нэша.
В 1966 году Джон Харсаньи в своей работе определяет,
чем кооперативные игры отличаются от некооперативных.
Кооперативными называются игры, в которых различные
договоренности, обещания и угрозы являются связывающими,
то есть, однажды пообещав осуществить угрозу в том или ином случае,
мы гарантируем, что она будет осуществлена.
Если же эти обещания можно нарушать,
и каждый игрок сможет отклоняться от этих обещаний,
то тогда такие игры — некооперативные.