The Continuing Story of Error Correction Code 5
ハミング符号再訪
ハミング符号は誤り訂正の基礎
The Continuing Story of Error Correction Code 2 - Smile Engineering Blog で7ビットハミング符号を構成してみました。
このハミング符号はSECDED、CRC符号、BCH符号、リードソロモン符号などの基礎となっています。
ハミング符号に色々なアイデアを追加して更に強力な訂正符号が作り出されていったわけですね。
これらの符号を理解するためにハミング符号をもっと深堀してみましょう。
今回は訂正符号で頻繁に登場する排他論理和(XOR)について見ていきます。
排他論理和
入力をA、Bとしたときに出力Xが以下のようになる演算が排他論理和です。
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
なんか、この出力の並びどこかで見たような・・・
The Continuing Story of Error Correction Code 2 - Smile Engineering Blog の「検査符号の計算方法」で登場したこの演算。
これですね。
排他論理和は桁上がりを無視したビットの足し算になっています。
2を法とした演算ですね。
なのでとなります。
ちなみに引き算はどうなってるんよ
とりあえず普通に引き算をしてみましょう。
ここでがになってしまいますが、としかないはずなのにってどうしたらいいんでしょう?
足し算を見てみると計算のルールとしてと定義しているので
よりとしてしまいます。
よって、引き算は以下のようになります。
この演算、足し算と見比べてみると演算の記号がからに変わっただけで他は同じですね。
このビット単位の演算では足し算も引き算も結果は同じになります。
引き算も2を法とした演算と考えれば
となるのでとなります。
排他論理和の不思議な性質
The Continuing Story of Error Correction Code 2 - Smile Engineering Blogで作ったハミング符号の 、 、 を
と表すことにします。、 、 なら
となります。
この3ビットのパリティを加算します。加算は先ほど示したルールに従いビットごとに行います。
3ビットのパリティを3個適当に取り出して加算してみましょう。
とりあえず、、の3個を選んでみました。
答えはですね。 ではこのに再度、、を加算してみます。
答えはになります。
加算した結果に更に同じものを加算すると答えは0になるんですね。
なんか、不思議な感じがしますがこの演算は加算と減算は同じである、ということを思い出すと納得がいきます。
値を加算して、同じ値を減算すれば0になる、という当たり前の話です。
この当たり前が、ビット単位の演算でも成立しているよ、と。
では3個足して、その答えに2個だけ更に加算(減算)するとどうなるでしょうか? を加算(減算)しないと・・・
ちゃんと加算(減算)しなかった1個が残ってますね。 加算と減算の結果が同じということを除くと普通の加算、減算と同じように考えてもよさそうです。
排他論理和でハミング符号を考えてみる
The Continuing Story of Error Correction Code 2 - Smile Engineering Blogのハミング符号は4ビットの送信語がありました。
、、、の4ビットです。
この4ビットのうち1ビットだけが1の時の符号語を取り出してみます。
0 | 0 | 0 | 0 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 1 |
だけが1のときのパリティは、だけが1のときのパリティは、だけが1のときのパリティは、 そしてだけが1のときのパリティはになっています。
ではとが1のときのパリティは?
0 | 0 | 1 | 1 | 1 | 1 | 0 |
になっているから!!
正解!!、なんですが実はだけが1のときのパリティとだけが1のときのパリティから計算できるのです。
計算方法はだけが1のときのパリティとだけが1のときのパリティを加算する、だけです。
やってみましょう。
だけが1のときのパリティは、だけが1のときのパリティはだから
もう一個ぐらいやってみましょうか。
送信語の全ビットが1の場合はからまでそれぞれだけが1のときのパリティを加算します。
表をみると確かにになっていますね。
1 | 1 | 1 | 1 | 1 | 1 | 1 |
では、符号語に1ビットの誤りがあった場合を考えてみます。
送信語の全ビットが1を送信したらが誤って0になったとします。
符号語はですが、受信語はになりました。
受信語の、、が1、パリティはなので
で、答えは、これはだけが1のパリティに該当します。
ということで誤っているのはのビットだとわかります。
なんか分かったような、分からんような・・・
延々と言葉で説明してきましたが、そろそろ数学的な表現を導入してハミング符号を表現できるようにしましょう。
まずは、あれですね。
みんな大好き「行列」。
え゛ーーー、って声が聞こえそうですが、慣れるとこのほうが楽ですよ。
いや、本当に。
ということで次回は行列の基礎。
ハミング符号を行列を使って表してみましょう!!