情報理論・符号理論の問題
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考えます。すなわち、 は の次数 以下の多項式 を用いて と表される多項式全体です。多項式 を語 と同一視します。
の符号語を、ビット誤り確率 の二元対称通信路で送ります。各ビットは互いに独立に確率 で反転します。受信語 に対して、受信側は次のように復号します。
- とのハミング距離が 以下である符号語が存在すれば、その符号語を出力する。
- 存在しなければ、誤りを検出したと判断して何も出力しない。
(この復号法で、ハミング距離 以下の符号語は存在すれば つに定まることも確かめてください。)
送信した符号語とは異なる符号語が出力される確率を、 の式で求めてください。
この問題で使うもの
- 巡回符号と生成多項式(説明と入口の問題)
- 線形符号と生成行列(説明と入口の問題)
- 誤り訂正能力と復号の成功確率(説明と入口の問題)
この問題を解けるようになるまで(45 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 因数分解
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 線形符号と生成行列
- 3 次式までの展開と因数分解
- 整式の除法
- 巡回符号と生成多項式
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 独立な試行と反復試行
- 誤り訂正能力と復号の成功確率
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
線形符号なので、出力が誤るかどうかは誤りパターン だけで決まります。まず の 個の符号語を書き出し、最小距離を調べましょう。
ヒント 2
でない符号語はすべて重み なので、最小距離は です。出力が誤るのは、 が でない符号語 から距離 以下にあるときです。
ヒント 3
重み の符号語 が 個あり、 は重み の語を 個、重み の語を 個、重み の語を 個含みます。球どうしは交わらないことを使って、重みごとの個数を合計しましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
符号語の列挙 の符号語は ()の 個です。 ですから、
- :
- :
- :
- :
- :
- :
- :
となり、これに零語を加えたものが です。 でない符号語はすべて重み なので、 は線形符号で最小距離は です。
復号結果が一意であること 異なる符号語 がともに から距離 以下にあるとすると、三角不等式から となり矛盾します。よって半径 の球 は互いに交わらず、復号結果は一意に定まります(訂正能力 )。
誤り出力の条件 送信語を 、誤りパターンを とすると、受信語は です。出力が になるのは 、すなわち のときです。 は でない符号語 を動きます。したがって、誤り出力が起こるのは が でない符号語 を中心とする半径 の球のどれかに入るときで、この条件は によりません。
誤りパターンの数え上げ 重み の符号語 ( 個) それぞれについて、球 の中身を重みごとに数えます。
- のとき、重みは で 個あります。
- の の位置 ( か所) の つを反転すると、重み のものが 個できます。
- の の位置 ( か所) の つを反転すると、重み のものが 個できます。
球どうしは交わらないので、合計すると重み が 個、重み が 個、重み が 個です。
確率の計算 重み の特定の誤りパターンが起こる確率は です。よって求める確率は
となります。整理すると とも書けます。
別解
まず であり、 なので です。よって は次元 3、符号語 8 個の巡回符号です。
符号語は ()で、 の係数は なので重み 4 です。巡回シフトで 7 個の重み 4 の語ができ、 とその巡回シフトの和も調べると、0 以外の 7 語はすべて重み 4 になります(シンプレックス符号 )。したがって異なる符号語間のハミング距離はすべて 4 です。
半径 1 の球は、距離が 3 以上離れていれば重ならないので、距離 1 以下の符号語は存在すればただ 1 つです。
線形符号なので、送信語を としてよいです。このとき受信語は誤りパターン に等しいです。他の符号語 (重み 4、7 個)が出力されるのは、 となる が存在するときです。
- : が の台の部分集合。 通り。
- :。7 通り。
- : に台の外の 1 ビットを加えたもの。 通り。
球が重ならないので、これらは重複なく数えられます。 として、求める確率は
検算:展開すると となり、上の式と一致します。