Académique Documents
Professionnel Documents
Culture Documents
Lecture Notes in Mathematics: 1010 Jacques-Edouard Dies
Lecture Notes in Mathematics: 1010 Jacques-Edouard Dies
Mathematics
Edited by A. Dold and B. Eckmann
1010
Jacques-Edouard Dies
Cat
Chafnes de Markov
sur les permutations
Springer-Verlag
Berlin Heidelberg New York Tokyo 1983
Auteur
J a c q u e s - E d o u a r d Dies
L a b o r a t o i r e de Statistiques et Probabilit~s
Universit~ Paul Sabatier
118, route d e N a r b o n n e , 31077 Toulouse C6dex, France
tude tr~s riche qui a ~t@ extensivement ~tudi@ durant ces derni~-
rait-ce que du fait que leurs ~tats, qui sont des permutations,
Les librairies ont ~t~ assez peu ~tudi~es: le premier travail sub-
nous avons cru bon d'examiner en d~tail (prOs de la moiti~ des r~-
sultats proposes sont nouveaux) ces cha~nes de Markov sur les per-
lution au cours du temps des dispositions des livres sur Ten fonc-
est le suivant (il n e concerns que les librairies finies oGles li-
le pr4c~de imm4diatement.
jectures.
nous entendcns ceci: lee places affect@es aux livres sont lee som-
mete d'un arbre connexe; cet arbre peut avoir un cycle o u non, ~tre
loppements.
I. Structures et l i b r a i r i e s
I. S t r u c t u r e s de permutation 2
2. L i b r a i r i e s , librairies stationnaires 19
3. M e s u r e s stationnaires 37
3.2. Librairies de t r a n s p o s i t i o n 43
3.3. Librairies de H e n d r i c k s 48
3.4. Branchement de l i b r a i r i e s 53
3.5. Librairies-quotient 56
10.1. L a c o n j e c t u r e de R i v e s t 174
Appendice 209
Bibliographie 219
Index 223
PARTIE I
STRUCTURES
ET
LIBRAIRIES
Chapitre I
STRUCTURES DE PERMUTATION
que: par exemple, T sera l'ensemble des places d'une 4tag~re lin4ai-
1.1. L'aoplication ~ .
Soit un arbre orient4 [T,~) d4fini par la donn4e d'un ensemble d4-
nombrable (fini ou infini) T et d'une application connexe ~ :T~T,
i.e. telle que pour tous set t de T il existe des entiers naturels
n
net m avec ~ Is) = Tm(t).
on d 4 s i g n e par It I la d i s t a n c e de t a C
non lin4aire et sans cycle o7 les sommets de Tne sont pas index@s
fig. 1-a
-t
2 3 4 5
-5 fig. 1-b
1.2. L'aDplication ~ .
(1.3) V t ~ T ~(t) ~ t.
satisfait &
Tk ( k+
(1.4) Tt[ t)] = ~ (t) si 0 _~ k z t
Tt[~(t)] = t .
que nous ayons fixd une police ~. Si la disposition des livres sur
~' = ~ o Tt
b,
5
~I * b2' "'"
D4finition 1.1.
fig. 2-a
J
fig. 2-b
fig. 2-c
fig. 2-d
g~n~ral le nom des auteurs qui les ont consid~r@es ~our la premi~-
(McCabe,1965).
I 2 N-2 N-I
fig. 3
Exemple 2.2.
Exemple 2.~.
fig. 5
ExemDle 2. 4 .
1963).
fig. 6
Exemple 2.~.
structures de H e n d r i c E s [Hendricks,1973).
fig. 7
Exem~le 2.6.
t s i t e[o,~]
f(t) =
o ~i t ~ [~+I,N].
fig. 8
10
3. B r a n c h e m e n t de s t r u c t u r e s de p e r m u t a t i o n .
On se donne:
+ Un s o u s - e n s e m b l e de TO, 9 T o = { ~ i } i ~ 1 ~- T O oG N E ~ avec
D4finition ~.I.
N
On a p p e l l e branchement des s t r u c t u r e s (Si)i= I sur S O en ~ TO, la
comme suit:
N
T = TO ~ T+
=I i
ITo(t) si t ~ o
~(t) = I~i(t ) si t ~ T+l et Ti (t)~ ~i
+
e = e0 sur TO et e~ sur T i
11
~o(t) si t £ TO
~0i si t ~ T +i et ~i (t)= ~ i
(Letac,1975;Arnaud,1977).
l ig. 9-b
J
fig. 9-a fig. 9-c
12
fig. 9-d
on prend T=B=[O,N], ~ ( t J = ( t - 1 ) + et
fig. 10
On d4signera par
o
x l'alphabet de x,
st si x~/i st y~ /% ,
(xy) i -- x si i ~[~,l~x)]
<4.2) I
[Xy)l[~)+j -- yj si j~[1,1<y)].
identiques & y.
semble des dispositions des livres sur T, i.e. l'ensemble des bijec-
~ * A =
(4.4)
I • X l X 2.
.
.x n
= (~ . x
I X 2 . . - X n _ l )*x
n
D~finition 4.I.
D~finition @.2.
et ~' grant dorm, s dans E, on dit que ~' est accessible ~ partir
n=O
phabet
N
(4.11) R(e,'~) = n--~(~) Rn~'e"~)"
le m o n t r e l'exemple suivant.
Exemple 4.~.
occurrence de ~(0).
une classe de s t r u c t u r e s :
17
rature.
D4finition ~.I.
~, telle que
~(t)=~(t) si t ~ C,
F= [0, ~].
18
ple la p r o p o s i t i o n suivante.
Proposition ~.2.
I. V t ~ T k F ~(t) ~ t.
D~monstration.
re de p e r m u t a t i o n au sens strict.
Chapitre 2
des livres sur Test alors une chalne de Markov appel@e librairie
On se donne:
tout b E B.
D4finition 1.1.
d@finie par:
I Yo = e
exemple, si S est une structure mixte (S,p) est une librairie mixte.
I1 est clair que l'espace d'4tats d'une librairie (S,p) est l'ensem-
Proposition 1.2.
D4monstration.
On a alors la
Proposition I. 3 .
D4monstration.
dicit4.
m4moire principale.
Supposons d'abord que C soit une racine (ou que F\C ~ ~); alors,
d'apr~s le point I.
tout t ~ C, ~ = I.
= sup { ~ ; s Et) .
forc4ment
Itl-t+1
- (t) = ~ - i.
Les mots de passage attach4s & une librairie (S,p) sont les mots de
passage attach4s & la structure S tels que nous les avons 4tudi4s
[p(^) = 1
(2.1 1
[P(XlX2...Xn_lX n) = P(XlX2...Xn_l)p x •
n
que l'un des plus importants est l'ensemble R(e) des mots de retour
oo
R ( e ,T~) = ~-- Rn(e,~) = ~_~ Rn(e,~).
n=O ~=m(~)
On pose, pour Tt ,7~' d a n s E e,
le critere suivant de t r a n s i e n c e .
Proposition 2.1.
seulement si ~ Qn(e)< ~.
n=O
aussi mettre en place quelques notations qui nous seront utiles par
la suite.
Exemple 2.2.
pour n ~ m(~),
Donc, en u t i l i s a n t (2.3),
n
Q~(e,~) = [-] Q[B~(~:)]. P~(k)
k=O
24
Si on pose
n
(2.6) Sn(T[) - Q[Bn(K) ] = 7"
k=O
Pu(k)'
il vient
Par consgquent,
n P~(k)
(2.7) Qn (e'~) = ~ 1
k=O - Sk £~ )
n
(2.8) ,~ ~ Pe(k) < ~
n=O k=o 1 - sK(e)..
et
oo
Q = {(qJ{)k=O ; qk > O, ~-~ qk -- oo].
k=O
Prenons ensuite q~Q tel que qk=I/k+1 (k6~); alors p = ~-1(q) est
3. L i b r a i r i e s stationnaires.
3.1. D4finitions.
D@finition ~.I.
i. P(Yo = ~ ) = u(~) (~ 6 ~ N + I )
condition 1 par
On associe & une librairie stationnalre (S,p) ~ son espace des sui-
On d@finit aussi:
I x (°) = A
(3.4)
~(k) =
X_k+iX_k+2--.x_ix 0 ~B k
(k ~ 1).
est le mot
brable & partir de son espace des suites est une construction stan-
processus (X_n)n=O.
Mais cette possibilit4 est li4e ~ la pr4sence, dans x, d'un bloc
D4finition ~.2.
V ~ 6~'N+ 1 ~ * £ = e
Remarquons que l'existence d'un mot de remise au z4ro n'est pas une
tat suivant.
28
Th@or~me ~.~.
structures
I. non l i n @ a i r e s ,
D@monstration.
O I Z o~
o~ t20@
@
fig. 11-a fig. 11-b
~ 6 ~3 V bE B ~* b = ~* b
012
21o ! 021
IZO 201
f~o fS
I02.
pour toutes les structures qui n'ont pas ~t@ ~cart~es par le th~o-
r~me 3.3.
Th~or~me ~.4.
remise am z~ro.
D@monstration.
tion du cas trivial ( e , T 0I) pour lequel ~ =e(O) est un @vident mot
1.5.2 que
si ~[1(b).~, ~2 = ~1;
~21(b) = 0
~2 = ~1 * ~(k)N"
On d 4 d u i t de ~ que
~1(O)=N_k_1,~21(1)=N_k . . . . . ~ l ( k ) = N _ l , ~ l ( k + l ) = N
autrement dit
ViE[0,k+l] ~21(i) = N - k - l + i
En effet, quand on a a p p l i q u 4 une lois ~(k), le bloc de l i v r e s [0~k]
et donc, d ' a p r ~ s ~,
31
0"(0) : ~(-I)N.oN
est un 0 - s t a b i l i s a t e u r .
on pose
~2 = ~1 * ~(k)'~(k)N
Oil a
et dono, en u t i l i s a n t k+2 f o i s ~,
~(k+l) : ~(k).~(k)N.(k+1)NkN...1No N
est un (k+1)-stabilisateur.
sateur ~(k).
6 ~N+I'
V i ~to, ~] [n.~'(~)J -I ( i ) : t
et d o n c
Aiors, en u t i l i s a n t N-~ f o i s ~, il v i e n t
[n:.o-(~)~(~-1 ) ] - 1 ( ~ + j ) = j_~
mais aussi
[~.~(~)f(~-1 )] - I ( i ) = ~-~+i.
E B~ ; X_n_k=ao,X_n_k+1=al, .... X _ k = a n }
par
(3.8) P ( B ~ w B k) = p(w),
P(X-n=b) = Pb"
co
L'ensemble B£ • consid~rons maintenant, £ @rant un mot de r e m i s e
B~(n) = B==~ B n
et l ' e n s e m b l e mesurable
(3.1o) B~ N~O n~ N
33
d 'a b o r d
(3.13) P ( B T ) --
lit4 ( B ~~ , 0~,P);
ensuite
(3.14) TB~ = Be
84
puisque x g B$ ~ Tx ~ B g et que tou~; x 6_B~ es~ de la forme Ty,
y ~ B~ .
Les v.a. Y
-n
Proposition }.~.
D4monstration.
Prenons x 6B~ et k > 0. Pour tout entier h > gk/X + l(e), x (h) est
de la forme z g x[k] oG z 6 B * .
= [k]
U * X (h) (~*zg) * x
• X (h) =
e * X [k3
d'oG
() = [k]
lira T£ * x -h- e . x = Yo(X).
h-,oe
Remarque ~,6.
si ~(0)=0
lim U * x(h) = I
h~ [~.o s± ~(o)~o,
d@pend de ~ .
de prouver le r 4 s u l t a t suivant.
Th4orAme ~.7.
D4monstration.
[07
v,ao
YO = Y-I * XO"
on a
(~o/TX + 1)
---- e ~ x
Si 6 0 / x >0, a!ors
~o/TX = ~o/= - 1
36
et donc
Y_I ( x ) . X o ( X ) = e * x
[o]
= Yo(=).
Si 60/x = O, alors
60/Tx = al/X - I
et donc
MESURES STATIONNAIRES
homo~nes.
D4finition 1.1.
u(s~ = 7- u(s,).p~s,s,)
s'EE
respectivement
~-- u(s) est finie; une mesure stationnaire born4e de masse totale
Proposition 1.2.
~ ( ~ ) ~ t(T
T_ P~ot( t> u ~ ° ~ I )"
D4monstration.
Par cons4quent
39
T. u(~')p(~',~) = 7-- u ( ~ o Z t l ) P ( ~ O ~ t l , ~ ) .
~'~E e t~T
en u t i l i s a n t (1.1.5),
. t]
= p[T£ oft1 , (Eortl).T[o~(t)]
= P~of(t) • O
D4finition I.~.
~ n [ P e ( t c . I ) ..... Pe (tc+n)]_
u(S,p;u) = lim
e
n~ qn [ P ~ ( t c + I ) ..... P ~ ( t c ÷ n ) ]
Remarque I. 4 .
u(s,qlF;.).
la suite.
Proposition 1.~.
D4monstration.
Nous allons & present nous int~resser & des branchements de struc-
tures (d@finis au §1.3) tels que les librairies associ~es aux ar-
est suppos4 infini (le cas fini serait analogue); ~ 4tant une pro-
41
9ons par d 4 m o n t r e r la
Proposition 1.6.
~ n [P~(tl) ..... P ~ ( t n ~
V ~, ~ 6 E lim exists.
e n~ ~ n [P~(tl) ..... P~(tn) ]
D4monstration.
tion TE de T dane B,
I
et que
lira ~ n [ p
n-,e~
, Or] /~n[P,~1 ~] = u( S Io-
,Pl; 4),
42
pr4c4dentes) la
D4finition I. 7 .
~(~) = nlim
~ ~ n [ p e (tl ) .... ' Pe (tn )]/~n[P~( tl ) ..... P~( tn)] "
ces prolongements.
Prooosition 1.8.
& E e . Alors
u (~ o ~ I ;
2. ~ ~
t(T; P~o~(t) u(E) - t~T~ P~[t)
D4monstrazion.
restrictions de ~ et ~ ~ T I . Le r 4 s u l t a t provient de la d 4 f i n i t i o n
~I et ~I ne d i f f e r e n t qu'en ~ =t O .
2. S o i t ~1 la restriction de ~ 6 E e ~ T 1 et la c h a [ n e (S1,Pl) oG
tout t 6 T +,
I la r e s t r i c t i o n ~ 1 o T ~ I de ~ o ~ I A T I appartient ~ E I'
on a
n~ ~n[P~o~i(tl) ..... p o ~ , ( t n ) ]
sition 1.5.
2. L i b r a i r i e s de transposition.
D@finition 2.1.
Une c~alne de Mar~ov irr@ductible, d'espace d'@tats d@nomOrable
r@versible si
I • V s,s'~ E
__ p(s,s')=p(s' p s)=O ou p ( s , s ' ) . p ( s ' , s ) > 0 •
n n
tout i~[0,n-1] ,
n-1
(2.1) u~s) = F-] p(si,Si+l)/p(si+1,s i)
i-o
d~pend seulement de set s Weu(s) est une mesure stationnaire telle
que u(s0)=1.
D4monstration.
Th@or~me 2. 7 .
o~
Dgmonstration.
U- l ( a ) < 11:-1( b )
-- _ A
et que
que u(e)=1=~ Qs(e), nous allons montrer, par r4currence sur n, que
sgT
u(.) peut s'4crire sous la forme (2.2).
Tt(u) = u s± u ~t,i~Ct) )
et que
Par cons4quent
P~oTt (t)
u(K) = ~ Qs(~)= ~ Qs(~OTt). Qt(~oTt)
sET s~t P~(t)
s£T
47
Proposition 2. 4 .
Soit (S,p) une librairie dont la structure poss~de un cycle C, une
m4moire principale F et dont la police ~ est d4finie par
si t ~\ F ~ ~I(F)]0C.
Qs(~) ayant ~t~ d~fini en (2.3), (S,p) admet pour mesure station-
u(Uor~ I = ~ P~(t) +
t~
P~o?(t) u(~) t ~(T\F)0 cP~° f (t)pn o ~(t ) tEF\C
P~(t)
= ~ PW(t) = 1.
tET
Le r4sultat est 4tabli d'apr~s la proposition 1.2.
48
3. L i 0 r a i r i e s de H e n d r i c k s .
ProDosition ~.I.
N
(3.1) U(~) = ~ p~(t)/qt(~)
t=O
O~
N
qt(~) = ~- P~(s) = 1-st-1 (~)"
s--t
D4monstration.
N
U(IT) = P(Yo=E) = ~ prc(t)/qt(K). []
t=O
Corollaire }.2.
D4monstration.
N N
:: suffit d'observer que u ( ~ ) = U ( ~ ) / U ( e ) , que [-7 P~(t) = ~ Pe(t
t=O t=O
et que qo(W)=1. []
Prooosition 3.~.
n ( / n )
(3.3) ~ V~ ~i a(i) ~ ai,~(j~ = I.
u~w n i=I ' j=i
D4monstration
(1978). ~3.3) est 4vident pour n=1; soit done n ~ 2 et notons M(A)
M(A) = n
~--- a Ik ~- ~n a i ,TI(i)
I<=I a11+'''+aln N E F k i=2 ai,rc(i)+'''÷ai,~(n)
O~
Fk = i Tt ~ ~ m ; I~(1)--k } .
pour tout k,
n
ai,~(i) - M(Alk) = I
~ Fk i=2 ai,~(i)+'''+~i,~(n)
st par cons4quent,
n
alk
M(A) = -- I [3
a11+..-+aln
o~
D4monstration.
si s.~t
qs(U°r~l) - qs(~) = {P~(~)O - P~(s)
si s~t
qs (~) -- I
(~.6) ~- p~(~)
t~T s-~t qs(E)+P~(~)-P~(s)
p(t,~) ~ P~(~)
qt (~)+P~ (~)-P~(t)
peut le noter
Alors, si on pose
on a
n q~(~)
(3.7) P[ZTI_I =t] = i=O~ P(Si'si+1 ) = P~(~)s~t
Proposition ~.~.
Soit (S,p) une librairie dont l'arbre (T,~) poss@de une racine ~ et
?(t) = ~ si t~T\F.
Alors (S,p) admet pour mesure stationnaire homog@ne l'application
u:E - * R + d 4 f i n i e par
e
(3.8) =
s£T\F
D4monstration.
F^ = {t ~ F ; ~-l(t)~ (TkF) fl ~ } •
Comme de plus
on a
u(~ oft I )
P o-(t) : Y- P~(t) + A [qt (~) - Pg(t) ]
t~T ~ u(u) teF t6F
= I []
Corollaire 3.6.
53
N N
(3.9) u(~) = s=~+l~ Q~(~) = s=O1 qs(e)/qs(~)
4. B r a n c h e m e n t de l i b r a i r i e s .
cyclique ou non.
Th4or~me 4.1.
N
(4.1) u(~) = ~ Qs(~). ~ ~i(~)
s6T 0 i=I
54
D4monstration.
%(uoTt I) = %(=)
et par suite, en u t i l i s a n t aussi (2.6) et (2.7), il vient pour
tout ~ de Ee,
I P~(t) si t ET O
(4.4) ~ Qs(~°T~I) = Prior(t)
s~T o %(~)
1 si t~T 0 •
P~(t) si t 6 TO
P~of(t)
(4.5) u(~o~tl
l
Ti(~)
et par cons4quent, en u t i l i s a n t (4.3) et (4.5),
u(~ o~t I N
P~(t) + ~- ~+ P~(t)
t(T o i=1 t£T i
= 1
On d4duit imm@diatement des th@or~mes 4.1 et 3.a le r @ s u l t a t
suivanZ.
55
Corollaire 4.2.
En p a r t i c u l i e r , si S = ( e , M ~ ) , N6~, on a
N
(4.7) u(e,MN,p;~) = ~ Qs(n). [-] Q~(E)
s=O S=~+I
=[P~(o
)~[P~(
I___)I~'I...
IP~(~-1 N qs(e)
[Pe(0)] [Pe(1)J" LPe(u)-I "s=~+1 qs(~)"
Remarque 4-}.
En n o u s 4vadant (exceptionneilement!) des structures au sens strict
un a r b r e de t r a n s p o s i t i o n s d'arbrisseaux de H e n d r ± c k s avec m 4 m o i r e
2 3 4 5 6
fig. 13
2
u(~)- Pe(1)[Pe(2)~''Pe(61] Pe[5)+Pe[6) Pe(6)
5. L i b r a i r i e s - q u o t i e n t .
raisons:
Proposition 9.1.
valence de ~ , si on a
D4monstration.
bilit@s de t r a n s i t i o n p(~,~1) .
Dans les trois cas envisag4s, (yn)~=o=(S,p) est une librairie telle
2. S=(e,T N)
0 (fig. 6): la l i b r a i r i e - q u o t i e n t est appel~e pile
librairies-quotient.
Proposition ~.3.
( S , p ) = ( Y n ) n = 0 et ~ une p a r t i t i o n ~ de T. Alors
la c h a i n e - q u o t i e n t .
D@monstration.
2. Evident.
4. Ii s u f f i t d'utiliser (5.3).
Exemple ~.4.
fig. 14
p [(a,b);(b,a)] = Pa
p [(a,b)~(a,o)~ = Pc (si c ~ a)
p [(a,b);(c,d)3 = 0 ailleurs.
Remarque ~.~.
(~,T~,p) E~ (~, M ~,
~ p)
62
Dans cette partie, nous allons 4tudier des librairies inzinies (S,p)
res, i.e. pour lesquelles l'arbre (T,~) associ@ est tel que T =
Pe[i+1)
i=o Pe(i)
C2: elles sont toutes transientes si e~ seulement si
n
Pe(i) i
o~ si(e)-- ~- Pe(k)"
n=O i=O I - si(e k=O
4vadant l@g~rement du cas lin@aire) que [**) est une condition suf-
r4currentes positives.
Th4or~me 1.1.
Soit (S,p) une librairie dont l'arbre associ4 (T,~) est tel que
~-
i:C
Pe(i+1)/Pe(i) < ~
D4monstration.
X = {x g B * ; W i ~ l(x) e.xlx2...xi ~ e} .
Soit maintenant W£ E et p o s o n s
e
x~ -- { ~ e x ; e.~ : ~ } .
positive,
mitre lettre, on a
(1.4) Yi ~ X.
Q(Yi ) ~ Q(x) ~
tel est bien le eas pour les chafnes dont on c o n n a f t une mesure
65
2. C o n d i t i o n suffisante de r 4 c u r r e n c e positive.
Tn@or~me 2.1.
ment si ~ Pe(i+1)/Pe(i)Z ~ .
i=O
D4monstration.
fisance de la c o n d i t i o n .
peine que
E ne = {~ 6 Ee ; Ft> n ~(t)=e(t)}
=O(Ee) : li~
n ~
Vo(E~)
Or puisque
n
Vo(En ) = ~ E n ~ P~(i) ~ Pe(i)
e i=O qi(rt) i>n qi(e)
n~ ~ ~ En i=O
e
n
Or il es~ 4vident que qi (~) ~ ~--" PE(j); par cons4quent
j=i
Th~or~me 2.2.
Th4or~me 2.~.
D4monstration.
fisance de la c o n d i t i o n .
tier i, P e ( i + 1 ) ! Pe(i)"
u(e,M0~,p;~ ) ~ u( e , T o , P ; ~ ) < oO . []
e e
Exemple 2.4.
Un ca!cul facile montre que q=~(p) est donn4, pour tout entier k,
par
qk : (k+1)(k+3).
Comme
q~1 = ~ I/(k+1)(k+3)< ~
~=0 k=O
positive.
N
3. Distribution stationnaire des librairies (e,T~,o).
d4signe par
l'ensemble des mots sur B de iongueur n+l dont routes les leZtres
sont distinctes.
69
Th4or~me 3.1.
en (2.2.2) et (3.1), on a
de x,
Rn(e,em ) = ~ Rn(e,~)
n 6 e
et par suite
+
Rn(e, em) = B*e (m)B~_l(e)e(m-1)...e(1)B~(e)e(O)nB n
et donc
X
Soit maintenant ~ quelconque; v~ ayan~ ~t~ d~fini en (2.3) et ~
Corolla(re ~.2.
Soit N ~ , ( Y _ n ) n = o = ( e , T ~N, p ) ~ la librairie s~ationnaire associ@e
71
D4monstration.
D'apr~s le th6or~me 3.I on a
PlY0 ( m n ] = ~ U~,N(~)
r[ 60-n
n
P~(o)Pg(1)'''P~(~)
Q(B~) i=~+I 1-si_1(~')K£a" n t=n+1 qt(~)
Nous avons vu, ~ l'exemple 1.4.3, qu'il @tait possible, pour une
d'4tudier l'ensemble
{Yo E era} ~ B~ ,
Soit x = "''X-nX-n+1"''x-2x-lXo £ Ba
D4finition 1.1.
Y - i (x) ~ Y-i-1(x)"
( 1 .I ) b+/x
(1.2) c+/~
la derni~re occurrence active dans x des lettres de C.
Proposition 1.2.
On a presque surement
D4monstration.
que si
occupe la place ngO, donc tousles autres livres sont & sa droite.
partant
e(k)+Ix • e(k-1)+ix.
(I .4) ~e m I z >
Proposition I.~.
D4monstration.
{x l0 = x . = b
i -J-k+1
pour que < w I eml z>~ @ m a i s une autre condition s'av~re n4cessaire.
ProDosition 1.4.
Soient z6 B~ *
Bm-1 (e) e~ w ~ B~. z 4tant fix4, ~w I e m I z> ~ ~ si
( C i -)~+I
i= I sont d@finis par
tinctes. []
R(w, ~, ),
~(~W,x) : ~ R(~w,~,).
n'&X
{Yo £ e m } •
Th4or~me I .~.
(I .9) <w 1 % 1
Z
z> = {yo ~ %]e(=)C~+IZ+ 1...ct,IN(z ~
et
D4monstration.
e(m) ~m,H z~ ZZ zt 0
fig. 15
nent & C~÷ I et, pour tout i([I,~], entre jx(Zi+1) et jx(Zi)-1, les
lettres de x a p p a r t i e n n e n t & C .
l
transience de la c h a f n e consid4r4e.
2.1. Approximation de Q n ( e ) .
et
(2.2 rn : Q[M<z)]
Th4or~me 2.1.
telles que
D@monstration.
1. M a ~ o r a t i o n de q n ( e ) .
on a, ~ n ( e , e ) a~ant ata d ~ f * n ± en ( ~ . 4 . ~ 0 ) ,
moins 00+I occurrences actives (puisque n ~> 3~+2). On peut par cons@-
condition (2.3).
Par cons@quent
+
s = sup s (~)
~6E e
il v i e n t
+
q[D~(z)] -I = 1_s _1 ( e ) _ p z w + 1 1 - s
(2.5) 1 ............. +
q[D~(z)] ~ = ~-s~(e)-Pz3-p~+-...-p%+ ~ >~ 1 - s
+
LQ[D~(z)] I I So(e) pz2 P~3 -Pz~+l ~> 1 - s
Qn(e) ~ (l-s+) - ~ - 1 . r n
2. M i n o r a t i o n de Qn(e).
0n pose aussi
il v i e n t
V z £ B~B~(e) ~(z) = Rn(e,e)
81
on a
~(z~) ~ ~(~2)
pour deux mots distincts z I et z 2 de B~B~(e).
Par cons@quent
Si on pose
"" ~e+l
q[M{,z)J -- p[:~<~)].q[M~)] ~ p_ .Q[M(z)]
P_~+I .r n g Qn(e ) [~
2.2. Evaluation de r .
n
r comme le montre le
n
Th@or~me 2.2.
D4monstration.
de p par
N
(2.9) Pe(i) = P e ( i ) / S N (e) (0 g i ~ N) .
pre de B N ( e ) et X ~ A * ,
Alors, si
(2.12) r = lim rN
n n
1 ~+1
(2.13) PN[ W,en+l, P z+I)PN[M z I--I PN(C ) •
Q[~N(e))~] i=1
Or, C 4tant une partie propre de B N ( e ) , il est facile de v o i r que
7- p~ P N ( C * ) = 1
WEBN(e)X C
e~ par c o n s @ q u e n t , si on se s o u v i e n t de la d ~ f i n i ~ i o n (1.6) des en-
le r 4 s u l t a t suivant
83
~+1
(2.14) Y< rq p~..PN(c~) = I
wi ~ Ci i=I
En u t i l i s a n t (2.11),(2.13),(2.14) et le t h 4 o r ~ m e 1.5, on a
1
(2.15) PN[Yo6 en+1] Q[(BN(e))f~] peN(n+1) rnN
le corollaire 4.3.2,
N N N N
p N [ y 0 6 en+1 ] = Pe(o)Pe(1 ) • "'Pe(~) n+l Pe(i)
q[(3N(e)) ~] i=~+I ~ - sN
I--I
(e)
2.3. C.N.S. de t r a n s i e n c e .
Th4or~me 2.~.
seulement si
n Pe(i)
n=O i=O I - si(e )
D4monstration.
currence (nulle).
Exemple 2. 4 .
Pe(2k) ~ g
4
Pe(Rk÷l) = g Pe(2k) " Pe(2k) "
I/2 si i = 2k
Pe(i)
1 - si(e ) 2 si i = 2k+I
Par consequent
2k+I Pe(i
[q - I
i:o I - ~i(e)
choix de p. []
Chapitre 6
D4finition 1.1.
Soit S O une structure mixte finis ~ ~+I places et dont l'arbre des
les sommets de l'arbre T O associ4 & S O seront hum@rotes par les en-
(resp. infinie).
Une librairie (S,p) est dice VMFT (variants mixte finis de Tsetlin)
D4finition 1.2.
N (0 ~ t < N)
Pe(t) = Pe(t)
I N
Pe(N) = ~
t=N
Pe(t)
z 4
~~ 5 6 7 8
0
fig. 16
"ordinaire" . ~ 5
4
/7
9
o°.
:10 4Z
fig. 17
Proposition I.~.
D4monstration.
la police d'une librairie VMFT montre qu'& cet instant e(N) occupe
y e RN(e,U)
z & R%(~,e)
(2.2.2) et (2.2.3 ,
%{e) = ;-- N
%(e,~).Q~(~ e) [3
ProoosiZion 1.@.
PCYo
N -- e] -.- ~-- N p[yN : ~ ] . N(~,e)
Q~
N. E. E~)
D4monstration.
TN N N } .
= sup { t ~ 0 ; Yt 6 E ~
E ~ Yk
N o
(1.5) xE R~(~,e) ~ e(N) ~ x
EU . X l ] - l ( e ( N ) ) >
Mais alors, e(N) @tant, apr~s la convocation de Xl, situ~ dans l'
sont proportionnelles.
mix,e°
Soit donc N > ~ et (So--{W } -- T N - ~ , p ) une librairie VMFT & N+I livres.
N
(1.7) u(~) :: ~(~) F-] %(e)/%(~)
t=~+1
N
(1.8) u(~) :: ~(~ )p& (~) r-~ P ~ ( t ) / q t (~)
t=~+l
(1.8,) a~+1 ~0 2
~(~1 -- P~(o)'P~(1) . . . . . P~(~-I)
(1.8") p.(~) -- 1
N
Si on d ~ s i g n e par Em/fV l'ensemble-quotient et par ~ ses @l@ments,
u(~) -- e(N),
Proposition I.~.
IT
I. Soient I% I et rl 2 deux @l@ments de E~j.
92
N
1"T1 t'";~2 ~ Q (~l'e) = Q~(TK'2,e )
N-I Pe(i)
(1.10) ~ ~ E~/~ ff ~ ) = ~(e) r-1
i=~ 1 - si(e)
D@monstration.
N
p(~) pN N ,.,T
E(O0) ~ P~[(t)/qt (rt)
t=~+1
N N N
oG ~ ( ~ ) ne d@pend que de pA(O),PK(1 ) ..... P~(OO-1)' c'est-adire,
93
N
lorsque ~ ~E~ ou ~=e, de p~(O),PR(1 ) ..... P~(~-I) puisque, d'apr~s
N
N _N ~N N N N
~N ~(~)Pe(N)Q~ ~'e) = ~(e)Pe(~)t=~+1 Pe(t)/qt (e)"
plus haut:
~0+I 2 N ,v
(1.1o') ~N P~(O) " •. P ~ ( ~ - I ) q~(~, e ) . . . .
N-1 Pe(i)
~+1 2
.... Pe(o) "'" Pe(u~-1)
i=~ 1 - si(e)
Pour une librairie (e,H~,p). ~)6~, on a
N-I Pe(i)
(I . I0")
~=E N / ~ ~ QN(~'e) i=66
~
I - si(e )
et posons
Proposition 2.1.
Pour tout ~ de _N
E m+I , on a
N+I A
Qm
N+I (T[,e) = 7-
t=~.l+ 1
p~(t).QN(~OTt,e) .
D~monstration.
Soit ,~ 6 ~
_N+I et N+I
x = X l X 2. . .x m ~ R~j (rE,e) •
et d o n c
(2.4) 11 . x I = 11o ~ t
(@14ment de ~ N + I ) ~ e.
95
sinon il r e v i e n d r a i t en o0 ; p a r cons4quent e ( N + 1 ) ~ z O.
En d@finitive, x s'4crit
A
x = ~(t).z avec ~o < t.< N+I et z 6RN(~OTt,e),
Th4or~me 2.2.
N Pc(i)
QN(e ) i Pe(~) i:~ I - s i(e)
que
n
D4monstration.
~ ( e ) Q N + I (~, e) 4 ~ ~(~)-N+1(~,e)
96
Pc(i)
(2.6) Q~+l(e°~+l,e) ~ [--1
i=U 1 - si(e)
_N+I A
q~ (e°~N+l'e) ~ PeoTN+l(m+l)'qN(e°rN+l°'~+l 'e)
et donc, puisque
eOTN+I(~+I) = e(~)
et
eorN÷lOW~+ 1 = e ,
on d 4 d u i t de (2.6)
^ N Pe(i)
(2.7) pe(~).QN(e,e) ~ ~ -- •
±=~ I - si(e)
A
Ii s u f f i t donc de m o n t r e r que QN(e,e)=QN(e).
-I
k = sup{jg m ; [~.XlX2...xj] (e(N)) =~} .
ries (e,M~,p), ~ £ ~.
@~ @
-¢J,4 fig. 18
Proposition 3.1 .
D4monstration.
98
~-I(o)-i si
~(c,i) =
~-i+I si -I(o)> ~ •
wI = b (I ) w2 = b2n ( 2 ) , . . . . W ~ = b2.)(~) ,
OO.
Si m a i n t e n a n t on p o s e
(3.~) w = W o W I . . .w0 ,
il v i e n t
Comme g~(o,i)~_ ~ - i + I ,
o~ ~ = s - i(w)~o.
Par construction l[w(b)] = V + Z(w) = S.
la propri4t4 2.
propri4t4 3. ~I
Remarque ~.2.
Th4or~me ~.~.
ment si
oo n Pe(i)
T-- F--I <~
n--O i=O I - si(e )
D4monstration.
~+Ip~ . ^ N Pe(i
(3.5) Pb 0 b I "'Pb QN ( e * w ( b ) ' e ) = ~(e)
i:~ I - s(e)
~+1 ~ 2
et oh ~(e) = Pe(o)Pe(1)...pe~_1).
A N Pc(i)
(3.6) ~ p[w(b)] QN(e.w(b),e) ~ if(e)
i=~ I - si(e)
Soit alors x=w(b)y ~ Z(b); si e(N) est l'un des bi,O ~ i ~ ~ , alors,
quent, Z ( b ) C RN(e,e).
quent que
Z(bl)nZ(b 2) = ~ si b I ~ b2
En d ~ f i n i t i v e
A
p[w(b)] QN(e.w(b),e) ~ QN(e)
et donc, en u t i i i s a n t (3.6),
N Pc(i)
i=~ I - si(e)
ET
kov sur les permutations: S ~tant une structure donn~e, nous nous
tes,...), alors
Bien que nous n'ayons pas pu apporter une r@ponse dgfinitive & la
rants:
~, la librairie (e,H1,
~ p) n ' e s t oas r4currente positive
(4) ~ pe(i+1)/p~(i)~ ~ .
i=O
choix de p.
sification complete des librairles mixtes selon leur type. Nous mon-
( e , T 0 , p) ou (e,H~,p).
STRUCTURES RECURRENTES,
STRUCTURES TRANSIENTES.
I. P o s i t i o n du probl~me.
On introduit la
D@finition 1.1.
sients.
Th4or~me 2.1.
D4monstration.
Z)"
, -/', - -/', ,. _-.-
T5 ,,T~
fig. 19
par T h
k l'ensemble des s o m m e t s de T qui sont & la d i s t a n c e h de tk:
Tkh = {t ~ T ; t ~ t k et d ( t , t k ) = h ~
= k-n
Tn U Tk
k=n+l
et, p o u r n=O,
TO = T \ U Tn •
n)O
n
(2.1) Sn = ~ e(T k )
k=O
Observons que W n peut @tre vide: c'est le cas lorsque, pour tout
illustre ce cas
7 6 5 4 3 Z I 0
fig. 20
Dans cet exemple, W3, mettons, est vide: si e(3) est utilis4 sans
d'autre part, e(3) est utilis4 apr~s avoir 4t4 d4plac4, il n ' a pu
e [ T n _ I )-
Par cons4quent darts t o u s les cas, que W soit vide ou non, X + d4-
n n
signant l'ensemble des mots de S* c o n t e n a n t au m o i n s une lettre de
n
e(Tn) etune lettre de e(Tn_l) ,
109
on a
(2.4) W ~ X+
n n
(2.6) ~n ~ I/n~
et que
n=O
Or en i s o l a n t , dans les m o Z s +
de Xn, les derni@res occurrences d'um
d'o~
(2.8)
D@finition 2.2.
conform@ment ~ (1.1.2), la d i s t a n c e de t ~ T ~ C, on p o s e
(2.9) Dn = { t ~ T ; Itl ~ n) .
contraire.
Th~or~me 2.7.
D~monstration.
Ce cas est tr~s voisin du cas acyalique; afin d'avoir les m~mes
e (Tn_ I ).
Ii suffit alors pour conclure, en recopiant la d@monstration du
nition suivante.
D4finition 2. 4 .
de T l'ensemble ~ = TXExt T.
y
fig. 21-a fig. 21-b
Th4or&me 2.~.
D4monszration.
Tn = {t 6T ; tng t } ,
T+
n = T n \ {tn]
TO = T \ U Tn = T \ [ExtT U ~(ExtT)] .
n>0
n
(2.10) S+n = ~ e(Tk) (n> O)
k=1
et par suite
Q[e(To)] = 1"['0
(2.14)
[ Q[[e(tn) }] = Q[e(T+)] = TUn/2 ( n > O)
eo n
Q[e( USn+] = ;{'0 + lIk/2+~ ~k/2 = ~
1(1+ Crn)
1 k=1
avec O"
n
= 1 - "'I(,N+2)
-1"2 , on a
~2 1 3
Q(Wn) ~ nl[~(1-O-n)] ~ 2/n~-n
ce qui m o n t r e la t r a n s i e n c e de la s t r u c t u r e consid4r4e. []
Th4or&me 2.6.
D4monstration.
(2.4). Afin que l ' a r b r e ne cache oas la for@t, nous allons concen-
~(s i) = so
Soit d'autre part N le plus petit des nombres de [O,m] tel qu'il
que t0 .
en effet, supposons que x 6 W n soit tel que xi=k , xi+1=l avec k,1
re ~ la d4finition de W n-
msm-2p2 pn2
.Wm (m22) (1-Sn) n n = (m 2) m-2
(2.18) Q~ n) "~ (1-Sn_)m+3 (1_Sn)3" 2 Sn
On m o n t r e r a i t 4galement que
2
Pn
Q(w~) <
(1-Sn)3
et, pour m=1,
116
2
Pn
Par cons@quent
o~
Q(Wn) : 7,
m=O
Q(w:)
2
Pn + (3 (m22) sm-2n ]
(1-Sn) 3 [ 1 .2)+ m=2
2
1 Pn c~ (m 2) m
2s 2 " (1-Sn)3 bO ~ Sn
et donc
2
-2 Pn
(2.19) Q(W n ) 4 s
n " (1-s)6
n
Si on c h o i s i t la p r o b a b i l i t @ p comme suit
1 1 (~1)
t:
Pn Log(n+2) Log(n+3)
(2.20)
PO 1 - I/Log3
il v i e n t
2
-2 Pn Log2n
sn (1_Sn) 6 rV n2
n ~ -I.
la structure S1 .
d4finitif suivant.
Th4or~me 2. 7 .
D4monstration.
Nk
n=Nk_1+l
Nk Nk
7-_
n=Nk- 1+ I
V[ n
On pose alors
et on c n o i s i t
(3.3) qk ~ rain { Q i j ; I ~ i g k, I ~ j ~ k} .
(3.4)
p(k) = I ('l°q~:)Pb(k-1) si b £ B k _ I
L%qk si b 6 C k .
o~
13.5) T % < ~.
k=1
Pb =
(k) {---] (~_,~j)
Pb s b6 Bk
j=k+l
n
o >:el.
Nk
pn >~ 1
ee
n=Nk_1+1
de la m a r g u e r i t e r4currentes.
Prooosition 7.2.
Soit S une m a r g u e r i t e infinie (fig. 21-b) dont les sommets sont in-
D4monstration.
difficile de m o n t r e r que
Q(~;n) = Q [ R ( ~ , ~ ) n B n ( e ) k A] ,
x = x l x 2 . . . x m 6 Xn(TI) ~ V i< m e . X l X 2 . . . x i ~ r[
transiente.
Exemple 3.~.
les livres
= I I pour
I. Si Pe(o)=1 - I/Log3 et Pe(n) Log(n+2) Log(n+3)
_ I _ I
2. Si, pour tout n ~ O, Pe(n) (n+1)! (n+23!
3.2. Nous allons maintenant montrer, dans les deux th4or~mes sui-
vaunts, que, pour des structures appartenant A une classe assez vas-
de transposition.
Th4or~me ~.4.
D4monstration.
Z ! .= {t~R ; s-~t~
s
It 6 M ' ; Bu £R : s.~ u ~ t }
S S
MS
= M'S \ M " S "
~s~s) = s.
stationnaire homog~ne u .
S
s~R
E p
uI~o~t1~ = ~ p ,
tEM s ~ o T t I (t) u(~) tEM s ~(t)
124
et
u(~oTtl)
~- p = I - p /..1
t£T ~o1~t I (t) u(IX) ~ ( t O)
D~finition ~.~.
Z a = ~ n ~ Z ; n ~ a} pour a ~ Z et Z ~ = Z.
-3 -Z -I 0 4 ~ 3 ~ 5
fig. 23
125
-4 -3 -Z -t 0 + Z + +
fig. 24
fig. 25
Th@or~me ~.6.
D~monstration.
a = + ~ .
pour tout ~ ~ E e et t ~ Z,
teZ
Nous ailons montrer que ~ >--> u(~) est une mesure strictement
126
sous-stationnaire de (S,p), ce qui, d'apr~s un r4sultat classique,
(Kemeny st al., prop. 6.4, 1967), suffira & prouver que la cnaXne
est transiente.
.(~o~ 1)
~3.12) 7" P~o ) ~ 1,
t£Z r (t u(%)
cette in4galit4 gtant stricte pour au moins un 4tat ~0 de E e.
s si s < t - m ou s > t,
t-m si s=t .
si s ~ t - m ou s > t,
Qs(Tt°'ctl) = {
(3.14)
Qs(~) Pa(~) si t - m < s ~t
P~ (t-m)
n-m t
(3.15) n
= P~(t-m)
t_[~
s-- -
m +1 ol/n
"~(s)
Or, puisque S6Ln(Z ), m ne peut ~tre 4gal qu'& n ou n-1 et, dans
u(~ or~ I ) t
I/n
[3.16) ~ t~ Z P~o~(t) u(~) s=t-n+1
127
t
t I/n 1 5--. P~(S)"
[3.17) V t £ Z s=t-n+l~ P~(s) ~ Y s=t-n+1
t
I
Pr~(t-n+l) . . . . . P~(t) = ~ ~ P~(s) ;
s=t-n+1
u(~°~ 1) I t
P~o^ft ~ " < ~ ~ ~- P~(s) = 1 . [~
t~Z ~ / u(~) t£Z s=t-n+1
Remarque ~.7.
or~me 7.3.4, nous savons qu'une structure mixte acyclique est tou-
i=O
v4rifie la r e l a t i o n (0.1).
s£T 0 s£T\T 0
o~, rappelons-le,
Commenqons par i n t r o d u i r e la
D4finition 1.1.
L'arbre des t r a n s p o s i t i o n s (To,~o) est dit de type fini si, ltl d4-
Th4orbme 1.2.
Une structure mixte dont l ' a r b r e des transpositions est de type in-
D4monstration.
Consid4rons l'ensemble
2
A = ~ ( s , t ) ~ T 0 ; s ~ t st Isl= [tl},
} ~ 2
P°fv~/Pn/v~'k il set facile de v o i r que
v6u~ -
7- u(~) ~ ~ u(eo t) ~ r3
~ Ee (s,t)~A 9s, =
,?--/
//.. . . . .
fig. 26
132
suivant.
Th4or~me I.~.
D4monstration.
Soit (S,p) une librairie mixte associ4e & Set u(~) sa m e s u r e sta-
= l'--t
s£T 0 s£T\T 0
s ~1 s6-I
s£T I
Par cons4quent
u(~) ~ ~--~o
eE
u(~) = ~ . [3
~6E
e e
Th4or~me I. 4 .
Une structure mixte dont le bord ~ T O est infini est toujours nulle.
D4monstration.
structure mixte).
I
I
!
!
( ,;
- F
, , ~oo
i
fig. 27-a
4 \
/
f t
i I
1 v I', ,'~
fig. 27-b
set de ~(t) et p o s o n s
Is,t] = eo @s,~(t)
uC[s,t]) = i.
[ s l , t I] ~ [s2,t 2] •
Par consequent, ~ ~ t a n t la m e s u r e stationnaire de (Y' J ~ d~duite
" n'n=O
de u g r a c e & la p r o p o s i t i o n 3.5.3, on a
ono '--'
oo--o ---'='n-- o n I est pas r oorrente positive; co o= ent
toujours nulles.
D~finition I.~.
2. ~T 0 est fini.
,,'/7o /,"
,'iO/ y/o,,'
/,o / / -' _. , , . ...
fig. 28
un arbrisseau de Tsetlin.
Proposition 1.6.
D@monstration.
de l'arbrisseau de Tsetlin et si on p o s e
137
E0
e
= { ~E e
; ~(t)=e(t) V t ~T1 U t o ] 'P
posons
Introduisons la
D4finition I. 7 .
ture S.
Proposition 1.8.
jours nulls.
D4monstration
Pronosition 1. 9 .
situations suivantes:
D4monstration.
th4oreme 1.3.
D4finition 1.10.
nis.
I~t=1 ',
f±g. 29
1.5 et 1.10.
140
Dgfinition 1.11.
du type R1.
Th@or~me 1.12.
Une structure mixte qui n'est pas du type 3~ est toujours nulle.
Nous avons vu, au th4or~me 1.12, que les seules structures mixtes
ples ~ 4tudier.
{N,N+I,N+2 .... } .
A(~O ) = {t £ T ; ~0 ~ t 3
~ = sup{Itl ; t£ T X A(~O) } ,
D4finition 2.1.
~,(t)= { ~ ( t ) si t ~A(~)\ ~}
si t CA(~)\{~} •
142
° . .
fig. 30-a
fig. 30-b
Remarque 2.2.
(2.2) S = M(S)--{~]--T ~ .
D~finiticn 2.3.
D~finition 2. 4 .
& f
fig. 31
144
D4finition 2.~.
ti+ I si t=ti,O ~ i ~ m
7(t) si t ( T \ ( D o 1 U D2).
et
~'(t) si t ~DoIU D2
-1 4- ~3~ I0
4O
7
g 9
fig. 32-b
Nous avons vu, au th@or&me 1.12, que les seules structures mixtes
suivant.
Th4or~me 7.1.
si:
7- ;e(i+1~/p~(i) < ~.
±=-c
D@monstration.
146
Si S 6 RO, alors
Si S 6 RI, alors
u[s, P ~] = F]
U[#o<S),p~] i--N Q~(~)
suit
147
qe(o) = Pe(-c)+'''+Pe(-1)+Pe(o)
~ ~]
Qi(<) = u [ e,Mco,q;
4.2.2 que
I-] qi(~ ) .4
i=N Q* (~)
Pour montrer que u[S,p;.] est born4e, il suffit donc de prouver que
m ~ qt(e)
K =
i=I t£Ti Pe(t)
u[s,p~] ~ K u[~1(s),p, ~]
Pour montrer que u[S,p;.] est born4e, il suffit donc de prouver que
u[ s , p ~ ] = o
VU P~(i)
u[~2(s),p,~] i---c Pe(±)
o p~(±)
~---o Pe(i)
et par cons4quent, pour toute librairie (S,p) avec S 6 R I * \ R I 0 et
tout ~ 6 E ,
e
u[s,p~] _~ u[~2(s~,p;~]
Une r@currence 4vidente implique que, pour montrer que u[S,p;. 3
co
u[s,p;~] = u[e,~,p;~]
la r 4 c u r r e n c e positive de (S,p).
Chapitre 9
distinctes.
gne par :
tion 8.1.11,
res suivants:
suivantes:
seulement si
n Pe
(I .4)
n=O i=O I - si(e)
sent@e & la fig. 14, la transience des chalnes (e,H~,p) n'est pas
tition de ~ \ ~ .
153
oo
1.1. Transience des l i b r a i r i e s (e,H1,P).
Rn'k(e,rt)
(I .6 Qk
Q*(a,b) = 7- (a,b),
k=0
(1 .7 Xa = ? {Q+(a,b) ; b 6 B n ( e ) \ aj ,
(I .8 = [ {PaXa ; a 6Bn(e) ~
Commenqons par d 4 m o n t r e r la
Proposition 1.1.
~1.13) 2 a-1
[(1-Sn(e))pal+1+pa]X a = EaP + ~ + T- poQ*(a, c ).
c#a
(1.14) (2+K).X a ~ ~ .
[(1-Sn(e))pZ1÷~nIe l+p2a-%] X a _~
et par cons4quent, pour tout a ~ Br;(e)\{e(O ),e(1)} ,
(1.15) Pe(o).[1-Pe(o)] .X a ~ ~ .
155
Donc si on pose
(1.16) C.X a g ~ •
Thgor~me 1.2.
n
1
(1.17) ~ ~ Vq % < ~ •
n=1 i=O
D@monstration.
Remarquons d'abord que l'hypoth~se lim ~a> 0 implique l'existence
n
d'un nombre positif K tel que pour tout n sauf un nombre fini,
sup { [ 1 - S n ( e ) ] / p a ; a ~ Bn(e)} g K.
d'o~
[1 - paPe(n)].Q*[a,e(n)] = Pe(n).[PaXe(n)+Xa]
et par suite
156
Pe(0) = tsup
~ Pe(t)'
on a
2 1 - paPe(n )
1 - Pe'o'tJ ~ 2 -1
I - pbPe(n)
.~ [1 - Pe(o)]
DI(K) Pa + Xa/Xe(n)
Ps(o)+D2(K) Pb ÷ Xb/Xe(~)
Par cons4quent, (1.18) implique
Q*[a,e(n)~
~1.18) Cl(K) ~ ~ C2(K)
Q*[b,e(n)]
avec CI(K) = [ 1 - P ~ ( 0 ) ] .C~ (K) et C2(K ) = 1/CI(K ).
qn = ~ Q* [a, e (n)]
a
et par suite
obtenir
n
I
[1.20) C1 (K) ~ Qn(e)/ n ~ qi g C2(K)
i=O
et le r4sultat provient de la proposition 2.2.1. []
ce.
Proposition I.~.
n
(e, ~
Hl,P) transiente ~ ~- ~1 ~ qi < ~
n=l i=O
D4monstration.
Remarquons que s i n 6 M,
n
Posons q(n) = ~ qi; un peu de calcul 414mentaire montre le r4-
i=O
sultat simple suivant.
Tn4or~me I.$.
D@monstration.
la s u i t e q ~ ~ d4finie par
t-1
qo = ql = I et qt - t pour t >~ 2.
n
I =
n=1 i=O n=1
et (e,'H1,
~ p) est transiente d'aor~s_ le tm4oreme 1.2,
d'autre part,
et (e,Ho,
~ p) es~ r4currente d'aor~s~ le th4or~me 6.3.3. []
159
& atteindre l'objectif que nous nous sommes fix4s dans ce paragra-
phe.
Th4or~me I.~.
(e,H 0 , p) ou (e,H~,p).
D4monstration.
A
Pe(o) = Pe(o)
A
(1.23) Pe(2n-1) = Pe(2n) (n ~ 1)
les sommets autres que la racine jouent le m~me r61e, que les li-
Nous avons
et
(1.25) qn - Pe(n) = I.
1 - Sn(e)
^
p d@signant la probabilit@ associ4e, selon (1.23), & p d4finie en
et
^ [1 si n = O
A Pe(n)
(1.26) qn- - 2 si n=2k, k~ I
I - ~n(e)
I/3 si n = 2 k - 1 , k ~ I.
n o~ n
qi >~ ~ qi =
= "= =1 '= n=l
e~ n ~ n
= 4 ,
n=O i=O qi = --
3 =
est impossible.
161
sont:
Les r4sultats que nous venons de rappeler montrent que, pour obtenir
sa r a c i n e ~ .
On pose
la ~-distance) Is] de s au c y c l e .
c e r la
D4finition 2.1.
structure S ~ R1 si:
r/~
". ! 5 ~- -%
\
g / . - " ~" e'L l~;r~ \
\
0 //
(~ -- 1 • • ° . .
4 ~:9 40 ~I ~Z
fig. 33
D4finition 2.2.
163
Soit une structure S ~ dont les sommets sont ~-num4rotgs par une
D4finition 2.~.
consid4rant que les sommets index6s par {0,1 ..... n] et p(n) est la
Nous n o t e r o n s
(2.3) u (s,p;.)
3.4.2.
164
Th@or&me 2.4.
Soit une structure S E ~ dont les sommets sont ~-num@rot@s par une
Un(S,p;~) ~ K
D@monstration.
~ =T-~ ~.
On a , _o o u r tous p ~ P+ , ~ ~E n et n > N,
s
un [ s , p ; ~ ] ~ ~.u [ 4 l ( s ) , p ; ~ ]
165
m n
i=I t~.T i =
Pe(s) ~ 2"Pe(t)
s--t
et par suite
m
~_~ cardT
l
K ~ 2 i=1
R I * \ R1 0 v e r s RI* ( d 4 f i n i t i o n 8.2.5).
Un[ S , p ;~ cardC
ture on a
n
Un[ S,p; ~] = ~ Q*(~) .
i=N
Th4or~me 2.~.
Soit une structure S ~ ~ dont les sommets sont [-num4rot@s par une
I 1
lim
n~ (n+1)! 1-Sn(e 5
D4monstration.
(2.4) - E Q[R(e,~) n B n* ( e ) ]
I - Sn(e) U 6 sne
X~ = {x£X ; e . x = ~ .
e~
Q(e) = ;- Qn(e) = lim Q[R(e,e)n B~(e)] []
n=O n-~
Corollaire 2.6.
Soit une structure S 6~ dont les sommets sont [-num4rot4s par une
tout e n t i e r n, par
I I
Pe(n) = ~ - ~ '
D4monstration.
I I I
(n+~TT, - ~ = Pe(~)~ T" Pe(~) = ~ '
m>n
168
et que
1 1
lim -- = lim (n+2) =
n-~ (n+1) ! I - Sn(e ) n~
Comme, de plus,
Pe(n+1) n+2
."%/ l / n ,
Pe(n) (n+l)(n+3)
Exemple 2. 7 .
I 1
+ Si la probabilit4 pest d4finie par Pe(n) = (n+I)!2
(n+2 !2'
alors (e, M ~~, p ) est r4currente positive.
1 1
+ Si la probabiiit4 pest d4finie par Pe(n) =
(n+l)! (n+2)
alors (,e,M~,p) est r4currente nulle.
8 r4current r4current
transient
positif nul
+ + +
+ +
+
PARTIE IV
QUESTIONS D'OPTIMALITE
Chapitre 10
T=[O,n], n 6~, de racine {0}. On salt que ces chalnes sont caractS-
finies
t-1 si t > ~ +1
t si t ~ ~.
~" 6 : 7"
fig. 34
te h y p o t h ~ s e , en p a r t i c u l i e r en m o n t r a n t l'optimalit4 de la police
plus simple.
celle de Rivest, portant, non pas sur lee coots de recherche, mais
1. La conjecture de R i v e s t .
naire associ~e & L; le choix (& t o u t instant) d'un livre est asso-
ci@ & une variable al~atoire X sur l'ensemble des livres B carac-
D@finition 1.1.
proposition 1.2.
c(T,p) = ~
(n~-~ t . P ~ ( t .UL(~)
~E t--0
e
D@monstration.
e t que
n
~-. ~-1(b).Pb = ~-- t . P ~ ( t ) .
b 6 B t=0
bg.B
et que
~ ~ (~)~ ~1(b)
IEZ 61 u~(~)
176
aCb
donner deux exemples d'un tel calcul: le premier, tr~s simple, fi-
gure dans presque tousles textes relatifs & ces questions; le se-
tr~s r a p i d e m e n t .
Proposition I.~.
n y -~
Soit L = ( e , M o , P ) g ~(n) une librairie de T s e t l i n st ( n)n= 0 sa li-
Pa
p [ yo I(~)< y~1(b}] =
Pa+Pb
Dgmonstration.
Proposition 1.A.
n -~
Soit la l i b r a i r i e mixte L = ( e , M 1 , p ) ~ ~ (n) et (Yn)n=O sa l i b r a i r i e
Dgmonstration.
177
+(1-Pb)P[14Y O + Pa P
oG qt(&)=p~(t)+P~(t+ 1)+...+p~(n),
E i j = { ~ ~ Ee ; ~-1(0)=i, ~-1(1)=j}
et par consequent
c~a,bU(Eac ) - p2a(I-Pa-P b)
(12) P[Y~l(~)4~<Y~l (b)] =
r@sultat cherch~. []
178
n
(1.3) c0(~) : c0(~) = ~- t.P~(t )
t=0
ambigu~tg.
On i n t r o d u i t alors la
D~finition I.~.
bre c k ( e , T , p ) d g f i n i par
ck(e,T,p) = ~- p(w).c~(e.w)
w gB k
On a a l o r s le r ~ s u l t a t immgdiat suivant.
Proposition 1.6.
D4monstration.
I1 s u f f i t d'observer que
pk
%(e,~,p) : 7- °o(~)" e , ~
e
male, i.e. une chaSne (e,T0,P) E ~(n) pour laquelle c(T,p) est m i n i -
n
C(~o,p) ~ c(~,~).
parlerons au p a r a g r a p h e 2.
de la police de t r a n s p o s i t i o n n p o u r les a p p r o x i m a t i o n s
L0 d'ordre I
et 2 de c ~ I p ) .
e •
180
On pose
=[~(t) si t ~ i
(1.5) 7(t) tt(t)+1 s± t = i.
j i n
0 j+l i n
fig. 35
Th4or~me 1.8.
01(e,~,P) ~ c l ( e , ' [ , p )
et par cons4quent, pour tout (e,~,p) 6 ~ ( 0 , n ) ,
Cl ( e , L 0n, P ) -4 c I (e,T,p).
D4monstration.
tout b ~ e(i),
o;(e.b/ -- Oo/O.b)
Par oons4quent
Th@or~me I. 9 .
c2(e,~,p) ~ c2(s,~,p)
n
c2(e,~o,p) ~ c2(e,~,p).
D4monstration.
Pour tout w ~ B 2, on p o s e
I. w = b l b 2 avec b 1 ~ e ( i ) et b 2 ~ e * b I (i).
(i.~) a(w) : o
2. w : b . e * b ( i ) avec b#e(i).
a. e - l ( b ) > i+1.
Alors e*b[f(i)] : eof(i) et e*b(i) : e(i); dono
b. e-1(b) = i+1.
Darts ce cas on a
3. w = ~ ( ± ) . b .
si e - l ( b ) = i-I, alors
1-I
[Pe(J)-Pe(i)] • [ ( l - k ) ( P e ( i ) + P e ( j )) - Pe(h)} "
h=k
vient
sitif.
abn4gation.
par
h. 6 T + d 4 f i n i e s par
1 n
On pose alors
h
(1.24) ci(~,p) = c ~(~,p) ( 0 ~ i < n).
certains calculs.
brairie L--(e,T,p) a ~ ( n ) ,
n
(1.25) ch(T,p) = E_ (t~__0 h(t) "Pn(t)) "UL (iT)
r[£E e
le montre la
Proposition 1.11.
+
h 6Tn, ch(T1 ,p) .~ ch(T2,p) si et seulement si pour tout i ~ [O,n-1]
n-1
ch(T,p) -- h(O) + ~ [h(i+1)-h(i)].oi(r,p)
i=O
ces de t r a n s p o s i t i o n L0,
n mais portant sur les mesures stationnaires
186
unitaires.
Conjecture 2.1.
n ~) ~ u ( e , ~ , p ; ~ )
VU~ Ee u(e,L0,P;
ture 2.1.
on d@signe par
notations.
187
Nous sommes & pr@sent en mesure d'4noncer les trois th4or~mes homo-
logues suivants.
}- u(e,zl,p~7~) 7- ~(e,T2,P;T~)
~EA ~EA
alors
o(~l,p) ~ o(~2,p).
Dgmonstration.
Soit PT la probabilitg attach4e & la librairie stationnaire (Yn)-n=0
~
associ4e & (e,T,p) ~ ( n ) ; il est clair que
(2.4)
I
{ I - P [Y~1(e(t)) < Y01(e(s))] 0
s=O
soit
188
0~t(s~n
Thgor~me 2.~.
si on a
alors
c0(T1,p) 4 c0(T2,p)
D4monstration.
u(e,T,p~E i) = ~ u(e,~,p;~).
rt~E.
1
Notre hypoth~se im~lique, en c o n s i d ~ r a n t dans la somme ci-dessous
u(e,T2,P;Ei)u(e,Tl,P;Ej)[Pe(i)-Pe(j)] 4 0
i,j
c'est-&-dire
u(e,~2,p;E)u(e,~1,p;&')~p~(0)-p~,(0)] 6 0
OU e n c o r e
Pn(0)u(e,r2,P;~)
~6E e ~£E e
o ° ( r l , v ) 4 o°(r2,p) . O
Th4or~me 2.4.
u(e,~1,v~) u(e,~2,V;~)
neA i
u(e,Tl,P;Vn) u(e,~2,P;TU)
alers
D@monstration.
'~0 =
ui+1 = 7i o ui (o~i&n-1)
(2.5)
transposition de ~4(i) et de e(i) si ~i(i)
est d i f f 4 r e n t de e~i)
Ti =
identit4 si ~i(i) = e(i).
Donc en p a r t i c u l i e r
(2.7) TIn = e
u(e'Tl'P;~i-1 ) u(e'l~2'P;~i-1 )
(2.8) = = 1
u(e,T 1,p;~i ) u(e,lr2,P;~ i)
190
e - l o ~ i _ l ( i - 1 ) > i-1
(2.7), ~n=e, on a
n u(e,z ,p;~i_1 )
u(e,~,p;~)-- N
i=I u(e,z,p;~i)
n
2.2. Etude des l i b r a i r i e s (e,T~,p).
tir4s de (Dies,1982b).
Proposition 2.~.
D4monstration.
Pe~+l)+Pe(~+2)+'''+Pe(n)4 P~(~÷I)+P~(~+2)~'''+P~(~)
et oeci est @vident puisque, d'apr~s (0.I), les Pe(i)' ~ +I ~ i~ n,
0 n n
L'4chelonnement analogue des coots de recherche c (To3,p) et c(T~,p)
Lemme 2.6.
ab ab
Soit a,b 6B; si on pose S O =O, S I =I et pour I~ ~ ~ n - 3
on a
sab sab & ab )2
" ~+2 (S~+I
Dgmons~ration.
2 2 2
Pal Pa2 . . .Pak
. Pc 1 Pc2 " " "Pc 2~-2k+2
o~ e -~ (c i) 4 e -~ (ci+ I).
[2~-2k+2) de
Le r4sultat cherch4 provient du fait que le hombre ~ ~-k
nonces.
Th4or&me 2. 7 .
n
Pour tous ~ , O& ~n-3, e et p tels que _(e,Tm , p ) £ ~ ( n ) , on a
D4monstration.
E : {~E e ; ~(o)=~}
on d 4 d u i t de (4.3.3) que
b
u~(Eb) Pb Se
(2.11)
u~(Ea) Pa S~
b Sb
S~ ~+1
(2,12) ~ ~ -
ab ab ab 2]
(pa-Pb). [ S~ S~+2 - (%+1) ~ 0
ce qui est vrai d'apr~s (0.1) et ie lemme 2.6. []
Th4or+me 2.8.
c(T~n,p) g cCT n
~+I,P) •
Dgmonstration.
Dans un premier temps nous allons montrer que [2.13) peut prendre
Posons
et
%(a,+) =
L'examen de la p o l i c e
n
T m montre que
il vient
Or, comme
P~[Y;I(a)4YoI(b)]+ P~[YoI(b)<YoI(a)] = 1,
on a
Pb-Pa
Q~(b, a)-Q~(a, b) = .[1 - 2X~(a,b)],
Pb+Pa
(2.18) ~ ( a , b) = paPbS~ab / 2 ~
aet ns contenant ni a ni b, il v i e n t
(2.19) B~ = PaPb
S ab
~ +
[ ~ S ab
'Pa+Pb ' ~+I +
S ab
~÷2 "
~ ab - ab
B~+I/B ~ ~ S~+I/S ~ ,
n
2.3. Etude des librairies (eTM~,p).
Dans son 4tude des librairies mixtes ( e , M ~n, p ) , Arnaud a 4mis l'hy-
Conjecture 2. 9 . ( A r n a u d , 1 9 7 7 )
n
Pour tous ~, O~ ~n-1, e et p tels que (e,M~,p)6~(n), on a
Mn n
le r~sultat suivant.
196
Th4or~me 2.10.
n
o(M~,p)~ c(%,p)
Ce dernier r4sultat g4n4ralisant un th@or~me classique de Rivest
Pour notre part, nous allons maintenant @tablir une propri4t4 des
la proposition 1.3.
Thgor~me 2.11.
Soit ~ , 0 g ~<n, n p)~(n),
(e,M~, ~ l'application caract4risant la
n
police M~ et a,b CB v4rifiant (2.1). A et ~ ayant 4t@ introduits
u ( e ,M~,p;
n ~)
~aA k
(2.22) n
~£A k
D4monstration.
I A2 o~
Ak = Ak + k'
~(a,b) . ~ . {PblP~
. . 2 k-1 k+1 e+1
Pbk_IPbk+1.--Pb~+l;biCbj,bi ~ {a,b}}
~ " 2 u( e,M~,p
n ;W)
cA k = Pk" ~'(a'b) P(-~a1 k
(2.26)
7- 2 u(e,M~,p;T~) k cr(a,b) =
Pa"
~eA k
o~
(2.27) ,~
u(e ,M~,p;~)
n
Pb
(2.29) W~EA~ =
u(e,~,p;~)
~A2 'j = Pb
(2.3o)
2,j u(e'M~'P;7~) Pa
N£A 1
sultat.
Th4or~me 2.12.
n
Pour tous ~, 0 ~ ~<n-1, e et p tels que (e,M~,p)~(n), on a
V ~ £ E/ e u(e, M ~+1,p;w)
n 4 u(e, M n
~,p;N)
D4monstration.
En u t i l i s a n t la f o r m u l e (3.4.7), on a
+ si O~i=~l(b)~ j=~-l(~)~; ~,
~k = 77 P~(h) - P~(j)'
h=k
on a
199
u(e, n ~-i
(~.33)
u(e, M~,p;7~)
n k= 1 pa+~ k
n n
u(e,M~+ I ,p;~) u(e,M~,p;~)
u(e,M n u(e ,M ~n , P ; T ~ )
~+I,P;7~)
(2.32) que
u(e, M~+I'P;~)
n Pb P a + ~ + l u(e , M ~n, P ; ~ )
= --° - - ,
u(e,M n u(e n
~+I 'p;TN) Pa Pb + ~ + I 'M~ 'p;Tn)
Pa + ~ + I Pa
Pb + ~ + I Pb
et par suite
u(e,M ~+1,p;N)
n u(e , M n~ , P ~ )
u(e M ~n+ l , p ; T , ) u(e M n
Th4or~me 2.1~.
saBre.
3. L i b r a i r i e s aux p r o b a b i l i t 4 s quasi-uniformes.
t4 d'6tre choisis.
De f a g o n pr4cise, on i n t r o d u i t la
D4finition ~.1.
telles que
En p a r t i c u l i e r , o n d@signera par
(3.2) (e,~,~)
n
une l i b r a i r i e de t r a n s p o s i t i o n (e,Lo,P)£~o(n).
(et pas (n+1)!) not4s xi, i~[O,n] ; l'4tat x i correspond aux diff4-
bution stationnaire de L = ( e , ~ , ~ ) ~ o ( n ) .
~o(n)? Un oalcul trivial montre que, T+n ayant 4t4 d@fini en (1.21),
n n
i=I i=1
(3.3) VhET +n
n n
Vierl,n3 ~ uk(zI)~ ~ ~k(~2)
k=i k=i
202
u.
(3.4) ~ i E [O,n-1] 1+1 (LI) Ui+1
(L2)
~ vi~D,~ ui(L1)4ui(L2).
ui(~ 1 ) ui(L 2)
i£ [ O , n - 1 ] ,
n
ui+ 1 (e,fo,,8)
n = ~I# ,
ui(s,{'o,#)
(3.3) m o n t r e en p a r t i c u l i e r que la c o n j e c t u r e 2.1 sera d4montr4e
on a
Ui+ I ( e , f ,~$)
(3.5) >., ~I~
ui(e,~,#)
Proposition ~.2.
ui+1(~1) ui+1(~ 2)
ui(~ I ) ui(~ 2)
alors, pour tout h £ T +
n~
h(~,~) ~ ch(~,~)
D4monstration
i6[o,n-1] et j>i,
uj(L I ) uj(L 2 )
Ri+ 1 (L 1 ) Ri+ 1 (L 2
& (o.~i~n)
Ri(L I ) Ri(L 2 )
du fait que
n
ZL i
uj(~) = R~+~(~) = [-] Rk+ ~ (L) []
j=i+1 RO(~) k=O Rk(L)
Dgmonstration.
~: 0 i 2 3 4 5 6
9: 0 1 2 3 a 5
fig. 36
et p ( i , i ) = I - ~. P(i,j).
j~i+1
Par cons4quent, apr~s simplification par ~ ,
V i E [1,n-1]
j~i+1 j~i
j([O,n-1]
Comme ~ k ~ 2, P ( O , k ) = O , on a a u s s i le s y s t ~ m e analogue
205
ui+1(~) ui(£)
V i 6. [I, n]
~i(~) %_1(£)
D'apr&s l'hypoth~se de r4currence, puisque ~6~0(n-I), on a
Si eJ =0, on a
Si ~>0, on a
donc
(3.7) ~/ff ~ ( ~ ) =
si t ~ k+1
0 si t = k+1.
A
Comme L = Lg, on d 4 d u i t de (3.6) que
(3.9) Vi>_.l
ui+1(~) ui+1(L)
ui(S~) ui(~)
D'autre part,
(k+l)~= /~ ul(T") 1+
u2(ro) +.... uk+l (t,~)] .
ul(t') ul(t~
Par cons4quent,
I u( ~ .+Uk+I(L~)
u I (L) k ~'uI (Lg)+'" u I (Lg)
uI(LQ) = ~ .
I+ "
u2(L) +...+
Uk(L)
u 1 (:L) u~ (t)
En u t i l i s a n t (3.9), u1(L)~ Ul(L~) 4quivaut &
Uk+1(L) g uj(L).
Par cons4quent, sous les hypotheses ±ndiqu4es, on a
(3.1o) que
(3.11) %(~).4ul(~(1)).4%(z,(2)).4 ... 4"1(T'(~)) •
v 7, e . t o ( n ) u I (T,) ~ I.
Si ~=0, alors
k ~ = ~ u 1(~). 1 + u2(~
ul(~) ) ~k(~')
ul(t) 1
+ ... + .
~ / ~ -~ " l ( r ) " []
APPENDICE
1 .I. D4finitions.
param~tres pet ~ .
D@finition 1.1.
=t V t ~ z).
(n+1)-uplets ( i o , i I ..... i n ) ~ ~ n + 1 o5 i k d @ s i g n e la p l a c e du m o b i l e
tuitif que cea chaSnes sont r@versibles; si tel eat bien le cas,
par:
(I .2) U ( ~ ; i o , i I ..... i n ) = J. ~ ~
j=O h=1 k=O ~p~(h)+~p~(k)
nant d~montrer le
Th@or~me 1.2.
Par consgquent:
D@monstration.
tel qu'il exists k avec i~=ik-1 (resp. ik+1 ) et, pour tout jJk,
~pj + # p ± p(s,s')
[]
Pi + ~ p j p(s',s)
e E e , par"
O0 n-1
%(n) + # Pe(k)
(1.3) u(~) = I--I I'-I
n=1 k=O
et, de plus,
Th4or~me I.~.
Par cons4quent
Proposition I .4.
Dgmonstration.
Proposition 1.~.
Pt+l
~(~,p,~) r~ourrente positive ~ ~=I et F. - ,
t=O Pt
D4monstration.
214
(1.3) que
dolt converger ce qui implique ~ =0; mais dans ce cas, (1.5) entrai
incompatible avec ~. Pt = I
t=O
Donc n~cessairement ~ >~ et le r a i s o n n e m e n t pr~c@dent montre
Pt+1
que ~ =1 st ~ ~ ~ ~ .
t=O Pt
Proposition 1.6.
D~monstration.
2. Piles de Tsetlin.
est suppos~ non borng (dgfinition 7.2.2). On peut alors choisir dans
~ ( t i ) = t i _ I.
1. t ~s,
n
t~rieurs & t .
n
/ t/,' , l" ; ,t i
, l:, ,' +,,'i ;'1, 7
,' J i , ' l ' 71 , ,
i'ti
, .,-,_., . , , . i S ; ," ...
~"i~_:<o,"
', ...--__o., - ,t L ,'
_.., - ( ~z,," "-" ,, ~kn /
fig. 37
attribue la probabilit@
216
de H, avec sa p r o b a b i l i t 4 p.
I I __/ /II ~ •
// II /ii ii
~ /i I iI
fig. 38
Tsetlin, oh non seulement les classeurs mais aussi les livres (ou
gement des classeurs est donn@ par T n T O T 1 ... Tn_ 1 Tn+ I Tn+ 2 ...,
cas e(n) et e(n') ont ~t~ transposes darts Tn). On peut alors consi-
@t~ remplac~ par une librairie de Tsetlin (& d e u x livres dans notre
exemple).
Th~or~me 2.1.
notre P(H) telle que tout mot de retour & l'origine pour H soit un
dans ce paragraphe.
Th@or~me 2.2.
218
Si on pose
n = Pe(o)+P~(1)+'''+P~(n) (~o),
alors
n P:(i)
n:O i:O 1 - s~(e)
implique la transience de H.
D@monstration
attach@e & l'arbre fini (Bn,~), une d-pile dont lee classeurs d'or
j(n), C k = Bn~T k-
Aho A.V., Denning P.J. and Ullman J.D. (1973) "Principles of opti-
PP. 80-93.
kov sur les p e r m u t a t i o n s " . Adv. Appl. Prob. 14, pp. 526-542.
765-766.
Kan Y.C. and Ross S.M. (1980) "Optimal list order under partial me-
Van N o s Z r a n d . N e w Jersey.
Clermont-Ferrand.
Universit~ de M o n t r e a l .
Presses de l ' U n i v e r s i t ~ de M o n t r e a l .
Alphabet 13
- de x 13
Approximation
- d'ordre k de c(~,p) 178
- d'ordre N d'une librairie VMFT 86
Arbre
- des transpositions 11
- de type fini 130
- de type infini 130
- lin@aire 3
- orient@ 2
- principal 10
Arbrisseau 10
- de Hendricks 11
Bord 10
Branchement de structures IO
Chaine r@versible 44
Classeur 216
Concat@nation 11, 26
Cycle 3
Disposition initiale 4
Distance
- d(s,t) 3
224
- Itl 3
Distribution stationnaire 38
Fiche 216
Int4rieur 111
Lettre 13
Librairie 20
voir aussi Structure
- de ~(n) 172
- de~o(n ) 200
- de ~(~,n) 172
- ~e ~o(~,n) 2oi
- de Tsetlin A(H) associ4e ~ une - de Hendricks H 215
- quotient 56
- stationnaire 25
- VMFT 85
M4moire principale 17
Mesure
- born~e 38
- sous-stationnaire 38
- stationnaire 37
- stationnaire homog~ne 39
- stationnaire unitaire 173
- strictement sous-stationnaire 38
Mot
- de passage 14
- de remise au z4ro 27
- de retour 14
- fini 13
225
~-num4rotation 161
Occurrence 13, 73
- active 73
derni~re - 13
derni~re - active 73
Op4rateur de r@duction
- ~ o 141
_ ~ ~ 142
- ~2 144
Pile
- de Tsetlin 217
- CLIMB 58
- FIFO 57
- LRU 57
Police 4
Racine 3
R4versible (chafne) 44
Sommet
- directement post4rieur 215
- extr~mal 111
Structure
- acyclique 5
- ~ racine 5
- cyclique 5
- cyclique born4e 110
- cyclique non born4e 110
- de Hendricks 8
- de la marguerite 9
- de Ln(Za) ~24
- de McCabe 7
- de permutation au sens large 5
- de permutation au sens strict 17
- de Rivest 8
226
- de transposition 7
- de Tsetlin 8
- du type ~ 151
- du type ~ 151
- du type ~ 140
- du type RO 135
- du type RI 139
- (e,H~) S6
- (e,~) a73
- (e, T~) 9
- lin~aire 5
- mixte 11
- mixte (e,M~) 12
- nulle 105
- r@currentel05