Was ist Kraft-Ungleichung?
Die Ungleichung Σ 2^(−lᵢ) ≤ 1, die notwendige und hinreichende Bedingung dafür, dass ein Präfixcode aus 0 und 1 mit den Codewortlängen l₁, l₂, …, lₙ existiert. Man versteht sie leicht, wenn man bedenkt, dass ein Codewort der Länge l alle Bitfolgen sperrt, die mit ihm beginnen, und damit 2^(−l) des Ganzen belegt. Zum Beispiel ergibt sich für die Längen 1, 2, 3, 3 genau die Summe 1, und sie lassen sich als 0, 10, 110, 111 realisieren. Jeder eindeutig dekodierbare Code erfüllt diese Ungleichung (Satz von McMillan); bei der Wahl der Codewortlängen genügt es daher, unter den Präfixcodes zu suchen.
Japanische Bezeichnung: クラフトの不等式
„Kraft-Ungleichung“ kommt in 2 Übungsfragen aus 1 Themen vor, z. B. Grundlagen der Informationstheorie und Kodierung.
Fachgebiet: Grundlagen der Informationstheorie und Kodierung