ハミング符号




ハミング符号（ハミングふごう、英: Hamming code）とはデータの誤りを検出・訂正できる線型誤り訂正符号のひとつ。




目次






  • 1 概要


  • 2 基本概念


    • 2.1 符号化


    • 2.2 誤り訂正と復号


    • 2.3 拡張ハミング符号




  • 3 関連項目


  • 4 参考文献





概要


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



基本概念


一般にハミング符号は、ある整数 m に対し、



符号長 :n=2m−1{displaystyle n=2^{m}-1}n=2^{m}-1

情報数 :k=n−m{displaystyle k=n-m}k=n-m


で構成される。ここで情報数とは元のデータのビット数、符号長とは生成される符号のビット数である。
m = 3 の場合は n = 7、k = 4 となり、4ビットのビット列を7ビットの符号語に置き換えるハミング符号が形成される、この場合を(7,4)ハミング符号という。


ハミング符号は検査行列と生成行列と呼ばれる二つの行列を用いて処理が行われる。なお各行列計算で用いられる加算は全て排他的論理和であることに注意する。まず検査行列について述べる。この行列は m行 n列の行列で、全ての列要素がゼロではなく、かつ相違であるという条件がある。
(7,4)ハミング符号の検査行列 H の一例を以下に示す。


H=[101110011010100111001]{displaystyle 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}}}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}}

検査行列 H の条件は上記に記したように全ての列が相違であり、なおかつ 0 しかない列が存在しないことである。H の列の数は nであるので、Hの各列には 0 以外の全てのビットパターンが存在することになる。列の順番は任意であるが特に


H = [ A Im ]

の形で表される行列の場合を組織符号という、ここで A は任意の行列、 Imは m × m の単位行列である。ハミング符号に於いては組織符号の理論上の重要性は持たないが後述する生成行列の計算が容易になるのと、符号の装置化が簡略になるので良く用いられる。なお上記の例での H も組織符号である。


次に生成行列について述べる。生成行列 G とは以下の条件を満たす非零の行列である。


HGT = GHT = 0

ここで、GTは G の転置行列を表す。組織符号の場合、G は以下の形で表される。


G = [ Ik AT ]

上記の例で示した H に対する G は以下のようになる。


G=[1000110010001100101010001111]{displaystyle 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}}}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}}


符号化


符号化では生成行列 G と送信したいデータ m1 ... mk との乗算を行う。
先ほどの例で取り上げた G を生成行列として、ビット列 1 0 1 1 を符号化する場合を考える。このとき生成される符号は


[1011]⋅[1000110010001100101010001111]=[1011100]{displaystyle {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}}}{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}}

となり、1 0 1 1 1 0 0 が生成された符号である。



誤り訂正と復号


復号は検査行列 H と受信したデータの積を求めることで行われる。今、受信データ Y を受け取ったとする。このとき Y に誤りが存在しない場合は


Y=x⋅G{displaystyle Y=xcdot G}Y=xcdot G

であるといえる。ここで x とは符号化される前のビット列である。この Y と H の転置行列との積を求めると H と G の関係式より


Y⋅HT=x⋅(G⋅HT)=0{displaystyle Ycdot H^{T}=xcdot (Gcdot H^{T})=0}Ycdot H^{T}=xcdot (Gcdot H^{T})=0

と求められる。すなわち受信語と検査行列の積が零ベクトルであるなら誤りが無いことになり、非零であるなら誤りを含むことになる。次に Y が 1 ビットの誤りを含むとする、ここで Y を以下のように仮定する。


Y=x⋅G⊕ei{displaystyle Y=xcdot Goplus e_{i}}Y=xcdot Goplus e_{i}

ここで ei とは i番目のビットが 1、それ以外のビットが 0 のビット列である。このような eiのことを誤りベクトルという。先ほどと同様に Y と H の転置行列との積を求めると以下のようになる。


Y⋅HT=(x⋅G⊕ei)⋅HT=x⋅(G⋅HT)⊕ei⋅HT=ei⋅HT{displaystyle Ycdot H^{T}=(xcdot Goplus e_{i})cdot H^{T}=xcdot (Gcdot H^{T})oplus e_{i}cdot H^{T}=e_{i}cdot H^{T}}Ycdot H^{T}=(xcdot Goplus e_{i})cdot H^{T}=xcdot (Gcdot H^{T})oplus e_{i}cdot H^{T}=e_{i}cdot H^{T}

ここでei は i番目のビットのみ 1 であるので、すなわち H の i番目の列が出力されることになる。よってこの出力が Hの何列目と一致するかを比べることにより誤りの位置が検出され、その部分のビットを反転することで誤りを訂正できる。


例として上記の符号語が送信され、1 1 1 1 1 0 0 が受信されたとする。この受信データは 1 1 1 1 1 0 0 に誤りを含む。このデータを復号する。受信データと H の転置行列の積を求めると以下のようになる。


[1111100]⋅[101110011010100111001]T=[011]{displaystyle {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}}}{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}}

この出力を転置すると、Hの2列目と同じ値であることがわかる。よって誤りは 2列目であり、2 列目のビットを反転させると 1 0 1 1 1 0 0となり、元の符号語に訂正されたことがわかる。


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



拡張ハミング符号


(7,3)ハミング符号の場合に符号語に2ビットの誤りが含まれている場合を考えてみる。この時位置 i と jに誤りが含まれているとすると


Y=x⋅G⊕ei⊕ej{displaystyle Y=xcdot Goplus e_{i}oplus e_{j}}Y=xcdot Goplus e_{i}oplus e_{j}

となり、検査行列との積を取ると


Y⋅HT=ei⋅HT⊕ej⋅HT{displaystyle Ycdot H^{T}=e_{i}cdot H^{T}oplus e_{j}cdot H^{T}}Ycdot H^{T}=e_{i}cdot H^{T}oplus e_{j}cdot H^{T}

となる。この時 ei ≠ ej であるため、上記の式は検査行列の任意の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 になる。復号には、以下のような検査行列を用いる。


H=[10111000110101000111001011111111]{displaystyle 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}}}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}}

この行列は、先ほどまで使用した検査行列に、新たに全て 0の列を一番右側に加え、全て 1 の行を一番下に加えたものである。


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



関連項目



  • ハミング距離

  • ハミング重み

  • 誤り検出訂正

  • リード・マラー符号

  • ターボ符号



参考文献



  • Hamming, R. W. (1950). "Error detecting and error correcting codes". Bell System Tech. J. 29: pp. 147-160.PDF.

  • J.ユステセン、T.ホーホルト、『誤り訂正符号入門』、阪田省二郎、栗原正純、松井 一、藤沢 匡哉 訳、森北出版、2005年、ISBN 4-627-81711-8

  • 今井秀樹、『符号理論』、コロナ社、1990年、ISBN 4-88552-090-8

  • 情報理論とその応用学会編、『符号理論とその応用』、培風館、2003年、ISBN 4-563-01453-2




Popular posts from this blog

'app-layout' is not a known element: how to share Component with different Modules

Image
0 My application was working fine until I decided to go with lazy loading: So, my shared component looks like this: import { Component, Renderer2 } from '@angular/core'; export interface FormModel { captcha?: string; } @Component({ selector: 'app-layout', templateUrl: './app-layout.component.html', styleUrls: ['./app-layout.css'] }) export class FullLayoutComponent { } app-layout.component.ts I am using this component in my Another component say school-home.component.html like this: <app-layout> </app-layout> and it was working fine until I created a Module school-home.module.ts like this: import { NgModule } from '@angular/core'; import { CommonModule } from '@angular/common'; import { SchoolhomeRoutingModule ...
Read more

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 This is a simple project showing cubes on Unity, exported to android project and imported on Android studio. On maifest file it showed following warning: Expecting <uses-feature android:name="android.software.leanback" android:required="false" /> tag I have no information about it. And also on default emptyview android project does not use/mention this feature. I know it is required by TV's and such but why its not added by default? Why is this? And Should I concern about it? android unity3d ...
Read more

WPF add header to Image with URL pettitions [duplicate]

Image
up vote 0 down vote favorite This question already has an answer here: Image source URI requiring authorization 3 answers Add header to all* HTTP requests on a machine 1 answer first of all sorry for my english. Recently I added some security in the backend of my project, and now I need to send a validation code(apiKey) inside the headers to retrieve the images. I have a problem with ALL images in my project that I had attached in my UI. For example, before I had: <Image Height="90" Source="{Binding Video.Thumbnail}"/> Now I need to change my code to create a CUSTOM petition add the apiKey in the header:...
Read more