Hamming distance
2進数の符号 formula_1 の符号語の長さが formula_2、すなわち formula_3 の部分集合であるとする。formula_1 における最小ハミング距離を formula_5 とすると、次が成り立つ。