Теорема. Пусть Г=(Х, Y, Н), X a jf, Yс
Л"
—
выпуклая
игра.
Тогда значение
v
игры
Г
определяется
по
формуле
w=min тах#(л:, у).
У
*
Игрок 1
обладает оптимальной смешанной стратегией
/х
0
с конеч-
ным
спектром,
состоящим не более
чем из (и+ 1)-й
точки
множест-
ва X. В
то
же
время
все
чистые стратегии
у
0
,
на которых
достига-
ется
min max H{x, у), являются
оптимальными
для
игрока
2.
Если,
У
х
кроме того, функция Н(х, у) при каждом
фиксированном
хеХ
строго
выпукла по у, то
оптимальная стратегия игрока
2
единст-
венна-
Проиллюстрируем эти результаты на примере.
Пример 11. Рассмотрим частный случай примера 1 (см. п. 1.2).
Пусть
5'
1
=
5'
2
=5
и множество S представляет собой замкнутый
круг на плоскости с центром в точке О и радиусом R.
Функция выигрыша Н(х, у)=р(х, y),xeS,yeS, где р() — функ-
ция расстояния в R
2
, является строго вьшуклой по у при любом
фиксированном х, a S — выпуклое множество. Поэтому согласно
теореме п. 5.5 значение игры v равно
«=min maxp(x, у). (5.15)
yeS xeS
Вычисляя min max в (5.15), получаем, что v=R (см. пример 8 п. 2.6).
При этом точка y
Q
eS, на которой достигается минимум выражения
тах/>(х, у), единственная и совпадает с центром круга S (т. е.
xeS
точкой О). Эта точка и является оптимальной стратегией игрока
2 (минимизирующего). Теорема утверждает, что у игрока 1 (мак-
симизирующего) существует оптимальная смешанная стратегия,
предписывающая положительную вероятность не более чем трем
точкам множества S. Однако вследствие симметрии множества
S в действительности оптимальная смешанная стратегия ц
0
игрока
1 предписывает с вероятностью
1
/
2
выбирать любые две диамет-
рально противоположные точки на границе множества S. Для до-
казательства оптимальности стратегий /х
0
, у
0
достаточно устано-
вить,
что К(х, y
0
)^K(pi
0
, y
0
)^K(jx
0
, у) для всех х, yeS, где К —
математическое ожидание выигрыша, К(р
0
, y
0
)=RI2 +
R/2
=
R.
Действительно, К(х, y
o
)=p(0, x)^R и К(ц
0
, y)=p(x
v
y)/2
+
p(x
2
,
y)/2^R,
где х
1
ах
2
— произвольные диаметрально противополож-
ные точки на границе круга S. Оптимальность стратегий /х
0
и у
0
доказана.
5.6. Рассмотрим частный случай выпуклой игры Г=(Х, Y, Н),
90