Примеры.
aij = v1 (Ai , Bj ).
Таким образом, получаем матрицу игры, или платежную
Определение.
Примеры.
матрицу:
Исключение
доминируе- a11 a12 . . . a1n
мых
стратегий. A = . . . . . . . . . . . . . . . . . . .
Нижняя и
верхняя am1 am2 . . . amn
цена игры.
Понятие
решения в
чистых
Эта платежная матрица и есть модель конфликтной
стратегиях. ситуации.
Смешанное
расширение
матричной
игры
Так как игра — антагонистическая, то выигрыш второго
игрока однозначно определяется через выигрыш первого
и будет равен −aij .
Исключение
Первый игрок стремится максимизировать свой
доминируе-
мых
выигрыш. Поэтому ему не могут быть интересны
стратегий.
Нижняя и
стратегии, при которых, независимо от выбора второго
верхняя игрока, он выиграет меньше.
цена игры.
Понятие Первый исключает стратегию A3 (т.е. вычеркивает
решения в
чистых третью строку в платежной матрице), т.к. A2 A3 .
стратегиях.
Смешанное
расширение 8 −2 9 3
матричной A=
игры 6 5 6 8
Второй игрок стремится минимизировать свой проигрыш.
Ему неинтересны стратегии, при которых он может
потерять больше.
Определение.
Примеры. Он исключает свою стратегию B1 :
Исключение
доминируе-
мых −2 9 3
стратегий. A=
Нижняя и 5 6 8
верхняя
цена игры.
Понятие Затем далее он исключает B3 и B4 :
решения в
чистых
стратегиях. −2
Смешанное
A=
расширение
5
матричной
игры
Теперь первый исключает еще и A1 :
A= 5
ai ∗ j ∗ ≤ ai ∗ j
Определение.
Примеры.
Исключение
доминируе-
Такое понятие равновесия ввел Дж.Нэш (Nash).
мых
стратегий.
Ситуация (i ∗ , j ∗ ) в матричной игре будет равновесной,
Нижняя и
верхняя
если
цена игры. aij ∗ ≤ ai ∗ j ∗ ≤ ai ∗ j ∀i = 1, m, j = 1, n
Понятие
решения в
чистых Это же двойное неравенство определяет элемент
стратегиях.
ai ∗ j как седловой элемент платежной матрицы.
Смешанное
расширение
матричной
игры Как найти все ситуации равновесия?
Цель первого игрока: Выбирать такую стратегию,
которая при любом возможном выборе второго игрока
Определение.
Примеры.
обеспечит максимальный гарантированный выигрыш.
Исключение
«Я должен выиграть не меньше, чем. . . »
доминируе-
мых
стратегий.
Нижняя и
В соответствии с этой целью первый игрок оценивает
верхняя
цена игры.
свои стратегии минимальными возможными
Понятие
решения в
выигрышами, независимо от выбора второго игрока:
чистых
стратегиях.
min aij
Смешанное j
расширение
матричной
игры Тогда, выбрав максимальную из них, он укажет
максимальный гарантированный выигрыш для себя:
Смешанное
расширение Значение цены игры не меняется, но выбор каждого
матричной
игры игрока теперь ограничен, т.к. для каждого из них
указывается только одна оптимальная стратегия.
Таким образом, решение матричной игры состоит
Определение.
Примеры. в нахождении всех седловых элементов элементов
Исключение платежной матрицы. Значение седлового элемента
доминируе-
мых является ценой игры, а номера строк и номера
стратегий.
Нижняя и столбцов, в которых находятся седловые элементы,
верхняя
цена игры. указывают на номера оптимальных стратегий первого
Понятие
решения в и второго игрока соответственно.
чистых
стратегиях. Решения (седловые точки) существуют тогда и
Смешанное только тогда, когда равны минимаксы
расширение
матричной
игры max min aij = min max aij .
i j j i
Исключение
рассчитывал.
доминируе- 2 5
мых
стратегий. 5 3
Нижняя и
верхняя 6 1
цена игры.
Понятие
решения в Устойчива ли ситуация (A2 , B1 )?
чистых
стратегиях.
Смешанное
В этом случае игра существенно меняется - у игроков
расширение
матричной
расширяются их стратегические возможности: путем
игры случайного применения игроками своих ”чистых“
стратегий они обеспечивают наибольшую скрытость
выбора стратегии.
Исключение
доминируе- Функция f : X × Y → R является выигрышем в
мых
стратегий. смешанном расширении матричной игры, который по
Нижняя и
верхняя сути представляет собой математическое ожидание
цена игры.
Понятие выигрыша:
решения в
чистых
стратегиях.
m X
X n
Смешанное f (x, y ) = aij xi yj = xAy T .
расширение
матричной i=1 j=1
игры
Смешанное
xa∗j ≥ a ∀j = 1, n, (2)
расширение
матричной
игры то для любой смешанной стратегии y = (y1 , y2 , . . . , yn )
игрока 2 выполняется:
xAy T ≥ a.
Определение.
Примеры.
Доказательство.
Исключение
доминируе- Домножим неравенство (2) на yj ∀j = 1, n:
мых
стратегий.
Нижняя и xa∗j yj ≥ ayj .
верхняя
цена игры.
Понятие
решения в Просуммируем полученные неравенства по j = 1, n:
чистых
стратегиях. n n
X X
T T
Смешанное
расширение
xa∗j y = xAy ≥a yj = a.
матричной j=1 j=1
игры
Лемма доказана.
Определение.
Примеры.
Исключение
доминируе- Аналогично осуществляются переходы к смешанным
мых
стратегий. стратегиям в неравенствах
Нижняя и
верхняя
цена игры.
Понятие xa∗j ≤ a, ∀j = 1, n,
решения в
чистых ai∗ y T ≤ a, ∀i = 1, m,
стратегиях.
Смешанное ai∗ y T ≥ a, ∀i = 1, m,
расширение
матричной
игры
Определение.
Примеры.
Исключение
доминируе-
мых Теорема 1.
стратегий.
Нижняя и Для того, чтобы ситуация (x ∗ , y ∗ ) была равновесной,
верхняя
цена игры.
необходимо и достаточно, чтобы выполнялись
Понятие
решения в
неравенства:
чистых
стратегиях. T T
Смешанное
ai∗ y ∗ ≤ x ∗ Ay ∗ ≤ x ∗ a∗j , ∀i = 1, m, j = 1, n. (3)
расширение
матричной
игры
Определение.
Доказательство.
Примеры.
Необходимость. Пусть ситуация (x ∗ , y ∗ ) - равновесная,
Исключение
доминируе- т.е. выполняется (1). Выберем в качестве x и y чистые
мых
стратегий. стратегии i и j, т.е.
Нижняя и
верхняя
x = (0, . . . , 0, 1, 0, . . . , 0), y = (0, . . . , 0, 1, 0, . . . , 0).
цена игры.
i j
Понятие
решения в
Тогда неравенство (1) примет необходимый вид (3).
чистых Достаточность. Применим к обеим частям (3) лемму о
стратегиях.
Смешанное
переходе к смешанным стратегиям. Имеем:
расширение
матричной T T
игры xAy ∗ ≤ x ∗ Ay ∗ ≤ x ∗ Ay T ,
Исключение
доминируе-
мых
стратегий.
Нижняя и Теорема 2.
верхняя
цена игры. Если ситуация (k, l) является равновесной для игры с
Понятие
решения в матрицей A, то она является равновесной и для ее
чистых
стратегиях. смешанного расширения.
Смешанное
расширение
матричной
игры
Определение. Доказательство.
Примеры.
Исключение
Пусть (k, l) - равновесная ситуация в игре A, т.е.
доминируе-
мых
стратегий. ail ≤ akl ≤ akj ∀i = 1, m, j = 1, n. (4)
Нижняя и
верхняя
цена игры.
Понятие
В смешанных стратегиях ситуация (k, l) имеет вид
решения в
чистых
(x k , y l ), x k = (0, . . . , 0, 1, 0, . . . , 0),
k
стратегиях.
Смешанное
y l = (0, . . . , 0, 1, 0, . . . , 0).
l
расширение
матричной Тогда
T T
игры
ail = ai∗ y l , akl = x k Ay l , akj = x k a∗j .
(4) примет вид (3), т.е. (x k , y l ) будет равновесной.
Теорема доказана.
Так как матричная игра — частный случай
Определение.
Примеры. антагонистической игры, для которой справедлива
Исключение теорема Нэша (Nesh), т.е. ситуация равновесия в
доминируе-
мых матричной игре всегда существует в смешанных или в
стратегий.
Нижняя и чистых стратегиях. Чтобы это показать, достаточно
верхняя
цена игры. показать существование и равенство минимаксов
Понятие
решения в
чистых max inf xAy T и min sup xAy T .
стратегиях. x y y x
Смешанное
расширение
матричной Фактически докажем существование и равенство
игры
минимаксов
Исключение
доминируе-
мых Лемма 2.
стратегий.
Нижняя и При любом y0 ∈ Y и при любом x0 ∈ X существуют
верхняя
цена игры. (достигаются)
Понятие
решения в
чистых
стратегиях.
max xAy0T и min x0 Ay T .
x y
Смешанное
расширение
матричной
игры
Определение.
Доказательство.
Примеры.
m n
Исключение X X
доминируе-
мых
xAy0T = xi ai∗ y0T , x0 Ay T
= x0 a∗j yj .
стратегий. i=1 j=1
Нижняя и
верхняя
цена игры.
Понятие Это означает, что xAy0T , x0 Ay T - линейные, а
решения в
чистых следовательно и непрерывные функции по своим
стратегиях.
переменным xi , i = 1, m и yj , j = 1, n соответственно.
Смешанное
расширение Множества X и Y - замкнутые и ограниченные
матричной
игры (симплексы), т.е. компактные. Следовательно на них
функции xAy0T , x0 Ay T достигают своих максимума и
минимума.
Лемма доказана.
Определение.
Примеры.
x0 a∗l ≤ x0 a∗j ∀j = 1, n;
Определение.
Примеры.
Исключение
Перейдем в полученном неравенстве к смешанным
доминируе-
мых
стратегиям (по лемме 1):
стратегий.
Нижняя и
верхняя x0 a∗l ≤ x0 Ay T ∀y ∈ Y .
цена игры.
Понятие
решения в Переходя здесь к минимуму по y ∈ Y , получим
чистых
стратегиях.
T
Смешанное x0 a∗l = x0 Ay l ≤ min x0 Ay T , y l = (0, . . . , 0, 1, 0, . . . , 0).
расширение y l
матричной
игры
Тогда
x0 a∗l = min x0 Ay T .
y
Лемма доказана.
Определение.
Примеры.
Исключение
доминируе-
мых
стратегий.
Лемма 4. о непрерывности функций max xAy T и
Нижняя и
x
верхняя min xAy T
цена игры. y
Понятие
решения в Значение max xAy T является непрерывной функцией y , а
чистых x
стратегиях.
значение min xAy T - непрерывной функцией x.
Смешанное y
расширение
матричной
игры
Доказательство.
Из предыдущей леммы следует, что
Смешанное
расширение
min x1 a∗j = x1 a∗k , min x2 a∗j = x2 a∗l .
матричной j j
игры
Рассмотрим
min x2 a∗j = x2 a∗l
j
С одной стороны:
Исключение
доминируе-
С другой стороны:
мых
стратегий.
Нижняя и x2 a∗l > x1 a∗l − ε
верхняя
цена игры. x2 a∗l > x1 a∗l − ε > minj x1 a∗j − ε.
Понятие
решения в minj x1 a∗j + ε = x1 a∗k + ε > x2 a∗k > minj x2 a∗j =
чистых
стратегиях.
= x2 a∗l > x1 a∗l − ε > minj x1 a∗j − ε.
Смешанное
расширение То есть:
матричной
игры | min x1 a∗j − min x2 a∗j | < ε,
j j
Исключение
доминируе-
мых
стратегий.
Нижняя и
верхняя Теорема 3.
цена игры.
Понятие Минимаксы max min xAy T и min max xAy T существуют.
решения в x y y x
чистых
стратегиях.
Смешанное
расширение
матричной
игры
Определение.
Примеры.
Исключение
доминируе-
мых
Доказательство.
стратегий.
Нижняя и
Т.к. min xAy T - непрерывная по x функция (Лемма 4), то
y
верхняя
цена игры. по теореме Вейерштрасса на компактном множестве X
Понятие
решения в она достигает своего максимума max min xAy T .
чистых x y
стратегиях.
Аналогично существует min max xAy T .
Смешанное y x
расширение
матричной
Теорема доказана.
игры
Определение.
Примеры.
Исключение
доминируе-
мых
стратегий.
Лемма 5. о двух альтернативах
Нижняя и
верхняя
Какова бы ни была матрица A, имеет место одна из двух
цена игры.
Понятие
альтернатив:
решения в
чистых 1 существует x ∈ X , такой что xa∗j > 0 ∀j = 1, n;
стратегиях.
Смешанное
2 существует y ∈ Y , такой что ai∗ y T ≤ 0 ∀i = 1, m.
расширение
матричной
игры
Доказательство.
Составим выпуклую оболочку симплекса x1 , т.е. векторов
e 1 , . . . , e m , и всех векторов a∗j . Обозначим ее через C.
Определение.
Примеры.
Возможны два случая:
Исключение
0∈ / C.
доминируе-
мых
Тогда точка 0 отделима от множества C гиперплоскостью
стратегий.
Нижняя и
Vz = 0, и ∀z ∈ C Vz > 0. В частности,
верхняя
цена игры.
∀ i = 1, m Ve i = vi > 0. Тогда и сумма
Понятие m
решения в
X
чистых vi > 0.
стратегиях.
i=1
Смешанное
расширение
матричной
Выберем вектор
игры v1 vm
x =( ,..., ) ∈ X.
v v
Тогда, т.к. v > 0
1
xz =Vz > 0 ∀z ∈ C,
v
в частности и для всех точек a∗j ∈ C :
xa∗j ≥ 0 ∀j = 1, n.
0 ∈ C. Тогда точку 0 можно представить в виде выпуклой
комбинации
Pm i
Pn
Определение. i=1 αi e + j=1 βj a∗j = 0,
Примеры. αi ≥ 0, i = 1, m,
(5)
Pm j ≥ 0,P
β j = 1, n,
Исключение
доминируе-
n
i=1 αi + j=1 βj = 1.
мых
стратегий.
Нижняя и
верхняя Расписывая это равенство покоординатно, получаем:
цена игры.
Понятие n
решения в X
чистых
стратегиях.
αi + βj aij = 0, ∀i = 1, m. (6)
j=1
Смешанное
расширение
матричной Учтем, что αi ≥ 0. Тогда
игры
n
X
βj aij ≤ 0. (7)
j=1
Кроме того,
n
X
β= βj ≥ 0. (8)
j=1
Определение. Предположим, β = 0. Тогда, т.к. все βj ≥ 0, то
Примеры.
βj = 0, ∀j = 1, n. Из (6) тогда следует, что
Исключение
доминируе- αi = 0, ∀i = 1, m, что противоречит заданию αi , βj .
мых
стратегий. Следовательно, β > 0. Тогда можем составить вектор
Нижняя и
верхняя
цена игры. β1 βn
Понятие y = (y1 , . . . , yn ) = ( ,..., ) ∈ Y.
решения в β β
чистых
стратегиях.
Исключение
доминируе-
мых
стратегий. Theorem (о минимаксах)
Нижняя и
верхняя
цена игры.
Какова бы ни была матрица A,
Понятие
решения в
чистых max min xAy T = min max xAy T .
стратегиях. x y y x
Смешанное
расширение
матричной
игры
Воспользуемся леммой о двух альтернативах.
Предположим, выполняется первая, т.е. ∃ x0 ∈ X :
Определение.
Примеры. x0 a∗j ≥ 0 ∀j = 1, n.
Исключение
доминируе-
мых По лемме о смешанных стратегиях имеем:
стратегий.
Нижняя и
верхняя
цена игры.
x0 Ay T ≥ 0 ∀y ∈ Y .
Понятие
решения в
чистых Тогда
max min xAy T ≥ min x0 Ay T ≥ 0.
стратегиях.
(9)
Смешанное x y y
расширение
матричной
игры
Пусть теперь выполняется вторая альтернатива, т.е.
∃ y0 ∈ x2 :
ai∗ y0T ≤ 0 ∀i = 1, m.
Перейдем здесь к смешанным стратегиям, тогда
xAy T ≤ 0 ∀x ∈ X .
Далее получим
Исключение
доминируе-
По лемме о двух альтернативах только одно из
мых
стратегий.
неравенств (9) или (10) выполняется, т.е. не может
Нижняя и
верхняя
выполняться двойное неравенство
цена игры.