Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn...

99
Tema 4: Cadenas de Markov Ezequiel López Rubio Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga

Transcript of Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn...

Page 1: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Tema 4: Cadenas de Markov

Ezequiel López RubioDepartamento de Lenguajes y

Ciencias de la ComputaciónUniversidad de Málaga

Page 2: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Sumario

Procesos estocásticosConcepto de cadena de MarkovEcuaciones de Chapman-KolmogorovClasificación de estadosCadenas absorbentesDistribución estacionaria

Page 3: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

Page 4: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

Un sistema informático complejo se caracteriza por demandas de carácter aleatorio y por ser dinámicoNecesitamos una herramienta que modele procesos aleatorios en el tiempo, y para ello usaremos los procesos estocásticosUn proceso estocástico es una familia de variables aleatorias parametrizadas por el tiempo

Page 5: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

Un proceso estocástico es una familia de variables aleatorias definida sobre un espacio de probabilidad. Es decir:

TtX t ∈ℜ→Ω ,:

( ) ( )tXX t ,ωωω =→

Page 6: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

Tendremos que X es una función de dos argumentos. Fijado ω=ω0, obtenemos una función determinista (no aleatoria):

( ) ℜ→⋅ TX :, 0ω

( )0,ωtXt →

Page 7: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

Asimismo, fijado t=t0, obtenemos una de las variables aleatorias de la familia:

( ) ℜ→Ω⋅ :,0tX

( )ωω ,0tX→

Page 8: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Procesos estocásticos

El espacio de estados S de un proceso estocástico es el conjunto de todos los posibles valores que puede tomar dicho proceso:

( ) Ω∈∧∈= ωω TtXS t |

Page 9: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

Lanzamos una moneda al aire 6 veces. El jugador gana 1 € cada vez que sale cara (C), y pierde 1 € cada vez que sale cruz (F).Xi = estado de cuentas del jugador después de la i-ésima jugadaLa familia de variables aleatorias X1, X2,…, X6 constituye un proceso estocástico

Page 10: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

Ω=CCCCCC,CCCCCF,…card(Ω) = 26 = 64P(ω)=1/64 ∀ ω∈ΩT=1, 2, 3, 4, 5, 6S=–6, –5, …, –1, 0, 1, 2, …, 5, 6X1(Ω)=–1, 1X2(Ω)=–2, 0, 2

Page 11: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

Si fijo ω, por ejemplo ω0=CCFFFC, obtengo una secuencia de valores completamente determinista:X1(ω0)=1, X2(ω0)=2, X3(ω0)=1, X4(ω0)=0, X5(ω0)= –1, X6(ω0)=0Puedo dibujar con estos valores la trayectoria del proceso:

Page 12: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

-2

-1

0

1

2

3

1 2 3 4 5 6

Instante de tiempo, t

Valo

r del

pro

ceso

Page 13: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

Si fijo t, por ejemplo t0=3, obtengo una de las variables aleatorias del proceso:

ℜ→Ω:3X

( )ωω 3X→

Los posibles valores que puede tomar el proceso en t0=3 son: X3(Ω)=–3, –1, 1, 3

Page 14: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de proceso estocástico

Podemos hallar la probabilidad de que el proceso tome uno de estos valores:[ ] [ ] [ ] [ ]

83

21

21

213FCCPCCFP CFCP 1)(XP 3 =⋅⋅⋅=++==ω

[ ] [ ]81

21

21

21CCCP 3)(XP 3 =⋅⋅===ω

[ ] [ ] [ ] [ ]83

21

21

213CFFPFFCP FCFP 1)(XP 3 =⋅⋅⋅=++=−=ω

[ ] [ ]81

21

21

21FFFP 3)(XP 3 =⋅⋅==−=ω

Page 15: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Clasificación de los procesos estocásticos

Proceso continuoProceso puntualT continuo

Sucesión de variables aleatorias continuas

CadenaT discreto

S continuoS discreto

Page 16: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos de los tipos de procesos estocásticos

Cadena: Ejemplo anteriorSucesión de variables aleatorias continuas: cantidad de lluvia caída cada mesProceso puntual: Número de clientes esperando en la cola de un supermercadoProceso continuo: velocidad del viento

Page 17: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Funciones asociadas a los procesos estocásticos

Función de distribución de primer orden:

[ ]1,0: 2 →ℜF

( ) ( ) ( )[ ]xtXPtxFtx ≤=→ ω,,,

( ) ( )x

txFtxf∂

∂=

,,

Función de densidad de primer orden:

Page 18: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Funciones asociadas a los procesos estocásticos

Función de distribución de 2º orden:[ ]1,0: 4 →ℜF

( ) ( ) ( )( ) ( )( )[ ]221121212121 ,,,,,,,, xtXxtXPttxxFttxx ≤∧≤=→ ωω

( ) ( )21

21212

2121,,,,,,

xxttxxFttxxf

∂∂∂

=

Función de densidad de 2º orden:

Page 19: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Funciones asociadas a los procesos estocásticos

Función valor medio (es determinista):ℜ→Tm :

[ ]tXEt →

Función varianza (es determinista):

ℜ→T:2σ

( )tXt var→

Page 20: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Concepto de cadena de Markov

Page 21: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas de MarkovLas cadenas de Markov y los procesos de Markov son un tipo especial de procesos estocásticos que poseen la siguiente propiedad:Propiedad de Markov: Conocido el estado del proceso en un momento dado, su comportamiento futuro no depende del pasado. Dicho de otro modo, “dado el presente, el futuro es independiente del pasado”

Page 22: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas de MarkovSólo estudiaremos las cadenas de Markov, con lo cual tendremos espacios de estados S discretos y conjuntos de instantes de tiempo T también discretos, T=t0, t1, t2,…Una cadena de Markov (CM) es una sucesión de variables aleatorias Xi, i∈N, tal que:

⎥⎦⎤

⎢⎣⎡ ==⎥⎦

⎤⎢⎣⎡ = ++

t

t

t

tX

jXPXXXjXP 1

10

1,...,,

que es la expresión algebraica de la propiedad de Markov para T discreto.

Page 23: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Probabilidades de transiciónLas CM están completamente caracterizadas por las probabilidades de transición en una etapa,

TtSjiiXjXP

t

t ∈∈⎥⎦⎤

⎢⎣⎡

==+ ,,,1

Sólo trabajaremos con CM homogéneas en el tiempo, que son aquellas en las que

ijt

t qiXjXPTtSji =⎥⎦

⎤⎢⎣⎡

==∈∀∈∀ +1,,

donde qij se llama probabilidad de transición en una etapa desde el estado i hasta el estado j

Page 24: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Matriz de transición

Los qij se agrupan en la denominada matriz de transición de la CM:

( )Sjiijq

qqqqqqqqq

Q∈

=

⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

=,

222120

121110

020100

............

...

...

...

Page 25: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Propiedades de la matriz de transición

Por ser los qij probabilidades,

[ ]1,0,, ∈∈∀ ijqSji

Por ser 1 la probabilidad del suceso seguro, cada fila ha de sumar 1, es decir,

1, =∈∀ ∑∈Sj

ijqSi

Una matriz que cumpla estas dos propiedades se llama matriz estocástica

Page 26: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Diagrama de transición de estados

El diagrama de transición de estados (DTE) de una CM es un grafo dirigido cuyos nodos son los estados de la CM y cuyos arcos se etiquetan con la probabilidad de transición entre los estados que unen. Si dicha probabilidad es nula, no se pone arco.

i jqij

Page 27: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: línea telefónica

Sea una línea telefónica de estados ocupado=1 y desocupado=0. Si en el instante t está ocupada, en el instante t+1 estará ocupada con probabilidad 0,7 y desocupada con probabilidad 0,3. Si en el instante t está desocupada, en el t+1 estará ocupada con probabilidad 0,1 y desocupada con probabilidad 0,9.

Page 28: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: línea telefónica

⎟⎟⎠

⎞⎜⎜⎝

⎛=

7,03,01,09,0

Q

0 10,9

0,1

0,3

0,7

Page 29: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: buffer de E/SSupongamos que un buffer de E/S tiene espacio para M paquetes. En cualquier instante de tiempo podemos insertar un paquete en el buffer con probabilidad α o bien el buffer puede vaciarse con probabilidad β. Si ambos casos se dan en el mismo instante, primero se inserta y luego se vacía.Sea Xt=nº de paquetes en el buffer en el instante t. Suponiendo que las inserciones y vaciados son independientes entre sí e independientes de la historia pasada, Xt es una CM, donde S=0, 1, 2, …, M

Page 30: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: buffer de E/S

0 1 2 3α(1–β) α(1–β) α(1–β)

1–α–β+αβ 1–α–β+αβ 1–α–β+αβ

β β β

1–α(1–β)

… M

1–βα(1–β)

β

Page 31: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: Lanzamiento de un dado

Se lanza un dado repetidas veces. Cada vez que sale menor que 5 se pierde 1 €, y cada vez que sale 5 ó 6 se gana 1 €. El juego acaba cuando se tienen 0 € ó 100 €.Sea Xt=estado de cuentas en el instante t. Tenemos que Xt es una CMS=0, 1, 2, …, 100

Page 32: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: Lanzamiento de un dado

0 1 2 32/3

1

4 5…

2/32/32/32/3 2/3

1/3 1/3 1/3 1/3

≥100999897

1

2/3 2/3

1/31/3

2/3

1/31/3

1/3………

Page 33: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: organismos unicelulares

Se tiene una población de organismos unicelulares que evoluciona así: cada organismo se duplica con probabilidad 1–p o muere con probabilidad p. Sea Xn el nº de organismos en el instante n. La CM Xn tendrá S = 0, 1, 2, 3, … = NSi hay i organismos en el instante n, en el instante n+1 tendremos k organismos que se dupliquen e i–k que mueran, con lo que habrá 2k organismos.

Page 34: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo: organismos unicelulares

Mediante la distribución binomial podemos hallar las probabilidades de transición qi,2k(el resto de probabilidades son nulas):

( ) kikki pp

ki

qik −−⎟⎟⎠

⎞⎜⎜⎝

⎛=∈∀ 1,,...,2,1,0 2,

Page 35: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ecuaciones de Chapman-Kolmogorov

Page 36: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ecuaciones de Chapman-Kolmogorov

Teorema: Las probabilidades de transición en n etapas vienen dadas por la matriz Qn:

)(,, nij

t

nt qiXjXPSji =⎥⎦

⎤⎢⎣⎡

==∈∀ +

Demostración: Por inducción sobre nCaso base (n=1). Se sigue de la definición de qij

Page 37: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ecuaciones de Chapman-Kolmogorov

Hipótesis de inducción. Para cierto n, suponemos cierta la conclusión del teorema.Paso inductivo (n+1). Para cualesquiera i,j∈S,

( ) ( ) =⎥⎦⎤

⎢⎣⎡

==∧==⎥⎦

⎤⎢⎣⎡

== ∑

+++++

Sk t

ntnt

t

ntiX

jXkXPiXjXP 11

==⎥⎦⎤

⎢⎣⎡

==

⎥⎦⎤

⎢⎣⎡

===∑

∈ +

+++ ..1 IHkXjXPiX

kXPSk nt

nt

t

nt

( ) ( ) ( )11 +

∈∈ +

++ ==⎥⎦⎤

⎢⎣⎡

=== ∑∑ n

ijSk

kjn

ikSk nt

ntnik qqqkX

jXPq

Page 38: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ecuaciones de Chapman-Kolmogorov

Por este teorema sabemos que la probabilidad de transitar de i hasta j en n pasos es el elemento (i,j) de Qn. Para evitar computaciones de potencias elevadas de matrices, se intenta averiguar el comportamiento del sistema en el límite cuando n→∞, llamado también comportamiento a largo plazoA continuación estudiaremos esta cuestión

Page 39: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Clasificación de estados

Page 40: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Clasificación de estadosProbabilidad de alcanzar un estado:

⎥⎦⎤

⎢⎣⎡

=>==∈∀ iX

njXPSji nij

0

0algún para ,, ν

Diremos que un estado j∈S es alcanzable desde el estado i∈S sii νij≠0. Esto significa que existe una sucesión de arcos (camino) en el DTE que van desde i hasta j.Un estado j∈S es absorbente sii qjj=1. En el DTE,

j1

Page 41: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Subconjuntos cerrados

Sea C⊆S, con C≠∅. Diremos que C es cerrado sii ∀i∈C ∀j∉C, j no es alcanzable desde i, o lo que es lo mismo, νij=0. En particular, si C=i, entonces i es absorbente. S siempre es cerrado.Un subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto propio cerrado

Page 42: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Estados recurrentes y transitorios

Si S es irreducible, se dice que la CM es irreducible. En el DTE, esto ocurre sii dados i,j cualesquiera, j es alcanzable desde iDiremos que un estado j∈S es recurrente siiνjj=1. En otro caso diremos que j es transitorio. Se demuestra que una CM sólo puede pasar por un estado transitorio como máximo una cantidad finita de veces. En cambio, si visitamos un estado recurrente, entonces lo visitaremos infinitas veces.

Page 43: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Estados recurrentes y transitorios

Proposición: Sea C⊆S cerrado, irreducible y finito. Entonces ∀i∈C, i es recurrenteEjemplos: La CM de la línea telefónica es irreducible. Como además es finita, todos los estados serán recurrentes. Lo mismo ocurre con el ejemplo del bufferEjemplo: En el lanzamiento del dado, tenemos los subconjuntos cerrados 0, ≥100, con lo que la CM no es irreducible. Los estados 0 y ≥100 son absorbentes, y el resto son transitorios

Page 44: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Estados recurrentes y transitorios

Proposición: Sea i∈S recurrente, y sea j∈S un estado alcanzable desde i. Entonces j es recurrente.Demostración: Por reducción al absurdo, supongamos que j es transitorio. En tal caso, existe un camino A que sale de j y nunca más vuelve. Por ser j alcanzable desde i, existe un camino B que va desde i hasta j. Concatenando el camino B con el A, obtengo el camino BA que sale de i y nunca más vuelve. Entonces i es transitorio, lo cual es absurdo porque contradice una hipótesis.

Page 45: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas recurrentes y transitorias

Proposición: Sea X una CM irreducible. Entonces, o bien todos sus estados son recurrentes (y decimos que X es recurrente), o bien todos sus estados son transitorios (y decimos que X es transitoria).Ejemplo: Estado de cuentas con un tío rico (fortunes with the rich uncle). Probabilidad p de ganar 1 € y 1–p de perder 1 €. Cuando me arruino, mi tío me presta dinero para la próxima tirada:

Page 46: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas recurrentes y transitorias

0 1

p

2

1–p

3…

…p p p

1–p 1–p 1–p 1–p

p

n+1

1–p

p p

1–p 1–p

n…

Page 47: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas recurrentes y transitorias

Esta cadena es irreducible e infinita. Se demuestra que es transitoria sii p>0,5 y recurrente en otro caso (p≤0,5)La cadena es transitoria cuando la “tendencia global” es ir ganando dinero. Esto implica que una vez visitado un estado, al final dejaremos de visitarlo porque tendremos más dinero.

Page 48: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

PeriodicidadSea j∈S tal que νjj>0. Sea

( ) 0|0 >−∈= njjqnmcdk N

Si k>1, entonces diremos que j es periódico de periodo k. El estado j será periódico de periodo k>1 sii existen caminos que llevan desde j hasta j pero todos tienen longitud mk, con m>0

Page 49: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

PeriodicidadEjemplo: En la siguiente CM todos los estados son periódicos de periodo k=2:

…Ejemplo: En la siguiente CM todos los estados son periódicos de periodo k=3:

Page 50: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Periodicidad

Proposición: Sea X una CM irreducible. Entonces, o bien todos los estados son periódicos de periodo k (y decimos que X es periódica de periodo k), o bien ningún estado es periódico (y decimos que X es aperiódica)En toda CM periódica de periodo k, existe una partición Π de S, Π=A1, A2, …, Ak, de tal manera que todas las transiciones van desde Ai hasta A(i mod k)+1

Page 51: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Periodicidad

Ejemplo de CM periódica de periodo k=3:

A1 A2

A3

Page 52: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas ergódicasSea X una CM finita. Diremos que X es ergódicasii es irreducible, recurrente y aperiódicaEjemplo: Analizar la siguiente CM, con S=a, b, c, d, e:

⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜

=

31

31

31

41

21

41

32

31

43

41

21

21

0000

000000000

Q

Page 53: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

1º Dibujar el DTE:

d

b c

e

a

1/4

1/4

3/41/2

1/4

1/21/2

1/3

1/3

1/3 2/3

1/3

Page 54: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

2º Hallar los conjuntos cerradosTomado un estado i, construimos un conjunto cerrado Ci con todos los alcanzables desde él en una o más etapas (el propio i también se pone):Ca=a, c, e=Cc=Ce

Cb=b, d, a, c, e=Cd=SLa CM no será irreducible, ya que Ca es un subconjunto propio cerrado de S

Page 55: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos3º Clasificar los estados

Recurrentes: a, c, eTransitorios: b, dPeriódicos: ningunoAbsorbentes: ninguno

4º Reorganizar Q. Dada una CM finita, siempre podemos agrupar los estados recurrentes por un lado y los transitorios por otro, y hacer:

⎟⎟⎟⎟

⎜⎜⎜⎜

=

ostransitoris entreMovimiento

tesa recurrenansitoriosPaso de tr

srecurrentes entreMovimiento

Q0

Page 56: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEn nuestro caso, la nueva ordenación de S es

S=a, c, e, b, d, con lo que obtenemos:

⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜

=

41

21

41

43

41

31

31

31

32

31

21

21

00000

00000000

Q

5º Clasificar la cadena. No es irreducible, con lo cual no será periódica, ni aperiódica, ni recurrente, ni transitoria ni ergódica.

Page 57: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

Ejemplo: Analizar la siguiente CM, con S=a, b, c, d, e, f, g:

⎟⎟⎟⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜⎜⎜⎜

=

100000003,007,000000001000100000002,00008,004,04,0002,000000100

Q

Page 58: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

1º Dibujar el DTE:

a

e

c

b

f

d

g10,8 1

0,2

0,4

0,2

0,40,7

0,3

1

1

Page 59: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

2º Hallar los conjuntos cerradosCa=a, c, e=Cc=Ce

Cf=f, d=Cd

Cg=gS

3º Clasificar los estadosRecurrentes: a, c, d, e, f, gTransitorios: bPeriódicos: a, c, e (todos de periodo 2)Absorbentes: g

Page 60: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos4º Reorganizar Q. Cuando hay varios conjuntos cerrados e irreducibles de estados recurrentes (por ejemplo, n conjuntos), ponemos juntos los estados del mismo conjunto:

⎟⎟⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜⎜⎜

=

ZZZZZP

PP

P

Q

n

n

321

3

2

1

0...000..................00...0000...0000...00

Page 61: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEn nuestro caso, reordenamos S=a, c, e, d, f, g,

b y obtenemos:

⎟⎟⎟⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜⎜⎜⎜

=

2,004,004,0000100000003,07,00000010000000001000002,008,00000010

Q

Page 62: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos5º Clasificar la cadena. No es irreducible, con lo cual no será periódica, ni aperiódica, ni recurrente, ni transitoria ni ergódica.Ejemplo: Número de éxitos al repetir indefinidamente una prueba de Bernouilli(probabilidad p de éxito). No es CM irreducible, porque por ejemplo C1=1, 2, 3, … es cerrado. Todos los estados son transitorios.

0 1 2 3 …p

1–p

p p p

1–p 1–p 1–p

Page 63: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEjemplo: Recorrido aleatorio. Es una CM irreducible y periódica de periodo 2. Se demuestra que si p≤q, todos los estados son recurrentes, y que si p>q, todos son transitorios.

0 1

1

2

q

3…

…p p p

q q q

Page 64: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es irreducible, recurrente y periódica de periodo 3. No es ergódica.

Page 65: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es irreducible, aperiódica, recurrente y ergódica.

Page 66: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es irreducible, aperiódica, recurrente y ergódica

Page 67: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es irreducible, aperiódica, recurrente y ergódica

Page 68: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es irreducible, aperiódica, recurrente y ergódica

Page 69: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM no es irreducible, y por tanto no es de ninguno de los demás tipos. 1 y 4 son recurrentes; 2 y 3 son transitorios.

1

4 3

2

Page 70: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM no es irreducible, y por tanto no es de ninguno de los demás tipos. Todos los estados son recurrentes y ninguno es periódico.

Page 71: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

La siguiente CM es irreducible, recurrente y periódica de periodo 3. No es ergódica.

Page 72: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM no es irreducible, y por tanto no es de ninguno de los demás tipos. Ningún estado es periódico. 4 es transitorio, y el resto recurrentes. 1 es absorbente.

1

4

2

3

Page 73: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM no es irreducible, y por tanto no es de ninguno de los demás tipos. Ningún estado es periódico. 4 y 5 son transitorios, y el resto recurrentes. 3 es absorbente.

1

5

2

4

3

Page 74: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM es no es irreducible, y por tanto tampoco de ninguno de los demás tipos. 4 es absorbente, y el resto son transitorios.

1

4 3

2

Page 75: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosLa siguiente CM no es irreducible y por tanto no es de ninguno de los demás tipos. 1,3 y 5 son recurrentes de periodo 3. 2 y 6 son recurrentes, pero no periódicos. 4 es transitorio.

1

6

2

5 4

3

Page 76: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Cadenas absorbentes

Page 77: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Concepto de cadena absorbente

Sea X una CM cuyos estados son todos transitorios o absorbentes. En tal caso diremos que X es absorbente.Si X es finita y absorbente, reordenamos S poniendo primero los estados transitorios y obtenemos:

⎟⎟⎠

⎞⎜⎜⎝

⎛=

IRQ

Q0

'

Page 78: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Resultados sobre cadenas absorbentes

Proposición: El número medio de etapas que se estará en el estado transitorio j∈S antes de la absorción, suponiendo que empezamos en el estado transitorio i∈S, viene dado por el elemento (i,j) de (I–Q’)–1

Nota: La etapa inicial también se cuenta, es decir, en la diagonal de (I–Q’)–1 todos los elementos son siempre mayores o iguales que 1

Page 79: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Resultados sobre cadenas absorbentes

Proposición: La probabilidad de ser absorbido por un estado absorbente j∈S, suponiendo que empezamos en el estado transitorio i∈S, viene dada por el elemento (i,j) de la matriz (I–Q’)–1 R, que se denomina matriz fundamental de la CM

Page 80: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de CM absorbenteEn un juego participan dos jugadores, A y B. En cada turno, se lanza una moneda al aire. Si sale cara, A le da 1 € a B. Si sale cruz, B le da 1 € a A. Al principio, A tiene 3 € y B tiene 2 €. El juego continúa hasta que alguno de los dos se arruine. Calcular:

La probabilidad de que A termine arruinándose.La probabilidad de que B termine arruinándose.El número medio de tiradas que tarda en acabar el juego.

Page 81: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de CM absorbenteTendremos una CM con un estado por cada posible estado de cuentas de A: S=1, 2, 3, 4, 5, 0. Descomponemos Q:

⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

=

05,0005,005,00

05,005,0005,00

'Q

⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

=

05,000005,00

R⎟⎟⎟⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜⎜⎜⎜

=

10000001000005,005,000005,005,000005,005,05,00005,00

Q

Page 82: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de CM absorbente

Realizamos los cálculos necesarios:

( )⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

=

⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

−−−

−−−

=−

6,12,18,04,02,14,26,18,08,06,14,22,14,08,02,16,1

15,0005,015,00

05,015,0005,01

'

1

1QI

( )⎟⎟⎟⎟⎟

⎜⎜⎜⎜⎜

=− −

2,08,04,06,06,04,08,02,0

' 1 RQI

Page 83: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de CM absorbenteProbabilidad de que A termine arruinándose.

La ruina de A está representada por el estado 0, que es el 2º estado absorbente. Como empezamos en el 3er estado transitorio (A empieza con 3 €), debemos consultar la 3ª fila, 2ª columna de (I–Q’)–1R, que nos da una probabilidad de 0,4 de que A empiece con 3 € y termine en la ruina.

Probabilidad de que B termine arruinándoseComo es el suceso contrario del apartado a), su probabilidad será 1–0,4=0,6. También podríamos haber consultado la 3ª fila, 1ª columna de (I–Q’)–1R.

Page 84: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplo de CM absorbenteNúmero medio de tiradas que tarda en acabar el juego

Sumamos los números medios de etapas que se estará en cualquier estado transitorio antes de la absorción, suponiendo que empezamos en el 3er estado transitorio. Dichos números medios son los que forman la 3ª fila de la matriz (I–Q’)–1. El promedio es: 0,8+1,6+2,4+1,2=6 tiradas.

Nota: si observamos la 1ª columna de (I–Q’)–1R,vemos que los valores van creciendo. Esto se debe a que, cuanto más dinero tenga al principio A, más probabilidad tiene de ganar el juego.

Page 85: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Distribución estacionaria

Page 86: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Concepto de distribución estacionaria

Teorema: Sea X una CM irreducible, aperiódicay recurrente. Entonces,

( )nij

nj qlímpSj

∞→=∃∈∀ ,

Diremos que una CM alcanza la distribución estacionaria sii existen los límites del teorema anterior y además se cumple que:

∑∈

=Sj

jp 1

Page 87: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Existencia de la distribución estacionaria

Teorema: Sea X finita y ergódica. Entonces la distribución estacionaria existe y viene dada por la solución de las siguientes ecuaciones:

∑∈

=∈∀Si

ijij qppSj ,

∑∈

=Sj

jp 1

Este teorema no sólo dice cuándo existe distribución estacionaria (en los casos finitos), sino que además nos dice cómo calcularla.

Page 88: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Nomenclatura para las ecuaciones

A las primeras ecuaciones del teorema se les llama ecuaciones de equilibrio, porque expresan que lo que “sale” de j (izquierda) es igual a lo que “entra” en j (derecha):

∑∑∈∈

=Si

ijiSi

jij qpqp

A la última ecuación se le llama ecuación normalizadora, ya que obliga a que el vector formado por los pj esté normalizado (en la norma 1)

Page 89: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEjemplo: Hallar la distribución estacionaria (si existe) del ejemplo de la línea telefónica.

0 10,9

0,1

0,3

0,7

1º Comprobar que la CM es finita y ergódica, para así saber que existe la distribución estacionaria. Lo es, con lo cual dicha distribución existe.

Page 90: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

O lo que es más fácil,

⎟⎟⎠

⎞⎜⎜⎝

⎛==

1

0,pp

pdondepQp T rrr

3º Plantear la ecuación normalizadora:

110 =+ pp

2º Plantear las ecuaciones de equilibrio (una por nodo):

100 3,09,0:0 pppNodo +=

101 7,01,0:1 pppNodo +=

Page 91: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos4º Resolver el sistema. Hay dos métodos:

Utilizar un algoritmo estándar de sistemas de ecuaciones lienales para resolver todas las ecuaciones conjuntamente, por ejemplo, Gauss. El sistema debe tener solución única. En nuestro caso,

25,0;75,0 10 == pp

Page 92: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

La solución verdadera será de la forma (3k,k)T. Aplicando la normalizadora,

25,013 =⇒=+ kkkCon lo cual la solución verdadera es (0’75,0’25)T

Encontrar una solución cualquiera de las ecuaciones de equilibrio. Para ello le daremos un valor no nulo a nuestra elección a una sola de las incógnitas. Una vez conseguida esa solución, la solución verdadera será un múltiplo de ella (usaremos la normalizadora). En nuestro caso, haciendo p1=1,

33,09,0 000 =⇒+= ppp

Page 93: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEjemplo: Hallar, si existe, la distribución estacionaria para esta CM con S=1, 2, 3:

⎟⎟⎟

⎜⎜⎜

⎛=

6,04,004,006,02,05,03,0

Q

Page 94: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

1

3 2

1º Dibujamos el DTE y así comprobamos más fácilmente que la CM es finita y ergódica:

Page 95: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos2º y 3º Planteamos las ecuaciones:

⎟⎟⎟

⎜⎜⎜

⎟⎟⎟

⎜⎜⎜

⎛=

⎟⎟⎟

⎜⎜⎜

3

2

1

3

2

1

6,04,02,04,005,0

06,03,0

ppp

ppp

1321 =++ ppp

4º Resolvemos. Para ello fijamos p1=1 y hallamos una solución para las ecuaciones de equilibrio:

Page 96: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

6,07,06,03,01 22 =⇒+= pp

6,01

4,06,03,07,04,05,0

6,07,0

33 =⋅−

=⇒+= pp

( )TT

kkk λλλ ,7'0,6'06'0

1,6'07'0, =⎟

⎠⎞

⎜⎝⎛

Por tanto la solución verdadera será de la forma:

Normalizamos y obtenemos la solución verdadera:

3'2117'06'0 =⇒=++ λλλλ

( )T

T ⎟⎠⎞

⎜⎝⎛=

2310,

237,

236,7'0,6'0 λλλ

Page 97: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

EjemplosEjemplo: Hallar la distribución estacionaria, si existe, en el ejemplo del buffer.1º Ya vimos que la CM es finita y ergódica2º y 3º Planteamos las ecuaciones de equilibrio nodo a nodo y expresándolas como “salidas”=“entradas” (usar QT sería más difícil):

( ) 021 1...:0 ppppNodo M βαβββ −=+++

( ) ( ) ( ) iii pppMiiNodo βαββα −+=−−∈ − 11:1,...,2,1 1

( ) MM ppMNodo ββα =− −11:

Page 98: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos4º Podemos despejar pi en la ecuación de cada

nodo i, y así observamos que los pi forman una progresión geométrica, cuya razón llamaremos γ:

( )( ) 111

1,1,...,2,1 −− =−+

−=−∈∀ iii pppMi γ

βαββα

0,1,...,1,0 ppMi ii γ=−∈∀⇒

Page 99: Tema 4: Cadenas de Markov - lcc.uma.esezeqlr/ios/Tema4.pdf · zPaso inductivo (n+1). ... zUn subconjunto cerrado C⊆S se dice que es irreducible sii no contiene ningún subconjunto

Ejemplos

( )βαββ−+

=10p

0,1,...,1 ppMi ii γ=−∈∀

Usando la suma de los M–1 primeros términos de una sucesión geométrica y la ecuación normalizadora, llegamos a la solución:

( )0

11 ppM

M βγβα −−

=