定理の形式的記述

ウィキペディア小見出し辞書

定理の形式的記述

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2012/05/01 12:28 UTC 版)

「クラフトの不等式」の記事における「定理の形式的記述」の解説

を符号化関数とし、の文字数をとする。 このとき、φが一意に復号可能なら、 が成立する。この不等式をクラフトの不等式と呼ぶ。 （なおクラフトの不等式において等号が成立する必要十分条件は、φが完全な符号である事である。） 逆に自然数がクラフトの不等式を満たすなら、ある一意に復号可能な符号化関数が存在し、任意のiに対しの文字数がとなる。