情報理論・符号理論の問題
二元体 上で、生成多項式 で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体(係数の列を長さ のベクトルとみなす)である。なお、 は 上の原始多項式であり、 を割り切る。
の符号語を、ビット反転確率が の 2 元対称通信路で送る。各ビットの反転は互いに独立に起こるものとする。受信語は、シンドロームを計算し、そのシンドロームをもつベクトルのうちハミング重みが最小のもの(コセットリーダー)を誤りとみなして訂正する方法で復号する。
復号した符号語が送信した符号語と一致する確率を の式で求めよ。
この問題で使うもの
- 巡回符号と生成多項式(説明と入口の問題)
- ハミング符号とシンドローム復号(説明と入口の問題)
- 誤り訂正能力と復号の成功確率(説明と入口の問題)
この問題を解けるようになるまで(55 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 因数分解
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 線形符号と生成行列
- 3 次式までの展開と因数分解
- 整式の除法
- 巡回符号と生成多項式
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- 加法定理と 2 倍角・半角・積和の公式
- 線形変換と行列
- 核と像と次元定理
- 検査行列と最小距離
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 独立な試行と反復試行
- 誤り訂正能力と復号の成功確率
- ハミング符号とシンドローム復号
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
誤りパターン が正しく訂正されるのは、 がそのシンドロームのコセットリーダーになっているときだけです。まずコセットリーダー全体がどんなベクトルかを調べましょう。
ヒント 2
が原始多項式なので を で割った余りはすべて異なります。 でないシンドロームは何通りあるか数えて、重み の誤りのシンドロームと比べましょう。
ヒント 3
は ハミング符号で完全符号です。コセットリーダーは重み のもの 個と重み のもの 個なので、誤りのビット数が または になる確率を二項分布で求めます。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
符号の構造を調べる. 多項式 が に属するのは のときである。そこで受信多項式 のシンドロームを (次数 以下、すなわち のベクトル)と定めると、 である。
位置 に ビットだけ誤りがある誤りパターン のシンドロームは である。 は原始多項式なので、剰余環 ( 元体)で の位数は である。したがって はすべて異なる でない元であり、 でない元はちょうど 個しかないから、これらは の でない 個のベクトルをちょうど 回ずつとる。
つまり の検査行列の列は の でないベクトル全体であり、 は ハミング符号である。列に も同じものもないので最小距離は 以上、たとえば は重み の符号語なので最小距離は であり、 個の誤りを訂正できる。
コセットリーダーを決める. シンドロームは全部で 通りある。シンドローム のコセットリーダーは零ベクトル(重み )であり、 でない 通りのシンドロームそれぞれには、上で見たとおりそのシンドロームをもつ重み のベクトルがちょうど つある。重み のベクトルのシンドロームは だけなので、 でないシンドロームのコセットリーダーはその重み のベクトルで、一意に決まる。
したがって、コセットリーダー全体は「重み のベクトル 個と重み のベクトル 個」であり、実際に起きた誤りパターン が正しく訂正されるのは がコセットリーダーのとき、すなわち の重みが 以下のときに限る。(重みが 以上の は、それと同じシンドロームをもつ重み 以下のコセットリーダーと取り違えられ、誤った符号語に復号される。)
確率を計算する. 各ビットは独立に確率 で反転するから、
よって求める確率は
別解
は次数 4 の原始多項式なので、 の次元は で、 は ハミング符号である。パリティ検査行列の列は を で割った余りで、 の 15 個の元すべて(0 でない 4 ビットベクトルすべて)が 1 回ずつ現れる。よって 0 でないシンドロームは 15 通りあり、それぞれ重み 1 の誤りパターン(15 通り)にちょうど 1 つずつ対応する。シンドローム全体は 通りで、重み 0 の誤り 1 通りと重み 1 の誤り 15 通りでちょうど尽くされる(完全符号)。したがってコセットリーダーは重み 0 または 1 のベクトルに限られ、一意に定まる。
復号結果が送信語と一致するのは、実際の誤りパターンがコセットリーダーと一致するとき、すなわち誤りの個数が 0 個または 1 個のときだけである(誤りが 2 個以上だと、そのシンドロームのコセットリーダーは重み 1 以下の別のベクトルとなり、誤りパターンと一致しない)。
誤りが 0 個の確率は 、ちょうど 1 個の確率は 。
検算: で値は 1。誤りが 2 個の確率は で、このときは必ず誤訂正になる(完全符号なので 2 個以上は全て誤復号)。全体の確率の和が 1 であることと矛盾しない。
よって求める確率は 。