[論文レビュー] Universal point sets for planar three-tree

Radoslav Fulek, Csaba D. Tóth|arXiv (Cornell University)|Dec 26, 2012

Computational Geometry and Mesh Generation参考文献 21被引用数 6

ひとこと要約

本稿では、平面的3-ツリーに対する$n$-ユニバーサル点集合の構築を提示し、サイズ$O(n^{3/2}\tan n)$の最初のサブクアドレティックな境界を達成した。この手法は3-ツリーの階層的分解と、特別に設計された長方形グリッド$B_n$への再帰的埋め込み戦略を用い、幾何的不変量と対角に基づく配置により、平面性とエッジの交差なしを維持する。

ABSTRACT

For every $n\in \mathbb{N}$, we present a set $S_n$ of $O(n^{3/2}\log n)$ points in the plane such that every planar 3-tree with $n$ vertices has a straight-line embedding in the plane in which the vertices are mapped to a subset of $S_n$. This is the first subquadratic upper bound on the size of universal point sets for planar 3-trees, as well as for the class of 2-trees and serial parallel graphs.

研究の動機と目的

• 平面的3-ツリーに対する$n$-ユニバーサル点集合の既知の$\Omega(n)$下界と$O(n^2)$上界の間のギャップを埋める。
• 平面的3-ツリー、2-ツリー、および系列並列グラフのクラスに対して、$n$-ユニバーサル点集合のサイズに関する最初のサブクアドレティックな上界を確立する。
• 有界グリッド内での直線平面埋め込みを保証する幾何的不変量を維持する再帰的埋め込みアルゴリズムを開発する。

提案手法

• 平面的3-ツリーの階層的分解を用いて、サイズ$O(n^{3/2}\tan n)$のユニバーサル点集合$S_n$を構築する。
• 面積が$n \cdot \text{weight}( riangle)$に比例する長方形グリッド$B_n$を定義する。ここで$\text{weight}$は部分木のサイズを反映する。
• 部分長方形$R( riangle_i)$内での再帰的頂点配置を保証するため、幾何的不変量$I_1$、$I_2$、$I_3$を用いる。
• 部分木の重みと面積比に基づいて、埋め込み領域を上部、下部、左、中央、右の領域に分割する。
• 各新しい頂点を指定された長方形$Q$内での後退対角上に配置し、すべての$i=1,2,3$に対して$R_0(\triangle_i) \subset \Box(\triangle_i)$を満たす。
• Lemma 3.5を活用して、$Q$内に後退対角上に点が存在することを保証し、交差のない再帰的埋め込みを可能にする。

実験結果

リサーチクエスチョン

• RQ1 既知の$O(n^2)$上界と$\Omega(n)$下界がある中で、平面的3-ツリーに対するサブクアドレティックなユニバーサル点集合を構築可能か？
• RQ2 2-ツリーおよび系列並列グラフのクラスにおいて、$O(n^{3/2}\log n)$のサイズの$n$-ユニバーサル点集合を達成可能か？
• RQ3 どのような幾何的および組合せ的不変量が、有界グリッド内での再帰的で交差のない直線平面埋め込みを保証できるか？

主な発見

• 本稿は、平面的3-ツリーに対する$n$-ユニバーサル点集合の最初のサブクアドレティックな上界$O(n^{3/2}\log n)$を確立した。
• 構築された点集合$S_n$は、すべての$n$頂点を持つ平面的3-ツリーの直線埋め込みをサポートし、頂点が$S_n$の点に写像されることを保証する。
• 再帰的埋め込みアルゴリズムは、非交差エッジと子部分木の正しい領域包含を保証する幾何的不変量を維持する。
• 本手法は、各新しい頂点が指定された長方形内での後退対角上に配置されることを保証し、再帰的構築を可能にする。
• 埋め込みグリッド$B_n$の面積は$100n \cdot \text{weight}( riangle)$以上であり、サイズの上限を支持するとともに、再帰的分割に十分な空間を確保する。
• 結果は2-ツリーおよび系列並列グラフへも拡張可能である。これらは平面的3-ツリーの部分クラスであり、同じ埋め込み制約を持つ。