The Computational Hardness of Estimating Edit Distance [Extended Abstract]

  • Authors:
  • Alexandr Andoni;Robert Krauthgamer

  • Affiliations:
  • -;-

  • Venue:
  • FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove the first non-trivial communication complexity lower bound for the problem of estimating the edit distance (aka Levenshtein distance) between two strings. A major feature of our result is that it provides the first setting in which the complexity of computing the edit distance is provably larger than that of Hamming distance. Our lower bound exhibits a trade-off between approximation and communication, asserting, for example, that protocols with {\rm O}(1) bits of communication can only obtain approximation \alpha\geqslant \Omega (\log d/\log \log d), where d is the length of the input strings. This case of {\rm O}(1) communication is of particular importance, since it captures constant-size sketches as well as embeddings into spaces like L_1 and squared-L_2, two prevailing algorithmic approaches for dealing with edit distance. Furthermore, the bound holds not only for strings over alphabet \sum { = \{ 0,1\} }, but also for strings that are permutations (called the Ulam metric). Besides being applicable to a much richer class of algorithms than all previous results, our bounds are neartight in at least one case, namely of embedding permutations into L_1. The proof uses a new technique, that relies on Fourier analysis in a rather elementary way.