[论文解读] Complexity of a Single Face in an Arrangement of s-Intersecting Curves

Boris Aronov, Dmitriy Drusvyatskiy|arXiv (Cornell University)|Aug 22, 2011

Algorithms and Data Compression参考文献 11被引用 3

一句话总结

本文建立了平面中 n 条 Jordan 曲线排列的单个面的组合复杂度的紧致上界，其中任意两条曲线的交点数不超过 s 次。证明表明，对于双无限曲线，复杂度为 O(λₛ(n))；对于半无限曲线，复杂度为 O(λₛ₊₁(n))；对于有界曲线，复杂度为 O(λₛ₊₂(n))，采用统一的方法，基于 Davenport-Schinzel 序列，并利用隧道化技术将有界面转化为无界面。

ABSTRACT

Consider a face F in an arrangement of n Jordan curves in the plane, no two of which intersect more than s times. We prove that the combinatorial complexity of F is O(λ_s(n)), O(λ_{s+1}(n)), and O(λ_{s+2}(n)), when the curves are bi-infinite, semi-infinite, or bounded, respectively; λ_k(n) is the maximum length of a Davenport-Schinzel sequence of order k on an alphabet of n symbols. Our bounds asymptotically match the known worst-case lower bounds. Our proof settles the still apparently open case of semi-infinite curves. Moreover, it treats the three cases in a fairly uniform fashion.

研究动机与目标

• 解决关于具有有界两两交点数的半无限 Jordan 曲线排列中单个面的精确渐近复杂度的开放问题。
• 统一处理双无限、半无限和有界 Jordan 曲线在面复杂度分析中的方法。
• 通过单一、连贯的框架，为所有三种曲线类型提供与已知下界匹配的紧致上界。
• 通过引入保持交点约束和复杂度界不变的隧道化变换，扩展现有排列中面复杂度的结果。

提出的方法

• 提出一种隧道化构造，通过将曲线从面边界延伸至无穷远，将有界面转化为无界面，同时保持交点约束。
• 使用 Davenport-Schinzel 序列（DS-序列）来建模面边界上曲线出现的序列，其阶数 s 取决于曲线类型。
• 应用已知的 DS-序列长度上界，特别是 λₛ(n)、λₛ₊₁(n) 和 λₛ₊₂(n)，推导出每类曲线的复杂度界。
• 对于半无限曲线，证明边界序列为 DS(2n, s+1)-序列，从而得出 O(λₛ₊₁(n)) 的复杂度。
• 对于双无限曲线，表明边界序列为 DS(n, s)-序列，从而得出 O(λₛ(n)) 的复杂度。
• 对于有界曲线，采用类似论证表明序列为 DS(n, s+2)-序列，结果为 O(λₛ₊₂(n)) 的复杂度。

实验结果

研究问题

• RQ1 在 n 条半无限 Jordan 曲线的排列中，若任意两条曲线的交点数不超过 s 次，单个面的最大组合复杂度是多少？
• RQ2 在相同的 s-交点约束下，单个面的复杂度在双无限、半无限和有界 Jordan 曲线中如何变化？
• RQ3 是否可以使用统一的证明技术来分析所有三类曲线的面复杂度？
• RQ4 对于半无限曲线，猜想的 O(λₛ₊₁(n)) 上界是否紧致，并可通过 DS-序列理论证明？

主要发现

• 在最多 s 次两两交点的 n 条双无限 Jordan 曲线排列中，单个面的组合复杂度为 O(λₛ(n))，与已知的最坏情况下界一致。
• 对于最多 s 次两两交点的 n 条半无限 Jordan 曲线，面复杂度为 O(λₛ₊₁(n))，解决了该情形下的长期开放问题。
• 对于最多 s 次两两交点的 n 条有界 Jordan 曲线，面复杂度为 O(λₛ₊₂(n))，与此前已知的最坏情况构造下界一致。
• 隧道化技术成功地将有界面转化为无界面，且未增加曲线对之间的交点数，从而保持了 s-交点约束。
• 该证明框架通过一致使用 Davenport-Schinzel 序列统一分析了所有三类曲线，其中序列阶数根据曲线类型进行调整。
• 这些界在渐近意义上是紧致的，因为它们与每类曲线的已知最坏情况构造完全匹配。