[論文レビュー] How Much Work Does It Take To Straighten a Plane Graph Out?

Mihyun Kang, Mathias Schacht+1 more|ArXiv.org|Jul 23, 2007

Computational Geometry and Mesh Generation参考文献 10被引用数 3

ひとこと要約

この論文は、平面グラフを直線描画に変換するには、最悪の場合ほぼすべての頂点を移動させる必要があることを証明しており、移動させなければならない頂点の最小数を s(n) とすると、s(n) = n(1 - o(1)) が成り立つ。この結果は、円周上にネストされた重複しない三角形分割クラスタとして配置された3連結平面グラフを構築することで得られ、幾何的制約により、任意の直線描画において固定されたままにできる頂点は高々 O(n) 個であることが示される。

ABSTRACT

We prove that if one wants to make a plane graph drawing straight-line then in the worst case one has to move almost all vertices.

研究の動機と目的

• 任意の平面グラフを直線描画に変換するために移動させなければならない頂点の最小数を特定すること。
• 平面グラフにおいて最悪ケースのシナリオにおける移動させなければならない頂点数の下界を確立すること。
• 平面グラフの直線描画における固定頂点数を制限する構造的制約を分析すること。
• ほとんどすべての頂点を再配置する必要がある3連結平面グラフの明示的族を構築すること。
• この問題を、最適戦略でほぼすべての頂点を移動させる必要がある「Planarity Game」と関連付けること。

提案手法

• n = k(s + k) 個の頂点からなるグラフ G を構成し、k 個の頂点をもつ s + k 個の互いに素な集合 V_i に分割する。
• G を埋め込む際、各 V_i が最大平面（三角形分割）部分グラフを誘導し、これらの部分グラフが互いに素な外部面に配置されるようにする。
• 連続する V_i 間にクラスタ間エッジを追加し、最後にサイクルを閉じるエッジを追加することで、全体として3連結性を確保する。
• すべての V_i が正 k 辺形の頂点に位置する「悪い」円形描画を定義し、エッジの交差を生じさせる。
• G の任意の直線で交差のない描画 G' を分析し、各 V'_i を G'[V'_i] の凸包内にある三角形面 T_i に結びつける。
• T_i が互いに素（たった一つを除く）であることと、円周ラベル列に交 alternating 4-タプル (xyxy) が存在しないことを利用して、固定頂点数を制限する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフを直線描画に変換するために移動させなければならない頂点の最悪ケース数は何か？
• RQ2 この変換において固定頂点数が n の非線形関数で下限され得るか？
• RQ3 頂点クラスタの幾何的配置が、固定できる頂点数の最大値にどのように影響するか？
• RQ4 3連結性と平面性の制約が、直線描画における固定頂点数に及ぼす制限の程度はどの程度か？
• RQ5 この問題は Planarity Game とどのように関連しているか？最悪ケースのゲームインスタンスにおいて最小で何回の移動が必要か？

主な発見

• この論文は、s(n) = n(1 - o(1)) を確立しており、最悪ケースではほぼすべての頂点を移動させる必要があることを示している。
• 明示的な下界が導出され、s(n) ≥ n - 2√n - 1 が得られ、少なくともこの数の頂点は移動させなければならないことが示された。
• 直線描画における互いに素な三角形領域のため、頂点集合 V_i のうち高々 k - 1 個の集合で、2個以上の頂点が位置を固定できる。
• 頂点が弱く凸な位置にあるグラフではこの上限がタイトであり、頂点がそのような位置に任意に指定された n 点に配置された場合に結果が成り立つ。
• 分析により、最悪ケースでは高々 O(k) = O(√n) 個の頂点しか固定できないことが示され、非線形固定集合が避けられないことが確認された。
• ファンやスターフォレストなどの特定のグラフクラスに対しては、既存の境界 s(n) ≤ 3√n - 3 よりも改善されており、一般の3連結平面グラフへと拡張された。