UNE ÉTAPE D'UNE CHAÎNE — CE QUI ENTRE, CE QUI SORT, CE QUI CASSE ENSUITE
Où cette étape se situe dans la chaîne d'encodage
Un encodeur vidéo n'est pas un algorithme mais huit étapes dans un ordre fixe, et cet ordre n'est pas arbitraire : chaque étape existe parce que la précédente a rendu son travail possible. Cet outil modélise l'une d'elles. La chaîne ci-dessous renvoie aux sept autres.
Aire de jeu du codage entropique — compacte les symboles quantifiés dans le moins de bits que leur statistique autorise
- Ce qui entre
- Un flux d'entiers quantifiés, fortement penché vers zéro.
- Ce qui sort
- Le train de bits final. Rien n'est jeté ici.
- Ce que suppose l'étape suivante
- Rien en aval — c'est la dernière étape de codage. Ce qu'elle suppose est en amont : que la distribution des symboles a déjà été rendue déséquilibrée pour elle.
- Ce qui se casse ici
- Aucun codeur entropique ne peut descendre sous l'entropie de Shannon de ce qu'on lui donne : son plafond est donc fixé entièrement par les étapes antérieures. Sur des coefficients non quantifiés il trouve peu de redondance, et c'est la raison pour laquelle l'étape avec perte vient d'abord et non en dernier.
Problème entièrement résolu
-
La marge restante pour un algorithme plus astucieux que Huffman sur 16 symboles 6 étapes
16 symboles, loi de Laplace, entropie 3,010 bits. Huffman obtient 3,012. Calculez la marge d'amélioration restante pour un algorithme plus ingénieux.
-
L'entropie est la surprise moyenne, en bits, d'un symbole tiré de cette distribution. C'est une propriété des seules probabilités et elle ne sait rien d'un quelconque code.
-
L'alternative naïve donne à chaque symbole le même nombre de bits, et 16 symboles en nécessitent 4. C'est la référence par rapport à laquelle l'économie est mesurée.
-
Huffman attribue des codes courts aux symboles fréquents et des codes longs aux symboles rares, et la moyenne est la longueur pondérée par les probabilités.
-
L'économie compare les deux longueurs de code, et non le code avec l'entropie — c'est pourquoi il s'agit d'une affirmation sur cette alternative plutôt que sur la limite.
-
Comparons maintenant à la limite. Le théorème du codage de source de Shannon indique qu'aucun code préfixe ne peut descendre sous H, et Huffman est garanti de se situer sous H + 1.
-
Exprimez l'écart restant sous forme de fraction et la question de l'optimisation trouve d'elle-même sa réponse.
Réponse
0,002 bit par symbole, soit 0,07 %. Le théorème de Shannon encadre tout code préfixe entre H et H + 1, et l'algorithme de Huffman y est prouvé optimal. Aucun code préfixe ne battra donc jamais 3,012 sur ce texte. L'économie de 24,7 % par rapport au codage à longueur fixe est bien réelle, et les 0,07 % restants représentent tout ce qu'une ingénierie plus fine pourrait encore apporter. Au-delà, la compression progresse en modifiant le modèle plutôt que le code : si des symboles voisins sont corrélés, l'entropie de la distribution conditionnelle est inférieure à 3,010. C'est là une tout autre mesure.
-
Références (1)
- Insight block 2 — entropy as average surprise, and the limit Huffman cannot beat: C. E. Shannon, "A Mathematical Theory of Communication." Bell System Technical Journal 27(3), 379–423, 1948.