クラフトの不等式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/11/03 01:29 UTC 版)
クラフトの不等式(クラフトのふとうしき、英: Kraft's inequality)は、符号理論における不等式の1つで可変長符号が一意復号可能である為の必要条件を与える。等号成立条件は符号が完全である事である。クラフトの不等式は可変長符号が一意復号可能である為の十分条件ではないが、クラフトの不等式を満たす任意のパラメータに対し、そのパラメータを実現する一意復号可能な可変長符号の存在性が保証される。
- 1 クラフトの不等式とは
- 2 クラフトの不等式の概要
- 3 接頭符号の場合の証明
- 4 一般の場合の証明
- 5 例
- 6 外部リンク
クラフトの不等式と同じ種類の言葉
- クラフトの不等式のページへのリンク