Wartość Shapleya. Oskar Skibski. Institute of Informatics, University of Warsaw. 8 października 2012

Podobne dokumenty
Algorytmiczna Teoria Gier Koalicyjnych

Algorytmiczna Teoria Gier Koalicyjnych 2015/16

Obliczanie wartości Shapleya rozszerzonej do gier koalicyjnych z efektami zewnętrznymi

Wartość Shapleya w grach koalicyjnych

Gry wieloosobowe. Zdzisław Dzedzej

Tworzenie gier na urządzenia mobilne

WARTOŚĆ SHAPLEYA DLA GIER

Rozkład figury symetrycznej na dwie przystające

ALGEBRA Z GEOMETRIĄ BAZY PRZESTRZENI WEKTOROWYCH

Rozwiązania, seria 5.

11. Gry Macierzowe - Strategie Czyste i Mieszane

Teoria Decyzji Wykład 13 N-osobowe gry kooperacyjne - wartość Shapleya

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

GRY KOOPERACYJNE WPROWADZENIE DO TEMATYKI

3. Macierze i Układy Równań Liniowych

Informacja o przestrzeniach Sobolewa

13 Układy równań liniowych

Wprowadzenie do teorii gier

Gry o sumie niezerowej

Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d

Iloczyn skalarny. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 10. wykład z algebry liniowej Warszawa, grudzień 2013

LX Olimpiada Matematyczna

Przekształcenia liniowe

TEORIA GIER W EKONOMII WYKŁAD 6: GRY DWUOSOBOWE KOOPERACYJNE O SUMIE DOWOLNEJ

A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.

Indukcja matematyczna. Zasada minimum. Zastosowania.

9 Przekształcenia liniowe

Teoria gier. wstęp Teoria gier Zdzisław Dzedzej 1

Zasada indukcji matematycznej

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Grupy, pierścienie i ciała

Co to jest wektor? Jest to obiekt posiadający: moduł (długość), kierunek wraz ze zwrotem.

Relacje. opracował Maciej Grzesiak. 17 października 2011

Układy równań liniowych

Wykład 12 i 13 Macierz w postaci kanonicznej Jordana , 0 A 2

1 Podobieństwo macierzy

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

LOGIKA I TEORIA ZBIORÓW

1. Wykład NWD, NWW i algorytm Euklidesa.

Weryfikacja hipotez statystycznych

Rodzinę spełniającą trzeci warunek tylko dla sumy skończonej nazywamy ciałem (algebrą) w zbiorze X.

Praca domowa - seria 6

1. ODPOWIEDZI DO ZADAŃ TESTOWYCH

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Algebra liniowa II. Lista 1. 1 u w 0 1 v 0 0 1

MODELOWANIE RZECZYWISTOŚCI

Programowanie liniowe

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Endomorfizmy liniowe

Zaawansowane metody numeryczne

Wyprowadzenie prawa Gaussa z prawa Coulomba

Zastosowanie wartości Shapleya w podejmowaniu decyzji przez importerów

Zmienne losowe i ich rozkłady

Load balancing games

Metody teorii gier. ALP520 - Wykład z Algorytmów Probabilistycznych p.2

domykanie relacji, relacja równoważności, rozkłady zbiorów

Pogromcy duchów. Wstęp. Krok 1: Stwórz latającego ducha

II. Równania autonomiczne. 1. Podstawowe pojęcia.

i=7 X i. Zachodzi EX i = P(X i = 1) = 1 2, i {1, 2,..., 11} oraz EX ix j = P(X i = 1, X j = 1) = 1 7 VarS 2 2 = 14 3 ( 5 2 =

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

Wstęp do Teorii Gier 5 X Tadeusz P/latkowski

TEORIA GIER W EKONOMII WYKŁAD 5: GRY DWUOSOBOWE KOOPERACYJNE O SUMIE NIESTAŁEJ

Metody probabilistyczne

Analiza funkcjonalna 1.

Zadania do Rozdziału X

Ćwiczenia z metodyki nauczania rachunku prawdopodobieństwa

5 Wyznaczniki. 5.1 Definicja i podstawowe własności. MIMUW 5. Wyznaczniki 25

Procesy stochastyczne

Przestrzenie liniowe

Wykład 3. Miara zewnętrzna. Definicja 3.1 (miary zewnętrznej) Funkcję µ przyporządkowującą każdemu podzbiorowi

Wyznaczanie strategii w grach

Zawansowane modele wyborów dyskretnych

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Zadanie 4 Zadanie 5 Zadanie 6. Repetytorium z JFiZO. Jakub Michaliszyn 25 maja 2017

Rozwiazywanie układów równań liniowych. Ax = b

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Dystrybucje, wiadomości wstępne (I)

Teoria Gier. Piotr Kuszewski 2018L

WYKŁAD 1. Witold Bednorz, Paweł Wolff. Rachunek Prawdopodobieństwa, WNE, Instytut Matematyki Uniwersytet Warszawski

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Skala Wiary w Grę o Sumie Zerowej autorstwa Wojciszke, Baryły, Różyckiej

Kombinatoryka. Reguła dodawania. Reguła dodawania

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

Algebra liniowa z geometrią. wykład I

PageRank. Bartosz Makuracki. 28 listopada B. Makuracki PageRank

Tomasz Rostański. Gry wieloosobowe. Wersja niedokończona (wersje dokończoną szlag trafił wraz ze śmiercią strony giaur.qs.pl)

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

TEORIA GIER W EKONOMII WYKŁAD 2: GRY DWUOSOBOWE O SUMIE ZEROWEJ. dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ

Graf. Definicja marca / 1

Algebry skończonego typu i formy kwadratowe

10. Wstęp do Teorii Gier

Adam Meissner. SZTUCZNA INTELIGENCJA Gry dwuosobowe

Indukcja matematyczna

Teoria gier. prof. UŚ dr hab. Mariusz Boryczka. Wykład 4 - Gry o sumie zero. Instytut Informatyki Uniwersytetu Śląskiego

1 Nierówność Minkowskiego i Hoeldera

1 Układy równań liniowych

Matematyka dyskretna

Topologia zbioru Cantora a obwody logiczne

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

Podział czworokątów wynika z wymagań jakie im stawiamy. Jeśli nie mamy żadnych wymagań to nasz czworokąt może wyglądać dowolnie, np.

Transkrypt:

Wartość Shapleya Oskar Skibski Institute of Informatics, University of Warsaw 8 października 2012 Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 1 / 17

Przykład Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 2 / 17

Przykład Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 2 / 17

Przykład Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 2 / 17

CO TERAS? Jak podzielić wspólną wypłatę? Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 3 / 17

Gry koalicyjne zbiór graczy N koalicja dowolny podzbiór graczy S N podział (lub układ koalicyjny) zbiór rozłącznych koalicji P = {S 1, S 2,..., S k } których sumą jest N gra koalicyjna funkcja v : 2 N R która przypisuje każdej koalicji jej wartość (zakładamy, że v( ) = 0). Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 4 / 17

Gry koalicyjne zbiór graczy N koalicja dowolny podzbiór graczy S N podział (lub układ koalicyjny) zbiór rozłącznych koalicji P = {S 1, S 2,..., S k } których sumą jest N gra koalicyjna funkcja v : 2 N R która przypisuje każdej koalicji jej wartość (zakładamy, że v( ) = 0). Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 4 / 17

Gry koalicyjne Problem tworzenia koalicji (ang. Coalition formation problem) Znajdź podział P P(N) dla którego S P v(s) jest maksymalne. Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 5 / 17

Gry koalicyjne Problem tworzenia koalicji (ang. Coalition formation problem) Znajdź podział P P(N) dla którego S P v(s) jest maksymalne. Inaczej: jaki układ koalicyjny powstanie? Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 5 / 17

Gry koalicyjne Problem podziału (ang. Problem of division) Załóżmy, że powstanie grand coalition, czyli koalicja wszystkich graczy. Znajdź funkcję ϕ : R 2N R N, która przypisuje każdemu graczowi jego udział we wspólnej wypłacie. Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 6 / 17

Gry koalicyjne Problem podziału (ang. Problem of division) Załóżmy, że powstanie grand coalition, czyli koalicja wszystkich graczy. Znajdź funkcję ϕ : R 2N R N, która przypisuje każdemu graczowi jego udział we wspólnej wypłacie. Inaczej: jak się podzielić tym co uzyskaliśmy? Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 6 / 17

Wartość Shapleya Odpowiedź Wartość Shapleya: Sh i (v) = S N,i S ( S 1)!( N S )! (v(s) v(s \ {i})) N! Załóżmy, że gracze przychodzą na miejsce spotkania w losowej kolejności. Gracz i zwiększa wartość zastanego zbioru S \ {i} o swój wkład marginalny v(s) v(s \ {i}). Jego wartość w grze wyliczamy teraz jako średnią z jego wszystkich wkładów marginalnych po wszystkich porządkach przyjścia graczy. Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 7 / 17

Wartość Shapleya Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 8 / 17

Wartość Shapleya Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 8 / 17

Wartość Shapleya Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 8 / 17

Wartość Shapleya Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 8 / 17

Standardowa aksjomatyka Efektywność cała wypłata jest rozdzielona pomiędzy graczy ϕ i (v) = v(n) i N Symetria podział wypłaty nie zależy od imion graczy ϕ(σ(v)) = σ(ϕ(v)) Addytywność wypłata graczy w dwóch połączonych grach jest równa sumie wypłat w tych grach rozpatrywanych rozłącznie ϕ(v 1 + v 2 ) = ϕ(v 1 ) + ϕ(v 2 ) Aksjomat gracza-atrapy gracz który nie wnosi nic do wartości żadnej koalicji nic nie dostaje S N (v(s) v(s \ {i}) = 0) ϕ i (v) = 0 Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 9 / 17

Standardowa aksjomatyka Twierdzenie (Shapley, 1953) Wartość Shapleya jest jedyną wartością która spełnia aksjomaty Efektywności, Symetrii, Addytywności oraz Gracza-atrapy. Dowód Wartość Shapleya je spełnia (łatwe), pokażemy że jest jedyna. 1 znajdź (jedyne) rozbicie gry v(r) = S N α S e S (R) na proste gry e S postaci: (addytywność) { 1 jeżeli S R, e S (R) = 0 wpp; 2 wyznacz wypłatę dla gracza i S w grze e S ; (aksj. gracza-atrapy) 3 wyznacz wypłatę dla gracza i S w grze e S. (efektywność,symetria) Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 10 / 17

Aksjomat Marginalności (...) Shapley value, which happens to be calculated as the average of marginal contributions of players to coalitions. This comes as a surprise at first glance: uniqueness is the consequence of four basic axioms, and nothing in those axioms hints at the marginality principle, of long tradition in economic theory. In the clarification of this puzzle, Young (1985) provided a key piece. De Clippel & Serrano, Econometrica, 2008 Marginalność wypłata gracza zależy tylko od jego wektora wkładów marginalnych mc i (v 1 ) = mc i (v 2 ) ϕ i (v 1 ) = ϕ i (v 2 ) gdzie mc i (v) = v(s) v(s \ i) S N,i S. Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 11 / 17

Aksjomat Marginalności Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 12 / 17

Aksjomat Marginalności Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 12 / 17

Aksjomat Marginalności Wniosek: na wektor marginalny możemy patrzyć jak na grę! Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 12 / 17

Aksjomat Marginalności Wniosek: na wektor marginalny możemy patrzyć jak na grę! Co więcej: wektor marginalny w tej grze jest znowu tą samą grą! Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 12 / 17

Aksjomat Marginalności Twierdzenie (Young, 1985) Wartość Shapleya jest jedyną wartością która spełnia aksjomaty Efektywności, Symetrii oraz Marginalności. Dowód Wartość Shapleya je spełnia (łatwe), pokażemy że jest jedyną. Zastosujemy odwrotną indukcję po przecięciu wszystkich koalicji z niezerową wartością: S(v) = {S v(s) 0}. 1 podstawa: pokaż, że jeżeli S(v) = N to wypłaty graczy łatwo wyznaczyć; (efektywność,symetria) 2 założenie: jeżeli S(v) > k to wypłaty graczy są jednoznaczne; 3 krok: niech S(v) = k; pokaż, jak wyznaczyć jednoznacznie wypłatę gracza i S (marginalność), a następnie gracza i S. Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 13 / 17

Balanced Contributions Czemu gracze mają się zgodzić na taki podział? Może mogą wytargować więcej od kogoś? Sprzeciw! (gracza i względem j) Daj mi więcej, bo odejdę i zamiast Twojej wielkiej wypłaty ϕ j (v) dostaniesz tylko ϕ j (v i )! Odpowiedź (gracza j do i) To prawda, że jak odejdziesz to stracę, ale nie cwaniakuj, bo jak ja odejdę to Ty stracisz ϕ i (v) ϕ i (v j ). Balanced Contributions zysk z kooperacji dwóch graczy jest dzielony po równo między nich ϕ i (v) ϕ i (v j ) = ϕ j (v) ϕ j (v i ) Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 14 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 15 / 17

Balanced Contributions Twierdzenie (Myerson, 1977) Wartość Shapleya jest jedyną wartością która spełnia aksjomaty Efektywności oraz Balanced Contributions. Dowód Wartość Shapleya je spełnia (łatwe), pokażemy że jest jedyna. Aby to zrobić wystarczy zsumować nasze równanie przy ustalonym i po wszystkich j. ϕ i (v) = ϕ j (v) ϕ j (v i ) + ϕ i (v j ) j Zauważając, że j ϕ j(v) = v(n) oraz j ϕ j(v i ) = v(n \ {i}) (oba z efektywności) dostajemy równanie rekurencyjne: ϕ i (v) = v(n) v(n \ {i}) + j ϕ i (v j ). Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 16 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 17 / 17

Balanced Contributions Oskar Skibski (University of Warsaw) Shapley value 8 października 2012 17 / 17