Abstract:The edit distance of two strings is the minimum number of insertions, deletions, and substitutions needed to transform one string into the other. The textbook algorithm determines the edit distance of length-$n$ strings in $O(n^2)$ time, which is optimal up to subpolynomial factors under Orthogonal Vectors Hypothesis. In the bounded version of the problem, parameterized by the edit distance $k$, the algorithm of Landau and Vishkin [JCSS'88] achieves $O(n+k^2)$ time, which is optimal as a function of $n$ and $k$. The dynamic version of the problem asks to maintain the edit distance of two strings that change dynamically, with each update modeled as an edit. A folklore approach supports updates in $\tilde O(k^2)$ time, where $\tilde O(\cdot)$ hides polylogarithmic factors. Recently, Charalampopoulos, Kociumaka, and Mozes [CPM'20] showed an algorithm with update time $\tilde O(n)$, which is optimal under OVH in terms of $n$. The update time of $\tilde O(\min\{n,k^2\})$ raised an exciting open question of whether $\tilde O(k)$ is possible; we answer it affirmatively. Our solution relies on tools originating from weighted edit distance, where the weight of each edit depends on the edit type and the characters involved. The textbook algorithm supports weights, but the Landau-Vishkin approach does not, and a simple $O(nk)$-time procedure long remained the fastest for bounded weighted edit distance. Only recently, Das et al. [STOC'23] provided an $O(n+k^5)$-time algorithm, whereas Cassis, Kociumaka, and Wellnitz [FOCS'23] presented an $\tilde O(n+\sqrt{nk^3})$-time solution and a matching conditional lower bound. In this paper, we show that, for integer edit weights between $0$ and $W$, weighted edit distance can be computed in $\tilde O(n+Wk^2)$ time and maintained dynamically in $\tilde O(W^2k)$ time per update. Our static algorithm can also be implemented in $\tilde O(n+k^{2.5})$ time.

Upper bounds on the average edit distance between two random strings

Improved Lower Bounds on the Expected Length of Longest Common Subsequences

Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity

An Improved Sketching Algorithm for Edit Distance

Faster Sublinear-Time Edit Distance

Bounded Edit Distance: Optimal Static and Dynamic Algorithms for Small Integer Weights

Improved Bounds for Permutation Arrays Under Chebyshev Distance

Near-Optimal Quantum Algorithms for Bounded Edit Distance and Lempel-Ziv Factorization

Many Flavors of Edit Distance

Language Edit Distance & Scored Parsing: Faster Algorithms & Connection to Fundamental Graph Problems

Almost Linear Size Edit Distance Sketch

Locally consistent decomposition of strings with applications to edit distance sketching

Expected length of the longest common subsequence for large alphabets

On Differentially Private String Distances

Upper Bounds on the Average Height of Random Binary Trees

Exponent-Strings and Their Edit Distance

Longest common substring for random subshifts of finite type

Edit Distance: Sketching, Streaming and Document Exchange

Small space and streaming pattern matching with k edits

Does Preprocessing help in Fast Sequence Comparisons?

The Chvátal-Sankoff problem: Understanding random string comparison through stochastic processes