Hamming distance
長さ formula_2 で最小ハミング距離 formula_31 の線型符号 formula_32 のパリティ検査行列を formula_33 とする。すると、formula_7 は明らかに