Теорія ігор: чому раціональні гравці іноді співпрацюють

Двоє підозрюваних сидять у різних камерах, не маючи змоги спілкуватися. Кожен може зрадити іншого або мовчати. Логічний вибір для кожного окремо призводить до гіршого результату для обох. Це дилема в'язня — і вона розкриває глибоку істину про співпрацю, конкуренцію та раціональне прийняття рішень.

Дилема в'язня

Уявіть двох підозрюваних, заарештованих за один злочин і поміщених у різні кімнати для допитів, без можливості координувати дії. Кожному пропонують одну й ту саму угоду: зрадити напарника або мовчати. Матриця виплат вражає своєю жорсткістю:

З суто егоїстичної точки зору кожен гравець міркує однаково: "Що б не робив мій напарник, мені вигідніше зрадити. Якщо він мовчить, я виходжу на волю замість того, щоб відбути 1 рік. Якщо він зраджує, я відбуваю 2 роки замість 3". Ця логіка веде обох гравців прямісінько до взаємної зради — найгіршого колективного результату.

Ця дилема не якась цікавинка. Вона моделює гонки озброєнь, екологічні угоди, цінову конкуренцію між фірмами та будь-яку ситуацію, де індивідуальна раціональність підриває суспільне благо. Трагедія в тому, що обидва гравці знають, що взаємна співпраця слугувала б їм краще, і все ж раціональний власний інтерес роз'єднує їх.

Рівновага Неша

У 1950 році Джон Неш — чиє життя пізніше було зображене у фільмі "Ігри розуму" — формалізував концепцію стабільного результату в стратегічних іграх. Рівновага Неша — це стан, за якого жоден окремий гравець не може покращити свій результат, в односторонньому порядку змінивши стратегію, за умови, що всі інші гравці зберігають свої стратегії незмінними.

У дилемі в'язня взаємна зрада є єдиною рівновагою Неша: щойно обидва гравці зраджують, жоден не може досягти кращого результату, самостійно перейшовши до співпраці. Проте взаємна співпраця — яка дає обом гравцям кращий результат — не є рівновагою Неша, оскільки в кожного гравця є індивідуальний стимул зрадити, якщо інший співпрацює.

Це розкриває тверезу істину: рівноваги Неша можуть бути колективно неоптимальними. Багато реальних ситуацій мають кілька рівноваг Неша, і те, у якій саме опиниться система, може залежати від історії, культури чи дрібних випадкових подій. Ігри координації — вибір, яким боком дороги їздити, яким месенджером користуватися — мають кілька рівноваг, і суспільству доводиться якось обирати одну з них. Транспортні мережі демонструють парадокс Браеса, коли додавання нової дороги може підштовхнути всіх до гіршої рівноваги Неша.

Сила повторення

Одноразова дилема в'язня — це пастка. Але реальні взаємодії рідко трапляються лише одного разу. Коли ті самі гравці зустрічаються знову й знову — повторювана дилема в'язня — стратегічний ландшафт змінюється повністю.

Майбутні взаємодії дають гравцям важіль впливу. Загроза майбутнього покарання та обіцянка майбутньої винагороди роблять співпрацю життєздатною стратегією. У повторюваній грі без відомої дати завершення співпраця може бути індивідуально раціональною.

На початку 1980-х політолог Роберт Аксельрод провів визначний експеримент: він запросив теоретиків ігор, економістів, психологів та математиків подати комп'ютерні програми, які гратимуть у повторювану дилему в'язня в турнірі за круговою системою. Програми варіювалися від простих до складних — деякі намагалися провести детальний статистичний аналіз історії суперників, деякі грали випадково, деякі пробували стратегії експлуатації.

Переможцем стала найпростіша з усіх заявок: "Тіт-фор-тат" (Tit-for-Tat, "услід за ходом"), написана Анатолем Рапопортом усього в чотири рядки. Стратегія обеззброююче проста: співпрацюй на першому ході, потім роби те саме, що суперник зробив на попередньому ході. Почни доброзичливо, карай за зраду, одразу вибачай, коли суперник повертається до співпраці.

"Тіт-фор-тат" перемогла, бо втілювала чотири чесноти, які Аксельрод визначив як ключі до успіху: доброзичливість (ніколи не зраджувати першою), відплатність (швидко карати зраду), прощення (повертатися до співпраці після покарання) та зрозумілість (легко піддається розумінню й адаптації з боку суперників). Ці уроки чудово узагальнюються далеко за межі комп'ютерних турнірів.

Еволюційна теорія ігор

Джон Мейнард Сміт привніс теорію ігор у біологію в 1970-х і 1980-х роках, поставивши радикальне питання: чи повинні тварини бути раціональними, щоб до них застосовувалися ігротеоретичні міркування? Його відповідь була "ні". Природний відбір може породжувати ігротеоретично стабільні результати без жодних свідомих розрахунків.

Ключове поняття — еволюційно стабільна стратегія (ЕСС): стратегія, яка, будучи прийнятою популяцією, не може бути витіснена рідкісним мутантом, що використовує іншу стратегію. ЕСС — це рівновага Неша, яка водночас стабільна проти еволюційного дрейфу.

Гра "Яструб-Голуб" моделює конфлікт тварин за ресурс. Яструби завжди б'ються; Голуби завжди відступають. Чисто "яструбину" популяцію можуть заполонити Голуби (які уникають витратних сутичок), а чисто "голубину" популяцію можуть заполонити Яструби (які виграють кожну сутичку). ЕСС — це змішана популяція, де обидва типи співіснують у частці, що визначається витратами та вигодами боротьби.

Реальних прикладів безліч. Риби-чистильники на коралових рифах співпрацюють із більшими рибами-клієнтами, які могли б їх легко з'їсти — взаємний альтруїзм, підкріплений повторюваною взаємодією. Кажани-вампіри діляться кров'ю з сусідами по сідалу, яким не пощастило на полюванні, пам'ятаючи минулу щедрість та відмовляючи ділитися з відомими шахраями. Ці поведінки були сформовані тиском відбору, а не свідомим розрахунком.

Спостерігайте еволюційну теорію ігор у дії: наш симулятор еволюції дозволяє засіяти популяцію різними стратегіями — тими, хто співпрацює, тими, хто зраджує, гравцями "тіт-фор-тат" — і спостерігати, який природний відбір визначить переможців. Результати можуть вас здивувати.

Застосування поза межами ігор

Теорія ігор виросла далеко за межі своїх витоків у настільних іграх та уявних експериментах. Деякі з її найвпливовіших застосувань:

Сила теорії ігор не в тому, що вона дає прості відповіді, а в тому, що вона прояснює структуру стратегічних ситуацій — розкриваючи, чому зберігаються конфлікти, що змінює стимули та коли співпраця може раціонально виникнути з власного інтересу.

Часті запитання

Що таке теорія ігор?

Теорія ігор — це математичне вивчення стратегічного прийняття рішень між раціональними агентами. Вона моделює ситуації, у яких результат для кожного учасника залежить не лише від його власного вибору, а й від вибору інших. Розроблена Джоном фон Нейманом та Оскаром Моргенштерном у 1944 році, вона застосовується в економіці, біології, політиці та інформатиці.

Що таке дилема в'язня?

Дилема в'язня — найвідоміший сценарій теорії ігор, у якому два гравці незалежно один від одного обирають співпрацювати або зрадити. Якщо обидва співпрацюють, обидва отримують помірну винагороду. Якщо обидва зраджують, обидва отримують погані результати. Якщо один зраджує, а інший співпрацює, зрадник виграє найбільше, а той, хто співпрацював, отримує найгірший результат. Індивідуально раціональна зрада призводить до колективно неоптимальних результатів.

Що таке рівновага Неша?

Рівновага Неша — це набір стратегій, за якого жоден гравець не може покращити свій результат, в односторонньому порядку змінивши свою стратегію, за умови, що всі інші гравці зберігають свої стратегії незмінними. Названа на честь математика Джона Неша, вона являє собою стабільний стан взаємних найкращих відповідей. Гра може мати нуль, одну або кілька рівноваг Неша в чистих або змішаних стратегіях.

У чому різниця між кооперативною та некооперативною теорією ігор?

Некооперативна теорія ігор аналізує стратегічні взаємодії між егоїстичними гравцями, які не можуть укладати обов'язкові угоди — кожен гравець оптимізує незалежно. Кооперативна теорія ігор вивчає, як гравці можуть утворювати коаліції, ділити ресурси та справедливо розподіляти виплати, коли обов'язкові угоди можливі. Більшість застосувань в економіці використовують некооперативну теорію; політологія часто використовує кооперативну.

Що таке стратегія "Тіт-фор-тат"?

"Тіт-фор-тат" — це стратегія в повторюваних іграх, яка починається зі співпраці, а потім віддзеркалює те, що суперник зробив у попередньому раунді. У знаменитих комп'ютерних турнірах Роберта Аксельрода "Тіт-фор-тат" незмінно перемагала у змаганнях із повторюваної дилеми в'язня — бувши доброзичливою (починає зі співпраці), відплатною (карає за зраду), прощаючою (повертається до співпраці після того, як це робить суперник) та зрозумілою (легко піддається розумінню з боку суперників).

Що таке домінантна стратегія?

Домінантна стратегія — це та, яка дає найкращий результат для гравця незалежно від того, що обирають інші гравці. Якщо вибір стратегії A завжди дає кращу виплату, ніж стратегія B, незалежно від дій суперників, то A строго домінує над B. Раціональні гравці завжди грають домінантні стратегії, коли вони існують, а ітеративне усунення домінованих стратегій спрощує складні ігри.

Як теорія ігор пояснює еволюцію співпраці?

Еволюційна теорія ігор показує, що співпраця може еволюціонувати через повторювані взаємодії (повторювані ігри), родинний відбір (допомога родичам, які поділяють гени), груповий відбір (групи тих, хто співпрацює, перемагають групи зрадників у конкуренції), мережеву структуру (ті, хто співпрацює, гуртуються подалі від зрадників) та непряму взаємність (ефекти репутації). Ці механізми долають індивідуально раціональне прагнення до зради в дилемі в'язня.

Що таке гра "Полювання на оленя"?

"Полювання на оленя" моделює проблему координації, коли двоє мисливців можуть або співпрацювати, щоб полювати на великого оленя (успіх вимагає участі обох), або полювати на кроликів окремо (гарантована невелика винагорода). На відміну від дилеми в'язня, і взаємна співпраця, і взаємна зрада є рівновагами Неша, що робить "Полювання на оленя" грою про координацію, а не про експлуатацію.

Що таке дизайн механізмів?

Дизайн механізмів (зворотна теорія ігор) ставить питання: маючи бажаний суспільний результат, чи можемо ми розробити правила та стимули так, щоб раціональна поведінка егоїстичних гравців сама досягала цього результату? Застосування включають проєктування аукціонів (механізми Вікрі-Кларка-Гровса), виборчі системи, регулювання ринків та управління платформами. Нобелівська премія за цю роботу дісталася Гурвіцу, Маскіну та Майєрсону, які заклали її основи.

Що таке гра "Ультиматум" і що вона розкриває про людську поведінку?

У грі "Ультиматум" один гравець пропонує спосіб поділити певну суму грошей; другий гравець приймає пропозицію (обоє отримують запропонований поділ) або відхиляє її (обоє не отримують нічого). Класична теорія передбачає, що будь-яка ненульова пропозиція має бути прийнята, але експерименти незмінно показують, що гравці відхиляють пропозиції нижче ~30% як "несправедливі". Це розкриває, що людська економічна поведінка керується нормами справедливості, а не чистим власним інтересом, ставлячи під сумнів модель раціонального актора.