Hamming distance
以降の記述において、formula_1 は長さ formula_2 の符号、formula_3 は formula_4 の元、formula_5 は formula_3 間のハミング距離を表す。なお、formula_7 は線型符号とは限らない。