![Page 1: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/1.jpg)
Une nouvelle bijection pour la génération aléatoirede chemins de m-Dyck
Axel Bacher
LIPN, Université Paris 13
8 mars 2016
![Page 2: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/2.jpg)
Sommaire
1 Introduction
2 Dépliement et repliement
3 Génération aléatoire
4 Complexité et loi limite
5 Perspectives
![Page 3: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/3.jpg)
Chemins de m-Dyck et arbres (m + 1)-aires
Chemin de m-Dyck : chemin dans N de 0 à 0 à pas dans {+1,−m}.Le nombre de chemins de longueur n = (m+ 1)d est :
1n+ 1
(n+ 1d
)(nombres de Fuss-Catalan).Génération aléatoire basée sur le lemme cyclique [Devroye 2012] :nécessité de tirer une permutation aléatoire, d’où coût n logn.
![Page 4: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/4.jpg)
Préfixes de Dyck et chemins de Łukasiewicz (m = 1)
Il existe une bijection (repliement) des préfixes de Dyck vers leschemins de Łukasiewicz pointés.Génération aléatoire des préfixes de Dyck en O(n).[Barcucci, Pinzani & Sprugnoli 1992 ; B., Bodini & Jacquot 2015]
![Page 5: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/5.jpg)
Chemins de m-Łukasiewicz pointés
Chemin de m-Łukasiewicz : chemin positif sauf à son extrémité.
Factorisation associée à un point distingué :
p q0d · · · qkd.
Contraintes si hauteur finale `−m− 1 :{0 ≤ h(qi) ≤ m− 1, 0 ≤ i ≤ k − 10 ≤ h(qk) ≤ `− 1.
![Page 6: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/6.jpg)
Chemins de m-Łukasiewicz pointés
Chemin de m-Łukasiewicz : chemin positif sauf à son extrémité.Factorisation associée à un point distingué :
p q0d · · · qkd.
Contraintes si hauteur finale `−m− 1 :{0 ≤ h(qi) ≤ m− 1, 0 ≤ i ≤ k − 10 ≤ h(qk) ≤ `− 1.
![Page 7: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/7.jpg)
Chemins de m-Łukasiewicz pointés
Chemin de m-Łukasiewicz : chemin positif sauf à son extrémité.Factorisation associée à un point distingué :
p q0d · · · qkd.
Contraintes si hauteur finale `−m− 1 :{0 ≤ h(qi) ≤ m− 1, 0 ≤ i ≤ k − 10 ≤ h(qk) ≤ `− 1.
![Page 8: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/8.jpg)
Préfixes de m-Dyck décorés
a0 = 1a1 = 3
a2 = 2
Soit w un préfixe de m-Dyck de hauteur (m+ 1)k + `.Une décoration de w est une suite (a0, . . . , ak) avec :{
1 ≤ ai ≤ m, i = 0, . . . , k − 11 ≤ ak ≤ `
(il y a mk` décorations possibles).
Factorisation associée à la décoration :puq0 · · ·uqk, h(uqi) = ai.
![Page 9: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/9.jpg)
Préfixes de m-Dyck décorés
a0 = 1a1 = 3
a2 = 2
Soit w un préfixe de m-Dyck de hauteur (m+ 1)k + `.Une décoration de w est une suite (a0, . . . , ak) avec :{
1 ≤ ai ≤ m, i = 0, . . . , k − 11 ≤ ak ≤ `
(il y a mk` décorations possibles).Factorisation associée à la décoration :
puq0 · · ·uqk, h(uqi) = ai.
![Page 10: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/10.jpg)
Dépliement et repliement
puq0 · · ·uqk p q0d · · · qkd
ThéorèmeLe repliement est une bijection des préfixes de m-Dyck décorés vers leschemins de m-Łukasiewicz pointés. Déplier ou replier ne demande de lireque la partie du chemin après le point.
![Page 11: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/11.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 12: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/12.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 13: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/13.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 14: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/14.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 15: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/15.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 16: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/16.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .
Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 17: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/17.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 18: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/18.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 19: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/19.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 20: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/20.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 21: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/21.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 22: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/22.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.
À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 23: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/23.jpg)
Préfixe de m-Dyck aléatoire
On tire des pas u avec probabilité mm+1 , d avec probabilité 1
m+1 .Si on crève le plancher, on pointe aléatoirement et on déplie.À tout moment, les chemins de hauteur (m+ 1)k + ` ont pourprobabilité proportionnelle à mk.
![Page 24: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/24.jpg)
Chemin de m-Łukasiewicz aléatoire
On tire un préfixe de m-Dyck aléatoire avec la procédure précédentede longueur n = (m+ 1)d+ ` et hauteur h = (m+ 1)k + `.On décore aléatoirement ce préfixe et on replie.Le résultat est un chemin de m-Łukasiewicz pointé uniforme.
![Page 25: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/25.jpg)
Complexité
Chemin de m-Łukasiewicz aléatoirew ← εfor i = 1, . . . , n do
s← u avec probabilité mm+1 , d sinon
β
w ← ws
1
if h(w) < 0 thenpointer aléatoirement w
O(log i)
déplier w (oublier la décoration)
Unif{1, . . . , i}
end ifend fordécorer aléatoirement w
O(√n)
replier w (oublier le point)
Unif{1, . . . , n}
return w
On s’intéresse à la complexité en bits aléatoires et en accès mémoire.Les branches if sont indépendantes de probabilité ≈ 1
2i .
![Page 26: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/26.jpg)
Complexité
Chemin de m-Łukasiewicz aléatoirew ← εfor i = 1, . . . , n do
s← u avec probabilité mm+1 , d sinon
β
w ← ws
1
if h(w) < 0 thenpointer aléatoirement w
O(log i)
déplier w (oublier la décoration)
Unif{1, . . . , i}
end ifend fordécorer aléatoirement w
O(√n)
replier w (oublier le point)
Unif{1, . . . , n}
return w
On s’intéresse à la complexité en bits aléatoires et en accès mémoire.
Les branches if sont indépendantes de probabilité ≈ 12i .
![Page 27: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/27.jpg)
Complexité
Chemin de m-Łukasiewicz aléatoirew ← εfor i = 1, . . . , n do
s← u avec probabilité mm+1 , d sinon β
w ← ws 1if h(w) < 0 then
pointer aléatoirement w O(log i)déplier w (oublier la décoration) Unif{1, . . . , i}
end ifend fordécorer aléatoirement w O(
√n)
replier w (oublier le point) Unif{1, . . . , n}return w
On s’intéresse à la complexité en bits aléatoires et en accès mémoire.
Les branches if sont indépendantes de probabilité ≈ 12i .
![Page 28: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/28.jpg)
Complexité
Chemin de m-Łukasiewicz aléatoirew ← εfor i = 1, . . . , n do
s← u avec probabilité mm+1 , d sinon β
w ← ws 1if h(w) < 0 then
pointer aléatoirement w O(log i)déplier w (oublier la décoration) Unif{1, . . . , i}
end ifend fordécorer aléatoirement w O(
√n)
replier w (oublier le point) Unif{1, . . . , n}return w
On s’intéresse à la complexité en bits aléatoires et en accès mémoire.Les branches if sont indépendantes de probabilité ≈ 1
2i .
![Page 29: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/29.jpg)
Complexité (suite)
ThéorèmeLe coût en bits aléatoires et accès mémoire vérifie :
Bnn
d−→ β ; Mn
n
d−→ 1 +X + Unif[0, 1].
Le nombre β est le coût en bits aléatoires de Bernouilli( 1m+1
).
D’après [Knuth & Yao 1976], on peut prendre :
β ∼ − 1m+1 log2
( 1m+1
)− m
m+1 log2(
mm+1
).
La loi X est définie par :
X =∑x∈S
Unif[0, x],
où S est un processus de Poisson de densité λ(x) = 12x sur ]0, 1].
En particulier :
E(Mn) ∼ 7n4 , V(Mn) ∼ n2
6 .
![Page 30: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/30.jpg)
Complexité (suite)
ThéorèmeLe coût en bits aléatoires et accès mémoire vérifie :
Bnn
d−→ β ; Mn
n
d−→ 1 +X + Unif[0, 1].
Le nombre β est le coût en bits aléatoires de Bernouilli( 1m+1
).
D’après [Knuth & Yao 1976], on peut prendre :
β ∼ − 1m+1 log2
( 1m+1
)− m
m+1 log2(
mm+1
).
La loi X est définie par :
X =∑x∈S
Unif[0, x],
où S est un processus de Poisson de densité λ(x) = 12x sur ]0, 1].
En particulier :
E(Mn) ∼ 7n4 , V(Mn) ∼ n2
6 .
![Page 31: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/31.jpg)
Complexité (suite)
ThéorèmeLe coût en bits aléatoires et accès mémoire vérifie :
Bnn
d−→ β ; Mn
n
d−→ 1 +X + Unif[0, 1].
Le nombre β est le coût en bits aléatoires de Bernouilli( 1m+1
).
D’après [Knuth & Yao 1976], on peut prendre :
β ∼ − 1m+1 log2
( 1m+1
)− m
m+1 log2(
mm+1
).
La loi X est définie par :
X =∑x∈S
Unif[0, x],
où S est un processus de Poisson de densité λ(x) = 12x sur ]0, 1].
En particulier :
E(Mn) ∼ 7n4 , V(Mn) ∼ n2
6 .
![Page 32: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/32.jpg)
La loi limite X
Résultats sur la loi XLes cumulants valent :
κn(X) = 12n(n+ 1) .
La fonction de répartition F (x) = P(X ≤ x) est définie par :
F (x) + F ′(x) + 2xF ′′(x) = F (x− 1), x > 0 ;
F (x) =√
2e1−γ
πsin√
2x, 0 ≤ x ≤ 1.
La queue de distribution vérifie quand x→∞ :
1− F (x) ∼ x−x(log x)−2x(e/2)x+o(x).
![Page 33: Unenouvellebijectionpourlagénérationaléatoire decheminsde ...alea2016.gforge.inria.fr/slides/Bacher.pdf · Préfixesdem-Dyckdécorés a 0 = 1 a 1 = 3 a 2 = 2 Soitwunpréfixedem-Dyckdehauteur(m+1)k+‘](https://reader033.vdocuments.fr/reader033/viewer/2022051805/5ff6d208b0606842e019b769/html5/thumbnails/33.jpg)
Perspectives
Peut-on appliquer une méthode semblable pour d’autres objets(clubs de Duchon...) ?