[论文解读] Increasing-Chord Graphs On Point Sets

Hooman Reisi Dehkordi, Fabrizio Frati+1 more|arXiv (Cornell University)|Aug 12, 2014

Computational Geometry and Mesh Generation被引用 4

一句话总结

本文提出两个主要结果：第一，对于任意包含 n 个点的点集 P，构造一个使用 O(n) 个 Steiner 点的平面递增弦图；第二，对于凸点集，构造一个具有 O(n log n) 条边且不使用 Steiner 点的递增弦图。该方法利用 Gabriel 三角剖分和基于几何划分的分治策略，确保所有顶点对之间存在递增弦路径。

ABSTRACT

We tackle the problem of constructing increasing-chord graphs spanning point sets. We prove that, for every point set P with n points, there exists an increasing-chord planar graph with O(n) Steiner points spanning P. Further, we prove that, for every convex point set P with n points, there exists an increasing-chord graph with O(n log n) edges (and with no Steiner points) spanning P.

研究动机与目标

• 解决 Almadi 等人提出的开放问题：是否存在仅使用 O(n) 个 Steiner 点即可覆盖任意点集的平面递增弦图。
• 为凸点集构造边数为次二次的递增弦图，改进以往需要使用 Steiner 点的构造方法。
• 建立 Gabriel 三角剖分的结构性质，以保证存在递增弦路径，从而实现高效图构造。
• 探索非凸点集及高维推广情形下平面递增弦图的可行性。
• 研究是否存在边数为 o(n²) 的递增弦图，适用于任意点集，特别是非凸构型。

提出的方法

• 以 Gabriel 三角剖分（Delaunay 三角剖分的子图）为基础，利用其几何性质确保递增弦行为。
• 基于两条垂直的有向直线诱导的几何划分，应用递归的分治策略，确保子集平衡。
• 采用递归构造方法，在由方向性划分定义的子集之间构建递增弦路径，仅在必要时使用中间 Steiner 点。
• 应用关键引理，确保对于任意凸点集及合适方向，将点集划分为四个象限可得到平衡子集，从而实现对数级递归深度。
• 将互补子集（如 Q_a ∪ Q_c 和 Q_b ∪ Q_d）上的递增弦图组合，以覆盖所有跨子集的点对，然后递归构造剩余点对之间的缺失路径。
• 使用递推关系界定边数：f(n) ≤ 2n + 2f(n/2 + 1)，由此得出凸点集的边数为 O(n log n)。

实验结果

研究问题

• RQ1 能否仅使用 O(n) 个 Steiner 点，为任意点集 P 构造出平面递增弦图？
• RQ2 每个凸点集 P 是否都存在一个具有 O(n log n) 条边且不使用 Steiner 点的递增弦图？
• RQ3 R² 中的 Gabriel 三角剖分是否总是递增弦图？该性质能否推广至高维？
• RQ4 能否为任意（非凸）点集构造边数为 o(n²) 的递增弦图？
• RQ5 能否为位于三条或更多条直线上的点集（特别是锐角三角形边界上）构造平面递增弦图？

主要发现

• 对于任意大小为 n 的点集 P，存在一个使用 O(n) 个 Steiner 点的平面递增弦图，覆盖 P，从而回答了 Almadi 等人提出的开放问题。
• 对于每个大小为 n 的凸点集 P，存在一个具有 O(n log n) 条边且不使用 Steiner 点的递增弦图，通过递归几何划分构造而成。
• 证明了 R² 中点集的 Gabriel 三角剖分是递增弦图，为具有强路由特性的新型邻近图类提供了依据。
• 递归构造方法满足递推关系 f(n) ≤ 2n + 2f(n/2 + 1)，其解为 f(n) ∈ O(n log n)，从而证明了凸点集的边数上界。
• 该方法确保每对顶点（包括 Steiner 点）在两个方向上均存在递增弦路径，满足完整的递增弦条件。
• 当允许使用 Steiner 点时，该构造对非凸集合也有效，但一般点集是否存在不使用 Steiner 点的平面递增弦图仍为开放问题。