クラフトの不等式

3行要約

1. 接頭符号が存在するための必要十分条件を、符号語の長さの和で表したもの。
2. 情報理論において、効率的なデータ圧縮が可能かどうかを判断する基準となる。
3. ハフマン符号などの最適な符号化手法の理論的基礎を支えている。