Теория игр - теория математических моделей принятия оптимальных решений в условиях конфликта. Поскольку стороны, участвующие в большинстве конфликтов, заинтересованы в том, чтобы скрыть от противника свои намерения, принятия решений в условиях конфликта, как правило, происходит в условиях неопределенности. Наоборот, фактор неопределенности можно интерпретировать как противника субъекта, принимающего решение (тем самым принятие решений в условиях неопределенности можно понимать как принятие решений в условиях конфликта). В частности, многие утверждения математической статистики естественным образом формулируются как теоретико-игровые.
Теория игр - раздел прикладной математики, который используется в социальных науках (всего в экономике ), биологии, политических науках, компьютерных науках (главным образом для искусственного интеллекта ) и философии. Теория игр пытается математически зафиксировать поведение в стратегических ситуациях, в которых успех субъекта, делающего выбор зависит от выбора других участников. Если сначала развивался анализ игры, в которых один из противников выигрывает за счет других ( игры с нулевой суммой ), то впоследствии начали рассматривать широкий класс взаимодействий, которые были классифицированы по определенным критериям. На сегодняшний день «теория игр то вроде зонтика или универсальной теории для рациональной стороны социальных наук, где социальные можем понимать широко, включая как человеческих так не-человеческих игроков (компьютеры, животные, растения)» ( Роберт Ауманн, 1987)
Эта отрасль математики получила определенное отражение в массовой культуре. В 1998 году американская писательница и журналисткаСильвия Назар опубликовала книгу о жизни Джона Нэша, нобелевского лауреата по экономике за достижения в теории игр, а в 2001 по мотивам книги снят фильм «Игры разума». (Таким образом, теория игр - одна из немногих отраслей математики в которой можно получить Нобелевскую премию). Некоторые американские телевизионные шоу, например, Friend or Foe, Alias или NUMBERS периодически используют в своих выпусках теорию игр.
Джон Нэш - математик,нобелевский лауреат известен широкой общественности благодаря фильму Игры разума.
Понятие теории игр
Логической основой теории игр является формализация трех понятий, входящих в ее определение и являются фундаментальными для всей теории:
Конфликт,
Принятие решения в конфликте,
Оптимальность принятого решения.
Эти понятия рассматриваются в теории игр в самом широком смысле. Их формализации отвечают содержательным представлением о соответствующих объектах.
Содержательно, конфликтом можно считать любое явление, относительно которого можно говорить о его участниках, об их действиях, о результатах явлений, к которым приводят эти действия, о сторонах, которые так или иначе заинтересованы в таких последствиях, и о сущности этой заинтересованности.
Если назвать участников конфликта коалициями действия (обозначив их множество как D, возможные действия каждой из коалиции действия - ее стратегиями (множество всех стратегий коалиции действия K обозначается как S ), результаты конфликта - ситуациями (множество всех ситуаций обозначается как S ; считается, что каждая ситуация складывается вследствие выбора каждой из коалиций действия некоторой своей стратегии, так, что ), заинтересованные стороны - коалициями интересов (их множество - I ) и, наконец, говорить о возможных преимуществах для каждой коалиции интересов K одной ситуации s ' перед другим s "(этот факт обозначается как ), то конфликт в целом может быть описан как система
.
Такая система, представляющая конфликт, называется игрой. Конкретизации составляющих, задающих игру, приводят к различным классам игр.
Классификация игр
Отдельными классами бескоалиционный игр есть:
антагонистические игры, включая матричные игры и игры на единичном квадрате.
динамичные игры, в том числе дифференциальные игры,
рекурсивные игры,
игры на выживание
и другие, также относятся к бескоалиционный игр.
Математический аппарат
Теория игр широко использует различные математические методы и результаты теории вероятностей, классического анализа, функционального анализа (особенно важны теоремы о неподвижные точки), комбинаторной топологии, теории дифференциальных и интегральных уравнений, и другие. Специфика теории игр способствует разработке разнообразных математических направлений (например, теория выпуклых множеств, линейное программирование, и т.д.).
Принятием решения в теории игр считается выбор коалицией действия, или, в частности, выбор игроком некоторой своей стратегии. Этот выбор можно представить себе в виде одноразового действия и возводить формально к выбору элемента из множества. Игры с таким пониманием выбора стратегий называются играми в нормальной форме. Им противопоставляются динамичные игры, в которых выбор стратегии является процессом, который происходит в течение некоторого времени, которое сопровождается расширением и сужением возможностей, получением и потерей информации о текущем состоянии дел, и т.п.. Формально, стратегией в такой игре есть функция, определенная на множестве всех информационных состояний субъекта, принимающего решения. Некритическое использование «свободы выбора» стратегий может приводить к парадоксальным явлениям.
Оптимальность и развязки
Вопрос о формализации понятия оптимальности является весьма сложным. Единое представление об оптимальности в теории игр отсутствует, поэтому приходится рассматривать несколько принципов оптимальности. Область возможности применения каждого из принципов оптимальности, используемых в теории игр, ограничивается сравнительно узкими классами игры, или же касается ограниченных аспектов их рассмотрения.
В основе каждого из этих принципов лежат некоторые интуитивные представления о оптимум, как о чем-то «устойчивое», или «справедливое». Формализация этих представлений дает требованиях, предъявляемых к оптимуму и имеющих характер аксиом.
Среди этих требований могут оказаться такие, которые противоречат друг другу (например, можно показать конфликты, в которых стороны вынуждены довольствоваться малыми выигрышами, поскольку крупных выигрышей можно достичь только в условиях неопределенных ситуаций); поэтому в теории игр не может быть сформулирован единый принцип оптимальности.
Ситуации (или множества ситуаций), которые удовлетворяют в некоторой игре те или иные требования оптимальности, называются решениями этой игры. Так как представление об оптимальности не однозначны, имело развязки игр в разных смыслах. Создание определений решений игры, доведение их существования и разработка путей их фактического поиска - три основные вопросы современной теории игр. Близкими к ним есть вопросы о единственности решений игр, о существовании в тех или иных классах игр решений, которые имеют некоторые заранее определенные свойства.
История
Как математическая дисциплина, теория игр зародилась одновременно с теорией вероятностей в 17 веке, но в течение почти 300 лет почти не развивалась. Первой существенной работой по теории игр следует считать статью Дж. фон Неймана «К теории стратегических игр» ( 1928 ), а с выходом в свет монографии американских математиков Дж. фон Неймана и О. Моргенштерна «Теория игр и экономическое поведение» ( 1944 ), теория игр сформировалась как самостоятельная математическая дисциплина. В отличие от других отраслей математики, имеющих преимущественно физическое, или физико-технологическое происхождение, теория игр с самого начала своего развития была направлена на решение задач, возникающих в экономике (а именно в конкурентной экономике).
В дальнейшем, идеи, методы и результаты теории игр стали применять в других областях знаний, имеющих дело с конфликтами: в военном деле, в вопросах морали, при изучении массового поведения индивидов, имеющих различные интересы (например, в вопросах миграции населения, или при рассмотрении биологической борьбы за существование). Теоретико-игровые методы принятия оптимальных решений в условиях неопределенности могут иметь широкое применение в медицине, в экономическом и социальном планировании и прогнозировании, в ряде вопросов науки и техники. Иногда теорию игр относят к математическому аппарату кибернетики, или теории исследования операций.