[论文解读] The number of transversals to line segments in R^3

Hervé Brönnimann, Hazel Everett+3 more|arXiv (Cornell University)|Jun 27, 2003

Computational Geometry and Mesh Generation参考文献 16被引用 3

一句话总结

本文表征了 R³ 中 n 条线段的直线横截线的结构与数量，表明其可具有 0、1、…、n 或无穷多条横截线，其中无穷多条横截线最多形成 n 个连通分支。其主要贡献在于对横截线构型进行了完整的拓扑与组合分类，适用于 3D 场景中的可见性计算与几何算法。

ABSTRACT

We completely describe the structure of the connected components of transversals to a collection of n line segments in R^3. We show that n>2 arbitrary line segments in R^3 admit 0, 1, ..., n or infinitely many line transversals. In the latter case, the transversals form up to n connected components.

研究动机与目标

• 对 R³ 中任意 n 条线段集合的直线横截线的几何结构与连通分支进行完整表征。
• 根据线段配置确定横截线可能的数量——0、1、…、n 或无穷多条。
• 建立横截线连通分支数量的紧致界，特别是在无穷多条横截线的情况下。
• 支持计算几何中的算法应用，特别是可见性复杂度计算与几何横截线问题。

提出的方法

• 使用普吕克坐标表示 R³ 中的直线，并在直线空间中分析横截线。
• 通过基于支撑线的几何分解，将三维横截线问题约化为平面构型。
• R² 中的几何对偶性：将直线映射为点，线段映射为双锥区域，从而通过交集分析横截线。
• 当线段位于旋转双曲面的母线上时，分析位于该曲面直母线上的横截线。
• 在直线或圆上使用区间交集技术，在约化后高效计算横截线。
• 根据支撑线的共面性与异面性对构型进行分类，并对每种子情况分别处理。

实验结果

研究问题

• RQ1 R³ 中 n 条线段的横截线集合最多可具有多少个连通分支？
• RQ2 在 R³ 中 n 条线段的何种构型下存在无穷多条横截线，且其拓扑结构如何？
• RQ3 R³ 中 n 条线段的横截线数量是否可以为 0、1、…、n 或无穷多条，这些情况之间的转换由什么决定？
• RQ4 退化构型（例如线段位于双曲面上）的存在如何影响横截线的数量与连通性？
• RQ5 确定 R³ 中 n 条线段所有横截线的计算复杂度是多少，是否可在 O(n log n) 时间内求解？

主要发现

• 对于 R³ 中 n ≥ 3 条线段，其横截线数量可以是 0、1、…、n 或无穷多条，不存在中间值。
• 当存在无穷多条横截线时，其连通分支数最多为 n，且该界是紧致的。
• 存在 n 条共面线段的构型，其横截线恰好形成 n 个连通分支，证明了该界的紧致性。
• 位于单条母线上的 n 条线段的横截线构成一个连通集合，其参数化形式为直线或圆上的一个区间。
• 在实 RAM 模型下，存在一个 O(n log n) 时间复杂度的算法，通过案例分析与区间交集技术计算 R³ 中 n 条线段的所有横截线。
• 该结果不适用于射影空间 P³，在 P³ 中无穷多条横截线始终构成单一连通分支。