Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
Cheng, Siu Wing, Huang, Haoqiang
Abstract
Let m and n be the numbers of vertices of two polygonal curves in R<sup>d</sup> for any fixed d such that m ≤ n. Since it was known in 1995 how to compute the Fréchet distance of these two curves in O(mn log(mn)) time, it has been an open problem whether the running time can be reduced to o(n<sup>2</sup>) when m = Ω(n). In the mean time, several well-known quadratic time barriers in computational geometry have been overcome: 3SUM, some 3SUM-hard problems, and the computation of some distances between two polygonal curves, including discrete Fréchet distance, dynamic time warping, and geometric edit distance. It is curious that the quadratic time barrier for Fréchet distance still stands. We present an algorithm to compute the Fréchet distance in O(mn(log log n)<sup>2+µ</sup> log n/ log<sup>1+µ</sup> m) expected time for some constant µ ∈ (0, 1). It is the first algorithm that returns the Fréchet distance in o(mn) time when m = Ω(n<sup>ε</sup>) for any fixed ε ∈ (0, 1].