Exploitons la symétrie pour simplifier les calculs.
L'échiquier et ses mouvements restent les mêmes lorsque le plateau est réfléchi verticalement, horizontalement ou en diagonale. Cela décompose ses neuf carrés en trois types, leurs orbites sous ce groupe de symétrie. De façon correspondante, chaque roi peut être dans l'un des trois "états": un carré d'angle ( ), un carré de bord ( ) ou le carré central ("central") ( ). (Un état ignore quel carré particulier se trouve un roi et ne suit que sa classe d'équivalence sous le groupe de symétries.)CEM
Les résultats suivants sont immédiats:
À partir d'un carré d'angle, il y a deux transitions vers des carrés de bord et une transition vers un carré du milieu. Parce que les trois transitions sont équiprobables,
Pr(C→E)=2/3,Pr(C→M)=1/3.
Cela donne une ligne dans une matrice de transition pour les états .(0,2/3,1/3)(C,E,M)
D'un carré de bord, il y a deux transitions vers des carrés d'angle, deux vers d'autres carrés de bord et une vers le carré du milieu. Cela donne une deuxième ligne dans une matrice de transition.(2/5,2/5,1/5)
Du carré du milieu, il y a quatre transitions vers les carrés d'angle et quatre vers les carrés du milieu. La troisième ligne d'une matrice de transition est donc .(4/8,4/8,0)=(1/2,1/2,0)
Dans ce graphique représentant cette chaîne de Markov, les probabilités de transition sont représentées à la fois par l'épaisseur du bord et la couleur:
Par inspection ou autrement, nous constatons qu'un vecteur propre gauche de sa matrice de transition
P=⎛⎝⎜⎜0251223251213150⎞⎠⎟⎟
est . Cette affirmation est facilement vérifiée en effectuant la multiplication: La valeur propre est manifestement . Parce que tous les états sont connectés, donne les probabilités limitatives de chaque roi dans chaque état; il suffit de redimensionner ses composants pour résumer à l'unité:ω=(3,5,2)′ωP=1ω.1ω
ω=(ωC,ωE,ωM)=(3/10,5/10,2/10).
(C'est là que nous récoltons les avantages de l'exploitation de la symétrie: au lieu de travailler avec une matrice de neuf par neuf de éléments, nous n'avons qu'à calculer avec une matrice de trois par trois de éléments. La réduction du problème de neuf états à trois payé de façon quadratique en réduisant l'effort de calcul d'un facteur )819(9/3)2=9
La probabilité (limite) que les deux rois soient dans un état de probabilité (limite) est parce que les rois se déplacent indépendamment. La chance que les deux rois soient dans la même cellule est trouvée en conditionnant l'état: par symétrie, chaque cellule dans un état donné a la même probabilité limite, donc si les deux rois se trouvent dans un état ayant cellules, la chance qu'ils sont tous deux dans la même cellule est . D'où vient la solutionsωsω2ssks1/ks
∑s∈{C,E,M}ω2sks=(310)214+(510)214+(210)211=9400+25400+16400=18.