Benjamin_Loison/Variable_MLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update on Overleaf.

Browse Source
This commit is contained in:
Benjamin Loison
2023-06-26 16:37:14 +00:00
committed by node
parent 31a33219e7
commit c7ad2f265d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
properties.tex
View File

@@ -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 - é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 é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'<l, alors il est présent dans tous les niveaux interemédiaires entre l' et l - si un bloc de niveau l est présent dans un niveau l'<l, alors il est présent dans tous les niveaux intermédiaires entre l' et l
- pour un bloc de niveau l, pour tout 0 <= i < j <= l, on a pos(i, b) < pos(j, b) - pour un bloc de niveau l, pour tout 0 <= i < j <= l, on a pos(i, b) < pos(j, b)