@inproceedings{6e80aaec6cfe49afa6e5ac6daadc52f2,
title = "The Normalized Edit Distance with Uniform Operation Costs Is a Metric",
abstract = "We prove that the normalized edit distance proposed in [Marzal and Vidal 1993] is a metric when the cost of all the edit operations are the same. This closes a long standing gap in the literature where several authors noted that this distance does not satisfy the triangle inequality in the general case, and that it was not known whether it is satisfied in the uniform case - where all the edit costs are equal. We compare this metric to two normalized metrics proposed as alternatives in the literature, when people thought that Marzal's and Vidal's distance is not a metric, and identify key properties that explain why the original distance, now known to also be a metric, is better for some applications. Our examination is from a point of view of formal verification, but the properties and their significance are stated in an application agnostic way.",
keywords = "edit distance, metric, normalized distance, triangle inequality",
author = "Dana Fisman and Joshua Grogin and Oded Margalit and Gera Weiss",
note = "Publisher Copyright: {\textcopyright} Dana Fisman, Joshua Grogin, Oded Margalit, and Gera Weiss; licensed under Creative Commons License CC-BY 4.0; 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022 ; Conference date: 27-06-2022 Through 29-06-2022",
year = "2022",
month = jun,
day = "1",
doi = "10.4230/LIPIcs.CPM.2022.17",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Hideo Bannai and Jan Holub",
booktitle = "33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022",
address = "Germany",
}