{"title":"Algorithms for the Discrete Fréchet Distance Under Translation","authors":"O. Filtser, M. J. Katz","doi":"10.4230/LIPIcs.SWAT.2018.20","DOIUrl":null,"url":null,"abstract":"The (discrete) Frechet distance (DFD) is a popular similarity measure for curves. Often the input curves are not aligned, so one of them must undergo some transformation for the distance computation to be meaningful. Ben Avraham et al. [Rinat Ben Avraham et al., 2015] presented an O(m^3n^2(1+log(n/m))log(m+n))-time algorithm for DFD between two sequences of points of sizes m and n in the plane under translation. In this paper we consider two variants of DFD, both under translation.\nFor DFD with shortcuts in the plane, we present an O(m^2n^2 log^2(m+n))-time algorithm, by presenting a dynamic data structure for reachability queries in the underlying directed graph. In 1D, we show how to avoid the use of parametric search and remove a logarithmic factor from the running time of (the 1D versions of) these algorithms and of an algorithm for the weak discrete Frechet distance; the resulting running times are thus O(m^2n(1+log(n/m))), for the discrete Frechet distance, and O(mn log(m+n)), for its two variants.\nOur 1D algorithms follow a general scheme introduced by Martello et al. [Martello et al., 1984] for the Balanced Optimization Problem (BOP), which is especially useful when an efficient dynamic version of the feasibility decider is available. We present an alternative scheme for BOP, whose advantage is that it yields efficient algorithms quite easily, without having to devise a specially tailored dynamic version of the feasibility decider. We demonstrate our scheme on the most uniform path problem (significantly improving the known bound), and observe that the weak DFD under translation in 1D is a special case of it.","PeriodicalId":447445,"journal":{"name":"Scandinavian Workshop on Algorithm Theory","volume":"125 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Scandinavian Workshop on Algorithm Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.SWAT.2018.20","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6
Abstract
The (discrete) Frechet distance (DFD) is a popular similarity measure for curves. Often the input curves are not aligned, so one of them must undergo some transformation for the distance computation to be meaningful. Ben Avraham et al. [Rinat Ben Avraham et al., 2015] presented an O(m^3n^2(1+log(n/m))log(m+n))-time algorithm for DFD between two sequences of points of sizes m and n in the plane under translation. In this paper we consider two variants of DFD, both under translation.
For DFD with shortcuts in the plane, we present an O(m^2n^2 log^2(m+n))-time algorithm, by presenting a dynamic data structure for reachability queries in the underlying directed graph. In 1D, we show how to avoid the use of parametric search and remove a logarithmic factor from the running time of (the 1D versions of) these algorithms and of an algorithm for the weak discrete Frechet distance; the resulting running times are thus O(m^2n(1+log(n/m))), for the discrete Frechet distance, and O(mn log(m+n)), for its two variants.
Our 1D algorithms follow a general scheme introduced by Martello et al. [Martello et al., 1984] for the Balanced Optimization Problem (BOP), which is especially useful when an efficient dynamic version of the feasibility decider is available. We present an alternative scheme for BOP, whose advantage is that it yields efficient algorithms quite easily, without having to devise a specially tailored dynamic version of the feasibility decider. We demonstrate our scheme on the most uniform path problem (significantly improving the known bound), and observe that the weak DFD under translation in 1D is a special case of it.
(离散)Frechet距离(DFD)是一种常用的曲线相似性度量方法。通常输入曲线是不对齐的,因此其中一条必须经过一些变换才能使距离计算有意义。Ben Avraham等人[Rinat Ben Avraham et al., 2015]提出了一种O(m^3n^2(1+log(n/m))log(m+n))时间算法,用于平移平面中两个大小为m和n的点序列之间的DFD。在本文中,我们考虑了两种变体的DFD,都是在翻译下。对于平面上具有快捷方式的DFD,我们通过在底层有向图中提供可达性查询的动态数据结构,提出了O(m^2n^2 log^2(m+n))时间算法。在一维中,我们展示了如何避免使用参数搜索,并从这些算法(一维版本)和弱离散Frechet距离算法的运行时间中去除对数因子;因此,对于离散Frechet距离,最终的运行时间为O(m^2n(1+log(n/m))),对于其两个变体,运行时间为O(mn log(m+n))。我们的一维算法遵循Martello等人[Martello等人,1984]为平衡优化问题(BOP)引入的一般方案,当可行性决策器的有效动态版本可用时,该方案特别有用。我们提出了一种防喷器的替代方案,其优点是它很容易产生有效的算法,而无需设计专门定制的动态可行性决策方案。我们在最均匀路径问题上证明了我们的方案(显著改进了已知的边界),并观察到一维中平移下的弱DFD是它的一个特殊情况。