Изменения
Нет описания правки
При необходимости построить префиксный код с большим числом кодовых слов заданной длины проверка существования такого кода может быть достаточно сложной.
Но неравенство Крафта даёт необходимое и достаточное условие существования префиксных и любых '''[[Кодирование информации | однозначно декодируемых кодов]]''', обладающих заданным набором длин кодовых слов.
{{Теорема
|about=неравенство Крафта (англ. Kraft's inequality)