TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
34 Chap. 1 – Part. 1.3<br />
ne change pas ; on met alors un point au-<strong>de</strong>ssous <strong>de</strong> cette place ; sinon, <strong>le</strong><br />
nombre <strong>de</strong> <strong>de</strong>scentes augmente d’une unité ; on met, dans ce cas, un point<br />
au-<strong>de</strong>ssus <strong>de</strong> cette place. On renumérote <strong>le</strong>s points 0, 1, 2, · · · , n − 1 en<br />
commençant <strong>de</strong> droite à gauche <strong>pour</strong> <strong>le</strong>s points en bas ; puis <strong>de</strong> gauche à<br />
droite <strong>pour</strong> ceux du haut. On construit ainsi l’inverse <strong>de</strong> la renumérotation<br />
associée. On la notera ρ −1<br />
k .<br />
Par exemp<strong>le</strong>, si on prend k = 5 et π = 71548326, on a ρ −1<br />
k<br />
:<br />
0 1 2 3 4 5 6 7 8<br />
4 5 3 6 2 7 1 0 8<br />
ρ −1<br />
k (x) •5 •6 •7 •8 πx < 5<br />
πx+1<br />
π = (0) 7 1 5 4 8 3 2 6 (0)<br />
<strong>le</strong>s places x 0 1 2 3 4 5 6 7 8<br />
πx > 5 πx+1<br />
ρ −1<br />
k (x) •4 •3 •2 •1 •0<br />
D’après <strong>le</strong>s <strong>de</strong>ux <strong>le</strong>mmes précé<strong>de</strong>nts, en examinant <strong>le</strong>s changements <strong>de</strong><br />
l’indice majeur, on peut vérifier <strong>le</strong> théorème suivant :<br />
TH ÉORÈME 4.8. — La M-bijection Ψk est (<strong>de</strong>s, maj)-codageab<strong>le</strong> et a<br />
<strong>pour</strong> renumérotation ρk.<br />
On prend la permutation π = 71548326 et k = 5 ; <strong>le</strong>s exemp<strong>le</strong>s du<br />
tab<strong>le</strong>au 3 vérifient ce théorème :<br />
x Ψ5(π, x) <strong>de</strong>s maj ρ −1<br />
k (π, x)<br />
0 5 7 1 5 4 8 3 2 6 4 19 4<br />
1 7 5 1 5 4 8 3 2 6 5 20 5<br />
2 7 1 5 5 4 8 3 2 6 4 18 3<br />
3 7 1 5 5 4 8 3 2 6 5 21 6<br />
4 7 1 5 4 5 8 3 2 6 4 17 2<br />
5 7 1 5 4 8 5 3 2 6 5 22 7<br />
6 7 1 5 4 8 3 5 2 6 4 16 1<br />
7 7 1 5 4 8 3 2 5 6 4 15 0<br />
8 7 1 5 4 8 3 2 6 5 5 23 8<br />
Tab<strong>le</strong>au 3<br />
=