[論文レビュー] 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本のジョーダン曲線の配置において、どの2本の曲線の交わりもs回未満でない場合、1つの面の組み合わせ的複雑度のタイトな上界を確立する。曲線が双無限である場合、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.

研究の動機と目的

• 双無限ジョーダン曲線の配置における1つの面の正確な漸近的複雑度を特定する未解決問題を解消すること。
• 双無限、半無限、有界ジョーダン曲線の3タイプを統一的に扱う面の複雑度解析の枠組みを構築すること。
• 1つの一貫したフレームワークを用いて、3タイプの曲線すべてに対してタイトな上界を提供し、既知の下界と一致させること。
• 既存の面の複雑度に関する結果を拡張するために、交差制約と複雑度境界を保ちながら、交差数を変化させないトンネル化変換を導入すること。

提案手法

• 有界な面を、その境界から曲線を無限に延長することで無限な面に変換するトンネル構成を導入し、交差制約を保持する。
• 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本の半無限ジョーダン曲線からなる配置において、どの2本の曲線の交わりもs回未満でない場合、1つの面の最大組み合わせ的複雑度は何か？
• RQ2 同じs交差制約下で、双無限、半無限、有界ジョーダン曲線の3タイプにおいて、1つの面の複雑度はどのように変化するか？
• RQ3 3タイプの曲線の面の複雑度を一様に分析できる証明技法は存在するか？
• RQ4 半無限曲線に対して予想されているO(λₛ₊₁(n)) の境界はタイトであり、DS-列理論を用いて証明可能か？

主な発見

• 任意の2本の曲線がs回未満で交わるn本の双無限ジョーダン曲線の配置において、1つの面の組み合わせ的複雑度はO(λₛ(n)) であり、既知の最悪ケース下界と一致する。
• 任意の2本の曲線がs回未満で交わるn本の半無限ジョーダン曲線の配置において、面の複雑度はO(λₛ₊₁(n)) であり、この場合の長年の未解決問題が解決された。
• 任意の2本の曲線がs回未満で交わるn本の有界ジョーダン曲線の配置において、面の複雑度はO(λₛ₊₂(n)) であり、以前に知られていた最悪ケース下界と一致する。
• トンネル化技術により、有界な面を無限な面に変換することができ、曲線対あたりの交差数が増加せず、s交差制約が保持された。
• DS-列の使用を一貫して行い、曲線の種類に応じて列の順序を調整することで、3タイプすべての曲線の解析を統一したフレームワークで行えた。
• 境界が、各曲線タイプの既知の最悪ケース構成と一致するため、漸近的にタイトであることが保証された。