
Опишемо процедуру послiдовного виключення стратегiй, якi стро-
го домiнуються. Ця процедура полягає в побудовi двох послiдовностей
вкладених множин
P
k
⊂··· ⊂P
2
⊂ P
1
⊂{1,...,m} i Q
k
⊂··· ⊂Q
2
⊂
Q
1
⊂{1,...,n} .Прицьомудляl =1,2,...,k−1 виконанi наступнi умови:
∀i
2
∈ P
l
\ P
l+1
∃i
1
∈ P
l+1
: i
1
i
2
на Q
l
;
∀j
2
∈ Q
l
\ Q
l+1
∃j
1
∈ Q
l+1
: j
1
j
2
на P
l
;
Ми описали процедуру послiдовного виключення стратегiй формально.
Подивимося тепер, як ця процедура здiйснюється на практицi.
Крок 1. Вважаємо
P
1
= {1,...,m}, Q
1
= {1,...,n} i будуємо множини
P
2
, Q
2
. Для цього викидаємо з множини P
1
всi стратегiї, якi строго домi-
нуються на множинi
Q
1
, тобто ми шукаємо такi пари стратегiй i
1
,i
2
,що
рядок
i
1
поелементно бiльше рядка i
2
вматрицiA: a
i
1
j
>a
i
2
j
.Викреслю-
ємо всi такi рядки
i
2
в обох матрицях. Аналогiчно шукаємо стовпцi j
2
вматрицiB другого гравця, якi строго домiнуються iншими стовпцями
j
1
: b
ij
1
>b
ij
2
. Викреслюємо всi такi стовпцi j
2
з обох матриць. Припу-
стимо, що нам вдалося викреслити принаймнi один рядок або стовпець.
Тодi переходимо до кроку 2.
Крок 2. Пiсля викреслювання рядкiв i стовпцiв на першому кроцi ми
одержали матрицi, в яких множина рядкiв
P
2
,амножинастовпцiвQ
2
.
При цьому або
P
1
= P
2
,абоQ
1
= Q
2
, або обидвi множини не спiвпада-
ють з попереднiми. Може вийти так, що новi матрицi матимуть рядки i
стовпцi, якi строго домiнуються Викреслюємо їх i переходимо до насту-
пного кроку. Продовжуємо процедуру до тих пiр, поки не викреслимо
все, що можна. Нижче доведено, що при цьому зберiгаються всi змiшанi
рiвноваги Неша.
Означення 2.9.8. Говоритимемо, що множина
Z = P ×Q строго домiнує
множину
Z = P ×Q (Z Z), якщо вона одержана з множини Z послiдов-
ним виключенням стратегiй, якi строго домiнуються, тобто в описанiй
вище процедурi
P = P
k
, Q = Q
k
. Говоритимемо про слабке домiнування
(
Z Z), якщо множина Z одержана з множини Z послiдовним виклю-
ченням стратегiй, якi слабко домiнуються.
Розглянемо поняття домiнування в змiшаних стратегiях.
Означення 2.9.9. Говоритимемо, що змiшана стратегiя
X строго до-
мiнує чисту стратегiю
i на множинi Q ⊂{1,...,n} (X i), якщо
A(X,j) >a
ij
∀j ∈ Q. Говоритимемо про слабке домiнування на множинi
Q ⊂{1,...,n} (X i), якщо A(X,j) ≥ a
ij
∀j ∈ Q.
Аналогiчно визначається домiнування в змiшаних стратегiях другого
гравця.
Як шукати стратегiї, якi строго домiнуються?
153