Wat is Ongelijkheid van Kraft?
De ongelijkheid Σ 2^(−lᵢ) ≤ 1, de nodige en voldoende voorwaarde opdat een binaire prefixcode met codelengtes l₁, l₂, …, lₙ bestaat. Ze is makkelijk te begrijpen door op te merken dat het gebruik van één codewoord van lengte l alle bitreeksen uitsluit die ermee beginnen, wat 2^(−l) van het geheel inneemt. De lengtes 1, 2, 3, 3 geven bijvoorbeeld een som van precies 1 en kunnen worden gerealiseerd als 0, 10, 110, 111. Elke code die op slechts één manier decodeerbaar is, voldoet aan deze ongelijkheid (stelling van McMillan), dus bij het kiezen van codelengtes volstaat het om onder de prefixcodes te zoeken.
Japanse benaming: クラフトの不等式
“Ongelijkheid van Kraft” komt voor in 2 oefenvragen uit 1 onderwerpen, bijv. Basis van informatietheorie en codering.
Vakgebied: Basis van informatietheorie en codering