確率変数 は に値をとり、その確率分布は次のとおりである。
のエントロピー
を求めよ。
情報理論・符号理論
扱うテーマ: エントロピー・条件付きエントロピー・相互情報量、通信路容量(2 元対称通信路など)、ハフマン符号の平均符号長・クラフトの不等式、線形符号の生成行列・検査行列と最小距離、ハミング符号・巡回符号の誤り訂正能力
難易度の目安(大学数学)
- 難易度 1 教科書の例題レベル
- 難易度 2 教科書の演習問題レベル
- 難易度 3 期末試験の応用レベル
- 難易度 4 大学院入試の標準レベル
- 難易度 5 大学院入試の難問・数学コンテストレベル
から までの整数が つずつ書かれた正八面体のさいころがある。どの目も同じ確率 で出るものとする。このさいころを 回投げ、出た目の数を 進法で表したときの桁数を とする(たとえば、目が のときは なので である)。
確率変数 のエントロピー
を求めよ(単位はビット)。確率変数 は に値をとり、その確率分布は次の表で与えられる。
のエントロピー を求めよ。ただし、 と約束する。
5 個の情報源記号 に、符号アルファベット の 2 元語頭符号(瞬時符号)を割り当てる。各符号語の長さを
とするとき、このような 2 元語頭符号が存在するような正の整数 のうち、最小のものを求めよ。符号アルファベットを とする 3 元符号を考える。符号長 の符号語が 個、符号長 の符号語が 個、符号長 の符号語が 個からなる語頭符号(瞬時符号)が存在するような正の整数 の最大値を求めよ。
記号 を使う 2 元符号を考える。長さ の符号語が 個、長さ の符号語が 個、長さ の符号語が 個からなる語頭符号(瞬時符号)を作りたい。ただし、どの 2 つの符号語も互いに異なるものとする。このような語頭符号が存在する 0 以上の整数 のうち、最大のものを求めよ。
3 元体 (演算は を法とする)上の符号長 の線形符号 を、生成行列
によって と定める( は行ベクトル)。ベクトルのハミング重みを でない成分の個数とし、 の最小距離 を の でない符号語のハミング重みの最小値とする。また、ハミング重みがちょうど である符号語の個数を とする。 と をこの順に組 で求めよ。3 元体 (演算は を法とする)上で、符号長 の線形符号 を生成行列
で定める。すなわち とする。符号語 のハミング重みを でない成分の個数とし、 の最小距離 を の でない符号語の重みの最小値とする。また、重みがちょうど である符号語の個数を とする。 と をこの順に組 で求めよ。3 元体 (演算は を法とする)上の符号長 の線形符号 を、生成行列
によって と定める。符号語のハミング重みを でない成分の個数とし、 の最小距離 を でない符号語の重みの最小値とする。 の最小距離 と、重みがちょうど である符号語の個数 を、組 の形でこの順に求めよ。確率変数 は に、確率変数 は に値をとり、同時分布 が次の表で与えられている。
を与えたときの の条件付きエントロピー を求めよ。ただし、対数の底は とし、 と約束する。確率変数 は に、確率変数 は に値をとり、同時分布 が次の表で与えられている。
エントロピーの対数の底は とし、 と約束する。同時エントロピー と条件付きエントロピー を、この順に組 の形で求めよ。
確率変数 と の同時分布 が次の表で与えられている。
対数の底を とし、 と約束する。同時エントロピー と条件付きエントロピー を、この順に組で求めよ。情報源の記号 が、それぞれ確率
で出力される。この情報源に対して 2 元ハフマン符号(符号記号は )を構成するとき、1 記号あたりの平均符号長 を求めよ。情報源の記号 が、それぞれ確率
で独立に出力される無記憶情報源を考える。この情報源に対して 2 元(記号 )のハフマン符号を構成するとき、1 記号あたりの平均符号長 を求めよ。ただし は の確率、 は に割り当てられた符号語の長さとする。情報源の記号 が、それぞれ確率
で出力される。この情報源に対して 元ハフマン符号(符号アルファベット )を構成するとき、 記号あたりの平均符号長 を求めよ。ただし は の確率、 は の符号語の長さである。二元体 上の符号長 の線形符号 が、組織形の生成行列
で与えられている。 の検査行列 を求め、 の列の一次独立性を調べることで、 の最小距離 と、ハミング重みが である符号語の個数 を求めよ。答えは の順の組で答えよ。二元体 上の符号長 の線形符号 を、検査行列
を用いて と定める。 の次元 、最小距離 、ハミング重みが である符号語の個数 を、組 の形でこの順に求めよ。二元体 上の符号長 の線形符号 を、検査行列
によって と定める。 の次元 、最小距離 、重み の符号語の個数 を求め、組 の形で答えよ。二元体 上で、生成行列
で定まる符号長 の線形符号 を考える。 の最小距離を とし、 とする。の符号語を、各ビットが互いに独立に確率 で反転する( と が入れ替わる)2 元対称通信路で送信し、受信語を最小距離復号する。ただし、送信語に生じた誤りの個数が 個以下のときは正しく復号され、 個以上のときは正しく復号されないものとする。
正しく復号される確率を求めよ。
二元体 上で、生成行列
で定まる符号長 の線形符号 を考える。 の符号語を、ビット誤り確率 の 2 元対称通信路で送る。各ビットの誤りは互いに独立に起こるものとする。受信側では最小距離復号(受信語にハミング距離が最も近い符号語に復号する)を行う。送った符号語が正しく復号される確率を、既約分数で求めよ。
符号長 の 2 元符号
を考える。 の符号語を、ビット誤り確率 の 2 元対称通信路で送る。各ビットは互いに独立に確率 で反転する。受信側では次のように復号する。 の最小距離を とし、 とおく。受信語とのハミング距離が 以下の符号語があれば、その符号語に復号する。そのような符号語がなければ、復号失敗とする。
送った符号語が正しく復号される確率を求めよ。
三元体 ( を法とする演算)上で考える。 より は を割り切るので、 を生成多項式とする符号長 、次元 の巡回符号 が定まる。ここで語 を多項式 と同一視する。
情報 を で表し、次の組織符号化を行う: を で割った余りを として、符号語を
とする。情報 を符号化したときの符号語 を求めよ。各成分は のいずれかで答えること。
二元体 上で、生成多項式
で定まる符号長 、次元 の巡回符号 を考える( は を割り切る)。語 は多項式 と同一視する。情報 は と同一視し、次のように組織符号化する。
- を で割った余りを とする。
- 符号語を とする。すなわち である。
情報 を符号化して得られる符号語 を求めよ。
二元体 上で、生成多項式
で定まる符号長 、次元 の巡回符号 を考える( なので、 は を割り切る)。情報語 を、情報多項式 で表す。組織符号化では、 を で割った余りを (次数 以下)として、符号多項式を と定める。
このときの余り を求めよ。ただし、係数の計算はすべて を法として行う。
確率変数 は互いに独立で、それぞれ に従う。積 とおく。 と の相互情報量 を求めよ。ただし、エントロピーの対数の底は とする。
表と裏が等しい確率 で出る硬貨を 回投げる。 回の結果は互いに独立である。 回目に表が出れば 、裏が出れば とし、 回のうち表が出た回数を とする()。相互情報量 を求めよ。ただし、エントロピーの対数の底は とする(単位はビット)。
確率変数 は に値をとり、 に従う。確率変数 は と独立で、 に値をとり、 に従う。 とおくとき、相互情報量 を求めよ。ただし、エントロピーの対数の底は とする。
情報源 は 4 個の記号 を、それぞれ次の確率で出力する。 符号記号を とする 3 元の語頭符号で の各記号を 1 個ずつ符号化するとき、1 記号あたりの平均符号長 ( は の符号語の長さ)の最小値を求めよ。
情報源 は 4 個の記号 を、それぞれ次の確率で出力する。この情報源を、符号記号 を用いる 3 元語頭符号で 1 記号ずつ符号化する。1 記号あたりの平均符号長 ( は の符号語の長さ)の最小値を、3 元ハフマン符号を構成して求めよ。
情報源 は 4 個の記号 を、それぞれ次の確率で出力する。符号記号を とする 3 元語頭符号で の各記号を符号化するとき、1 記号あたりの平均符号長 ( は の符号語の長さ)の最小値を求めよ。
二元体 (演算は を法とする)上で、検査行列
で定まる符号長 のハミング符号 を考える。 の第 列は、 を 2 進法で表したときの各桁を上から の位・ の位・ の位の順に並べたものである。ある符号語を送信したところ、ちょうど か所のビットだけが誤って
が受信された。誤りが起きた位置(左から数えて第何成分か)を求めよ。二元体 上で、 行列
を検査行列とする符号長 のハミング符号 を考える。 の第 列 は、上から順に を 2 進数で表したときの の位の数字を並べたものである。ある符号語 を送信したところ、通信路で高々 か所の成分が反転し、受信語
を受け取った。シンドローム を用いて誤りを訂正し、送信された符号語 を の形で求めよ。二元体 上で、検査行列
で定まる符号長 のハミング符号 を考える。 の第 列 は、上から読むと を 2 進法で表した 3 桁の数になっている。ある符号語を送信したところ、ちょうど 1 か所のビットが反転して
を受信した。シンドローム を計算して、誤りが生じた位置(左から何番目の成分か)を求めよ。確率変数 は互いに独立とします。 と はそれぞれ 、 に従います。 は「スイッチ」を表し、、 に従います。確率変数 を
で定めます。つまり、スイッチが入っているときは がそのまま に伝わり、切れているときは と無関係な が になります。条件付き相互情報量 を求めてください。ただし、エントロピーの対数の底は とします(単位はビット)。
確率変数 は互いに独立とする。 と はそれぞれ 上の一様分布に従う。 は , に従う。確率変数 を次のように定める。
このとき、条件付き相互情報量 を求めよ。ただし、エントロピーの対数の底は とする(単位はビット)。入力・出力のアルファベットがともに の 2 元対称通信路を考える。この通信路では、送った記号が確率 で反転し( が に、 が になる)、確率 で正しく届く。各回の伝送は互いに独立とする。この通信路の通信路容量 (単位はビット/通信路 1 回の使用)を求めよ。ただし、対数の底は とし、答えは を用いて表せ。
入力・出力のアルファベットがともに である 2 元対称通信路を考える。この通信路では、入力した 1 ビットが確率 で反転して出力され、確率 でそのまま出力される。この通信路の通信路容量 (単位はビット/通信路 1 回の使用、対数の底は 2)を求めよ。答えは を用いた式で表せ。
入力・出力のアルファベットがともに の 2 元対称通信路(BSC)を考える。この通信路では、送った記号が確率 で反転して受信され、確率 でそのまま受信される。各記号の反転は互いに独立に起こる(無記憶)。この通信路の通信路容量 (単位はビット/通信路使用 1 回)を求めよ。対数の底は とし、答えは を用いた式で表せ。
入力アルファベット 、出力アルファベット の離散無記憶通信路を考える。ここで は「消失」を表す記号である。入力 と出力 の条件付き確率は次の通りとする。
つまり、 を送ると半分の確率で消失し、 を送ると半分の確率で に化ける。入力分布を ()として、この通信路の通信路容量 を求めよ。ただし、エントロピー・相互情報量の対数の底は とし、単位はビットとする。入力アルファベット 、出力アルファベット の離散無記憶通信路を考える。入力 に対して、 と独立な雑音 が で生じ、出力は通常の整数の和
で与えられる。入力分布を とする。この通信路の通信路容量 を求めよ。ただし、対数の底は とし、単位はビットとする。入力アルファベットが 、出力アルファベットが の離散無記憶通信路を考える。入力 と出力 の条件付き確率は次のとおりである。
入力分布を , ()とし、相互情報量 を の関数として表して最大化することで、この通信路の通信路容量 を求めよ。ただし、対数の底は とする(単位はビット)。に値をとる確率変数 の同時分布が次で与えられている。
対数の底を とするとき、相互情報量 を求めよ。ただし とする。二元体 上の符号長 の線形符号 を、生成行列
の行ベクトルが張る部分空間 と定める。 の最小距離(ハミング距離の最小値)を 、ハミング重みがちょうど である の符号語の個数を とする。組 をこの順に求めよ。入力・出力のアルファベットがともに で、ビット反転確率が の 2 元対称通信路(BSC)を考える。この通信路を 2 つ直列につなぎ、1 つ目の通信路の出力をそのまま 2 つ目の通信路の入力とする。2 つの通信路でのビット反転は互いに独立に起こるものとする。
1 つ目の通信路の入力 から 2 つ目の通信路の出力 までを 1 つの通信路とみなしたとき、その通信路容量(1 回の使用あたり、単位はビット)を求めよ。ただし、対数の底は とする。
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるものの係数ベクトル全体である。の符号語を つ選び、各ビットが互いに独立に確率 で反転する二元対称通信路で送る。受信側は、受信語とのハミング距離が最小となる符号語に復号する。復号結果が送信した符号語に一致する確率を求めよ。
入力アルファベット・出力アルファベットがともに の離散無記憶通信路を考える。入力 に対して、出力 は次のように定まる(和と差は を法として計算する)。
すなわち、入力の記号はそのまま届くか、「隣の」記号にずれて届く(たとえば のとき は のいずれか)。この通信路の通信路容量
を求めよ。ただし、最大は入力 の確率分布 全体でとり、相互情報量の対数の底は とする(単位はビット)。二元体 上の符号長 の線形符号 を、生成行列
の行ベクトルが張る の部分空間として定める(演算は を法とする)。の最小距離を とし、 の符号語のうちハミング重み( である成分の個数)がちょうど であるものの個数を とする。組 を求めよ。
入力アルファベット・出力アルファベットがともに の離散無記憶通信路を考える。入力 と出力 の条件付き確率は、各 について
で与えられる。すなわち、送った記号は確率 で正しく届き、残りの つの記号のそれぞれに確率 ずつで変わる。この通信路の通信路容量 (単位はビット、すなわち対数の底は )を求めよ。ここで最大値は入力 の確率分布 全体にわたってとる。
情報源の記号 が、それぞれ確率
で互いに独立に発生する無記憶情報源がある。この情報源の 記号ずつに 上の 元ハフマン符号を構成するとき、 記号あたりの平均符号長を求めよ。を空でない有限集合とし、 を に値をとる確率変数、 を写像として とおく。 に対して とし、
( の像の各点の逆像の元の個数の最大値)とおく。エントロピーの対数の底は とし、 と約束する。条件付きエントロピーは
( は条件付き分布 のエントロピー)で定め、 も同様に定める。このとき
が成り立つことを証明せよ。なお、連鎖律 と、 個の元からなる有限集合上の確率分布のエントロピーは 以上 以下であること、は用いてよい。
入力アルファベットが 、出力アルファベットが の通信路を考える( は「消失」を表す記号である)。入力 と出力 の条件付き確率は、 に対して
であり、それ以外の出力が現れる確率は である(すなわち、入力が反転して出力されることはない)。入力の分布を
とするとき、相互情報量 を求めよ。ただし、エントロピーの対数の底は とする(単位はビット)。つの通信路を縦続接続した次の通信路を考える。
- 第 段:入力 を受け取り、確率 でそのまま、確率 で反転した値 を出力する(2 元対称通信路)。
- 第 段: を受け取り、確率 で をそのまま出力し、確率 で消失記号 を出力する(2 元消失通信路)。
第 段で消失が起こるかどうかは、 や第 段の反転とは独立に決まるものとする。入力 から出力 までを つの離散無記憶通信路とみなしたとき、その通信路容量 を求めよ。ただし、エントロピーと相互情報量の対数の底は とする(単位はビット)。
情報源記号 がそれぞれ確率
で独立に発生する無記憶情報源がある。この情報源の各記号に、符号アルファベット の語を符号語として割り当てる 3 元の瞬時符号(どの符号語も他の符号語の接頭語にならない符号)を考える。このような符号の平均符号長(1 記号あたりの符号語の長さの期待値)の最小値を求めよ。入力アルファベットが 、出力アルファベットが の離散無記憶通信路を考える。ここで は「消失」を表す記号である。入力 と出力 の条件付き確率は、 に対して
で与えられる。この通信路の通信路容量 を求めよ。ただし、エントロピーと相互情報量の対数の底は とする(単位はビット)。二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考えます。すなわち、 は の次数 以下の多項式 を用いて と表される多項式全体です。多項式 を語 と同一視します。の符号語を、ビット誤り確率 の二元対称通信路で送ります。各ビットは互いに独立に確率 で反転します。受信語 に対して、受信側は次のように復号します。
- とのハミング距離が 以下である符号語が存在すれば、その符号語を出力する。
- 存在しなければ、誤りを検出したと判断して何も出力しない。
(この復号法で、ハミング距離 以下の符号語は存在すれば つに定まることも確かめてください。)
送信した符号語とは異なる符号語が出力される確率を、 の式で求めてください。
確率変数 は に値をとり、
に従う。 と独立な確率変数 は に値をとり、
に従う。 を を で割った余り()とする。対数の底を とするとき、相互情報量 を求めよ。3 元体 (演算は を法とする)上の符号長 の線形符号 を、検査行列
によって
と定める。符号語の重みは でない成分の個数、 の最小距離 は の異なる 2 つの符号語のハミング距離の最小値とする。の次元 、最小距離 、重みがちょうど である符号語の個数 を、組 の形でこの順に求めよ。
情報源 は 6 個の記号 を次の確率で出力する。
符号アルファベットを とする 3 元の瞬時符号(語頭符号)で の記号を 1 記号ずつ符号化するとき、1 記号あたりの平均符号長の最小値を求めよ。二元体 上で考える。 のベクトルのうち、ハミング重み( である成分の個数)が奇数であるものは全部で 個ある。これら 個のベクトルを列ベクトルとして、どれも 回ずつ、ある順に並べてできる 行列を とし、
で定まる符号長 の線形符号 を考える( は行ベクトル)。 の次元を 、最小距離を 、 に含まれるハミング重みがちょうど の符号語の個数を とする。組 をこの順に求めよ。袋の中に赤玉 個と白玉 個が入っている。この袋から玉を 個ずつ 回、取り出した玉をもとに戻さずに取り出す。どの玉も同じ確率で取り出されるものとする。
回目に取り出した玉の色を 、 回目に取り出した玉の色を とする( はそれぞれ「赤」「白」のどちらかの値をとる確率変数)。
と の相互情報量 を求めよ。ただし、エントロピーの対数の底は とする。
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考える。すなわち、符号語 を多項式 と同一視し、 とする。なお、 は 上の原始多項式である(既約であり、その根 は 個の元 がすべて異なる、 の でない元すべてとなる)。この符号を誤り検出のためだけに用いる。送信した符号語 に誤りパターン が加わって が受信されたとき、 ならば「誤りなし」と判定し、 ならば「誤りあり」と判定する。 で となるとき、誤りは検出されない。
ハミング重み( である成分の個数)が 以上 以下の誤りパターン のうち、検出されないものの個数を求めよ。
情報源記号 を、それぞれ確率
で独立に出力する無記憶情報源がある。各記号に、符号アルファベット の語を 対 に割り当てる 元の語頭符号(どの符号語もほかの符号語の語頭にならない符号)を考える。元の語頭符号のうち、 記号あたりの平均符号長 ( は の符号語の長さ)が最小になるものについて、その平均符号長 を求めよ。
二元体 上で、生成多項式 で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体(係数の列を長さ のベクトルとみなす)である。なお、 は 上の原始多項式であり、 を割り切る。
の符号語を、ビット反転確率が の 2 元対称通信路で送る。各ビットの反転は互いに独立に起こるものとする。受信語は、シンドロームを計算し、そのシンドロームをもつベクトルのうちハミング重みが最小のもの(コセットリーダー)を誤りとみなして訂正する方法で復号する。
復号した符号語が送信した符号語と一致する確率を の式で求めよ。
入力アルファベット 、出力アルファベット の離散無記憶通信路を考える。入力 ()に対して、出力 は
で定まる( は消失を表す記号である)。この通信路の通信路容量( 回の使用あたり、単位はビット)を求めよ。対数の底は とする。二元体 上の符号長 の線形符号 を、生成行列
の行ベクトルが張る の部分空間として定める。 の双対符号を
とする( は 上の標準内積)。 の最小距離を 、 に含まれるハミング重み の符号語の個数を とするとき、組 を求めよ。記号 をそれぞれ確率 で、各時刻独立に出力する無記憶情報源 を考える。 の出力を 個ずつまとめたブロック( の 通り)を つの記号とみなし、この 個の記号に対して 元ハフマン符号(符号記号は )を構成する。
このとき、元の情報源 の記号 個あたりの平均符号長(ブロック 個あたりの平均符号長を で割ったもの)を求めよ。
二元体 上の符号長 の線形符号 を、検査行列
を用いて で定める。ただし、符号語の重みとは でない成分の個数であり、 の最小距離 とは の でない符号語の重みの最小値である。 の最小距離 と、 に含まれる重み の符号語の個数 を、この順に組 で求めよ。入力アルファベット 、出力アルファベット の離散無記憶通信路を考える。入力 は次のように出力 に変換される。
- 確率 で消失が起こり、 となる。
- 消失が起こらなかった場合(確率 )は、確率 で記号が反転し()、確率 で正しく伝わる()。
ここで、消失や反転が起こるかどうかは入力 と独立である。対数の底を とするとき、この通信路の通信路容量 を求めよ。
は互いに独立な確率変数で、それぞれ に従う。整数としての和 を考える。
を与えたときの と の条件付き相互情報量
を求めよ。ただし、エントロピーと相互情報量の対数の底は とする。入力アルファベット・出力アルファベットがともに の離散無記憶通信路で、入力 と出力 の条件付き確率が
で与えられるもの( は必ず正しく届き、 は確率 で に化ける通信路)を考える。この通信路の通信路容量 (最大値は入力分布 全体でとる)を求めよ。ただし、エントロピー・相互情報量の対数の底は とする。
3 元体 (演算は を法とする)上で考える。 の でないベクトル(列ベクトル)のうち、上から見て最初に現れる でない成分が であるものは全部で 個ある。これら 個のベクトルをすべて、ある順序で列として並べた 行列を とする。
を生成行列とする符号長 の線形符号を
とし、その双対符号を
とする( は成分ごとの積の和を を法として計算したもの)。ハミング重みは でない成分の個数、線形符号の最小距離は でない符号語のハミング重みの最小値とする。の次元 、 の最小距離 、 の最小距離 を求め、組 の形で答えよ。なお、答えは の列の並べ方によらない。
は互いに独立な確率変数で、それぞれ に従う。この つの多数決
を考える( は整数としての和)。を与えたときの と の条件付き相互情報量 を求めよ。ただし、対数の底は とする(単位はビット)。
情報源記号 を、それぞれ確率
で発生する記憶のない情報源がある。各情報源記号に、符号アルファベット の記号列(空でないもの)からなる符号語を つずつ割り当て、どの符号語もほかの符号語の接頭語にならないようにする( 元の瞬時符号)。このような符号のうち、情報源記号 個あたりの平均符号長 ( は の符号語の長さ)の最小値を求めよ。
二元体 上で、
を生成多項式とする符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体であり、多項式 を語 と同一視する( は を割り切る)。の最小ハミング距離を とする。また、 を による剰余類( の形の集合)に分けたとき、ハミング重みが 以下の語を つも含まない剰余類の個数を とする。 をこの順に組で求めよ。
を整数とし、 とおく。 を次数 の原始多項式とする。すなわち は 上既約であり、有限体 における の根 の乗法的位数はちょうど である。
とし、
とおく。 を語 と同一視し、語の重みを でない成分の個数、 の最小距離 を の でない語の重みの最小値と定める( は線形符号である)。このとき、 の最小距離が であることを証明せよ。
なお、有限体 の基本的な性質( を根にもつ の多項式はすべて で割り切れること、 の でない元はすべて の形に書けること、 が 上 1 次独立であること)は用いてよい。
を素数べき、 を 元体とし、 を を満たす整数とする。 を 次元の線形符号とし( の元は行ベクトルとする)、
- を の生成行列、すなわち を満たす階数 の 行列、
- を の検査行列、すなわち を満たす階数 の 行列とする。語の重みを でない成分の個数とする。
このとき、次の 2 条件が同値であることを証明せよ。
(A) のどの 本の列ベクトルも 上 1 次独立である。
(B) のどの 本の列ベクトルも 上 1 次独立である。
なお、線形代数の基本事項(次元定理、正方行列が正則であることと列ベクトルが 1 次独立であることの同値性など)は用いてよい。
実数 は , を満たすとする。入力 ・出力 がともに に値をとる 2 元対称通信路で、
であるものを考える。ただし、記号 を送るには費用がかかるため、入力分布は を満たすものだけが使えるとする。エントロピーの対数の底は とし、 と約束する。2 値エントロピー関数を 、相互情報量を (ただし )で定め、 とおく。
このとき、 を満たす入力分布の中で を最大にするものは である分布ただ 1 つであり、その最大値は
であることを証明せよ。を整数とし、情報源記号 がそれぞれ確率 で現れるとする。ただし , とする。
各 に 上の語 を割り当て、 ならば が の接頭語( の先頭部分。 自身も含む)でないものを 2 元の語頭符号とよぶ。 の長さを ( 以上の整数)とし、平均符号長を とする。
2 元の語頭符号のうち平均符号長が最小のもの(最適符号)の 1 つを とし、 の符号長を 、その最大値を とする。このとき、 において長さが の符号語の個数は偶数である(特に 以上である)ことを証明せよ。
なお、次のクラフトの不等式とその逆は用いてよい: 以上の整数 に対し、符号長が の 2 元の語頭符号が存在するための必要十分条件は である。
二元体 上で、次の 行列 を考える。
の列は、 のベクトルのうちハミング重み( である成分の個数)が または であるもの全部( 個)を 回ずつ並べたものである。 を検査行列とする符号長 の二元線形符号
について、 の最小距離を とし、 に含まれるハミング重み の符号語の個数を とする。 をこの順に組で求めよ。二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体であり、多項式 を語 と同一視する。また、 を における の根とする( の位数は である)。符号語 を送信し、誤りパターン (次数 以下)が加わって を受信したとする。復号器は 、 を計算し、次の規則で動作する。
- かつ のとき: をそのまま出力する。
- かつ のとき: となる をとり、 を出力する。
- それ以外のとき:誤りを検出したと宣言し、何も出力しない。
ハミング重み( でない係数の個数)が 以上 以下の誤りパターン のうち、復号器が送信した符号語 と異なる語を出力してしまうものの個数を求めよ。
入力アルファベット・出力アルファベットがともに の離散無記憶通信路 を、次の条件付き確率で定める。
( は入力 のとき出力が となる確率)。この通信路 を 段直列につなぐ。すなわち、入力 を に通した出力を とし、 をもう一度 に通した出力を とする。 段目で起こる誤りは 段目とは独立であり、 はマルコフ連鎖をなすとする。
入力 から最終出力 までを つの通信路とみなしたときの通信路容量
を求めよ。ただし、最大値は の確率分布 全体でとり、エントロピーと相互情報量の対数の底は とする。
条件に合う問題はありません。