[論文レビュー] Drawing cubic graphs with the four basic slopes

Padmini Mukkamala, Dömötör Pálvölgyi|arXiv (Cornell University)|Jun 10, 2011

Computational Geometry and Mesh Generation参考文献 20被引用数 8

ひとこと要約

本稿では、任意の3次グラフが、直線の辺と頂点を通らない交差を伴わず、4つの基本的な傾き（0、π/4、π/2、3π/4）のみを用いて平面に描けることを証明している。主な結果は、4つの傾きがすべての3次グラフに十分であるための必要十分条件が、それらの傾きで$K_4$を描けるかどうかにかかっていることであり、このような傾き集合の完全な特徴付けを確立している。

ABSTRACT

We show that every cubic graph can be drawn in the plane with straight-line edges using only the four basic slopes $\{0,π/4,π/2,3π/4\}$. We also prove that four slopes have this property if and only if we can draw $K_4$ with them.

研究の動機と目的

• すべての3次グラフが、固定された有限な4つの傾き集合で描けるかどうかを特定すること。
• 3次グラフの描画に必要な最小傾き数を特定し、最適性の問題を解決すること。
• すべての3次グラフを描ける4つの傾き集合を特徴づけること。
• $K_4$が3次グラフの図形における傾き集合のテストケースとして果たす役割を調査すること。

提案手法

• 接続性に基づく3次グラフの構造的分解：切断頂点、ブリッジ、2頂点カット。
• 補題2.8を用いた帰納的描画技術。この補題により、適切なMカットを持つグラフを4つの基本的傾きで描ける。
• アフィン変換を用いて傾き集合を正規化。任意の良い4傾き集合は、基本的4傾きのアフィン像でなければならないことを示した。
• ハミルトン閉路をもつ3連結3次グラフに関する既知の結果（エンゲルシュタインらの結果など）を応用し、スパercycle補題を用いて拡張した。
• サイクル数≤16の頂点数の小さなグラフ（特に、ハミルトン閉路を持たないが高サイクル長のもの）について、包括的なケース解析を実施。ピーターセングラフとティーツェグラフを含む。
• 幾何的推論を用いて、一般位置に$K_4$を描ける任意の4傾き集合は、基本的4傾きとアフィン同値でなければならないことを示した。

実験結果

リサーチクエスチョン

• RQ1 すべての3次グラフは、4つの基本的傾き（0、π/4、π/2、3π/4）のみを用いて描けるか？
• RQ2 すべての3次グラフを描くために必要な最小傾き数は4つであるか？
• RQ3 すべての3次グラフを描ける4つの傾き集合はどのように特徴づけられるか？
• RQ4 $K_4$は、4傾き集合がすべての3次グラフを描けるかどうかを判定する普遍的テストグラフであるか？
• RQ5 最大次数4のグラフの傾き数は、無限大に達する可能性があるか？

主な発見

• すべての3次グラフは、4つの基本的傾き（0、π/4、π/2、3π/4）のみを用いて直線による図形で描ける。
• 4つの傾きがすべての3次グラフに十分であるための必要十分条件は、それらの傾きで$K_4$を描けることである。
• 4つの傾き集合が良い（＝すべての3次グラフを描ける）ための必要十分条件は、それらが基本的4傾きのアフィン像であることである。
• 3連結でハミルトン閉路を持たないピーターセングラフとティーツェグラフも、4つの基本的傾きを用いて描けることが確認され、臨界ケースの妥当性が裏付けられた。
• $K_4$の実現可能性による良い4傾き集合の特徴付けは、完全かつ幾何的に意味のある基準を提供する。
• この結果により、3次グラフに必要な最小傾き数が4つであり、かつそれがタイトであることが明らかになった。