克拉夫特不等式

设符号表中的原始符号为

${\displaystyle S=\{\,s_{1},s_{2},\ldots ,s_{n}\,\}}$

在大小为${\displaystyle r}$的字符集上编码为唯一可解编码的码字长度为

${\displaystyle \ell _{1},\ell _{2},\ldots ,\ell _{n}.}$

则

${\displaystyle \sum _{i=1}^{n}r^{-\ell _{i}}\leqslant 1.}$

反之, 给定一个满足上述不等式的自然数集合 ${\displaystyle \ell _{1},\ell _{2},\ldots ,\ell _{n}}$ , 则在大小为${\displaystyle r}$字符集上，存在一组唯一可解编码符合相应的码字长度。

• Kraft's inequality (NIST) （页面存档备份，存于）