Vous êtes sur la page 1sur 8

ALGORITMI DE DESCOMPUNERE A MATRICEI

DE TRANSFER A SISTEMELOR ALEATOARE


DISCRETE
Alexandru LAZARI,
drd., USM
ABSTRACT
A fost cercetat matricea probabilitilor de transfer n
t

uniti de timp a sistemelor aleatoare discrete. Sunt expui
doi algoritmi de descompunere a acestei matrici n raport
cu valorile proprii ale matricei de trecere. n ipoteza
cunoaterii acestor valori proprii complexitatea
algoritmilor este polinomial. Algoritmii elaborai sunt o
generalizare a metodei de determinare a matricei
probabilitilor limit de transfer obinut n [3].
Cuvinte cheie: Sistem aleator discret unitar, Matrice de
transfer, Matrice a probabilitilor limit de transfer,
Descompunere n raport cu valorile proprii, ir recurent
liniar omogen.
1. Formularea problemei
Considerm sistemul aleator discret L cu mulimea finit de stri X
) = ( n X
i timpul de transfer unitar. Fie
n j i
ij
p P
1, = ,
) ( =
matricea de
trecere a sistemului L. Matricea de transfer a sistemului n
t
uniti de
timp este 0 , = ) ( t P t P
t
.
Conform formulelor
(6)
i
(7)
n [3] s-a obinut faptul c elementele
matricei
) (t P
satisfac relaia
, 1, = , )), ( ( > ), ( = ) (
, , ,
1 ) (
0 = \
,
n j i z B deg t y
y
t
t p
j i k j i
t
k y m
k y
j i


D C
unde
0} | | | { = zP I z C D
,
C ) ( y
ijk

,
D C\ y
, 1 ) ( 0, = y m k ,
) ( y m
multiplicitatea rdcinii
y
a polinomului
| =| ) ( zP I z
, iar
) (z B
ij
este un polinom de grad ce nu ntrece n j i n 1, = , 1, .
119
Notnd
1 ) ( 0, = , \ , )) ( ( = ) (
1, = ,
y m k y y y
n j i
ijk k
D C
, obinem
formula
. ), ( = ) (
1 ) (
0 = \
n t y
y
t
t P
k
t
k y m
k y


D C
(1)
Menionm c n [3] a fost demonstrat de asemenea c mulimea D C\
este format din inversele valorilor proprii nenule ale matricei P ,
multiplicitatea fiecrui element al ei fiind egal cu cea a valorii proprii
corespunztoare. Deci, relaia
(1)
reprezint descompunerea matricei de
transfer
) (t P
n raport cu valorile proprii ale matricei P . Se pune
problema determinrii matricelor-coeficieni
) ( y
k

.
2. Algoritmul bazat pe teoria recurenelor liniare omogene
Acest algoritm se bazeaz pe teoria irurilor recurent liniare omogene.
O mic introducere n aceast tematic a fost realizat n [4]. Vom marca
cu * mulimile ce se refer att la recurenele nedegenerate, ct i la cele
degenerate ( ] ][ [
*
m K Rol , ] [
*
K Rol , ) ]( ][ [
*
a m K G , ) ]( [
*
a K G ,
) ]( ][ [
*
a m K H , ) ]( [
*
a K H ). Enunm dou proprieti eseniale:
Proprietate 1. Fie
] ][ [ m K Rol a
,
) ]( ][ [ a m K G q
,

k
s
k
p
k
q
m
z z z H ) ( = ) (
1
0 =
] [
,

,
j i z z
j i
,
.
Atunci N

n B I a
T a
n
T a a
m n
, ) ( ) ) (( =
] [ 1 ] [ ] [
, unde
1 0, = , 1 0, =
] [
=

,
`

.
|
k
s j p k
i
k
ij
a
i
z

,
1
0 =
] [ ] [
2 2
) ( = , ,
0 = = , 1
0 ,
=

'

+
m
i
a
i
a
j
ij
B i
j i
j i i
N
;
Proprietate 2. Dac
a
este un ir matriceal,
] )][ ( [ m K M Rol a
n

cu
vectorul generator
) ]( )][ ( [ a m K M G q
n

, atunci ] ][ [
*
mn K Rol a cu
polinomul caracteristic ) ]( ][ [ | ) ( |
* ] [
a mn K H z zG I
q
m
.
120
Este evident faptul c irul

0 =
)) ( ( =
t
t P a este 1-recurent liniar
omogen cu vectorul generator
) (P q
. Aplicnd Proprietatea 2 formulat
mai sus, se obine ] ][ [
*
n Rol a R i ) ]( ][ [ ) (
*
a n H z R , adic irul
matriceal
] ][ [ )) ( ( =
=
r Rol t P a
r n t
R

cu polinomul caracteristic
) ]( ][ [ ) ( a r H z R
, unde
) ( deg z r
. Aplicnd n continuare Proprietatea 1,
a fost obinut urmtorul algoritm de descompunere a matricei de transfer
) (t P
:
Algoritm 1. Descompunerea matricei de transfer.
Date de intrare: matricea de transfer P .
Date de ieire: matricele-coeficieni ) 1 ) ( 0, = , \ ( ) ( y m k y y
k
D C .
1) Se calculeaz coeficienii polinomului
zP I z ) (
n baza
polinomului caracteristic al matricei P . n [3] a fost prezentat un
algoritm bazat pe metoda Leverrier ([5]) care poate fi aplicat n
acest context;
2) Se rezolv ecuaia
0 = ) (z
n mulimea numerelor complexe C
utiliznd o metod numeric eficient. Astfel, se obine mulimea
soluiilor D C\ ;
3) Dac multiplicitile soluiilor obinute nu sunt deja cunoscute,
acestea pot fi determinate conform schemei Horner prin divizarea
consecutiv de cte ori este posibil a polinomului
) (z
la
binoamele
) ( y z
,
D C\ y
. Multiplicitatea
) ( y m
a fiecrei
soluii
D C\ y
va fi egal cu numrul de divizri efectuate la
binomul corespunztor;
4) Se determin
1 , 0
) (

r t
t
B
, unde
1 ) ( , 0
, \

,
`

.
|

y m k
D C y
t
k
t
y
t

, 1 , 0 r t
,
1 0
0
def

.
5) Aplicnd o metod numeric eficient se determin matricea
1
) (
T
B ;
121
6) Se calculeaz valorile
s k y m s C
D C y
k
s
, 0 , 1 ) ( max , 0 = ,
\

, conform
triunghiu-lui lui Pascal:
) 1 1, = ( = 1, = =
1
1
1
0
+

s k C C C C C
k
s
k
s
k
s
s
s s
;
7) Recurent se determin valorile
1 ) (
max
0, = , ) (
\

y m s n r
D C y
s
;
8) Pentru fiecare n j i , 1 , sunt executai paii:
a. Se determin starea iniial
1
=
] [
)) ( ( =

n
r n t ij
ij
a
r
t p I ;
b. Se calculeaz valorile
1 ) ( 0, = , \ ), ( y m s y y
ijs
D C
,
conform relaiei
1
] [
1 ) ( 0, = , \
) ( )) ( (



T ij
a
r
y m s y
ijs
B I y
D C
;
c. Pentru fiecare 1 ) ( 0, = , \ y m k y D C , utiliznd formula
) ( ) ( = ) (
1 ) (
=
y n r C y y
ijs
k s k
s
y m
k s
r n
ijk

;
i valorile calculate la paii 67, se determin coeficientul
) ( y
ijk

, plasndu-l pe poziia respectiv n matricea


) ( y
k

.
Primele dou etape ale algoritmului pot fi substituite cu orice metod
eficient de determinare a valorilor proprii ale matricei P , mulimea D C\
fiind format din inversele valorilor proprii nenule, multiplicitatea fiecreia
meninndu-se. Dac valorile proprii ale matricei P sunt cunoscute, atunci
algoritmul const din etapele 38, complexitatea fiind ) (
4
n O .
Poate fi menionat i faptul c pentru determinarea oricrui subset de
matrici-coeficieni complexitatea de calcul este aceeai ) (
4
n O . n
particular, matricea
(1)
0

, care reprezint matricea probabilitilor limit


a sistemului aleator L, poate fi determinat conform acestui algoritm cu
aceeai complexitate de calcul ) (
4
n O . Spre deosebire de algoritmul
numeric prezentat n [3], Algoritmul 1 necesit cunoaterea tuturor valorilor
proprii ale matricei de trecere P , ceea ce reprezint un dezavantaj
important.
Am obinut descompunerea
. , ) ( = ) (
1 ) (
0 = \
r n t
y
t
y t P
t
k
k
y m
k y


D C
122
Pentru
1 0, = r n t
descompunerea poate fi scris sub forma
, ) ( ) ( = ) (
1 ) (
0 = \
t
k
k
y m
k y
y
t
y t L t P

+
D C
unde
) (t L
este o matrice constant atunci cnd valoarea
t
este fixat.
Cunoscnd matricele 1 ) ( 0, = , \ ), ( y m k y y
k
D C , putem determina
aceste matrici exprimndu-le din formula de mai sus, innd cont de relaia
0 , = ) ( t P t P
t
.
n [1, 2] s-a menionat faptul c matricele
) (t L
, 1 0, = r n t i
) ( y
k

,
{1} \ ) \ ( D C y
, 1 ) ( 0, = y m k , sunt matrici difereniale, adic
suma elementelor pe linii este nul. Singura matrice-coeficient din
descompunere ce nu este diferenial este matricea stocastic
(1)
0

, restul
matricelor
(1)
k

, 1 (1) 1, = m k , sunt nule (a se vedea [3]).


3. Algoritmul bazat pe separarea valorilor proprii
Acest algoritm reprezint o generalizare a metodei utilizat la
determinarea matricei probabilitilor limit n [3]. Vom separa succesiv
toate valorile proprii ale matricei P . Astfel, vom obine n final toate
matricele-coeficieni din descompunerea
) 1 (
. Algoritmul elaborat se descrie
astfel:
Algoritm 2. Descompunerea matricei de transfer.
Date de intrare: matricea de transfer P .
Date de ieire: matricele-coeficieni ) 1 ) ( 0, = , \ ( ) ( y m k y y
k
D C
.
1-3) Se execut etapele 3 1 ale Algoritmului 1;
4) Se determin matricele 1 0, = ,
) (
n k R
k
, conform relaiei
recurente
; =
0
(0)
I R
1) ( ) (
=

+
k
k
k
PR I R ,
1 1, = n k
;
5) Gsim valorile
ijk
q
,
1 0, = r k
, n j i 1, = , , utiliznd schema
Schema de mprire cu rest a polinoamelor
Pentru n j i 1, = , se execut paii:
123
-
1 0, = , =
) (
n k R q
k
ij ijk
;
- Pentru
r n n k , 2, 1, =
se aplic formulele:
*
r
ijk
r k j i
q
b

=
, ,
;
*
r t b q q
t r r k j i t k j i t k j i
0, = , =
, , , , , ,

.
6) Calculm
s k y m s C
y
k
s
0, = , ) (
max
1, = ,
\D C
, conform triunghiului lui
Pascal;
7) Se determin valorile
k l y m k u
y
k
l
0, = , 1 ) (
max
0, = ,
\
) (

D C
, conform
formulei
. 1, = 1, , = , = 1, =
1) (
1
1
1 =
) ( 1) (
1
0 =
) (
0
(0)
0
k l k u C u u u u
k
s
l
s
k
l s
k
l
k
s
k
s
k


8) Pentru
D C\
se execut paii:
a. Determinm valorile )) ( = ( 0, = , ) ( = ) ( m m m k C k
k k
m

;
b. Utiliznd schema Horner prin mprirea succesiv de cte ori
este posibil
a polinomului
) (z
la binomul
) ( z
, determinm
coeficienii
k
d
ai
ctului, m r k 0, = ;
c. Se calculeaz valorile
tk
x
,
1 0, = M t
,
1 0, = m k
, conform
formulei
sk
t
m t max s
t x k t tk
x s t k I d m x ) ( ) ( ) ( =
1
} {0, =
} {



,
unde
) (x I
A
este indicatorul mulimii arbitrare A

,
`

.
|

'

A x
A x
x I
A
, 0
, 1
= ) (
;
d. Se calculeaz valorile
tk
r
, 1 , = r M t , 1 0, = m k , utiliznd
formula
sk
M
m t max s
M x k t tk
x s t m k t I d r ) ( )) ( ( ) ( =
1
} {0, =
1
} {0
+



;
124
e. Se determin elementele matricei
*
R
conform relaiei
m s r M t r C r
tk
k s m k
s m
s m
k
ts
1, = , 1 , = , ) ( =
0 =
*


;
f. Utiliznd o metod numeric eficient, se calculeaz matricea
1 *
) (

R ;
g. Pentru n j i 1, = , se realizeaz etapele:

1
g . Se calculeaz valorile
1 0, = , M t w
ijt
, conform formulei
ijs
t
m t max s
ijt ijt
w s t q m w ) ( ) ( =
1
} {0, =


;

2
g . Se calculeaz valorile
ijt
s
, 1 , r M t , utiliznd formula
ijs
M
m t max s
ijt ijt
w s t m q s ) ( )) ( ( =
1
} {0, =
1


;

3
g
. Se determin vectorul
ij ij
S R
1 *
) ( = ) (


, unde
T
r M t
ijt ij
s S ) ) (( =
1 , =
;

4
g . Se calculeaz coeficientul
) (
ijk
conform formulei
1) (
) (
1 =
) ( ) ( = ) (

+

s
k ijs
s
y m
k s
ijk
u
,
plasndu-l pe poziia respectiv n matricea
1 0, = ), ( m k
k
.
Remarcile efectuate referitor la Algoritmul 1 sunt juste de asemenea i
pentru Algoritmul 2. Acest algoritm, spre deosebire de Algoritmul 1, poate
fi aplicat i n cazul cnd nu sunt cunoscute toate valorile proprii. n acest
caz, mulimea D C\ se substituie cu mulimea inverselor valorilor proprii
nenule cunoscute, algoritmul determinnd doar matricele-coeficieni
corespunztoare elementelor acestei mulimi. Dac aplicm Algoritmul 2
pentru mulimea de valori proprii cunoscute
{1}
, atunci obinem matricea
probabilitilor limit
(1)
0

a sistemului aleator discret L. Algoritmul


prezentat n [3] reprezint un caz particular optimizat al Algoritmului 2.
Referine:
125
1. Howard R.A., Dynamic Programming and Markov Processes.
Wiley, 1960.
2. Puterman M., Markov Decision Processes. Wiley, 1993.
3. Lazari A., Lozovanu D., An Approach for Determining the
Matrix of Limiting State Probabilities in Discrete Markov
Processes. Bulletin of the Academy of Science of RM, N 1, 2010.
4. Lazari A., Caracteristicile probabilistice ale timpului de evolu t
ie al sistemelor aleatoare discrete. Studia Universitatis, CEP
USM, N 2(22), p. 5-16, 2009.
5. Helmberg G., Voltkamp G., On Fadeev-Leverrier's Method for
the Computation of the Characteristic Polynomial of the Matrix
and of Eigenvectors. Linear Algebra and its Application, N 185,
p. 219-233, 1993.
126

Vous aimerez peut-être aussi