diff --git a/properties.tex b/properties.tex index d9f2bd2..258e301 100644 --- a/properties.tex +++ b/properties.tex @@ -1,9 +1,9 @@ -- le nombre de blocks dans le compressé est une fonction croissante de la taille de la chaine +- le nombre de blocs dans le compressé est une fonction croissante de la taille de la chaîne - étant donné un compressé C de niveau l, l'ajout d'un bloc b à C donne C' de niveau l' \geq l - si un bloc de niveau l est éjecté du niveau l, alors il n'est plus présent du tout dans le compressé -- si un bloc de niveau l est présent dans un niveau l'