12.08.2013 Views

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 ...

SHOW MORE
SHOW LESS

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 />

=

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!