ハミング符号のソースを表示

{{No footnotes|date=2023-03-25}}
'''ハミング符号'''（ハミングふごう、{{lang-en-short|Hamming code}}）とはデータの誤りを検出・訂正できる[[線型符号|線型]][[誤り検出訂正|誤り訂正符号]]のひとつ。

== 概要 ==
[[1950年]]に[[ベル研究所]]の[[リチャード・ハミング]]によって考案された。知られている誤り訂正符号の中では最も古く、ブロックあたり1[[ビット]]の誤りを訂正できる。[[リード・ソロモン符号]]などに比べると、ある程度高速で処理できるが、訂正力は高くない。このためエラー発生率が低く、速度が要求される用途に使う。[[ECCメモリ]]や[[RAID]] 2などに使用される。また、[[WinRAR]]のリカバリレコードにも使用されている{{要出典|date=2010年6月}}。

== 基本概念 ==
一般にハミング符号は、ある整数 m に対し、
: 符号長 :<math>n = 2^m - 1</math>
: 情報数 :<math> k = n - m</math>
で構成される。ここで情報数とは元のデータのビット数、符号長とは生成される符号のビット数である。
m = 3 の場合は n = 7、k = 4 となり、4ビットのビット列を7ビットの符号語に置き換えるハミング符号が形成される、この場合を(7,4)ハミング符号という。

ハミング符号は検査行列と[[生成行列]]と呼ばれる二つの[[行列]]を用いて処理が行われる。なお各行列計算で用いられる加算は全て[[排他的論理和]]であることに注意する。まず検査行列について述べる。この行列は m行 n列の行列で、全ての列要素がゼロではなく、かつ相違であるという条件がある。
(7,4)ハミング符号の検査行列 H の一例を以下に示す。
: <math> H = 
\begin{bmatrix}
1 & 0 & 1 & 1 & 1 & 0 & 0 \\
1 & 1 & 0 & 1 & 0 & 1 & 0 \\
0 & 1 & 1 & 1 & 0 & 0 & 1 \\
\end{bmatrix}</math>
検査行列 H の条件は上記に記したように全ての列が相違であり、なおかつ 0 しかない列が存在しないことである。H の列の数は nであるので、Hの各列には 0 以外の全てのビットパターンが存在することになる。列の順番は任意であるが特に
:  H = [ A I<sub>m</sub> ]
の形で表される行列の場合を'''[[組織符号]]'''という、ここで A は任意の行列、 I<sub>m</sub>は m × m の[[単位行列]]である。ハミング符号に於いては組織符号の理論上の重要性は持たないが後述する生成行列の計算が容易になるのと、符号の装置化が簡略になるので良く用いられる。なお上記の例での H も組織符号である。

次に[[生成行列]]について述べる。生成行列 G とは以下の条件を満たす非零の行列である。
: HG<sup>T</sup> = GH<sup>T</sup> = 0
ここで、G<sup>T</sup>は G の[[転置行列]]を表す。組織符号の場合、G は以下の形で表される。
: G = [ I<sub>k</sub> A<sup>T</sup> ]
上記の例で示した H に対する G は以下のようになる。
: <math> G = 
\begin{bmatrix}
1 & 0 & 0 & 0 & 1 & 1 & 0 \\
0 & 1 & 0 & 0 & 0 & 1 & 1 \\
0 & 0 & 1 & 0 & 1 & 0 & 1 \\
0 & 0 & 0 & 1 & 1 & 1 & 1 \\
\end{bmatrix}</math>

=== 符号化 ===
符号化では生成行列 G と送信したいデータ ''m<sub>1</sub>'' ... ''m<sub>k</sub>'' との乗算を行う。
先ほどの例で取り上げた G を生成行列として、ビット列 1 0 1 1 を符号化する場合を考える。このとき生成される符号は
: <math>
\begin{bmatrix}
1 & 0 & 1 & 1 \\
\end{bmatrix}
\cdot
\begin{bmatrix}
1 & 0 & 0 & 0 & 1 & 1 & 0 \\
0 & 1 & 0 & 0 & 0 & 1 & 1 \\
0 & 0 & 1 & 0 & 1 & 0 & 1 \\
0 & 0 & 0 & 1 & 1 & 1 & 1 \\
\end{bmatrix}
= \begin{bmatrix}
1 & 0 & 1 & 1 & 1 & 0 & 0 \\
\end{bmatrix}
</math>
となり、1 0 1 1 1 0 0 が生成された符号である。

=== 誤り訂正と復号 ===
復号は検査行列 H と受信したデータの積を求めることで行われる。今、受信データ Y を受け取ったとする。このとき Y に誤りが存在しない場合は
:<math> Y = x \cdot G</math>
であるといえる。ここで x とは符号化される前のビット列である。この Y と H の転置行列との積を求めると H と G の関係式より
:<math> Y \cdot H^T = x \cdot (G \cdot H^T) = 0</math>
と求められる。すなわち受信語と検査行列の積が零ベクトルであるなら誤りが無いことになり、非零であるなら誤りを含むことになる。次に Y が 1 ビットの誤りを含むとする、ここで Y を以下のように仮定する。
:<math> Y = x \cdot G \oplus e_i</math>
ここで e<sub>i</sub> とは i番目のビットが 1、それ以外のビットが 0 のビット列である。このような e<sub>i</sub>のことを誤りベクトルという。先ほどと同様に Y と H の転置行列との積を求めると以下のようになる。
:<math> Y \cdot H^T = (x \cdot G \oplus e_i) \cdot H^T =  x \cdot (G \cdot H^T) \oplus e_i \cdot H^T = e_i \cdot H^T</math>
ここでe<sub>i</sub> は i番目のビットのみ 1 であるので、すなわち H の i番目の列が出力されることになる。よってこの出力が Hの何列目と一致するかを比べることにより誤りの位置が検出され、その部分のビットを反転することで誤りを訂正できる。

例として上記の符号語が送信され、1 1 1 1 1 0 0 が受信されたとする。この受信データは 1 '''1''' 1 1 1 0 0 に誤りを含む。このデータを復号する。受信データと H の転置行列の積を求めると以下のようになる。
: <math> \begin{bmatrix}
1 & 1 & 1 & 1 & 1 & 0 & 0 \\
\end{bmatrix}
\cdot
\begin{bmatrix}
1 & 0 & 1 & 1 & 1 & 0 & 0 \\
1 & 1 & 0 & 1 & 0 & 1 & 0 \\
0 & 1 & 1 & 1 & 0 & 0 & 1 \\
\end{bmatrix}^{T} = 
\begin{bmatrix}
0 & 1 & 1 \\
\end{bmatrix}</math>
この出力を転置すると、Hの2列目と同じ値であることがわかる。よって誤りは 2列目であり、2 列目のビットを反転させると 1 0 1 1 1 0 0となり、元の符号語に訂正されたことがわかる。

訂正後、符号語からもとの情報を取り出す。これは生成行列内に単位行列の列成分となる部分がある場合、その箇所と同位置の符号語のビットは元の情報のビットがそのまま出力されているので、これを取り出すことで元の情報が得られる。組織符号の場合は生成行列の前部分が単位行列と一致するので、単に符号語の前 k ビットを取り出すだけである。

=== 拡張ハミング符号 ===
(7,3)ハミング符号の場合に符号語に2ビットの誤りが含まれている場合を考えてみる。この時位置 i と jに誤りが含まれているとすると
:<math> Y = x \cdot G \oplus e_i \oplus e_j</math>
となり、検査行列との積を取ると
:<math> Y \cdot H^T = e_i \cdot H^T \oplus e_j \cdot H^T</math>
となる。この時 ''e<sub>i</sub>'' ≠ ''e<sub>j</sub>'' であるため、上記の式は検査行列の任意の2つの列の値排他的論理和が出力される。検査行列の定義より列の値は全て相違となるので 2ビット誤りの時も検査行列との積が零ベクトルになることはない。ただし、別の検査行列の値と一致するため誤訂正を起こすことになる。

すなわち単純なハミング符号で誤り検出のみを行うと 2ビットの誤りまで検出できる。しかし、1ビット誤り（訂正可能）か 2ビット誤り（訂正不可能）であるかを判断する術がないため、この二つの機能を同時に実装することができない。そこでハミング符号に符号語全体の[[パリティビット]]を付加することで 1ビットの誤り訂正と同時に、2ビットまでの誤りの検出を行うことが可能になる（SECDED（"single error correction, double error detection"））。これを'''拡張ハミング符号'''という。

符号の生成は単純なハミング符号で生成された符号語の全ビットの排他的論理和を符号語の末尾に追加する。符号化、復号の例で使用した 1 0 1 1 1 0 0 の場合、パリティビットは 0 なので末尾に 0 を加えた 1 0 1 1 1 0 0 '''0''' になる。復号には、以下のような検査行列を用いる。
:<math>H = 
\begin{bmatrix}
1 & 0 & 1 & 1 & 1 & 0 & 0 & 0 \\
1 & 1 & 0 & 1 & 0 & 1 & 0 & 0 \\
0 & 1 & 1 & 1 & 0 & 0 & 1 & 0 \\
1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
\end{bmatrix}</math>
この行列は、先ほどまで使用した検査行列に、新たに全て 0の列を一番右側に加え、全て 1 の行を一番下に加えたものである。

誤り訂正の方法は、通常のハミング符号と同様である。この時 1ビット誤りなら検査行列のいずれかの列と同じ値になるが、2ビット誤りの場合は検査行列の列の値に含まれない値を出力する。これにより 1ビットの誤り訂正と2ビットの誤りの検出が同時に行える。

== 参考文献 ==
* Hamming, R. W. (1950). "Error detecting and error correcting codes". Bell System Tech. J. 29: pp. 147-160.[http://www-caip.rutgers.edu/~bushnell/dsdwebsite/hamming.pdf PDF].
* J.ユステセン、T.ホーホルト、『誤り訂正符号入門』、阪田省二郎、栗原正純、松井 一、藤沢 匡哉 訳、森北出版、2005年、ISBN 4-627-81711-8
* 今井秀樹、『符号理論』、コロナ社、1990年、ISBN 4-88552-090-8
* 情報理論とその応用学会編、『符号理論とその応用』、培風館、2003年、ISBN 4-563-01453-2

== 関連項目 ==
* [[ハミング距離]]
* [[ハミング重み]]
* [[誤り検出訂正]]
* [[リード・マラー符号]]
* [[ターボ符号]]

{{DEFAULTSORT:はみんくふこう}}

[[Category:符号理論]]
[[Category:誤り検出訂正]]
[[Category:コンピュータの算術]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]