[論文レビュー] Two-Planar Graphs Are Quasiplanar

Michael M. Hoffmann, Csaba D. Tóth|arXiv (Cornell University)|May 16, 2017

Computational Geometry and Mesh Generation被引用数 5

ひとこと要約

本稿では、各辺が高々2回まで交差する2平面的グラフが、3本の辺が互いに交差しない図形的描画を許容する quasiplanar であることを証明している。著者らはさらに、このようなグラフが単純なトポロジカル性質を持つ描画で表現可能であることを示しており、辺同士の交差は高々1回であり、隣接する辺同士は交差しない。これにより、2平面的グラフのトポロジカルな特徴づけが確立される。

ABSTRACT

It is shown that every 2-planar graph is quasiplanar, that is, if a simple graph admits a drawing in the plane such that every edge is crossed at most twice, then it also admits a drawing in which no three edges pairwise cross. We further show that quasiplanarity is witnessed by a simple topological drawing, that is, any two edges cross at most once and adjacent edges do not cross.

研究の動機と目的

• 2平面的グラフのトポロジカルな特徴づけを示すために、それが quasiplanar であることを確立すること。
• 2平面的グラフにおける quasiplanarity が単純なトポロジカル描画によって達成可能であることを示すこと。
• 2平面的グラフが3本の辺が互いに交差するのを避ける描画を許容するかという未解決の問題を解消すること。
• 2平面的グラフにおける交差制約を、より制限的ではあるが同等のトポロジカル描画条件に再構成できることを示すこと。

提案手法

• 著者らは、2平面的図形の辺の交差を分析するためにトポロジカルグラフ理論を用いる。
• 彼らは、任意の2平面的図形が quasiplanar 図形に再配置可能であることを示すために組合せ的議論を適用する。
• 彼らは、2平面的グラフにおける辺の交差を再配置することで、3本の辺が互いに交差しないようにできることを証明する。
• 彼らは、このような再配置が単純性を保つことを確立する：辺同士の交差は高々1回であり、隣接する辺同士は交差しない。
• 彼らは、単純なトポロジカル図形の概念を用いて、最終的な図形的条件を形式化する。
• 彼らは、2平面的グラフの構造的性質に依存して、このような図形の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての2平面的グラフは、3本の辺が互いに交差しない図形で描画可能か？
• RQ2 辺同士の交差が高々1回で、隣接する辺同士が交差しない単純なトポロジカル図形が2平面的グラフに存在するか？
• RQ3 2平面的性質は、トポロジカルな意味で quasiplanarity を含意するか？
• RQ4 2平面的グラフの交差制約を、より制限的ではあるが同等の図形的条件に再構成できるか？
• RQ5 2平面的グラフのトポロジカルな性質は、2回までの交差制限を超えてどのような特徴を有するか？

主な発見

• すべての2平面的グラフは quasiplanar であり、3本の辺が互いに交差しない図形的描画を許容する。
• 2平面的グラフの quasiplanarity は、単純なトポロジカル図形によって裏付けられる。
• そのような図形では、任意の2本の辺が高々1回しか交差しない。
• 結果の単純なトポロジカル図形では、隣接する辺同士は交差しない。
• この結果により、2平面的グラフが quasiplanar グラフの部分クラスとしてトポロジカルに特徴づけられることが確立された。
• 証明により、2交差制限を、表現可能性を失わず、より強く構造化された図形的条件に変換可能であることが示された。