Univerzita Karlova v Praze Matematicko-fyzik´aln´ı fakulta
´ PRACE ´ DIPLOMOVA
Michaela Tich´a V´ıcekriteri´ aln´ı hry Katedra pravdˇepodobnosti a matematick´e statistiky
Vedouc´ı diplomov´e pr´ace: Doc. RNDr. Petr Lachout, CSc. Studijn´ı program: Matematika Studijn´ı obor: Pravdˇepodobnost, matematick´a statistika a ekonometrie
Praha 2012
Podˇekov´an´ı: Chtˇela bych podˇekovat vedouc´ımu diplomov´e pr´ace, doc. RNDr. Petru Lachoutovi, CSc., za poskytnut´e rady a pˇripom´ınky a pˇredevˇs´ım za poskytnutou volnost ve v´ ybˇeru t´ematu i zp˚ usobu jeho zpracov´an´ı. D´ale bych chtˇela podˇekovat mamince, tat´ınkovi a partnerovi za mnoh´e rady pˇri pr´aci i do ˇzivota.
Prohlaˇsuji, ˇze jsem tuto diplomovou pr´aci vypracovala samostatnˇe a v´ yhradnˇe s pouˇzit´ım citovan´ ych pramen˚ u, literatury a dalˇs´ıch odborn´ ych zdroj˚ u. Beru na vˇedom´ı, ˇze se na moji pr´aci vztahuj´ı pr´ava a povinnosti vypl´ yvaj´ıc´ı ze z´akona ˇc. 121/2000 Sb., autorsk´eho z´akona v platn´em znˇen´ı, zejm´ena skuteˇcnost, ˇze Univerzita Karlova v Praze m´a pr´avo na uzavˇren´ı licenˇcn´ı smlouvy o uˇzit´ı t´eto pr´ace jako ˇskoln´ıho d´ıla podle §60 odst. 1 autorsk´eho z´akona.
V Praze dne 22.3.2012
Podpis autorky
N´azev pr´ace: V´ıcekriteri´aln´ı hry Autor: Michaela Tich´a Katedra: Katedra pravdˇepodobnosti a matematick´e statistiky Vedouc´ı diplomov´e pr´ace: Doc. RNDr. Petr Lachout, Csc., Katedra pravdˇepodobnosti a matematick´e statistiky Abstrakt: Diplomov´a pr´ace pojedn´av´a o konceptech ˇreˇsen´ı v´ıcekriteri´aln´ıch her. V´ıcekriteri´aln´ı hra je speci´aln´ı pˇr´ıpad z teorie her, kdy v´ yplatn´ı funkce alespoˇ n jednoho hr´aˇce je vektor, a hr´aˇc chce maximalizovat vˇsechna krit´eria z´aroveˇ n. Pr´ace je rozˇclenˇena do ˇctyˇr kapitol. Nejprve je pˇredloˇzeno nˇekolik motivaˇcn´ıch pˇr´ıklad˚ u. Pot´e je nast´ınˇena historie v´ıcekriteri´aln´ıch her. N´asleduje teoretick´a kapitola, kter´a obsahuje 5 podkapitol - zaveden´ı nov´ ych pojm˚ u; rovnov´aˇzn´e body v jist´em smyslu omezen´ ych pˇr´ıklad˚ u her dvou hr´aˇc˚ u; hled´an´ı rovnov´aˇzn´ ych bod˚ u pomoc´ı skalarizace vektorov´e v´ yplatn´ı funkce; koncept hled´an´ı tzv. ide´aln´ıch rovnov´aˇzn´ ych bod˚ u; srovn´an´ı metod. D´ale je posledn´ı koncept ˇreˇsen´ı n´azornˇe demonstrov´an na re´aln´em pˇr´ıkladˇe. Nakonec je zaˇrazena kapitola s nov´ ymi teoretick´ ymi poznatky t´ ykaj´ıc´ımi se ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Kl´ıˇcov´a slova: v´ıcekriteri´aln´ı hry, teorie her, vektorov´a v´ yplatn´ı funkce
Title: Multicriteria games Author: Michaela Tich´a Department: Department of Probability and Mathematical Statistics Supervisor: Doc. RNDr. Petr Lachout, Csc., Department of Probability and Mathematical Statistics Abstract: The concern of this thesis is to discuss different multicriteria games solution concepts. Multicriteria game is a special case from the game theory if the payoff function of at least one player is a vector and the player wants to maximize all the criteria at the same time. The thesis is divided into four chapters. In the first instance a few motivation examples are introduced. Subsequently the history of the multicriteria games is mentioned. The theoretical chapter follows. It contains five sections - introduction of new definitions; the structure of the set of equilibria for two person multicriteria games; searching equilibria points by the help of scalarization of the vector-valued function; introduction of ideal equilibria points and ways how to find them; the comparison of used methods. The last solution concept is demonstrated by the real example. Finally a theoretical chapter with new results is included. Keywords: multicriteria games, game theory, vector payoff
Obsah ´ Uvod
2
1 Motivace 1.1 Konkurence mezi organizacemi . . . . . . . . . . . . . . . . . . . . 1.2 Veˇrejn´e statky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Volebn´ı boj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 4 5 5
2 Historie
9
3 Teoretick´ e koncepty 3.1 Z´akladn´ı pojmy . . . . . . . . . 3.2 Struktura ˇreˇsen´ı hry dvou hr´aˇc˚ u 3.3 Skalarizace v´ yplatn´ı funkce . . . 3.4 Ide´aln´ı rovnov´aˇzn´e body . . . . 3.5 Srovn´an´ı . . . . . . . . . . . . .
. . . . .
11 11 15 23 28 32
4 Aplikace 4.1 Sestaven´ı u ´lohy . . . . . . . . . . . . . . . . . . . . . . . . . . . . ˇ sen´ı . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Reˇ 4.3 Anal´ yza v´ ysledk˚ u . . . . . . . . . . . . . . . . . . . . . . . . . . .
34 34 40 48
5 Teoretick´ e v´ ysledky ˇ 5.1 Reˇsen´ı v ˇcist´ ych strategi´ıch . . . . . . . . . . . . . . . . . . . . . .
53 53
Z´ avˇ er
66
Seznam pouˇ zit´ e literatury
68
1
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
´ Uvod Kaˇzd´ y den se ocit´ame v situac´ıch, v nichˇz se mus´ıme rozhodnout pro jednu z moˇznost´ı tak, abychom z´ıskali co nejv´ıce. Pokud je v´ ysledek z´avisl´ y pouze na n´as ˇci nˇejak´ ych nepˇredv´ıdateln´ ych vlivech, b´ yv´a rozhodov´an´ı snazˇs´ı neˇz v situac´ıch, kdy v´ ysledek ovlivn´ı i nˇekdo jin´ y. B´ yv´a ovˇsem velmi ˇcast´e, ˇze oproti n´am rozhoduje z´avoveˇ n dalˇs´ı ˇclovˇek ˇci lid´e, kter´e zase zaj´ım´a co nejvˇetˇs´ı prospˇech z jejich strany. Zde pak pˇrich´az´ı ke slovu teorie her. Teorie her se zab´ yv´a mnoˇzstv´ım rozhodovac´ıch situac´ı, v nichˇz proti sobˇe stoj´ı v´ıce hr´aˇc˚ u a kaˇzd´ y se snaˇz´ı maximalizovat sv˚ uj prospˇech. Mohou to b´ yt hry v prav´em slova smylu, ale tak´e r˚ uzn´e konfliktn´ı situace napˇr´ıklad mezi obchodn´ımi spoleˇcnostmi, politick´ ymi stranami, biologick´ ymi druhy apod. Kromˇe bˇeˇzn´ ych standardn´ıch konflikt˚ u, ve kter´ ych hr´aˇci maximalizuj´ı jedno krit´erium (nˇejak´ y zisk - finanˇcn´ı ˇci jin´ y), se vˇsak ˇcasto setk´av´ame se situacemi, kdy alespoˇ n jeden z hr´aˇc˚ u rozhoduje na z´akladˇe v´ıce krit´eri´ı, jeˇz chce maximalizovat z´aroveˇ n. Nˇekdy lze zisk z krit´eri´ı jednoduˇse seˇc´ıst (napˇr. prod´av´a-li firma dva produkty a chce maximalizovat zisk z nich, lze vytvoˇrit jedin´e krit´erium jako souˇcet zisk˚ u z jednotliv´ ych produkt˚ u), vˇetˇsinou to vˇsak nelze. Proto zde byla aplikov´ana teorie v´ıcekriteri´aln´ı optimalizace do teorie her a vznikla tak nov´a teorie v´ıcekriteri´aln´ıch her. Ta se zab´ yv´a hled´an´ım v urˇcit´em smyslu rovnov´aˇzn´ ych bod˚ u her, kdy alespoˇ n jeden hr´aˇc m´a v´ıce neˇz jednu v´ yplatn´ı funkci. Z tohoto d˚ uvodu se v´ıcekriteri´aln´ım hr´am tak´e ˇcasto ˇr´ık´a hry s vektorovou v´ yplatn´ı funkc´ı. ˇ dosud nepublikoC´ılem pr´ace je sezn´amit ˇcten´aˇre s pomˇernˇe novou a v CR vanou problematikou v´ıcekriteri´aln´ıch her. Jsou zavedeny nov´e pojmy a definice a pˇredstaveny nˇekter´e ze zaj´ımav´ ych koncept˚ u ˇreˇsen´ı. Jeden z koncept˚ u je pak pˇredveden na konkr´etn´ım pˇr´ıkladˇe. Nakonec je prezentov´an nov´ y zp˚ usob ˇreˇsen´ı, kter´ y rychlou cestou nalezne vˇetˇsinu ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Pˇredpokl´ad´a se, ˇze se ˇcten´aˇr orientuje v z´akladech teorie her a optimalizace. Pr´ace je rozdˇelena do nˇekolika ˇca´st´ı. Nejprve se ˇcten´aˇr sezn´am´ı s nˇekolika motivaˇcn´ımi pˇr´ıklady, kter´e demonstruj´ı, proˇc se zab´ yvat touto problematikou. N´aslednˇe je zaˇrazen struˇcn´ y historick´ yu ´vod, ze kter´eho je zˇrejm´e, jak velice mlad´ ym t´ematem v´ıcekriteri´aln´ı hry jsou - aˇz teprve v posledn´ıch deseti letech se jim vˇenuje trochu vˇetˇs´ı pozornost. D´ale je zpracov´ana teoretick´a ˇca´st, kter´a pˇredstav´ı nˇekter´e publikovan´e koncepty ˇreˇsen´ı. N´asleduje aplikaˇcn´ı ˇc´ast, kter´a obsahuje vlastn´ı sestaven´ı pˇr´ıkladu, jeho vyˇreˇsen´ı na z´akladˇe konceptu z teoretick´e kapitoly a anal´ yzu dosaˇzen´ ych v´ ysledk˚ u. Na z´avˇer je zaˇrazena kapitola s vlastn´ımi ˇ v´ ysledky. Cten´aˇr se sezn´am´ı se snadn´ ym zp˚ usobem hled´an´ı ˇreˇsen´ı v ˇcist´ ych strategi´ıch. 2
Z odborn´e literatury byly pouˇzity v´ yhradnˇe novˇe publikovan´e ˇcl´anky, nebot’ ˇza´dn´e jin´e zdroje doposud nejsou dostupn´e. Z´akladn´ı informace jsem ˇcerpala z ˇcl´ank˚ u The Structure of the Set of Equilibria for Two Person Multicriteria Games autor˚ u P. Borma, D. Vermeulena a M. Voornevelda a Ideal Equilibria in Noncooperative Multicriteria Games autor˚ u M. Voornevelda, S. Grahnov´e a M. Dufwenberga.
3
Kapitola 1 Motivace Teprve v´ıce neˇz deset let pot´e, co byla vytvoˇrena ucelen´a teorie her, zaˇcali matematici zkoumat moˇznost v´ıce krit´eri´ı. Nyn´ı se pod´ıv´ame na p´ar motivaˇcn´ıch pˇr´ıklad˚ u, kter´e je k tomu mohly v´est. Oblast´ı, kde lze vyuˇz´ıt hry s v´ıce krit´erii, je v bˇeˇzn´em ˇzivotˇe velmi mnoho. Uk´aˇzeme si moˇznost vyuˇzit´ı v konfliktu dvou organizac´ı, v projektov´an´ı veˇrejn´ ych statk˚ u a v boji volebn´ıch stran o voliˇce.
1.1
Konkurence mezi organizacemi
Konkurenˇcn´ı boj mezi organizacemi, firmami ˇci obchodn´ımi spoleˇcnostmi je jedn´ım z nejvˇetˇs´ıch c´ıl˚ u zkoum´an´ı v r´amci teorie her. Nejˇcastˇeji se jedn´a o jednu v´ yplatn´ı funkci - zisk. Moˇznost´ı je vˇsak mnohem v´ıce a mnohdy chtˇej´ı organizace optimalizovat v´ıce c´ıl˚ u z´aroveˇ n. Ve vˇetˇs´ıch firm´ach se obvykle objevuj´ı dva ˇc´asteˇcnˇe protich˚ udn´e c´ıle. Majitel´e chtˇej´ı co nejvˇetˇs´ı zisk, protoˇze ten jde do jejich kapsy a st´av´a se pro nˇe prioritou. Manaˇzeˇri zase chtˇej´ı co nejvˇetˇs´ı obraty, protoˇze maj´ı pevn´ y plat a jejich prestiˇz z´avis´ı na tom, jak firma expanduje a jak je zn´am´a. Tyto dva c´ıle jdou vˇsak velmi ˇcasto proti sobˇe. Dalˇs´ı moˇznost´ı je, ˇze firmy maj´ı v´ıce sekc´ı, pracuj´ı v r˚ uzn´ ych oblastech. Jednotliv´e sekce funguj´ı samostatnˇe, je nutno je zachovat vˇsechny, nejsou-li vyslovenˇe prodˇeleˇcn´e. Nen´ı tedy moˇzn´e rozhodovat pouze na z´akladˇe maximalizace celkov´eho zisku, ale firma se snaˇz´ı maximalizovat zisky ve vˇsech oblastech zvl´aˇst’. V tˇechto pˇr´ıkladech se berou jako hr´aˇci firmy a jejich v´ yplatn´ı funkce jsou hodnoty jednotliv´ ych krit´eri´ı. Prostory strategi´ı jsou obecnˇe r˚ uzn´e, m˚ uˇze to b´ yt volba vyroben´eho mnoˇzstv´ı jednotliv´ ych produkt˚ u, volba dodavatel˚ u, rozhodnut´ı, do ˇceho budou investov´any finance firmy apod.
4
1.2
Veˇ rejn´ e statky
V´ıcekriteri´aln´ı hry se uplatˇ nuj´ı tak´e v projektov´an´ı veˇrejn´ ych statk˚ u. Pˇredpokl´ad´ame nˇekolik subjekt˚ u. Kaˇzd´ y subjekt vkl´ad´a stejn´e finance do spoleˇcn´e kasy. Z t´e je pak financov´ano a uskuteˇcn ˇov´ano nˇekolik projekt˚ u. Pˇritom kaˇzd´ y subjekt m´a jin´ y uˇzitek a z´ajem o r˚ uzn´e projekty. Jednotliv´e subjekty se pˇritom snaˇz´ı maximalizovat dvˇe v´ yplatn´ı funkce - jednak veˇrejn´e blaho, kter´e je rovno souˇctu uˇzitk˚ u jednotliv´ ych subjekt˚ u, a z´aroveˇ n vlastn´ı zisk, kter´ y je roven vlastn´ımu uˇzitku zmenˇsen´emu o ˇca´stku zaplacenou do spoleˇcn´eho rozpoˇctu vyj´adˇrenou v ekvivalentu uˇzitku. Jako konkr´etn´ı uk´azku si pˇredstav´ıme tˇri mˇesta, kter´a mezi sebou obchoduj´ı. Chtˇej´ı zjednoduˇsit a urychlit dopravu a postavit mezi sebou d´alnice. Kaˇzd´e d´a do rozpoˇctu urˇcitou ˇca´stku, ze kter´e se budou financovat d´alnice mezi mˇesty. Kaˇzd´e mˇesto m´a dan´ y uˇzitek z d´alnice mezi kaˇzd´ ymi dvˇema mˇesty. Ten z´avis´ı jednak na tom, s kter´ ymi mˇesty nejv´ıce obchoduje, jednak na tom, kter´a cesta je pro nˇej nejkratˇs´ı. Bude-li napˇr´ıklad realizov´ana d´alnice mezi mˇesty A a B a mezi mˇesty B a C, ale nikoli pˇr´ımo mezi mˇesty A a C, budou m´ıt mˇesta A a C z trasy A↔C menˇs´ı uˇzitek, neˇz kdyby byla postavena pˇr´ım´a d´alnice. Tento uˇzitek bude o to menˇs´ı, o kolik bude trasa A-B-C delˇs´ı neˇz A-C. Z´aroveˇ n kaˇzd´e mˇesto vyj´adˇr´ı ˇca´stku, kterou d´av´a do spoleˇcn´e kasy, v uˇzitku, kter´ y by z t´e ˇca´stky mˇelo. Nyn´ı se mˇesta mus´ı dohodnout, kolik daj´ı do spoleˇcn´e kasy a kter´e d´alnice budou realizovat. Zohledˇ novat pˇritom budou dvˇe v´ yplatn´ı funkce - veˇrejn´e blaho a vlastn´ı uˇzitek. Tento pˇr´ıklad je uk´azka kooperativn´ı v´ıcekriteri´aln´ı hry.
1.3
Volebn´ı boj
Dalˇs´ım zaj´ımav´ ym pˇr´ıkladem je pˇredvolebn´ı boj politick´ ych stran. Jedn´a se v podstatˇe o speci´aln´ı pˇr´ıpad konkurenˇcn´ıho boje dvou organizac´ı. Organizacemi jsou v tomto pˇr´ıpadˇe politick´e strany. Obvykle m´a kaˇzd´a politick´a strana dvˇe krit´eria - jednak se samozˇrejmˇe snaˇz´ı maximalizovat poˇcet voliˇc˚ u, ale z´aroveˇ n se snaˇz´ı co nejv´ıce pˇribl´ıˇzit z´akladn´ı politick´e ideologii sv´e strany. Prostorem strategi´ı je pak zvolen´ y volebn´ı program. U tohoto pˇr´ıkladu si uk´aˇzeme, jak konkr´etnˇe by mohlo vypadat sestaven´ı volebn´ıho boje jako v´ıcekriteri´aln´ı hry. Budeme pˇredpokl´adat souboj 5 hlavn´ıch politick´ ych stran, jak je v posledn´ıch letech na naˇs´ı politick´e sc´enˇe zvykem (byt’ se trochu stˇr´ıdaj´ı). Mˇejme tedy mnoˇzinu pˇeti hr´aˇc˚ u n = 5, N = {1, 2, 3, 4, 5}. Zvol´ıme 8 z´akladn´ıch oblast´ı, podle nichˇz se rozhoduje nejv´ıce lid´ı: zdravotnictv´ı, soci´aln´ı politika, ˇskolstv´ı, danˇe, doprava, ekonomika st´atu, podpora podnik´an´ı a ˇzivotn´ı prostˇred´ı. Pro kaˇzdou oblast urˇc´ıme stupnici 1-10, kaˇzd´a volebn´ı strana pak vol´ı u kaˇzd´e oblasti stupeˇ n. Vektor tˇechto osmi stupˇ n˚ u je pak zvolen´a strategie. 5
Ve zdravotnictv´ı stupnici stanov´ıme takto: 1 znamen´a, ˇze vˇse plat´ı zdravotn´ı pojiˇst’ovny, nezb´ yv´a pak mnoho penˇez na financov´an´ı nov´ ych v´ yzkum˚ u a zaˇr´ızen´ı; 10 znamen´a, ˇze vˇetˇsinu u ´kon˚ u si plat´ı pacient s´am a pen´ıze se investuj´ı do nov´ ych drah´ ych stroj˚ u pro l´eˇcbu tˇeˇzk´ ych nemoc´ı. Soci´aln´ı politika: 1 znamen´a vysok´e soci´aln´ı platby, tj. vysok´e d˚ uchody, mateˇrsk´e, podpory v nezamˇestnanosti, soci´aln´ı d´avky atd.; 10 naopak znamen´a n´ızk´e soci´aln´ı platby. ˇ Skolstv´ ı: 1 znamen´a zcela bezplatn´e ˇskolstv´ı, ˇskoln´ı pom˚ ucky k p˚ ujˇcov´an´ı, pˇr´ıspˇevek na ˇskoln´ı potˇreby pro prvˇ na´ˇcky apod.; 10 znamen´a zaveden´ı ˇskoln´eho na vysok´ ych ˇskol´ach, samostatn´e financov´an´ı uˇcebnic apod., pen´ıze do ˇskolstv´ı jdou naopak napˇr. na nov´e poˇc´ıtaˇce a podobn´a zaˇr´ızen´ı, modern´ı ˇskoln´ı pom˚ ucky atd. Danˇe: 1 znamen´a vysok´e zdanˇen´ı, vysokou m´ıru progresivity, vysok´a cla; 10 znamen´a n´ızk´e zdanˇen´ı, tzv. rovnou daˇ n, n´ızk´a cla. Doprava: 1 znamen´a n´ızk´e investice do dopravy, 10 naopak vysok´e investice do dopravy. Ekonomika: 1 znamen´a vysok´e investice st´atn´ıho rozpoˇctu a t´ım i vˇetˇs´ı zadluˇzov´an´ı; 10 znamen´a mal´e investice, ale menˇs´ı zadluˇzov´an´ı. Podpora podnik´an´ı: 1 znamen´a malou podporu podnik´an´ı; 10 naopak vysok´e investice do podpory podnik´an´ı. ˇ Zivotn´ ı prostˇred´ı: 1 znamen´a nez´ajem o ˇzivotn´ı prostˇred´ı; 10 naopak velk´e ohledy na ˇzivotn´ı prostˇred´ı, investice apod. M´ame tedy prostor strategi´ı n
X =
n Y
X i,
i=1
kde
Xi =
1 1 1 1 1 1 1 1
,
1 1 1 1 1 1 1 2
,
1 1 1 1 1 1 1 3
,...,
10 10 10 10 10 10 10 9
,
10 10 10 10 10 10 10 10
.
Kaˇzd´a politick´a strana tedy m˚ uˇze zvolit jednu mnoˇzinu strategi´ı Xi , jejich celkov´ y 8 poˇcet je 10 . Nyn´ı upˇresn´ıme v´ yplatn´ı funkce. Kaˇzd´a strana m´a dvˇe v´ yplatn´ı funkce.
6
Pod prvn´ı v´ yplatn´ı funkc´ı si pˇredstav´ıme poˇcet voliˇc˚ u, kteˇr´ı ji s takov´ ym programem (za pˇredpokladu zvolen´ ych program˚ u ostatn´ıch stran) zvol´ı. Budeme ˇ br´at CR - aktu´aln´ı poˇcet obyvatel je nˇeco m´alo pˇres 10,5 milionu obyvatel, ˇ U ´ z toho pˇribliˇznˇe 8,5 milionu zletil´ ych - pˇribliˇzn´ y poˇcet voliˇc˚ u (jak uv´ad´ı CS k 31.12.2010). Pˇredpokl´adejme 60% volebn´ı u ´ˇcast. Prvn´ı v´ yplatn´ı funkce tak m˚ uˇze nab´ yvat hodnot z intervalu [0; 5, 1]. Politick´a strana se snaˇz´ı dos´ahnout co nejvˇetˇs´ıho poˇctu voliˇc˚ u. Pod druhou v´ yplatn´ı funkc´ı si pˇredstav´ıme m´ıru zachov´an´ı ideologie. Budeme pˇredpokl´adat, ˇze kaˇzd´a strana m´a svou z´akladn´ı ideologii, s n´ıˇz byla zaloˇzena a ze kter´e vych´az´ı. Oznaˇc´ıme ji idx = idxi , kde i ∈ {1, 2, . . . , 8} je oblast a x ∈ {1, 2, . . . , 5} politick´a strana. Oznaˇc´ıme jeˇstˇe zvolenou strategii strx = strix , kde opˇet i je oblast a x politick´a strana. M´ıru zachov´an´ı stranick´e ideologie politick´e strany x budeme mˇeˇrit souˇctem kvadratick´ ych odchylek zvolen´e strategie od z´akladn´ı ideologie: 8 X (idxi − strix )2 , i=1
kde suma bˇeˇz´ı pˇres 8 z´akladn´ıch oblast´ı. Tuto v´ yplatn´ı funkci se politick´a strana snaˇz´ı naopak minimalizovat. Nyn´ı je jeˇstˇe nutn´e specifikovat, jak vol´ı voliˇci. Potˇrebujeme algoritmus, podle nˇehoˇz na z´akladˇe zvolen´ ych strategi´ı pˇeti stran z´ısk´ame poˇcty voliˇc˚ u kaˇzd´e strany. Agentury zab´ yvaj´ıc´ı se pr˚ uzkumy trhu standardnˇe rozdˇeluj´ı voliˇce na z´akladˇe shlukov´e anal´ yzy do nˇekolika kategori´ı (obvykle napˇr. d˚ uchodci, studenti apod.). Pot´e se pˇredpokl´ad´a, ˇze jednotlivci z kategorie vol´ı stejnˇe. Kaˇzd´a kategorie m´a vlastn´ı osobn´ı preference v kaˇzd´e oblasti. Osobn´ı preference se urˇcuj´ı na z´akladˇe pr˚ uzkum˚ u veˇrejn´eho m´ınˇen´ı. Pˇredpokl´adejme, ˇze tedy m´ame dan´ ych k kategori´ı voliˇc˚ u, mnoˇzstv´ı voliˇc˚ u v kaˇzd´e kategorii wj , j ∈ {1, 2, . . . , k}, a osobn´ı preference kaˇzd´e kategorie v 8 oblastech. Osobn´ı preference oznaˇc´ıme prefij , kde i znaˇc´ı oblast a j znaˇc´ı kategorii voliˇc˚ u. Budeme pˇredpokl´adat, ˇze voliˇci vol´ı pouze na z´akladˇe shody volebn´ıho programu se sv´ ymi osobn´ımi preferencemi. Voliˇci kategorie j tedy vol´ı tu stranu x, pro n´ıˇz bude v´ yraz 8 X 2 prefij − strix i=1
nab´ yvat minima. Pˇredpokl´ad´ame, ˇze nenastane situace, ˇze by v´ yraz byl minim´aln´ı pro v´ıce stran. U kaˇzd´e kategorie je tedy jasn´e, kterou stranu by zvolili. Kaˇzd´a politick´a strana x tedy chce maximalizovat v´ yraz k X
wj I (j vol´ı stranu x) ,
j=1
7
kde j jsou kategorie a I znaˇc´ı identifik´ator. Tedy pˇresnˇeji k X j=1
wj
Y y={1,2,3,4,5}\{x}
I
8 X
prefij
−
i=1
2 strix
<
8 X
prefij
−
2 striy
! .
i=1
Nyn´ı bychom mˇeli pˇresnˇe zadanou v´ıcekriteri´aln´ı hru - 5 hr´aˇc˚ u, kaˇzd´ y m´a 100 milion˚ u moˇzn´ ych strategi´ı a dvˇe pˇresnˇe zadan´e v´ yplatn´ı funkce, pˇriˇcemˇz jednu chce maximalizovat a druhou minimalizovat. Pokud bychom potˇrebovali obˇe funkce maximalizaˇcn´ı, je moˇzn´e k druh´e pˇridat minusov´e znam´enko, pak bude u ´loha ekvivalentn´ı s p˚ uvodn´ı. Nyn´ı bychom mˇeli naj´ıt rovnov´aˇzn´e body t´eto hry. K tomu je nejprve nutn´e zav´est definici takov´eho rovnov´aˇzn´eho bodu. Ve tˇret´ı kapitole si uk´aˇzeme, ˇze existuje nˇekolik moˇzn´ ych definic. Na tomto m´ıstˇe jeˇstˇe poznamen´ame, ˇze v tomto pˇr´ıkladu bylo udˇel´ano mnoˇzstv´ı pˇredpoklad˚ u, kter´e v praxi nejsou zcela splnˇeny. To je ovˇsem u ´dˇelem toho, ˇze realita jde m´alokdy pˇrev´est do matematick´e ˇreˇci bez urˇcit´ ych zjednoduˇsen´ı.
8
Kapitola 2 Historie Modern´ı teorie her byla zavedena prac´ı Neumann and Morgenstern: The Theory of Games and Economic Behavior v roce 1944. Uˇz dˇr´ıvˇejˇs´ı studie se zab´ yvaly t´ematy okolo teorie her, ale ˇza´dn´a netvoˇrila precizn´ı ucelenou teorii jako tato. Pr´ace byla pˇredevˇs´ım kompilac´ı pˇredchoz´ıch tez´ı a neobsahovala ˇza´dn´e nov´e poznatky. Byly v n´ı vˇsak dok´az´any nˇekter´e dˇr´ıve formulovan´e vˇety. Druh´e vyd´an´ı v roce 1947 pˇrineslo jeˇstˇe nav´ıc rozvoj teorie uˇzitku. V 50. letech v´ yvoj smˇele pokraˇcoval. Pˇrispˇelo velk´e mnoˇzstv´ı autor˚ u, nejv´ yznamnˇejˇs´ımi osobami se vˇsak stali J. F. Nash a L. S. Shapley. Nash v roce 1950 pˇredstavil svou teorii rovnov´aˇzn´eho bodu v nekooperativn´ıch hr´ach ve strategick´e formˇe. Neomezoval se pouze na hry s nulov´ ym souˇctem jako mnoz´ı jeho kolegov´e. Zobecnil t´eˇz minimaxov´e teor´emy i na hry s nenulov´ ym souˇctem. V roce 1953 prezentoval i sv´e v´ ysledky v ˇreˇsen´ı kooperativn´ıch her. Jeho koncepty byly v t´e dobˇe pˇrevratn´e a dodnes se z nich vych´az´ı pˇri studi´ıch r˚ uzn´ ych nov´ ych situac´ı v teorii her. V roce 1953 publikoval Shapley svou studii, kde dok´azal existenci a jednoznaˇcnost kooperativn´ıch model˚ u her n hr´aˇc˚ u. Prezentoval tak´e spoustu dalˇs´ıch v´ ysledk˚ u jako anal´ yzy volebn´ıch model˚ u, stochastick´e hry a dalˇs´ı. Shapley byl tak´e velmi d˚ uleˇzitou postavou v teorii v´ıcekriteri´aln´ıch her. Nejprve vˇsak v roce 1956 pˇriˇsel D. Blackwell se svou tez´ı Analog of the Minimax Theorem for Vector Payoffs, v n´ıˇz zobecnil minimaxovou vˇetu na v´ıcekriteri´aln´ı hry. Ten tak´e jako prvn´ı pouˇzil pojem v´ıcekriteri´aln´ı hra (resp. hra s vektorovou v´ yplatn´ı funkc´ı). Nez´avisle na nˇem pak v roce 1959 pˇredvedl svou definici Shapley ve sv´e studii Equilibrium Points in Games with Vector Payoffs. V t´eto pr´aci z´aroveˇ n pˇredstavil koncept hled´an´ı rovnov´aˇzn´ ych bod˚ u, z nˇehoˇz pak vych´azeli dalˇs´ı autoˇri, kteˇr´ı se zaˇcali zab´ yvat hrami s v´ıce moˇzn´ ymi nesrovnateln´ ymi krit´erii. Zejm´ena v 60. letech pak bylo prezentov´ano velk´e mnoˇzstv´ı studi´ı t´ ykaj´ıc´ıch se teorie her, ale hr´am s vektorovou v´ yplatn´ı funkc´ı pˇr´ıliˇs mnoho autor˚ u pozornost nevˇenovalo. Za zm´ınku z pozdˇejˇs´ıch let stoj´ı nˇekolik prac´ı. M. Zelen´ y v roce 1976 prezentoval sv˚ uj koncept v´ıcekriteri´aln´ıch her Game with Multiple Payoffs, kde se zab´ yval hrami proti pˇr´ırodˇe a hrami dvou hr´aˇc˚ u s nulovou v´ yplatn´ı funkc´ı. V roce 1985 pˇriˇsel H. W. Corley se svou prac´ı Games with Vector Payoffs, v n´ı dok´azal vˇetu o existenci rovnov´aˇzn´eho bodu pro v´ıcekriteri´aln´ı hru dvou hr´aˇc˚ u.
9
D´ale se teori´ı v´ıcekriteri´aln´ıch her zab´ yval D. B. Ghose. Ten napsal v roce 1989 spoleˇcnˇe s U. R. Prasadem tezi Solution Concepts in Two-Persons Multicriteria Games, v n´ıˇz pˇredstavil nov´ y koncept ˇreˇsen´ı za pˇredpokladu hry o dvou hr´aˇc´ıch a srovnal ho s pˇredchoz´ımi. V roce 1991 jeˇstˇe publikoval pr´aci A Necessary and Sufficient Condition for Pareto-Optimal Security Strategies in Multicriteria Matrix Games, ve kter´e dok´azal, ˇze urˇcitou skalarizac´ı hry vytvoˇr´ıme hru s jednou vektorovou funkc´ı, jej´ıˇz rovnov´aˇzn´e body jsou v urˇcit´e definici rovnov´aˇzn´ ymi body p˚ uvodn´ı v´ıcekriteri´aln´ı hry. Na druhou uvedenou pr´aci Ghoseho nav´azali v roce 1998 autoˇri F. R. Fernandez, L. Monroy a J. Puerto ve sv´e studii Multicriteria Goal Games. Zkoumaj´ı v n´ı probl´emy skalarizace hry a vytvoˇrili tak obecnˇejˇs´ı koncept ˇreˇsen´ı. O ˇctyˇri roky pozdˇeji jeˇstˇe publikovali ve sloˇzen´ı F. R. Fernandez, M. A. Hinojosa, J. Puerto pr´aci Core Solutions in Vector-Valued Games. Zab´ yvaj´ı se zde kooperativn´ımi hrami a aplikuj´ı teorii standardn´ıch kooperativn´ıch her na ty s vektorovou v´ yplatn´ı funkc´ı. Teprve v posledn´ıch deseti letech se v´ıcekriteri´aln´ım hr´am dostalo vˇetˇs´ı pozornosti. Ze standardn´ı teorie her byly jiˇz hlavn´ı studie vytvoˇreny, a tak mnoz´ı autoˇri zamˇeˇrili svou pozornost na vektorov´e v´ yplatn´ı funkce. S r˚ uzn´ ymi ˇcl´anky s nov´ ymi ˇreˇsen´ımi, specifick´ ymi ˇreˇsen´ımi i moˇzn´ ymi aplikacemi se doslova roztrhl pytel. Zkoumaj´ı se r˚ uzn´e aproximace, uˇzit´ı v soupeˇren´ı organizac´ı ˇci firem, ve volebn´ıch ˇ ast modelech, d´ale r˚ uzn´e specifick´e pˇr´ıpady, kter´e maj´ı jednoduˇsˇs´ı ˇreˇsen´ı apod. C´ z nich je i obsahem t´eto pr´ace.
10
Kapitola 3 Teoretick´ e koncepty 3.1
Z´ akladn´ı pojmy
Nejprve zformulujeme nekooperativn´ı v´ıcekriteri´aln´ı hru v´ıce hr´aˇc˚ u, pot´e zavedeme nerovnosti dvou vektor˚ u a n´aslednˇe zadefinujeme rovnov´aˇzn´e body v´ıcekriteri´aln´ı hry. Definice 3.1. Necht’ n ∈ N a N = {1, 2, . . . , n} je mnoˇzina n hr´aˇc˚ u, Xi je mnoˇzina ˇcist´ ych strategi´ı hr´aˇce i ∈ N a pro kaˇzd´eho hr´aˇce i ∈ N m´ame v´ yplatn´ı funkci Y ui : Xj −→ Rr(i) , j∈N
kter´a pˇriˇrazuje kaˇzd´e kombinaci strategi´ı hr´aˇc˚ u bod v r(i)-dimenzion´aln´ım Euklidovsk´em prostoru, kde r(i) je poˇcet krit´eri´ı hr´aˇce i ∈ N . Mnoˇzinu G = hN, (Xi )i∈N , (ui )i∈N i nazveme v´ıcekriteri´aln´ı hra. Obdobnˇe provedeme rozˇs´ıˇren´ı na sm´ıˇsen´e strategie. Oznaˇcme 4(Xi ) mnoˇzinu sm´ıˇsen´ ych strategi´ı hr´aˇce i ∈ N . Pro sm´ıˇsenou strategii xi ∈ 4(Xi ), j ∈ Xi oznaˇc´ıme xij pravdˇepodobnost, ˇze hr´aˇc i odpov´ı ˇcistou strategi´ı j. Definice 3.2. Necht’ G = hN, (Xi )i∈N , (ui )i∈N i je v´ıcekriteri´aln´ı hra z definice 3.1. Nyn´ı pod mnoˇzinou strategi´ı (Xi )i∈N uvaˇzujeme mnoˇziny sm´ıˇsen´ ych strategi´ı 4(Xi ) a hru G nazveme sm´ıˇsen´e rozˇs´ıˇren´ı v´ıcekriteri´aln´ı hry. D´ale budeme uvaˇzovat pod pojmem v´ıcekriteri´aln´ı hra jej´ı sm´ıˇsen´e rozˇs´ıˇren´ı a mnoˇzinu vˇsech sm´ıˇsen´ ych rozˇs´ıˇren´ı v´ıcekriteri´aln´ı hry oznaˇc´ıme Γ. Jeˇstˇe pˇripomeˇ nme, ˇze hru s koneˇcnou mnoˇzinou ˇcist´ ych strategi´ı nazveme koneˇcnou v´ıcekriteri´aln´ı hrou a pokud jsou zisky jednoho vˇzdy kompenzov´any ztr´atami jin´ ych, naz´ yv´ame hru hrou s nulov´ym souˇctem. 11
V dalˇs´ı ˇca´sti pr´ace budeme potˇrebovat porovn´avat vektory, zavedeme tedy vektorov´e nerovnosti: Definice 3.3. Necht’ a, b ∈ Rm . Pak a = b a ≥ b a > b
pokud aj ≥ bj pro vˇsechna j ∈ {1, . . . , m} , pokud a = b a a 6= b, pokud aj > bj pro vˇsechna j ∈ {1, . . . , m} .
ˇ Rekneme, ˇze a dominuje b, pokud a > b. Koneˇcnˇe se dost´av´ame k definici rovnov´aˇzn´eho bodu v´ıcekriteri´aln´ı hry. Budeme pouˇz´ıvat obvykl´e oznaˇcen´ı x−i pro mnoˇzinu strategi´ı vˇsech hr´aˇc˚ u kromˇe hr´aˇce i: x−i = (x1 , . . . , xi−1 , xi+1 , . . . , xn ). V jednokriteri´ aln´ı hˇre pro Nash˚ uv rovnov´aˇzn´ y bod plat´ı, ˇze je to strategick´ y proQ fil x ∈ i∈N 4(Xi ), pokud ˇz´adn´ y hr´aˇc nem´a alternativn´ı strategii yj ∈ 4(Xj ), pro kterou by jeho v´ yplatn´ı funkce byla (za pˇredpokladu stejn´ ych strategi´ı protihr´aˇc˚ u) vyˇsˇs´ı, tj. uj (yj , x−j ) > uj (x). Ve v´ıcekriteri´aln´ı hˇre plat´ı stejn´a definice. V´ yplatn´ı funkce jsou vektorov´e, ale uˇz m´ame zadefinov´any vektorov´e nerovnosti, a tak m˚ uˇzeme pˇrej´ıt pˇr´ımo k definici. Standardnˇe se pouˇz´ıvaj´ı dvˇe definice - siln´ y rovnov´aˇzn´ y bod a slab´ y rovnov´aˇzn´ y bod. Definice 3.4. Slab´ym rovnov´aˇzn´ym bodem nazveme strategick´ y profil Y x∈ 4(Xi ), i∈N
pokud pro ˇz´adn´eho hr´aˇce i ∈ N neexistuje strategie x ei ∈ 4(Xi ) takov´a, ˇze ui (e xi , x−i ) > ui (xi , x−i ). Definice 3.5. Siln´ym rovnov´aˇzn´ym bodem nazveme strategick´ y profil Y x∈ 4(Xi ), i∈N
pokud pro ˇz´adn´eho hr´aˇce i ∈ N neexistuje strategie x ei ∈ 4(Xi ) takov´a, ˇze ui (e xi , x−i ) ≥ ui (xi , x−i ). Siln´ y rovnov´aˇzn´ y bod je v jist´em smyslu analogie eficientn´ıho bodu ve v´ıcekriteria´ln´ı optimalizaci. Pro hr´aˇce je mnohem lepˇs´ım rovnov´aˇzn´ ym bodem, protoˇze ˇr´ık´a, ˇze pro ˇza´dn´eho hr´aˇce neexistuje jin´a strategie, pˇri kter´e by mˇel za dan´ ych strategick´ ych profil˚ u protihr´aˇc˚ u alespoˇ n jednu v´ yplatn´ı funkc´ı vyˇsˇs´ı a ostatn´ı stejn´e. Pˇrirozenˇe i kdyˇz je jedin´e krit´erium lepˇs´ı, je pro hr´aˇce vektor v´ yplatn´ıch funkc´ı lepˇs´ı. Hled´an´ı siln´eho rovnov´aˇzn´eho bodu b´ yv´a ovˇsem mnohem n´aroˇcnˇejˇs´ı, a tak se vyuˇz´ıv´a definice slab´eho rovnov´aˇzn´eho bodu. Slab´ y rovnov´aˇzn´ y bod je narozd´ıl od siln´eho rovnov´aˇzn´eho bodu mnohem slabˇs´ı 12
ˇ ık´a n´am pouze to, ˇze pro definice, kterou bychom nejsp´ıˇs pˇrirozenˇe nepouˇzili. R´ ˇza´dn´eho hr´aˇce neexistuje alternativn´ı strategie, pˇri kter´e by mˇel za dan´ ych strategick´ ych profil˚ u protihr´aˇc˚ u vˇsechny v´ yplatn´ı funkce vyˇsˇs´ı. Pokud vˇsak napˇr. pˇri strategii xi m´a pˇri dan´em strategick´em profilu protihr´aˇc˚ u x−i vektor v´ yplatn´ıch funkc´ı (2,2), zat´ımco pˇri strategii xei by mˇel vektor v´ yplatn´ıch funkc´ı (2,100), patˇr´ı do mnoˇziny rovnov´aˇzn´ ych bod˚ u, jak bod (xi , x−i ), tak bod (xei , x−i ). Poznamenejme, ˇze rovnov´aˇzn´ ych bod˚ u m˚ uˇze b´ yt a tak´e ˇcasto b´ yv´a velmi mnoho. Jeˇstˇe si uk´aˇzeme ilustraˇcn´ı pˇr´ıklad. Pˇ r´ıklad 3.6. Uvaˇzujme maticovˇe zadanou hru dvou hr´aˇc˚ u. Kaˇzd´ y hr´aˇc m´a dvˇe v´ yplatn´ı funkce. Hr´aˇc 1 m´a strategie M a N, hr´aˇc 2 m´a strategie P a Q. Hodnoty v´ yplatn´ıch funkc´ı hr´aˇce 1 jsou zobrazeny v matici A, hodnoty v´ yplatn´ıch funkc´ı hr´aˇce 2 v matici B. (1, 1) (0, 3) A= (3, 5) (2, 4) (2, 4) (3, 1) B= (2, 0) (2, 1) To tedy znamen´a n´asleduj´ıc´ı tabulku v´ yplatn´ıch funkc´ı prvn´ıho hr´aˇce P Q M (1,1) (0,3) N (3,5) (2,4)
a tabulku v´ yplatn´ıch funkc´ı druh´eho hr´aˇce M N
P Q (2,4) (3,1) . (2,0) (2,1)
Zaj´ım´a n´as, jak je to s rovnov´aˇzn´ ymi body. Pod´ıv´ame-li se na tabulku v´ yplatn´ıch funkc´ı hr´aˇce 1, vid´ıme, ˇze strategie N dominuje strategii M. To znamen´a, ˇze at’ hr´aˇc 2 zvol´ı jakoukoli strategii, vˇzdy bude pro hr´aˇce 1 nejlepˇs´ı zvolit strategii N, hodnota obou v´ yplatn´ıch funkc´ı je v takov´em pˇr´ıpadˇe nejlepˇs´ı. Strategie hr´aˇce 1 v rovnov´aˇzn´em bodˇe tedy mus´ı b´ yt nutnˇe ˇcist´a strategie N. Kdyby mˇel nenulovou pravdˇepodobnost zvolen´ı strategie M, vˇzdy by existovala lepˇs´ı sm´ıˇsen´a strategie (vektor (0, 1)), pro niˇz by byla v´ yplatn´ı funkce vˇetˇs´ı ve vˇsech smyslech definice 3.3. Nesplˇ novala by tedy ani jednu definici rovnov´aˇzn´eho bodu. Hr´aˇc 1 m´a tedy v rovnov´aˇzn´em bodˇe sm´ıˇsenou strategii (0, 1). U hr´aˇce 2 je situace zaj´ımavˇejˇs´ı. Hled´ame rovnov´aˇzn´ y bod, a proto se nemus´ıme zab´ yvat hodnotami jeho v´ yplatn´ı funkce v pˇr´ıpadˇe zvolen´ı strategie M hr´aˇcem 1 (zvol´ı ji s nulovou pravdˇepodobnost´ı). Zaj´ımaj´ı n´as tedy pouze vektory (2, 0) pˇri strategii P a (2, 1) pˇri strategii Q. Na prvn´ı pohled vid´ıme, ˇze je pro hr´aˇce 2 13
v´ yhodnˇejˇs´ı strategie Q. Ta splˇ nuje definici 3.4 i definici 3.5. Je to ale jedin´ y rovnov´aˇzn´ y bod? Vektor sm´ıˇsen´ ych strategi´ı (0, 1) hr´aˇce 2 je siln´ y rovnov´aˇzn´ y bod skuteˇcnˇe jako jedin´ y. Pokud by hr´aˇc 2 zvolil jakoukoli jinou sm´ıˇsenou strategii, pak by existovala strategie (vektor (0, 1)), pro kterou by byla hodnota vektoru v´ yplatn´ıch funkc´ı vˇetˇs´ı ve smyslu ≥ (viz definice 3.3), tj. hodnota jedn´e v´ yplatn´ı funkce by byla stejn´a a hodnota druh´e v´ yplatn´ı funkce by byla vyˇsˇs´ı. Ovˇsem podle definice 3.4 je slab´ ym rovnov´aˇzn´ y bodem jak´akoli sm´ıˇsen´a strategie ’ hr´aˇce 2. Protoˇze at hr´aˇc zvol´ı libovolnou strategii (α, 1 − α), nikdy nebude vektor v´ yplatn´ıch funkc´ı vˇetˇs´ı ve smyslu >, hodnota prvn´ı v´ yplatn´ı funkce bude st´ale 2 a nikdy vyˇsˇs´ı. Hra m´a tedy jeden siln´ y rovnov´aˇzn´ y bod ((0, 1) , (0, 1)) a nekoneˇcnˇe mnoho slab´ ych rovnov´aˇzn´ ych bod˚ u {((0, 1), (α, 1 − α)) , α ∈ [0, 1]}. M Z´avˇerem t´eto podkapitoly jeˇstˇe zm´ın´ıme obvykl´e znaˇcen´ı pro konvexn´ı polyedr, kter´e budeme pouˇz´ıvat v podkapitole 3.2. Definice 3.7. Pro nepr´azdnou mnoˇzinu S ∈ Rn definujeme konvexn´ı obal jako ( ) X X conv(S) = λ(s)s : λ(s) ≥ 0 ∀s ∈ I, λ(s) = 1, I ⊂ S koneˇcn´a . s∈I
s∈I
Pro pr´azdnou mnoˇzinu definici rozˇs´ıˇr´ıme: conv(∅) = ∅. Definice 3.8. Mnoˇzinu A ⊂ Rn naz´ yv´ame konvexn´ı polyedr, existuje-li koneˇcn´a n mnoˇzina S ⊂ R takov´a, ˇze A = conv(S).
14
3.2
Struktura ˇ reˇ sen´ı hry dvou hr´ aˇ c˚ u
Tato podkapitola je pˇrevzata z [2]. Nyn´ı pˇredpokl´adejme koneˇcnou v´ıcekriteri´aln´ı hru pouze dvou hr´aˇc˚ u. Oznaˇc´ıme si tedy mnoˇzinu ˇcist´ ych strategi´ı prvn´ıho hr´aˇce X := X1 , mnoˇzinu ˇcist´ ych strategi´ı druh´eho hr´aˇce Y := X2 , mnoˇzinu sm´ıˇsen´ ych strategi´ı prvn´ıho hr´aˇce 4(X) := 4(X1 ) a mnoˇzinu sm´ıˇsen´ ych strategi´ı druh´eho hr´aˇce 4(Y ) := 4(X2 ). Mnoˇzinu r(1) krit´eri´ı prvn´ıho hr´aˇce oznaˇc´ıme S, mnoˇzinu r(2) krit´eri´ı druh´eho hr´aˇce T . Pro kaˇzdou dvojici ˇcist´ ych strategi´ı x ∈ X, y ∈ Y dostaneme vektor hodnot v´ yplatn´ı funkce hr´aˇce i: ui (x, y). Pro kaˇzd´e krit´erium s ∈ S si oznaˇc´ıme (As )xy := es .ui (x, y), kde es .ui (x, y) znaˇc´ı skal´arn´ı souˇcin vektoru v´ yplatn´ıch funkc´ı a jednotkov´eho vektoru, kter´ y m´a jedniˇcku na s-t´em m´ıstˇe a nuly jinde. Je to tedy hodnota s-t´eho krit´eria prvn´ıho hr´aˇce pˇri ˇcist´ ych strategi´ıch x a y. Obdobnˇe oznaˇc´ıme (Bt )xy := et .ui (x, y), kde et .ui (x, y) znaˇc´ı skal´arn´ı souˇcin vektoru v´ yplatn´ıch funkc´ı a jednotkov´eho vektoru, kter´ y m´a jedniˇcku na t-t´em m´ıstˇe a nuly jinde. Tedy obdobnˇe jako v pˇr´ıpadˇe prvn´ıho hr´aˇce to je hodnota t-t´eho krit´eria druh´eho hr´aˇce pˇri ˇcist´ ych strategi´ıch x a y. V´ıcekriteri´aln´ı hra je jednoznaˇcnˇe zad´ana posloupnostmi matic A a B: A := (As )s∈S
a
B := (Bt )t∈T ,
As := [(As )xy ](x,y)∈X×Y
a
Bt := [(Bt )xy ](x,y)∈X×Y .
Matice A a B budeme ch´apat jako matice vektor˚ u. Rozmˇer tˇechto matic: |X|×|Y |. Za pˇredpokladu sm´ıˇsen´ ych strategi´ı p ∈ 4(X) a q ∈ 4(Y ) nazveme vektorem v´ yplatn´ıch funkc´ı v´ yraz pAq := (pAs q)s∈S
a
pBq := (pBt q)t∈T .
Nyn´ı si pˇripomeneme definici nejlepˇs´ı odpovˇedi. Definice 3.9. Necht’ q ∈ 4(Y ) je strategie druh´eho hr´aˇce. Strategie p ∈ 4(X) prvn´ıho hr´aˇce se naz´ yv´a nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce proti q, pokud neexistuje strategie pe ∈ 4(X) takov´a, ˇze vektor v´ yplatn´ıch funkc´ı peAq dominuje vektor v´ yplatn´ıch funkc´ı pAq. Mnoˇzinu nejlepˇs´ıch odpovˇed´ı prvn´ıho hr´aˇce proti q budeme znaˇcit BR1 (q). Obdobnou definici uvaˇzujeme i pro druh´eho hr´aˇce. Jeho mnoˇzinu nejlepˇs´ıch odpovˇed´ı proti p pak budeme znaˇcit BR2 (p).
15
Definici 3.4 lze pak ekvivalentnˇe vyj´adˇrit tak, ˇze strategick´ y p´ar (p, q) je rovnov´aˇzn´ ym bodem pr´avˇe tehdy, kdyˇz p ∈ BR1 (q) a q ∈ BR2 (p). Necht’ nyn´ı druh´ y hr´aˇc pˇriˇrad´ı kaˇzd´emu krit´eriu t ∈ T v´ahu λt . Potom vektor X λ = (λt )t∈T ) , λt ≥ 0, λt = 1, t∈T
jehoˇz t-t´a sloˇzka pˇriˇrad´ı v´ahu t-t´emu krit´eriu druh´eho hr´aˇce, nazveme vektor vah krit´eri´ı druh´eho hr´aˇce. Pot´e m˚ uˇzeme vyj´adˇrit zisk druh´eho hr´aˇce pˇri sm´ıˇsen´ ych strategi´ıch (ei , ej ), ei ∈ X, ej ∈ Y (tedy hr´aˇc 1 vol´ı ˇcistou strategii i s pravdˇepodobnost´ı 1 a hr´aˇc 2 vol´ı ˇcistou strategii j s pravdˇepodobnost´ı 1) jako re´aln´e ˇc´ıslo ! X X λt ei Bt ej = ei λt Bt ej . t∈T
t∈T
Pˇri dan´em vektoru vah λ hr´aˇce 2 oznaˇc´ıme matici X B(λ) := λt Bt t∈T
pro v´ ypoˇcet jeho zisku. Nyn´ı m˚ uˇzeme formulovat v´ ysledek Shapleyho [12]. Lemma 3.10. Necht’ p je strategie prvn´ıho hr´aˇce a necht’ q je strategie druh´eho hr´aˇce. Pak jsou n´asleduj´ıc´ı tvrzen´ı ekvivalentn´ı. (i) q je nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce proti p (ii) existuje vektor vah λ := (λt )t∈T takov´y, ˇze q je nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce proti p, uvaˇzujeme-li pro druh´eho hr´aˇce jedin´e krit´erium dan´e matic´ı B(λ). D˚ ukaz. D˚ ukaz lze nal´ezt v [12]. Jin´ ymi slovy lemma ˇr´ık´a, ˇze q je nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce proti p tehdy a jen tehdy, m˚ uˇze-li druh´ y hr´aˇc ohodnotit kaˇzd´e krit´erium t ∈ T nez´apornou v´ahou λt tak, ˇze v´ ysledn´e krit´erium je maxim´aln´ı pro q, hraje-li prvn´ı hr´aˇc strategii p. Nyn´ı zkonstruujeme dekompozici mnoˇziny rovnov´aˇzn´ ych bod˚ u hry zadan´e maticemi A, B na koneˇcn´ y poˇcet mnoˇzin, tj. rozloˇz´ıme mnoˇzinu ˇreˇsen´ı na disjunktn´ı sjednocen´ı podmnoˇzin. Pˇredpokl´adejme, ˇze m´ame hru dvou hr´aˇc˚ u a podmnoˇzinu V ⊆ X ˇcist´ ych strategi´ı prvn´ıho hr´aˇce. Oznaˇc´ıme 4(V ) mnoˇzinu sm´ıˇsen´ ych strategi´ı prvn´ıho hr´aˇce na podmnoˇzinˇe ˇcist´ ych strategi´ı V . D´ale oznaˇc´ıme U (V ) mnoˇzinu sm´ıˇsen´ ych strategi´ı druh´eho hr´aˇce, kter´a reprezentuje mnoˇzinu nejlepˇs´ıch odpovˇed´ı proti (minim´alnˇe) vˇsem strategi´ım z 4(V ). Takovou mnoˇzinu U (V ) nazveme region stability. Obdobnˇe oznaˇc´ıme 4(W ) mnoˇzinu sm´ıˇsen´ ych strategi´ı druh´eho hr´aˇce, kde W ⊆ Y , a U (W ) mnoˇzinu sm´ıˇsen´ ych strategi´ı prvn´ıho hr´aˇce, kter´e jsou nejlepˇs´ı odpovˇed´ı proti (minim´alnˇe) vˇsem strategi´ım z 4(W ). Rozhoduj´ıc´ı pro n´as je, ˇze vˇsechny tyto mnoˇziny 4(V ), 4(W ), U (V ), U (W ) jsou 16
konvexn´ı polyedry a pro kaˇzd´ y konvexn´ı polyedr je moˇzn´e naj´ıt syst´em line´arn´ıch nerovnost´ı, kter´e jej popisuj´ı. Z toho z´aroveˇ n plyne, ˇze mnoˇzina (4(V ) ∩ U (W )) × (4(W ) ∩ U (V )) je tak´e konvexn´ı polyedr. Kromˇe toho m´ame pouze koneˇcn´ y poˇcet takov´ ych mnoˇzin a lze uk´azat, ˇze jejich sjednocen´ı je pr´avˇe mnoˇzina rovnov´aˇzn´ ych bod˚ u dan´e hry dvou hr´aˇc˚ u. Nakonec jeˇstˇe uved’me definici: Definice 3.11. Necht’ m ∈ Rn a P necht’ P je konvexn´ı polyedr v Rn . Pro dva n vektory k, l ∈ Rn necht’ hk, li := arn´ı souˇcin k a l. Vektor m i=1 ki .li je skal´ dosahuje sv´eho maxima na P v bodˇe k ∈ P , pokud hm, ki ≥ hm, li
pro vˇsechna l ∈ P.
N´aslednˇe zformulujeme zn´am´e lemma (d˚ ukaz lze nal´ezt v [11]). Lemma 3.12. Necht’ m je vektor v Rn . D´ale necht’ P je konvexn´ı polyedr v Rn a F je stˇena konvexn´ıho polyedru P . Pokud m dosahuje sv´eho maxima na P v nˇejak´em bodˇe l relativn´ıho vnitˇrku F , pak dosahuje sv´eho maxima na P tak´e v jak´emkoli dalˇs´ım bodˇe F . Poznamenejme d´ale, ˇze 4(V ) je vlastnˇe mnoˇzina strategi´ı p ∈ 4(X), jejichˇz nosiˇc je podmnoˇzina V . (Nosiˇcem sm´ıˇsen´e strategie naz´ yv´ame soubor ˇcist´ ych strategi´ı, kter´e maj´ı pozitivn´ı pravdˇepodobnost v t´eto dan´e sm´ıˇsen´e strategii.) Definujeme region stability U (V ) druh´eho hr´aˇce takto: U (V ) := {q ∈ 4(Y )|4(V ) ⊂ BR1 (q)} . Obdobnˇe oznaˇc´ıme 4(W ) mnoˇzinu strategi´ı q ∈ 4(Y ), jejichˇz nosiˇc je podmnoˇzinou W a definujeme region stability U (W ) prvn´ıho hr´aˇce takto: U (W ) := {p ∈ 4(X)|4(W ) ⊂ BR2 (p)} . Koneˇcnˇe m˚ uˇzeme zformulovat kl´ıˇcovou vˇetu. Vˇ eta 3.13. Mnoˇzina rovnov´aˇzn´ych bod˚ u hry zadan´e maticemi A, B se rovn´ a sjednocen´ı mnoˇzin (4(V ) ∩ U (W )) × (4(W ) ∩ U (V )) pˇres vˇsechny V ⊂ X a W ⊂ Y . D˚ ukaz. Nejprve uk´aˇzeme, ˇze je-li strategick´ y p´ar (p, q) prvkem mnoˇziny (4(V ) ∩ U (W )) × (4(W ) ∩ U (V )), pak je to rovnov´aˇzn´ y bod. Pot´e uk´aˇzeme, ˇze je-li (p, q) rovnov´aˇzn´ y bod, pak je prvkem (4(V ) ∩ U (W )) × (4(W ) ∩ U (V )) pro nˇejak´e mnoˇziny V ⊂ X a W ⊂ Y . (i) Pˇredpokl´adejme tedy, ˇze strategick´ y p´ar (p, q) je prvkem (4(V ) ∩ U (W )) × (4(W ) ∩ U (V )) pro nˇejakou podmnoˇzinu V ⊆ X a podmnoˇzinu W ⊆ Y . Uk´aˇzeme pouze, ˇze p je nejlepˇs´ı odpovˇed´ı proti q. Tedy je-li q prvkem U (V ), v´ıme, ˇze jak´akoli strategie z 4(V ) je nejlepˇs´ı odpovˇed´ı proti q. Avˇsak p je ˇ iq prvkem 4(V ) dle pˇredpoklad˚ u. Tedy p je nejlepˇs´ı odpovˇed´ı proti q. Ze je nejlepˇs´ı odpovˇed´ı proti p, by se uk´azalo analogicky. 17
(ii) Naopak, necht’ (p, q) je rovnov´aˇzn´ y bod. Vezmˇeme mnoˇzinu V jako line´arn´ı obal vektoru p: V = C(p) a W jako line´arn´ı obal vektoru q: W = C(q). Uk´aˇzeme, ˇze p je prvkem (4(V ) ∩ U (W )). Zˇrejmˇe p je prvkem 4(V ). Takˇze staˇc´ı uk´azat, ˇze p je tak´e prvkem U (W ). Jin´ ymi slovy, potˇrebujeme uk´azat, ˇze kaˇzd´a strategie qe ∈ 4(W ) je nejlepˇs´ı odpovˇed´ı proti p. Vezmˇeme tedy nˇejakou strategii qe ∈ 4(W ). Jelikoˇz q je nejlepˇs´ı odpovˇed´ı proti p, v´ıme z lemmatu 3.10, ˇze existuje vektor vah λ = (λt )t∈T takov´ y, ˇze q je nejlepˇs´ı odpovˇed´ı proti p podle krit´eria dan´eho matic´ı B(λ). Jin´ ymi slovy, vektor pB(λ) dosahuje maxima na 4(Y ) v bodˇe q. Avˇsak protoˇze q je prvkem relativn´ıho vnitˇrku 4(W ), tak pB(λ) mus´ı dosahovat sv´eho maxima podle lemmatu 3.12 tak´e v bodˇe qe ∈ 4(W ). Tedy qe je nejlepˇs´ı odpovˇed´ı proti p podle krit´eria dan´eho matic´ı B(λ). Proto opˇet dle lemmatu 3.10 je qe nejlepˇs´ı odpovˇed´ı proti p, a tedy p ∈ (4(V ) ∩ U (W )). ˇ q je prvkem (4(W ) ∩ U (V )), by se opˇet dok´azalo analogicky. Ze
Mnoˇziny 4(V ) a 4(W ) jsou konvexn´ı polyedry pro vˇsechny podmnoˇziny V ∈ X a W ∈ Y . Proto z pˇredchoz´ı vˇety plyne, ˇze mnoˇzina rovnov´aˇzn´ ych bod˚ u hry zadan´e maticemi A, B je koneˇcn´e sjednocen´ı konvexn´ıch polyedr˚ u tehdy a jen tehdy, jsou-li mnoˇziny U (V ) a U (W ) konvexn´ı polyedry. Bohuˇzel to vˇsak neplat´ı vˇzdy. Uk´aˇzeme si n´azorn´ y protipˇr´ıklad, na nˇemˇz si z´aroveˇ n pˇredvedeme zp˚ usob ˇreˇsen´ı v´ıcekriteri´aln´ı hry. ˇ e strategie Pˇ r´ıklad 3.14. Mˇejme dva hr´aˇce, oba maj´ı tˇri ˇcist´e strategie. Cist´ prvn´ıho hr´aˇce pojmenujeme T , M a B, ˇcist´e strategie druh´eho hr´aˇce pojmenujeme L, C a R. Prvn´ı hr´aˇc m´a dvˇe krit´eria a druh´ y hr´aˇc pouze jedno krit´erium. V´ yplatn´ı funkce druh´eho hr´aˇce je st´ale nula. V´ yplatn´ı matice A prvn´ıho hr´aˇce je (1, 1) (0, 0) (0, 0) A = (0, 0) (4, 0) (0, 0) . (0, 0) (0, 0) (0, 4) Pˇripom´ın´ame, ˇze prvn´ı hr´aˇc vol´ı ˇr´adkov´e strategie a druh´ y hr´aˇc vol´ı sloupcov´e strategie. Jelikoˇz druh´ y hr´aˇc je zcela nestrann´ y - jeho krit´erium je st´ale stejn´e, je jak´akoli jeho strategie q nejlepˇs´ı odpovˇed´ı na jakoukoli strategii p prvn´ıho hr´aˇce. Je tedy zˇrejm´e, ˇze strategick´ y p´ar (p, q) je rovnov´aˇzn´ ym bodem pr´avˇe tehdy, kdyˇz p ∈ BR1 (q). Jin´ ymi slovy, mnoˇzina rovnov´aˇzn´ ych bod˚ u se rovn´a grafu nejlepˇs´ıch odpovˇed´ı BR1 . Abychom mohli nakreslit v´ ysledn´ y graf, mus´ıme nejprve spoˇc´ıtat regiony stability druh´eho hr´aˇce. Nejprve poznamenejme, ˇze hraje-li druh´ y hr´aˇc strategii q = (qL , qC , qR ) a prvn´ı hr´aˇc ˇcistou strategii eT = (1, 0, 0), pak v´ yplatn´ı funkce prvn´ıho hr´aˇce je vektor ’ eT Aq = (qL , qL ). To je zˇrejm´e, nebot i bez n´asoben´ı vektor˚ u snadno nahl´edneme, ˇze hodnota jeho prvn´ı v´ yplatn´ı funkce bude 1 s pravdˇepodobnost´ı qL a 0 jinak, stejnˇe tak i jeho druh´a v´ yplatn´ı funkce bude 1 s pravdˇepodobnost´ı qL a 0 jinak. Podobnˇe hraje-li prvn´ı hr´aˇc ˇcistou strategii eM = (0, 1, 0), je jeho v´ yplatn´ı funkce vektor eM Aq = (4qC , 0), a hraje-li ˇcistou strategii eB = (0, 0, 1), je jeho v´ yplatn´ı 18
funkce vektor eB Aq = (0, 4qR ). Vid´ıme, ˇze bod (qL , qL ) leˇz´ı na pˇr´ımce x = y, bod (4qC , 0) leˇz´ı na ose y = 0 a bod (0, 4qR ) leˇz´ı na ose x = 0. M˚ uˇzeme tak snadno zn´azornit 5 situac´ı, kter´e mohou nastat:
Situace I Z obr´azku 3.1 vid´ıme, ˇze eT Aq = (qL , qL ) dominuje eM Aq = (4qC , 0) i eB Aq =
Obr´azek 3.1: Situace I (0, 4qR ).
Situace II a III Z obr´azku 3.2 vid´ıme, ˇze v situaci II eT Aq = (qL , qL ) dominuje eB Aq = (0, 4qR ),
Obr´azek 3.2: Situace II a III ale nedominuje eM Aq = (4qC , 0). Situace III je symetrick´a s t´ım, ˇze eT Aq =
19
(qL , qL ) dominuje eM Aq = (4qC , 0), ale nedominuje eB Aq = (0, 4qR ).
Situace IV Z obr´azku 3.3 vid´ıme, ˇze v situaci IV eT Aq = (qL , qL ) nedominuje eB Aq =
Obr´azek 3.3: Situace IV (0, 4qR ), ani eM Aq = (4qC , 0).
Situace V Z obr´azku 3.4 vid´ıme, ˇze v situaci V je pak eT Aq = (qL , qL ) dominov´an nˇejakou
Obr´azek 3.4: Situace V konvexn´ı kombinac´ı eB Aq = (0, 4qR ) a eM Aq = (4qC , 0). Kdyˇz pot´e d´ame dohromady vˇsech pˇet situac´ı, kter´e mohou nastat, z´ısk´ame regiony stability druh´eho hr´aˇce, kter´e vid´ıme na obr´azku 3.5.
20
Obr´azek 3.5: Regiony stability druh´eho hr´aˇce Regiony stability na obr´azku 3.5 urˇc´ıme pˇr´ımoˇcaˇre n´asleduj´ıc´ım zp˚ usobem. Spoˇcteme, pro jak´e hodnoty q = (qL , qC , qR ) vypad´a situace jako v situaci I. Zjist´ıme, ˇze pˇri situaci qL ≥ 4qC , qL ≥ 4qR , coˇz je pˇresnˇe zn´azornˇeno zakreslen´ ymi dvˇema u ´seˇckami. ˇ ımsk´e ˇc´ıslice v oblastech obr´azku pr´avˇe koresponduj´ı s v´ R´ yˇse popsan´ ymi situacemi. Hranice mezi oblastmi I a II a oblastmi III, IV a V jsou d´any rovnost´ı qL = 4qR . Podobnˇe qL = 4qC urˇcuje hranici mezi oblastmi I a III a mezi oblastmi II, IV a V. Koneˇcnˇe nejv´ıce n´as zaj´ım´a hranice mezi oblast´ı V a ostatn´ımi. Hranice je pˇresnˇe tam, kde eT Aq je prvkem u ´seˇcky mezi eM Aq a eB Aq. To znamen´a, ˇze se jedn´a o mnoˇzinu strategi´ı (qL , qL ) splˇ nuj´ıc´ı line´arn´ı rovnici qR x + qC y = 4qC qR . Proto to mus´ı b´ yt mnoˇzina strategi´ı splˇ nuj´ıc´ı kvadratickou rovnici qL qR + qL qC = 4qC qR (kromˇe ˇreˇsen´ı (qL , qC , qR ) = (1, 0, 0)). Nyn´ı z obr´azk˚ u 3.1, 3.2, 3.3, 3.4 a 3.5 snadno m˚ uˇzeme popsat regiony stability druh´eho hr´aˇce. Staˇc´ı si uvˇedomit, ˇze v situaci I je dle obr´azku 3.1 nejlepˇs´ı odpovˇed´ı ˇcist´a strategie T , tedy situace I patˇr´ı do regionu stability U ({T }). V situaci II je dle obr´azku 3.2 nejlepˇs´ı odpovˇed´ı sm´ıˇsen´a strategie pˇrisuzuj´ıc´ı veˇskerou v´ahu na strategie T a M , tedy situace II patˇr´ı do regionu stability U ({T }), U ({M }) a U ({T, M }). Situace III symetricky patˇr´ı do regionu stability U ({T }), U ({B}) a U ({T, B}). V situaci IV je pak dle obr´azku 3.3 nejlepˇs´ı odpovˇed´ı bud’ sm´ıˇsen´a strategie pˇrisuzuj´ıc´ı veˇskerou v´ahu na strategie T a M nebo na strategie T a B, tedy situace IV patˇr´ı do regionu stability U ({T }), U ({M }) a U ({B}), U ({T, M }) a U ({T, B}). V situaci V je dle obr´azku 3.4 nejlepˇs´ı odpovˇed´ı sm´ıˇsen´a strategie pˇrisuzuj´ıc´ı veˇskerou v´ahu na strategie M a B, tedy situace V patˇr´ı do regionu stability U ({M }), U ({B}) 21
a U ({M, B}). Specifick´ y je region stability U ({T, M, B}). Sm´ıˇsen´a strategie libovolnˇe rozloˇzen´a mezi strategie T , M , B je nejlepˇs´ı odpovˇed´ı pouze, pokud jsou vˇsechny body na jedn´e pˇr´ımce. To je vˇsak pouze v pˇr´ıpadˇe pr˚ uniku situac´ı IV a V. Regiony stability tedy vypadaj´ı n´asledovnˇe: U ({T }) = I ∪ II ∪ III ∪ IV U ({M }) = II ∪ IV ∪ V U ({B}) = III ∪ IV ∪ V U ({T, M }) = II ∪ IV U ({T, B}) = III ∪ IV U ({M, B}) = V U ({T, M, B}) = IV ∩ V
Koneˇcnˇe se dost´av´ame k tomu, co jsme chtˇeli uk´azat na tomto pˇr´ıkladˇe. Jak m˚ uˇzeme vidˇet, mnoˇzina U ({T, M, B}) je kvadratick´a kˇrivka. To znamen´a, ˇze podmnoˇzinu 4 ({T, M, B}) × U ({T, M, B}) mnoˇzin rovnov´aˇzn´ ych bod˚ u nelze vyj´adˇrit jako koneˇcn´e sjednocen´ı konvexn´ıch polyedr˚ u. M Pˇr´ıklad n´am uk´azal, ˇze pokud alespoˇ n jeden hr´aˇc m´a v´ıce krit´eri´ı, neplat´ı automaticky, ˇze mnoˇzina rovnov´aˇzn´ ych bod˚ u je koneˇcn´e sjednocen´ı konvexn´ıch polyedr˚ u. M˚ uˇze obsahovat kvadratickou sloˇzku pr´avˇe tehdy, kdyˇz oba hr´aˇci maj´ı alespoˇ n tˇri ˇcist´e strategie. Pokud se vˇsak omez´ıme na pˇr´ıpad, kdy alespoˇ n jeden hr´aˇc m´a nejv´ yˇse dvˇe ˇcist´e strategie, pak budeme m´ıt zaruˇceno, ˇze mnoˇzina rovnov´aˇzn´ ych bod˚ u bude vskutku nutnˇe koneˇcn´ ym sjednocen´ım konvexn´ıch polyedr˚ u. D˚ ukaz, ˇze nutnou a postaˇcuj´ıc´ı podm´ınkou, aby mnoˇzina rovnov´aˇzn´ ych bod˚ u vznikla koneˇcn´ ym sjednocen´ım konvexn´ıch polyedr˚ u, je, aby alespoˇ n jeden hr´aˇc mˇel nejv´ yˇse dvˇe ˇcist´e strategie, m˚ uˇzeme nal´ezt v [2]. Tento koncept ˇreˇsen´ı je jeˇstˇe o nˇeco podrobnˇeji rozebr´an a aplikov´an ve ˇctvrt´e kapitole.
22
3.3
Skalarizace v´ yplatn´ı funkce
Nyn´ı se pod´ıv´ame na pˇr´ımoˇcar´e ˇreˇsen´ı, kter´e n´as pravdˇepodobnˇe napadne pˇri stˇretnut´ı s v´ıcekriteri´aln´ı hrou, aniˇz bychom znali jak´ekoli koncepty ˇreˇsen´ı. Zjednoduˇsenˇe ˇreˇceno, v´ yplatn´ı funkce ocen´ıme, pˇriˇrad´ıme-li jim v´ahy podle toho, kter´e krit´erium preferujeme, a pot´e je seˇcteme. Ve v´ ysledku m´ame jedno krit´erium, kter´e chceme maximalizovat, stejnˇe ostatn´ı hr´aˇci. Dostali jsme tedy standardn´ı jednokriteri´aln´ı hru, u kter´e m˚ uˇzeme nal´ezt Nash˚ uv rovnov´aˇzn´ y bod. Pokud v´ahy m´ame, ˇci je z´ısk´ame, m˚ uˇzeme hru pomˇernˇe snadno pˇrev´est na zn´amou a prob´adanou u ´lohu a nepotˇrebujeme k tomu zn´at ˇza´dn´e dalˇs´ı v´ıce ˇci m´enˇe obt´ıˇzn´e zp˚ usoby specifick´eho hled´an´ı rovnov´aˇzn´ ych bod˚ u v´ıcekriteri´aln´ı hry. Za pˇredpokladu koneˇcn´e hry m´ame i zaruˇcenu existenci Nashova rovnov´aˇzn´eho bodu. Jedin´ ym probl´emem se m˚ uˇze zd´at, ˇze dan´e preference nemus´ıme m´ıt k dispozici a dokonce nemus´ıme m´ıt moˇznost, jak se k nim nˇejak´ ym zp˚ usobem dostat, ˇci je odhadnout. Pak tento koncept pouˇz´ıt nem˚ uˇzeme a mus´ıme zkusit jin´ y. Nejprve pˇredstavme z´akladn´ı vˇetu pˇrevzatou z literatury, pot´e si prakticky uk´aˇzeme na pˇr´ıkladˇe, jak takov´e ˇreˇsen´ı prob´ıh´a. Pro zjednoduˇsen´ı z´apisu jeˇstˇe oznaˇc´ıme intuitivnˇe Y X := Xj j∈N
a 4(X) :=
Y
4(Xj )
j∈N
Nyn´ı pro danou v´ıcekriteri´aln´ı hru G = hN, (Xi )i∈N , (ui )i∈N i , kde ui :
Y
Xj −→ Rr(i) ,
j∈N r(i)
pˇritom jednotliv´e sloˇzky vektoru ui hr´aˇce i odliˇs´ıme: ui = (u1i , . . . , ui ), definujeme klasickou jednokriteri´aln´ı hru G = hN, (Xi )i∈N , (vi )i∈N i , kde vi :
Y
Xj −→ R,
j∈N r(i)
vi (x) := λ1i · u1i (x) + . . . + λi kde λ := (λi )i∈N ,
23
r(i)
· ui (x),
λi :=
r(i) (λ1i , . . . , λi ),
r(i) X
λji = 1, λji ≥ 0
j=1
je soubor vah jednotliv´ ych hr´aˇc˚ u. Koneˇcnˇe m˚ uˇzeme vyslovit stˇeˇzejn´ı vˇetu pˇrevzatou z [9]. Obdobnou verzi uˇz vˇsak pˇredvedl Shapley v [12]. Vˇ eta 3.15. Necht’ x ∈ 4(X) je slab´y Nash˚ uv rovnov´aˇzn´y bod klasick´e jednokriteri´aln´ı hry G = hN, (Xi )i∈N , (vi )i∈N i , tj. pro vˇsechna i je xi nejlepˇs´ı odpovˇed´ı na strategick´y profil x−i protihr´aˇc˚ u. Pak x je slab´y rovnov´aˇzn´y bod pˇr´ısluˇsn´e v´ıcekriteri´aln´ı hry G = hN, (Xi )i∈N , (ui )i∈N i . D˚ ukaz. D˚ ukaz je snadn´ y a pˇr´ımoˇcar´ y. Pˇredpokl´ad´ame, ˇze x je Nash˚ uv rovnov´aˇzn´ y bod klasick´e hry. To znamen´a, ˇze pro vˇsechny hr´aˇce i ∈ N plat´ı tvrzen´ı: Pro vˇsechny strategie y ∈ 4(X) takov´e, pro nˇeˇz plat´ı, ˇze vˇsichni hr´aˇci kromˇe hr´aˇce i maj´ı strategii xi (tedy m˚ uˇzeme ps´at y = (yi , x−i )) plat´ı nerovnost vi (x) ≥ vi (y). Nyn´ı pro spor pˇredpokl´adejme, ˇze x nen´ı slab´ y rovnov´aˇzn´ y bod v´ıcekriteri´aln´ı hry. To znamen´a, ˇze existuje hr´aˇc i ∈ N , pro nˇehoˇz plat´ı: Existuje takov´a strategie y ∈ 4(X) splˇ nuj´ıc´ı pˇredpoklad, ˇze vˇsichni hr´aˇci kromˇe hr´aˇce i maj´ı strategii xi (tedy m˚ uˇzeme ps´at y = (yi , x−i )), ˇze ui (y) > ui (x). Pak ovˇsem mus´ı platit vztah r(i)
vi (yi , x−i ) = vi (yi ) = λ1i · u1i (y) + λ2i · u2i (y) + . . . + λi r(i)
> λ1i · u1i (x) + λ2i · u2i (x) + . . . + λi
r(i)
· ui (y)
r(i)
· ui (x) = vi (x)
To ovˇsem neplat´ı, protoˇze jsme pˇredpokl´adali, ˇze x je Nash˚ uv rovnov´aˇzn´ y bod. Pozn´ amka 3.16. Povˇsimnˇeme si analogie s lemmatem 3.10. Vˇeta n´am tedy jin´ ymi slovy ˇr´ık´a, ˇze pokud jednotliv´ ym krit´eri´ım pˇriˇrad´ıme v´ahy a pˇrevedeme tak v´ıcekriteri´aln´ı hru na klasickou jednokriteri´aln´ı, nalezneme podmnoˇzinu slab´ ych rovnov´aˇzn´ ych bod˚ u p˚ uvodn´ı v´ıcekriteri´aln´ı hry odpov´ıdaj´ıc´ı preferenc´ım hr´aˇc˚ u.
24
Ted’ si pˇredvedeme pˇr´ıklad, na kter´em si uk´aˇzeme praktickou aplikaci v´ yˇse uveden´eho postupu.
Pˇ r´ıklad 3.17. Pˇredstavme si standardn´ı hru k´amen, n˚ uˇzky, pap´ır“. Pˇredpokl´a” dejme, ˇze hr´aˇci A a B maj´ı dvˇe r˚ uzn´e v´ yplatn´ı funkce, kter´e chtˇej´ı maximalizovat z´aroveˇ n a kter´e jdou proti sobˇe. Tj. pokud hr´aˇc vyhraje dle standardn´ıch pravidel, jeho prvn´ı v´ yplatn´ı funkce vzroste (resp. neklesne), kdeˇzto druh´a klesne (resp. nevzroste). Jin´ ymi slovy, pˇri maximalizaci prvn´ı v´ yplatn´ı funkce by se snaˇzil vyhr´at, ale pˇri maximalizaci druh´e v´ yplatn´ı funkce by se snaˇzil prohr´at. Pˇredpokl´adejme hru s nulov´ ym souˇctem. Hra je zadan´a matic´ı A (B je pak urˇcena vztahem B = −A): (0, 0) (2, −1) (−1, 0) A = (−2, 3) (0, 0) (3, −1) (2, −3) (−1, 4) (0, 0) Nyn´ı pˇredpokl´adejme, ˇze zn´ame preference hr´aˇc˚ u. Hr´aˇc A vol´ı v´ahy λ1 = (λ11 , λ21 ) = (0, 25; 0, 75), hr´aˇc B vol´ı v´ahy λ2 = (λ12 , λ22 ) = (0, 65; 0, 35). Chceme naj´ıt slab´e rovnov´aˇzn´e body. Nejprve uvaˇzujme hr´aˇce A. Jeho matice hodnot prvn´ı v´ yplatn´ı funkce U11 :
K N P
K N P 0 2 -1 -2 0 3 2 -1 0
a matice druh´e v´ yplatn´ı funkce U12 :
K N P
K N P 0 -1 0 3 0 -1 -3 4 0
Nyn´ı vytvoˇr´ıme skalarizovanou v´ yplatn´ı funkci v1 , resp. jej´ı matici V1 = 0, 25 · U11 + 0, 75 · U12 : 0 −0, 25 −0, 25 . 0 0 V1 = 1, 75 −1, 75 2, 75 0
25
Obdobnˇe uvaˇzujme hr´aˇce B. Jeho matice hodnot prvn´ı v´ yplatn´ı funkce U21 : K N P 0 -2 1 2 0 -3 -2 1 0
K N P a matice druh´e v´ yplatn´ı funkce U22 :
K N P 0 1 0 -3 0 1 3 -4 0
K N P
Opˇet vytvoˇr´ıme skalarizovanou v´ yplatn´ı funkci v2 , resp. jej´ı matici V2 = 0, 65 · U21 + 0, 35 · U22 : 0 −0, 95 0, 65 0 −1, 6 . V2 = 0, 25 −0, 25 −0, 75 0 Nyn´ı tedy m´ame standardn´ı jednokriteri´aln´ı hru - dva hr´aˇce, kaˇzd´ y m´a tˇri strategie a jednu v´ yplatn´ı funkci. M˚ uˇzeme zn´am´ ymi zp˚ usoby nal´ezt Nash˚ uv rovnov´aˇzn´ y bod. Standardn´ı maticovou hru vyˇreˇs´ıme pomoc´ı dominantn´ıch strategi´ı. Vid´ıme, ˇze v matici V1 druh´ y ˇr´adek ostˇre dominuje prvn´ı ˇra´dek. Odtud v´ıme, ˇze plat´ı p1 = 0, a m˚ uˇzeme tedy prvn´ı ˇr´adek - strategii k´amen“ - z matice vypustit a uvaˇzovat ” matici bez nˇej. D´ale vid´ıme, ˇze v matici V2 prvn´ı sloupec ostˇre dominuje druh´ y sloupec. Odtud opˇet v´ıme, ˇze plat´ı q2 = 0, a m˚ uˇzeme z matice vypustit druh´ y sloupec - strategii n˚ uˇzky“. ” Z˚ ustanou n´am tak v´ yplatn´ı matice: V1 =
V2 =
1, 75 0 −1, 75 0
0, 25 −1, 6 −0, 25 0
,
.
Nyn´ı bychom mohli hru snadno ˇreˇsit graficky, ale ˇreˇsen´ı je zˇrejm´e. Uvˇedom´ıme si, ˇze skalarizac´ı dvou funkc´ı antagonistick´eho konfliktu n´am vznikla hra, kter´a vˇsak jiˇz antagonistick´a nen´ı. Hr´aˇci maj´ı r˚ uzn´e v´ yplatn´ı funkce a zisk nebo ztr´ata protihr´aˇce je nijak nezaj´ım´a. Vid´ıme, ˇze hr´aˇc A m´a nejvyˇsˇs´ı hodnotu v´ yplatn´ı funkce v bodˇe (N, K) (v oznaˇcen´ı p˚ uvodn´ıch strategi´ı) a hr´aˇc B m´a nejvyˇsˇs´ı hodnotu v´ yplatn´ı funkce tak´e v bodˇe (N, K). Ani jeden z hr´aˇc˚ u nem˚ uˇze v ˇza´dn´e jin´e 26
dvojici strategi´ı z´ıskat v´ıce, a proto je bod (N, K) rovnov´aˇzn´ ym bodem t´eto hry. Hra tedy m´a ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Hodnota v´ yplatn´ı funkce prvn´ıho hr´aˇce je 1,75 a hodnota v´ yplatn´ı funkce druh´eho hr´aˇce je 0,25. Nyn´ı se m˚ uˇzeme vr´atit k p˚ uvodn´ı v´ıcekriteri´aln´ı hˇre. Pˇri ˇcist´ ych strategi´ıch (N, K) je vektor v´ yplatn´ıch funkc´ı prvn´ıho hr´aˇce (-2,3) a vektor v´ yplatn´ıch funkc´ı druh´eho hr´aˇce (2,-3). Dle vˇety 3.15 v´ıme, ˇze je to slab´ y rovnov´aˇzn´ y bod zadan´e v´ıcekriteri´aln´ı hry. M
27
3.4
Ide´ aln´ı rovnov´ aˇ zn´ e body
Tato podkapitola je pˇrevzata z [13]. V pˇredchoz´ı podkapitole jsme si uk´azali moˇznost ˇreˇsen´ı pomoc´ı skalarizace v´ yplatn´ı funkce. Obvykle vˇsak nezn´ame preference hr´aˇc˚ u, kter´e k ˇreˇsen´ı potˇrebujeme. Proto byl zkonstruov´an koncept hled´an´ı ide´aln´ıch rovnov´aˇzn´ ych bod˚ u. Ide´aln´ı rovnov´aˇzn´e body jsou robustn´ı v˚ uˇci preferenc´ım hr´aˇc˚ u, jsou stejn´e pro jak´ekoli v´ahy. Jejich existence bohuˇzel nen´ı zaruˇcena. Uvedeme vˇsak nˇekter´e pˇr´ıpady, kdy existuj´ı. Na rozd´ıl od nˇekter´ ych jin´ ych koncept˚ u ˇreˇsen´ı nalezen´ı ide´aln´ıch rovnov´aˇzn´ ych bod˚ u je pomˇernˇe snadn´e. Pˇresn´a horn´ı hranice pro poˇcet proveden´ ych skalarizac´ı je maximum z poˇctu krit´eri´ı jednotliv´ ych hr´aˇc˚ u. Definice 3.18. Pˇredpokl´adejme v´ıcekriteri´aln´ı hru G = hN, (Xi )i∈N , (ui )i∈N i . Ide´aln´ı rovnov´aˇzn´y bod je strategick´ y profil x ∈ 4(X) takov´ y, ˇze pro kaˇzd´eho hr´aˇce i ∈ N a kaˇzdou strategii x ei ∈ 4(Xi ) plat´ı ui (xi , x−i ) = ui (e xi , x−i ) dle definice 3.3. Pˇ r´ıklad 3.19. Je snadn´e uk´azat, ˇze ide´aln´ı rovnov´aˇzn´ y bod nemus´ı existovat, staˇc´ı uvaˇzovat hru jednoho hr´aˇce o dvou krit´eri´ıch: (1, 0) A= . (0, 1) Vid´ıme, ˇze zvol´ı-li hr´aˇc prvn´ı strategii, jeho zisk bude (1, 0), zvol´ı-li druhou strategii, jeho zisk bude (0, 1) a zvol´ı-li sm´ıˇsenou strategii (p, 1 − p), jeho zisk bude ˇ adn´e p nesplˇ (p, 1 − p). Z´ nuje definici ide´aln´ıho rovnov´aˇzn´eho bodu, protoˇze se zvyˇsov´an´ım p roste prvn´ı v´ yplatn´ı funkce, ale kles´a druh´a v´ yplatn´ı funkce. M Uk´aˇzeme si tak´e dva pˇr´ıklady, kter´e ide´aln´ı rovnov´aˇzn´ y bod maj´ı. Pˇ r´ıklad 3.20. Nyn´ı uvaˇzujme dva hr´aˇce A a B, kaˇzd´ y m´a dvˇe ˇcist´e strategie a dvˇe krit´eria. (1, 1) (0, 1) A= (1, 0) (1, 1) (1, 1) (1, 0) B= (0, 1) (1, 1) Hra m´a dvˇe ˇreˇsen´ı v ˇcist´ ych strategi´ıch: zvol´ı-li oba hr´aˇci prvn´ı strategii nebo zvol´ı-li oba hr´aˇci druhou strategii. Jejich v´ yplatn´ı funkce pak budou (1, 1) a (1, 1). M
28
Pˇ r´ıklad 3.21. Jeˇstˇe si uk´aˇzeme, ˇze ide´aln´ı rovnov´aˇzn´ y bod nemus´ı leˇzet nutnˇe v prostoru ˇcist´ ych strategi´ı. Uvaˇzujme n´asleduj´ıc´ı hru dvou hr´aˇc˚ u zadanou v´ yplatn´ımi maticemi (1, 0) (0, 1) A= (0, 1) (1, 0) (0, 1) (1, 0) B= . (1, 0) (0, 1) V tomto pˇr´ıkladˇe hr´a nem´a ide´aln´ı rovnov´aˇzn´ y bod v ˇcist´ ych strategi´ıch, ale existuje ide´aln´ı rovnov´ a ˇ z n´ y bod ve sm´ ıˇ s en´ y ch strategi´ ıch. Hra m´a jedin´e ˇreˇsen´ı, 1 1 1 1 1 1 a to ( 2 , 2 ), ( 2 , 2 ) . Pokud totiˇz jeden hr´aˇc hraje strategii 2 , 2 , pak nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce je jak´akoli sm´ıˇsen´a strategie a druh´ y hr´aˇc bude m´ıt vˇzdy stejn´ y zisk. Tot´eˇz plat´ı naopak. Je to tedy ide´aln´ı rovnov´aˇzn´ y bod. Pokud zvol´ı jeden z hr´aˇc˚ u jinou strategii, pak uˇz druh´ y hr´aˇc nem˚ uˇze zvolit strategii tak, y ide´aln´ı aby byli v ide´aln´ım rovnov´aˇzn´em bodˇe. Bod ( 12 , 21 ), ( 12 , 12 ) je tedy jedin´ rovnov´aˇzn´ y bod hry. M Pokud si vezmeme bˇeˇznou v´ıcekriteri´aln´ı hru, kaˇzd´ y hr´aˇc m´a nˇekolik krit´eri´ı. Vˇsechna se snaˇz´ı maximalizovat z´aroveˇ n. V podstatˇe si nejdˇr´ıve spoˇc´ıt´a optim´aln´ı hodnotu kaˇzd´e v´ yplatn´ı funkce zvl´aˇst’ a pot´e se snaˇz´ı pˇribl´ıˇzit tomuto ide´aln´ımu bodu u vˇsech v´ yplatn´ıch funkc´ı z´aroveˇ n. Pokud hra ide´aln´ı rovnov´aˇzn´ y bod m´a, hr´aˇci mohou ide´aln´ıho bodu dos´ahnout. Ide´aln´ı rovnov´aˇzn´e body jsou pˇresnˇe ty strategick´e profily, pˇri nichˇz kaˇzd´ y hr´aˇc dos´ahne sv´eho ide´aln´ıho bodu za pˇredpokladu dan´eho strategick´eho profilu jeho oponent˚ u. Uvaˇzujme v´ıcekriteri´aln´ı hru G = hN, (Xi )i∈N , (ui )i∈N i. Ide´aQ ln´ı bod pro hr´aˇce i ∈ N za pˇredpokladu strategick´eho profilu oponent˚ u x−i ∈ j∈N \{i} 4(Xj ) je r(i) definov´an jako ψi (x−i ) ∈ R s vlastnost´ı ∀k ∈ {1, . . . , r(i)} : ψik (x−i ) = max uki (xi , x−i ). xi ∈4(Xi )
Pokud se jedn´a o hru jednoho hr´aˇce, je ide´aln´ı bod jednoduˇse definov´an jako ψi ∈ Rr(i) s vlastnost´ı ∀k ∈ {1, . . . , r(i)} : ψik = max uki (xi ). xi ∈4(Xi )
D´ale oznaˇcme mnoˇzinu vah vektor˚ u symbolem Λ a pojmenujeme ji reprezentativn´ı, pokud pro kaˇzd´eho hr´aˇce a kaˇzdou jeho v´ yplatn´ı funkci obsahuje takov´ y vektor, kter´ y dan´e v´ yplatn´ı funkci pˇriˇrad´ı v´ahu rovnu jedn´e, tj. pro kter´e: ∀i ∈ N, ∀k ∈ {1, . . . , r(i)} , ∃λ = (λj )j∈N : λi = ek , myˇsleno λi = ek ⇐⇒ (λjk = 1; λjκ = 0 pro k 6= κ), κ ∈ {1, . . . , r(i)}. Nyn´ı si pˇredstav´ıme vˇetu, kter´a n´am pˇribl´ıˇz´ı charakteristiku ide´aln´ıch rovnov´aˇzn´ ych bod˚ u: 29
Vˇ eta 3.22. Q Mˇejme v´ıcekriteri´aln´ı hru G = hN, (Xi )i∈N , (ui )i∈N i, sm´ıˇsenou strategii x ∈ i∈N 4(Xi ) a Λ reprezentativn´ı mnoˇzinu vah vektor˚ u. Pak jsou n´asleduj´ıc´ı tvrzen´ı ekvivalentn´ı: (i) x je ide´aln´ı rovnov´aˇzn´y bod G (ii) ∀i ∈ N : ui (x) = ψi (x−i ) (iii) x patˇr´ı do pr˚ uniku Nashov´ych rovnov´aˇzn´ych bod˚ u klasick´e hry se skalarizovanou v´yplatn´ı funkc´ı pˇres vˇsechny moˇzn´e v´ahy λ = (λi )i∈N vˇsech hr´aˇc˚ u i∈N (iv) x patˇr´ı do pr˚ uniku Nashov´ych rovnov´aˇzn´ych bod˚ u klasick´e hry se skalarizovanou v´yplatn´ı funkc´ı pˇres reprezentativn´ı mnoˇzinu vah vektor˚ uΛ D˚ ukaz. D˚ ukaz je moˇzno nal´ezt v [13]. Je zˇrejm´e, ˇze bod (ii) motivoval k n´azvu konceptu. Bod (iii) indikuje robustnost ˇreˇsen´ı - nez´aleˇz´ı na zvolen´ı vah, pro jak´ekoli zvolen´e v´ahy hr´aˇc˚ u bude x rovnov´aˇzn´ ym bodem klasick´e hry se skalarizovanou v´ yplatn´ı funkc´ı. Bod (iv) ˇ ık´a, ˇze staˇc´ı prov´est nˇekolik je pro n´as pak d˚ uleˇzit´ y z v´ ypoˇcetn´ıch d˚ uvod˚ u. R´ ˇreˇsen´ı klasick´e hry se skalarizovanou v´ yplatn´ı funkc´ı, konkr´etnˇe poˇcet, kter´ y je roven poˇctu krit´eri´ı hr´aˇce s nejv´ıce krit´erii, abychom nalezli ˇreˇsen´ı. Je zˇrejm´e, ˇze nalezneme-li ide´aln´ı rovnov´aˇzn´ y bod, je i siln´ ym rovnov´aˇzn´ ym bodem. Pˇ r´ıklad 3.23. Uvaˇzujme v´ıcekriteri´aln´ı hru dvou hr´aˇc˚ u, prvn´ı hr´aˇc m´a 3 krit´eria a druh´ y hr´aˇc 7 krit´eri´ı. Reprezentativn´ı mnoˇzina vah by pak byla napˇr. Λ = {(e1 , e1 ), (e2 , e2 ), (e3 , e3 ), (e1 , e4 ), (e1 , e5 ), (e1 , e6 ), (e1 , e7 )} Pro v´ ypoˇcet ide´aln´ıch rovnov´aˇzn´ ych bod˚ u bychom tedy provedli sedm v´ ypoˇct˚ u Nashova rovnov´aˇzn´eho bodu klasick´ ych her se skalarizovan´ ymi v´ yplatn´ımi funkcemi v´aˇzen´ ymi v´ yˇse uveden´ ymi vektory. Jejich pr˚ unik by pak byla mnoˇzina ide´aln´ıch rovnov´aˇzn´ ych bod˚ u. M Pokud tedy m´ame hru, kter´a m´a ide´aln´ı rovnov´aˇzn´e body, snadno a rychle je pomoc´ı algoritm˚ u hled´an´ı Nashova rovnov´aˇzn´eho bodu najdeme. Vzhledem k rychl´emu ˇreˇsen´ı se pˇri relativnˇe mal´em poˇctu v´ yplatn´ıch funkc´ı vyplat´ı pˇred uˇzit´ım jin´ ych koncept˚ u zkusit, zda n´ahodou hra nem´a ide´aln´ı rovnov´aˇzn´e body. Teprve pokud n´am mnoˇzina vyjde pr´azdn´a, m˚ uˇzeme pot´e hledat jin´a sloˇzitˇejˇs´ı ˇreˇsen´ı. Jak vˇsak bylo pˇredesl´ano, ide´aln´ı rovnov´aˇzn´e body neexistuj´ı v mnoha hr´ach. Je tomu tak jednoduˇse proto, ˇze v´ yplatn´ı funkce jdou ˇcasto proti sobˇe - zv´ yˇs´ı-li se jedna, klesne druh´a a naopak. Uk´aˇzeme si ale skupinu v´ıcekriteri´aln´ıch her, kdy je zaruˇcena nepr´azdn´a mnoˇzina ide´aln´ıch rovnov´aˇzn´ ych bod˚ u. Jedn´a se o hry s potenci´aly. Hra s potenci´alem je jednokriteri´aln´ı hra, v n´ıˇz lze v´ yznamnou informaci t´ ykaj´ıc´ı
30
se mnoˇziny Nashov´ ych rovnov´aˇzn´ ych bod˚ u shrnout do jedn´e re´aln´e funkce definovan´e na strategick´em prostoru. Jin´ ymi slovy, koneˇcn´a jednokriteri´aln´ı hra G = hN, (Xi )i∈N , (vi )i∈N i je ordin´aln´ı hra s potenci´alem, pokud existuje funkce Y P : Xi → R i∈N
takov´aQ , ˇze pro kaˇzd´eho hr´aˇce i ∈ N , pro kaˇzd´ y strategick´ y profil jeho oponent˚ u x−i ∈ j∈N/{i} Xj a kaˇzd´ y p´ar strategi´ı xi , yi ∈ Xi hr´aˇce i: vi (yi , x−i ) − vi (xi , x−i ) > 0 ⇐⇒ P (yi , x−i ) − P (xi , x−i ) > 0. Funkce P je pak naz´ yv´ana ordin´aln´ı potenci´al hry G. Nyn´ı pˇredpokl´adejme koneˇcnou jednokriteri´aln´ı hru G = hN, (Xi )i∈N , (vi )i∈N i s ordin´aln´ım potenci´alem P a zkonstruujeme vicekriteri´aln´ı hru G = hN, (Xi )i∈N , (ui )i∈N i tak, ˇze kaˇzd´ y hr´aˇc i ∈ N m´a dvˇe krit´eria. Prvn´ı krit´erium hr´aˇce i se rovn´a ui , druh´e krit´erium se rovn´a potenci´alu P : ∀i ∈ N : ui1 = vi a ui2 = P. Vˇ eta 3.24. V´ıcekriteri´aln´ı hra pops´ana v´yˇse m´a ide´aln´ı rovnov´aˇzn´y bod v ˇcist´ych strategi´ıch. D˚ ukaz. D˚ ukaz lze opˇet nal´ezt v [13]. Hra se m˚ uˇze zd´at pˇr´ıliˇs umˇele vytvoˇren´a a nere´aln´a, je tedy vhodn´e zm´ınit re´aln´ y model, kde je moˇzn´e v´ ysledek pouˇz´ıt. Koster, Reijnierse a Voorneveld pˇredstavili v tezi [8] skupinu her, ve kter´ ych hr´aˇci pˇrisp´ıvaj´ı do sb´ırky, ze kter´e se projektuj´ı veˇrejn´e statky. Bl´ıˇze popsan´a je hra v podkapitole 1.2. Ordin´aln´ım potenci´alem je pak celkov´e veˇrejn´e blaho. V takov´e hˇre je zaruˇcena existence ide´aln´ıho rovnov´aˇzn´eho bodu dle vˇety 3.24. T´ım jsme poskytli netrivi´aln´ı skupinu her, v n´ıˇz ide´aln´ı rovnov´aˇzn´ y bod existuje.
31
3.5
Srovn´ an´ı
Uk´azali jsme si tˇri r˚ uzn´e koncepty ˇreˇsen´ı. Nyn´ı se pod´ıv´ame na jejich v´ yhody a nev´ yhody. ˇ sen´ı funguje na veNejprve jsme se zab´ yvali strukturou ˇreˇsen´ı hry dvou hr´aˇc˚ u. Reˇ lice specifick´e mnoˇzinˇe her - dva hr´aˇci, z nichˇz jeden m´a nejv´ yˇse dvˇe ˇcist´e strategie. Toto omezen´ı je pomˇernˇe znateln´e, a proto lze ˇreˇsen´ı pouˇz´ıt pouze v mal´em poˇctu re´aln´ ych pˇr´ıpad˚ u, coˇz je velk´a nev´ yhoda. Ovˇsem naopak m´ame-li takov´ y pˇr´ıklad, pak nalezneme vˇsechna rovnov´aˇzn´a ˇreˇsen´ı pomˇernˇe snadno a rychle. V kapitole 4 uvid´ıme, ˇze pro pˇr´ıklad, kde m´ame dva hr´aˇce, jeden m´a dvˇe ˇcist´e strategie a druh´ y m´a ˇctyˇri ˇcist´e strategie, je to ˇreˇsen´ı vskutku elegantn´ı a relativnˇe jednoduch´e. Pokud by mˇel druh´ y hr´aˇc v´ yraznˇe vˇetˇs´ı poˇcet ˇcist´ ych strategi´ı, nebylo by to tak snadn´e, ale st´ale by mnoˇzina ˇreˇsen´ı byla koneˇcn´e sjednocen´ı konvexn´ıch polyedr˚ u, tj. popsateln´a koneˇcnˇe mnoho line´arn´ımi nerovnostmi, a ˇreˇsen´ı je tud´ıˇz re´alnˇe pouˇziteln´e. Tedy po shrnut´ı pˇredeˇsl´e u ´vahy nev´ yhodou t´eto metody je jeho omezen´a moˇznost vyuˇzit´ı, v´ yhodou je jednoduchost, efektivnost a v neposledn´ı ˇradˇe pˇr´ım´e nalezen´ı vˇsech rovnov´aˇzn´ ych bod˚ u. N´aslednˇe jsme se sezn´amili s metodou hled´an´ı rovnov´aˇzn´ ych bod˚ u skalarizac´ı v´ yplatn´ı funkce. Tato metoda funguje tak, ˇze hr´aˇci pˇriˇrad´ı jednotliv´ ym krit´eri´ım v´ahy a vytvoˇr´ı tak jednu v´ yplatn´ı funkci - v´aˇzen´ y souˇcet jednotliv´ ych krit´eri´ı. Tento koncept m´a dvˇe nedokonalosti. Ne vˇzdy jsou krit´eria ve stejn´em mˇeˇr´ıtku, nˇekdy se tˇreba jedno krit´erium poˇc´ıt´a na desetiny a m´a mal´e rozpˇet´ı, zat´ımco druh´e se poˇc´ıt´a na tis´ıce a m´a mnohon´asobnˇe vˇetˇs´ı rozpˇet´ı. Pak je nutn´e sloˇzitˇe funkce upravovat, aby bylo moˇzn´e jim pˇriˇradit nˇejak´e rozumn´e v´ahy. Ale s t´ım se d´a jeˇstˇe vypoˇr´adat, byt’ to m˚ uˇze b´ yt komplikovan´e. Horˇs´ı vˇsak je, ˇze obvykle nejsou k dispozici pˇriˇrazen´e v´ahy jednotliv´ ym krit´eri´ım, ani nen´ı moˇzn´e je zjistit. Pak tato metoda zcela selh´av´a a mus´ıme vyuˇz´ıt jinou. Pokud vˇsak tyto v´ahy k dispozici m´ame, nebo je moˇzn´e je z´ıskat, pak m´a metoda velkou v´ yhodu v tom, ˇze je jiˇz dobˇre zpracov´ana. Pˇrevede v´ıcekriteri´aln´ı hru na standardn´ı hled´an´ı Nashova rovnov´aˇzn´eho bodu, kter´e je dobˇre zpracov´ano samotn´ ym Nashem a bˇehem dalˇs´ıch ˇsedes´ati let podrobnˇe rozebr´ano velk´ ym mnoˇzstv´ım autor˚ u v jeˇstˇe vˇetˇs´ım mnoˇzstv´ı ˇcl´ank˚ u. Jako posledn´ı koncept jsme popsali ide´aln´ı rovnov´aˇzn´e body ve v´ıcekriteri´aln´ı hˇre. Ide´aln´ı rovnov´aˇzn´ y bod je jeˇstˇe silnˇejˇs´ı definice neˇz definice siln´eho rovnov´aˇzn´eho bodu. Je vˇsak natolik striktn´ı, ˇze ide´aln´ı rovnov´aˇzn´ y bod ve vˇetˇsinˇe pˇr´ıpad˚ u v˚ ubec neexistuje. To je z´akladn´ı nedostatek konceptu. Autoˇri sami vˇsak popsali pomˇernˇe velkou mnoˇzinu pˇr´ıpad˚ u, kdy tento ide´aln´ı rovnov´aˇzn´ y bod existuje jedn´a se o hry s potenci´alem. Jejich podstata je pops´ana tak´e v podkapitole 3.4. V takov´ ych pˇr´ıkladech - existuje-li ide´aln´ı rovnov´aˇzn´ y bod - je jeho nalezen´ı velmi snadn´e. Velkou v´ yhodou je jednoznaˇcnost v hodnotˇe v´ yplatn´ı funkce. Jin´ ymi slovy, existuje-li v´ıce ide´aln´ıch bod˚ u, vektor v´ yplatn´ıch funkc´ı je v tˇechto bodech totoˇzn´ y. V podstatˇe n´am tak staˇc´ı naj´ıt jeden, abychom dos´ahli maxim´aln´ı hodnoty v´ yplatn´ıch funkc´ı. Dalˇs´ı v´ yhodou je jeho pomˇernˇe snadn´e nalezen´ı. Pokud vˇse shrneme, koncepty se liˇs´ı pˇredevˇs´ım v moˇznosti pouˇzit´ı. V re´aln´em
32
pˇr´ıkladˇe je obvykle moˇzn´e pouˇz´ıt maxim´alnˇe jeden z nich. A ani to nemus´ı b´ yt vˇzdy pravda, nen´ı v˚ ubec obt´ıˇzn´e naj´ıt hru, kde nelze pouˇz´ıt ani jeden popsan´ y zp˚ usob ˇreˇsen´ı - staˇc´ı jednoduch´a hra dvou hr´aˇc˚ u, kde oba maj´ı tˇri ˇcist´e strategie, nezn´ame jejich preference (v´ahy) jednotliv´ ych krit´eri´ı a hra nem´a ide´aln´ı rovnov´aˇzn´ y bod. Koncepty tedy zdaleka nejsou vyˇcerp´avaj´ıc´ı a st´ale prob´ıh´a mnoho r˚ uzn´ ych v´ yzkum˚ u na toto t´ema, protoˇze jak bylo pˇredesl´ano v kapitole 2, aˇz za posledn´ıch deset let je vˇenov´ana v´ıcekriteri´aln´ım hr´am patˇriˇcn´a pozornost. Ovˇsem na druhou stranu, m´ame-li pˇr´ıklad, v nˇemˇz lze jeden z koncept˚ u pouˇz´ıt, pak je jeho pouˇzit´ı efektivn´ı a ne pˇr´ıliˇs obt´ıˇzn´e.
33
Kapitola 4 Aplikace ´ Nyn´ı vyuˇzijeme poznatk˚ u z podkapitoly 3.2 pro ˇreˇsen´ı re´aln´eho pˇr´ıkladu. Uloha je sestavena na z´akladˇe re´aln´ ych zkuˇsenost´ı a v´ ysledk˚ u.
4.1
Sestaven´ı u ´ lohy
Uvaˇzujme dvˇe firmy - firmu A a firmu B. Jedn´a se o stavebn´ı firmy a kaˇzd´a z nich kromˇe stavebn´ıch prac´ı prov´ad´ı i jin´e profese (napˇr. vzduchotechnika, elektroinstalace, mˇeˇren´ı a regulace apod.). Uvaˇzujeme, ˇze kaˇzd´a prov´ad´ı uˇz jen vzduchotechniku. Obˇe pl´anuj´ı zaplatit si jednu reklamu na lukrativn´ım m´ıstˇe. Reklamy budou vedle sebe. Kaˇzd´a z firem se rozhoduje, zda vystav´ı reklamu na odvˇetv´ı stavebn´ıch prac´ı nebo reklamu na odvˇetv´ı vzduchotechniky. Firma B nav´ıc hodnˇe s´az´ı na reklamu a zvaˇzuje, ˇze si pˇriplat´ı za draˇzˇs´ı verzi reklamy (vˇetˇs´ı/propracovanˇejˇs´ı apod.). C´ılem reklamy je pochopitelnˇe zv´ yˇsit popt´avku po firmˇe, a tud´ıˇz zisky. Kaˇzd´a firma m´a dvˇe hlavn´ı odvˇetv´ı podnik´an´ı (ostatn´ı jsme zanedbali), kaˇzd´e prov´ad´ı jin´a skupina lid´ı, m˚ uˇzeme je nazvat r˚ uzn´ ymi sekcemi, jedn´a se vlastnˇe o speci´aln´ı pˇr´ıpad pˇr´ıkladu z podkapitoly 1.1. Stejnˇe tedy jako v pˇr´ıkladu 1.1 nem˚ uˇzeme jednoduˇse seˇc´ıst zisky z obou odvˇetv´ı. Obˇe sekce zamˇestnanc˚ u potˇrebuj´ı pr´aci. Pokud by nepracovali a byli pouze ˇziveni ze zisku jin´eho odvˇetv´ı, firmu by to st´alo vysok´e n´aklady, protoˇze zamˇestnanc˚ um mus´ı platit stejnou mzdu at’ pracuj´ı, nebo ne, stejnˇe tak odvody st´atu. Firma tedy potˇrebuje maximalizovat zisky z obou odvˇetv´ı jednotlivˇe. Z´aroveˇ n nelze jednoduˇse pˇridˇelit v´ahy jednotliv´ ym odvˇetv´ım ’ jako v podkapitole 3.3, protoˇze zamˇestnanci by se bouˇrili, nebot maj´ı odmˇeny za dokonˇcen´e pr´ace, a tak chtˇej´ı co nejv´ıce pr´ace pro sebe. Pokud by firma pˇridˇelila vˇetˇs´ı v´ahu stavebnictv´ı, bouˇrili by se zamˇestnanci ze vzduchotechnick´eho odvˇetv´ı, proˇc by oni mˇeli m´ıt menˇs´ı prioritu. Pokud by firma pˇridˇelila stejn´e v´ahy obˇema odvˇetv´ım, byly by probl´emy zase se stavebn´ımi dˇeln´ıky, kteˇr´ı by chtˇeli vˇetˇs´ı v´ahu, nebot’ stavebnictv´ı je z´akladn´ım odvˇetv´ım obou firem. ´ Ulohu snadno pˇrevedeme na v´ıcekriteri´aln´ı hru. M´ame dva hr´aˇce - firmu A a firmu B. Firma A m´a dvˇe ˇcist´e strategie, kter´e oznaˇc´ıme M, N :
34
(i) reklama na stavebnictv´ı (strategie M ) (ii) reklama na vzduchotechniku (strategie N ). Firma B m´a ˇctyˇri ˇcist´e strategie, kter´e oznaˇc´ıme I, J, K, L: (i) reklama na stavebnictv´ı, levn´a verze (strategie I) (ii) reklama na stavebnictv´ı, drah´a verze (strategie J) (iii) reklama na vzduchotechniku, levn´a verze (strategie K) (iv) reklama na vzduchotechniku, drah´a verze (strategie L).
Obˇe firmy maj´ı dvˇe v´ yplatn´ı funkce - zisk ze stavebnictv´ı a zisk ze vzduchotechniky. Zisk z jednotliv´ ych odvˇetv´ı budeme mˇeˇrit zmˇenou v procentech oproti stavu pˇred reklamou. Tedy napˇr. pokud bude hodnota prvn´ı v´ yplatn´ı funkce 130, znamen´a to, ˇze zisky ve stavebnictv´ı se zv´ yˇsily o 30%. Hra je tedy zad´ana maticemi: 1 2 (a11 , a11 ) A= (a121 , a221 ) a 1 2 (b11 , b11 ) B= (b121 , b221 )
(a112 , a212 ) (a113 , a213 ) (a114 , a214 ) (a122 , a222 ) (a223 , a223 ) (a124 , a224 ) (b112 , b212 ) (b113 , b213 ) (b114 , b214 ) (b122 , b222 ) (b223 , b223 ) (b124 , b224 )
,
kde jednotliv´e prvky znamenaj´ı procentu´aln´ı zmˇenu zisku s ohledem na strategie hr´aˇc˚ u a v´ yplatn´ı funkce. Tj. napˇr´ıklad prvek azxy znamen´a procentu´aln´ı zmˇenu zisku firmy A pˇri realizaci ˇcist´e strategie x firmy A a ˇcist´e strategie y firmy B v odvˇetv´ı z. Konkr´etnˇe napˇr´ıklad b213 znamen´a zmˇenu zisku firmy B pˇri realizaci ˇcist´e strategie M (reklama na stavebnictv´ı) firmy A a ˇcist´e strategie K (reklama na vzduchotechniku, levn´a verze) firmy B v odvˇetv´ı vzduchotechniky. Pˇredpokl´ad´ame azxy , bzxy ∈ h0, max), kde max je nˇejak´a horn´ı hodnota, napˇr. hodnota zv´ yˇsen´ı zisku pˇri uspokojen´ı cel´e popt´avky firmou A, resp. B. Prakticky se vˇsak daj´ı oˇcek´avat pˇribliˇznˇe hodnoty azxy , bzxy ∈ (50, 200). Nyn´ı tedy potˇrebujeme konkr´etn´ı hodnoty azxy , bzxy . K tomu jeˇstˇe vyslov´ıme nˇekolik pˇredpoklad˚ u a pozn´amek vych´azej´ıc´ıch ze zkuˇsenost´ı: (i) objem prodeje firmy A je i ve stavebnictv´ı i ve vzduchotechnice stejn´ y jako objem prodeje B (ii) zvˇetˇs´ı-li se obraty ve stavebnictv´ı, zvˇetˇs´ı se ˇc´asteˇcnˇe i obraty ve vzduchotechnice (pokud popt´a investor firmu na stavebn´ı pr´ace, m´a nˇekdy moˇznost sama popt´avat ostatn´ı profese a tedy vzduchotechnick´e pr´ace udˇelat sama) (iii) reklama firmy A je na u ´rovni levn´e reklamy firmy B
35
(iv) reklama na vzduchotechniku je u ´ˇcinnˇejˇs´ı, protoˇze stavebn´ıch firem je v´ıce a tak´e jsou ˇcasto popt´av´any automaticky ze zn´amosti s investorem (v) pˇr´ıklad je situov´an v menˇs´ım mˇestˇe a reklama je perspektivn´ı a u ´ˇcinn´a, zisky z reklamy jsou znateln´e, z´aroveˇ n je ve mˇestˇe mal´a konkurence, a tak se firmy A a B v´ yraznˇe ovlivˇ nuj´ı navz´ajem (vi) firma B je ve mˇestˇe zn´amˇejˇs´ı a o nˇeco v´ıtanˇejˇs´ı, jej´ı reklamy jsou proto o trochu u ´ˇcinnˇejˇs´ı (vii) za draˇzˇs´ı verzi reklamy je firma B penalizov´ana −20% z aktu´aln´ıch zisk˚ u stavebnictv´ı - pˇr´ıplatek nav´ıc je financov´an z penˇez stavebn´ıho odvˇetv´ı, at’ se jedn´a o reklamu na vzduchotechniku nebo na stavebnictv´ı Nyn´ı jeˇstˇe budeme pˇredpokl´adat konkr´etn´ı u ´ˇcinnosti reklamy bez vlivu druh´e firmy, tj. jak se zmˇen´ı zisky firmy A, resp. B po realizaci konkr´etn´ı reklamy (strategie), pokud by ta druh´a firma ˇz´adnou reklamu nerealizovala. Hodnoty jsou urˇceny na z´akladˇe expertn´ıch odhad˚ u.
Firma A (stejnˇe jako strategie I a K firmy B): strategie specifikace zisk M reklama ve stavebnictv´ı (120,112) N reklama ve vzduchotechnice (100,130) Firma B: strategie I J K L
specifikace reklama ve reklama ve reklama ve reklama ve
stavebnictv´ı, levn´a verze stavebnictv´ı, drah´a verze vzduchotechnice, levn´a verze vzduchotechnice, drah´a verze
zisk po penalizaci (120,112) (135,115) (115,115) (100,130) (100,155) (80,155)
Nyn´ı koneˇcnˇe odhadneme jednotliv´e prvky matic A a B. Budeme je odhadovat od nejjednoduˇsˇs´ıch k nejsloˇzitˇejˇs´ım. Pˇresn´e hodnoty jsou opˇet z´ısk´av´any na z´akladˇe expertn´ıch odhad˚ u.
prvky a11, b11 strategie M (stavebnictv´ı) vs. strategie I (stavebnictv´ı, levn´a verze) (120, 112) × (120, 112) ↓ (110, 106) × (110, 106)
36
´ cinnost reklamy se pouze rozloˇz´ı mezi obˇe firmy. Uˇ
prvky a23, b23 strategie N (vzduchotechnika) vs. strategie K (vzduchotechnika, levn´a verze) (100, 130) × (100, 130) ↓ (100, 115) × (100, 120) ´ cinnost reklamy se ˇc´asteˇcnˇe rozloˇz´ı, ˇc´asteˇcnˇe se pˇr´ıliv z´akazek na z´akladˇe dvou Uˇ reklam nepatrnˇe zv´ yˇs´ı, a to ve prospˇech firmy B, protoˇze m´a trochu lepˇs´ı jm´eno ve vzduchotechnick´em odvˇetv´ı.
prvky a12, b12 strategie M (stavebnictv´ı) vs. strategie J (stavebnictv´ı, drah´a verze) (120, 112) × (135, 115) ↓ (105, 102) × (130, 110) ↓ po penalizaci (105, 102) × (110, 110) Drah´a reklama firmy B v´ yraznˇe pˇrebije reklamu firmy A. Firmˇe B klesnou zisky jen nepatrnˇe oproti nerealizaci reklamy firmy A a pro firmu A je jej´ı reklama t´emˇeˇr ne´ uˇcinn´a.
prvky a24, b24 strategie N (vzduchotechnika) vs. strategie L (vzduchotechnika, drah´a verze) (100, 130) × (100, 155) ↓ (100, 110) × (100, 145) ↓ po penalizaci (100, 110) × (80, 145) 37
Drah´a reklama firmy B opˇet v´ yraznˇe pˇrebije reklamu firmy A. Firmˇe B klesnou zisky opˇet jen m´alo oproti nerealizaci reklamy firmy A a naopak pro firmu B se t´ım zisky citelnˇe sn´ıˇz´ı.
prvky a21, b21 strategie N (vzduchotechnika) vs. strategie I (stavebnictv´ı, levn´a verze) (100, 130) × (120, 112) ↓ (95, 125) × (120, 106) Reklama na stavebnictv´ı firmy B sn´ıˇz´ı zisky ze stavebnictv´ı firmˇe A, kter´a realizovala reklamu na vzduchotechniku. Reklama firmy B je natolik u ´ˇcinn´a, ˇze dokonce nepatrnˇe sn´ıˇz´ı zisky ze vzduchotechniky firmy A. Firmˇe B zase lehce klesnou zisky ze vzduchotechniky.
prvky a22, b22 strategie N (vzduchotechnika) vs. strategie J (stavebnictv´ı, drah´a verze) (100, 130) × (135, 115) ↓ (80, 125) × (135, 110) ↓ po penalizaci (80, 125) × (115, 110) Drah´a reklama firmy B ve stavebnictv´ı znatelnˇe sn´ıˇz´ı zisky firmy A, kter´a realizuje reklamu vzduchotechniky. V´ yraznˇeji se to projev´ı ve stavebnictv´ı, ve vzduchotechnice je d´ıky vlastn´ı reklamˇe m´enˇe v´ yrazn´e. Firmˇe B jen velmi m´alo sn´ıˇz´ı zisky reklama firmy A, drah´a reklama, byt’ na stavebnictv´ı, ztr´aty minimalizuje.
prvky a13, b13 strategie M (stavebnictv´ı) vs. strategie K (vzduchotechnika, levn´a verze) (120, 112) × (100, 130) ↓ (120, 105) × (95, 130) 38
Reklama na vzduchotechniku firmy B lehce sn´ıˇz´ı zisky ze vzduchotechniky firmˇe ˇ adn´e velk´e zmˇeny A a firma A zase lehce sn´ıˇz´ı zisky ze stavebnictv´ı firmˇe B. Z´ nenastanou.
prvky a14, b14 strategie M (stavebnictv´ı) vs. strategie L (vzduchotechnika, drah´a verze) (120, 112) × (100, 155) ↓ (120, 95) × (95, 155) ↓ po penalizaci (120, 95) × (75, 155) Drah´a reklama firmy B ve vzduchotechnice velmi v´ yraznˇe sn´ıˇz´ı zisky firmy A, kter´a realizuje reklamu na stavebnictv´ı. Firma A sn´ıˇz´ı zisky ze stavebnictv´ı firmˇe B jen nepatrnˇe a zisky ve vzduchotechnice v˚ ubec.
Nyn´ı m´ame pˇresnˇe specifikovan´e zad´an´ı. Budeme tedy ˇreˇsit v´ıcekriteri´aln´ı hru dvou hr´aˇc˚ u zadanou maticemi A, B: (110, 106) (105, 102) (120, 105) (120, 95) A= . (95, 125) (80, 125) (100, 115) (100, 110) (110, 106) (110, 110) (95, 130) (75, 155) B= (120, 106) (115, 110) (100, 120) (80, 145)
39
4.2
ˇ sen´ı Reˇ
M´ame tedy zadanou v´ıcekriteri´aln´ı hru dvou hr´aˇc˚ u, kdy jeden m´a pouze dvˇe strategie. M˚ uˇzeme tedy vyuˇz´ıt teoretick´ y koncept z podkapitoly 3.2. Nejprve budeme analyzovat nejlepˇs´ı odpovˇed’ firmy A proti strategii q = (q1 , q2 , q3 , q4 ) firmy B. M´ame dvˇe v´ yplatn´ı funkce, rozloˇz´ıme si matici A na matice jednotliv´ ych v´ yplatn´ıch funkc´ı: A1 =
A2 =
110 105 120 120 95 80 100 100
106 102 105 95 125 125 115 110
Nyn´ı hled´ame rozloˇzen´ı mnoˇziny ( q; q = (q1 , q2 , q3 , q4 ),
4 X
,
.
) qi = 1, 0 ≤ qi ≤ 1
i=1
na mnoˇziny, pro kter´e je nejlepˇs´ı strategi´ı (a) ˇcist´a strategie M (b) ˇcist´a strategie N (c) sm´ıˇsen´a strategie M, N. Snadno nahl´edneme, ˇze strategie M je alespoˇ n tak dobr´a jako strategie N (v obou kriteri´ıch z´aroveˇ n) pr´avˇe tehdy, kdyˇz pro strategick´ y profil firmy B plat´ı soustava nerovnic: 110q1 + 105q2 + 120q3 + 120q4 ≥ 95q1 + 80q2 + 100q3 + 100q4 106q1 + 102q2 + 105q3 + 95q4 ≥ 125q1 + 125q2 + 115q3 + 110q4 . Po u ´pravˇe dostaneme dvojici nerovnic: 15q1 + 25q2 + 20q3 + 20q4 ≥ 0 19q1 + 23q2 + 10q3 + 15q4 ≤ 0. Na prvn´ı pohled vid´ıme, ˇze druh´a nerovnice nikdy nebude splnˇena pro ˇza´dn´e 40
P ˇ a strategie M tedy nen´ı q = (q1 , q2 , q3 , q4 ) splˇ nuj´ıc´ı 4i=1 qi = 1, 0 ≤ qi ≤ 1. Cist´ jedinou nejlepˇs´ı odpovˇed´ı na ˇz´adn´ y strategick´ y profil firmy B. Obdobnˇe nahl´edneme, ˇze strategie N je alespoˇ n tak dobr´a jako strategie M pr´avˇe tehdy, kdyˇz plat´ı: 110q1 + 105q2 + 120q3 + 120q4 ≤ 95q1 + 80q2 + 100q3 + 100q4 106q1 + 102q2 + 105q3 + 95q4 ≤ 125q1 + 125q2 + 115q3 + 110q4 . Po u ´pravˇe: 15q1 + 25q2 + 20q3 + 20q4 ≤ 0 19q1 + 23q2 + 10q3 + 15q4 ≥ 0. Opˇet na prvn´ı pohled vid´ıme, nebude splnˇena pro ˇz´adn´e P ˇze prvn´ı nerovnice nikdy ˇ a strategie N tedy tak´e q = (q1 , q2 , q3 , q4 ) splˇ nuj´ıc´ı 4i=1 qi = 1, 0 ≤ qi ≤ 1. Cist´ nen´ı jedinou nejlepˇs´ı odpovˇed´ı na ˇza´dn´ y strategick´ y profil firmy B. To znamen´a, ˇze nejlepˇs´ı odpovˇed´ı na libovoln´ y strategick´ y profil q firmy B je vˇzdy sm´ıˇsen´a strategie M, N firmy A. Jin´ ymi slovy, m˚ uˇzeme ˇr´ıct, ˇze veˇsker´e strategie firmy A jsou vˇzdy nejlepˇs´ı odpovˇed´ı na jak´ ykoli strategick´ y profil firmy B. Liˇs´ı se pouze v hodnot´ach v´ yplatn´ıch funkc´ı, pro kter´e vˇzdy plat´ı, ˇze zv´ yˇs´ı-li se jedna, klesne druh´a a naopak. Tedy v naˇsem n´azvoslov´ı m˚ uˇzeme zapsat regiony stability firmy B: ( U ({M }) =
q, q = (q1 , q2 , q3 , q4 ), (
U ({N }) =
q, q = (q1 , q2 , q3 , q4 ), (
U ({M, N }) =
q, q = (q1 , q2 , q3 , q4 ),
4 X i=1 4 X i=1 4 X
) qi = 1, 0 ≤ qi ≤ 1 ) qi = 1, 0 ≤ qi ≤ 1 ) qi = 1, 0 ≤ qi ≤ 1
i=1
Ted’ se m˚ uˇzeme pod´ıvat na zaj´ımavˇejˇs´ı situaci firmy B. Opˇet si matici B rozloˇz´ıme na jednotliv´e matice v´ yplatn´ıch funkc´ı: B1 =
B2 =
110 110 95 75 120 115 100 80
106 110 130 155 106 110 120 145
41
,
.
Opˇet chceme naj´ıt regiony stability, tentokr´at firmy A, zkoum´ame tedy nejlepˇs´ı odpovˇed’ firmy B na strategick´ y profil (p, 1 − p) firmy A. Vyn´asob´ıme-li vektorem (p, 1 − p) matici B1 , z´ısk´ame vektor hodnot prvn´ı v´ yplatn´ı funkce (zisk˚ u ve stavebnictv´ı) pˇri pouˇzit´ı jednotliv´ ych strategi´ı: (p, 1 − p) ·
110 110 95 75 120 115 100 80
= (120 − 10p, 115 − 5p, 100 − 5p, 80 − 5p).
To znamen´a, ˇze napˇr. pˇri pouˇzit´ı strategie J, bude hodnota zisku ve stavebnictv´ı 115 − 5p v z´avislosti na p. Obdobn´ y v´ ypoˇcet provedeme s matic´ı B2 a z´ısk´ame tak vektor hodnot druh´e v´ yplatn´ı funkce (zisk˚ u ve vzduchotechnice): (p, 1 − p) ·
106 110 130 155 106 110 120 145
= (106, 110, 120 + 10p, 145 + 10p).
Nyn´ı vektory pˇrevedeme na vektory hodnot obou v´ yplatn´ıch funkc´ı pˇri konkr´etn´ı strategii: realizovan´a strategie vektor v´ yplatn´ıch funkc´ı I (120 − 10p, 106) J (115 − 5p, 110) K (100 − 5p, 120 + 10p) L (80 − 5p, 145 + 10p) Regiony stability firmy A nyn´ı jiˇz relativnˇe snadno urˇc´ıme z obr´azku. Nejprve si nakresl´ıme obr´azek pro p = 0. K tomu jeˇstˇe poznamen´ame, ˇze obr´azky nebudou v re´aln´em mˇeˇr´ıtku, ale poupraveny tak, aby byly zˇrejm´e potˇrebn´e linie. Osa x reprezentuje zisky ze stavebnictv´ı, osa y zisky ze vzduchotechniky. Na obr´azku 4.1 vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı firmy B na strategii (0, 1) firmy A ve smyslu definice 3.9 je libovoln´a line´arn´ı kombinace ˇcist´ ych strategi´ı I a L, tj. sm´ıˇsen´a strategie q = (q1 , 0, 0, 1 − q1 ). Chceme rozloˇzit mnoˇzinu vˇsech strategi´ı firmy A podle toho, jak´a sm´ıˇsen´a odpovˇed’ firmy B je proti nim nejlepˇs´ı. Z tabulky vektor˚ u v´ yplatn´ıch funkc´ı pˇri jednotliv´ ych ˇcist´ ych strategi´ıch vid´ıme, ˇze zvyˇsov´an´ım hodnoty p se n´am body graficky posouvaj´ı: I se posouv´a doleva, J se posouv´a doleva, ale pomaleji neˇz I, K i L se posouvaj´ı po stejn´em vektoru doleva a nahoru. Postupn´ ym zvyˇsov´an´ım p se body posunou nejprve na pozici, kdy jsou body I, J a L na pˇr´ımce. Potˇrebujeme zjistit, pro kter´e p to nastane. To zjist´ıme analyticky ˇreˇsen´ım tˇri rovnic o tˇrech
42
Obr´azek 4.1: p = 0 nezn´am´ ych: 110 = a(115 − 5p) + b 106 = a(120 − 10p) + b 145 + 10p = a(80 − 5p) + b Vyˇreˇsen´ım nalezneme v´ ysledek p1,2 = N´as zaj´ım´a kladn´e p =
√ − 25 + 9,05 2
− 52 ±
√ 9, 05 . 2
. = 0, 25.
h √ − 5 + 9,05 Tedy obr´azek 4.1 plat´ı pro p ∈ 0, 2 2 . D´ale na obr´azku 4.2 vid´ıme situaci pˇr´ımo v bodˇe p =
√ − 52 + 9,05 . 2
Pokud p d´ale zvyˇsujeme, posuneme se do situace zn´azornˇen´e v obr´azku 4.3. Nyn´ı n´as zaj´ım´a hodnota z z popisu obr´azku 4.3 a jak v nˇem bude situace vypadat. Pokud zvyˇsujeme p, dostaneme se tentokr´at do situace, kdy leˇz´ı na jedn´e pˇr´ımce body J, K a L. Opˇet analyticky spoˇcteme, pro kter´e p situace nastane. ˇ s´ıme soustavu rovnic Reˇ 110 = a(115 − 5p) + b 120 + 10p = a(100 − 5p) + b 145 + 10p = a(80 − 5p) + b Snadno dospˇejeme k v´ ysledku p = 0, 875. Tedy obr´azek 4.3 plat´ı pro √ − 25 + 9, 05 0, 875 > p > . 2 43
Obr´azek 4.2: p =
√ − 52 + 9,05 2
Obr´azek 4.3: z > p >
√ − 52 + 9,05 2
Obr´azek 4.4: p = 0, 875
44
Na obr´azku 4.4 pak vid´ıme, jak to vypad´a pro p = 0, 875. D´ale se situace nemˇen´ı a aˇz do bodu p = 1 vypad´a jako na obr´azku 4.5. V bodˇe p = 1 je pak zisk ze stavebnictv´ı stejn´ y pˇri strategii I i J a situace vypad´a jako na obr´azku 4.6.
Obr´azek 4.5: 0, 875 < p < 1 Nyn´ı pro analogick´ y postup jako v pˇr´ıkladu 3.14 oznaˇc´ıme situaci na obr´azku 4.1
Obr´azek 4.6: p = 1 jako situaci I, situaci na obr´azku 4.3 jako situaci II a situaci na obr´azku 4.5 jako situaci III. Regiony stability pak snadno urˇc´ıme zcela analogick´ ym zp˚ usobem jako v pˇr´ıkladu 3.14. Vysvˇetlen´ı by bylo stejn´e, a proto pˇrejdeme rovnou k pˇrehledn´emu zn´azornˇen´ı region˚ u stability:
45
U ({I}) = I ∪ II ∪ III U ({J}) = II ∪ III U ({K}) = III U ({L}) = I ∪ II ∪ III U ({I, J}) = II ∪ III U ({I, K}) = ∅ U ({I, L}) = I U ({J, K}) = III U ({J, L}) = II U ({K, L}) = III U ({I, J, K}) = ∅ U ({I, J, L}) = I ∩ II U ({I, K, L}) = II ∩ III U ({J, K, L}) = ∅ U ({I, J, K, L}) = ∅
Nyn´ı z region˚ u stability za pomoci obr´azk˚ u 4.1, 4.2, 4.3, 4.4, 4.5, 4.6 pro r˚ uzn´a p uˇz snadno urˇc´ıme ˇreˇsen´ı. V´ıme, ˇze napˇr. v pˇr´ıpadˇe regionu stability U ({I}) je nejlepˇs´ı odpovˇed´ı (1, 0, 0, 0), v pˇr´ıpadˇe regionu stability U ({I, J}) je nejlepˇs´ı odpovˇed´ı (q, 1 − q, 0, 0) atd. Situace I (obr´azek 4.1) tedy zahrnuje 3 r˚ uzn´e regiony stability √ − 25 + 9,05 - U ({I}), U ({L}), U ({I, L}). Pro 0 ≤ p ≤ je tak nejlepˇs´ı odpovˇed´ı 2 {(q, 0, 0, 1 − q); q ∈ [0, 1]}. Pr˚ unik se situac´ı II, tj. obr´azek 4.2 zahrnuje region stability U ({I, J, L}), tedy nejlepˇs´ı odpovˇed´ı je libovoln´a trojice (q1 , q2 , √ 0, q3 ) P3 − 25 + 9,05 (samozˇrejmˇe splˇ nuj´ıc´ı qi ≥ 0, i=1 qi = 1), coˇz plat´ı pr´avˇe pro p = . 2 Obdobnˇe zkonstruujeme i dalˇs´ı rovnov´aˇzn´e body. Z toho sestav´ıme n´asleduj´ıc´ı tabulku. Jednotliv´a ˇreˇsen´ı jsou seˇrazena podle obr´azk˚ u (6 obr´azk˚ u, ˇreˇsen´ı podle jednotliv´ ych obr´azk˚ u jsou oddˇelena dvojit´ ymi ˇcarami). Nˇekter´a ˇreˇsen´ı se proto pˇrekr´ yvaj´ı (jednou patˇr´ı k neostr´e nerovnosti a jednou k rovnosti jako napˇr. ˇreˇsen´ı (10) je speci´aln´ı pˇr´ıpad (7), ˇreˇsen´ı (11) je speci´aln´ı pˇr´ıpad (8), ˇreˇsen´ı (12) je speci´aln´ı pˇr´ıpad (9) apod.). Jeˇstˇe poznamenejme, ˇze situace v bodˇe p = 1 je zaj´ımav´a v tom, ˇze s odpovˇed´ı (q, 1 − q, 0, 0) tvoˇr´ı slab´ y rovnov´aˇzn´ y bod, ale nikoli siln´ y rovnov´aˇzn´ y bod. Z toho d˚ uvodu jsou rovnov´aˇzn´e body pro p = 1 prezentov´any samostatnˇe, nikoli pouze jako souˇca´st neostr´e nerovnosti v situaci 0, 875 ≤ p ≤ 1.
46
Rovnov´aˇzn´e body √ − 5 + 9,05 2
((p, 1 − p) , (q, 0, 0, 1 − q))
(1)
0≤p≤ 2 0≤q≤1
(2)
p=
(3)
√ − 25 + 9,05 2
((p, 1 − p) , (q, 1 − q, 0, 0))
√ − 25 + 9,05 2
≤ p ≤ 0.875 0≤q≤1
√ − 52 + 9,05 ,1 2
−
√ − 52 + 9,05 , (q , q , 0, q ) 1 2 3 2
(4)
√ − 25 + 9,05 2
≤ p ≤ 0.875 0≤q≤1
((p, 1 − p) , (0, q, 0, 1 − q))
(5)
p = 0.875
((0.875, 0.125) , (0, q1 , q2 , q3 ))
(6)
p = 0.875 0≤q≤1
((0.875, 0.125) , (q, 1 − q, 0, 0))
(7)
0.875 ≤ p ≤ 1 0≤q≤1
((p, 1 − p) , (0, q, 1 − q, 0))
(8)
0.875 ≤ p ≤ 1 0≤q≤1
((p, 1 − p) , (0, 0, q, 1 − q))
(9)
0.875 ≤ p ≤ 1 0≤q≤1
((p, 1 − p) , (q, 1 − q, 0, 0))
(10) p = 1 0≤q≤1
((1, 0) , (0, q, 1 − q, 0))
(11) p = 1 0≤q≤1
((1, 0) , (0, 0, q, 1 − q))
(12) p = 1 0≤q≤1
((1, 0) , (q, 1 − q, 0, 0))
47
V tabulce se nˇekter´e rovnov´aˇzn´e body pˇrekr´ yvaj´ı, mohli bychom ji tedy trochu zjednoduˇsit. Udˇel´ame disjunktn´ı syst´em slab´ ych rovnov´aˇzn´ ych bod˚ u:
(1)
√ − 5 + 9,05 2
0≤p< 2 0≤q≤1
(2) p =
(3)
(4)
√ − 25 + 9,05 2
((p, 1 − p) , (q, 0, 0, 1 − q))
√ − 52 + 9,05 ,1 2
−
√ − 25 + 9,05 , (q1 , q2 , 0, q3 ) 2
√ − 25 + 9,05 2
((p, 1 − p) , (q, 1 − q, 0, 0))
√ − 25 + 9,05 2
((p, 1 − p) , (0, q, 0, 1 − q))
< p ≤ 0.875 0≤q≤1
< p < 0.875 0≤q≤1
(5) p = 0.875
((0.875, 0.125) , (0, q1 , q2 , q3 ))
(7)
0.875 < p ≤ 1 0≤q≤1
((p, 1 − p) , (0, q, 1 − q, 0))
(8)
0.875 < p ≤ 1 0≤q≤1
((p, 1 − p) , (0, 0, q, 1 − q))
(9)
0.875 < p ≤ 1 0≤q≤1
((p, 1 − p) , (q, 1 − q, 0, 0))
Tato tabulka je tedy nejjednoduˇsˇs´ı moˇzn´e zn´azornˇen´ı rovnov´aˇzn´ ych bod˚ u. Vid´ıme, ˇze jsou rovnov´aˇzn´e body v podstatˇe seˇrazeny podle strategie firmy A. Na zaˇca´tku jsme si uk´azali, ˇze nejlepˇs´ı odpovˇed´ı firmy A na strategii firmy B je libovoln´a strategie. Je tedy logick´e uspoˇra´d´an´ı podle strategie zvolen´e firmou A.
4.3
Anal´ yza v´ ysledk˚ u
Jeˇstˇe se pod´ıv´ame, co vlastnˇe pro firmy naˇse ˇreˇsen´ı znamen´a. Naˇsli jsme velk´e mnoˇzstv´ı rovnov´aˇzn´ ych bod˚ u. Kaˇzd´ y rovnov´aˇzn´ y bod dle definice 3.4 znamen´a, ˇze ˇz´adn´a z firem nem˚ uˇze zvolit - pˇri dan´e strategii druh´e firmy - jinou neˇz uvedenou strategii tak, aby se j´ı z´aroveˇ n zv´ yˇsily jak zisky ze stavebnictv´ı, tak zisky 48
ze vzduchotechniky. Jeˇstˇe poznamenejme, ˇze tento koncept ˇreˇsen´ı dok´aˇze nal´ezt siln´e rovnov´aˇzn´e body z definice 3.5 (pˇri hled´an´ı slab´ ych rovnov´aˇzn´ ych bod˚ u je nalezne automaticky, ˇ sen´ı prob´ıh´a nebot’ kaˇzd´ y siln´ y rovnov´aˇzn´ y bod je i slab´ y rovnov´aˇzn´ y bod). Reˇ zcela analogicky. Pˇri hled´an´ı siln´ ych rovnov´aˇzn´ ych bod˚ u vˇsak neplat´ı nutnˇe moˇzn´ y rozklad mnoˇziny rovnov´aˇzn´ ych bod˚ u na koneˇcn´e sjednocen´ı konvexn´ıch polyedr˚ u. Pokud jsou vˇsak splnˇeny urˇcit´e podm´ınky a mnoˇzina rovnov´aˇzn´ ych bod˚ u je koneˇcn´ ym sjednocen´ım konvexn´ıch polyedr˚ u, pak lze takto nal´ezt siln´e rovnov´aˇzn´e body, jako je tomu v tomto pˇr´ıkladˇe. Samotn´e nalezen´ı rovnov´aˇzn´ ych bod˚ u vˇsak jeˇstˇe pro firmy moc neznamen´a, firmy se zaj´ımaj´ı o to, jak´e budou m´ıt pˇri jednotliv´ ych rovnov´aˇzn´ ych bodech hodnoty zisk˚ u z jednotliv´ ych odvˇetv´ı. Z ˇreˇsen´ı m´ame spoˇc´ıtan´e zisky firmy B pˇri jednotliv´ ych ˇcist´ ych strategi´ıch za pˇredpokladu sm´ıˇsen´e strategie (p, 1 − p) firmy A a zisky firmy A pˇri jednotliv´ ych ˇcist´ ych strategi´ıch za pˇredpokladu sm´ıˇsen´e strategie (q1 , q2 , q3 , q4 ) firmy B:
strategie M N I J K L
vektor v´ yplatn´ıch funkc´ı (110q1 + 105q2 + 120q3 + 120q4 , 106q1 + 102q2 + 105q3 + 95q4 ) (95q1 + 105q2 + 120q3 + 120q4 , 125q1 + 125q2 + 115q3 + 110q4 ) (120 − 10p, 106) (115 − 5p, 110) (100 − 5p, 120 + 10p) (80 − 5p, 145 + 10p)
Staˇc´ı tedy v bodech, kter´e jsme zn´azornili v tabulce rovnov´aˇzn´ ych bod˚ u, vyj´adˇrit oˇcek´avan´e hodnoty v´ yplatn´ıch funkc´ı, jak vid´ıme ve v´ yˇse uveden´e tabulce. Pro rovnov´aˇzn´ y bod (1) tak pro zisk firmy A vyn´asob´ıme vektor rovnov´aˇzn´eho bodu s v´ yˇse uvedenou matic´ı v´ yplatn´ıch funkc´ı firmy A: (p, 1 − p) ·
110q1 + 105q2 + 120q3 + 120q4 106q1 + 102q2 + 105q3 + 95q4 95q1 + 105q2 + 120q3 + 120q4 125q1 + 125q2 + 115q3 + 110q4
.
V rovnov´aˇzn´em bodu (1) vˇsak v´ıme, ˇze q1 = q, q2 = 0, q3 = 0, q4 = 1 − q, tedy dostaneme (p, 1 − p) ·
110q + 120(1 − q) 106q + 95(1 − q) 95q + 120(1 − q) 125q + 110(1 − q)
.
Pro zisk firmy B v rovnov´aˇzn´em bodu (1) vyn´asob´ıme vektor rovnov´aˇzn´eho bodu s v´ yˇse uvedenou matic´ı v´ yplatn´ıch funkc´ı firmy B: 49
120 − 10p 106 115 − 5p 110 (q, 0, 0, 1 − q) · 100 − 5p 120 + 10p . 80 − 5p 145 + 10p
Analogicky z´ısk´ame hodnoty zisku v dalˇs´ıch rovnov´aˇzn´ ych bodech, jak vid´ıme po u ´pravˇe v n´asleduj´ıc´ıch tabulk´ a ch. Pro zjednoduˇ s en´ ı a zpˇrehlednˇen´ı zapsan´ ych √ − 25 + 9,05 . = 0, 25 a hodnoty u v´ yplatn´ıch funkc´ı zaokrouv´ ysledk˚ u zaokrouhl´ıme 2 hl´ıme na jedno desetinn´e m´ısto.
V´ yplatn´ı funkce firmy A v rovnov´aˇzn´ ych bodech: (1)
0 ≤ p < 0, 25 0≤q≤1
(2) p = 0, 25
(−5q − 5pq + 20p + 100; 15q − 4pq − 15p + 110)
(98, 8q1 + 86, 2q2 + 106, 2q3 ; 120, 2q1 + 119, 2q2 + 106, 2q3 )
(3)
0, 25 < p ≤ 0.875 0≤q≤1
(15q − 10pq + 25p + 80; 4pq − 23p + 125)
(4)
0, 25 < p < 0.875 0≤q≤1
(−20q + 5pq + 20p + 100; 15q − 4pq − 15p + 110)
(5) p = 0.875
(101, 9q1 + 117, 5q2 + 117, 5q3 ; 104, 9q1 + 106, 2q2 + 96, 9q3 )
(7)
0.875 < p ≤ 1 0≤q≤1
(−20q + 5pq + 20p + 100; 10q − 13pq − 10p + 115)
(8)
0.875 < p ≤ 1 0≤q≤1
(20p + 100; 5q + 5pq − 15p + 110)
(9)
0.875 < p ≤ 1 0≤q≤1
(15q − 20pq + 25p + 80; 4pq − 23p + 125)
50
V´ yplatn´ı funkce firmy B v rovnov´aˇzn´ ych bodech: (1)
0 ≤ p < 0, 25 0≤q≤1
(2) p = 0, 25
(40q − 5pq − 5p + 80; −39q − 10pq + 10p + 145)
(117, 5q1 + 113, 8q2 + 78, 8q3 ; 106q1 + 110q2 + 147, 5q3 )
(3)
0, 25 < p ≤ 0.875 0≤q≤1
(5q − 5pq − 5p + 115; −4q + 110)
(4)
0, 25 < p < 0.875 0≤q≤1
(35q − 5p + 80; −35q − 10pq + 10p + 145)
(5) p = 0.875
(110, 6q1 + 95, 6q2 + 75, 6q3 ; 110q1 + 128, 8q2 + 153, 8q3 )
(7)
0.875 < p ≤ 1 0≤q≤1
(15q − 5p + 100; −10q − 10pq + 10p + 120)
(8)
0.875 < p ≤ 1 0≤q≤1
(20q − 5p + 80; −25q + 10p + 145)
(9)
0.875 < p ≤ 1 0≤q≤1
(5q − 5pq − 5p + 115; −4q + 110)
Podle tabulek se tedy firmy mohou rozhodnout, kter´ y rovnov´aˇzn´ y bod preferuj´ı. Pro lepˇs´ı orientaci je pro firmu vhodn´e zkusit si dosadit konkr´etn´ı hodnoty p a q z dan´eho intervalu, sama se mus´ı rozhodnout, kter´e v´ yplatn´ı funkci d´a pˇrednost a nakolik. Zaj´ımav´e pro n´as jeˇstˇe je, ˇze kdyˇz se pod´ıv´ame na tabulku rovnov´aˇzn´ ych bod˚ u, vid´ıme, ˇze hra m´a ˇreˇsen´ı i v ˇcist´ ych strategi´ıch. Pro zaj´ımavost uvedeme tabulku ˇreˇsen´ı v ˇcist´ ych strategi´ıch vˇcetnˇe v´ yplatn´ıch funkc´ı obou firem. Tabulku vypoˇcteme z tabulek v´ yplatn´ıch funkc´ı pˇr´ım´ ym dosazen´ım pˇr´ısluˇsn´ ych p a q. V rovnov´aˇzn´em bodˇe (1) tak dosazujeme p = 0 a q = 1 pro zisky pˇri ˇcist´ ych (N, I) a p = 0 a q = 0 pro zisky pˇri ˇcist´ ych strategi´ıch (N, L). Obdobnˇe v rovnov´aˇzn´ ych bodech (7), (8), (9) dosazujeme p = 1, q = 0 a q = 1, abychom z´ıskali zisky v ˇcist´ ych strategi´ıch (M, I), (M, J), (M, K), (M, L). V´ ysledky shrneme v n´asleduj´ıc´ı tabulce:
51
strategie firmy A strategie firmy B N I N L M I M J M K M L
zisk firmy A zisk firmy B (95, 125) (120, 106) (100, 110) (80, 145) (110, 106) (110, 106) (105, 102) (110, 110) (120, 105) (95, 130) (120, 95) (75, 155)
Tabulka se pochopitelnˇe shoduje s maticemi v´ yplatn´ıch funkc´ı v zad´an´ı, vid´ıme tedy, ˇze jsme poˇc´ıtali spr´avnˇe. Zaj´ımav´e je, jak vyˇcteme z tabulky, ˇze zvol´ı-li firma A strategii M , m˚ uˇze firma B zvolit jakoukoli ˇcistou strategii a hra bude v rovnov´aze. Z toho bychom mohli odvodit doporuˇcen´ı volby strategie M pro firmu A. Z´ısk´a t´ım jistotu, ˇze at’ firma B zvol´ı jakoukoli ˇcistou nebo sm´ıˇsenou strategii, hra z˚ ustane v rovnov´aze. Pokud vˇsak firma A m´a urˇcit´e preference, kter´e sp´ıˇse upˇrednostˇ nuj´ı vzduchotechnick´e odvˇetv´ı, nejsp´ıˇs by nesouhlasila a zvolila nˇejakou sm´ıˇsenou strategii. Nav´ıc jsme si na zaˇc´atku uk´azali, ˇze jak´akoli odpovˇed’ firmy A je vˇzdy nejlepˇs´ı odpovˇed´ı na jakoukoli odpovˇed’ firmy B, a tak ji vlastnˇe nemus´ı zaj´ımat, zda se nach´az´ı v rovnov´aˇzn´em bodˇe, nebo ne a trat´ı na tom firma B. Nakonec je nutn´e poznamenat, ˇze ve v´ıcekriteri´aln´ıch nekooperativn´ıch hr´ach se setk´av´ame s nov´ ym metodick´ ym probl´emem. Pokud m´ame standardn´ı jednokriteri´aln´ı hru a nalezneme Nash˚ uv rovnov´aˇzn´ y bod, znamen´a to, ˇze obˇe firmy by se mˇely drˇzet doporuˇcen´e strategie, v opaˇcn´em pˇr´ıpadˇe na tom jednoznaˇcnˇe budou tratit. Ve v´ıcekriteri´aln´ı hˇre jsme vˇsak naˇsli v´ıce r˚ uzn´ ych rovnov´aˇzn´ ych bod˚ u. A lze obecnˇe ˇr´ıci, ˇze hra s v´ıce v´ yplatn´ımi funkcemi typicky vede k nejednoznaˇcn´emu rovnov´aˇzn´emu bodu. A pokud v naˇsem pˇr´ıpadˇe obˇe firmy zvol´ı svou rovnov´aˇznou strategii, ale kaˇzd´a v jin´em rovnov´aˇzn´em bodˇe, hra v rovnov´aze b´ yt nemus´ı. Jin´ ymi slovy, jedna ˇci obˇe firmy by mohly zvolit jinou strategii tak, ˇze by mˇely zisky z obou odvˇetv´ı vyˇsˇs´ı. Z tohoto d˚ uvodu je doporuˇceno firm´am ˇca´steˇcnˇe spolupracovat a domluvit se. Probl´emu, jak v tomto pˇr´ıpadˇe pˇrimˇet hr´aˇce spolupracovat, se podrobnˇeji vˇenuje autor A. P. Wierzbicki (napˇr. A mathematical basis for satisficing decision making nebo Negotiation and mediation in conflicts I: The role of mathematical approaches and methods, resp. Negotiation and mediation II: Plural rationality and interactive decision processes). Na z´avˇer jeˇstˇe uved’me, jakou souvislost m´a mnoˇzstv´ı krit´eri´ı a strategi´ı s mnoˇzstv´ım rovnov´aˇzn´ ych bod˚ u. Obecnˇe plat´ı, ˇze ˇc´ım v´ıce krit´eri´ı a m´enˇe strategi´ı m´ame, t´ım v´ıce rovnov´aˇzn´ ych bod˚ u existuje. Pokud se tedy jedn´a o vˇetˇs´ı hru, m˚ uˇze b´ yt syst´em rovnov´aˇzn´ ych bod˚ u znaˇcnˇe nepˇrehledn´ y, i kdyˇz se n´am podaˇr´ı naj´ıt vˇsechny rovnov´aˇzn´e body i hodnoty v´ yplatn´ıch funkc´ı v nich. Se vzr˚ ustaj´ıc´ım poˇctem rovnov´aˇzn´ ych bod˚ u ovˇsem tak´e roste mnoˇzstv´ı ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Pokud by se n´am podaˇrilo vytvoˇrit syst´em ˇreˇsen´ı v ˇcist´ ych strategi´ıch, byl by rozhodnˇe pˇrehlednˇejˇs´ı. V dalˇs´ı kapitole se tedy budeme zab´ yvat moˇznost´ı hled´an´ı ˇreˇsen´ı v´ıcekriteri´aln´ıch her v ˇcist´ ych strategi´ıch.
52
Kapitola 5 Teoretick´ e v´ ysledky 5.1
ˇ sen´ı v ˇ Reˇ cist´ ych strategi´ıch
V aplikaci na konkr´etn´ı hru jsme si vˇsimli, ˇze existovalo ˇreˇsen´ı v ˇcist´ ych strategi´ıch, a to dokonce nˇekolik. Pod´ıv´ame se, jak to je s ˇreˇsen´ım v ˇcist´ ych strategi´ıch ve v´ıcekriteri´aln´ıch hr´ach obecnˇe. Ve standardn´ı hˇre je ˇreˇsen´ı v ˇcist´ ych strategi´ıch sp´ıˇse v´ yjimeˇcn´e a existuje pouze ve speci´aln´ıch pˇr´ıpadech. Ve hˇre s vektorovou v´ yplatn´ı funkc´ı je vˇsak situace jin´a. ˇ Reˇsen´ı v ˇcist´ ych strategi´ıch naopak velice ˇcasto existuje. A jeho existence je t´ım pravdˇepodobnˇejˇs´ı, ˇc´ım m´enˇe ˇcist´ ych strategi´ı a ˇc´ım v´ıce krit´eri´ı hr´aˇci maj´ı. Je to zp˚ usobeno velk´ ym mnoˇzstv´ım rovnov´aˇzn´ ych bod˚ u, coˇz vypl´ yv´a z toho, ˇze eficientn´ıch bod˚ u u v´ıcekriteri´aln´ı optimalizace tak´e b´ yv´a velmi mnoho. Nalezen´ı nˇekolika ˇreˇsen´ı v ˇcist´ ych strategi´ıch je velice rychl´e a snadn´e. Nyn´ı si na pˇr´ıkladˇe uk´aˇzeme moˇzn´ y zp˚ usob hled´an´ı rovnov´aˇzn´ ych bod˚ u v ˇcist´ ych strategi´ıch a pot´e se pod´ıv´ame na jeho vlastnosti. Pˇ r´ıklad 5.1. Uvaˇzujme opˇet maticovˇe zadanou hru dvou hr´aˇc˚ u. Prvn´ı hr´aˇc m´a tˇri krit´eria, druh´ y hr´aˇc m´a dvˇe krit´eria. Hr´aˇc 1 m´a strategie X a Y , hr´aˇc 2 m´a strategie A, B, C. Hodnoty v´ yplatn´ıch funkc´ı jsou zobrazeny v n´asleduj´ıc´ıch matic´ıch. Prvn´ı hr´aˇc:
(2, 1, 2) (4, 2, 9) (0, 2, 1) (3, 7, 1) (7, 1, 0) (1, 8, 2)
.
Druh´ y hr´aˇc:
(0, 4) (2, 5) (1, 2) (1, 7) (7, 3) (1, 0)
.
Nyn´ı budeme zkoumat nejlepˇs´ı odpovˇedi hr´aˇc˚ u. Nejprve se pod´ıv´ame na nejlepˇs´ı odpovˇedi prvn´ıho hr´aˇce. Rozep´ıˇseme si matici vektor˚ u v´ yplatn´ıch funkc´ı na jed53
notliv´e matice a nahl´edneme, jak´e ˇcist´e strategie jsou nejlepˇs´ı odpovˇed´ı na jednotliv´e ˇcist´e strategie druh´eho hr´aˇce. Prvn´ı krit´erium:
2 4 0 3 7 1
1 2 2 7 1 8
2 9 1 1 0 2
,
druh´e krit´erium:
,
tˇret´ı krit´erium:
.
Pokud druh´ y hr´aˇc zahraje strategii A, nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce je jak strategie X, tak strategie Y . Vych´az´ıme z u ´vahy, ˇze takov´a ˇcist´a strategie, kter´a je alespoˇ n v jednom krit´eriu maxim´aln´ı (vzhledem k strategii A druh´eho hr´aˇce), je nejlepˇs´ı odpovˇed´ı. Je tomu tak proto, ˇze takov´a strategie nem˚ uˇze b´ yt dominov´ana ˇz´adnou jinou, v dan´em krit´eriu bude m´ıt vˇzdy vyˇsˇs´ı hodnotu neˇz jak´akoli kombinace ostatn´ıch strategi´ı. Tedy za pˇredpokladu strategie A druh´eho hr´aˇce je dle prvn´ıho krit´eria nejlepˇs´ı odpovˇed´ı strategie Y , dle druh´eho krit´eria strategie Y a dle tˇret´ıho krit´eria strategie X. Takˇze na strategii A je nejlepˇs´ı odpovˇed´ı jak strategie X, tak strategie Y . Obdobnˇe zjist´ıme, ˇze za pˇredpokladu strategie B druh´eho hr´aˇce je nejlepˇs´ı odpovˇed´ı strategie X i Y . Za pˇredpokladu strategie C je nejlepˇs´ı odpovˇed´ı pouze strategie Y , nebot’ dominuje strategii X ve vˇsech krit´eri´ıch. Nyn´ı provedeme analogickou anal´ yzu ze strany druh´eho hr´aˇce. Nejprve si rozep´ıˇseme matici vektor˚ u na matice dle jednotliv´ ych krit´eri´ı: Prvn´ı krit´erium:
0 2 1 1 7 1
4 5 2 7 3 0
,
druh´e krit´erium:
.
Pokud prvn´ı hr´aˇc zahraje strategii X, pak nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce je pouze ˇcist´a strategie B, nebot’ v obou krit´eri´ıch dominuje strategii A i C. Nejlepˇs´ı odpovˇed´ı na strategii Y jsou pak ˇcist´e strategie A a B. Protoˇze plat´ı, ˇze dvojice strategi´ı (p, q) je rovnov´aˇzn´ ym bodem pr´avˇe tehdy, kdyˇz p je nejlepˇs´ı odpovˇed´ı na q a q je nejlepˇs´ı odpovˇed´ı na p, snadno z pˇredchoz´ıch 54
u ´vah urˇc´ıme nˇekter´e rovnov´aˇzn´e body. Rovnov´aˇzn´ ymi body v ˇcist´ ych strategi´ıch tak jsou dvojice strategi´ı (X, B), (Y, A), (Y, B). To plyne z toho, ˇze jsme zjistili, ˇze X je nejlepˇs´ı odpovˇed´ı na B i B je nejlepˇs´ı odpovˇed´ı na X, obdobnˇe i pro zbyl´e dva body. Prakticky okamˇzitˇe jsme tak naˇsli nˇekolik rovnov´aˇzn´ ych bod˚ u. M Hlavn´ı v´ yhodou v´ yˇse popsan´eho zp˚ usobu je jeho nen´aroˇcnost. Velice rychle nalezneme nˇekolik rovnov´aˇzn´ ych bod˚ u. Jen tak mimochodem jsou to ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Nyn´ı si jeˇstˇe na nˇekolika pˇr´ıkladech uk´aˇzeme vlastnosti v´ yˇse uveden´eho zp˚ usobu ˇreˇsen´ı. Nejprve se pod´ıv´ame na rozd´ılnost hled´an´ı siln´ ych a slab´ ych rovnov´aˇzn´ ych bod˚ u. Uveden´ ym zp˚ usobem lze hledat oba typy rovnov´aˇzn´ ych bod˚ u, jen postupujeme trochu odliˇsnˇe. Pˇ r´ıklad 5.2. V pˇr´ıkladu 5.1 nedoˇslo nikde ke shodˇe hodnot u v´ıce strategi´ı. Uvaˇzovali jsme dominanci ve smyslu <“ z definice 3.3 a vˇsechny nalezen´e rovno” v´aˇzn´e body byly siln´e. Pokud vˇsak k nˇejak´e shodˇe dojde, m˚ uˇzeme se drˇzet definice dominance a hledat tak siln´e rovnov´aˇzn´e body, nebo m˚ uˇzeme ch´apat dominanci ve smyslu ≤“ a hledat slab´e rovnov´aˇzn´e body. Vr´at´ıme se k pˇredchoz´ımu pˇr´ıkladu ” a malinko ho pozmˇen´ıme. Prvn´ı hr´aˇc:
(2, 1, 2) (7, 2, 9) (0, 2, 1) (3, 7, 1) (7, 1, 9) (1, 8, 2)
.
Druh´ y hr´aˇc:
(0, 4) (2, 5) (1, 2) (1, 7) (7, 3) (1, 0)
.
Zmˇenili jsme hodnoty v´ yplatn´ıch funkc´ı prvn´ıho hr´aˇce u prvn´ıho a tˇret´ıho krit´eria pˇri strategii B druh´eho hr´aˇce. Opˇet budeme hledat nejlepˇs´ı odpovˇedi. Vzhledem k nezmˇenˇen´e matici druh´eho hr´aˇce z˚ ust´avaj´ı i jeho nejlepˇs´ı odpovˇedi stejn´e, tedy B je nejlepˇs´ı odpovˇed´ı na strategii X a strategie A a B jsou nejlepˇs´ı odpovˇed´ı na strategii Y . Matici prvn´ıho hr´aˇce si opˇet rozep´ıˇseme. Prvn´ı krit´erium:
2 7 0 3 7 1
1 2 2 7 1 8
,
druh´e krit´erium:
55
,
tˇret´ı krit´erium:
2 9 1 1 9 2
.
Nejlepˇs´ı odpovˇedi na strategie A a C z˚ ust´avaj´ı stejn´e, tedy nejlepˇs´ı odpovˇed´ı na A je X i Y a nejlepˇs´ı odpovˇed´ı na C je Y . Situace je zaj´ımavˇejˇs´ı za pˇredpokladu volby strategie B druh´ ym hr´aˇcem. U prvn´ıho a tˇret´ıho krit´eria jsou hodnoty stejn´e u strategie X i Y . U druh´eho krit´eria X dominuje Y . Ted’ z´aleˇz´ı, zda hled´ame slab´e ˇci siln´e rovnov´aˇzn´e body. Pokud n´as zaj´ımaj´ı slab´e rovnov´aˇzn´e body, pak pˇri rovnosti v´ıce strategi´ı povaˇzujeme za nejlepˇs´ı odpovˇedi obˇe. Pokud n´as naopak zaj´ımaj´ı siln´e rovnov´aˇzn´e body, pak pˇri rovnosti v´ıce strategi´ı nepovaˇzujeme (u dan´eho krit´eria) za nejlepˇs´ı odpovˇed’ ani jednu, ovˇsem s jednou v´ yjimkou. Pakliˇze by byla rovnost u vˇsech krit´eri´ı, pak tak´e povaˇzujeme vˇsechny strategie za nejlepˇs´ı odpovˇedi i za pˇredpokladu hled´an´ı siln´ ych rovnov´aˇzn´ ych bod˚ u. Vˇse snadno vych´az´ı z definice slab´eho a siln´eho rovnov´aˇzn´eho bodu. Tedy v naˇsem pˇr´ıkladˇe uvaˇzujeme-li slab´e rovnov´aˇzn´e body, z˚ ustanou jimi dvojice strategi´ı (X, B), (Y, A), (Y, B). Uvaˇzujeme-li siln´e rovnov´aˇzn´e body, situace se zmˇen´ı. Pˇri volbˇe strategie B druh´ ym hr´aˇcem je strategie Y dominov´ana strategi´ı X, nejlepˇs´ı odpovˇed´ı na strategii B je tak pouze strategie Y . T´ım se n´am ztrat´ı rovnov´aˇzn´ y bod (X, B) a z˚ ustanou pouze rovnov´aˇzn´e body (Y, A) a (Y, B). M D´ale budeme zkoumat existence rovnov´aˇzn´ ych bod˚ u v ˇcist´ ych strategi´ıch. Vzhledem k uveden´ ym pˇr´ıklad˚ um by se mohlo zd´at, ˇze rovnov´aˇzn´e body v ˇcist´ ych strategi´ıch za nˇejak´ ych pˇredpoklad˚ u mus´ı existovat. Obvykle sice skuteˇcnˇe nˇejak´e takov´e ˇreˇsen´ı existuje, ale pro libovolnou velikost pˇr´ıkladu (poˇcet strategi´ı i krit´eri´ı) lze nal´ezt speci´aln´ı protipˇr´ıklad, kdy ˇreˇsen´ı v ˇcist´ ych strategi´ıch neexistuje. Nejpˇrirozenˇejˇs´ı protipˇr´ıklad se sestroj´ı tak, ˇze se urˇc´ı vˇsechna krit´eria jako toˇ sen´ı tak bude shodn´e s ˇreˇsen´ım klasick´e hry s jedinou v´ toˇzn´a. Reˇ yplatn´ı funkc´ı zadanou jedn´ım z krit´eri´ı. Z klasick´e teorie her pak plyne, ˇze lze naj´ıt protipˇr´ıklad libovoln´e velikosti takov´ y, ˇze ˇreˇsen´ı v ˇcist´ ych strategi´ıch neexistuje. My si uk´aˇzeme jeden pˇr´ıklad hry s nestejn´ ymi krit´erii, kdy ˇza´dn´e ˇreˇsen´ı v ˇcist´ ych strategi´ıch neexistuje. Pˇ r´ıklad 5.3. Uvaˇzujme dva hr´aˇce, kaˇzd´ y m´a dvˇe krit´eria. Prvn´ı hr´aˇc m´a strategie X, Y , druh´ y hr´aˇc m´a strategie A, B, C, D. Krit´eria prvn´ıho hr´aˇce jsou zad´ana n´asleduj´ıc´ımi maticemi: 9 9 1 1 , 1 1 9 9 9 9 1 1 . 1 1 9 9
56
Krit´eria druh´eho hr´aˇce jsou zad´ana maticemi: 1 1 9 1 , 1 9 1 1 1 1 1 9 . 9 1 1 1 Pokud hled´ame ˇreˇsen´ı pomoc´ı v´ yˇse popsan´eho zp˚ usobu, snadno zjist´ıme, ˇze ˇza´dn´e ˇreˇsen´ı nenajde. X je nejlepˇs´ı odpovˇed´ı na strategie A a B, Y je nejlepˇs´ı odpovˇed´ı na C a D. A a B jsou nejlepˇs´ı odpovˇed´ı na X, C a D jsou nejlepˇs´ı odpovˇed´ı na Y . Nenalezli jsme tedy ˇz´adn´e ˇreˇsen´ı. Ovˇeˇr´ıme si, ˇze hra skuteˇcnˇe ˇreˇsen´ı v ˇcist´ ych strategi´ıch nem´a. Vyuˇzijeme k tomu konceptu z kapitoly 3.2, kter´ y jsme uˇz podrobnˇe aplikovali v kapitole 4, a tak bude snadn´e u ´lohu vyˇreˇsit. Nejprve zkoum´ame nejlepˇs´ı odpovˇed’ prvn´ıho hr´aˇce na strategii (q1 , q2 , q3 , q4 ) druh´eho hr´aˇce. Strategie X je nejlepˇs´ı odpovˇed´ı pr´avˇe tehdy, kdyˇz plat´ı 9q1 + 9q2 + q3 + q4 ≥ q1 + q2 + 9q3 + 9q4 . Jedn´a se pouze o jednu nerovnici, nebot’ obˇe krit´eria maj´ı stejn´e hodnoty. Nerovnici snadno uprav´ıme na tvar q1 + q2 ≥ q3 + q4 . Obdobnˇe Y je nejlepˇs´ı odpovˇed´ı pr´avˇe tehdy, kdyˇz plat´ı q1 + q2 ≤ q3 + q4 . Obˇe strategie X i Y jsou pak nejlepˇs´ımi odpovˇed’mi pr´avˇe tehdy, kdyˇz plat´ı 1 = q3 + q 4 . 2
q 1 + q2 =
D´ale n´as zaj´ım´a nejlepˇs´ı odpovˇed’ druh´eho hr´aˇce na strategii (p, 1 − p) prvn´ıho hr´aˇce. Nejprve sestav´ıme vektory krit´eri´ı pˇri dan´em parametru p. Prvn´ı krit´erium: 1 1 9 1 (p, 1 − p) · = (1, 9 − 8p, 1 + 8p, 1). 1 9 1 1 Druh´e krit´erium: (p, 1 − p) ·
1 1 1 9 9 1 1 1
57
= (9 − 8p, 1, 1, 1 + 8p).
Obr´azek 5.1: p = 0
Obr´azek 5.2: p =
1 2
Nyn´ı se pod´ıv´ame obr´azky 5.1, 5.2 a 5.3, abychom vidˇeli nejlepˇs´ı odpovˇedi.
Situace se zmˇen´ı pouze v bodˇe p = 12 , jak vid´ıme na obr´azku 5.2. Z obr´azk˚ u nyn´ı snadno sestav´ıme nejlepˇs´ı odpovˇedi druh´eho hr´aˇce v z´avislosti na p:
58
Obr´azek 5.3: p = 1 nejlepˇs´ı odpovˇed’
p 0≤p< p= 1 2
1 2
1 2
(q, 1 − q, 0, 0)
q ∈ [0, 1]
(q1 , q2 , q3 , q4 )
qi ≥ 0,
≤ p < 1 (0, 0, q, 1 − q)
P4
i=1 qi
=1
q ∈ [0, 1]
Kdyˇz nyn´ı d´ame nejlepˇs´ı odpovˇedi dohromady, zjist´ıme, ˇze jedin´ ym rovnov´aˇzn´ ym bodem je 1 1 , ; (q1 , q2 , q3 , q4 ), 2 2 kde
1 = q 3 + q4 . 2 Pokud je p ≤ 21 , pak je nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce strategie (q, 1 − q, 0, 0), ale na takovou strategii je nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce ˇcist´a strategie X, tj. p = 1. Obdobnˇe je-li p ≥ 12 , pak je nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce strategie (0, 0, q, 1 − q), ale na takovou strategii je nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce ˇcist´a strategie Y , tj. p = 0. V´ yˇse uveden´ y rovnov´aˇzn´ y bod je tedy jedin´ y. Hra tedy nem´a ˇza´dn´e ˇreˇsen´ı v ˇcist´ ych strategi´ıch. qi ≥ 0, q1 + q2 =
M ˇ sen´ı v ˇcist´ Reˇ ych strategi´ıch tedy nutnˇe existovat nemus´ı. Uk´aˇzeme si, ˇze v pˇr´ıpadˇe, ˇze ˇreˇsen´ı v ˇcist´ ych strategi´ıch existuje, m˚ uˇze pˇresto nastat situace, ˇze v´ yˇse popsan´ y zp˚ usob nenalezne vˇsechna ˇreˇsen´ı v ˇcist´ ych strategi´ıch.
59
Pˇ r´ıklad 5.4. Nyn´ı uvaˇzujeme, ˇze oba hr´aˇci maj´ı dvˇe krit´eria, prvn´ı hr´aˇc m´a dvˇe strategie X a Y a druh´ y hr´aˇc m´a tˇri strategie A, B a C. Krit´eria prvn´ıho hr´aˇce:
9 1 8 1 9 1
9 1 8 1 9 1
1 9 8 9 1 8
9 1 8 1 9 8
, .
Krit´eria druh´eho hr´aˇce:
, .
Na prvn´ı pohled vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce na strategii A je strategie X, na strategii B strategie Y a na strategii C strategie X. Nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce na strategii X jsou strategie A a B a na strategii Y takt´eˇz strategie A a B. Nalezen´ ym ˇreˇsen´ım tedy jsou (X, A), (Y, B). Nyn´ı najdeme vˇsechny rovnov´aˇzn´e body. Nejdˇr´ıve n´as zaj´ım´a nejlepˇs´ı odpovˇed’ prvn´ıho hr´aˇce na strategii (q1 , q2 , q3 ) druh´eho hr´aˇce. Strategie X je nejlepˇs´ı odpovˇed´ı pr´avˇe kdyˇz 9q1 + q2 + 8q3 ≥ q1 + 9q2 + q3 . Po u ´pravˇe dosad´ıme q2 = 1 − q1 − q3 a dostaneme 16q1 + 15q3 ≥ 8. Obdobnˇe Y je nejlepˇs´ı odpovˇed´ı pr´avˇe kdyˇz 16q1 + 15q3 ≤ 8. V tomto pˇr´ıpadˇe je pˇrehlednˇejˇs´ı obr´azek, viz obr´azek 5.4. Na obr´azku 5.4 bod (0,0) reprezentuje ˇcistou strategii B, bod (1,0) reprezentuje ˇcistou strategii A a bod (0,1) reprezentuje ˇcistou strategii C. Tedy ˇcist´a strategie X je nejlepˇs´ı odpovˇed´ı na strategie A a C a ˇcist´a strategie Y je nejlepˇs´ı odpovˇed´ı na B. D´ale se pod´ıv´ame na nejlepˇs´ı odpovˇedi druh´eho hr´aˇce na strategii (p, 1 − p) 60
Obr´azek 5.4: nejlepˇs´ı odpovˇedi prvn´ıho hr´aˇce prvn´ıho hr´aˇce. Opˇet sestav´ıme vektory krit´eri´ı pˇri dan´em parametru p. Prvn´ı krit´erium: 1 9 8 (p, 1 − p) · = (9 − 8p, 1 + 8p, 8). 9 1 8 Druh´e krit´erium: (p, 1 − p) ·
9 1 8 1 9 8
= (1 + 8p, 9 − 8p, 8).
Nakresl´ıme si obr´azek pro p = 0 a p = 1.
Obr´azek 5.5: p = 0
61
Obr´azek 5.6: p = 1 Pro 0 < p < 1 se situace mˇen´ı tak, ˇze se body A a B posouvaj´ı navz´ajem k sobˇe, aˇz se prohod´ı a dostanou se do situace pro p = 1. Pokud bychom chtˇeli pˇr´ıklad doˇreˇsit, nalezli bychom bod, ve kter´em je prvn´ı krit´erium pˇri strategii A rovno osmi (jako krit´eriu pˇri strategii C), tj. p = 18 . Analogicky druh´e krit´erium je rovno osmi pro p = 78 . Pak pro 81 < p < 78 je nejlepˇs´ı odpovˇed´ı pouze ˇcist´a strategie C. To vˇsak pro n´as nen´ı zaj´ımav´a situace. Tedy pˇri 0 ≤ p ≤ 81 vypad´a situace jako na obr´azku 5.5 a pˇri 78 ≤ p ≤ 1 vypad´a situace jako na obr´azku 5.6. Takˇze co se t´ yˇce ˇcist´ ych strategi´ı, tak pˇri strategii Y prvn´ıho hr´aˇce je nejlepˇs´ı odpovˇed’ jak´akoli sm´ıˇsen´a strategie (q1 , q2 , q3 ), tj. jak´akoli ˇcist´a strategie. Obdobnˇe pˇri strategii X je nejlepˇs´ı odpovˇed´ı tak´e jak´akoli ˇcist´a strategie. Nyn´ı odpovˇedi porovn´ame s v´ ysledky z obr´azku 5.4. Nalezli jsme tˇri rovnov´aˇzn´e body v ˇcist´ ych strategi´ıch: (X, A), (X, C), (Y, B). Popsan´ ym zp˚ usobem jsme tedy ztratili jedno ˇreˇsen´ı v ˇcist´ ych strategi´ıch, a to dvojici (X, C). M Na pˇredchoz´ım pˇr´ıkladu jsme si mohli vˇsimnout, ˇze ˇreˇsen´ı jsme ztratili u druh´eho hr´aˇce t´ım, ˇze existovala strategie, kter´a byla velmi dobr´a v obou krit´eri´ıch, ale ani v jednom nebyla nejvyˇsˇs´ı. Poznamenejme, ˇze nejlepˇs´ı odpovˇedi prvn´ıho hr´aˇce (m´a-li pouze dvˇe strategie) nalezen´e zp˚ usobem a skuteˇcn´e se budou vˇzdy shodovat. Jsou totiˇz jen dvˇe a nem˚ uˇze nastat ta situace jako u druh´eho hr´aˇce, tj. ˇze existuje jeˇstˇe nˇejak´a kompromisn´ı varianta v´ yborn´a ve vˇsech krit´eri´ıch, ale ani v jednom nejlepˇs´ı. Pˇri dvou strategi´ıch je nejlepˇs´ı odpovˇed´ı bud’ X nebo Y nebo obˇe a koresponduje to t´ım, zda je ve vˇsech krit´eri´ıch nejlepˇs´ı X, ve vˇsech krit´eri´ıch nejlepˇs´ı 62
ˇ sen´ı tedy Y , nebo alespoˇ n v jednom nejlepˇs´ı X a alespoˇ n v jednom nejlepˇs´ı Y . Reˇ ztrat´ıme pr´avˇe tehdy, kdyˇz u druh´eho hr´aˇce existuje nˇejak´a takov´a kompromisn´ı varianta. Nyn´ı si jeˇstˇe uk´aˇzeme posledn´ı protipˇr´ıklad, ˇze m˚ uˇze nastat i situace, kdy hra m´a ˇreˇsen´ı v ˇcist´ ych strategi´ıch, ale popsan´ y zp˚ usob ˇza´dn´e nenajde. Pˇ r´ıklad 5.5. Uvaˇzujeme, ˇze oba hr´aˇci maj´ı dvˇe krit´eria, prvn´ı hr´aˇc m´a dvˇe strategie X a Y a druh´ y hr´aˇc m´a pˇet strategi´ı A, B, C, D a E. Krit´eria prvn´ıho hr´aˇce:
9 9 9 1 1 1 1 9 9 9
9 9 9 1 1 1 1 9 9 9
1 4 7 1 9 1 9 7 1 4
4 1 7 9 1 9 1 7 1 4
, .
Krit´eria druh´eho hr´aˇce:
, .
Kdyˇz se pod´ıv´ame na matice, vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce na strategii A je strategie X, na strategii B strategie X, na strategii C strategie X i Y , na strategii D strategie Y a na strategii E strategie Y . Nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce na strategii X jsou strategie D a E a na strategii Y strategie A a B. Nenalezli jsme tedy ˇza´dn´e ˇreˇsen´ı. Hra vˇsak ˇreˇsen´ı v ˇcist´ ych strategi´ıch m´a. Najdeme ho. Vysvˇetlili jsme si, ˇze nejlepˇs´ı odpovˇedi prvn´ıho hr´aˇce vˇzdy pˇresnˇe odpov´ıdaj´ı pouh´emu pohledu na matice. Zaj´ımaj´ı n´as pouze ˇreˇsen´ı v ˇcist´ ych strategi´ıch, nebudeme tedy podrobnˇe zkoumat nejlepˇs´ı odpovˇedi prvn´ıho hr´aˇce, nebot’ odpov´ıdaj´ı v´ yˇse zjiˇstˇen´ ym. Hled´ame tedy nejlepˇs´ı odpovˇedi druh´eho hr´aˇce na ˇcist´e strategie X a Y. Sestav´ıme vektory krit´eri´ı pˇri dan´em parametru p. Prvn´ı krit´erium: 1 4 7 1 9 (p, 1 − p) · = (1, 9 − 5p, 7, 1, 4 + 5p). 1 9 7 1 4 Druh´e krit´erium: (p, 1 − p) ·
4 1 7 9 1 9 1 7 1 4
= (9 − 5p, 1, 7, 4 + 5p, 1).
Nakresl´ıme si opˇet obr´azek pro p = 0 a p = 1.
63
Obr´azek 5.7: p = 0
Obr´azek 5.8: p = 1 Pro 0 < p < 1 se situace mˇen´ı tak, ˇze se body A a D posouvaj´ı navz´ajem k sobˇe, aˇz se prohod´ı a dostanou se do situace pro p = 1. Obdobnˇe se prohod´ı body B a E. Budeme se vˇsak zab´ yvat jen ˇreˇsen´ı v ˇcist´ ych strategi´ıch, tedy pro p = 0 a p = 1. Z obr´azku 5.7 vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı na ˇcistou strategii Y jsou strategie A, B a C. Z obr´azku 5.8 vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı na ˇcistou strategii X jsou strategie C, D, a E. Nalezli jsme tedy ˇreˇsen´ı v ˇcist´ ych strategi´ıch (X, C), (Y, C). M 64
V pˇredchoz´ım pˇr´ıkladˇe nastala obdobn´a situace jako v pˇr´ıkladˇe 5.5. Pokud tedy existuj´ı nˇejak´e takov´e kompromisn´ı strategie, pak popsan´ ym zp˚ usobem nˇekter´a ˇreˇsen´ı nemus´ıme naj´ıt. V obvykl´ ych pˇr´ıpadech vˇsak t´ımto zp˚ usobem nalezneme vˇetˇsinu ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Snadno a rychle tak zjist´ıme nˇekolik rovnov´aˇzn´ ych bod˚ u hry a pot´e se m˚ uˇzeme rozhodnout. Zp˚ usob funguje i pokud oba hr´aˇci maj´ı v´ıce neˇz dvˇe strategie. Pro takovou hru nem´ame zp˚ usob nalezen´ı obecn´eho ˇreˇsen´ı, o to cennˇejˇs´ı je nal´ezt alespoˇ n ˇreˇsen´ı v ˇcist´ ych strategi´ıch. Na z´avˇer jeˇstˇe zkus´ıme pouˇz´ıt popsan´ y zp˚ usob na aplikaci z kapitoly 4. Uvaˇzujeme tedy dva hr´aˇce s v´ yplatn´ımi funkcemi: V´ yplatn´ı funkce prvn´ıho hr´aˇce: Prvn´ı krit´erium: 110 105 120 120 , 95 80 100 100 Druh´e krit´erium:
106 102 105 95 125 125 115 110
.
V´ yplatn´ı funkce druh´eho hr´aˇce: Prvn´ı krit´erium: 110 110 95 75 B1 = , 120 115 100 80 Druh´e krit´erium
B2 =
106 110 130 155 106 110 120 145
.
Vid´ıme, ˇze nejlepˇs´ı odpovˇed´ı prvn´ıho hr´aˇce na vˇsechny ˇcist´e strategie jsou obˇe ˇcist´e strategie - M i N . To tak´e odpov´ıd´a v´ ypoˇct˚ um z kapitoly 4. Nejlepˇs´ı odpovˇed´ı druh´eho hr´aˇce na strategii M jsou strategie I, J a L (uvaˇzujeme slab´e rovnov´aˇzn´e body). Nejlepˇs´ı odpovˇed´ı na strategii N jsou strategie I a L. Nalezli jsme tedy pˇet rovnov´aˇzn´ ych bod˚ u: (M, I) (M, J) (M, L) (N, I) (N, L) Kdyˇz to srovn´ame se skuteˇcn´ ym ˇreˇsen´ım v ˇcist´ ych strategi´ıch, chyb´ı pouze rovnov´aˇzn´ y bod (M, K). Rychl´ ym v´ ypoˇctem jsme tedy nalezli 5 ze 6 ˇreˇsen´ı v ˇcist´ ych strategi´ıch.
65
Z´ avˇ er Hled´an´ı rovnov´aˇzn´ ych bod˚ u v´ıcekriteri´aln´ı hry je n´aroˇcnˇejˇs´ı neˇz hled´an´ı Nashova rovnov´aˇzn´eho bodu. Z´aroveˇ n je to nov´e t´ema, kter´e zat´ım nen´ı dostateˇcnˇe prozkouman´e. Bylo proto velice zaj´ımav´e studovat velice nov´e a aktu´aln´ı ˇcl´anky na toto t´ema. Pr´aci jsem uvedla nˇekolika motivaˇcn´ımi pˇr´ıklady, kde jsem pˇredstavila tˇri moˇznosti, ve kter´ ych je nutn´e ˇreˇsit v´ıcekriteri´aln´ı hru. Jednu z nich - volebn´ı model jsem podrobnˇeji propracovala a sestavila pomˇernˇe konkr´etn´ı zad´an´ı. P˚ uvodnˇe jsem ji chtˇela ˇreˇsit, nakonec jsem ale zjistila dva probl´emy. Prvn´ı byl, ˇze jsem nenaˇsla koncept ˇreˇsen´ı, pomoc´ı nˇehoˇz by bylo re´aln´e u ´lohu rozumnˇe vyˇreˇsit. Druh´ ym probl´emem bylo zjiˇstˇen´ı, ˇze hra by byla natolik sloˇzit´a, ˇze i kdyby se mi ji podaˇrilo vyˇreˇsit, jej´ı ˇreˇsen´ı by bohuˇzel bylo re´alnˇe nevyuˇziteln´e. Ve druh´e kapitole jsem zm´ınila struˇcnˇejˇs´ı historii, na n´ıˇz jsem uk´azala, ˇze do roku 2000 vzniklo na toto t´ema jen nˇekolik m´alo prac´ı. V posledn´ıch deseti letech je uˇz naopak t´ematu vˇenov´ana spousta odborn´ ych ˇcl´ank˚ u. Ve tˇret´ı kapitole jsem nejprve pˇredstavila z´akladn´ı definice a pˇredvedla je na pˇr´ıkladˇe. N´aslednˇe jsem pˇredstavila tˇri koncepty ˇreˇsen´ı, kter´e jsem pˇrev´aˇznˇe pˇrevzala z literatury. Podrobnˇeji jsem rozebrala strukturu ˇreˇsen´ı hry dvou hr´aˇc˚ u, nebot’ jsem ji pot´e aplikovala na pˇr´ıkladˇe. Struˇcnˇeji jsem zm´ınila koncept hled´an´ı ˇreˇsen´ı pomoc´ı skalarizace v´ yplatn´ı funkce, kde jsem z literatury pˇrevzala pouze z´akladn´ı vˇetu, pˇredvedla ji v jednotn´em znaˇcen´ı, kter´e bylo deklarov´ano v definic´ıch dˇr´ıve, a n´aslednˇe aplikovala koncept na vlastn´ı pˇr´ıklad. Nakonec jsem pak opˇet struˇcnˇeji zm´ınila koncept hled´an´ı ide´aln´ıch rovnov´aˇzn´ ych bod˚ u. Tˇret´ı kapitolu jsem pak zakonˇcila srovn´an´ım jednotliv´ ych metod. Ve ˇctvrt´e kapitole jsem samostatnˇe zpracovala pˇr´ıklad z praxe, kde se dala pouˇz´ıt jedna z popsan´ ych metod. Nejprve jsem sestavila u ´lohu a pˇrevedla zad´an´ı do matematick´e podoby. Konkr´etn´ı ˇc´ısla nejsou pˇresnˇe urˇcena statistick´ ymi studiemi, ale jsou uvedena na z´akladˇe re´aln´ ych pozorov´an´ı a zkuˇsenost´ı experta pohybuj´ıc´ıho se v oboru des´ıtky let. N´aslednˇe jsem u ´lohu vyˇreˇsila pomoc´ı prvn´ıho popsan´eho konceptu. Samostatnˇe jsem jej aplikovala a vyˇreˇsila probl´emy, kter´e se pˇri ˇreˇsen´ı vyskytly. Nakonec jsem provedla podrobnou anal´ yzu ˇreˇsen´ı. Koncept ˇreˇsen´ı se uk´azal jako efektivn´ı, zaj´ımav´ y a ne pˇr´ıliˇs obt´ıˇzn´ y pro ˇreˇsen´ı re´aln´eho pˇr´ıkladu. V p´at´e kapitole jsem se zab´ yvala ˇreˇsen´ım v ˇcist´ ych strategi´ıch. Uk´azalo se, ˇze je moˇzn´e snadno a rychle nal´ezt vˇetˇsinu ˇreˇsen´ı v ˇcist´ ych strategi´ıch v´ıcekriteri´aln´ıch her. Protoˇze u her s vektorovou v´ yplatn´ı funkc´ı takov´a ˇreˇsen´ı obvykle existuj´ı a pˇri 66
velk´em mnoˇzstv´ı krit´eri´ı jich dokonce b´ yv´a velk´e mnoˇzstv´ı, je to jistˇe uˇziteˇcn´e pozorov´an´ı. Plyne snadno z definice rovnov´aˇzn´eho bodu ve v´ıcekriteri´aln´ı hˇre. Tato kapitola je v´ ysledkem vlastn´ıho v´ yzkumu. Pr´ace se mi psala velice dobˇre, nebot’ mˇe t´ema znaˇcnˇe zaujalo. Studovala jsem z nejnovˇejˇs´ıch anglick´ ych ˇcl´ank˚ u, coˇz pro mˇe bylo velmi pˇr´ınosn´e. Pˇri z´ısk´av´an´ı informac´ı jsem vˇsak narazila na probl´emy - zdaleka ne vˇsechny nejnovˇejˇs´ı ˇcl´anky m´a Univerzita Karlova zaplaceny, a proto jsem se bohuˇzel k nˇekter´ ym nedostala. Za pˇr´ınos pr´ace povaˇzuji nˇekolik vlastn´ıch moˇznost´ı aplikace a uveden´ı konkr´etn´ıch pˇr´ıklad˚ u v´ıcekriteri´aln´ıch her, kter´e jsem n´azornˇe vysvˇetlila, a pˇredevˇs´ım kompletn´ı pˇreveden´ı teoretick´eho konceptu do praxe ve ˇctvrt´e kapitole, kde jsem se musela vypoˇra´d´avat i s nˇekolika nastal´ ymi specifick´ ymi pot´ıˇzemi. Z´aroveˇ n jsem tak´e pˇredvedla vlastn´ı anal´ yzu ˇreˇsen´ı, jin´ ymi slovy, co vlastnˇe ˇreˇsen´ı pˇrin´aˇs´ı pro re´aln´e pouˇzit´ı. D´ale jsem pˇrinesla nov´e poznatky v hled´an´ı ˇreˇsen´ı v ˇcist´ ych strategi´ıch, kde jsem uk´azala, jak rychle nal´ezt vˇetˇsinu ˇreˇsen´ı v ˇcist´ ych strategi´ıch. V t´ematu v´ıcekriteri´aln´ıch her se nab´ız´ı jeˇstˇe spoustu moˇznost´ı pro v´ yzkum. Je moˇzn´e hledat nov´e koncepty ˇreˇsen´ı i vym´ yˇslet nov´e pˇr´ıklady z praxe a aplikovat na nˇe r˚ uzn´e dosud nalezen´e koncepty.
67
Seznam pouˇ zit´ e literatury [1] BLACKWELL, D., (1954): An Analog of the Minimax Theorem for Vector Payoffs, Pacific Journal of Mathematics, Vol. 6, pp. 1-8. [2] BORM, P.; VERMEULEN, D.; VOORNEVELD, M., (2003): The Structure of the Set of Equilibria for Two Person Multicriteria Games, European Journal of Operation Research, Vol. 148, pp. 480-493. [3] CORLEY, H. W., (1985): Games with Vector Payoffs, Journal of Optimization Theory and Applications, Vol. 42, pp. 491-498. [4] FERNANDEZ, F. R.; HINOJOSA, M. A.; PUERTO, J., (2002): Core Solutions in Vector-Valued Games, Journal of Optimization Theory and Applications, Vol. 112, No. 2, pp. 331-360. [5] FERNANDEZ, F. R.; MONROY, L.; PUERTO, J., (1998): Multicriteria Goal Games, Journal of Optimization Theory and Applications, Vol. 99, No. 2, pp. 403-421. [6] GHOSE, D. B.; (1991): A Necessary and Sufficient Condition for ParetoOptimal Security Strategies in Multicriteria Matrix Games, Journal of Optimization Theory and Applications , Vol. 68, No. 3, pp. 463-481. [7] GHOSE, D. B.; PRASAD, U. R.; (1989): Solution Concepts in Two-Persons Multicriteria Games, Journal of Optimization Theory and Applications, Vol. 63, No. 2, pp. 167-189. [8] KOSTER, M.; REIJNIERSE, H.; VOORNEVELD, M., (1999): Voluntary Contributions to Multiple Public Facilities; a Class of Ordinal Potential Games, CentER DP 9988, Tilburg University, The Netherlands. [9] KRUS, L.; BRONISZ, P., (1994): On n-person Noncooperative Multicriteria Games Described in Strategic Form, Annals of Operation Research, Vol. 51, pp. 83-97. [10] NEUMANN, J. von; MORGENSTERN, O.; (1944): The Theory of Games end Economic Behavior, Princeton University Press, The USA. [11] ROCKAFELLAR, R., T.; (1997): Convex Analysis, Princeton University Press, The USA. [12] SHAPLEY, L. S., (1959): Equilibrium Points in Games with Vector Payoffs, Naval research Logistics Quarterly, Vol. 6, pp. 57-61.
68
[13] VOORNEVELD, M., (2000): Ideal Equilibria in Noncooperative Multicriteria Games, Mathematical Methods of Operations Research, Vol. 52, pp. 65-77. ´ M., (1976): Game with Multiple Payoffs, International Journal of [14] ZELENY, Game Theory, Vol. 4, No. 4, pp. 179-191.
69