単元一覧 › 大学数学 情報理論・符号理論

情報理論・符号理論の問題

難易度 2教科書の演習問題レベル大学数学 情報理論・符号理論

二元体 上で、生成多項式

で定まる符号長 の巡回符号 を考えます。すなわち、 は の次数 以下の多項式 を用いて と表される多項式全体です。多項式 を語 と同一視します。

の符号語を、ビット誤り確率 の二元対称通信路で送ります。各ビットは互いに独立に確率 で反転します。受信語 に対して、受信側は次のように復号します。

  • とのハミング距離が 以下である符号語が存在すれば、その符号語を出力する。
  • 存在しなければ、誤りを検出したと判断して何も出力しない。

(この復号法で、ハミング距離 以下の符号語は存在すれば つに定まることも確かめてください。)

送信した符号語とは異なる符号語が出力される確率を、 の式で求めてください。

この問題で使うもの

この問題を解けるようになるまで(45 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 三角形の角の大きさ
  2. 対頂角と平行線の同位角・錯角
  3. 三角形の外角と角の組み合わせ
  4. 小数の四則計算
  5. 分数のたし算・ひき算
  6. 分数のかけ算・わり算
  7. 小数と分数のまじった計算
  8. 逆算(□ を求める)
  9. 正負の数の加法・減法
  10. 四則の混じった計算の順序
  11. 正負の数の乗除・累乗と四則混合
  12. 分配法則を使った計算のくふう
  13. 文字式の計算(同類項・分配法則)
  14. 1 次方程式の解き方
  15. 二等辺三角形の角
  16. 平行四辺形と特別な四角形の性質
  17. 三角形・四角形の面積
  18. 約数の見つけ方
  19. 素因数分解と約数の個数
  20. 平方根の意味と根号の簡単化
  21. 三平方の定理
  22. 乗法公式による展開
  23. 折り返した図形の角と長さ
  24. 三平方の定理と平面図形
  25. ベクトルの演算と成分
  26. 行列の和・積と 2 次の逆行列
  27. 掃き出し法と連立 1 次方程式
  28. 行列の階数と解の存在
  29. ベクトル空間・一次独立・基底・次元
  30. 因数分解
  31. 文字式で表した整数の性質
  32. 余りによる整数の分類
  33. 樹形図で数え上げる
  34. 積の法則と和の法則
  35. 和の法則・積の法則と樹形図
  36. 合同式
  37. 線形符号と生成行列
  38. 3 次式までの展開と因数分解
  39. 整式の除法
  40. 巡回符号と生成多項式
  41. 順列・円順列・重複順列
  42. 組合せ
  43. 確率の定義と和事象・余事象
  44. 独立な試行と反復試行
  45. 誤り訂正能力と復号の成功確率

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

線形符号なので、出力が誤るかどうかは誤りパターン だけで決まります。まず の 個の符号語を書き出し、最小距離を調べましょう。

ヒント 2

でない符号語はすべて重み なので、最小距離は です。出力が誤るのは、 が でない符号語 から距離 以下にあるときです。

ヒント 3

重み の符号語 が 個あり、 は重み の語を 個、重み の語を 個、重み の語を 個含みます。球どうしは交わらないことを使って、重みごとの個数を合計しましょう。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

符号語の列挙 の符号語は ()の 個です。 ですから、
- :
- :
- :
- :
- :
- :
- :

となり、これに零語を加えたものが です。 でない符号語はすべて重み なので、 は線形符号で最小距離は です。

復号結果が一意であること 異なる符号語 がともに から距離 以下にあるとすると、三角不等式から となり矛盾します。よって半径 の球 は互いに交わらず、復号結果は一意に定まります(訂正能力 )。

誤り出力の条件 送信語を 、誤りパターンを とすると、受信語は です。出力が になるのは 、すなわち のときです。 は でない符号語 を動きます。したがって、誤り出力が起こるのは が でない符号語 を中心とする半径 の球のどれかに入るときで、この条件は によりません。

誤りパターンの数え上げ 重み の符号語 ( 個) それぞれについて、球 の中身を重みごとに数えます。
- のとき、重みは で 個あります。
- の の位置 ( か所) の つを反転すると、重み のものが 個できます。
- の の位置 ( か所) の つを反転すると、重み のものが 個できます。

球どうしは交わらないので、合計すると重み が 個、重み が 個、重み が 個です。

確率の計算 重み の特定の誤りパターンが起こる確率は です。よって求める確率は

となります。整理すると とも書けます。

別解

まず であり、 なので です。よって は次元 3、符号語 8 個の巡回符号です。

符号語は ()で、 の係数は なので重み 4 です。巡回シフトで 7 個の重み 4 の語ができ、 とその巡回シフトの和も調べると、0 以外の 7 語はすべて重み 4 になります(シンプレックス符号 )。したがって異なる符号語間のハミング距離はすべて 4 です。

半径 1 の球は、距離が 3 以上離れていれば重ならないので、距離 1 以下の符号語は存在すればただ 1 つです。

線形符号なので、送信語を としてよいです。このとき受信語は誤りパターン に等しいです。他の符号語 (重み 4、7 個)が出力されるのは、 となる が存在するときです。
- : が の台の部分集合。 通り。
- :。7 通り。
- : に台の外の 1 ビットを加えたもの。 通り。

球が重ならないので、これらは重複なく数えられます。 として、求める確率は

検算:展開すると となり、上の式と一致します。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題