Vamos explorar a simetria para simplificar os cálculos.
O tabuleiro de xadrez e seus movimentos permanecem os mesmos quando o tabuleiro é refletido na vertical, na horizontal ou na diagonal. Isso decompõe seus nove quadrados em três tipos, suas órbitas sob esse grupo de simetria. Da mesma forma, cada rei pode estar em um dos três "estados": um quadrado de canto ( ), um quadrado de extremidade ( ) ou o quadrado central ("do meio") ( ). (Um estado ignora em que quadrado particular um rei está e rastreia apenas sua classe de equivalência no grupo de simetrias.)E MCEM
Os seguintes resultados são imediatos:
De um quadrado de canto, há duas transições para quadrados de aresta e uma transição para um quadrado do meio. Como as três transições são equiprobáveis,
Pr(C→E)=2/3,Pr(C→M)=1/3.
Isso fornece uma linha em uma matriz de transição para os estados .( C , E , H )(0,2/3,1/3)(C,E,M)
De um quadrado de aresta, há duas transições para quadrados de canto, duas para outros quadrados de aresta e uma para o quadrado do meio. Isso fornece uma segunda linha em uma matriz de transição.(2/5,2/5,1/5)
No quadrado do meio, existem quatro transições para quadrados de canto e quatro para quadrados médios. A terceira linha de uma matriz de transição é, portanto, .(4/8,4/8,0)=(1/2,1/2,0)
Neste gráfico que representa essa cadeia de Markov, as probabilidades de transição são representadas pela espessura e cor da aresta:
Por inspeção ou não, descobrimos que um vetor próprio esquerdo de sua matriz de transição
P=⎛⎝⎜⎜0251223251213150⎞⎠⎟⎟
é . Essa afirmação é facilmente verificada executando a multiplicação: O valor próprio manifestamente é . Como todos os estados estão conectados, fornece as probabilidades limitantes de cada rei estar em cada estado; precisamos apenas redimensionar seus componentes para somar à unidade: ω P = 1 ω . 1 ωω=(3,5,2)′ωP=1ω.1ω
ω=(ωC,ωE,ωM)=(3/10,5/10,2/10).
(É aqui que colhemos os benefícios de explorar a simetria: em vez de trabalhar com uma matriz de nove por nove de elementos, precisamos apenas calcular com uma matriz de três por três de elementos. A redução do problema de nove estados para três compensado quadraticamente, reduzindo o esforço computacional por um fator de )9 ( 9 / 3 ) 2 = 9819(9/3)2=9
A chance (limitadora) de que ambos os reis estejam em um estado de probabilidade (limitativa) é porque os reis se movem independentemente. A probabilidade de que ambas as reis estão na mesma célula é encontrado por condicionado no estado: por simetria, cada célula num determinado estado tem a mesma probabilidade limitando, por isso, se ambos os reis são encontrados num estado possuindo células, a chance de que eles ambos estão na mesma célula é . De onde a solução éω s ω 2 s s k s 1 / k ssωsω2ssks1/ks
∑s∈{C,E,M}ω2sks=(310)214+(510)214+(210)211=9400+25400+16400=18.