[1]
ベクトル v = (v1, v2, ..., vn)
,
u = (u1, u2, ..., un)
において要素が等しくない個数、すなわち
dH (u, v) = |{i | vi ≠ ui, 1 ≦ i ≦ n}|
を v
と u
のハミング距離といいます。
(1), (2) >>1 の定義より明らかである。
(3)
u
,
v
,
w
の要素
ui
,
vi
,
wi
(0 ≦ i ≦ n
)
がそれぞれ等しいかどうかで分類すると、
u と v | v と w | w と u | 個数 |
---|---|---|---|
ui = vi | vi = wi | wi = ui | a1 |
ui = vi | vi ≠ wi | wi ≠ ui | a2 |
ui ≠ vi | vi ≠ wi | wi = ui | a3 |
ui ≠ vi | vi = wi | wi ≠ ui | a4 |
ui ≠ vi | vi ≠ wi | wi ≠ ui | a5 |
であるから、三角不等式が成立することがわかる。