Load balancing games

Wielkość: px
Rozpocząć pokaz od strony:

Download "Load balancing games"

Transkrypt

1 Load balancing games Marcin Witkowski Uniwersytet im. Adama Mickiewicza w Poznaniu 11 grudnia / 34

2 Szeregowanie zadań Przyporządkowanie zbioru zadań do zbioru maszyn, w ten sposób, aby obciążenie wśród maszyn było rozłożone możliwie równomiernie. Oznaczenia: n zadań J = {J 1, J 2,..., J n } = [n], m maszyn M = {M 1, M 2,..., M m } = [m], wektor czasów wykonywania p i = [p i1, p i2,..., p im ] T, całkowitego obciążenia maszyny l k. 2 / 34

3 Szeregowanie zadań Naszym celem będzie minimalizacja kryterium długości uszeregowania: Możliwe warianty: maszyny identyczne max k=1,...,m l k w i - wielkość zadania J i - czas jego wykonywania na najwolniejszej z maszyn. 3 / 34

4 Szeregowanie zadań Naszym celem będzie minimalizacja kryterium długości uszeregowania: Możliwe warianty: maszyny identyczne maszyny jednorodne max k=1,...,m l k w i - wielkość zadania J i - czas jego wykonywania na najwolniejszej z maszyn. 3 / 34

5 Szeregowanie zadań Naszym celem będzie minimalizacja kryterium długości uszeregowania: Możliwe warianty: maszyny identyczne maszyny jednorodne maszyny dowolne max k=1,...,m l k w i - wielkość zadania J i - czas jego wykonywania na najwolniejszej z maszyn. 3 / 34

6 4 / 34 Przykład

7 Teoria Gier Teoria gier to dział matematyki zajmujący się badaniem optymalnego zachowania w przypadku konfliktu interesów [Wikipedia]. W naszych rozważaniach będziemy zakładać, że: gracze dokonują samolubnych wyborów (zależy im jedynie na optymalizowaniu własnego kosztu) 5 / 34

8 Teoria Gier Teoria gier to dział matematyki zajmujący się badaniem optymalnego zachowania w przypadku konfliktu interesów [Wikipedia]. W naszych rozważaniach będziemy zakładać, że: gracze dokonują samolubnych wyborów (zależy im jedynie na optymalizowaniu własnego kosztu) gracze podejmują racjonalne wybory (nie wybierając ruchów pogarszających ich funkcję kosztu) 5 / 34

9 Teoria Gier Definicja (Gra strategiczna) Trójkę G =< N, (A i ), ( i ) > nazywamy grą strategiczną, gdzie: N - skończony zbiór graczy A i - zdefiniowany dla każdego gracza i N niepusty zbiór akcji, które może wykonać gracz i i - zdefiniowana dla każdego gracza i N relacja słabego porządku na zbiorze A = i N A i Wektor decyzji graczy nazwiemy profilem akcji graczy. 6 / 34

10 Teoria Gier Preferencje graczy będą modelowane przez funkcję kosztu U : A R, gdzie x y wtedy i tylko wtedy gdy U(x) U(y). W takim wypadku zamiast < N, (A i ), ( i ) > możemy zdefiniować grę jako < N, (A i ), (u i ) >. Kosztem socjalnym gry nazywamy miarę jakości rozwiązania z punktu widzenia użytkownika spoza systemu. W naszym przypadku będzie to całkowita długość uszeregowania. 7 / 34

11 Równowaga Nasha (NE) Definicja (Nash 1950) Gra osiąga stan równowagi Nasha jeżeli żaden z graczy i nie może zmienić wybranej akcji ai, tak aby poprawić wartość własnej funkcji kosztu pod warunkiem, że każdy inny gracz j wybierze swoją akcję aj. Inaczej mówiąc nawet gdyby gracz i znał wcześniej decyzje swoich przeciwników to nie zmieniłby swojej decyzji (przy racjonalnych zachowaniach graczy). Uwaga Jako stan równowagi uważamy wektor wyborów każdego z graczy spełniający powyższe warunki. 8 / 34

12 Silna równowaga (SE) Definicja (Aumann 1959) Gra osiąga stan silnej równowagi jeżeli nie można wybrać podzbioru zbioru graczy (koalicji) takiego, że w wyniku zmiany ich ruchów każdy z graczy z koalicji poprawi swoją wartość funkcji kosztu. Uwaga Jako stan silnej równowagi uważamy wektor wyborów każdego z graczy spełniający powyższe warunki. 9 / 34

13 Przykład - dylemat więźnia P N P 3, 3 0, 4 N 4, 0 1, 1 Tabela: Dylemat więźnia - P -przyzna się N - nie przyzna się 10 / 34

14 Przykład - dylemat więźnia P N P 3, 3 0, 4 N 4, 0 1, 1 Tabela: Dylemat więźnia - P -przyzna się N - nie przyzna się Gra ma unikalną równowagę Nasha (Przyzna,Przyzna). 10 / 34

15 Przykład - dylemat więźnia P N P 3, 3 0, 4 N 4, 0 1, 1 Tabela: Dylemat więźnia - P -przyzna się N - nie przyzna się Gra ma unikalną równowagę Nasha (Przyzna,Przyzna). Gra nie ma silnej równowagi. 10 / 34

16 Gra szeregująca zadania Definicja Grą szeregującą zadania nazywamy grę, w której zbiorem graczy jest zbiór zadań a dostępnym zbiorem akcji dla każdego gracza jest zbiór maszyn. Kosztem każdego z graczy jest obciążenie maszyny, którą wybrał a kosztem socjalnym jest całkowita długość uszeregowania. Stwierdzenie Przyporządkowanie A jest równowagą Nasha wtedy i tylko wtedy gdy i J, k M : l A(i) l k + p ik. 11 / 34

17 12 / 34 Gra szeregująca zadania - przykład

18 Gra szeregująca zadania - przykład a) NE 12 / 34

19 Gra szeregująca zadania - przykład a) NE b) SE 12 / 34

20 Gra szeregująca zadania - przykład a) NE b) SE OPT = 8 12 / 34

21 13 / 34 Gra szeregująca zadania - przykład 2

22 Dlaczego warto zajmować się grami? Nie zawsze mamy pełną kontrolę nad systemem. 14 / 34

23 Dlaczego warto zajmować się grami? Nie zawsze mamy pełną kontrolę nad systemem. Użytkownicy rywalizujący o zasoby (Internet): 14 / 34

24 Dlaczego warto zajmować się grami? Nie zawsze mamy pełną kontrolę nad systemem. Użytkownicy rywalizujący o zasoby (Internet): * Przeglądarki, rutery, serwery 14 / 34

25 Dlaczego warto zajmować się grami? Nie zawsze mamy pełną kontrolę nad systemem. Użytkownicy rywalizujący o zasoby (Internet): * Przeglądarki, rutery, serwery Samolubność - użytkownicy będą łamać ustalone zasady jeżeli będzie się to wiązać z ich zyskiem 14 / 34

26 Gry zgromadzeniowe (congestion games) Definicja (Rosenthal (1973)) Grami zgromadzeniowymi (ang. congestion games) nazywamy gry, w których wartość funkcji kosztu zależy tylko od liczby graczy, którzy wybiorą tę samą lub przecinającą się strategię. Niech A = i N A i będzie zbiorem wszystkich możliwych profili. Dla danego a A oraz j M, niech n j ( a) będzie liczbą graczy którzy w danym profilu wybrali obiekt j. Wtedy funkcja kosztu gracza i wynosi u i ( a) = j a i c j (n j ( a)). 15 / 34

27 Gry potencjalne (potencial games) Definicja (Funkcja porządkowo potencjalna) Funkcja Φ : A R jest funkcją porządkowo potencjalną dla gry G jeżeli a A ai,b i A i (Φ(b i, a i ) Φ(a i, a i ) < 0) (u i (b i, a i ) u i (a i, a i ) < 0), Definicja (Monderer and Shapley 1991) Gra G jest nazywana grą potencjalną (grą z potencjałem) jeżeli istnieje dla niej funkcja porządkowo potencjalna. 16 / 34

28 17 / 34

29 Congestion vs Potencial Twierdzenie (Monderer and Shapley 1994) Każda gra zgromadzeniowa jest grą potencjalną. Dowód. P(A) = n j (A) u j (l). j n i=1 Ai l=1 18 / 34

30 Congestion vs Potencial Definicja (Funkcja ściśle potencjalna) Funkcja Φ : A R jest funkcją ściśle potencjalną gry G jeżeli a A ai,b i A i Φ(b i, a i ) Φ(a i, a i ) = u i (b i, a i ) u i (a i, a i ). Twierdzenie Każda skończona gra potencjalna jest izomorficzna z pewną grą zgromadzeniową. 19 / 34

31 Gra szeregująca zadania Lemat Jeżeli czasy wykonania zadań są liczbami naturalnymi to funkcja postaci Φ(A) = m k=1 4 l k(a) jest funkcją porządkowo potencjalną dla gry szeregującej zadania. Dowód. Rozważmy przypadek kiedy pojedyncze zadanie zmienia wybór maszyny M 1 na inną M 2. Niech u i będzie zmianą funkcji kosztu wywołaną zmianą uszeregowania: u i = u i (M 2, a i ) u i (M 1, a i ) = l 2 ( a) + p i2 l 1 ( a). Zmiana funkcji Φ wyniesie wtedy: 20 / 34 Φ = 4 l 1( a) p i1 + 4 l 2( a)+p i2 4 l 1( a) 4 l 2( a)

32 Gra szeregująca zadania Lemat Funkcja postaci Φ(A) = m k=1 4 l k(a) jest funkcją porządkowo potencjalną dla gry szeregującej zadania. Dowód. Jeżeli u i < 0 l 2 ( a) + p i2 < l 1 ( a) l 2 ( a) + p i2 + 1 l 1 ( a). Dodatkowo l 1 ( a) p i1 + 1 l 1 ( a) (ponieważ p ik N + ). Z obu nierówności otrzymujemy: {4 l 1( a) p i1 4 l 1( a) 1, 4 l 2( a)+p i2 4 l 1( a) 1 } Φ 2 4 l 1( a) 1 4 l 1( a) = 2 4 l 1( a) 1 < 0 21 / 34

33 Gra szeregująca zadania Lemat (Even-dar, E., A. Kesselman, and Y. Mansour. 2003) Każda instancja gry równoważącej obciążenie posiada przynajmniej jeden stan równowagi Nasha. Dowód. Gra jest w stanie równowagi Nasha w punkcie, w którym funkcja porządkowo potencjalna osiąga (lokalne) minimum. 22 / 34

34 Cena anarchii (price of anarchy) Definicja Ceną anarchii nazywamy stosunek najgorszego rozwiązania będącego równowagą Nasha do rozwiązania optymalnego PoA(m) = max G G max P Nash(G) cost(p) opt(g) Podobna definicja dla silnej ceny anarchii. 23 / 34

35 Oszacowania - maszyny identyczne Podobne do ograniczenia zachłannego algorytmu Grahama Twierdzenie PoA(m) = ( 2 2 ) m + 1 Analogicznie do PoA instancja dla której Twierdzenie SPoA(m) = ( 2 2 ) m / 34

36 Oszacowania - maszyny identyczne Dowód. Obciążenie najbardziej obciążonej maszyny to nasz koszt. Najbardziej obciążona maszyna musi wykonywać co najmniej 2 zadania. Wtedy z warunku na równowagę Nasha otrzymujemy: l j l j p i cost(a) 1 2 cost(a) = 1 2 cost(a). Zauważmy teraz, że koszt optymalnego przyporządkowania nie może być mniejszy od równomiernego obciążenia wszystkich maszyn, stąd Stąd: 25 / 34 cost(a) opt(g) (m + 1)cost(A). 2m 2m ( m + 1 opt(g) = 2 2 ) opt(g). m + 1

37 Oszacowania - maszyny identyczne Dowód. Rozważmy następujące grę o n = 2m zadaniach takich, że: p 1 = = p m = 1 oraz p m+1 = p 2m = 1 m. Optymalnym rozwiązaniem jest uszeregowanie o długości m. Rozważmy profil akcji graczy s postaci: i {1,..., m 2}, s i = M i s m 1 = s m = M m 1, s m+1 = = s 2m = M m. 26 / 34

38 Oszacowania - maszyny jednorodne Czumaj, Vöcking (2002) (rozwiązanie rekurencji) Twierdzenie PoA(m) = O ( log m ) log log m Fiat, Levy, Kaplan (2007) (analogicznie do dowodu Czumaja) Twierdzenie ( ) log m SPoA(m) = Θ (log log m) 2 27 / 34

39 Idea: Oszacowania - maszyny jednorodne Γ(z) = 0 t z 1 e t. Niech c = cost(a)/opt(g). Pokazujemy, że c Γ 1 (m), gdzie Γ 1 oznacza odwrotność funkcji gamma Eulera. Bez straty ogólności załóżmy, że v 1 v 2 v m oraz niech L = [1, 2,..., m] będzie listą maszyn posortowaną nierosnącą względem prędkości. Dla k {0,..., c 1}, oznaczmy przez L k maksymalny prefiks L taki, że obciążenie każdej z maszyn z L k wynosi co najmniej k opt(g). Należy pokazać, że zachodzi następująca zależność rekurencyjna 28 / 34 L k (k + 1) L k+1 (0 k c 2) L c 1 1.

40 Oszacowania - maszyny jednorodne L k (k + 1) L k+1 (0 k c 2) L c 1 1. Po rozwiązaniu tej rekurencji otrzymujemy, że L 0 (c 1)! = Γ(c). Zauważmy, że L 0 = L i stąd L 0 = m. Implikuje to, że m Γ(c), czyli c Γ 1, co dowodzi twierdzenia. 29 / 34

41 Oszacowania - maszyny dowolne Awerbuch, Azar, Richter (2003) Twierdzenie PoA(m) s Fiat, Levy, Kaplan (2007) Twierdzenie SPoA(m) = m w ij, gdzie s = max i,j,l:w ij < w lj 30 / 34

42 Oszacowania - maszyny dowolne Twierdzenie SPoA(m) = m. Dowód. s - stan silnej równowagi; M 1,..., M m - maszyny uporządkowane nierosnąco względem obciążeń w s; l 1 l 2 l m będą tymi obciążeniami. Zauważmy, że l m opt. Jeżeli l m > opt, wtedy wszyscy gracze zyskują w wyniku zmiany na uszeregowanie optymalne, co przeczy temu, że s jest silną równowagą. Wystarczy pokazać, że że l i l i+1 + opt dla każdego 1 i m 1. Stosując powyższy argument po kolei dla wszystkich i od 1 do m otrzymujemy, że l 1 l m + (m 1)opt. Dodając do tego trywialną własność l m opt, otrzymujemy tezę twierdzenia. 31 / 34

43 Oszacowania - maszyny dowolne M 1 M 2 M 3 M 4 J J J J Tabela: Przykład gry szeregującej zadania na m = 4 maszynach dowolnych, dla której SPoA = m. Grubym kółkiem obrysowane jest uszeregowanie będące silną równowagą, cienkimi kółkami obrysowano rozwiązanie optymalne. 32 / 34

44 Bibliografia 33 / 34 Nir Andelman, Michal Feldman, and Yishay Mansour. Strong price of anarchy. In SODA 07, pages SIAM, Baruch Awerbuch, Yossi Azar, Yossi Richter, and Dekel Tsur. Tradeoffs in worst-case equilibria. Theor. Comput. Sci., 361(2): , Amos Fiat, Meital Levy, Haim Kaplan, and Svetlana Olonetsky. Strong price of anarchy for machine load balancing. IBFI, Schloss Dagstuhl, Germany, Noam Nisan, Tim Roughgarden, Eva Tardos, et al. Algorithmic Game Theory. Cambridge University Press, September 2007.

45 34 / 34 Pytania?

Układy równań i nierówności liniowych

Układy równań i nierówności liniowych Układy równań i nierówności liniowych Wiesław Krakowiak 1 grudnia 2010 1 Układy równań liniowych DEFINICJA 11 Układem równań m liniowych o n niewiadomych X 1,, X n, nazywamy układ postaci: a 11 X 1 + +

Bardziej szczegółowo

Teoria gier. wstęp. 2011-12-07 Teoria gier Zdzisław Dzedzej 1

Teoria gier. wstęp. 2011-12-07 Teoria gier Zdzisław Dzedzej 1 Teoria gier wstęp 2011-12-07 Teoria gier Zdzisław Dzedzej 1 Teoria gier zajmuje się logiczną analizą sytuacji, gdzie występują konflikty interesów, a także istnieje możliwość kooperacji. Zakładamy zwykle,

Bardziej szczegółowo

11. Gry Macierzowe - Strategie Czyste i Mieszane

11. Gry Macierzowe - Strategie Czyste i Mieszane 11. Gry Macierzowe - Strategie Czyste i Mieszane W grze z doskonałą informacją, gracz nie powinien wybrać akcję w sposób losowy (o ile wypłaty z różnych decyzji nie są sobie równe). Z drugiej strony, gdy

Bardziej szczegółowo

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

TEORIA GIER W EKONOMII WYKŁAD 5: GRY DWUOSOBOWE KOOPERACYJNE O SUMIE NIESTAŁEJ TEORI GIER W EKONOMII WYKŁD 5: GRY DWUOSOOWE KOOPERCYJNE O SUMIE NIESTŁEJ dr Robert Kowalczyk Katedra nalizy Nieliniowej Wydział Matematyki i Informatyki UŁ Gry dwumacierzowe Skończoną grę dwuosobową o

Bardziej szczegółowo

MODELOWANIE RZECZYWISTOŚCI

MODELOWANIE RZECZYWISTOŚCI MODELOWANIE RZECZYWISTOŚCI Daniel Wójcik Instytut Biologii Doświadczalnej PAN Szkoła Wyższa Psychologii Społecznej d.wojcik@nencki.gov.pl dwojcik@swps.edu.pl tel. 022 5892 424 http://www.neuroinf.pl/members/danek/swps/

Bardziej szczegółowo

Teoria gier matematyki). optymalności decyzji 2 lub więcej Decyzja wpływa na wynik innych graczy strategiami

Teoria gier matematyki). optymalności decyzji 2 lub więcej Decyzja wpływa na wynik innych graczy strategiami Teoria gier Teoria gier jest częścią teorii decyzji (czyli gałęzią matematyki). Teoria decyzji - decyzje mogą być podejmowane w warunkach niepewności, ale nie zależą od strategicznych działań innych Teoria

Bardziej szczegółowo

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1 4. Wykład 4: Grupy rozwiązalne i nilpotentne. Definicja 4.1. Niech (G, ) będzie grupą. Wówczas (1) ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G (0) = G, G (i) =[G (i 1),G (i 1) ], dla i N nazywamy

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

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.

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. M. Beśka, Wstęp do teorii miary, rozdz. 3 25 3 Miara 3.1 Definicja miary i jej podstawowe własności Niech X będzie niepustym zbiorem, a A 2 X niepustą rodziną podzbiorów. Wtedy dowolne odwzorowanie : A

Bardziej szczegółowo

Elementy Modelowania Matematycznego

Elementy Modelowania Matematycznego Elementy Modelowania Matematycznego Wykład 12 Teoria gier II Spis treści Wstęp Oligopol, cła oraz zbrodnia i kara Strategie mieszane Analiza zachowań w warunkach dynamicznych Indukcja wsteczna Gry powtarzane

Bardziej szczegółowo

Gry o sumie niezerowej

Gry o sumie niezerowej Gry o sumie niezerowej Równowagi Nasha 2011-12-06 Zdzisław Dzedzej 1 Pytanie Czy profile równowagi Nasha są dobrym rozwiązaniem gry o dowolnej sumie? Zaleta: zawsze istnieją (w grach dwumacierzowych, a

Bardziej szczegółowo

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone Rozdział 4 Ciągi nieskończone W rozdziale tym wprowadzimy pojęcie granicy ciągu. Dalej rozszerzymy to pojęcie na przypadek dowolnych funkcji. Jak zauważyliśmy we wstępie jest to najważniejsze pojęcie analizy

Bardziej szczegółowo

System BCD z κ. Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna. Semestr letni 2009/10

System BCD z κ. Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna. Semestr letni 2009/10 System BCD z κ Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna Semestr letni 2009/10 Rozważamy system BCD ze stałą typową κ i aksjomatami ω κ κ i κ ω κ. W pierwszej części tej notatki

Bardziej szczegółowo

Teoria Gier i Optymalne Wykorzystanie Wspólnych Zasobów p. 1/4

Teoria Gier i Optymalne Wykorzystanie Wspólnych Zasobów p. 1/4 Teoria Gier i Optymalne Wykorzystanie Wspólnych Zasobów p. 1/4 Teoria Gier i Optymalne Wykorzystanie Wspólnych Zasobów Krzysztof R. Apt CWI, Amsterdam Uniwersytet Amsterdamski Teoria Gier i Optymalne Wykorzystanie

Bardziej szczegółowo

TEORIA GIER W EKONOMII. dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ

TEORIA GIER W EKONOMII. dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ TEORIA GIER W EKONOMII dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ Informacje Ogólne Wykład: Sobota/Niedziela Ćwiczenia: Sobota/Niedziela Dyżur: Czwartek 14.00-16.00

Bardziej szczegółowo

10. Wstęp do Teorii Gier

10. Wstęp do Teorii Gier 10. Wstęp do Teorii Gier Definicja Gry Matematycznej Gra matematyczna spełnia następujące warunki: a) Jest co najmniej dwóch racjonalnych graczy. b) Zbiór możliwych dezycji każdego gracza zawiera co najmniej

Bardziej szczegółowo

Matematyka dyskretna

Matematyka dyskretna Matematyka dyskretna Wykład 6: Ciała skończone i kongruencje Gniewomir Sarbicki 24 lutego 2015 Relacja przystawania Definicja: Mówimy, że liczby a, b Z przystają modulo m (co oznaczamy jako a = b (mod

Bardziej szczegółowo

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

TEORIA GIER W EKONOMII WYKŁAD 2: GRY DWUOSOBOWE O SUMIE ZEROWEJ. dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ TEORIA GIER W EKONOMII WYKŁAD 2: GRY DWUOSOBOWE O SUMIE ZEROWEJ dr Robert Kowalczyk Katedra Analizy Nieliniowej Wydział Matematyki i Informatyki UŁ Definicja gry o sumie zerowej Powiemy, że jest grą o

Bardziej szczegółowo

Działanie grupy na zbiorze

Działanie grupy na zbiorze Działanie grupy na zbiorze Definicja 0.1 Niech (G, ) będzie dowolną grupą oraz X niepustym zbiorem, to odwzorowanie : G X X nazywamy działaniem grupy G na zbiorze X jeślinastępujące warunki są spełnione:

Bardziej szczegółowo

4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze. ϕ : K(x 0, δ) (y 0 η, y 0 + η), taka że

4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze. ϕ : K(x 0, δ) (y 0 η, y 0 + η), taka że 4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze taka że K(x 0, δ) (y 0 η, y 0 + η) R n R, f(x 0, y 0 ) = 0, y f(x 0, y 0 ) 0. Wówczas dla odpowiednio

Bardziej szczegółowo

13. Teoriogrowe Modele Konkurencji Gospodarczej

13. Teoriogrowe Modele Konkurencji Gospodarczej 13. Teoriogrowe Modele Konkurencji Gospodarczej Najpierw, rozważamy model monopolu. Zakładamy że monopol wybiera ile ma produkować w danym okresie. Jednostkowy koszt produkcji wynosi k. Cena wynikająca

Bardziej szczegółowo

Ekonomia matematyczna - 1.2

Ekonomia matematyczna - 1.2 Ekonomia matematyczna - 1.2 6. Popyt Marshalla, a popyt Hicksa. Poruszać się będziemy w tzw. standardowym polu preferencji X,, gdzie X R n i jest relacją preferencji, która jest: a) rosnąca (tzn. x y x

Bardziej szczegółowo

Aukcje groszowe. Podejście teoriogrowe

Aukcje groszowe. Podejście teoriogrowe Aukcje groszowe Podejście teoriogrowe Plan działania Aukcje groszowe Budowa teorii Sprawdzenie teorii Bibliografia: B. Platt, J. Price, H. Tappen, Pay-to-Bid Auctions [online]. 9 lipca 2009 [dostęp 3.02.2011].

Bardziej szczegółowo

Formy kwadratowe. Rozdział 10

Formy kwadratowe. Rozdział 10 Rozdział 10 Formy kwadratowe Rozważmy rzeczywistą macierz symetryczną A R n n Definicja 101 Funkcję h : R n R postaci h (x) = x T Ax (101) nazywamy formą kwadratową Macierz symetryczną A występującą w

Bardziej szczegółowo

D. Miszczyńska, M.Miszczyński KBO UŁ 1 GRY KONFLIKTOWE GRY 2-OSOBOWE O SUMIE WYPŁAT ZERO

D. Miszczyńska, M.Miszczyński KBO UŁ 1 GRY KONFLIKTOWE GRY 2-OSOBOWE O SUMIE WYPŁAT ZERO D. Miszczyńska, M.Miszczyński KBO UŁ GRY KONFLIKTOWE GRY 2-OSOBOWE O SUMIE WYPŁAT ZERO Gra w sensie niżej przedstawionym to zasady którymi kierują się decydenci. Zakładamy, że rezultatem gry jest wypłata,

Bardziej szczegółowo

Teoria gier w ekonomii - opis przedmiotu

Teoria gier w ekonomii - opis przedmiotu Teoria gier w ekonomii - opis przedmiotu Informacje ogólne Nazwa przedmiotu Teoria gier w ekonomii Kod przedmiotu 11.9-WZ-EkoP-TGE-S16 Wydział Kierunek Wydział Ekonomii i Zarządzania Ekonomia Profil ogólnoakademicki

Bardziej szczegółowo

ALGEBRA Z GEOMETRIĄ LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY

ALGEBRA Z GEOMETRIĄ LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY ALGEBRA Z GEOMETRIĄ 1/10 LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY Piotr M. Hajac Uniwersytet Warszawski Wykład 10, 11.12.2013 Typeset by Jakub Szczepanik. Geometryczne intuicje Dla pierścienia R = R mamy

Bardziej szczegółowo

Ekonometria - ćwiczenia 10

Ekonometria - ćwiczenia 10 Ekonometria - ćwiczenia 10 Mateusz Myśliwski Zakład Ekonometrii Stosowanej Instytut Ekonometrii Kolegium Analiz Ekonomicznych Szkoła Główna Handlowa 14 grudnia 2012 Wprowadzenie Optymalizacja liniowa Na

Bardziej szczegółowo

Definicja: alfabetem. słowem długością słowa

Definicja: alfabetem. słowem długością słowa Definicja: Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy nazywać słowem a liczbę elementów tego ciągu nazywamy długością słowa. Na

Bardziej szczegółowo

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej Schemat rekursji 1 Schemat rekursji dla funkcji jednej zmiennej Dla dowolnej liczby naturalnej a i dowolnej funkcji h: N 2 N istnieje dokładnie jedna funkcja f: N N spełniająca następujące warunki: f(0)

Bardziej szczegółowo

9 Przekształcenia liniowe

9 Przekształcenia liniowe 9 Przekształcenia liniowe Definicja 9.1. Niech V oraz W będą przestrzeniami liniowymi nad tym samym ciałem F. Przekształceniem liniowym nazywamy funkcję ϕ : V W spełniającą warunek (LM) v1,v 2 V a1,a 2

Bardziej szczegółowo

Teoria Gier - wojna, rybołówstwo i sprawiedliwość w polityce.

Teoria Gier - wojna, rybołówstwo i sprawiedliwość w polityce. Liceum Ogólnokształcące nr XIV we Wrocławiu 5 maja 2009 1 2 Podobieństwa i różnice do gier o sumie zerowej Równowaga Nasha I co teraz zrobimy? 3 Idee 1 Grać będą dwie osoby. U nas nazywają się: pan Wiersz

Bardziej szczegółowo

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

Wykład 3. Miara zewnętrzna. Definicja 3.1 (miary zewnętrznej) Funkcję µ przyporządkowującą każdemu podzbiorowi Wykład 3 Miara zewnętrzna Definicja 3.1 (miary zewnętrznej Funkcję przyporządkowującą każdemu podzbiorowi A danej przestrzeni X liczbę (A [0, + ] (a więc określoną na rodzinie wszystkich podzbiorów przestrzeni

Bardziej szczegółowo

Algebra liniowa z geometrią

Algebra liniowa z geometrią Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........

Bardziej szczegółowo

Kombinacje liniowe wektorów.

Kombinacje liniowe wektorów. Kombinacje liniowe wektorów Definicja: Niech V będzie przestrzenią liniową nad ciałem F, niech A V Zbiór wektorów A nazywamy liniowo niezależnym, jeżeli m N v,, v m A a,, a m F [a v + + a m v m = θ a =

Bardziej szczegółowo

Wprowadzenie do struktur o-minimalnych

Wprowadzenie do struktur o-minimalnych Wprowadzenie do struktur o-minimalnych Piotr Pokora 22.02.2009 1 Wprowadzenie do struktur o-minimalnych i pojęcia wstępne Na początku lat 80-tych Pillay i Steinhorn wprowadzili pojęcie o-minimalności bazując

Bardziej szczegółowo

Teoria gier matematyki). optymalności decyzji 2 lub więcej Decyzja wpływa na wynik innych graczy strategiami

Teoria gier matematyki). optymalności decyzji 2 lub więcej Decyzja wpływa na wynik innych graczy strategiami Teoria gier Teoria gier jest częścią teorii decyzji (czyli gałęzią matematyki). Teoria decyzji - decyzje mogą być podejmowane w warunkach niepewności, ale nie zależą od strategicznych działań innych Teoria

Bardziej szczegółowo

Wprowadzenie do teorii gier

Wprowadzenie do teorii gier Instytut Informatyki Uniwersytetu Śląskiego Wykład 1 1 Klasyfikacja gier 2 Gry macierzowe, macierz wypłat, strategie czyste i mieszane 3 Punkty równowagi w grach o sumie zerowej 4 Gry dwuosobowe oraz n-osobowe

Bardziej szczegółowo

Punkty równowagi w grach koordynacyjnych

Punkty równowagi w grach koordynacyjnych Uniwersytet Śląski w Katowicach, Instytut Informatyki ul. Będzińska 39 41-200 Sosnowiec 9 grudnia 2014, Chorzów 1 Motywacja 2 3 4 5 6 Wnioski i dalsze badania Motywacja 1 są klasą gier, w których istnieje

Bardziej szczegółowo

Konkurencja i kooperacja w dwuosobowych grach strategicznych. Anna Lamek

Konkurencja i kooperacja w dwuosobowych grach strategicznych. Anna Lamek Konkurencja i kooperacja w dwuosobowych grach strategicznych Anna Lamek Plan prezentacji Ujęcie kooperacji i konkurencji w teorii gier Nowe podejście CoCo value CoCo value dla gier bayesowskich Uzasadnienie

Bardziej szczegółowo

1. Opierał się wyłącznie na strategiach czystych, a, jak wiadomo, gra może mieć jedyne równowagi w strategiach mieszanych.

1. Opierał się wyłącznie na strategiach czystych, a, jak wiadomo, gra może mieć jedyne równowagi w strategiach mieszanych. Rozdział 4 Uczenie się w grach Na dzisiejszym wykładzie robimy krok w tył w stosunku do tego, o czym mówiliśmy przez ostatnie tygodnie. Dotychczas mówiliśmy o dowolnych grach wieloetapowych, dziś opowiem

Bardziej szczegółowo

TEORIA GIER W NAUKACH SPOŁECZNYCH. Równowagi Nasha. Rozwiązania niekooperacyjne.

TEORIA GIER W NAUKACH SPOŁECZNYCH. Równowagi Nasha. Rozwiązania niekooperacyjne. TEORIA GIER W NAUKACH SPOŁECZNYCH Równowagi Nasha. Rozwiązania niekooperacyjne. Przypomnienie Gra o sumie zerowej Kryterium dominacji Kryterium wartości oczekiwanej Diagram przesunięć Równowaga Can a Round

Bardziej szczegółowo

Twierdzenie spektralne

Twierdzenie spektralne Twierdzenie spektralne Algebrę ograniczonych funkcji borelowskich na K R będziemy oznaczać przez B (K). Spektralnym rozkładem jedności w przestrzeni Hilberta H nazywamy odwzorowanie, które każdemu zbiorowi

Bardziej szczegółowo

Programowanie w VB Proste algorytmy sortowania

Programowanie w VB Proste algorytmy sortowania Programowanie w VB Proste algorytmy sortowania Sortowanie bąbelkowe Algorytm sortowania bąbelkowego polega na porównywaniu par elementów leżących obok siebie i, jeśli jest to potrzebne, zmienianiu ich

Bardziej szczegółowo

Wyk lad 7 Baza i wymiar przestrzeni liniowej

Wyk lad 7 Baza i wymiar przestrzeni liniowej Wyk lad 7 Baza i wymiar przestrzeni liniowej 1 Baza przestrzeni liniowej Niech V bedzie przestrzenia liniowa. Powiemy, że podzbiór X V jest maksymalnym zbiorem liniowo niezależnym, jeśli X jest zbiorem

Bardziej szczegółowo

Teoria gier. Strategie stabilne ewolucyjnie Zdzisław Dzedzej 1

Teoria gier. Strategie stabilne ewolucyjnie Zdzisław Dzedzej 1 Teoria gier Strategie stabilne ewolucyjnie 2012-01-11 Zdzisław Dzedzej 1 John Maynard Smith (1920-2004) 2012-01-11 Zdzisław Dzedzej 2 Hawk- Dove Game Przedstawimy uproszczony model konfliktu omówiony w

Bardziej szczegółowo

Równania różnicowe. Dodatkowo umawiamy się, że powyższy iloczyn po pustym zbiorze indeksów, czyli na przykład 0

Równania różnicowe. Dodatkowo umawiamy się, że powyższy iloczyn po pustym zbiorze indeksów, czyli na przykład 0 Równania różnicowe 1 Wiadomości wstępne Umówmy się, że na czas tego wykładu zrezygnujemy z oznaczania n-tego wyrazu ciągu symbolem typu x n, y n itp Zamiast tego pisać będziemy x (n), y (n) itp Ponadto

Bardziej szczegółowo

Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki. Marek Dębczyński

Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki. Marek Dębczyński Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki Marek Dębczyński Jednomaszynowe problemy szeregowania zadań zależnych z mieszanymi czasami wykonywania Rozprawa doktorska napisana

Bardziej szczegółowo

Wykład 6 Centralne Twierdzenie Graniczne. Rozkłady wielowymiarowe

Wykład 6 Centralne Twierdzenie Graniczne. Rozkłady wielowymiarowe Wykład 6 Centralne Twierdzenie Graniczne. Rozkłady wielowymiarowe Nierówność Czebyszewa Niech X będzie zmienną losową o skończonej wariancji V ar(x). Wtedy wartość oczekiwana E(X) też jest skończona i

Bardziej szczegółowo

1 S t r o n a. Teoria Gier Praca domowa 1 - rozwiązania

1 S t r o n a. Teoria Gier Praca domowa 1 - rozwiązania 1 S t r o n a Teoria Gier Praca domowa 1 - rozwiązania Zadanie 1 Gdy korzystamy z toalet publicznych dominującą strategią jest: nie sprzątać po sobie. Skorzystanie z toalety przynosi dodatnią wypłatę,

Bardziej szczegółowo

Jak łatwo zauważyć, zbiór form symetrycznych (podobnie antysymetrycznych) stanowi podprzestrzeń przestrzeni L(V, V, K). Oznaczamy ją Sym(V ).

Jak łatwo zauważyć, zbiór form symetrycznych (podobnie antysymetrycznych) stanowi podprzestrzeń przestrzeni L(V, V, K). Oznaczamy ją Sym(V ). Odwzorowania n-liniowe; formy n-liniowe Definicja 1 Niech V 1,..., V n, U będą przestrzeniami liniowymi nad ciałem K. Odwzorowanie G: V 1 V n U nazywamy n-liniowym, jeśli dla każdego k [n] i wszelkich

Bardziej szczegółowo

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d) Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem

Bardziej szczegółowo

a 1, a 2, a 3,..., a n,...

a 1, a 2, a 3,..., a n,... III. Ciągi liczbowe. 1. Definicja ciągu liczbowego. Definicja 1.1. Ciągiem liczbowym nazywamy funkcję a : N R odwzorowującą zbiór liczb naturalnych N w zbiór liczb rzeczywistych R i oznaczamy przez {a

Bardziej szczegółowo

Algorytmiczne aspekty teorii gier: Wykład 5

Algorytmiczne aspekty teorii gier: Wykład 5 Algorytmiczne aspekty teorii gier: Wykład 5 Wykład prowadził dr hab. Igor Walukiewicz Notatki przygotował Dymitr Pszenicyn 02-04-2003 1 Spis treści 1 Przypomnienie 3 1.1

Bardziej szczegółowo

Weronika Siwek, Metryki i topologie 1. (ρ(x, y) = 0 x = y) (ρ(x, y) = ρ(y, x))

Weronika Siwek, Metryki i topologie 1. (ρ(x, y) = 0 x = y) (ρ(x, y) = ρ(y, x)) Weronika Siwek, Metryki i topologie 1 Definicja 1. Załóżmy, że X, ρ: X X [0, ). Funkcja ρ spełnia następujące warunki: 1. x,y X (ρ(x, y) = 0 x = y) 2. 3. (ρ(x, y) = ρ(y, x)) x,y X (ρ(x, y) ρ(x, z) + ρ(z,

Bardziej szczegółowo

Temat 1: Pojęcie gry, gry macierzowe: dominacje i punkty siodłowe

Temat 1: Pojęcie gry, gry macierzowe: dominacje i punkty siodłowe Temat 1: Pojęcie gry, gry macierzowe: dominacje i punkty siodłowe Teorię gier można określić jako teorię podejmowania decyzji w szczególnych warunkach. Zajmuje się ona logiczną analizą sytuacji konfliktu

Bardziej szczegółowo

Modelowanie Preferencji a Ryzyko. Dlaczego w dylemat więźnia warto grać kwantowo?

Modelowanie Preferencji a Ryzyko. Dlaczego w dylemat więźnia warto grać kwantowo? Modelowanie Preferencji a Ryzyko Dlaczego w dylemat więźnia warto grać kwantowo? Marek Szopa U n iwe r s y t e t Ś l ą s k i INSTYTUT FIZYKI im. Augusta Chełkowskiego Zakład Fizyki Teoretycznej Klasyczny

Bardziej szczegółowo

1. Które z następujących funkcji produkcji cechują się stałymi korzyściami ze skali? (1) y = 3x 1 + 7x 2 (2) y = x 1 1/4 + x 2

1. Które z następujących funkcji produkcji cechują się stałymi korzyściami ze skali? (1) y = 3x 1 + 7x 2 (2) y = x 1 1/4 + x 2 1. Które z następujących funkcji produkcji cechują się stałymi korzyściami ze skali? (1) y = 3x 1 + 7x 2 (2) y = x 1 1/4 + x 2 1/3 (3) y = min{x 1,x 2 } + min{x 3,x 4 } (4) y = x 1 1/5 x 2 4/5 a) 1 i 2

Bardziej szczegółowo

EKONOMIA MENEDŻERSKA. Wykład 5 Oligopol. Strategie konkurencji a teoria gier. 1 OLIGOPOL. STRATEGIE KONKURENCJI A TEORIA GIER.

EKONOMIA MENEDŻERSKA. Wykład 5 Oligopol. Strategie konkurencji a teoria gier. 1 OLIGOPOL. STRATEGIE KONKURENCJI A TEORIA GIER. Wykład 5 Oligopol. Strategie konkurencji a teoria gier. 1 OLIGOPOL. STRATEGIE KONKURENCJI A TEORIA GIER. 1. OLIGOPOL Oligopol - rynek, na którym działa niewiele przedsiębiorstw (od do 10) Cecha charakterystyczna

Bardziej szczegółowo

ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA

ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA DYNAMICZNYCH LOKAT KAPITAŁOWYCH Krzysztof Gąsior Uniwersytet Rzeszowski Streszczenie Celem referatu jest zaprezentowanie praktycznego zastosowania

Bardziej szczegółowo

a) Znajdź równowagi Nasha tej gry oraz wypłaty w równowadze obu tenisistek...

a) Znajdź równowagi Nasha tej gry oraz wypłaty w równowadze obu tenisistek... Egzamin z przedmiotu: Wstęp do Teorii Gier Zadanie 1 Prowadzący: dr Michał Lewandowski gnieszka Radwańska gra w tenisa z Karoliną Woźniacki. gnieszka może zaserwować na backhand lub na forehand Woźniacki.

Bardziej szczegółowo

Rozwiązywanie układów równań liniowych

Rozwiązywanie układów równań liniowych Rozwiązywanie układów równań liniowych Marcin Orchel 1 Wstęp Jeśli znamy macierz odwrotną A 1, to możęmy znaleźć rozwiązanie układu Ax = b w wyniku mnożenia x = A 1 b (1) 1.1 Metoda eliminacji Gaussa Pierwszy

Bardziej szczegółowo

NASH I JEGO HISTORIA

NASH I JEGO HISTORIA NASH I JEGO HISTORIA Anna Krymska, Michał Sawicki, Mateusz Tkaczyk, Agnieszka Zięba Krótki Kurs Historii Matematyki Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych Semestr letni rok akademickiego

Bardziej szczegółowo

Schemat sprawdzianu. 25 maja 2010

Schemat sprawdzianu. 25 maja 2010 Schemat sprawdzianu 25 maja 2010 5 definicji i twierdzeń z listy 12(po 10 punktów) np. 1. Proszę sformułować twierdzenie Brouwera o punkcie stałym. 2. Niech X będzie przestrzenią topologiczną. Proszę określić,

Bardziej szczegółowo

TEORIA GIER HISTORIA TEORII GIER. Rok 1944: powszechnie uznana data narodzin teorii gier. Rok 1994: Nagroda Nobla z dziedziny ekonomii

TEORIA GIER HISTORIA TEORII GIER. Rok 1944: powszechnie uznana data narodzin teorii gier. Rok 1994: Nagroda Nobla z dziedziny ekonomii TEORIA GIER HISTORIA TEORII GIER Rok 1944: powszechnie uznana data narodzin teorii gier Monografia: John von Neumann, Oskar Morgenstern Theory of Games and Economic Behavior (Teoria gier i postępowanie

Bardziej szczegółowo

TEORIA GIER. Wspólna wiedza dotyczy nie tylko zachowań (reguł postępowania), ale i samej gry : każdy zna jej reguły i wypłaty (swoje i uczestników).

TEORIA GIER. Wspólna wiedza dotyczy nie tylko zachowań (reguł postępowania), ale i samej gry : każdy zna jej reguły i wypłaty (swoje i uczestników). TEOR GER 1. Wstęp Teoria gier jest dziedziną zajmującą się opisem sytuacji, w których podmioty (gracze) podejmujący świadome decyzje (nazywane strategie), w wyniku których zapadają rozstrzygnięcia mogące

Bardziej szczegółowo

Programowanie dynamiczne i algorytmy zachłanne

Programowanie dynamiczne i algorytmy zachłanne Programowanie dynamiczne i algorytmy zachłanne Tomasz Głowacki tglowacki@cs.put.poznan.pl Zajęcia finansowane z projektu "Rozwój i doskonalenie kształcenia na Politechnice Poznańskiej w zakresie technologii

Bardziej szczegółowo

0 + 0 = 0, = 1, = 1, = 0.

0 + 0 = 0, = 1, = 1, = 0. 5 Kody liniowe Jak już wiemy, w celu przesłania zakodowanego tekstu dzielimy go na bloki i do każdego z bloków dodajemy tak zwane bity sprawdzające. Bity te są w ścisłej zależności z bitami informacyjnymi,

Bardziej szczegółowo

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009 Systemy baz danych Notatki z wykładu http://robert.brainusers.net 17.06.2009 Notatki własne z wykładu. Są niekompletne, bez bibliografii oraz mogą zawierać błędy i usterki. Z tego powodu niniejszy dokument

Bardziej szczegółowo

Wykład FIZYKA I. 5. Energia, praca, moc. http://www.if.pwr.wroc.pl/~wozniak/fizyka1.html. Dr hab. inż. Władysław Artur Woźniak

Wykład FIZYKA I. 5. Energia, praca, moc. http://www.if.pwr.wroc.pl/~wozniak/fizyka1.html. Dr hab. inż. Władysław Artur Woźniak Wykład FIZYKA I 5. Energia, praca, moc Dr hab. inż. Władysław Artur Woźniak Instytut Fizyki Politechniki Wrocławskiej http://www.if.pwr.wroc.pl/~wozniak/fizyka1.html ENERGIA, PRACA, MOC Siła to wielkość

Bardziej szczegółowo

Matematyczne modele współpracy i konfliktu - teoria gier w praktyce

Matematyczne modele współpracy i konfliktu - teoria gier w praktyce Stanisław Kasjan i Piotr Malicki Matematyczne modele współpracy i konfliktu - teoria gier w praktyce (Kurs letni 2010) Materiały dydaktyczne dla studentów II-go roku matematyki Wydział Matematyki i Informatyki

Bardziej szczegółowo

Mikroekonomia. O czym dzisiaj?

Mikroekonomia. O czym dzisiaj? Mikroekonomia Joanna Tyrowicz jtyrowicz@wne.uw.edu.pl http://www.wne.uw.edu.pl/~jtyrowicz 1.12.2007r. Mikroekonomia WNE UW 1 O czym dzisiaj? Macierze wypłat, czyli ile trzeba mieć w razie się straci...

Bardziej szczegółowo

Teoria grafów - Teoria rewersali - Teoria śladów

Teoria grafów - Teoria rewersali - Teoria śladów 17 maja 2012 1 Planarność Wzór Eulera Kryterium Kuratowskiego Algorytmy testujące planarność 2 Genom i jego przekształcenia Grafy złamań Sortowanie przez odwrócenia Inne rodzaje sortowania Algorytmy sortujące

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące

Bardziej szczegółowo

Lista zadań. 1. Podaj wszystkie czyste równowagi Nasha. Zaznacz pary strategii, które są Pareto optymalne.

Lista zadań. 1. Podaj wszystkie czyste równowagi Nasha. Zaznacz pary strategii, które są Pareto optymalne. Lista zadań 1. Podaj wszystkie czyste równowagi Nasha. Zaznacz pary strategii, które są Pareto optymalne. (a) U 2,3-2,7 D 6,-5 0,-1 (b) U 2,3-2,7 D 6,-5 3,5 2. Rozwiąż gry używając algorytmu eliminacji

Bardziej szczegółowo

Modele i narzędzia optymalizacji w systemach informatycznych zarządzania

Modele i narzędzia optymalizacji w systemach informatycznych zarządzania Politechnika Poznańska Modele i narzędzia optymalizacji w systemach informatycznych zarządzania Joanna Józefowska POZNAŃ 2010/11 Spis treści Rozdział 1. Gry dwuosobowe i gry z naturą............... 5

Bardziej szczegółowo

ur. 28 Czerwca 1928 w Bluefield w Wirginii, matematyk i ekonomista, profesor Uniwersytetu Princeton

ur. 28 Czerwca 1928 w Bluefield w Wirginii, matematyk i ekonomista, profesor Uniwersytetu Princeton ur. 28 Czerwca 1928 w Bluefield w Wirginii, matematyk i ekonomista, profesor Uniwersytetu Princeton Przygotowali Ostrowski Damian Ryciak Norbert Ryciuk Wiktor Seliga Marcin Lata młodości ojciec John Forbes

Bardziej szczegółowo

Strategie kwantowe w teorii gier

Strategie kwantowe w teorii gier Uniwersytet Jagielloński adam.wyrzykowski@uj.edu.pl 18 stycznia 2015 Plan prezentacji 1 Gra w odwracanie monety (PQ penny flip) 2 Wojna płci Definicje i pojęcia Równowagi Nasha w Wojnie płci 3 Kwantowanie

Bardziej szczegółowo

Prawdopodobieństwo i statystyka

Prawdopodobieństwo i statystyka Wykład I: Formalizm teorii prawdopodonieństwa 6 października 2014 Forma zaliczenia przedmiotu Forma zaliczenia Literatura Dostępność treści wykładów 1 Zaliczenie ćwiczeń rachunkowych. 2 Egzamin dwuczęściowy:

Bardziej szczegółowo

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA DRZEWA i LASY Drzewem nazywamy graf spójny nie zawierający cykli elementarnych. Lasem nazywamy graf nie zawierający cykli elementarnych. Przykłady drzew i lasów takie krawędzie są wykluczone drzewo las

Bardziej szczegółowo

Elementy teorii gier. Badania operacyjne

Elementy teorii gier. Badania operacyjne 2016-06-12 1 Elementy teorii gier Badania operacyjne Plan Przykład Definicja gry dwuosobowej o sumie zerowej Macierz gry Strategie zdominowane Mieszane rozszerzenie gry Strategie mieszane Rozwiązywanie

Bardziej szczegółowo

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 1. Wprowadzenie do rachunku zbiorów 1 Podstawowe pojęcia rachunku zbiorów Uwaga 1.1. W teorii mnogości mówimy o zbiorach

Bardziej szczegółowo

Kurs z NetLogo - część 4.

Kurs z NetLogo - część 4. Kurs z NetLogo - część 4. Mateusz Zawisza Zakład Wspomagania i Analizy Decyzji Instytut Ekonometrii Szkoła Główna Handlowa Seminarium Wieloagentowe Warszawa, 10.01.2011 Agenda spotkań z NetLogo 15. listopada

Bardziej szczegółowo

Rozdział 9. Funkcja pierwotna. 9.1 Funkcja pierwotna

Rozdział 9. Funkcja pierwotna. 9.1 Funkcja pierwotna Rozdział 9 Funkcja pierwotna 9. Funkcja pierwotna Definicja funkcji pierwotnej. Niech f będzie funkcją określoną na przedziale P. Mówimy, że funkcja F : P R jest funkcją pierwotną funkcji f w przedziale

Bardziej szczegółowo

D. Miszczyńska, M.Miszczyński KBO UŁ, Badania operacyjne [1]

D. Miszczyńska, M.Miszczyński KBO UŁ, Badania operacyjne [1] D. Miszczyńska, M.Miszczyński KBO UŁ, Badania operacyjne [1] Co to są badania operacyjne? Termin "badanie operacji" (Operations' Research) powstał podczas II wojny światowej i przetrwał do dzisiaj. W terminologii

Bardziej szczegółowo

Elementy teorii gier

Elementy teorii gier Elementy teorii gier. Podaj wszystkie czyste równowagi Nasha. Zaznacz pary strategii, które są Pareto optymalne. U 2,3-2,7 D 6,-5 0,- U 2,3-2,7 D 6,-5 3,5 2. Pewien ojciec ma dwóch synów. Umierając zostawia

Bardziej szczegółowo

Konstruktywne metody znajdowania równowag w dużych gospodarkach.

Konstruktywne metody znajdowania równowag w dużych gospodarkach. Konstruktywne metody znajdowania równowag w dużych gospodarkach. Łukasz Balbus 1 Wojewódzki Urza d Pracy w Zielonej Górze, 28 Maja 2014 1 Uniwersytet Zielonogórski. Cele teorii gier w ekonomii: próba zrozumenia

Bardziej szczegółowo

System bonus-malus z mechanizmem korekty składki

System bonus-malus z mechanizmem korekty składki System bonus-malus z mechanizmem korekty składki mgr Kamil Gala Ubezpieczeniowy Fundusz Gwarancyjny dr hab. Wojciech Bijak, prof. SGH Ubezpieczeniowy Fundusz Gwarancyjny, Szkoła Główna Handlowa Zagadnienia

Bardziej szczegółowo

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA ZBIORY Z POWTÓRZENIAMI W zbiorze z powtórzeniami ten sam element może występować kilkakrotnie. Liczbę wystąpień nazywamy krotnością tego elementu w zbiorze X = { x,..., x n } - zbiór k,..., k n - krotności

Bardziej szczegółowo

Algorytmy Równoległe i Rozproszone Część III - Układy kombinacyjne i P-zupełność

Algorytmy Równoległe i Rozproszone Część III - Układy kombinacyjne i P-zupełność Algorytmy Równoległe i Rozproszone Część III - Układy kombinacyjne i P-zupełność Łukasz Kuszner pokój 209, WETI http://www.kaims.pl/ kuszner/ kuszner@eti.pg.gda.pl Oficjalna strona wykładu http://www.kaims.pl/

Bardziej szczegółowo

Teoria gier. Teoria gier. Odróżniać losowość od wiedzy graczy o stanie!

Teoria gier. Teoria gier. Odróżniać losowość od wiedzy graczy o stanie! Gry dzielimy ze względu na: liczbę graczy: 1-osobowe, bez przeciwników(np. pasjanse, 15-tka, gra w życie, itp.), 2-osobowe(np. szachy, warcaby, go, itp.), wieloosobowe(np. brydż, giełda, itp.); wygraną/przegraną:

Bardziej szczegółowo

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. FUNKCJE LICZBOWE Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. Innymi słowy f X Y = {(x, y) : x X oraz y Y }, o ile (x, y) f oraz (x, z) f pociąga

Bardziej szczegółowo

Wielomiany jednej zmiennej rzeczywistej algorytmy

Wielomiany jednej zmiennej rzeczywistej algorytmy Rozdział 15 Wielomiany jednej zmiennej rzeczywistej algorytmy 15.1 Algorytm dzielenia Definicja 15.1 Niech dany będzie niezerowy wielomian f K[x] (K jest ciałem) f = a 0 x m + a 1 x m 1 +... + a m, gdzie

Bardziej szczegółowo

Wokół wyszukiwarek internetowych

Wokół wyszukiwarek internetowych Wokół wyszukiwarek internetowych Bartosz Makuracki 23 stycznia 2014 Przypomnienie Wzór x 1 = 1 d N x 2 = 1 d N + d N i=1 p 1,i x i + d N i=1 p 2,i x i. x N = 1 d N + d N i=1 p N,i x i Oznaczenia Gdzie:

Bardziej szczegółowo

Programowanie dynamiczne

Programowanie dynamiczne Programowanie dynamiczne Patryk Żywica 5 maja 2008 1 Spis treści 1 Problem wydawania reszty 3 1.1 Sformułowanie problemu...................... 3 1.2 Algorytm.............................. 3 1.2.1 Prosty

Bardziej szczegółowo

Dr Ewa Roszkowska Wydział Ekonomiczny UwB Zakład Ekonometrii i Statystyki O TEORII GIER, EKONOMII I MATEMATYCE

Dr Ewa Roszkowska Wydział Ekonomiczny UwB Zakład Ekonometrii i Statystyki O TEORII GIER, EKONOMII I MATEMATYCE Dr Ewa Roszkowska Wydział Ekonomiczny UwB Zakład Ekonometrii i Statystyki O TEORII GIER, EKONOMII 1 Matematykę moŝna określić jako przedmiot, w którym nigdy nie wiemy, o czym mówimy, ani teŝ, czy to, co

Bardziej szczegółowo

Teoria Gier i Korki Samochodowe

Teoria Gier i Korki Samochodowe Teoria gier p. 1/3 Teoria Gier i Korki Samochodowe Krzysztof R. Apt (absolwent z 1967 r.) Przykład 1: Opłaty za Drogi Dwóch kierowców. Każdy kierowca wybiera drogę z Katowic do swojego magazynu. Więcej

Bardziej szczegółowo

Rozwiązania, seria 5.

Rozwiązania, seria 5. Rozwiązania, seria 5. 26 listopada 2012 Zadanie 1. Zbadaj, dla jakich wartości parametru r R wektor (r, r, 1) lin{(2, r, r), (1, 2, 2)} R 3? Rozwiązanie. Załóżmy, że (r, r, 1) lin{(2, r, r), (1, 2, 2)}.

Bardziej szczegółowo

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski Notatki z Analizy Matematycznej 2 Jacek M. Jędrzejewski Definicja 3.1. Niech (a n ) n=1 będzie ciągiem liczbowym. Dla każdej liczby naturalnej dodatniej n utwórzmy S n nazywamy n-tą sumą częściową. ROZDZIAŁ

Bardziej szczegółowo