[论文解读] The union of unit balls has quadratic complexity, even if they all contain the origin

Hervé Brönnimann, Olivier Devillers|ArXiv.org|Jul 16, 1999

Point processes and geometric inequalities被引用 5

一句话总结

本文在三维空间中构建了一组单位球的配置，所有单位球均包含原点，以证明其并集的复杂度可以达到二次方——具体而言，具有 Ω(n²) 个面、边和顶点。该构造推翻了此前认为此类并集复杂度会更低的猜想，证明即使存在一个公共交点，其组合复杂度仍可保持二次方。

ABSTRACT

We provide a lower bound construction showing that the union of unit balls in three-dimensional space has quadratic complexity, even if they all contain the origin. This settles a conjecture of Sharir.

研究动机与目标

• 解决Sharir长期以来关于三维空间中单位球并集组合复杂度的猜想。
• 研究当所有单位球均包含一个公共点（原点）时，是否能降低其并集的复杂度。
• 构造一种特定的单位球排列，使得所有球均包含原点，并使其并集达到二次方复杂度。
• 在所有单位球均包含原点的约束下，建立并集复杂度的下界。

提出的方法

• 在 R³ 中构造一组 n 个单位球，使得所有球均包含原点。
• 将球的球心排列在半径 r > 1 的球面壳上，确保每个球都包含原点。
• 通过几何论证表明，该排列导致并集边界上出现 Ω(n²) 个特征（面、边、顶点）。
• 分析单位球对之间的交线模式，证明每对球均向并集表面贡献一个非退化且可见的部分。
• 证明并集排列中的顶点数和边数随 n 的增长呈二次方增长。
• 利用对称性与空间分布，最大化并集边界上可见球冠的数量。

实验结果

研究问题

• RQ1 在三维空间中，所有单位球均包含原点是否能降低其并集的组合复杂度？
• RQ2 即使所有球共享一个公共点，n 个单位球在 R³ 中的并集是否仍可具有 Ω(n²) 的复杂度？
• RQ3 是否存在一种构造性配置，使得所有包含原点的单位球其并集表现出二次方复杂度？
• RQ4 何种几何排列可在原点约束下最大化单位球并集的特征数量？

主要发现

• 在三维空间中，n 个单位球的并集可具有 Ω(n²) 个面、边和顶点，即使所有球均包含原点。
• 通过将 n 个单位球的球心置于半径 r > 1 的球面上，可实现并集的二次方复杂度。
• 通过证明每对球均向并集边界贡献一个独立且可见的球冠，建立了该下界。
• 结果表明，存在一个公共交点并不会降低并集的最坏情况复杂度。
• 该构造表明，在给定约束下，并集的复杂度并非亚二次方。