技能一覧 › 大学数学 情報理論・符号理論

誤り訂正能力と復号の成功確率

最小距離 の符号が 個までの誤りを訂正し、 個までの誤りを検出できることを使える。2 元対称通信路で最小距離復号するとき、 個以下の誤りが確実に訂正される場合の成功確率 を求められる

前提

この技能までの道筋(41 技能)
算数中学高校大学大学院

読み込み中…

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

一覧で見る(前提が先)
  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. ベクトルの演算と成分 (数学C ベクトル)
  26. 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
  27. 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
  28. 行列の階数と解の存在 (大学数学 線形代数)
  29. ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
  30. 因数分解 (中学数学 数と式)
  31. 文字式で表した整数の性質 (中学数学 数と式)
  32. 余りによる整数の分類 (数学A 整数の性質)
  33. 樹形図で数え上げる (算数 場合の数)
  34. 積の法則と和の法則 (算数 場合の数)
  35. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  36. 合同式 (数学A 整数の性質)
  37. 線形符号と生成行列 (大学数学 情報理論・符号理論)
  38. 順列・円順列・重複順列 (数学A 場合の数と確率)
  39. 組合せ (数学A 場合の数と確率)
  40. 確率の定義と和事象・余事象 (数学A 場合の数と確率)
  41. 独立な試行と反復試行 (数学A 場合の数と確率)

説明

符号語どうしがどれだけ離れているか(最小距離 )がわかると、その符号が何個までの誤りを正しく直せるか、何個までの誤りなら「誤りがある」と気づけるかが決まります。最小距離 の符号は 個までの誤りを訂正でき、 個までの誤りを検出できます。さらに、各ビットが独立に確率 で反転する通信路(2 元対称通信路)では、復号が確実に成功する確率を反復試行の確率の和として計算できます。

なぜそうしてよいのか

長さ の 2 つの語 について、成分が異なる位置の個数をハミング距離 と呼びます。 上では は のハミング重みに等しくなります。線形符号では異なる符号語の差 も でない符号語なので、異なる符号語どうしの距離はつねに最小距離 ( でない符号語の重みの最小値)以上です。また、 と が異なる位置では か の少なくとも一方が起きているので、三角不等式 が成り立ちます。

訂正: 符号語 を送り、 個の誤りが入って を受信したとします。このとき です。別の符号語 については で、 より です。よって に最も近い符号語はただ 1 つ に決まり、受信語に最も近い符号語を選ぶ復号(最小距離復号)で必ず正しく戻せます。検出: 誤りが 個なら、 は から距離 以上 以下にあります。もし が符号語なら との距離は 以上のはずなので矛盾し、 は符号語ではありません。つまり「符号語でない語を受け取った」ことで誤りに気づけます。

成功確率: 2 元対称通信路では 個のビットがそれぞれ独立に確率 で反転するので、誤りがちょうど 個である確率は反復試行の確率 です。誤りが 個以下なら確実に訂正されるので、確実に正しく復号される確率は、これらの排反な事象の確率を足した です。なお、 個以上の誤りでもたまたま正しく戻ることがあるので、実際の復号成功確率はこの値以上になります(この値は「保証される」成功確率です)。

手順

  1. 符号語をすべて書き出し、 でない符号語の重みの最小値として最小距離 を求める

  2. 訂正できる誤りの個数 、検出できる誤りの個数 を求める

  3. 符号長 とビット反転確率 を確認し、誤りがちょうど 個の確率を と書く

  4. について足し合わせ、 を計算する

例題

上の生成行列 で定まる線形符号を、各ビットが独立に確率 で反転する 2 元対称通信路で送り、最小距離復号する。この符号が確実に訂正できる誤りの個数を とするとき、誤りの個数が 個以下となる確率(確実に正しく復号される確率)を求めよ。

例題の解答

手順 1: に対する符号語 は 、、、(第 3 成分は )。 でない符号語の重みは なので 。

手順 2: 。1 個までの誤りを訂正できる(検出だけに使うなら 2 個まで検出できる)。

手順 3: 、。誤りがちょうど 個の確率は 。

手順 4: を足す。

よって求める確率は 。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること