Tytuł oryginału: Game Theory: A Very Short Introduction

Rada Naukowa serii Krótkie Wprowadzenie

Jerzy Gajdka, Ewa Gajewska, Krystyna Kujawińska Courtney Aneta Pawłowska, Piotr Stalmaszczyk

Redaktorzy inicjujący serii Krótkie Wprowadzenie

Urszula Dzieciątkowska, Agnieszka Kałowska

Tłumaczenie

Iwona Konarzewska

Redakcja

Aurelia Hołubowska

Skład i łamanie

Munda – Maciej Torz

Projekt typograficzny serii

Tomasz Przybył

Game Theory: A Very Short Introduction was originally published in English in 2007. This translation is published by arrangement with Oxford University Press. Wydawnictwo Uniwersytetu Łódzkiego is solely responsible for this translation from the original work and Oxford University Press shall have no liability for any errors, omissions or inaccuracies or ambiguities in such translation or for any losses caused by reliance thereon

© Copyright by Ken Binmore 2007

© Copyright for this edition by Uniwersytet Łódzki, Łódź 2017

© Copyright for Polish translation by Iwona Konarzewska, Łódź 2017

Publikacja sfinansowana ze środków Wydawnictwa Uniwersytetu Łódzkiego

Wydane przez Wydawnictwo Uniwersytetu Łódzkiego

Wydanie I. W.07585.16.0.M

Ark. wyd. 8,0; ark. druk. 13,0

Paperback ISBN Oxford University Press: 978-0-19-921846-2

ISBN 978-83-8088-594-3

e-ISBN 978-83-8088-595-0

Wydawnictwo Uniwersytetu Łódzkiego

90-131 Łódź, ul. Lindleya 8

www.wydawnictwo.uni.lodz.pl

e-mail: ksiegarnia@uni.lodz.pl

tel. (42) 665 58 63

Dla Petera i Niny

Spis ilustracji

Orzeł-czy-reszka

Tablice wypłat

Wypłaty liczbowe

Gry z mieszanymi motywacjami

James Dean

© 2004 TopFoto

John Nash

© Robert P. Matthews / Princeton University / Getty Images

Dwie wersje dylematu więźnia

Toczące się kości

© iStockphoto

Nauka gry w równowagę

Dwie gry planszowe

Porwanie

Miłe porwanie

Minigra ultimatum

Ewolucyjne dostosowanie w minigrze ultimatum

Uproszczony paradoks sieci handlowej

David Hume

© Hulton Archive / Getty Images

Gra Schellinga solitaire

Gra polowanie na jelenia (ang. stag hunt)

Wzajemne iskanie się przez szympansy

© Peter Arnold Inc. / Alamy

Twierdzenie ludowe (ang. folk theorem)

Zbiory informacyjne w grze orzeł-czy-reszka

Full

© iStockphoto

Strategie maksiminowe w modelu pokera von Neumanna

Model von Neumanna

Tablica wypłat dla modelu pokera von Neumanna

Niekompletna informacja w grze w tchórza

Sąd Salomona

Po raz pierwszy, po raz drugi, sprzedano!

© Hiu Yin Leung / Fotolia

Dynamika replikatorów w grze jastrząb-gołąb (ang. hawk-dove)

Dylemat więźnia w przypadku graczy spokrewnionych

Nietoperz wampir

Gra jastrząb-gołąb-mściciel

Rozwiązanie arbitrażowe Nasha

Mit jawnej skłonności

Dwie próby spełnienia postulatów Newcomba

Trzy damy ze Środkowego Zachodu

© Library of Congress, Prints and Photographs Division, FSA-OW1 Collection (reproduction no. LC-USF33-012381-M5 DLC)

Paradoks Monty’ego Halla

Wydawca i autor przepraszają za ewentualne błędy lub pominięcia w powyższym spisie. W przypadku ich zgłoszenia, wprowadzą zmiany przy najbliższej okazji.

Rozdział 1

Nazwa gry

Czym zajmuje się teoria gier?

W czasie gdy moja żona była poza domem na sympatycznej jednodniowej konferencji w Toskanii, trzy młode kobiety zaprosiły mnie, abym dzielił z nimi stół w czasie lunchu. Gdy usiadłem, jedna z nich odezwała się zmysłowym głosem: „Naucz nas, jak grać w miłość”. Okazało się jednak, że wszystko, czego oczekiwały, to porada, jak postępować z włoskimi chłopakami. Wciąż myślę, że popełniły błąd, odrzucając moje sugestie dotyczące strategii, jednak miały rację, przyjmując za rzecz oczywistą, że zaloty są jedną z wielu różnych rodzajów gier, w które gramy w realnym życiu.

Kierowcy manewrujący w czasie dużego ruchu grają w grę kierowców. Licytujący na eBayu, polując na okazje cenowe, grają w grę aukcyjną. Firma i związek zawodowy negocjujący wysokość płac na następny rok grają w grę przetargową. Oponenci decydujący o kształcie programu politycznego podczas wyborów grają w grę polityczną. Właściciel sklepu spożywczego podejmujący decyzję o cenie płatków kukurydzianych w danym dniu gra w gę ekonomiczną. Mówiąc krótko: gra pojawia się zawsze, gdy tylko ludzie wchodzą w interakcję.

Antoniusz i Kleopatra rozgrywali grę miłosną na wielką skalę. Bill Gates zdobył ogromny majątek, grając w grę software’u komputerowego. Adolf Hitler i Józef Stalin grali w grę, która spowodowała śmierć znaczącej części populacji świata. Chruszczow i Kennedy w czasie kryzysu kubańskiego rozgrywali grę, która w efekcie mogła zmieść z powierzchni Ziemi nas wszystkich.

Mając tak wiele zastosowań, teoria gier mogłaby być panaceum, jeżeli tylko można byłoby zawsze przewidzieć, w jaki sposób ludzie grają w grach, które składają się na życie społeczne. Jednakże teoria gier nie może rozwiązać wszystkich problemów świata, ponieważ jej zasady działają tylko wówczas, gdy ludzie grają w sposób racjonalny. Nie może więc przewidzieć zachowania chorych z miłości nastolatków, jak Romeo i Julia, lub szaleńców, jak Hitler i Stalin. Ludzie jednak nie zawsze zachowują się irracjonalnie i nie traci się czasu, badając, co się dzieje, gdy postępują w sposób przemyślany. Większość z nas przynajmniej stara się wydawać pieniądze w sposób rozsądny i zwykle nie postępuje na tyle niemądrze, aby teoria ekonomii przestała mieć rację bytu.

Nawet gdy ludzie nie przemyśleli wszystkiego z wyprzedzeniem, nie oznacza to, że na pewno postąpią nieracjonalnie. Teoria gier odniosła kilka znaczących sukcesów w wyjaśnianiu zachowania pająków i ryb, których nawet nie podejrzewa się o myślenie. Takie nierozumne zwierzęta zachowują się, jak gdyby były istotami racjonalnymi, ponieważ konkurenci, zaprogramowani genetycznie, aby zachowywać się nieracjonalnie, wyginęli. Podobnie firmy nie zawsze są zarządzane przez osoby o wielkim intelekcie. Rynek jest jednak zwykle równie bezwzględny jak natura i eliminuje niedostosowanych.

Czy teoria gier działa?

Pomimo teoretycznych sukcesów w praktyce ludzie biznesu zwykle odrzucali teorię gier jako jeden z bardziej nieprzydatnych działów nauk społecznych. Zmienili zdanie niemal z dnia na dzień, kiedy rząd amerykański podjął decyzję o zorganizowaniu aukcji częstotliwości radiowych w telefonii komórkowej.

Ze względu na brak uznanych ekspertów-praktyków porady teoretyków z zakresu teorii gier okazały się kluczowe dla stworzenia projektu reguł gier aukcyjnych, które zostały zastosowane w tym przypadku. W wyniku tego podatnik amerykański zyskał 20 miliardów dolarów – ponad dwukrotnie więcej niż oczekiwano. Jeszcze więcej udało się zyskać w późniejszej licytacji w Wielkiej Brytanii, za którą byłem odpowiedzialny. Na jednej tylko aukcji zarobiliśmy w sumie 35 miliardów dolarów. W konsekwencji magazyn „Newsweek” napisał o mnie, że jestem bezwzględnym ekonomistą-pokerzystą, który zniszczył przemysł telekomunikacyjny!

Jak się okazało, przemysł telekomunikacyjny przetrwał. Poza tym czerpanie zysków z licencji, za które przemysł telekomunikacyjny płaci tyle, ile są warte, wcale nie jest bezlitosne. Zwłaszcza gdy pieniądze przeznaczane są na szpitale dla tych, którzy nie mogą sobie pozwolić na prywatną opiekę medyczną. A jeśli chodzi o pokera, to minęło co najmniej 20 lat od czasu, gdy grałem o więcej niż pięcio- i dziesięciocentówki. Jedyną rzeczą, co do której „Newsweek” miał rację, jest to, że teoria gier naprawdę działa, gdy jest stosowana przez ludzi, którzy są świadomi tego, co robią. Działa nie tylko w ekonomii, ale również w biologii ewolucyjnej i w naukach politycznych. W mojej książce Natural Justice, gdy mówię o etyce, stosując teorię gier, obrażam nawet ortodoksyjnych filozofów moralności.

Proste gry

Każda nowa wielomiliardowa aukcja telekomunikacyjna musi być „przykrojona” na miarę okoliczności, w których ma być przeprowadzona. Nie można po prostu użyć gotowego projektu, jak zdążył się zorientować rząd amerykański, zatrudniając dom aukcyjny Sotheby’s w celu przeprowadzenia aukcji zestawu transponderów satelitarnych. Nikt nie może jednak ująć wszystkich skomplikowanych szczegółów nowego rynku telekomunikacyjnego w modelu matematycznym. Projektowanie aukcji telekomunikacyjnej jest w związku z tym zarówno sztuką, jak i nauką. Dokonuje się ekstrapolacji na podstawie prostego modelu wybranego dla przybliżenia najistotniejszych właściwości problemu.

Chciałbym zrobić to samo w niniejszej książce, która nie zawiera formuł algebraicznych i w której ograniczyłem żargon techniczny do minimum. Zajmuję się w niej tylko grami, odsuwając na bok wszystkie dodatkowe elementy, które je komplikują w realnym życiu.

1. Orzeł-czy-reszka. Problem decyzyjny Alice i Boba

Konflikt i kooperacja

Większość gier w niniejszej książce jest rozgrywana przez zaledwie dwójkę graczy, których nazwiemy Alice i Bob. Pierwsza gra, jaką rozegrają, to orzeł-czy-reszka.

Sherlock Holmes i zły profesor Moriarty, zmierzając do ostatecznej konfrontacji nad wodospadem Reichenbach, grali w orła-czy-reszkę. Holmes musiał zadecydować, na której stacji wysiąść z pociągu. Moriarty musiał podjąć decyzję, na której stacji czekać. Odpowiednikiem tej gry w prawdziwym życiu jest gra pomiędzy nieuczciwymi księgowymi a audytorami. Jeden decyduje, kiedy oszukać, drugi podejmuje decyzję, kiedy sprawdzić księgi rachunkowe.

W naszej, szkolnej wersji gry Alice i Bob pokazują monety. Alice wygrywa, jeżeli obie z nich są odwrócone tą samą stroną do góry. Bob wygrywa, gdy każda z monet jest odwrócona inną stroną do góry. Zarówno Alice, jak i Bob mają dwie strategie: orzeł i reszka. Na ilustracji 1 przedstawiono, kto wygrywa lub ponosi porażkę w przypadku wszystkich możliwych kombinacji strategii. Te wyniki to tak zwane wypłaty w grze. Ikony: kciuk w górę i kciuk w dół zostały użyte dla podkreślenia, że wypłaty nie muszą być mierzone w jednostkach pieniężnych.

Ilustracja 2 przedstawia, w jaki sposób całość informacji zawartej na ilustracji 1 można przenieść do tablicy wypłat, w której wypłata dla Alice znajduje się w lewym dolnym (południowo-zachodnim) rogu każdej komórki, a dla Boba w prawym górnym (północno-wschodnim) rogu. Pokazuje ona także dwuosobową wersję gry samochodowej, w którą gramy każdego ranka, wsiadając do naszych samochodów, aby dotrzeć do pracy. Alice i Bob mają ponownie dwie strategie, w prawo i w lewo, ale tym razem wypłaty graczy są jednakowe, inaczej niż w poprzedniej grze, w której były diametralnie różne. Gdy dziennikarze mówią o sytuacji, w której wygrywają wszystkie strony, mają na myśli coś w rodzaju gry samochodowej.

2. Tablice wypłat. Alice wybiera wiersz, a Bob wybiera kolumnę

Von Neumann

Pierwszą zdobyczą teorii gier było twierdzenie minimaksowe Johna von Neumanna mające zastosowanie tylko do gier typu orzeł-czy-reszka, w których gracze są nieprzejednanymi wrogami. Można jeszcze przeczytać lekceważące komentarze na temat teorii gier, w których von Neumann jest przedstawiany karykaturalnie jako archetypowy zimny wojownik – taki jak doktor Strangelove ze znanego filmu1. Mówi się w nich, że tylko szalony strateg wojskowy mógłby pomyśleć o zastosowaniu teorii gier w prawdziwym życiu, ponieważ jedynie szaleniec lub cyborg mógłby popełnić błąd przy założeniu, że życie jest grą czysto konfliktową.

Von Neumann był wszechstronnym geniuszem. Tworzenie teorii gier było dla niego jedynie dodatkowym zajęciem. Prawdą jest, że w czasie zimnej wojny był jastrzębiem (nie gołębiem), ale daleko było mu do szalonego cyborga – stanowił uosobienie geniusza, który lubił przyjęcia i zabawę. Tak jak ty i ja wolał kooperację od konfliktu, ale rozumiał, że droga do osiągnięcia porozumienia nie polega na udawaniu, że ludzie nie mogą czasem zyskać poprzez stwarzanie kłopotów.

Kooperacja i konflikt są dwiema stronami tego samego medalu i żadne z nich nie może być właściwie zrozumiane bez uwzględnienia drugiego. Rozważanie gry czysto konfliktowej, jak orzeł-czy-reszka, nie polega na utrzymywaniu, że wszystkie ludzkie interakcje są konkurencyjne. Z drugiej strony nikt nie twierdzi, przyglądając się czysto koordynacyjnej grze samochodowej, że wszystkie ludzkie interakcje są kooperacyjne. Wyodrębnia się po prostu dwa przeciwstawne aspekty zachowań ludzkich, aby móc badać je osobno.

Ujawnione preferencje

Stawiając jednocześnie czoła kooperacji i konfliktowi, musimy lepiej opisać motywacje graczy, niż mówiąc po prostu, że lubią wygrywać albo nie lubią przegrywać. W tym celu ekonomiści stworzyli ideę użyteczności. Pozwala ona każdemu graczowi przydzielić wartość liczbową dla każdego możliwego wyniku gry.

W biznesie końcowym wynikiem jest zwykle zysk, ale ekonomiści wiedzą, że ludzie mają często bardziej złożone cele od prostego zarabiania tylu pieniędzy, ile potrafią. Nie możemy zatem identyfikować użyteczności z pieniędzmi. Naiwnym substytutem jest zadowolenie z pieniędzy. Ale co to jest zadowolenie? Jak je mierzyć?

Tak się niefortunnie składa, że słowo „użyteczność” (ang. utility) historycznie wiąże się z wiktoriańskimi utylitarystami, jak Jeremy Bentham i John Stuart Mill. Współcześni ekonomiści nie naśladują ich w identyfikacji użyteczności jako odczuwania wielkości przyjemności czy też bólu. Nowoczesna teoria porzuca próby wyjaśnienia zachowań ludzi za pomocą opisu tego, co dzieje się w ich głowach. Przeciwnie, poczytuje sobie za cnotę nieczynienie żadnych założeń o charakterze psychologicznym2.

Nie zamierzamy tłumaczyć, dlaczego Alice lub Bob zachowują się tak, a nie inaczej. Zamiast teorii objaśniającej, musi nam wystarczyć teoria opisowa, która nie może powiedzieć więcej niż to, że Alice lub Bob będą działać niekonsekwentnie, jeżeli to-czy-tamto zrobili w przeszłości, ale planują postąpić tak-lub-inaczej w przyszłości. W teorii gier obserwuje się decyzje, które Alice i Bob podejmują (lub zamierzają podjąć), jeżeli nie komunikują się ze sobą lub z kimkolwiek innym, ale także rozważa się, jak zachowaliby się, gdyby mogli się porozumieć w trakcie rozgrywania gry.

Nie chcemy dowodzić, że pewne preferencje są bardziej racjonalne od innych. Przyjmujemy pogląd wielkiego filozofa Davida Hume’a, który uznał rozum za „niewolnika nałogów”. Jak ekstrawagancko zauważył, nie ma nic irracjonalnego w chęci zniszczenia całego świata, aby się podrapać w palec. Jednakże idziemy dalej tą drogą, uznając rozum za narzędzie pozwalające uniknąć nielogicznego zachowania. Każde logiczne zachowanie będzie traktowane jako racjonalne.

Przy pewnych założeniach działanie konsekwentne może być uznane za tożsame z działaniem mającym na celu maksymalizację jakiejś wartości. Czymkolwiek jest ta abstrakcyjna wartość w konkretnym przypadku, ekonomiści zwą ją użytecznością. Nie musi być związana z pieniędzmi, ale – choć przykro to mówić – zwykle jest.

Podejmowanie ryzyka

Działając konsekwentnie, Alice może nie być świadoma, że postępuje, jakby maksymalizowała coś, co zdecydowaliśmy się nazwać jej użytecznością. Jeżeli jednak chcemy przewidzieć jej zachowanie, musimy mieć możliwość pomiaru jej użyteczności na skali użyteczności, w podobny sposób jak pomiaru temperatury dokonuje się za pomocą termometru. Tak jak jednostki na termometrze nazywa się stopniami, możemy powiedzieć, że util jest jednostką na skali użyteczności Alice.

Ortodoksyjna ekonomia przyjmuje, że skale użyteczności kardynalnej są z natury rzeczy bezsensowne. Na szczęście von Neumann nie wiedział o tym, gdy Oskar Morgenstern zjawił się u niego w domu, narzekając, że w książce na temat teorii gier, którą pisali wspólnie, brak im właściwej podstawy dla obliczania wypłat liczbowych. Wobec tego von Neumann natychmiast sformułował koncepcję pomiaru tego, jak bardzo Alice czegoś pragnie, za pomocą rozmiaru ryzyka, jakie jest gotowa podjąć, aby to uzyskać. Następnie możemy wyliczyć, jakiego wyboru dokonałaby Alice w ryzykownych sytuacjach, biorąc pod uwagę opcję, która zapewni jej przeciętnie najwyższą użyteczność.

Teoria von Neumanna przyda się, jeżeli chcemy przypisać wielkość użyteczności wszystkiemu, co Alice chciałaby wycenić. Na przykład, ile utili Alice powinna przydzielić randce z Bobem?

Po pierwsze, musimy zdecydować, jaką skalę użyteczności zastosować. W tym celu należy wybrać dwa wyniki, które są odpowiednio lepsze lub gorsze od każdego innego wyniku, na jaki Alice może się natknąć. Te wyniki odpowiadają poziomom temperatur wrzenia i zamarzania wody, które zostały wybrane do skalibrowania termometru Celsjusza, z tym, że w skali użyteczności 0 utili zostaje przydzielone wynikowi najgorszemu, a 100 utili – najlepszemu. Następnie rozważa się pakiet biletów na loterię, w której jedynymi wypłatami są: wynik najlepszy albo najgorszy.

Kiedy oferujemy Alice bilety na loterię jako alternatywę dla randki z Bobem, ciągle zwiększając prawdopodobieństwo uzyskania najlepszego wyniku, sprawimy, że Alice w pewnym momencie zmieni zdanie z nie na tak. Jeżeli prawdopodobieństwo najlepszego wyniku w loterii, przy którym nastąpiła zmiana zdania, jest równe 75%, teoria von Neumanna mówi, że randka z Bobem jest dla Alice warta 75 utili. Każdy kolejny punkt procentowy dodany do prawdopodobieństwa indyferencji (prawdopodobieństwa równych preferencji dla obu oferowanych wariantów) odpowiada jednemu dodatkowemu utilowi.

Gdy niektórzy ludzie wykorzystują tę metodę, szacując sumę pieniędzy, zawsze przydzielają taką samą liczbę utili każdemu dodatkowemu dolarowi. Mówimy, że ludzie ci są neutralni względem ryzyka (ang. risk neutral). O tych, którzy przydzielają mniej utili każdemu kolejnemu dolarowi, mówimy, że mają awersję wobec ryzyka (ang. risk averse).

Ubezpieczenie

Alice rozważa zaakceptowanie oferty Boba w sprawie ubezpieczenia od ognia jej rezydencji w Beverly Hills. Jeżeli odmówi, to tak jakby zagrała w loterii, w wyniku której może posiadać dom i składkę ubezpieczeniową w przypadku, gdy dom nie ulegnie spaleniu, oraz tylko ubezpieczenie w przypadku pożaru. Należy to porównać z wynikiem końcowym, pewnym, jeżeli zaakceptuje ofertę Boba – wartość domu minus składka.

Jeżeli złożenie przez Boba oferty oraz akceptacja jej przez Alice są racjonalne, oznacza to, że on musi myśleć, że loteria jest lepsza niż zerwanie, nawet pewne, a ona musi mieć przeciwne preferencje. Istnienie branży ubezpieczeniowej potwierdza nie tylko fakt, że gra może być racjonalna – zakładając, że ryzyko, które podejmujemy, jest obliczone – ale także, że racjonalni ludzie mogą mieć różny stosunek do ryzyka. W branży ubezpieczeniowej ubezpieczyciele są bliscy neutralności wobec ryzyka, a ubezpieczający się mają awersję wobec ryzyka różnej wielkości.

Zauważmy, że ekonomiści uważają stopień awersji wobec ryzyka, jaki prezentuje dana osoba, za kwestię indywidualnych preferencji. Alice może tak samo przedkładać (lub nie) lody czekoladowe nad waniliowe, jak i chcieć (lub nie) przeznaczyć 1000 dolarów na ubezpieczenie swojego domu. Niektórzy filozofowie – w tym sławny John Rawls – utrzymują, że posiadanie awersji wobec ryzyka jest postawą racjonalną, niezależnie od maksymalizacji przeciętnej użyteczności, jaką preferują. Jednakże takie twierdzenie pomija fakt, że nastawienie graczy do podejmowania ryzyka zostało już uwzględnione przy użyciu metody von Neumanna do przydzielania wielkości użyteczności każdemu wynikowi.

Ekonomiści popełniają inny błąd, przypisując awersję wobec ryzyka niechęci do podejmowania aktu gry. Teoria von Neumanna ma sens jedynie wówczas, gdy gracze są całkowicie neutralni wobec aktualnego aktu gry. Podobnie jak prezbiteriański pastor ubezpieczający swój dom, nie grają, ponieważ lubią hazard – grają tylko wówczas, gdy sądzą, że los będzie im sprzyjał.

3. Wypłaty liczbowe

Życie nie jest grą o sumie wypłat zero

Tak jak przy pomiarze temperatury, punkt zero oraz jednostkę na skali użyteczności Alice możemy wybrać w dowolny sposób. Możemy, na przykład, przydzielić 32 utile najgorszemu wynikowi, a 212 utili – najlepszemu. Liczbę utili odpowiadającą randce z Bobem można znaleźć w tej nowej skali podobnie jak podczas przeliczania stopni Celsjusza na stopnie Fahrenheita. Tak więc randka z Bobem warta 75 utili według starej skali odpowiada 167 utilom w nowej skali.

W grach szkolnych, które do tej pory rozważaliśmy, jedynymi wynikami Alice i Boba, które można wycenić, są WYGRANA i PRZEGRANA. Możemy przydzielać tym dwóm wynikom dowolną liczbę utili tak długo, jak długo wygranej przydzielimy więcej niż przegranej. Jeżeli przydzielimy +1 utila wygranej, a -1 utila przegranej, otrzymamy wyniki takie jak w tabelach na ilustracji 3.

Wypłaty w każdej komórce tabeli gry orzeł-czy-reszka na ilustracji 3 zawsze sumują się do zera. Zawsze możemy uzyskać taki wynik w grach czysto konfliktowych. Są one nazywane grami o sumie zerowej (o sumie wypłat równej zero). Kiedy różni guru mówią nam, że życie nie jest grą o sumie zerowej, nie mówią niczego o całkowitej sumie szczęścia na świecie. Przypominają tylko, że gry, które rozgrywamy w prawdziwym życiu, rzadko są grami czysto konfliktowymi.

4. Gry z mieszanymi motywacjami

Równowaga Nasha

Stary film Buntownik bez powodu (Rebel without a Cause) wciąż bywa wyświetlany ze względu na gwiazdorską rolę niezapomnianego Jamesa Deana grającego seksownego nastoletniego buntownika. Gra w tchórza (ang. game of chicken) powstała, by upamiętnić scenę, w której Dean oraz drugi chłopak jadą samochodami w stronę przepaści na końcu klifu, aby sprawdzić, który z nich stchórzy jako pierwszy. Bertrand Russell wykorzystał ten epizod jako znaną metaforę zimnej wojny.

5. James Dean

Wolę ilustrować grę w tchórza za pomocą bardziej banalnej opowieści, w której Alice i Bob są dwójką kierowców w średnim wieku spotykających się na ulicy zbyt wąskiej, by oboje mogli bezpiecznie przejechać, jeżeli jedno z nich nie zwolni. Strategie przedstawione na ilustracji 4 to zatem wolno i szybko.

Nowa opowieść marginalizuje element współzawodnictwa z oryginalnej historii. W takiej odsłonie gra w tchórza różni się od gier o sumie zerowej, takich jak orzeł-czy-reszka, ponieważ gracze mają wspólny interes: obaj chcą uniknąć nieszczęścia.

Stereotypy utrwalone w grze wojna płci pochodzą z okresu poprzedzającego narodziny ruchów emancypacyjnych kobiet. Alice i Bob są świeżo poślubioną parą spędzającą miesiąc miodowy w Nowym Jorku. Przy śniadaniu dyskutują, czy wybrać się wieczorem na mecz bokserski, czy też na balet. Nie mogą podjąć decyzji. Później rozdziela ich tłum i muszą zdecydować indywidualnie, dokąd wybiorą się wieczorem.

Opowieść towarzysząca grze wojna płci podkreśla kooperacyjne cechy problemu, ale także element konfliktu, który był nieobecny w grze samochodowej. Każdy gracz preferuje współpracę, ale z innym wynikiem. Alice woli balet, a Bob – mecz bokserski.

John Nash

Każdy usłyszał o Johnie Nashu, gdy jego życie zostało przedstawione w filmie Piękny umysł (A Beautiful Mind). Tak jak pokazuje to film, sukcesy i niepowodzenia Nasha są poza możliwościami doświadczenia większości ludzi. Był jeszcze studentem, gdy stworzył nowoczesną teorię racjonalnych negocjacji. W jego pracy dyplomowej sformułowana została koncepcja równowagi Nasha, która jest dziś uważana za kamień węgielny teorii gier. W kolejnych latach rozwiązywał poważne problemy czystej matematyki, stosując tak oryginalne metody, że zyskał reputację geniusza matematycznego najwyższej klasy. Padł jednak ofiarą schizofrenii, która zniszczyła jego karierę i sprawiła, że opuszczony spędził ponad 40 lat w kampusie Princeton, stając się obiektem kpin. Jego powrót do zdrowia w czasie, gdy przyznano mu Nagrodę Nobla w 1994 r., z perspektywy czasu wydaje się cudem. Jak komentuje Nash, bez swojego „szaleństwa” byłby prawdopodobnie jednym w wielu anonimowych ludzi, którzy żyli i umarli na tej planecie, nie pozostawiając żadnego śladu swojego istnienia.

6. John Nash

Jednak nie trzeba być nieobliczalnym geniuszem, aby zrozumieć ideę równowagi Nasha. Widzieliśmy, że wybieranie wypłat w grze jest tożsame z próbą maksymalizacji przeciętnych wartości wypłat przez racjonalnych graczy. Będzie to łatwe, jeżeli gracze będą wiedzieć, jakie strategie mają zamiar wybrać ich oponenci. Na przykład, gdyby Alice wiedziała, że Bob ma zamiar wybrać balet w wojnie płci, zmaksymalizowałaby swój zysk, również wybierając balet. Można powiedzieć, że balet jest najlepszą odpowiedzią Alice na wybór baletu przez Boba. Na ilustracji 4 fakt ten zaznaczono wzięciem w kółko wypłaty dla Alice w komórce tabeli odpowiadającej wyborowi przez obu graczy opcji balet.

Równowaga Nasha to właśnie taka para strategii, których jednoczesne zastosowanie daje wynik z tej komórki tabeli, w której oba wyniki są wzięte w kółko. Inaczej mówiąc, równowaga Nasha występuje, gdy wszyscy gracze równocześnie wybierają najlepszą odpowiedź na strategie wybierane przez innych.

Zatem zarówno para strategii (boks, boks), jak i (balet, balet) tworzy równowagę Nasha w grze wojna płci. Podobnie strategie (wolno, szybko) oraz (szybko, wolno) są równowagami Nasha w grze w tchórza.

Dlaczego warto dbać o równowagę Nasha? Są po temu dwa główne powody. Po pierwsze, zakłada się, że idealnie racjonalni gracze będą mieć szansę rozwiązania problemu. Po drugie, zakłada się, że ludzie znajdują rozwiązania w jakimś ewolucyjnym procesie prób i błędów. Niemała część mocy predykcyjnej  teorii gier rodzi się z możliwości korzystania z obu tych alternatywnych interpretacji. Rzadko znamy szczegóły procesów ewolucyjnych, ale możemy czasami przewidzieć, dokąd mogą prowadzić, zadając pytania, co zrobiliby racjonalni gracze w danej sytuacji.

Racjonalna interpretacja

Załóżmy, że ktoś, nawet mądrzejszy od Nasha lub von Neumanna, napisał książkę, w której podaje listę wszystkich możliwych gier, autorytatywnie instruując, jak każda z nich powinna być rozgrywana przez racjonalnych graczy. Tak świetna książka o teorii gier będzie oczywiście wskazywała równowagę Nasha jako rozwiązanie każdej gry. W innym przypadku racjonalne byłoby, aby przynajmniej jeden z graczy odstąpił od instrukcji, która w wyniku tego przestanie być autorytatywna.

Załóżmy, na przykład, że książka rekomenduje nastoletnim chłopakom grającym w tchórza wybranie strategii wolno, jak życzyłyby sobie ich matki. Jeżeli książka byłaby autorytatywna, każdy z graczy wiedziałby, że drugi ma zamiar grać strategią wolno. Ale racjonalny gracz w tchórza, który wie, że jego oponent ma zamiar wybrać wolno, wybierze oczywiście szybko, obalając tym samym roszczenia książki do bycia autorytatywną.

Zauważmy, że uzasadnianie w obronie równowagi Nasha ma charakter cyrkulacyjny. Dlaczego Alice gra w ten sposób? Ponieważ Bob gra w tamten sposób. Dlaczego Bob gra w tamten sposób? Ponieważ Alice gra w ten sposób.

Ci, których nie zadowalają takie cyrkulacyjne argumenty, mogą skorzystać z różnych łacińskich sentencji. Kiedy po raz pierwszy zarzucono mi błąd circulus in probando3, gdy mówiłem o równowadze, musiałem to rozważyć. Okazało się, że szczęśliwie nie zostałem oskarżony o bardziej dyskredytujące petitio principii4. Ale wszystkie argumenty muszą w sposób oczywisty być cyrkulacyjne lub zredukować się do nieskończonej regresji, jeżeli ktoś nigdy nie ustaje w zadawaniu pytania dlaczego. Definicje słownikowe są najbardziej znanym tego przykładem.

W grach możemy bez końca kontemplować nieskończoną regresję, która rozpoczyna się następująco:

Alice myśli, że Bob myśli, że Alice myśli, że Bob myśli…

albo ratować się cyrkularnością wbudowaną w ideę równowagi Nasha. Każdy inny profil strategiczny może zostać potencjalnie zdestabilizowany, gdy gracze zaczną myśleć, o czym myślą inni gracze. Inaczej mówiąc, jeżeli oczekiwania graczy co do planów innych graczy są zgodne, oznacza to, że gracze są w równowadze.

Interpretacja ewolucyjna

Racjonalna interpretacja równowagi Nasha miała tak silny wpływ na pierwszych zwolenników teorii gier, że interpretacja ewolucyjna była prawie całkowicie lekceważona. Wydawcy czasopisma, w którym Nash opublikował swój artykuł o równowadze, prawie odrzucili jego uwagi w tej kwestii jako nieinteresujące! Ale teoria gier nigdy nie mogłaby przewidywać zachowania zwykłych ludzi, gdyby interpretacja ewolucyjna nie była istotna. Na przykład znany matematyk Émile Borel myślał o teorii gier jeszcze przed von Neumannem, ale doszedł do wniosku, że twierdzenie minimaksowe jest prawdopodobnie błędne. Zatem jakie szanse może mieć reszta z nas, kiedy nawet ktoś tak mądry jak Borel nie mógł uzasadnić swojego rozwiązania dla najprostszej klasy gier!

Istnieje wiele możliwych ewolucyjnych interpretacji równowagi Nasha różniących się procesem dostosowawczym, za pomocą którego gracze mogą znaleźć swoją drogę do równowagi. W prostszych procesach dostosowawczych wypłaty w grze identyfikuje się z tym, jak bardzo odpowiadają one graczom. Procesy, które faworyzują lepiej dopasowane strategie kosztem ich mniej dopasowanych krewnych, mogą przestać działać, gdy zbliżamy się do osiągnięcia równowagi Nasha, ponieważ tylko wtedy wszystkie niewyeliminowane strategie będą tak dopasowane, jak to tylko możliwe w danych okolicznościach. Zatem gracze nie muszą być świetnymi matematykami, aby odnaleźć równowagę Nasha. Zwykle całkiem dobrze przewiduje ona zachowania zwierząt. Ewolucyjna istotność równowag Nasha nie ogranicza się do biologii. Odgrywa rolę predykcyjną zawsze wtedy, kiedy proces dostosowawczy eliminuje strategie, które generują niskie wypłaty.

Na przykład maklerzy, którzy są mniej sprawni od swoich konkurentów, ponoszą porażkę. Praktyczne reguły, które stosują, podlegają tego samego typu ewolucyjnej presji jak geny ryb czy owadów. Zatem sensowne jest, aby przyglądać się równowadze Nasha w grach rozgrywanych przez maklerów, nawet jeżeli wszyscy wiemy, że niektórzy z nich nie będą w stanie odnaleźć się w pobliżu akwarium ze złotą rybką, nie mówiąc już o książce na temat teorii gier.

Dylemat więźnia

Najbardziej znaną grą szkolną jest dylemat więźnia. W tradycyjnej opowieści wykorzystywanej jako tło gry Alice i Bob są gangsterami w Chicago w latach 20. XX w. Prokurator okręgowy wie, że dopuścili się poważnego przestępstwa, ale nie może im tego udowodnić, jeżeli jedno z nich się nie przyzna. Zarządza ich aresztowanie i każdemu z nich oddzielnie proponuje następujący układ:

Jeżeli przyznasz się, a współsprawca się nie przyzna, to wyjdziesz na wolność. Jeżeli ty się nie przyznasz, ale przyzna się współsprawca, wówczas zostaniesz oskarżony i skazany na maksymalnie długie uwięzienie. Jeżeli oboje się przyznacie, wówczas oboje zostaniecie oskarżeni, ale nie zostanie nałożony maksymalny wymiar kary. Jeżeli żadne z was się nie przyzna, postawiony będzie wam zarzut uchylania się od płacenia podatków, za co na pewno zostaniecie ukarani.

Opowieść staje się bardziej wzruszająca, jeżeli Alice i Bob umówili się, że będą trzymać język za zębami, jeżeli znajdą się w takiej sytuacji. Dotrzymanie obietnicy odpowiada kooperacji, a przyznanie się zdradzie, jak w tablicy z lewej strony na ilustracji 7. Wypłaty w tablicy odpowiadają przypuszczalnej liczbie lat w więzieniu (przy założeniu, że jeden util zawsze odpowiada jednemu dodatkowemu rokowi na wolności).

7. Dwie wersje dylematu więźnia

Mniej barokowa opowieść zakłada, że zarówno Alice, jak i Bob mają dostęp do dużych pieniędzy. Oboje mogą niezależnie dać rywalowi 2 dolary z tej puli albo włożyć 1 dolara do własnej kieszeni. Tabela wypłat z prawej strony na ilustracji 7 została przygotowana przy założeniu, że Alice i Bob dbają tylko o pieniądze – utile są tożsame z dolarami. W tym przypadku altruistycznej strategii podarowania oponentowi 2 dolarów nadano etykietę gołąb, a samolubnej strategii wzięcia sobie 1 dolara – etykietę jastrząb.

Ujęcie w kółko najlepszych odpowiedzi ujawnia, że jedyna strategia prowadząca do równowagi Nasha w wersji daj-lub-bierz dylematu więźnia to, zarówno dla Alice, jak i Boba: bierz, pomimo iż każde z nich mogłoby dostać więcej, gdyby oboje wybrali daj. Wersja gangsterska jest strategicznie identyczna. Jeśli ma zaistnieć równowaga Nasha każde z nich zdradzi – skończy się na tym, że oboje spędzą długi czas w więzieniu, pomimo iż mogliby dostać lżejsze wyroki, gdyby współpracowali.

Paradoks racjonalności?

Cała generacja uczonych przyjęła pogląd, że dylemat więźnia symbolizuje istotę problemu kooperacji wśród ludzi. Postawili sobie zatem beznadziejny cel: uzasadnić, dlaczego rozwiązanie tego przypuszczalnego „paradoksu racjonalności” za pomocą teorii gier jest błędne (patrz: Błędne przekonania w dylemacie więźnia, rozdział 10). Ale teoretycy gier sądzą, że oczywistym błędem jest uważać, iż dylemat więźnia ujmuje to, co dotyczy współpracy między ludźmi. Przeciwnie, kreuje on sytuację, kiedy wszystko sprzysięga się, by uniemożliwić kooperację.

Jeżeli wspaniała gra życia rozgrywana przez istoty ludzkie byłaby adekwatnie modelowana przez dylemat więźnia, nigdy nie rozwinęlibyśmy się jako zwierzęta społeczne! Nie widzimy zatem potrzeby rozwiązywania wymyślonego paradoksu racjonalności, tak jak i wyjaśniania, dlaczego ludzie toną, kiedy zostaną wrzuceni do jeziora Michigan ze stopami zatopionymi w betonie. Nie istnieje żaden paradoks racjonalności. Racjonalni gracze nie kooperują w dylemacie więźnia, ponieważ nie są spełnione warunki konieczne dla racjonalnej kooperacji.

Szczęśliwie faza paradoksu racjonalności w historii teorii gier jest już za nami. O tyle, o ile się je pamięta, wiele błędnych teorii, które zostały wymyślone w ramach beznadziejnych prób pokazania, że w dylemacie więźnia kooperacja jest racjonalna, jest obecnie przedstawianych jako zabawne przykłady tego, co psychologowie nazywają magicznym rozumowaniem, w którym logika jest tak zniekształcona, aby można było dojść do oczekiwanego wniosku. Moim ulubionym przykładem takiej teorii jest twierdzenie Immanuela Kanta, że racjonalność wymaga przestrzegania jego imperatywu kategorycznego5. W dylemacie więźnia obaj racjonalni gracze wybraliby zatem daj, ponieważ jest to strategia, która będzie najlepsza, jeżeli wszyscy ją wybiorą.

Dominacja

Przekonanie, że oczywiście irracjonalnym jest robić rzeczy, które będą złe, jeżeli każdy będzie je robił, jest powszechne. Prawdopodobnie twoja mama lubiła ten argument tak bardzo jak moja. W związku z tym warto powtórzyć zaprzeczenie dotyczące dylematu więźnia.

Aby nie przesądzać sprawy, pytamy na początek, skąd biorą się wypłaty, które reprezentują preferencje graczy w dylemacie więźnia. Teoria odkrywania preferencji podpowiada, aby odpowiedzi szukać, obserwując wybory, jakich dokonują (lub będą dokonywać) Alice i Bob, gdy rozwiązują jednoosobowe problemy decyzyjne.

Zapisanie wyższej wypłaty dla Alice w lewej dolnej komórce tabeli wypłat dla dylematu więźnia niż w lewej górnej oznacza, że Alice, rozwiązując jednoosobowy problem decyzyjny, wybrałaby bierz, gdyby wiedziała wcześniej, że Bob wybrał daj. Podobnie zapisanie wyższej wypłaty w prawej dolnej komórce oznacza, że Alice wybrałaby bierz, mając jednoosobowy problem decyzyjny i wiedząc wcześniej, że Bob wybrał bierz.

Definicja gry wskazuje zatem, że bierz jest najlepszą odpowiedzią Alice, gdy wie, że wybór Boba to daj, a także gdy wie, że jego wybór to bierz. Nie musi więc wiedzieć niczego na temat aktualnego wyboru Boba, aby wiedzieć, jaka strategia jest jej najlepszą odpowiedzią. Dla niej racjonalnym wyborem jest granie bierz bez względu na strategię, którą zamierza zastosować on. W tych niezwyczajnych okolicznościach mówimy, że bierz dominuje alternatywne strategie Alice.

Obiekcje?

W stosunku do przeprowadzonej wcześniej analizy zwykle formułowane są dwa zarzuty. Po pierwsze, zaprzecza się, że Alice wybierze zdradę w gangsterskiej wersji dylematu więźnia, jeżeli wie, że Bob wybrał kooperację. Sugeruje się różne powody, które zależą od tego, czemu kto daje wiarę odnośnie do warunków życia w Chicago w czasach Ala Capone, ale takie zarzuty nie trafiają w sedno. Jeżeli Alice nie zdradzi, wiedząc, że Bob wybrał kooperację, to nie będzie grała w dylemacie więźnia. I w tym przypadku, i w innych nie należy zbyt poważnie podchodzić do opowieści wykorzystywanych jako tło gry. To tablice wypłat z ilustracji 7 definiują dylemat więźnia – nie zaś głupie opowiastki, które im towarzyszą.

Drugi zarzut zawsze wprawia mnie w zakłopotanie. Mówi się, że odwoływanie się do teorii ujawniania preferencji redukuje stwierdzenie, że w dylemacie więźnia racjonalnym jest zdradzić, do tautologii. Ponieważ tautologie nie mają faktycznej treści, stwierdzenie może być zignorowane! Ale kto powiedziałby to samo o tym, że dwa plus dwa równa się cztery?

Eksperymenty

Alternatywną odpowiedzią jest argumentowanie, że nie ma znaczenia, co jest racjonalne w dylemacie więźnia, ponieważ eksperymenty laboratoryjne pokazują, że prawdziwi ludzie grają daj. Wypłaty w tych eksperymentach zwykle nie są określone za pomocą teorii ujawnionych preferencji. Prawie zawsze są to po prostu pieniądze, ale rezultaty tych eksperymentów mogą być bardzo pouczające.

Podmioty niedoświadczone rzeczywiście kooperują przeciętnie przez trochę więcej niż połowę czasu, ale wyniki w grach takich jak dylemat więźnia pokazują niezbicie, że częstość zdrad zwiększa się wraz ze wzrostem doświadczenia podmiotów. Tylko około 10% podmiotów wciąż kooperuje po dziesięciu i więcej próbach.

Wskazuje się na wyniki symulacji komputerowych, które rzekomo pokazują, że ewolucja może ewentualnie generować kooperację w dylemacie więźnia, ale taka argumentacja zwykle wiąże się z myleniem dylematu więźnia z jego kuzynką – grą polegającą na powtarzaniu dylematu więźnia bez końca, w której kooperacja rzeczywiście stanowi równowagę Nasha (patrz: Wet za wet, rozdział 5).

1 Dr Strangelove lub jak przestałem się martwić i pokochałem bombę, 1964, reż. Stanley Kubrick [przyp. tłum.].

2 Uwaga – teorie psychologiczne mocno ingerują obecnie w teorię ekonomii, a nawet finansów. Powstały nurty ekonomii behawioralnej czy finansów behawioralnych, inspirowane teorią perspektywy Kahnemana i Tversky’ego (D. Kahneman, A. Tversky, Prospect Theory: An Analysis of Decision under Risk, „Econometrica” 1979, Vol. 47 [2], s. 263–291) oraz dalszymi [przyp. tłum.].

3 Łac. błędne koło w argumentacji.

4 Łac. dosłownie: żądanie zasady. Logiczny błąd w dowodzie, wynikający z przyjęcia w nim za przesłankę zdania bezpodstawnie uznanego za prawdziwe.

5 Imperatyw kategoryczny, czyli nakaz bezwarunkowy: „Postępuj wedle takiej tylko zasady, co do której mógłbyś jednocześnie chcieć, aby stała się prawem powszechnym” – W. Tatarkiewicz, Historia filozofii, t. II, PWN, Warszawa 1958, s. 245) [przyp. tłum.].

Rozdział 2

Los

Analiza, jakiej dokonał Conan Doyle w swojej wersji gry orzeł-czy-reszka w opowiadaniu Ostatnia zagadka (Final Problem), nie czyni wiarygodnym domniemanego mistrzostwa intelektualnego jego bohatera. Edgar Allan Poe robi to lepiej w noweli Skradziony list (Purloined Letter), w której złoczyńca kradnie list i problem polega na odkryciu, gdzie go szukać.

Poe argumentuje, że drogą do sukcesu jest uczynienie łańcucha rozumowania w postaci „On myśli, że ja myślę, że on myśli, że ja myślę…” o jedno ogniwo dłuższym, niż zrobił to przeciwnik. W celu obrony takiego stanowiska wymyśla chłopca, który ciągle wygrywa w orła-czy-reszkę, naśladując wyraz twarzy przeciwnika, a tym samym jakby poznając, o czym myśli przeciwnik. Trzeba przyznać, że zadziwiające jest, jak wielu grających w pokera nie jest w stanie kontrolować języka swojego ciała. Alice i Bob nie mogą oboje stosować triku Poego z sukcesem, nawet jeśli żadne z nich nie nauczyło się, jak utrzymywać pokerową twarz.

Teoria gier ucieka od pozornie nieskończonej regresji, z którą mają do czynienia Alice i Bob, poprzez odwołanie się do idei równowagi Nasha. Ciągle jednak mamy problem, ponieważ trik cyrkulacji najlepszych odpowiedzi nie działa w grze orzeł-czy-reszka. Po cyrkulacji wszystkich wypłat na ilustracji 3, będących najlepszymi odpowiedziami, kończymy dwiema równowagami Nasha w grze samochodowej i żadną w orzeł-czy-reszka.

Ten fakt może wydawać się zagadkowy tym, którzy pamiętają, że John Nash otrzymał Nagrodę Nobla częściowo za udowodnienie, że wszystkie skończone gry mają co najmniej jedną równowagę. Rozwiązanie tej zagadki polega na tym, że musimy uwzględnić coś więcej niż tylko strategie czyste, które do tej pory rozważaliśmy, i wziąć pod uwagę także strategie mieszane.

Czy randomizacja ma sens?

Strategia mieszana wymaga, aby gracze zrandomizowali swoje wybory strategii czystych. Naturalnym odruchem jest sprzeciw i argumentacja, że tylko szaleńcy podejmują ważne decyzje w sposób losowy. Tymczasem nieświadomie cały czas stosujemy strategie mieszane.

Mój ulubiony przykład narodził się, gdy doradzałem firmie organizującej wczasy w kwestii przepisów. Teoria gier przewiduje, że taka firma będzie stosować strategię mieszaną w grze cenowej, którą musi rozgrywać, gdy popyt na wczasy jest nieoczekiwanie niski. Jednak gdy zapytałem członka zarządu, czy jego firma aktywnie randomizowała swoje ceny w ciągu ostatniego roku, zareagował oburzeniem na tak dziwną sugestię. Zatem dlaczego oferowali podobne wczasy w tak różnych cenach? W odpowiedzi pouczył mnie: „Trzeba dać konkurencji do myślenia”.

To stwierdzenie pokazuje, że doskonale rozumiał, dlaczego teoria gier rekomenduje czasem użycie strategii mieszanych. To, z czym nie chciał się pogodzić, to fakt, że metoda ustalania cen przez firmę w swojej istocie była narzędziem randomizacji. Nikt nie losował żadnych kart. Nikt nie rzucał kośćmi. Jednakże, patrząc z punktu widzenia konkurencji chcącej przewidzieć, ile firma policzy klientowi za dwa tygodnie na Bahamach, równie dobrze mogli tak zrobić.

Mieszana równowaga Nasha

Stosowanie strategii mieszanych nie jest niczym dziwnym w grze orzeł-czy-reszka, w której chodzi o to, aby utrzymywać przeciwnika w niepewności. Każde dziecko wie, że rozwiązanie polega na losowym wyborze pomiędzy orłem a reszką. Jeżeli obaj gracze stosują strategię mieszaną, efektem jest równowaga Nasha. Każdy z graczy wygrywa połowę razy i jest to najlepszy wynik, jaki może osiągnąć.

8. Toczące się kości

Podobnie równowagą Nasha w grze samochodowej jest wybór przez obu graczy w lewo albo w prawo z równym prawdopodobieństwem. W grze tej można uzyskać równowagę Nasha w trzech przypadkach, dwóch przy stosowaniu strategii czystych i jednym przy strategiach mieszanych. Odnosi się to również do gier w tchórza i wojna płci. Mieszana równowaga Nasha w wojnie płci wymaga od graczy czegoś więcej niż tylko stosowania strategii czystych z równym prawdopodobieństwem.

W wojnie płci Bob woli mecz bokserski dwa razy bardziej od baletu, więc Alice musi wybierać boks jedną drugą razy tak często jak balet, aby Bob otrzymał takie same wypłaty w przypadku wyboru obu swoich strategii czystych. Boba nie będzie wówczas obchodzić, którą strategią czystą zagra. Wszystkie jego strategie będą równie dobre, także strategia mieszana, która czyni balet w połowie tak prawdopodobnym jak boks. Jednakże użycie tej strategii mieszanej powoduje, że Alice jednakowo ocenia obie swoje strategie czyste. Wszystkie jej strategie stają się jednakowo dobre, także strategia mieszana, która czyni boks dwa razy bardziej prawdopodobnym od baletu. Takie zakończenie cyklu oznacza, że znaleźliśmy równowagę Nasha, w której Alice i Bob grają swoimi preferowanymi strategiami przez dwie trzecie czasu.

Jak uczynić innego gracza indyferentnym

Racjonalni gracze nigdy nie randomizują dwóch strategii czystych, chyba że nie preferują żadnej z nich. Jeżeli jedna ze strategii byłaby lepsza, gorszej nigdy by nie wybierali. Co mogłoby uczynić cię indyferentnym w stosunku do strategii? W wojnie płci przyczyna tkwi w przekonaniu, że przeciwnik ma zamiar zagrać strategią mieszaną, która wyrównuje twoją przeciętną wypłatę dla każdej strategii czystej. Ta cecha równowagi Nasha w strategiach mieszanych prowadzi czasami do wyników, które na pozór wydają się paradoksalne.

Gra dobry samarytanin jest rozgrywana przez całą populację identycznych graczy, którzy pragną, aby ktoś odpowiedział na wołanie o pomoc. Każdy gracz otrzymuje 10 utili, jeżeli ktoś udzieli pomocy, i nic, jeżeli nikt nie pomoże. Szkopuł polega na tym, że pomaganie jest uciążliwe, i w związku z tym gracze, którzy oferują pomoc, muszą odjąć jednego utila od swoich wypłat.

Gdy nikt inny nie planuje pomóc, najlepiej zrobisz, jeżeli sam zaoferujesz pomoc. Jeżeli wszyscy pozostali gracze mają zamiar pomóc, maksymalizujesz swoją wypłatę, nie robiąc niczego. Z tego względu jedyna możliwa równowaga Nasha, w której każdy niezależnie stosuje tę samą strategię, jest oczywiście mieszana. W takiej mieszanej równowadze Nasha musi być dokładnie jedna szansa na dziesięć, że nikt inny nie zaoferuje pomocy, ponieważ jest to częstość, która czyni cię obojętnym w obliczu wyboru pomiędzy udzieleniem pomocy a odmową.

Rzeczywiste prawdopodobieństwo, że pomoc zostanie zaoferowana, w równowadze Nasha jest trochę wyższe, ponieważ istnieje szansa, że zaoferujesz pomoc samemu sobie. Jednakże prawdopodobieństwo, że w równowadze dowolny pojedynczy gracz oferuje pomoc, maleje wraz ze wzrostem wielkości populacji, ponieważ prawdopodobieństwo, że nikt inny nie pomoże, jest stałe i wynosi jeden do dziesięciu. Im liczniejsza populacja, tym mniejsze szanse, że ktoś pomoże. W przypadku tylko dwóch graczy, każdy pomaga z prawdopodobieństwem dziewięć do dziesięciu i wołanie o pomoc jest ignorowane tylko jeden raz na sto. Przy milionie graczy każdy z nich oferuje pomoc z tak maleńkim prawdopodobieństwem, że nikt nie odpowiada na wołanie o pomoc w mniej więcej jednym przypadku na dziesięć.

Konsekwencje braku pomocy mrożą krew w żyłach, jak pokazuje znany przykład z Nowego Jorku. Kobieta została napadnięta po zmroku na ulicy i zamordowana. Wiele osób słyszało jej wołanie o pomoc, ale nikt nawet nie zadzwonił na policję. Czy powinniśmy zgodzić się z gazetami i uznać, że miejskie życie czyni nas wszystkich potworami? Pewnie tak jest, ale gra dobry samarytanin sugeruje, że nawet mieszkaniec małego miasteczka mógłby zachować się w taki sposób, jeżeli znalazłby się w takiej samej sytuacji.

Wybory mają podobny charakter. Aby podać ekstremalny przykład, załóżmy, że Alice i Bob są jedynymi kandydatami na urząd prezydencki. Powszechnie wiadomo, że Bob jest przypadkiem beznadziejnym; tylko w oczach swojej matki mógłby być dobrym prezydentem. Ona zagłosuje na pewno, ale dlaczego inni mieliby to zrobić? Tak jak w grze dobry samarytanin, tak i w tym przypadku zwiększanie liczby graczy pogarsza sytuację. W równowadze Nasha Bob zostanie wybrany z pewnym niepodlegającym redukcji prawdopodobieństwem, nawet gdyby liczba głosujących wyniosła milion.

Takie gry wyborcze to tylko zabawa. Prawdziwi ludzie rzadko myślą racjonalnie w przypadku głosowania lub rezygnacji z niego. Nawet jeżeli się zdecydują, mogą uważać, że pójście na wybory jest przyjemnością, a nie kłopotem. Niemniej jednak model pokazuje, że znawcy, którzy potępiają dużą grupę ludzi, którzy nie głosują w wyborach prezydenckich, uznając ich zachowanie za nieracjonalne, plotą głupstwa. Jeżeli chcemy, aby więcej ludzi głosowało, musimy zmienić system na bardziej zdecentralizowany, w którym każdy głos ma tak duży wpływ, aby to przeważyło nad niechęcią do głosowania, którą wielu ludzi w oczywisty sposób odczuwa. Jeżeli nie jesteśmy w stanie przekonać obywatela, że lubi głosować, i nie chcemy zmieniać naszego systemu politycznego, musimy pogodzić się z tym, że zostanie on w domu w czasie wyborów. Proste powtarzanie sloganu, że „każdy głos się liczy”, nigdy nie odniesie skutku, bo to nieprawda.

Dochodzenie do równowagi

Jak ludzie znajdują drogę do równowagi Nasha? Pytanie to jest szczególnie istotne w przypadku równowag mieszanych. Dlaczego Alice powinna korygować swoje postępowanie w taki sposób, aby uczynić Boba obojętnym w sprawie wyboru strategii?

Badania dotyczące sportu pokazują, że atleci zachowują się czasem w sposób bardzo bliski temu, co wynika z zasad teorii gier. Obrona rzutów karnych w grze w piłkę nożną jest jednym z przykładów takiej sytuacji. Gdzie zostanie kopnięta piłka? W którą stronę powinien się rzucić bramkarz? Podobne pytania można zadawać odnośnie do gry w tenisa. Czy powinienem smeczować czy lobować? Wydaje się nieprawdopodobne, aby trenerzy czytali książki z zakresu teorii gier, zatem jak osiągają właściwą częstość wyboru każdej z opcji? Przypuszczalnie metodą prób i błędów.

Nikt nie rozumie wszystkich zróżnicowanych czynników, dzięki którym prawdziwi ludzie uczą się nowych sposobów postępowania, ale mamy pewne zabawowe modele, które ukazują niektóre elementy tego, co musi się wydarzyć. Nawet tak naiwny model jak opisany poniżej działa zadziwiająco dobrze.

Alice i Bob są robotami, które wielokrotnie grają w tę samą grę. Alice jest zaprogramowana w taki sposób, że przy każdym powtórzeniu gra strategią, która jest najlepszą odpowiedzią na strategię mieszaną, w której częstość wyboru każdej ze strategii czystych Boba jest równa częstości ich wyboru w przeszłości. Bob ma taki sam program, zatem ani on, ani Alice nie są w pełni racjonalni, ponieważ gdyby byli mądrzej zaprogramowani, mogliby czasem zwiększyć swoje wypłaty. Teoretycy gier mówią, że są oni tylko ograniczenie racjonalni.

W miarę upływu czasu częstości, z którymi roboty wybierały swoje drugie strategie czyste, zmieniały się, jak pokazano na ilustracji 9 (która została uproszczona poprzez przejście z momentów dyskretnych czasu do czasu ciągłego). Na przykład, najlepszą odpowiedzią Alice w grze orzeł-czy-reszka jest orzeł zawsze, gdy bieżąca częstość, z którą Bob wybierał orła, przekracza jedną drugą. Zatem częstość wyboru orła przez Alice rośnie aż do momentu, gdy częstość wyboru orła przez Boba spada poniżej jednej drugiej, po czym zaczyna raptownie maleć.

9. Nauka gry w równowagę

Podążanie za strzałkami na ilustracji 9 zawsze prowadzi do równowagi Nasha. Bez względu na to, jak zaprogramowane zostaną roboty, ktoś zliczający, jak często wybierają każdą ze swoich strategii czystych, potencjalnie będzie miał kłopot z odróżnieniem jednego z naszych robotów o ograniczonej racjonalności od perfekcyjnie racjonalnego gracza.

W przypadku gry orzeł-czy-reszka, która jest bliższa grze w tenisa niż w piłkę nożną, częstości, z którymi wybierane są reszka lub orzeł, zawsze zbiegają do ich wartości równoważących równych jednej drugiej. W eksperymentach laboratoryjnych z ludźmi generalny schemat jest prawie taki sam, pomimo iż częstości nie zachowują się w tak regularny sposób i zaczynają dryfować, gdy zbliżają się do punktu równowagi mieszanej, ponieważ gracze nie mogą się zdecydować w kwestii wyboru możliwych strategii.

Sytuacja w grze w tchórza (chicken) jest bardziej skomplikowana. Każda równowaga w strategiach czystych ma obszar przyciągania. Jeżeli zaprogramujemy nasze roboty w taki sposób, że rozpoczną grę w obszarze przyciągania konkretnego punktu równowagi, to ostatecznie zakończą grę w tym punkcie. Obszar przyciągania dla punktu (wolno, szybko) znajduje się powyżej głównej przekątnej na ilustracji 9. Obszar przyciągania dla punktu (szybko, wolno) znajduje się poniżej głównej przekątnej. Obszarem przyciągania równowagi mieszanej jest sama przekątna.

Łatwo skonstruować gry, w których zachowanie robotów takich jak Alice i Bob będzie przebiegało nieskończenie w sposób cykliczny, nigdy nie doprowadzając do osiągnięcia równowagi, ale istoty ludzkie są zdolne do uczenia się w sposób bardziej zaawansowany niż Alice i Bob. W szczególności zwykle lubimy otrzymywać wiele opinii z różnych źródeł, ucząc się, jak się zachowywać w obliczu nowej gry.

Na przykład debiutujący maklerzy uczą się tajników swego zawodu od bardziej doświadczonych kolegów. Młodzi naukowcy studiują historię laureatów Nagrody Nobla w nadziei odnalezienia sekretu osiągnięcia przez nich sukcesu. Powieściopisarze żmudnie przerabiają fabuły najnowszych bestselerów. Kupujący wymieniają między sobą informacje na temat możliwości zrobienia najlepszych transakcji. Zabawowe modele tego rodzaju społecznych czy też naśladowczych procesów uczenia się zbiegają szybko i niezawodnie do równowagi Nasha, inaczej niż modele, w których jednostki uczą się metodą prób i błędów.

Ewolucyjna teoria gier stanowi studium takich dynamicznych modeli. Jej zastosowanie w biologii ewolucyjnej jest na tyle ważne, że poświęcono jej osobny rozdział (patrz: rozdział 8).

Twierdzenie minimaksowe

Kiedy młodziutki John Nash zjawił się w gabinecie von Neumanna, aby powiedzieć mu o swoim dowodzie na to, że jeżeli dopuścimy użycie strategii mieszanych, wszystkie skończone gry będą mieć co najmniej jedną równowagę, von Neumann okazał lekceważenie. Czemu nie przyjął wkładu Nasha z zadowoleniem?

Prawdą jest, że metoda Nasha zastosowana przy dowodzeniu tego twierdzenia nie była dla von Neumanna, który był jej pionierem, niczym nowym. Prawdą jest także, że zachowanie Nasha nie było prawdopodobnie zbyt taktowne – wiadomo, że mniej więcej w tym samym czasie wpadł do Alberta Einsteina, aby mu powiedzieć, co robić w zakresie fizyki. Ale von Neumann nie miał się czego obawiać ze strony zuchwałego młodego studenta, który z butami wchodził w jego dziedzinę. Myślę, że istniała ważniejsza przyczyna jego braku zainteresowania.

Von Neumanna nigdy specjalnie nie zajmowała ewolucyjna interpretacja teorii gier. Wierzył, że celem badania gry powinna być identyfikacja jednoznacznego racjonalnego rozwiązania. Idea równowagi Nasha nie odpowiadała tym oczekiwaniom, ponieważ większość gier posiada wiele równowag Nasha i często nie ma jasnej, racjonalnej przyczyny, by wybrać jedną równowagę, a nie inną. Jak zauważył później von Neumann, kryterium najlepszej odpowiedzi mówi jedynie, że pewien profil strategiczny nie może stanowić racjonalnego rozwiązania gry, a my chcemy wiedzieć, które profile strategiczne mogą być rozważane jako rozwiązania.

Minimaks i maksimin

Prawdopodobnie von Neumann ograniczył swoje zainteresowanie do gier dwuosobowych o sumie zerowej, ponieważ należą one do niewielu klas gier, w których jego ideał unikalnego racjonalnego rozwiązania może się zrealizować. Niefortunnie jego dowód dotyczący tej kwestii nazywa się twierdzeniem minimaksowym, ponieważ racjonalne rozwiązanie w grze dwuosobowej o sumie zerowej polega w rzeczywistości na zastosowaniu przez każdego z graczy zasady maksimin. Mówi ona, że należy wyznaczyć najgorszą wypłatę, jaką gracz może przeciętnie otrzymać w przypadku zastosowania wszystkich jego strategii mieszanych, a następnie dokonać wyboru strategii, która zmaksymalizuje jego wypłatę w przypadku, gdyby ten najgorszy scenariusz się zawsze realizował.

Na przykład najgorsze, co mogłoby się przydarzyć Alice w grze orzeł-czy-reszka, to odgadnięcie przez Boba jej wyboru strategii mieszanej. Jeżeli ta mieszana strategia wymaga od niej grania reszką przez więcej niż połowę czasu, to on mógłby grać orłem przez cały czas. Przegrywałaby wówczas przez ponad połowę czasu i jej wypłata byłaby ujemna. Jeżeli strategia mieszana Alice wymaga grania orłem przez więcej niż połowę czasu, to Bob będzie grał reszką przez cały czas. Alice będzie wówczas przegrywać przez ponad połowę czasu i w związku z tym jej wypłata także będzie ujemna. Strategia maksiminowa Alice to zatem granie reszką i orłem równie często, co gwarantuje, że jej wypłata będzie wynosić dokładnie zero.

Tylko paranoik mógłby uważać zasadę maksimin za atrakcyjną w ogólności, ponieważ zakłada ona, że wszechświat wyznaczył cię na swojego osobistego wroga. Jednakże jeżeli Alice gra z Bobem w grę o sumie zerowej, to on właśnie stanowi odnośny wszechświat, a wobec tego, w tym konkretnym przypadku, wszechświat jest rzeczywiście jej osobistym wrogiem.

Dlaczego maksimin?

Jak na ironię, twierdzenie minimaksowe von Neumanna wynika bezpośrednio z dowodu Nasha na to, że wszystkie skończone gry mają co najmniej jedną równowagę Nasha.

Aby to pokazać, rozpoczniemy od lokalizacji równowagi Nasha w dwuosobowej grze o sumie zerowej. Nazwijmy strategię równowagi Alice wiersz, a strategię równowagi Boba kolumna. Wypłaty w równowadze nazwiemy wartością dla Alice i wartością dla Boba. Na przykład w grze orzeł-czy-reszka zarówno wiersz, jak i kolumna są strategiami mieszanymi, w których reszki i orły są wybierane z równym prawdopodobieństwem; wartość dla Alice i wartość dla Boba to wypłaty równe zeru, które zwykle otrzymuje każdy gracz, jeżeli gra w ten sposób.

Alice nie może być pewna, że otrzyma więcej niż wartość dla Alice, ponieważ Bob może zawsze wybrać kolumnę, na którą najlepszą jej odpowiedzią jest wiersz. Z drugiej strony Alice może być pewna, że otrzyma co najmniej wartość dla Alice, grając wiersz, ponieważ najlepsze, co Bob może zrobić, to odpowiedzieć kolumną. Najlepsze, co Bob może zrobić dla siebie w grze o sumie zerowej, jest równocześnie tym, co może zrobić najgorszego dla Alice. Dlatego też wartość dla Alice jest wypłatą maksiminową, a wiersz stanowi jedną z jej strategii maksiminowych.

Z tego samego powodu wartość dla Boba jest jego wypłatą maksiminową, a kolumna jest jedną z jego strategii maksiminowych. Jeżeli wartość dla Alice i wartość dla Boba sumują się do zera, dotyczy to również ich wypłat maksiminowych. Żaden z graczy nie może zatem otrzymać więcej niż jego wypłata maksiminowa, jeżeli drugi nie dostanie mniej. Zatem grając w dwuosobową grę o sumie zerowej z racjonalnym przeciwnikiem, żaden z nich nie może otrzymać więcej, niż wynika to z zasady maksimin.

To twierdzenie von Neumanna zwane jest twierdzeniem minimaksowym, ponieważ stwierdzenie, że wypłaty maksiminowe Alice i Boba sumują się do zera, jest równoważne stwierdzeniu, że wypłata maksiminowa Alice równa się jej wypłacie minimaksowej. Nie wolno robić błędu, myśląc, że von Neumann w związku z powyższym rekomenduje stosowanie zasady minimaksu. Nikt nie wyliczałby najlepszej wypłaty, jaką może przeciętnie dostać z każdej ze swoich strategii mieszanych, by następnie wybrać strategię, która minimalizuje jego wypłatę, jeżeli zawsze realizuje się najlepszy scenariusz!

Poszukiwanie strategii maksiminowych

Z perspektywy czasu szkoda, że matematycy tak szybko zainteresowali się twierdzeniem minimaksowym. Studiowanie gier typu pościg-unik, w których pilot stara się umknąć przed pociskiem sterowanym za pomocą termolokacji, jest z pewnością interesującym ćwiczeniem w teorii sterowania, ale naturalnie wzmacnia ono uprzedzenia krytyków, którzy koncentrują się na idei, że teoretycy gier są szalonymi cyborgami. Również popularność teorii gier nie wzrośnie dzięki zawiłym dowodzeniom, że jeżeli chcemy zaprzeczyć aksjomatowi wyboru1, to twierdzenie minimaksowe może być prawdziwe jedynie w pewnych nieskończonych grach. Teoria gier mogłaby stać się popularniejsza we wczesnych latach swego rozwoju, gdyby entuzjaści nie spowodowali, że wydawała się tak trudna.

Gra kamień-papier-nożyczki

Każde dziecko zna tę grę. Alice i Bob równocześnie wykonują dłonią gest oznaczający jedną z trzech strategii czystych: kamień, nożyczki, papier. Wygrywający jest określony za pomocą reguł:

kamień tępi nożyczki

nożyczki tną papier

papier owija kamień.

Jeżeli obaj gracze wybiorą taki sam gest, wynikiem jest remis i obaj gracze traktują go jako równoważny z wygraną lub przegraną z jednakowym prawdopodobieństwem w taki sposób, że gra ma sumę wypłat równą zeru.

Oczywiste jest, że racjonalnym rozwiązaniem jest stosowanie przez każdego z graczy każdej z trzech strategii czystych równie często. Gwarantują sobie wówczas wypłatę maksiminową równą zeru. Najbardziej interesującym aspektem tej gry jest to, że aby zaobserwować proces ewolucyjny, który zbiega się do tego rozwiązania, trzeba się mocno napracować.

Na przykład dynamika najlepszej odpowiedzi na ilustracji 9 kończy się cyklami tak, że każda ze strategii jest na przemian periodycznie prawie eliminowana. Ktoś mógłby potraktować taki wynik jak kuriozum. Jednak jest faktem, że mieszanka populacyjna trzech odmian salamander w Ameryce Środkowej, która zachowuje się, jakby grała w grę kamień-nożyczki-papier, kończy ją w podobnym cyklu, tak że jedna z odmian zawsze wydaje się być na krawędzi zagłady.

Gra w karty O’Neilla

Barry O’Neill zastosował tę grę w pierwszym laboratoryjnym eksperymencie, który wsparł zasadę maksimin. Wyniki wcześniejszych eksperymentów nie były zachęcające. Znakomity psycholog William Estes okazał się szczególnie stanowczy, informując o swoich testach teorii von Neumanna: „Teoria gier nie będzie stanowić substytutu dla bazującej na doświadczeniu teorii behawioralnej, gdy chcemy przewidywać, co ludzie robią w sytuacjach zmuszających do rywalizacji”.

W eksperymencie, na którym bazował Estes, formułując swoje odrzucające teorię gier uwagi, brało udział jedynie dwóch badanych, opisanych jako doświadczeni w eksperymentach uczenia się ze wzmocnieniem, które Estes stosował do uzasadnienia (obecnie zdyskredytowanej) teorii „dopasowywania prawdopodobieństw” (ang. probability matching). Żaden z badanych nie wiedział, że uczestniczy w grze z inną osobą. Nawet gdyby gracze wiedzieli, że grają, teoria minimaksowa byłaby nieodpowiednia do trudnej sytuacji, w której się znaleźli, ponieważ nie powiedziano im, jakie są wypłaty w grze. Wobec tego gra odbywała się w warunkach niepełnej informacji – w takiej sytuacji teoria minimaksowa von Neumanna nie ma zastosowania.

Projektując eksperyment bez takich błędów, O’Neill chciał kontrolować możliwość, że badani mogą mieć różny stosunek do podejmowania ryzyka. Na przykład gra kamień-nożyczki-papier nie byłaby grą o sumie zerowej, jeżeli Alice i Bob nie myśleliby oboje, że remis jest równoważny z wygraną lub przegraną z jednakowym prawdopodobieństwem. O’Neill eksperymentował z grą, w której była możliwa tylko wygrana albo przegrana, ale której struktura była wystarczająca, aby uczynić wynik nieoczywistym.

Zarówno Alice, jak i Bob mają asa oraz figury w jednym kolorze z talii kart. Pokazują karty jednocześnie. Alice wygrywa, jeżeli oboje pokażą asa lub każde pokaże inną kartę. W przeciwnym wypadku wygrywa Bob.

Strategię maksiminową Alice wyznaczymy, zadając pytanie, która z jej mieszanych strategii czyni Boba obojętnym względem jego wszystkich strategii czystych. Odpowiedź jest taka, że Alice powinna grać każdą z figur jednakowo często, a asem dwukrotnie częściej. Bob powinien grać tak samo. Wynik jest taki, że Alice wygrywa dwie piąte razy, a Bob wygrywa trzy piąte razy.

Pojedynek

Gra pojedynek jest możliwie najbliższa realiom wojennym. Alice i Bob zmierzają w swoim kierunku uzbrojeni w pistolety załadowane dokładnie jedną kulą. Prawdopodobieństwo, że któreś z nich trafi drugie zwiększa się wraz ze zmniejszaniem się odległości między nimi. Wypłata każdego z graczy to prawdopodobieństwo przeżycia.

Jak blisko powinna podejść Alice do Boba, zanim wystrzeli? Jest to pytanie, które dosłownie dotyczy życia lub śmierci, ponieważ jeżeli strzeli i chybi, Bob będzie mógł posunąć się naprzód bardzo blisko, co będzie miało fatalny skutek dla Alice. Ponieważ ktoś umiera w każdym z możliwych wyników gry, wypłaty wobec tego zawsze sumują się do jedności.

Jeden wniosek jest oczywisty. Planowanie, aby strzelić szybciej od drugiego, nie może być równowagą Nasha dla jednego z graczy, ponieważ lepszą odpowiedzią dla gracza, który planuje strzelić jako pierwszy, jest poczekać chwilę dłużej. Ale jak blisko siebie będą, kiedy jednocześnie otworzą ogień?

Teoria minimaksowa daje odpowiedź natychmiast. Pojedynek jest grą o sumie jeden, a nie zero, ale twierdzenie minimaksowe ciągle działa (zakładając, że wypłaty wciąż sumują się do jedności, kiedy gracze strzelają jednocześnie). Jedyną różnicą jest to, że wypłaty minimaksowe graczy teraz sumują się do jedności zamiast do zera. Wobec tego, jeżeli Alice jest zawsze dwukrotnie bardziej skuteczna w trafieniu Boba niż on w trafieniu jej, oboje strzelą z takiej odległości, że Alice trafi Boba dwie trzecie razy, a Bob trafi Alice jedną trzecią razy.

1 Aksjomat teorii mnogości, sformułowany w 1904 r. przez niemieckiego matematyka E. Zermela [przyp. tłum.].