规范化编辑距离在统一操作成本下是一种度量
摘要：证明了[Marzal和Vidal 1993]提出的归一化编辑距离在所有编辑操作的成本相同时是一种度量。这填补了文献中长期存在的一个空白，其中多位作者指出在一般情况下，这个距离不满足三角不等式，并且不知道在所有编辑成本相等的统一情况下是否满足三角不等式。当人们认为Marzal和Vidal的距离不是一种度量时，我们将这个度量与文献中提出的两种归一化度量进行了比较，并确定了解释原始距离为何对某些应用而言更好的关键属性。我们的研究是从形式验证的角度来进行的，但属性及其重要性是以应用无关的方式进行说明的。
作者：Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
论文ID：2201.06115
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-04-26