Qu'est-ce que Inégalité de Kraft ?
L'inégalité Σ 2^(−lᵢ) ≤ 1, condition nécessaire et suffisante pour qu'il existe un code préfixe binaire de longueurs de code l₁, l₂, …, lₙ. On la comprend facilement en remarquant qu'utiliser un mot de code de longueur l exclut toutes les suites de bits qui commencent par lui, ce qui occupe 2^(−l) de l'ensemble. Par exemple, les longueurs 1, 2, 3, 3 donnent une somme exactement égale à 1 et peuvent être réalisées par 0, 10, 110, 111. Tout code décodable de manière unique satisfait cette inégalité (théorème de McMillan) : pour choisir des longueurs de code, il suffit donc de chercher parmi les codes préfixes.
Nom japonais: クラフトの不等式
« Inégalité de Kraft » apparaît dans 2 questions d'entraînement réparties sur 1 thèmes, dont Bases de la théorie de l'information et du codage.