[論文レビュー] Balanced Circle Packings for Planar Graphs

Md. Jawaherul Alam, David Eppstein+3 more|arXiv (Cornell University)|Aug 21, 2014

Computational Geometry and Mesh Generation参考文献 23被引用数 5

ひとこと要約

本稿では、頂点数に関して多項式的に有界な最大・最小円径標の比を有する平面的グラフにおけるバランスの取れたサークル接触表現を構築するフレームワークを提案する。逆距離サークルパッキングに制御された摂動を適用することで、有界次数および対数的外平面性を有するグラフ、木、外パス、カチュー、および有界木深さグラフはこのような表現を許容することが証明されるが、より高い次数や外平面性を有する特定のクラスでは許容されない。

ABSTRACT

We study balanced circle packings and circle-contact representations for planar graphs, where the ratio of the largest circle's diameter to the smallest circle's diameter is polynomial in the number of circles. We provide a number of positive and negative results for the existence of such balanced configurations.

研究の動機と目的

• 頂点数に関して多項式的である最大直径と最小直径の比を有するバランスの取れたサークル接触表現が平面的グラフに存在するかを調査すること。
• 有界次数、低外平面性、または低木深さといった構造的グラフクラスが、このようなバランスの取れた表現を許容するかを特定すること。
• 良好な構造的性質を有するにもかかわらず、本質的にバランスの取れた表現を拒むグラフクラスを同定すること。
• 特定のグラフ族に対してバランスの取れた配置を達成するための、逆距離サークルパッキングに基づく構成的メソッドを開発すること。
• 高次の次数や外平面性を有する特定のグラフクラスに対して、バランスの限界を明らかにし、負の結果を証明すること。

提案手法

• 円パッキング定理およびその逆距離パッキングへの拡張を用いる。ここで、接する円は辺の存在を、非接する円は非辺を表す。
• 摂動技術を適用する：与えられた平面的グラフを、固定された三角形を有する最大平面的グラフに拡張し、実際の辺には逆距離1、非辺には1+εを割り当てる。
• 逆距離パッキングのεに関する連続性を用い、ε→0の極限でパッキングが有効なサークル接触表現に収束することを保証する。
• SPQR木分解を用いて、2-連結成分を再帰的に構築する。Rノードには逆距離パッキングを、より単純な成分には直接配置を適用する。
• 十分に小さいεに対して、非隣接円同士の非交差性が連続性により保たれることを用い、有効な接触表現が保証される。
• コリンズおよびステファンソンの知られている結果（例：逆距離パッキングの存在性および安定性）を活用して、このような配置の存在と安定性を主張する。

実験結果

リサーチクエスチョン

• RQ1 どの平面的グラフクラスが多項式的径標比を有するバランスの取れたサークル接触表現を許容するか？
• RQ2 有界次数および対数的外平面性を有するグラフに対して、逆距離サークルパッキングを用いてバランスの取れた表現を構築できるか？
• RQ3 外パス、カチュー、または有界木深さグラフといった自然なグラフクラスは、常にバランスの取れた表現を許容するか？
• RQ4 より高い最大次数や外平面性を有するグラフでは、どのような構造的制限がバランスの取れた表現を妨げるか？
• RQ5 ε > 0 の摂動法は、ε→0 の極限において、バランスと正しい接触構造を両方保証できるか？

主な発見

• 最大次数Δのn-頂点k-外平面グラフは、径標比がf(Δ)^{k + log n}で有界なサークル接触表現を許容する。Δが定数でk = O(log n)のとき、これは多項式的である。
• 有界最大次数と線形外平面性、あるいは線形最大次数と有界外平面性を有する平面的グラフが、いかなるバランスの取れたサークル接触表現も許容しない例が存在する。
• すべての木、すべての外パス、およびカチュー・グラフはバランスの取れたサークル接触表現を許容する。
• 木深さがd以下のすべての平面的グラフは、任意の固定されたdに対してバランスの取れたサークル接触表現を許容する。
• 小さなε > 0 を用いた逆距離パッキングに基づく構成法により、非隣接円は非交差のままであり、隣接円は接するままであり、接触構造が極限で保たれる。
• 一般には非構成的であるが、パッキングが距離割り当てに連続的に依存することに依拠しており、逆距離アルゴリズムの先行する経験的成功により実用的妥当性が示唆される。