在Petar Maymounkov和David Mazières的Kademlia论文中,它说XOR距离是一种有效的非欧几里得度量,但对于一个有效度量的每个属性为什么是必要或有趣的,解释都很有限,包括:
此外,该论文提到单向性(对于给定的x和距离l,只存在一个y满足d(x,y)= l),保证所有查询沿着相同的路径收敛。为什么会这样?
- 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)-- 三角不等式
此外,该论文提到单向性(对于给定的x和距离l,只存在一个y满足d(x,y)= l),保证所有查询沿着相同的路径收敛。为什么会这样?