The geodesic fréchet distance between two curves bouding a simple polygon

Abstract

The Fréchet distance is a popular similarity measure that is well understood for polygonal curves in Rd: near-quadratic time algorithms exist, and conditional lower bounds suggest that these results cannot be improved significantly, even in one dimension and when approximating with a factor less than 3. We consider the special case where the curves bound a simple polygon and distances are measured via geodesics inside this simple polygon. Here the conditional lower bounds do not apply; Efrat, Guibas, Har-Peled, Mitchell, and Murali (2002) were able to give a near-linear time 2-approximation algorithm. In this paper, we significantly improve upon their result: we present a (1 + ε)approximation algorithm, that for fixed ε > 0, runs in O(1ε (n + m log n) log nm log 1ε ) time for a simple polygon bounded by two curves with n and m vertices, respectively. To do so, we compute the reachability of specific groups of points in the free space simultaneously, by interpreting the free space as one between separated curves in R. We solve this one-dimensional problem in near-linear time, generalizing a result by Bringmann and Künnemann (2015). Finally, we give a linear-time exact algorithm if the two curves bound a convex polygon.