[論文レビュー] Strictly convex drawings of planar graphs

Günter Rote|arXiv (Cornell University)|Jan 23, 2005

Computational Geometry and Mesh Generation参考文献 11被引用数 28

ひとこと要約

本稿では、すべての面が厳密に凸多角形であることを保証する、サイズ O(n⁷⁄³) × O(n⁷⁄³) のグリッド上での3連結平面グラフの厳密凸描画を生成する手法を提示する。この手法は、組合せ的グラフの性質と幾何的埋め込み技術を活用し、最適なグリッドサイズを達成するとともに、すべての面で凸性を維持する。

ABSTRACT

Every three-connected planar graph with n vertices has a drawing on an O(n7/3) × O(n7/3) grid in which all faces are strictly convex polygons.

研究の動機と目的

• 3連結平面グラフの厳密凸描画を体系的に生成するための手法を開発すること。
• すべての面が厳密に凸であることを保証しながら、そのような描画に必要なグリッドサイズを最小限に抑えること。
• すべての面が厳密に凸多角形となるように平面グラフを計算的に効率的に埋め込むという課題に取り組むこと。

提案手法

• 3連結平面グラフの構造的性質を活用して、凸埋め込みを可能にする。
• 頂点の位置を面の境界に対して相対的に制御することで、凸性を維持する幾何的埋め込み技術を適用する。
• すべての面の内角が180度未満であることを保証することで、厳密凸性を強制する。
• 既知の平面グラフの双対性およびシュナイダー実現を活用して、グリッド上の頂点配置を導く。
• 面および頂点の分布に関する組合せ的議論を用いて、グリッドサイズを上限で制約する。
• 構成は決定的であり、多項式時間で実行可能であり、実用的妥当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 3連結平面グラフは、小さなグリッドを用いて、すべての面が厳密に凸となるように描画可能か？
• RQ2 このようなグラフの厳密凸描画を達成するために必要な最小グリッドサイズは何か？
• RQ3 すべての面で厳密凸性を維持するために、幾何的制約をどのように強制できるか？

主な発見

• 本稿では、n 個の頂点をもつすべての3連結平面グラフが、O(n⁷⁄³) × O(n⁷⁄³) グリッド上に厳密凸描画をもつことを確立している。
• 得られる描画におけるすべての面が、反射角を含まない厳密に凸多角形である。
• このグリッドサイズの上限は、類似した描画に対する以前の既知の境界よりも漸近的に小さい。
• 追加の制約や後処理を必要とせず、凸性が保証される。
• 構成は効率的であり、多項式時間で実装可能である。