クラフトの不等式
#情報の圧縮
符号長が$ l_1, l_2, \dots, l_Mの$ M個の符号語を持つ2元瞬時符号が存在するための必要十分条件は次の不等式が成り立つことである。
$ \sum_{i=1}^M 2^{-l_i} \le 1
符号のセットにのみ着目している定理であることが特徴
$ Mが同じなら符号長が長いほど満たされやすいと言える
具体例