小编Eri*_*ick的帖子

在Petar Maymounkov和DavidMaziè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,仅存在单一的y表示,其d(X,Y)= 1)保证所有查询将沿着相同的路径收敛.为什么会这样？

基于PEG的解析器生成器通常在无效输入上提供有限的错误报告.从我读到的,重新解析的解析方言的灵感来自用正则表达式扩展的PEG语法.

例如,在JavaScript中键入以下内容:

d8> function () {}

给出以下错误,因为在声明全局函数时未提供标识符:

(d8):1: SyntaxError: Unexpected token (
function () {}
         ^

解析器能够在解析预期令牌丢失的位置精确定位.预期令牌的字符位置用于将箭头定位在错误消息中.

rebol中的解析方言是否提供了内置工具来报告无效输入上的行和列错误？

否则,是否存在提供此类错误报告的自定义推出解析规则的示例？