THE: Cournotův model oligopolu Existence Nashova ekvilibria

Podobné dokumenty
Úvod do teorie her

Teorie her a ekonomické rozhodování. 9. Modely nedokonalých trhů

HRA V NORMA LNI M TVARU

THE: Smíšené Nashovo ekvilibrium ve strategických hrách (Mixed Nash Equilibria in Normal-Form Games)

MODELY OLIGOPOLU COURNOTŮV MODEL, STACKELBERGŮV MODEL

KOOPERATIVNI HRY DVOU HRA CˇU

3. ANTAGONISTICKÉ HRY

Modely oligopolu. I. Dokonalý trh II. Nedokonalý trh 1. Modely oligopolu. Dokonalý trh. Nedokonalý trh

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

METRICKÉ A NORMOVANÉ PROSTORY

ANTAGONISTICKE HRY 172

Funkce a základní pojmy popisující jejich chování

TGH13 - Teorie her I.

Doprovodné texty ke kurzu Teorie her

Úvod do teorie her. 6. Koaliční hry

Mezi firmami v oligopolu dochází ke strategickým interakcím. Při zkoumání strategických interakcí používáme teorii her.

5. Lokální, vázané a globální extrémy

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

1 Báze a dimenze vektorového prostoru 1

Teorie her a ekonomické rozhodování. 2. Maticové hry

Projekty - Úvod do funkcionální analýzy

Úvod do teorie her

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

5.7 Kooperativní hry Kooperativní hra 2 hráčů Kooperativní hra N hráčů 5.8 Modely oligopolu 5.9 Teorie redistribučních systémů 5.

9. přednáška 26. listopadu f(a)h < 0 a pro h (0, δ) máme f(a 1 + h, a 2,..., a m ) f(a) > 1 2 x 1

1 Topologie roviny a prostoru

1 Množiny, výroky a číselné obory

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

8.3). S ohledem na jednoduchost a názornost je výhodné seznámit se s touto Základní pojmy a vztahy. Definice

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Fakt. Každou soustavu n lineárních ODR řádů n i lze eliminací převést ekvivalentně na jednu lineární ODR

Funkce jedné proměnné

FREDHOLMOVA ALTERNATIVA

Drsná matematika III 1. přednáška Funkce více proměnných: křivky, směrové derivace, diferenciál

Matematika 5 FSV UK, ZS Miroslav Zelený

PŘEDNÁŠKA 2 POSLOUPNOSTI

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2014

PROSTORY SE SKALÁRNÍM SOUČINEM. Definice Nechť L je lineární vektorový prostor nad R. Zobrazení L L R splňující vlastnosti

Vlastní (charakteristická) čísla a vlastní (charakteristické) Pro zadanou čtvercovou matici A budeme řešit maticovou

Drsná matematika III 3. přednáška Funkce více proměnných: Inverzní a implicitně definovaná zobrazení, vázané extrémy

Modely Herbrandovské interpretace

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

PRIMITIVNÍ FUNKCE. Primitivní funkce primitivní funkce. geometrický popis integrály 1 integrály 2 spojité funkce konstrukce prim.

Lineární algebra : Lineární prostor

Množiny, relace, zobrazení

Bakalářská matematika I

Otázku, kterými body prochází větev implicitní funkce řeší následující věta.

1 Linearní prostory nad komplexními čísly

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

Matematická analýza pro informatiky I.

I. Diferenciální rovnice. 3. Rovnici y = x+y+1. převeďte vhodnou transformací na rovnici homogenní (vzniklou

Charakteristika oligopolu

Matematická analýza 1

1/15. Kapitola 2: Reálné funkce více proměnných

Vypracoval: Mgr. Lukáš Bičík TENTO PROJEKT JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ REPUBLIKY

PRIMITIVNÍ FUNKCE DEFINICE A MOTIVACE

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

EXTRÉMY FUNKCÍ VÍCE PROMĚNNÝCH

10 Funkce více proměnných

charakteristika oligopolu kartel Cournotův model duopolu oligopol s dominantní firmou Sweezyho model (se zalomenou křivkou poptávky) Nashova

HISTORICKÉ TEORIE HER


Kapitola 10: Diferenciální rovnice 1/14

Úlohy nejmenších čtverců

LDF MENDELU. Simona Fišnarová (MENDELU) Průběh funkce ZVMT lesnictví 1 / 21

Pavlína Matysová. 5. listopadu 2018

Matematika pro informatiky

Pravděpodobnost a statistika

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Princip rozšíření a operace s fuzzy čísly

Matematika I A ukázkový test 1 pro 2011/2012. x + y + 3z = 1 (2a 1)x + (a + 1)y + z = 1 a

Základy matematické analýzy

IX. Vyšetřování průběhu funkce

EUKLIDOVSKÉ PROSTORY

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

9. Vícerozměrná integrace

Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení.

Diferenciální počet funkcí jedné proměnné

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Derivace funkce Otázky

Přednáška 3: Limita a spojitost

Základní pojmy teorie množin Vektorové prostory

Derivace funkce. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010

Použití derivací L HOSPITALOVO PRAVIDLO POČÍTÁNÍ LIMIT. Monotónie. Konvexita. V této části budou uvedena některá použití derivací.

19 Hilbertovy prostory

3. přednáška 15. října 2007

INTEGRÁLY S PARAMETREM

Přijímací zkouška na navazující magisterské studium 2014

Derivace funkce DERIVACE A SPOJITOST DERIVACE A KONSTRUKCE FUNKCÍ. Aritmetické operace

Definice 7.1 Nechť je dán pravděpodobnostní prostor (Ω, A, P). Zobrazení. nebo ekvivalentně

NMAI059 Pravděpodobnost a statistika

Báze a dimenze vektorových prostorů

9. Vícerozměrná integrace

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

0.1 Úvod do matematické analýzy

Diferenciální počet - II. část (Taylorův polynom, L Hospitalovo pravidlo, extrémy

1 Soustavy lineárních rovnic

Operační výzkum. Teorie her cv. Hra v normálním tvaru. Optimální strategie. Maticové hry.

Funkce jedn e re aln e promˇ enn e Derivace Pˇredn aˇska ˇr ıjna 2015

Transkript:

THE: Cournotův model oligopolu Existence Nashova ekvilibria Brno University of Technology Brno Czech Republic October 23, 2018

Úvod Čerpáno z: Fudenberg, D., Tirole, J.: Game Theory, The MIT Press, 1991 McCarthy, N., Mierowitz, A.: Political Game Theory: An Introduction, Cambridge University Press, 2007 Nisan, N. et al.: Algorithmic Game Theory, Cambridge University Press, 2007 Magdaléna Hykšová: Přednášky z teorie her, Fakulta dopravní ČVUT

Úvod Dnešní témata: Cournotův a Bertrandův model oligopolu (ukázka výpočtu NE ve hrách se spojitými množinami strategíı) Věta o existenci MNE v konečných hrách (Nash, 1950). Příště Stackelbergův model oligopolu.

Cournotův a Bertrandův model oligopolu Ukázka strategického modelu vytvořeného bez znalosti NE, PNE, MNE. Monopol, duopol, oligopol. Jako zjednodušující fakt definujeme komoditu, u které nelze kvalitou rozlišit výrobce, ale pouze cenou. Příkladem může být např. standardizovaný rohĺık. Všichni ho vyrábí stejně dobře, kupujícího zajímá výhradně jenom cena. Monopol zkoumaný produkt vyrábí/prodává pouze jeden výrobce. Duopol existují dva srovnatelně silní výrobci (každý je schopen ovlivnit cenu na trhu). Oligopol existuje více výrobců, kde každý je schopen ovlivnit cenu. Situaci cenového vůdce a následníků si probereme později.

Předpoklady, definice Produkt je rozlišitelný pouze cenou (je homogenní). Firmy rozhodně nekooperují. Firmy mají stejné výrobní náklady c na výrobu jednoho kusu komodity. Náklad je neměnný dle stavu zadané výroby (žádné množstevní slevy). Poptávka je lineární (klesá lineárně s žádanou cenou), resp. cena klesá lineárně s dodaným množstvím. Firmy soutěží množstvím nebo cenou. Nejsou žádné jiné metody boje. Nabízí-li firmy n i = (q i,p i ), pak zákazníci kupují nejdříve z levnějšího zdroje do jeho vyčerpání q i, pak z dražšího. Pokud p 1 = p 2 =... = p n, pak se nakupuje rovnoměrně ode všech.

Cournotův model monopolu (1838) Produkt je tedy dodáván jedním výhradním výrobcem. Monopolista uvažuje dodat až q množství komodity. Nejvyšší možná cena v případě prodeje q bude: p = M q kde M je konstanta daná trhem (vztah množství na trhu a ceny). Monopolista maximalizuje svůj užitek (bez konkurence, c je výrobní náklad na jednotku komodity): u(q) = p q c q = Mq q 2 cq což je tržba minus výrobní náklady.

Monopolista u(q) = p q c q = Mq q 2 cq Hledáme extrém užitkové funkce (derivace...): u (q) = M 2q c = 0 qmon = 1 (M c) 2 Maximálního zisku dosáhne monopolista při výrobě qmon množství komodity, cena bude pmon = M q mon = M 1 2 (M c) = 1 2 M + 1 2 c = 1 (M +c) 2 Zisk: u mon = u(q mon ) = q mon (p mon c) = [ 1 2 (M c) ] 2

Cournotovo řešení duopolu Dva hráči, tzn. hledáme q 1,q 2 při výrobních nákladech c. Podobně: p = M q 1 q 2 Hráči nejspíš voĺı množství (svou množstevní strategii) z intervalu 0,M, tzn. S 1 = S 2 = 0,M. Výplatní funkce: u 1 (q 1,q 2 ) = (p c)q 1 = (M q 1 q 2 c)q 1 u 2 (q 1,q 2 ) = (p c)q 2 = (M q 1 q 2 c)q 2 První duopolista: Pro každou strategii soupeře q 2 hledá takové množství q 1 = R 1 (q 2 ), aby hodnota u 1 (q 1,q 2 ) byla maximální (je to jeho best-response). Funkci R 1 (q 2 ) říkáme reakční křivka.

Duopolista č. 1 Pro jaké q 1 dosahuji maximálního u 1 (q 1,q 2 )? analogicky: u 1 q 1 = M c q 2 2q 1 = 0 R 1 (q 2 ) = q 1 = 1 2 (M c q 2) R 2 (q 1 ) = q 2 = 1 2 (M c q 1) Kde je rovnovážný bod (q1,q 2 )? Má to být vzájemná best-response...

R 2 (q 1 ) = 1 2 (M c q 1) = 1 2 (M c) 1 2 q 1

Řešení duopolu Hledáme (q1,q 2 ) tak, že R 1(q2 ) = R 2(q1 ) q 2 = 1 ( M c 1 ) 2 2 (M c q 2) q2 = 1 (M c) 3 q1 = 1 (M c) 3 p D = M 2 3 (M c) = 1 3 M + 2 3 c Zisk pro každého: u 1 (q1,q 2 ) = u 2(q1,q 2 ) = [ 1 3 (M c)] 2. Zisk celkově: u 1 (q1,q 2 )+u 2(q1,q 2 ) = 2 9 [(M c)]2 (je méně než zisk monopolisty). Vyrobeno celkově: q1 +q 2 = 2 3 (M c) (více než monopolista). Duopolisté prodávají větší množství výrobků za nižší cenu než monopolista.

Úvaha: různé výrobní náklady c 1 c 2 q 1 = 1 3 (M +c 2 2c 1 ) q 2 = 1 3 (M +c 1 2c 2 ) Uplatní se více hráč s nižšími náklady.

Úvaha: tajná dohoda duopolistů Mohou se duopolisti dohodnout a vyrábět pouze q mon jako monopolista? Dostáváme se tak mimo rovnovážný bod. V takovém bodě je situace nestabilní, protože každý z hráčů může vybočit z profilu a krátkodobě si zisk navýšit (proto to není NE). Pokud připouštíme kooperativnost (např. formou vyjednávání), pak studujeme rozsáhlejší oblast řešení. Více v přednášce o kooperativních hrách.

Řešení oligopolů Uvažujme n hráčů, kde každý hledá svoji strategii q i. Zisky jsou opět dány: u i (q 1,q 2,...,q n ) = (p c)q i = (M c q 1 q 2... q n )q i Rovnovážný bod... u i q i = M c q 1 q 2... 2q i... q n = 0 Obdržíme soustavu rovnic: 2q 1 + q 2 +... + q n = M c q 1 + 2q 2 +... + q n = M c... q 1 + q 2 +... + 2q n = M c

Řešení oligopolů Řešením soustavy obdržíme Oligopolisté dohromady vyrobí: q = q 1 = q 2 =... = q n = M c n+1 n i=1 qi = n M c n+1 = n (M c) n+1 Z toho je patrné, že s rostoucím počtem hráčů roste i množství dodaného produktu a klesá jeho cena (a zisk firem). p = 1 n+1 M + n n+1 c u = n c)2 (n+1) 2(M

Řešení oligopolů Když jde n k nekonečnu, dostáváme se do situace, která se nazývá dokonalá soutěž (konkurence), kdy na trhu soupeří velké množství srovnatelných firem, kde žádná z nich nemá moc významně ovlivnit množství na trhu. Velmi zajímavé je zjištění, že (dodané množství): Cena za výrobek: lim n n (M c) = M c n+1 p = M (M c) = c Celkový zisk oligopolistů v dokonalé konkurenci: u = 0

Srovnání situací na trhu Celkové Cena za Celkový množství q jednotku p zisk u 1 Monopol 1 2 M + 1 c 1 4 (M c)2 2 Duopol 3 (M c) 1 3 M + 2 3 c 2 9 (M c)2 n Oligopol n+1 (M c) 1 n+1 M + n n+1 c n (M c) 2 (n+1) 2 Dok. soutěž (M c) c 0

Bertrandův model oligopolu (1883) Bertrand revidoval závěr Cournota s tvrzením, že už u duopolistů se může rozběhnout dokonalá konkurence, neboť jejich množstevní ekvilibrium nemusí být stabilní. Připusťme, že duopolisté hrají (q1,q 2 ) = 1 3 (M c) za shodnou cenu p = 1 3 M + 2 3c. Při této ceně tvoří nenulový zisk z výroby a prodeje. Při stejné ceně mají rovný množstevní podíl na prodeji. Najednou jeden z hráčů změní svou cenu pi := p, kde je libovolně malé. Podle logiky trhu by měl hráč i vyprodat veškerou svou produkci a po něm až dražší hráč. Plyne z toho, že hráči nesoutěží množstvím, ale cenou, která může jít až na úroveň nákladů, tedy implikující nulový zisk. Z faktu, že to tak v realitě není, plyne tzv. Bertrandův paradox Cenová válka.

Výpočet Cournot-Nashovy rovnováhy ve spojitých S i Cournotův model ukazuje způsob výpočtu rovnovážného bodu ve hrách se spojitými množinami strategíı. Tím, že tento postup odvodil Antoine Augustin Cournot (1801-1877) značně dřív než Nash, bývá někdy tato rovnováha nazývána Cournot-Nashovo ekvilibrium Obecný postup: odvodit analyticky reakční křivky hráčů a vyhodnotit bod/body jejich průsečíků. Celkově je to analytické řešení modelu. Pro nás je Cournot-Nashovo ekvilibrium zajímavé způsobem výpočtu (ve spojitých S i ).

Problém existence Nashova ekvilibria Cournotův model rovnováhy ukazuje existenci rovnovážného bodu u her se spojitými množinami strategíı (de facto ryzí). Proč vlastně má mít hra rovnovážný bod? Říkáme taky řešení... Co se změní, když množiny strategíı diskretizujeme? Diskretizace v případě modelu typu Cournotova duopolu/oligopolu vzorkuje množstevní strategie. Může je vzorkovat nevhodným způsobem. Diskrétní množiny strategíı při rozhodování nejsou nepřirozené. Lidé často vnímají rozhodování v diskrétních jednotkách (množství, cena). Diskretizujeme tím i užitkové funkce. Spojitost se do toho dostane jiným způsobem (prostory smíšených strategíı jsou z principu spojité).

Existence Nashova ekvilibria ve hrách se spojitými S i Theorem Nashovo ekvilibrium hry v normální formě Γ = (Q;{S i } i Q ;{U i } i Q ) existuje, pokud jsou splněny následující podmínky: 1. S i, i Q je konvexní a kompaktní podmnožina Euklidovského prostoru. 2. U i (s i,s i ) : S R 1 jsou spojité funkce u všech hráčů i Q. 3. pro všechny hráče i Q a všechny s i S i je funkce U i (s i,s i ) ryze kvazi-konkávní na množině S i. Důkaz podobné věty provedeme později.

Kompaktní a konvexní množina Definition Množina A R n je kompaktní, pokud je ohraničená (existuje číslo b takové, že a A : a < b) a uzavřená (její doplněk R n \A je otevřená množina). Definition Množina A R n je konvexní, pokud pro každé dva její prvky x,y A a každé reálné číslo λ 0,1 platí: λx +(1 λ)y A Tzn., každý bod na úsečce mezi body x a y patří do množiny A.

Konvexní a nekonvexní množina

Ryze kvazi-konkávní funkce Definition Funkce f(x) : A R 1 (kde A je konvexní množina) je ryze kvazi-konkávní, jestliže f(λx +(1 λ)y) > t pro všechna x,y A,x y, λ (0,1) a jakékoliv t R 1 takové, že f(x) t a f(y) t. Definice říká, že funkce (např. užitková funkce, resp. preferenční) nemůže na intervalu (x,y) takovém, že pro oba ohraničující body je f( ) slabě lepší než hodnota t, tvrdit, že připouští bod z (x,y), který by nebyl striktně lepší než t nebo dokonce horší. Naopak, všechny body z (x,y) musí být striktně lepší (striktně preferovány nad) než t.

Definice hry v normální formě (konečné S i ) Definition Hra N hráčů je struktura Γ = (Q;{S i } i Q ;{U i } i Q ), kde Q je množina hráčů Q = {1,...,N}, S i,i Q jsou konečné množiny ryzích strategíı hráčů a U : i Q S i R jsou jejich výplatní funkce. Ideální je mít jedno unikátní ryzí Nashovo ekvilibrium ve hře, ale bývají situace, kdy je počet PNE větší než jedna nebo naopak nulový.

Klasická hra v normální formě Peter/John přiznat se zatloukat přiznat se -10,-10 0,-20 zatloukat -20,0-1,-1 Platí následující?: 1. S i, i Q je konvexní a kompaktní podmnožina Euklidovského prostoru. 2. U i (s i,s i ) : S R 1 jsou spojité funkce u všech hráčů i Q. 3. pro všechny hráče i Q a všechny s i S i je funkce U i (s i,s i ) striktně kvazi-konkávní na množině S i. Je to důsledek konečnosti (diskrétnosti) množin strategíı.

Smíšené rozšíření hry v normální formě Definition Mějme hru Γ = (Q;{S i } i Q ;{U i } i Q ). Hru Γ m = (Q;( i ) i Q ;(Π i ) i Q ) nazveme smíšeným rozšířením hry Γ, pokud jsou pro všechny hráče i Q: i je množina smíšených strategíı hráče i (vektory délky S i ). σ i i označuje jednotlivé strategie prostoru i. Číslo σ i(s i ) označuje pravděpodobnost přiřazenou ryzí strategii s i S i v rámci smíšené strategie σ i. Celkově = i i. i = σ i 0,1 m i σ i (s i ) = 1 ;m i = S i s i S i Výplatní funkce hráče i π i (σ i,σ i ) = s i S i s i S i U i (s i,s i )σ i (s i )σ i (s i )

Smíšené rozšíření hry v normální formě Připomeňme definici smíšeného Nashova ekvilibria (MNE): Definition Smíšený profil σ je ekvilibrium ve hře Γ m, pokud platí pro všechny i Q: BR i (σ i ) = arg σ i BR i (σ i ) [ ] max π i (σ i,σ i ) σ i i Pozn.: Předpokládáme, že výsledkem operace BR i (σ i ) je podmnožina i. Množina i má jiný charakter než S i! Z toho plyne.: hráč i je v kontextu sub-profilu σ i indiferentní mezi všemi σ i BR i (σ i ). Otázka: Jak je velká množina BR i (σ i )?

BR: experiment a b c 3,2 1,3 d -1,4 2,1 MNE = (σ 1,σ 2 ) = (( 3 4, 1 4 ) ( 1, 5, 4 )) 5 π 1 (p,q) = 5pq p 3q +2 BR 1 (σ 1 ) = BR 1 ( ( 1 10, 10) 9 ) = 0.5p +1.7 p := 0 BR 1 ( ( 9 10, 10) 1 ) = 3.5p 0.7 p := 1 BR 1 ( ( 1 5, 4 5) ) = 5p 0.2 p 3 0.2+2 = 1.4 Zde již BR není závislé na p, tzn. BR 1 (q = 0.2) = 1. Avšak pouze pro jeden bod v 1 je to podobně u sloupcového.

Věta o existenci Nashova ekvilibria Theorem Každá konečná hra má vždy alespoň jedno řešení ve smíšených strategíıch. John Nash (1950)

Význam Nashovy věty, její důkaz Připomeňme reakční křivky, což je speciální případ BR-odezvy, pokud je BR funkce (vstupu je přiřazen právě jeden výstup, opakem je tzv. korespondence). V našem vnímání best-response připouštíme, že v ryzích i smíšených strategíıch přiřazuje BR bodu z definičního oboru (sub-profil) víc nejlepších odpovědí. Nash založil svůj důkaz na zkoumání, zda-li BR-korespondence může mít pevný bod. Zavedeme si pojem korespondence. Korespondence c : A B je zobecněná totální funkce nebo multi-value funkce, která každému a A přiřazuje (neprázdnou) podmnožinu B. Alternativně můžeme psát: c : A 2 B, s vlastností a A : c(a) one-to-one correspondence je ekvivalentní s pojmem bijekce

Význam Nashovy věty, její důkaz Definition Mějme korespondenci c : A A. Pevný bod (fixed-point) korespondence c je takový bod x A, že x c(x ) MNE je z principu pevný bod BR-korespondence Pokud dokážeme, že kterákoliv BR-korespondence může mít pevný bod, pak existuje MNE pro kteroukoliv hru

Obecný předpoklad Nashovo ekvilibrium je strategický profil σ takový, že σi BR i (σ i ) pro všechny i Q. Je to tedy pevný bod BR-korespondence: V IT-chápání: BR(σ) = (BR 1 (σ 1 ),BR 2 (σ 2 ),...,BR N (σ N )) BR i (σ i ) je funkce, která na zadaný sub-profil (chování všech kromě i) vrátí nejlepší strategie hráče i. V oboru ryzích strategíı je to podmnožina S i, v oboru smíšených strategíı je to podmnožina i. BR( ) je funkce, která to vrátí pro všechny i Q. Představme si za BR iterativní výpočet. Skončí? Je ta funkce BR( ) taková, že by vrátila pro MNE s podmnožinu obsahující právě s?????

Obecný předpoklad, postup Existuje věta (Kakutani s fixed-point theorem), která stanovuje podmínky, aby korespondence měla pevný bod. Pokud ukážeme, že BR splňuje tyto podmínky, pak má pevný bod, tzn. hra má ekvilibrium. Ukážeme si Kakutaniho theorém a Nashův důkaz.

Kakutani s fixed point theorem Shizuo Kakutani (1911 2004) Theorem Korespondence r : A A má pevný bod, pokud platí: 1. A je kompaktní, konvexní, neprázdná podmnožina (konečně-rozměrného) Euklidovského prostoru, 2. r(a) je neprázdná pro všechny a A, 3. r(a) je konvexní pro všechny a A, 4. r( ) je shora hemispojitá (ekv. s podmínkou, že má uzavřený graf).

Důkaz Nashovy věty V důkazu budeme vyšetřovat funkci [ ] BR i (σ i ) = arg max π(σ i,σ i ) σ i i a následně BR(σ) = (BR 1 (σ 1 ),BR 2 (σ 2 ),...,BR N (σ N )) Jejich zkoumáním dojdeme k závěru, zda-li naplňují nezbytné podmínky Kakutaniho, aby mohly formovat smíšené Nashovo ekvilibrium.

Berge s Theorem of the Maximum Theorem Nechť X R d,m R z jsou kompaktní a konvexní množiny. Nechť je funkce f(x,m) : X M R 1 spojitá na X a M. Korespondence c : M X definovaná jako { } c(m) = arg max [f(x,m)] x X je neprázdná pro každé m M a shora hemispojitá. Pozn.: na funkci f(x,m) můžeme pohĺıžet jako na hodnotící funkci optimalizátoru, kde m je vstupní specifikace problému a řešení se hledá přes všechny x X. Pozn.: všimněte si podobnosti s BR-korespondencí. Pozn.: hemispojitost odpovídá pojmu spojitost u funkcí.

Důkaz Nashovy věty V konečných hrách, S i jsou konečné množiny. Jejich smíšené rozšíření i jsou ovšem kompaktní a konvexní množiny (a rozhodně neprázdné). Tzn., první podmínka Kakutaniho byla splněna. Z definice hry plyne, že π i ( ) jsou lineární funkce a proto spojité na i. Z Bergova theorému o maximu proto plyne, že BR i (σ i ) je proto neprázdná pro všechny σ i i a shora hemispojitá. Druhá a čtvrtá Kakutaniho podmínka splněna. Poznámka: definice lineární funkce (zobrazení): Definition Nechť X R m a Y R n. Zobrazení F : X Y se nazývá lineární, pokud pro všechny x,y R m a q R platí současně: 1. F(x +y) = F(x)+F(y) 2. F(q x) = q F(x)

Důkaz Nashovy věty, Poznámka ke konvexnosti BR Protože π i (σ i,σ i ) je lineární pro libovolné σ i, pak najdeme-li dva body σ i,σ i tak, že π i (σ i,σ i ) = π i (σ i,σ i ) tzn. σ i,σ i BR i (σ i ), pak (z linearity): π i (λσ i +(1 λ)σ i,σ i ) = λπ i (σ i,σ i )+(1 λ)π i (σ i,σ i ) = π i (σ i,σ i ) pro libovolné λ 0,1. Tzn., BR dává konvexní hodnotu. Třetí podmínka Kakutaniho byla splněná. Co znamená ta rovnost? BR i (σ i ) vrací množinu A i, tzn. pro každé její dva různé body σ i,σ i musí platit, že dávají stejný očekávaný užitek v kontextu σ i. Nás zajímá, zda-li je množina A konvexní.

Závěr důkazu Podmínky Kakutaniho věty byly splněny, tím pádem je BR(σ) korespondence s pevným bodem, tzn. má-li σ být rovnovážný bod ve smíšených strategíıch, pak rozhodně platí, že σ BR(σ ) Tak J. Nash v roce 1950 (zasláno k recenzi Nov 1949) v článku Equilibrium Points in N-person Games dokázal univerzální řešitelnost konečných nekooperativních her (článek je k dispozici na perchtě, má jednu(!!!) stránku textu). Obecný závěr pro lidstvo? Každá situace má řešení.

Význam Nashova ekvilibria Nabízí se otázka, proč máme mít Nashovo ekvilibrium, když je tak složité (skoro nemožné) ho prakticky vypočítat. V TH je otázka řešitelnosti hodnoty ekvilibria mnohdy irelevantní. NE postavilo základy mnoha dalších strategických modelů (kooperativní hry, mechanism design, evoluční biologie). Otázky a úvahy, za jakých podmínek může existovat ryzí ekvilibrium, jsou ovšem stále zajímavé. Jakým způsobem se na stavu ekvilibríı podepíše např. diskretizace rozhodovacího prostoru. Jaký vliv má preferenční relace, tzn. forma užitkových funkcí a podobně. Jisté je, že v počítačích asi nebudeme tvořit modely rozhodovacích situacích se spojitými množinami strategíı.

Příště Hry v rozšířené formě (extensive-form games) Kooperativní hry. Opakované hry.