首页/论文/2001.10298

arXiv 2001.102982020-01-28cs.CG

关于中间曲线问题的复杂性

On the complexity of the middle curve problem

Maike Buchin, Nicole Funk, Amer Krivošija

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对于一组曲线，Ahn等人引入了中间曲线的概念，并给出了计算这些曲线的算法，其中运行时间是曲线数量的指数。在这里，我们研究了这个问题的计算复杂性：我们证明了它是NP-完全的，并给出了近似算法。

英文摘要：

For a set of curves, Ahn et al. introduced the notion of a middle curve and gave algorithms computing these with run time exponential in the number of curves. Here we study the computational complexity of this problem: we show that it is NP-complete and give approximation algorithms.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

具有最小曲线复杂度的拟上平面图

Quasi-upward Planar Drawings with Minimum Curve Complexity

本文研究了双峰平面有向图的最小曲线复杂度的拟上平面图的计算问题，图中，以使每个边缘的最大弯曲数最小化。我们证明了每一个双峰平面有向图都允许一个曲线复杂度为2的拟向上平面图，这是最坏情况最优的。我们还表明，在准向上的平面绘图曲线的复杂性最小化的问题可以建模为一个单位容量的平面流网络的最小成本流问题。这就产生了一个$\tilde{O}(m^\frac{4}{3})$ -时间算法，计算一个准向上的平面绘图与最小的曲线复杂性;此外，绘图具有最小数量的弯曲时，没有边可以弯曲两次以上。作为对比，我们显示双峰平面有向图的弯曲最小准向上平面图纸需要线性曲线的复杂性，即使在变量嵌入设置。

2021-09-11cs.CG

用嵌套逼近加速多边形曲线的简化

Speeding up Simplification of Polygonal Curves using Nested Approximations

我们开发了一个多分辨率的方法来解决多边形曲线逼近的问题。我们从理论上和实验上证明，如果在任意两个连续的分辨率级之间使用的简化算法A满足一定的条件，那么多分辨率算法MR的复杂度将低于A的复杂度。特别是，我们表明，如果A有一个O（N2/K）的复杂性（减少搜索动态解决方案的方法的复杂性），其中N和K分别是初始和最终的段数，MR的复杂性是在O（N）。我们实验比较MR的结果与最佳的“全搜索”动态规划解决方案和经典的合并和分裂的方法。实验评估证实了理论推导，并表明，所提出的方法在2D海岸地图上评估，要么表现出较低的复杂性，或提供多边形近似接近初始曲线。

2008-03-02cs.CG

离散Frechet距离下多边形曲线的沃罗诺伊图复杂度的下界

Lower Bounds for the Complexity of the Voronoi Diagram of Polygonal Curves under the Discrete Frechet Distance

给出了离散Frechet距离下多边形曲线的沃罗诺伊图的组合复杂度的下界。我们证明了R^d中n条曲线的沃罗诺伊图的复杂度为Ω（n^{dk}）（d= 1，2）和Ω（n^{d（k-1）+2}）（d>2）.

2007-08-14cs.CCcs.CG

Fréchet和Hausdorff距离下度量球的VC维数

The VC Dimension of Metric Balls under Fréchet and Hausdorff Distances

Vapnik-Chervonenkis维数为集合系统提供了复杂性的概念。如果VC维很小，那么知道这一点可以大大简化基本的计算任务，如分类，范围计数和密度估计，通过使用采样边界。我们分析集系统的地面集$X$是一组多边形曲线在$\mathbb{R}^d$和集$\mathcal{R}$是度量球定义的曲线相似性度量，如Fréchet距离和Hausdorff距离，以及它们的离散对应。我们推导出VC维上的上界和下界，这意味着在曲线的数量很大的设置中有用的采样界，但单个曲线的复杂性很小。我们的上界在定义范围的曲线的复杂性上是近二次的或近线性的，并且在定义基集的曲线的复杂性上是对数的。

2019-11-15cs.CG

曲线间区间搜索的复杂性

On the complexity of range searching among curves

现代跟踪技术已经使得大量密集采样的移动对象轨迹的收集广泛可用。我们认为一个基本的问题时遇到的分析这样的数据：给定$n$多边形曲线$S$在$\mathbb{R}^d$，预处理$S$到一个数据结构，回答查询曲线$q$和半径$ρ$的曲线$S$有\Frechet距离最多$ρ$到$q$。我们开始全面分析的空间/查询时间权衡这个数据结构化问题。我们的下限意味着，在指针模型模型中，任何达到$Q(n) + O(k)$查询时间的数据结构，其中$k$是输出大小，在最坏的情况下，必须使用大约$Ω\left((n/Q(n))^2\right)$空间，即使查询仅仅是点（对于离散的\Frechet距离）或线段（对于连续的\Frechet距离）。更重要的是，我们表明，更复杂的查询和输入曲线导致额外的对数因子的下限。粗略地说，添加的对数因子的数量与添加到查询和输入曲线复杂度的边的数量成线性关系。这意味着空间/查询时间的权衡是由输入和查询复杂性的指数因子决定的。这种行为解决了范围搜索文献中的一个悬而未决的问题：是否有可能避免在多级分区树的空间和查询时间中使用额外的对数因子。我们对这个问题的回答是否定的。在积极的一面，我们表明，我们可以建立数据结构的\Frechet距离使用半代数范围搜索。我们的离散\Frechet距离的解与下限一致，因为数据结构中的级别数是$O(t)$，其中$t$表示曲线的最大顶点数。对于连续的\F…

2017-07-15cs.CG

S-交曲线排列中单个面的复杂性

Complexity of a Single Face in an Arrangement of s-Intersecting Curves

考虑一个平面F，在平面上有n条约当曲线，其中没有两条相交超过s次。证明了当曲线是双无限、半无限和有界时，F的组合复杂度分别为O（λ s（n））、O（λ s+1}（n））和O（λ s+2}（n）），λ k（n）是n个符号表上k阶Davenport-Schinzel序列的最大长度.我们的边界渐近匹配已知的最坏情况下的下限。我们的证明解决了半无限曲线的仍然明显开放的情况。此外，它以相当统一的方式对待这三种情况。

2011-08-22cs.CGmath.CO

更多相关论文收起更多论文

嵌入射线交图与整体曲线简化

Embedding Ray Intersection Graphs and Global Curve Simplification

我们证明了圆图（圆弦的交图）可以嵌入为平面中的线的交图，具有多项式大小的位复杂度。我们使用这种嵌入表明，有向Hausdorff距离的全局曲线简化问题是NP-困难的。在这个问题中，我们给定一条多边形曲线$P$，目标是找到第二条多边形曲线$P'$，使得从$P'$到$P$的有向Hausdorff距离至多为给定常数，并且$P'$的复杂度尽可能小。

2021-08-31cs.CG

具有拓扑约束的折线图

Polyline Drawings with Topological Constraints

设$G$是一个简单拓扑图，$Γ$是$G$的一个简单图.如果$Γ$与$G$具有相同的外边界、相同的旋转系统和相同的交叉集，则我们称之为$G$的$Γ$ \emph{partially preserves the topology}。如果$G$的平面化和$Γ$的平面化具有相同的平面嵌入，则绘制$Γ$完全保留了$G$的拓扑。我们证明了如果$G$的无交叉边集形成一个连通生成子图，则$G$允许一个部分保持其拓扑结构且曲线复杂度至多为3的连续图（即，每边最多三个弯曲）。然而，如果$G$的无交叉边的集合不是连通生成子图，则曲线复杂度可以是$Ω(\sqrt{n})$。关于图纸，完全保留的拓扑结构，我们表明，如果$G$有偏度$k$，它承认一个这样的绘图曲线复杂性最多$2k$ ;偏度为1的图，曲线复杂性可以减少到一个，这是一个紧的界限。我们还考虑最佳的$2$ -平面图，并讨论曲线的复杂性和交叉角分辨率的图纸，完全保持拓扑结构之间的权衡。

2018-09-21cs.CG

多边形曲线的渐进简化

Progressive Simplification of Polygonal Curves

多边形曲线在不同细节层次上的简化是许多应用中的一个重要问题。现有的几何优化算法只能最大限度地减少简化曲线的复杂性为一个单一的细节层次。我们提出了一个$O(n^3m)$的时间算法，需要一个多边形曲线的n个顶点，并产生一组一致的简化m尺度，同时最大限度地减少累积简化的复杂性。该算法与Hausdorff、Fréchet和基于区域的距离等距离度量兼容，并能够简化$O(n^5)$时间内的连续缩放。为了加快这种算法在实践中，我们提出了新的技术来构建和表示所谓的快捷图。这些技术对轨迹数据的实验评估显示，使用快捷图进行渐进和非渐进曲线简化在运行时间和内存使用方面都有显着改善。

2018-06-07cs.CG

多边形曲线的近似$(k,\ell)$ -中值聚类

Approximating $(k,\ell)$-Median Clustering for Polygonal Curves

2015年，Driemel、Krivošija和Sohler引入了$(k,\ell)$ -中值问题，用于在Fréchet距离下聚类多边形曲线。给定一组输入曲线，该问题要求找到至多$\ell$顶点的$k$中值曲线，每个顶点最小化所有输入曲线上到其最近中值曲线的Fréchet距离之和。其算法的一个主要缺点是输入曲线被限制在实直线上。在本文中，我们提出了一种随机双准则近似算法，适用于多边形曲线在$\mathbb{R}^d$和实现近似因子$(1+ε)$的聚类成本。该算法在曲线数量方面具有最坏情况的运行时间线性，在每条曲线的最大顶点数量方面具有多项式，即它们的复杂性，并且在$d$、$\ell$、$ε$和$δ$中具有指数，即，失败的概率。我们通过一个捷径引理来实现这一结果，该引理保证了多边形曲线的存在，该多边形曲线具有与复杂性$\ell$的最佳中值曲线相似的成本，但复杂性至多为$2\ell-2$，并且其顶点可以有效地计算。我们将这个引理与Kumar等人的超集采样技术相结合，得出我们的聚类结果。在此过程中，我们描述和分析了Ackermann等人的算法的推广，这可能是独立的利益。

2020-11-03cs.CGcs.DS

曲线几何求交数的计算

Computing the Geometric Intersection Number of Curves

曲面上曲线的几何求交数是任何同伦曲线，即任何通过连续变形得到的曲线的最小自交数。给定一条曲线$c$，它由复杂度为$n$的组合曲面上长度至多为$\ell$的闭行走表示，我们描述了简单的算法来（1）在$O(n+ \ell^2)$时间内计算$c$的几何求交数，（2）构造一条与$c$同伦的曲线，该曲线在$O(n+\ell^4)$时间内实现该几何求交数，（3）判定$c$的几何求交数是否为零，即，如果$c$在$O(n+\ell\log\ell)$时间上与简单曲线同伦。（2）和（3）的算法仅限于可定向曲面，但（1）的算法在不可定向曲面上也是有效的。据我们所知，这些问题尚未出现精确的复杂性分析。对问题（1）和（3）的已发表算法的复杂性的乐观分析最多给出在无边界亏格$g$曲面上的$O(n+g^2\ell^2)$时间复杂性。没有多项式时间算法已知的问题（2）的表面没有边界。有趣的是，我们对问题（3）的解决方案为一个多世纪前庞加莱提出的问题提供了一个准线性算法。最后，我们注意到，我们的算法问题（1）扩展到计算几何求交数的两条曲线的长度最多$\ell$在$O(n+ \ell^2)$时间。

2019-11-27cs.CGmath.GT

通过细分实现曲线的认证同伦近似

Certified simultaneous isotopic approximation of curves via subdivision

提出一种基于细分的认证算法，通过引入新测试正确隔离交点，实现平面上任意数量曲线的同伦近似，并提供步骤数与位复杂度分析。

2024-07-25cs.CGmath.AG