[論文レビュー] 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

ひとこと要約

本稿では、3次元空間における単位球の配置を構築し、それらが原点をすべて含むようにすることで、その和集合の複雑さが二次関数的であることを示している。具体的には、和集合の面、辺、頂点がΩ(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.

研究の動機と目的

• 3次元空間における単位球の和集合の組合せ的複雑さに関するシャーラーの長年の予想を解決すること。
• すべての単位球が共通の点（原点）を含む場合、その和集合の複雑さが低下するかどうかを調査すること。
• 原点を含む特定の単位球の配置を構築し、その和集合が二次関数的複雑さを達成すること。
• すべての単位球が原点を含むという制約下で、単位球の和集合の複雑さに対する下界を確立すること。

提案手法

• すべてが原点を含むR³におけるn個の単位球の族を構築すること。
• 半径r > 1の球面の上に球の中心を配置し、各球が原点を含むように保証すること。
• 幾何的議論を用いて、配置が和集合の境界にΩ(n²)の特徴（面、辺、頂点）を生じることを示すこと。
• 対ごとの単位球の交差パターンを分析し、各ペアが和集合の表面に非退化で可視な球帽を寄与することを示すこと。
• 和集合の配置における頂点および辺の数がnに対して二次関数的に増加することを確立すること。
• 対称性と空間的分布を活用して、和集合の境界上の可視球帽の数を最大化すること。

実験結果

リサーチクエスチョン

• RQ1 3次元空間におけるすべての単位球が原点を共通に含む場合、その和集合の組合せ的複雑さは低下するか？
• RQ2 すべての球が共通点を共有する3次元空間におけるn個の単位球の和集合が、Ω(n²)の複雑さを持つことができるか？
• RQ3 原点を含む単位球の構成的配置で、その和集合が二次関数的複雑さを示すものがあるか？
• RQ4 どのような幾何的配置が、原点制約下で単位球の和集合における特徴数を最大化するか？

主な発見

• 3次元空間におけるn個の単位球の和集合は、すべての球が原点を含んでも、Ω(n²)の面、辺、頂点を持つことができる。
• 半径r > 1の球面上に中心を配置したn個の単位球の特定の構成により、和集合の複雑さが二次関数的になる。
• 下界は、各ペアの球が和集合の境界に明確で可視な球帽を寄与することを示すことによって確立された。
• この結果により、共通の交点がある場合でも、和集合の最悪ケース複雑さが低下しないことが確認された。
• この構成により、与えられた制約下で和集合の複雑さが二次関数未満にならないことが示された。