二元体 上で、生成行列
で定まる符号長 の線形符号 を考える。 の最小距離を とし、 とする。
の符号語を、各ビットが互いに独立に確率 で反転する( と が入れ替わる)2 元対称通信路で送信し、受信語を最小距離復号する。ただし、送信語に生じた誤りの個数が 個以下のときは正しく復号され、 個以上のときは正しく復号されないものとする。
正しく復号される確率を求めよ。
最小距離 の符号が 個までの誤りを訂正し、 個までの誤りを検出できることを使える。2 元対称通信路で最小距離復号するとき、 個以下の誤りが確実に訂正される場合の成功確率 を求められる
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
符号語どうしがどれだけ離れているか(最小距離 )がわかると、その符号が何個までの誤りを正しく直せるか、何個までの誤りなら「誤りがある」と気づけるかが決まります。最小距離 の符号は 個までの誤りを訂正でき、 個までの誤りを検出できます。さらに、各ビットが独立に確率 で反転する通信路(2 元対称通信路)では、復号が確実に成功する確率を反復試行の確率の和として計算できます。
長さ の 2 つの語 について、成分が異なる位置の個数をハミング距離 と呼びます。 上では は のハミング重みに等しくなります。線形符号では異なる符号語の差 も でない符号語なので、異なる符号語どうしの距離はつねに最小距離 ( でない符号語の重みの最小値)以上です。また、 と が異なる位置では か の少なくとも一方が起きているので、三角不等式 が成り立ちます。
訂正: 符号語 を送り、 個の誤りが入って を受信したとします。このとき です。別の符号語 については で、 より です。よって に最も近い符号語はただ 1 つ に決まり、受信語に最も近い符号語を選ぶ復号(最小距離復号)で必ず正しく戻せます。検出: 誤りが 個なら、 は から距離 以上 以下にあります。もし が符号語なら との距離は 以上のはずなので矛盾し、 は符号語ではありません。つまり「符号語でない語を受け取った」ことで誤りに気づけます。
成功確率: 2 元対称通信路では 個のビットがそれぞれ独立に確率 で反転するので、誤りがちょうど 個である確率は反復試行の確率 です。誤りが 個以下なら確実に訂正されるので、確実に正しく復号される確率は、これらの排反な事象の確率を足した です。なお、 個以上の誤りでもたまたま正しく戻ることがあるので、実際の復号成功確率はこの値以上になります(この値は「保証される」成功確率です)。
符号語をすべて書き出し、 でない符号語の重みの最小値として最小距離 を求める
訂正できる誤りの個数 、検出できる誤りの個数 を求める
符号長 とビット反転確率 を確認し、誤りがちょうど 個の確率を と書く
について足し合わせ、 を計算する
上の生成行列 で定まる線形符号を、各ビットが独立に確率 で反転する 2 元対称通信路で送り、最小距離復号する。この符号が確実に訂正できる誤りの個数を とするとき、誤りの個数が 個以下となる確率(確実に正しく復号される確率)を求めよ。
手順 1: に対する符号語 は 、、、(第 3 成分は )。 でない符号語の重みは なので 。
手順 2: 。1 個までの誤りを訂正できる(検出だけに使うなら 2 個まで検出できる)。
手順 3: 、。誤りがちょうど 個の確率は 。
手順 4: を足す。
よって求める確率は 。
答え:
訂正できる個数を や としてしまう誤り。正しくは で、たとえば なら ( ではない)。 は検出できる個数
訂正と検出が同時に最大限できると思ってしまう誤り。正しくは、 の符号で 1 個訂正する復号をすると、2 個の誤りは別の符号語へ誤って訂正されることがあり、「2 個まで検出」は訂正をせず検出だけに使うときの話
二項係数を落として としてしまう誤り。正しくは誤りの位置の選び方 を掛け、 なら
指数に情報の長さ を使って としてしまう誤り。正しくは送るビット数は符号長 なので 。また、この和は「確実に訂正される」確率であり、実際の復号成功確率はこれ以上になりうることにも注意
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
二元体 上で、生成行列
で定まる符号長 の線形符号 を考える。 の最小距離を とし、 とする。
の符号語を、各ビットが互いに独立に確率 で反転する( と が入れ替わる)2 元対称通信路で送信し、受信語を最小距離復号する。ただし、送信語に生じた誤りの個数が 個以下のときは正しく復号され、 個以上のときは正しく復号されないものとする。
正しく復号される確率を求めよ。
二元体 上で、生成行列
で定まる符号長 の線形符号 を考える。 の符号語を、ビット誤り確率 の 2 元対称通信路で送る。各ビットの誤りは互いに独立に起こるものとする。受信側では最小距離復号(受信語にハミング距離が最も近い符号語に復号する)を行う。
送った符号語が正しく復号される確率を、既約分数で求めよ。
符号長 の 2 元符号
を考える。 の符号語を、ビット誤り確率 の 2 元対称通信路で送る。各ビットは互いに独立に確率 で反転する。
受信側では次のように復号する。 の最小距離を とし、 とおく。受信語とのハミング距離が 以下の符号語があれば、その符号語に復号する。そのような符号語がなければ、復号失敗とする。
送った符号語が正しく復号される確率を求めよ。
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるものの係数ベクトル全体である。
の符号語を つ選び、各ビットが互いに独立に確率 で反転する二元対称通信路で送る。受信側は、受信語とのハミング距離が最小となる符号語に復号する。復号結果が送信した符号語に一致する確率を求めよ。
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考えます。すなわち、 は の次数 以下の多項式 を用いて と表される多項式全体です。多項式 を語 と同一視します。
の符号語を、ビット誤り確率 の二元対称通信路で送ります。各ビットは互いに独立に確率 で反転します。受信語 に対して、受信側は次のように復号します。
(この復号法で、ハミング距離 以下の符号語は存在すれば つに定まることも確かめてください。)
送信した符号語とは異なる符号語が出力される確率を、 の式で求めてください。
二元体 上で、生成多項式 で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体(係数の列を長さ のベクトルとみなす)である。なお、 は 上の原始多項式であり、 を割り切る。
の符号語を、ビット反転確率が の 2 元対称通信路で送る。各ビットの反転は互いに独立に起こるものとする。受信語は、シンドロームを計算し、そのシンドロームをもつベクトルのうちハミング重みが最小のもの(コセットリーダー)を誤りとみなして訂正する方法で復号する。
復号した符号語が送信した符号語と一致する確率を の式で求めよ。
二元体 上で、
を生成多項式とする符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体であり、多項式 を語 と同一視する( は を割り切る)。
の最小ハミング距離を とする。また、 を による剰余類( の形の集合)に分けたとき、ハミング重みが 以下の語を つも含まない剰余類の個数を とする。 をこの順に組で求めよ。
二元体 上で、生成多項式
で定まる符号長 の巡回符号 を考える。すなわち、 は の次数 以下の多項式のうち で割り切れるもの全体であり、多項式 を語 と同一視する。また、 を における の根とする( の位数は である)。
符号語 を送信し、誤りパターン (次数 以下)が加わって を受信したとする。復号器は 、 を計算し、次の規則で動作する。
ハミング重み( でない係数の個数)が 以上 以下の誤りパターン のうち、復号器が送信した符号語 と異なる語を出力してしまうものの個数を求めよ。