Petar Maymounkov と David Mazières による Kademlia の論文では、XOR 距離は有効な非ユークリッド メトリックであり、有効なメトリックの各プロパティが必要または興味深い理由についての説明が限られていると言われています。
- d(x,x) = 0
- d(x,y) > 0、x != y の場合
- forall x,y : d(x,y) = d(y,x) -- 対称性
- d(x,z) <= d(x,y) + d(y,z) -- 三角形の不等式
一般に、メトリクスがこれらのプロパティを持つことが重要なのはなぜですか? Kademlia Distributed Hash Table 実装でクエリをルーティングするコンテキストで、これらの各プロパティが必要なのはなぜですか?
さらに、この論文では、一方向性 (特定の x と距離 l に対して、d(x,y) = l となる単一の y のみが存在する) により、すべてのクエリが同じパスに沿って収束することが保証されると述べられています。どうしてこんなことに?