クラフトの不等式

ウィキペディア

クラフトの不等式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/11/03 01:29 UTC 版)

クラフトの不等式（クラフトのふとうしき、英: Kraft's inequality）は、符号理論における不等式の1つで可変長符号が一意復号可能である為の必要条件を与える。等号成立条件は符号が完全である事である。クラフトの不等式は可変長符号が一意復号可能である為の十分条件ではないが、クラフトの不等式を満たす任意のパラメータに対し、そのパラメータを実現する一意復号可能な可変長符号の存在性が保証される。