Теория игр, весна 2013: Лекция 1

34
Теория игр Илья Кацев 1 1 Санкт-Петербургский экономико-математический институт РАН 2013 И.В.Кацев (СПб ЭМИ) Введение 2013 1 / 23

Upload: cs-center

Post on 07-Jul-2015

937 views

Category:

Documents


3 download

DESCRIPTION

Введение. Краткий экскурс по теории игр.

TRANSCRIPT

Page 1: Теория игр, весна 2013: Лекция 1

Теория игр

Илья Кацев1

1Санкт-Петербургский экономико-математический институт РАН

2013

И.В.Кацев (СПб ЭМИ) Введение 2013 1 / 23

Page 2: Теория игр, весна 2013: Лекция 1

Предмет

Конкуренция vs кооперация

Конкуренция = ”правила игры”

Рынок работает не всегда

И.В.Кацев (СПб ЭМИ) Введение 2013 2 / 23

Page 3: Теория игр, весна 2013: Лекция 1

Предмет

Конкуренция vs кооперация

Конкуренция = ”правила игры”

Рынок работает не всегда

И.В.Кацев (СПб ЭМИ) Введение 2013 2 / 23

Page 4: Теория игр, весна 2013: Лекция 1

Предмет

Конкуренция vs кооперация

Конкуренция = ”правила игры”

Рынок работает не всегда

И.В.Кацев (СПб ЭМИ) Введение 2013 2 / 23

Page 5: Теория игр, весна 2013: Лекция 1

Предмет

Конкуренция vs кооперация

Конкуренция = ”правила игры”

Рынок работает не всегда

И.В.Кацев (СПб ЭМИ) Введение 2013 2 / 23

Page 6: Теория игр, весна 2013: Лекция 1

Предмет

Конкуренция vs кооперация

Конкуренция = ”правила игры”

Рынок работает не всегда

И.В.Кацев (СПб ЭМИ) Введение 2013 3 / 23

Page 7: Теория игр, весна 2013: Лекция 1

История

Библия, Талмуд - некоторые ситуации

Cournot A (1838), Bertrand J (1883) - конкуренция

Zermelo E (1913) - шахматы

Borel E (1921) - стратегические игры для трех стратегий

von Neumann J, Morgenstern O (1944, 1947) - “Теория игр и экономическоеповедение”

Nash JF (1950, 1951) - Равновесие и арбитражное решение

Shapley LS (1953) - вектор Шепли

Бондарева О (1963), Shapley LS (1967) - сбалансированные игры

И.В.Кацев (СПб ЭМИ) Введение 2013 4 / 23

Page 8: Теория игр, весна 2013: Лекция 1

Talmud rule

Наследство E = 400.Три жены претендуют на c1 = 100, c2 = 200, c3 = 300.

Coalition Guarantee Value Satisfaction{1} 0 50 50{2} 0 125 125{3} 100 225 125{12} 100 175 75{13} 200 275 75{23} 300 350 50

И.В.Кацев (СПб ЭМИ) Введение 2013 5 / 23

Page 9: Теория игр, весна 2013: Лекция 1

Talmud rule

Наследство E = 400.Три жены претендуют на c1 = 100, c2 = 200, c3 = 300.

Coalition

Guarantee Value Satisfaction

{1}

0 50 50

{2}

0 125 125

{3}

100 225 125

{12}

100 175 75

{13}

200 275 75

{23}

300 350 50

И.В.Кацев (СПб ЭМИ) Введение 2013 5 / 23

Page 10: Теория игр, весна 2013: Лекция 1

Talmud rule

Наследство E = 400.Три жены претендуют на c1 = 100, c2 = 200, c3 = 300.

Coalition Guarantee

Value Satisfaction

{1} 0

50 50

{2} 0

125 125

{3} 100

225 125

{12} 100

175 75

{13} 200

275 75

{23} 300

350 50

И.В.Кацев (СПб ЭМИ) Введение 2013 5 / 23

Page 11: Теория игр, весна 2013: Лекция 1

Talmud rule

Наследство E = 400.Три жены претендуют на c1 = 100, c2 = 200, c3 = 300.

Coalition Guarantee Value

Satisfaction

{1} 0 50

50

{2} 0 125

125

{3} 100 225

125

{12} 100 175

75

{13} 200 275

75

{23} 300 350

50

И.В.Кацев (СПб ЭМИ) Введение 2013 5 / 23

Page 12: Теория игр, весна 2013: Лекция 1

Talmud rule

Наследство E = 400.Три жены претендуют на c1 = 100, c2 = 200, c3 = 300.

Coalition Guarantee Value Satisfaction{1} 0 50 50{2} 0 125 125{3} 100 225 125{12} 100 175 75{13} 200 275 75{23} 300 350 50

И.В.Кацев (СПб ЭМИ) Введение 2013 5 / 23

Page 13: Теория игр, весна 2013: Лекция 1

История

Библия, Талмуд - некоторые ситуации

Cournot A (1838), Bertrand J (1883) - конкуренция

Zermelo E (1913) - шахматы

Borel E (1921) - стратегические игры для трех стратегий

von Neumann J, Morgenstern O (1944, 1947) - “Теория игр и экономическоеповедение”

Nash JF (1950, 1951) - Равновесие и арбитражное решение

Shapley LS (1953) - вектор Шепли

Бондарева О (1963), Shapley LS (1967) - сбалансированные игры

И.В.Кацев (СПб ЭМИ) Введение 2013 6 / 23

Page 14: Теория игр, весна 2013: Лекция 1

Борель и стратегические игры

Два игрока, три стратегии.Выигрыш первого игрока aij, причем aii = 0.Первый игрок выбирает стратегию i с вероятностью pi, второй - с вероятностьюqi. Тогда мат. ожидание выигрыша первого игрока равно∣∣∣∣∣∣

p1 p2 p3q1 q2 q3a23 −a13 a12

∣∣∣∣∣∣

И.В.Кацев (СПб ЭМИ) Введение 2013 7 / 23

Page 15: Теория игр, весна 2013: Лекция 1

История

Библия, Талмуд - некоторые ситуации

Cournot A (1838), Bertrand J (1883) - конкуренция

Zermelo E (1913) - шахматы

Borel E (1921) - стратегические игры для трех стратегий

von Neumann J, Morgenstern O (1944, 1947) - “Теория игр и экономическоеповедение”

Nash JF (1950, 1951) - Равновесие и арбитражное решение

Shapley LS (1953) - вектор Шепли

Бондарева О (1963), Shapley LS (1967) - сбалансированные игры

И.В.Кацев (СПб ЭМИ) Введение 2013 8 / 23

Page 16: Теория игр, весна 2013: Лекция 1

Дилемма заключенного

C = “cooperate”D = “defect”

C DCD

(−1,−1 −10, 00,−10 −9,−9

)

И.В.Кацев (СПб ЭМИ) Введение 2013 9 / 23

Page 17: Теория игр, весна 2013: Лекция 1

Дилемма заключенного

C = “cooperate”D = “defect”

C DCD

(−1,−1 −10, 00,−10 −9,−9

)

И.В.Кацев (СПб ЭМИ) Введение 2013 10 / 23

Page 18: Теория игр, весна 2013: Лекция 1

Дилемма заключенного

C = “cooperate”D = “defect”

C DCD

(−1,−1 −10, 00,−10 −9,−9

)

И.В.Кацев (СПб ЭМИ) Введение 2013 11 / 23

Page 19: Теория игр, весна 2013: Лекция 1

Дилемма заключенного

C = “cooperate”D = “defect”

C DCD

(−1,−1 −10, 00,−10 −9,−9

)

И.В.Кацев (СПб ЭМИ) Введение 2013 12 / 23

Page 20: Теория игр, весна 2013: Лекция 1

Равновесие по Нэшу

(0, 1 1, 01, 0 0, 1

)Нет равновесий

- используем смешанные стратегии.(5, 5 1, 01, 0 7, 7

)Что делать, если несколько равновесий?

И.В.Кацев (СПб ЭМИ) Введение 2013 13 / 23

Page 21: Теория игр, весна 2013: Лекция 1

Равновесие по Нэшу

(0, 1 1, 01, 0 0, 1

)Нет равновесий - используем смешанные стратегии.

(5, 5 1, 01, 0 7, 7

)Что делать, если несколько равновесий?

И.В.Кацев (СПб ЭМИ) Введение 2013 13 / 23

Page 22: Теория игр, весна 2013: Лекция 1

Равновесие по Нэшу

(0, 1 1, 01, 0 0, 1

)Нет равновесий - используем смешанные стратегии.(

5, 5 1, 01, 0 7, 7

)Что делать, если несколько равновесий?

И.В.Кацев (СПб ЭМИ) Введение 2013 13 / 23

Page 23: Теория игр, весна 2013: Лекция 1

Пример

И.В.Кацев (СПб ЭМИ) Введение 2013 14 / 23

Page 24: Теория игр, весна 2013: Лекция 1

Пример

И.В.Кацев (СПб ЭМИ) Введение 2013 15 / 23

Page 25: Теория игр, весна 2013: Лекция 1

Пример

И.В.Кацев (СПб ЭМИ) Введение 2013 16 / 23

Page 26: Теория игр, весна 2013: Лекция 1

Пример

И.В.Кацев (СПб ЭМИ) Введение 2013 17 / 23

Page 27: Теория игр, весна 2013: Лекция 1

Арбитражные схемы

Арбитражной схемой называется пара (X, d), где X ⊂ R2 - переговорноемножество, а d ∈ X - точка несогласия.

Решением для класса арбитражных схем B называется отображениеφ : B → R2.

И.В.Кацев (СПб ЭМИ) Введение 2013 18 / 23

Page 28: Теория игр, весна 2013: Лекция 1

Аксиомы

...1 Парето-оптимальность: φ(X, d) ∈ ∂X.

...2 Индивидуальная рациональность: φ(X, d) ≥ d.

...3 Независимость от аффинных преобразований: для a > 0, b ∈ R2

φ(aX+ b, ad+ b) = aφ(X, d) + b.

...4 Анонимность: если π : R2 → R2 - симметрия относительно прямой y = x,то φ(πX, πd) = πφ(X, d).

...5 Независимость от несущественных альтернатив: если X′ ⊂ X иφ(X, d) ∈ X′, то φ(X′, d) = φ(X, d).

.Теорема (Нэш, 1950)........Существует только одно решение, удовлетворяющее аксиомам 1,3,4,5.

И.В.Кацев (СПб ЭМИ) Введение 2013 19 / 23

Page 29: Теория игр, весна 2013: Лекция 1

Нобелевские премии

1971, J.Hicks, K.ArrowЗа новаторский вклад в общую теорию равновесия и теорию благосостояния

1994, J.F.Nash, J.C.Harsanyi, R.SeltenЗа анализ равновесия в теории некоалиционных игр

2005, R.Aumann, T.SchellingЗа углубление нашего понимания сути конфликта и сотрудничества путеманализа теории игр

2007, L.Hurwicz, E.Maskin, R.MyersonЗа создание основ теории оптимальных механизмов

2012, A.E.Roth, L.S.ShapleyЗа теорию стабильного распределения и практики устройства рынков

И.В.Кацев (СПб ЭМИ) Введение 2013 20 / 23

Page 30: Теория игр, весна 2013: Лекция 1

Теорема Эрроу

Аксиома независимости от несущественных альтернатив (АННА)Рассмотрим 2 задачи группового выбора. Если для двух альтернатив a, b ∈ Aиндивидуальные предпочтения участников совпадают в двух задачах, то иотношение коллективного предпочтения совпадает.

Аксиома единогласияЕсли a ≻i b для всех i ∈ N, то a ≻ b.

.Теорема (Эрроу, 1950)..

......

Пусть G - класс всех задач группового выбора с числом кандидатов большимдвух, так что все возможные комбинации индивидуальных предпочтенийдопустимы. Пусть правило группового выбора≻ удовлетворяет аксиомамАННА и единогласия. Тогда это правило является диктаторским, т.е.существует такое i ∈ N, что≻=≻i.

И.В.Кацев (СПб ЭМИ) Введение 2013 21 / 23

Page 31: Теория игр, весна 2013: Лекция 1

Теорема Эрроу

Аксиома независимости от несущественных альтернатив (АННА)Рассмотрим 2 задачи группового выбора. Если для двух альтернатив a, b ∈ Aиндивидуальные предпочтения участников совпадают в двух задачах, то иотношение коллективного предпочтения совпадает.

Аксиома единогласияЕсли a ≻i b для всех i ∈ N, то a ≻ b.

.Теорема (Эрроу, 1950)..

......

Пусть G - класс всех задач группового выбора с числом кандидатов большимдвух, так что все возможные комбинации индивидуальных предпочтенийдопустимы. Пусть правило группового выбора≻ удовлетворяет аксиомамАННА и единогласия. Тогда это правило является диктаторским, т.е.существует такое i ∈ N, что≻=≻i.

И.В.Кацев (СПб ЭМИ) Введение 2013 21 / 23

Page 32: Теория игр, весна 2013: Лекция 1

Теорема Эрроу

Аксиома независимости от несущественных альтернатив (АННА)Рассмотрим 2 задачи группового выбора. Если для двух альтернатив a, b ∈ Aиндивидуальные предпочтения участников совпадают в двух задачах, то иотношение коллективного предпочтения совпадает.

Аксиома единогласияЕсли a ≻i b для всех i ∈ N, то a ≻ b.

.Теорема (Эрроу, 1950)..

......

Пусть G - класс всех задач группового выбора с числом кандидатов большимдвух, так что все возможные комбинации индивидуальных предпочтенийдопустимы. Пусть правило группового выбора≻ удовлетворяет аксиомамАННА и единогласия. Тогда это правило является диктаторским, т.е.существует такое i ∈ N, что≻=≻i.

И.В.Кацев (СПб ЭМИ) Введение 2013 21 / 23

Page 33: Теория игр, весна 2013: Лекция 1

Нобелевские премии

1971, J.Hicks, K.ArrowЗа новаторский вклад в общую теорию равновесия и теорию благосостояния

1994, J.F.Nash, J.C.Harsanyi, R.SeltenЗа анализ равновесия в теории некоалиционных игр

2005, R.Aumann, T.SchellingЗа углубление нашего понимания сути конфликта и сотрудничества путеманализа теории игр

2007, L.Hurwicz, E.Maskin, R.MyersonЗа создание основ теории оптимальных механизмов

2012, A.E.Roth, L.S.ShapleyЗа теорию стабильного распределения и практики устройства рынков

И.В.Кацев (СПб ЭМИ) Введение 2013 22 / 23

Page 34: Теория игр, весна 2013: Лекция 1

Matching

И.В.Кацев (СПб ЭМИ) Введение 2013 23 / 23