情報理論・符号理論の問題
5 個の情報源記号 に、符号アルファベット の 2 元語頭符号(瞬時符号)を割り当てる。各符号語の長さを
とするとき、このような 2 元語頭符号が存在するような正の整数 のうち、最小のものを求めよ。
この問題で使うもの
- 語頭符号とクラフトの不等式(説明と入口の問題)
この問題を解けるようになるまで(12 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
クラフトの不等式 ()を使って、語頭符号が存在する条件を の不等式で表しましょう。
ヒント 2
わかっている 4 つの符号長について を計算し、残りの「余裕」に が収まる条件を考えます。
ヒント 3
より となります。これを満たす最小の正の整数 を求めましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
使う事実(クラフトの不等式)
符号長 の 元語頭符号が存在するための必要十分条件は
である。ここでは である。
ステップ 1:わかっている符号長の和を計算する。
ステップ 2:クラフトの不等式に を入れる。
ステップ 3: の条件を求める。
指数関数 は増加関数なので、。
念のため確認すると、 なら 、 なら で不等式を満たさず、 なら で満たす。
ステップ 4:実際に符号語を作って確かめる。
のとき、たとえば
とすれば、どの符号語もほかの符号語の語頭になっていないので語頭符号である。
よって求める最小の は である。
別解
クラフトの不等式より、2元語頭符号が存在する必要十分条件は である。
より 、すなわち 。
検算(): 符号語を とすると、どの符号語も他の符号語の接頭語になっていないので語頭符号である。
のとき なので不可能。 も同様に不可能。
よって最小の は 3。