Académique Documents
Professionnel Documents
Culture Documents
joueurs
E. Hyon
Octobre 2010
Intuitivement cela veut dire que font partie du support les seules stratégies pures
qui sont des meilleures réponses.
Parce que :
Pour rendre les 1ère et 3ème lignes de Ay indifférentes on obtiendrait
y = (1/2, 1/2) et (Ay ) = (3, 7/2, 3).
=⇒ Pas vérification de (1).
Pour rendre les lignes de xB indifférentes on obtient x1 = 2 et x3 = −1.
=⇒ pas une probabilité.
Algorithme
ENTREE un jeu non degenere
for k ∈ {1, . . . , min(m, n)} do
for all (I , J) deux sous ensembles de taille k do
Resoudre
P les systèmes
P
P i∈I x i bi,j = vP, i∈I xi = 1
J ai,j yj = u, J yj = 1
Vérifier que
a) 0 6 x 6 1
b) 0 6 y 6 1
c) Condition (1)
end for
end for
SORTIE tous les équilibres du jeu
Complexité : 4n .
Définition (Polyèdres)
On appelle polyèdre l’ensemble définit par
{z ∈ R` | Mz 6 q} ,
P̄ = {(x, v ) ∈ RM × R | x > 0, 1t x = 1, B t x 6 1v }
Q̄ = {(y , u) ∈ RN × R | y > 0, 1t y = 1, Ay 6 1u}
u
Le polyèdre Q̄ correspond au système 4
3y4 + 3y5 6 u (1)
6
2y4 + 5y5 6 u (2)
Q
6y5 6 u (3) 3
5
y 4 > 0 (4) 5
y > 0 (5)
5
y4 + y5 = 1 2
0
0 1 y4
(GdT Eco Opti) Calcul E.N. Octobre 2010 12 / 27
Labels (étiquettes)
Définition (Étiquette)
On dit qu’un point (z, t) d’un polyèdre de meilleure réponse a une étiquette
k ∈ M ∪ N si la kème inégalité du polyèdre sature.
P = {x ∈ RM | x > 0, B t x 6 1} (2)
N
Q = {y ∈ R | Ay 6 1, y > 0} (3)
x3
Le polyèdre P correspond au système
x1 > 0
(1)
x2 > 0 (2)
1
e
x3 > 0 (3) d
3x + 2x + 3x 6 1 (4)
1 2 3
2x1 + 6x2 + x3 6 1 (5)
0 5
c 3 x2 1
4
Sur face x2 = 0 une des deux équations a b
est redondante. 2
x1
1
Les sommets complètements étiquetés sont (0, 0), (a, s), (b, r ) et (d, q) avec
Algorithme
ENTREE un jeu non degenere
for all x sommet de P − 0 do
for all y sommet de Q − 0 do
if (x, y ) est complètement étiquetée then
(x/(1x), y /(1y )) est un équilibre
end if
end for
end for
SORTIE tous les équilibres du jeu
Complexité : (2.6)n
C’est un parcours alterné (une fois dans P une fois dans Q) d’un chemin k
presque totalement étiquetté.
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Exemple VI : Algorithme de Lemke Howson
x3
e y5
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Exemple VI : Algorithme de Lemke Howson
x3
e y5
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Exemple VI : Algorithme de Lemke Howson
x3
e y5
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Exemple VI : Algorithme de Lemke Howson
x3
e y5
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Exemple VI : Algorithme de Lemke Howson
x3
e y5
d 1 q
1/6 p
3
2 r
2 5
4
0 1
c x2
5
4 3 0 sy
4
a b 1/3
x1
Déroulement Algo
1 Départ (0, 0).
2 Label 2 enlevé dans P ⇒ prochain sommet c avec labels {1, 3, 5}
Paire (c, 0) labels : {1, 3, 5, 4, 5} ⇒ label 5 dupliqué.
3 Label 5 enlevé dans Q ⇒ prochain sommet p avec labels {3, 4}
Paire (c, p) labels : {1, 3, 5, 3, 4} ⇒ label 3 dupliqué.
4 Label 3 enlevé dans P ⇒ prochain sommet d avec labels {1, 4, 5}
Paire (d, p) labels : {1, 4, 5, 3, 4} ⇒ label 4 dupliqué.
5 Label 4 enlevé dans Q ⇒ prochain sommet q avec labels {2, 3}
Paire (d, q) labels : {1, 4, 5, 2, 3} ⇒ aucun label dupliqué.
6 (d, q) est un équilibre.
(GdT Eco Opti) Calcul E.N. Octobre 2010 20 / 27
Algorithme de Lemke Howson
Algorithme
ENTREE un jeu non degenere
Prendre un équilibre (x, y ) = (0, 0) ∈ P × Q
Prendre un label k ∈ M ∪ N et supprimer label k du sommet (x, y )
repeat
soit l etiquette supprimee
soit (x, y ) la paire de sommets consideree
on cherche paire (x 0 , y 0 ) t.q.
x 0 ou y 0 est extremite arete l-presque etiquettee partant de x ou y .
dans (x 0 , y 0 ) etiquette j est dupliquee
if j = k then
(x 0 , y 0 ) est un équilibre
else
Supprimer etiquette j
end if
until k = j
SORTIE UN equilibre du jeu
Lemme
Dans le polytope P × Q l’ensemble des sommets et arètes k presque
complètement étiquettés forment un graphe de degré au plus 2.
Corollaire :
Nombre équilibres est impair ((0, 0) est un pseudo équilibre)
Partant d’un équilibre on arrive forcément à un autre équilibre.
Mais
Partant de (0, 0) en enlevant des étiquettes différentes au début on arrive à
des équilibres différents. est-ce sûr ?.
Certains equilibres peuvent rester cachés (jeu symétriques par ex.), donc on
ne peut obtenir tous les équilibres par Lemke-Howson
Btx + s = 1 , r + Ay = 1 (4)
avec
x > 0, y > 0, r > 0, s>0
∀i ∈ M , xi ri = 0 et ∀j ∈ N , sj yj = 0. (5)
LCP
Un LCP consiste à trouver u, v , x et y tel que
u = A0 y − 1m u > 0, y >0
0t
v = B x − 1n v > 0, x >0
t t
x u+y v =0
FCLP
On cherche w et z tel que
A0
u x −1m 0
w= , z= , q= , M=
v y −1n B 0t 0
FLCP résolu par algo Lemke (Lemke seul est une généralisation de Lemke
Howson : la différence est principalement dans la phase d’init)