Об одном альтернативном утверждении относительно исхода дифференциальной игры "наведения-уклонения" нескольких лиц в классе "чистых" и "смешанных" стратегий Текст научной статьи по специальности «Математика»

2011

ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА

Математика. Механика. Информатика Вып. 1(5)

УДК 519.6

Об одном альтернативном утверждении относительно исхода дифференциальной игры "наведения-уклонения” нескольких лиц в классе "чистых” и "смешанных" стратегий

С. В. Лутманов

Пермский государственный университет, Россия, 614990, Пермь, ул. Букерева, 15 [email protected]; (342)239-63-09

Рассматривается позиционная дифференциальная игра "наведения-уклонения" нескольких лиц. Игра формализована в классе "чистых" и "смешанных" стратегий. В предположении, что целевые множества игроков попарно не пересекаются, доказывается альтернативное утверждение относительно исходов игры. Смысл утверждения состоит в следующем. Для каждой начальной позиции либо существует единственный игрок, разрешающий задачу наведения на свое целевое множество, либо найдется такой способ управления всех игроков, что ни один из игроков-"уклонистов" не может привести фазовый вектор игры на свое целевое множество при условии, что остальные игроки придерживаются указанного способа управления.

Ключевые слова: "чистые" стратегии; "смешанные" стратегии; стабильный мост; теорема об альтернативе.

1. Постановка дифференциальной игры "наведения-уклонения" нескольких лиц в классе "чистых" и "смешанных" стратегий

Динамика конфликтно-управляемого объекта описывается обыкновенным векторным дифференциальным уравнением

х = / (V, х, их,..., ик ), (1.1)

где V е [V о, Т ] ^ R1 - текущее время,

х = (х1,..., хп) е Rn - фазовый вектор объекта, ui е р ^ Rn - вектор управляющих парамет-

ров /-го игрока, / : R

1+п+г +...+П

функция, описывающая как внутреннее устройство объекта, так и воздействие различных внешних факторов. Будем предполагать, что

множества Р, / е К компактны, а функция

© С. В. Лутманов, 2011

/ непрерывна по совокупности переменных V, х,и1,...,ик .

Относительно правых частей дифференциальных уравнений (1.1) принимаются стандартные в теории дифференциальных игр предположения:

1) локальные условия Липшица VR > 0 З к > 0 :

/(t,x(1),u1,...,ик)-/(t,^u1,...,ик)| <

(2)

< к х(1) - х(2) ;

V

,(1)

< R,

,(2)

< R,V е[^,$],и{ е р,/ е К ; 2) условия продолжимости решения

ЗА > 0 : ||/(V, х, и1,..., ик)|| < А(1 + ||х||)

Vt е ^0,Т], х е Rn,и1 е Р,/ е К .

В пространстве Rn /-му игроку ставится в соответствие компактное множество М1, / е К, которое будем называть целевым множеством этого игрока. Неформальная цель

игрока состоит в приведении фазового вектора игры в конечный момент времени на свое целевое множество. В случае если в конечный момент времени фазовый вектор игры не принадлежит ни одному из целевых множеств, то считается, что в игре достигнут компромисс. Описанную дифференциальную игру назовем игрой "наведения-уклонения" нескольких лиц.

Принимается, что в любой момент времени игроки имеют точную информацию о

реализовавшейся позиции {V, х| игры. В случае уклонения какого-либо игрока от предписываемого набора стратегий ни игрок-"уклонист", ни оставшиеся игроки не получают дополнительной информации о действиях друг друга. В зависимости от выполнения или невыполнения условия существования седло-вой точки в "маленькой игре" (см. определение 1) дифференциальная игра формализуется либо в классе "чистых", либо в классе "смешанных" позиционных стратегий.

2. Формализация игры в классе "чистых" стратегий

Формализуем дифференциальную игру нескольких лиц в классе "чистых" позиционных стратегий.

Определение 1. Будем говорить, что в дифференциальной игре нескольких лиц выполнено условие существования седловой точки в "маленькой игре", если для всех номеров / е К и векторов 5 е Rn выполняется равенство

шт тах (5 •

(и,-,и1-1,и1+1,-,ик )е П р и ер

jеK(i)

•/(t, X, ul,^^^, и/ик ))

= тах тт (5 •

и/ер (и,---,и,-1,и,+1,---,ик )е П Р /еК(‘)

• / (V, х, и1, —, и,, — , и,

))

V {V, х}е Rn+1, 5 е . (2.1)

Условие (2.1), в частности, имеет место для функций вида

/ ( t, x, Щ1, —, Щ г — ик ) = .

Определение 2. "Чистой" позиционной стратегией и /-го игрока называется произвольная функция

Щ : [tо,Т]х^ ^ р , * е К .

Соответствие между позиционной стратегией и\ и реализующей ее функцией Щ [•]

будем обозначать символом и\ ^ Щ [•], / е К .

Пусть и) ^ и* [•] , / е К - набор произвольных "чистых" позиционных стратегий и А - конечное разбиение отрезка времени [V,, Т], ^0, Т) точками

Т6,, 5 = 0,1, — , Г0 = V, .

Определение 3. Ломаной Эйлера хА (•,V,,х,,и1, — ,ик), выходящей из позиции

{V,, х,} и порожденной набором позиционных стратегий и1, — ,ик, назовем всякую абсолютно непрерывную функцию хА(-), удовлетворяющую дифференциальному уравнению

хА () =

= / (t, ха( ) , ЩА1 (t) , —, иА/ (t) , —, иАк ()) , хА (К ) = х,, хА (^5 ) = (^ хА (t) , иА/ (t) =

= и

[*5 , хА(^5 )]= С0П5 ,

К, t е[^5 ,*5+1 ) , 5 = 0Д-

= /(1) (V, х, щ ) + — + /(к] (/, х, Щк ) .

(к) I

Определение 4. Движением, выходящим из позиции {V,, х,} и порожденным набором "чистых" позиционных стратегией и ,

/ е К , назовем всякую функцию х(-), для которой найдется последовательность ломаных

Эйлера ха00 (•,V,,х,р),и1, — ,ик), р = 1,2,— ,

равномерно сходящаяся к ней на отрезке и,,Т] при условии Нт 8ир(г5р1 -г5р)) = 0.

р^ад 5

Совокупность всех движений, выходящих из позиции {V,, х,} и порожденных набором "чистых" позиционных стратегией и , / е К, будем обозначать символом ['. ■ х, и......ик ] и называть пучком кон-

структивных движений. Можно показать [1], что для любой позиции {V,, х,} и любого набора "чистых" позиционных стратегий и1, — ,ик пучок движений

X [г,, х, Д,... ,и„ ]

содержит хотя бы одно движение.

Уклонение /-го (/ е К) игрока от стратегии, предписываемой ему набором страте-

гии

, ик, будем моделировать

тем, что в определении ломаноИ ЭИлера реализация вектора управляющих воздействий і-го игрока определяется не в виде кусочнопостоянной функции

ид

(і) = и ІЗ, Хд(Т, )] = соші, і є[т, ,т,+і), 5 = 0Д-

(2.2)

а в виде произвольного программного управления Щ : [V,, Т ] ^ р . Пучок конструктивных

движений, получающийся в результате перебора всех возможных уклонений /-го игрока, обозначим символом

X \^,, х,,и;. |у е К (/)] .

Игрок под номером /, принимая решение уклониться от стратегии, предписываемой ему каким-либо набором стратегий, должен учитывать возможность любых действий со стороны остальных игроков. Эту возможность будем моделировать тем, что в определении ломаной Эйлера реализация вектора управляющих воздействий у-го игрока, у е К (/),

определяется не в виде кусочно-постоянной функции (2.2), а в виде произвольного программного управления и у : [V,, Т ] ^ Ру. Пучок конструктивных движений, получающийся в результате перебора всех возможных действий со стороны игроков К(/), обозначим символом X [V,, х, ,и, ].

В общем случае все множество номеров К делится на множество L с К и множество К \ L . Игроки, номера которых принадлежат множеству L, формируют свои управляющие воздействия по формуле (1). Остальные игроки формируют их в виде произвольного программного управления

Пучок конструктивных движений в этом случае обозначим символом X , х,, и ■ е L^ . Очевидно, что

Г з L ^ .

X[V,,х,,и^ |у е Г] с X[V,,х,,и^ |у е Г] .

3. Формализация игры в классе "смешанных" стратегий

В случае невыполнения условия (2.1) дифференциальная игра формализуется в классе "смешанных" позиционных стратегий.

Определение 5. "Смешанной" позиционной стратегией и. /-го игрока называется произвольная функция

Щ :[^Т]хК ^{м},

которая каждой позиции {V, х} е [^, Т] х Кп ставит в соответствие меру м (•] V, х) е {м} , где {м } - совокупность всех вероятностных мер, нормированных на множестве р, / е К .

Пусть Ц}[ ^ Щ [•] , / е К, - набор произвольных "смешанных" позиционных стратегий и А - конечное разбиение отрезка времени [/., Т], /, е[<0,Т) точками Т5, 5 = 0,1, —,

^0 = t, .

Определение 6. Ломаной Эйлера хА (•,V,,х,,й1, — ,йк) , выходящей из позиции

{V,, х,} и порожденной набором "смешанных"

позиционных стратегией 1}1, — ,1}к, назовем всякую абсолютно непрерывную функцию х}А (•) , удовлетворяющую дифференциальному уравнению

хд(0 = | У ^ хд(0 , ul, —, и,-”, ик )х

п р

ієК

ХП ^ (dui | і), хд(і0 ) = х, ,

: [і,, Т Р, ] є Ь .

ХД(т* ) =, Цт-0 ХД( 1),

Маі ('І і) = и [т,, хд(т )] = соті, і є к, ґ ф,,т,+1), 5 = 0,1,„..

и

Определение 7. Движением, выходящим из позиции {V,, х,} и порожденным набором "смешанных" позиционных стратегией 1}/, / е К , назовем всякую функцию х (•) ,

для которой найдется последовательность ломаных Эйлера

хА(р) (•,и,х,Р)Д,— ,ик), Р = 1,2,— , равномерно сходящаяся к ней на отрезке

и,, Т] при условии Нт Бир (75+1 - г5р ^) = 0 .

Р^ад 5

Совокупность всех движений, выходящих из позиции {V,, х,} и порожденных набором "смешанных" позиционных стратегией

и1, — ,ик, будем

X [V,, х, ,й1, — ,йк ] . Известно [1], что для

любой позиции {V,, х,} и любого набора "смешанных"

слабо измеримых вероятностных мер, нормированных на множестве р , обозначим символом

X

4, х,,ие К(г)].

Игрок под номером /, принимая решение уклониться от стратегии, предписываемой ему каким-либо набором стратегий, должен учитывать возможность любых действий со стороны остальных игроков. Эту возможность будем моделировать тем, что в определении ломаной Эйлера реализация вектора управляющих воздействий у-го игрока, у е К (/),

определяется не в виде кусочно-постоянной меры (2), а в виде произвольной слабо изме-

обозначать символом римой меры Ц.у (•]t),t е [t,,Т]. Пучок конст-

и}1,—,и}к

позиционных стратегий пучок движений

X , х, ,й1,...,йк ] содержит хотя бы одно

движение.

Уклонение /-го (/ е К) игрока от стратегии, предписываемой ему набором стратегий 1}1, — ,1}/, —, ик , будем моделировать

тем, что в определении ломаной Эйлера реализация вероятностной меры, нормированной на множестве р -области изменения управляющих параметров /-го игрока, определяется не в виде кусочно-постоянной меры

М (^ 75 , хА (75 )) = Щ [75 , хА (75 )] = С0^,

е[75 ,75+1 ) , 5 = 0Л- , (31)

а в виде произвольной слабо измеримой меры fJ.i (• V), V е^,, Т ]. При этом слабая измеримость меры понимается в том смысле, что для любой непрерывной функции о: р ^ К1

функция Д: [V,, Т] ^ К1, определенная формулой

Д (t) = |°(щ ) мг (^),

р

измерима по Лебегу на промежутке ['• ■ Т ].

Пучок конструктивных движений, получающийся в результате перебора всех возможных

руктивных движений, получающийся в результате перебора всех возможных действий

со стороны игроков К (/) , обозначим символом X [V,, х, ,U}г ] .

В общем случае все множество номеров К поделим на множество Г с К и К \ Г . При построении ломаной Эйлера принимаем, что игроки с номерами из множества Г формируют свои управляющие воздействия по формуле (2), а остальные игроки - в виде произвольной слабо измеримой меры

Му (• V), V е^,, Т ], у е Г . Пучок конструктивных движений в этом случае обозначим символом X , х,, и ■ У е Г ]. Очевидно, что

Г з Г ^

X [с, х, ,Ц/у.|у е Г] с X [V,, х, ,Ц/у.|у е Г] .

4. Стабильные мосты

В дальнейшем на базе сформулированной игры "наведения-уклонения" нескольких лиц будет рассматриваться вспомогательная антагонистическая дифференциальная игра "наведения-уклонения" двух лиц [1]. В этой игре первый игрок отождествляется с подмножеством игроков Г с К , а второй игрок -с подмножеством игроков К \ Г . Первый игрок решает задачу наведения на множество М с Кп , а второй-задачу уклонения от этого множества.

В зависимости от классов стратегий, в которых игра формализована, будем применять следующие обозначения:

G (Г, К \ Г, М)- оба игрока применяют "чистые" стратегии;

G (Г, й \ Г, М )- оба игрока применяют "смешанные" стратегии.

Определение 8. Множество

W с^0,Т]хКп

будем называть /-стабильным (/ -стабильным) мостом, обрывающимся на множестве М/, в дифференциальной игре "наведения-

уклонения" нескольких лиц, если оно является стабильным мостом первого игрока [1], в антагонистической игре

G ({/} •К (/'). М>) • (G ({0 • * (/'). М>)) •

и при этом

W (Т ) = {х е Кп| {Т, x}еW }с Мг, / е К .

Из определения стабильности следует, что если два множества являются стабильными мостами в любом из указанных выше смыслов, то и их объединение также будет стабильным мостом. Тогда существует максимальный стабильный мост, содержащий любой другой стабильный мост. В работе [1] показано, что максимальный стабильный мост замкнут.

Лемма 1. Пусть Ж - максимальный / -стабильный (при выполнении (1.2) /-

стабильный) мост, обрывающийся на множестве М1, / е К . Тогда для любого 5 > 0 найдется г > 0 такое, что будет выполнено Жг с Ж5 =

= {{V, х},||х - ^|| < 5, w е Ж(V), V е [t0,Т]} .

Здесь Жг - максимальный / -стабильный (/стабильный) мост, обрывающийся на множестве Мг . Множество Мг представляет собой замкнутую г -окрестность множества Мг, / е К.

Доказательство. Допустим, что утверждение леммы неверно. Тогда найдутся число 5 > 0 и последовательность монотонно убывающих чисел {гг1} ^ 0 , таких, что

Р = Жгп п(ж5)С *0, п = 1,2,— ,

где (Ж5) =([^,Т]хКп)\Ж5 . Каждое из множеств р , п = 1,2, — замкнуто и ограничено, так как оно образовано пересечением двух замкнутых множеств, одно из которых ограничено. Из монотонного убывания последовательности положительных чисел {гг1}

следует, что для любых номеров Пу > П выполнено вложение Рг з Рг . Отсюда в силу

гщ гпу ''

[2] выводим, что

ад

П Р=Р *0.

п=1

Пусть {V,, х,} е Р . Тогда {V,, х,}^Ж . Из того факта, что множество Ж является максимальным стабильным мостом, обрывающимся на множестве М1, следует, что для начальной

позиции {V,, х,} неразрешима задача наведения в антагонистической дифференциальной игре G ({}}, й (/),М,) (G ({/},К (/),М,)).

По теореме об альтернативе [1] в этой позиции разрешима задача об уклонении от некоторой открытой к -окрестности множества М в антагонистической дифференциальной игре G ({/}, й (/),М/) (в случае выполнения условия (2.1) в игре G ({/}, К (/), М/)). Следовательно, позиция

{V,, х,} не может принадлежать ни одному из мостов Жг , для которых гn < к„. Последнее

ь, п

утверждение невозможно, так как из включения {V,, х,} е Р должно следовать включение

{V,,х,}еЖг при всех п = 1,2, — . Полученное противоречие доказывает лемму.

Определение 9. Множество Ж будем

называть К (/) -стабильным (К (/) -стабильным) мостом в дифференциальной игре "наведения-уклонения" нескольких лиц, если оно является стабильным мостом второго игрока [1], в антагонистической игре

G({/},К (/),М,), (G({}}, й (/),М,), /е К).

Определение 10. Систему множеств Ж1, — ,Жк с[tо , Т] х Кп будем называть К -

стабильной (К -стабильной), если для всех

/ е К множество (['0. Т] х Кп ) \ Ж является

К (/) -стабильным (К (/) -стабильным) мостом в дифференциальной игре "наведения-уклонения" нескольких лиц.

5. Экстремальное прицеливание

Пусть Ж с['0 , Т] х Кп - замкнутое

множество.

X - W, =

В

min

we([t0,T ]xRn W )(t)'

случае,

х - w

когда

Wt,-,W„ c[<0,T]xRn , если при всех i e K позициях jt, x| e Wi, для которых

([to,T]xRn \W,)(t)*0,

имеет место равенство

max s, • f (t, x, u? [t, x] , ■ ■ ■,

Uh [t, X] , U, M^l [^ X] , ■ , u0 [t, X]) =

Определение 11. Стратегия и* - Щ [•]

(и-и-[•]) / -го игрока называется экстремальной к множеству Ж, если она является экстремальной стратегий первого игрока к

множеству Ж в игре G ({/}, К (/), М1)

(G ({?}, К (/), М,)).

Лемма 2. Пусть Ж с['0, Т]х Кп -

замкнутый / -стабильный (/ -стабильный) мост в дифференциальной игре "наведения-уклонения" нескольких лиц, стратегия

и - Щ [•] (и* - Щ [•]) является экстремальной к множеству Ж и {V,, х,}еЖ . Тогда для

всякого движения х (•) е X [ V,, х, ,ие ],

(при выполнении условия (1.2) х(•) е X|^0, х0,и/] ) будет выполнено включение х(V*) е Ж(V*), для всех V -е[г„Т ],

если Ж (V) ^ 0 , V е [V,, V*] .

Справедливость данной леммы следует непосредственно из леммы 15.1 (леммы 65.1) [1].

Пусть Ж1, — ,Жк с [^ Т] х Кп - система

попарно непересекающихся открытых множеств. Полагаем

min max ( s, •

(uj,-Ui-i,Ui+i-,Uk )e П Pj U,ePi jeK(i)

X, u

, uk)).

Для остальных позиций управляющие воздействия игроков принимаются произвольными векторами из допустимых множеств.

Определение 13. Набор "смешанных"

стратегий и0 - Щ0 [ • ], —, иок - и° [ • ] будем называть экстремальным к системе множеств Ж1,—,Жк с['0,Т]хК1, если при всех / е К и

позициях {V, х}еЖ/, для

([<„, Т ]х кп \ Ж)(V )*0,

которых имеет место равенство

max

мМм, }

J Vf(

П Pj

(5l)

точек

'№/ е ([^,Т]хКп \Ж)(V), доставляющих

тт в (5.1), более одной, берется любая из них.

Определение 12. Набор "чистых" стратегий и° - и0 '[•] ■•— ик0 - щ [•] будем называть экстремальным к системе множеств

П U? (dUyIt, х) x и (dut) =

V jeK(i) )

min max J s •

^ U(ejuj J

П4n{u,jUi jUijnpj

jeK(i) J jeK(i) jeK

• f (t,х,ul,■,M-l,u,%uk)• Пи; (duj)!.

V^k J

Для остальных позиций управляющие воздействия игроков отождествляются с произвольными вероятностными мерами на допустимых множествах.

Лемма 3. Пусть Wl,---,Wk <^[t0,T]xRn -система попарно непересекающихся открытых K -стабильных (K -стабильных) множеств. Набор стратегий (Ц0,-• •, Ц?)

((U°.-.U,°)) всех игроков является экстремальным к системе множеств

Wl,-,Wk <=[(„,T]xRn и

и

{(,, х,}еЖ = ([<0, Т ]х К) \ Г и Жу .

V зек )

Тогда для любого номера / е К и движения х (•) е X [V,, х,, и у |у е К (/)] (при выполнении условия (1.2) х 0е X [^ х,, Ц® | у е К (/)]) будет выполнено включение

х(,-)еж (/•) и ж И,

уеК (/)

для всех V* е^,,Т], если Ж(V) и Ж(V)^0

уеК(/)

при всех V е IV,, V*] .

Справедливость данной леммы следует непосредственно из леммы 15.2 (леммы 65.2) в книге [1].

6. Теорема об альтернативе

В этом пункте предполагается, что целевые множества игроков попарно не пересекаются. Дадим определения возможных исходов дифференциальной игры "наведения-уклонения" нескольких лиц.

Определение 14. Будем говорить, что в

начальной позиции {V,, х,} стратегия и / -го

игрока, / е К, решает задачу наведения на целевое множество этого игрока, если для всех х(•) е X [V,, х,, и ] (для всех

х (•) е X [ V,, х,, и ] ) выполнено включение

х(Т)еМг.

Определение 15. Будем говорить, что в начальной позиции {V,, х,} набор стратегий

всех игроков и1, — ,ик является компромиссным, если существует г > 0, что для всех / е К и х(•) е X V,, х,, иу |у е К (/)]

(х (•)е X [t,, х, ,иу I уе К (/)]).

выполняется условие

х(Т) £ Мг = {х е Кп|||х - т|| < г, т е Mi} .

Лемма 4. Пусть выполнено условие М/ пМу =0, / * у, /, у е К.

Тогда Ж П = 0, / ^ у, /, у е К, где

Ж5, 5 е{/, у} - максимальный 5 -стабильный мост (при выполнении условия (2.1) макси-

мальный 5 -стабильный мост), обрывающийся на множестве М5, 5 е К.

Доказательство. От противного приходим к паре индексов /, у е К , для которых

Ж/ п ^ 0 . Пусть [V,, х,}еЖ/ п Жу. Тогда в силу леммы 2 стратегия иУ - Щ/ [•]

(и - Щ [•]), экстремальная к множеству Ж/,

и стратегия и® - и у [•] и -и [•]) , экстремальная к множеству , игроков / и у соответственно обеспечат включения х(Т) е Мг, Vx(•) е X [V,, х,,иу] (при выполнении условия (2.1) Vx (•) е X [V,, х,, и® ]),

х} (Т) е Му, Vx(•) е X [V,, х,и ]

(при выполнении условия (2.1)

Vx(•) е X[V,,х,,иу]).

С другой стороны, справедливо вложение

X

5е

& у}

с

с

X [V,, х, и ] п X [V,, х, ,ие ]*0,

с

с

(X V,, х,, и® 15 е {/, у}

X [V,, х, ,ц ] п X [V,, х, ,и; ]*0).

Для любого

х0е X V,, х,и 5 е {/, у} ,

(х(•) е X , х,, и I 5 е {/, у}])

должно выполняться

х(Т) е Мг пМу =0 .

Последнее невозможно, что и доказывает справедливость леммы.

Из доказанной леммы следует, что для

начальной позиции [V,, х,} е [t0,Т]хКп справедливо одно и только одно из следующих двух утверждений:

1) существует номер / е К, что [V,, х,}еЖ/;

2) , х,} е([/0, Т]х Кп) \ ( и Ж ,

V 5еК )

где Ж - максимальный г -стабильный (г -стабильный) мост, обрывающийся на множестве М5, 5 е К .

В первом случае очевидно разрешима задача наведения / -го игрока в соответст-

вующем классе стратегий. Пусть имеет место второй случай. Тогда по лемме 1 найдется

число 5 > 0 , что [V,, х,}£ У , Где -

,єК

максимальный 5 -стабильный ( 5 -стабильный) мост, обрывающийся на множестве Му . Для всех номеров 5 е К множество и Ж50

о<г

является открытым. Оно представляет собой совокупность тех и только тех начальных позиций, для которых не разрешима задача ук-

х

і

лонения второго игрока в антагонистической дифференциальной игре

G(К(5'),{5},К \Мг)

(при выполнении условия (2.1) игре G (К (5), {5}, Кп \Мг )). Тогда множество

{([^Т ]х К ) \ Жг является максимальным стабильным мостом первого игрока в игре

G (й (/), {}}, Кп \Мг)

(в игре G (К (/),{/}, Кп \Мг ) ) и, следовательно, К (5 ) -стабильным (К (5 ) -

стабильным) мостом. Отсюда следует, что система открытых множеств Щг,—,Жкг является К -стабильной (К -стабильной.). Тогда по лемме 3 для всякой начальной позиции

{(., х,} є ([*0, Т]х Я")\1 и Ж,

Л

набор стратегий всех игроков, экстремальный К системе множеств Же,"' , Жте , будет компромиссным.

Таким образом, доказано следующее альтернативное утверждение относительно исходов дифференциальной игры "наведения-уклонения" нескольких лиц.

Теорема 1. Пусть в дифференциальной игре "наведения-уклонения" нескольких лиц целевые множества игроков попарно не пересекаются. Тогда для любой начальной позиции либо существует игрок, решающий задачу наведения на свое целевое множество в классе "смешанных" стратегий, либо существует компромиссный набор "смешанных" стратегий всех игроков. При выполнении (2.1) - условия существования седловой точки в "маленькой игре" аналогичная альтернатива имеет место и в классе "чистых стратегий".

Требование попарной непересекаемости целевых множеств в условиях теоремы существенно. Это видно из следующего примера.

Пример 1. Рассмотрим дифференциальную игру трех лиц:

х = и + и 2 + и,

[і0, Т] = [-5, 5], и є [-0.1, 0.2], и2 є [-0.2, 0.1], и3 є [0. 0.3],

М =[-2,1],М =[0,2],М =[-4, -1].

Целевые множества Мі и максимальные і -стабильные мосты Жі, і = 1,2,3 , показаны на рисунке. Пусть S - множество всех позиций {і, х| таких, что любое движение в

игре, выходящее из {і, х| как из начальной,

попадает на множество М1 и М2 и М2. На рисунке это множество ограничено штриховой линией. Полагаем D = Ж П S , где

ж = [-5,5]х я1\ (ж и Ж и Ж ) .

Непосредственно проверяется, что D ^ 0. Для любой начальной позиции {і0, х01 є П утверждение теоремы неверно.

Список литература

2. Колмогоров А.Н., Фомин С.В. Элементы l. Красовский Н.Н., Субботин А.И. Позици- теории функций и функционального ана-

онные дифференциальные игры. М.: Нау- лиза. М.: Наука, l976. 544 с.

ка, l974.456 с.

On one alternative statement relative to an outcome of the differential "training-evading” game of several persons in the class of "pure” and "mixed” strategies

S. V. Lutmanov

Perm State University, Russia, 6l4990, Perm, Bukirev st., l5 [email protected]; (342)239-63-09

The positional differential "training-evading" game of several persons is discussed. The game is formalized in the class of "pure" and "mixed" strategies. On the assumption that players’ target sets do not intersect in pairs, the alternative statement relative to outcomes of the game is proved.

Key words: “pure" strategies; “mixed" strategies; stable bridge; theorem on an alternative.