検査行列 - waxwing_k @ ウィキ

検査行列

検査行列（check matrix）Hとは，その行が1次独立なパリティ検査となるような(n-k)×n行列である．

したがって，Gがその符号の生成行列であって，Hがパリティ検査行列であるならば次式が成り立つ:
GH^T = 0

ここで，右辺の0はk×(n-k)零行列である．