[論文レビュー] The structure of k-planar graphs.

Vida Dujmović, Pat Morin+1 more|arXiv (Cornell University)|Jul 11, 2019

Advanced Graph Theory Research参考文献 27被引用数 12

ひとこと要約

この論文は、平面グラフに既知の構造的分解結果をk-平面グラフへ一般化し、任意のk-平面グラフが、treewidth O(k⁵) のグラフとパスの強い積の部分グラフであることを証明する。これは、非マイナー閉じたグラフクラスに対する初めてのこのような積構造をもたらし、ショートカットシステムを用いることで、任意の曲面上への拡張が可能となり、k-平面グラフの非反復彩色数が有界であることを示す。

ABSTRACT

Dujmovic et al. (FOCS 2019) recently proved that every planar graph is a subgraph of the strong product of a graph of bounded treewidth and a path. This tool has been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and implicit graph encoding. We generalise this result for $k$-planar graphs, where a graph is $k$-planar if it has a drawing in the plane in which each edge is involved in at most $k$ crossings. In particular, we prove that every $k$-planar graph is a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a much more general setting based on so-called shortcut systems that are of independent interest.

研究の動機と目的

• 平面グラフに限られていた強い積構造定理を、非マイナー閉じたクラスであるk-平面グラフへ拡張すること。
• 有界treewidthのグラフとパスを用いたk-平面グラフの構造的分解を確立すること。
• k-平面グラフへ、キュー配置、非反復彩色、および暗黙的符号化に関する結果を一般化すること。
• k-平面グラフを越えて応用可能な、ショートカットシステムに基づく一般枠組みを構築すること。
• 結果を平面以外の任意の曲面に埋め込まれたグラフへ拡張すること。

提案手法

• グラフの図形的描画の構造的性質を捉えるために、ショートカットシステムに基づく一般枠組みを導入し、形式化すること。
• 各辺が高々k回の交差をもつk-平面図形の幾何的性質を用いて、階層的分解を定義すること。
• 辺の交差パターンを通じて、k-平面グラフの局所的構造を捉えるtreewidth O(k⁵) のグラフを構築すること。
• 任意のk-平面グラフが、この有界treewidthグラフとパスの強い積の部分グラフであることを証明すること。
• 積構造を活用して、非反復彩色数およびその他のグラフパラメータの境界を導出すること。
• トポロジー的制約に適応したショートカットシステムを用いることで、任意の曲面上に埋め込まれたグラフへ枠組みを拡張すること。

実験結果

リサーチクエスチョン

• RQ1 非マイナー閉じたクラスであるk-平面グラフへ、強い積構造定理を平面グラフから拡張できるか？
• RQ2 k-平面グラフの積構造分解におけるtreewidthはkに対してどのように依存するか？
• RQ3 k-平面グラフにおいて、非反復彩色およびその他の組合せ的パラメータはkの関数として有界にできるか？
• RQ4 この枠組みを平面を超えた曲面上に描かれたグラフへどのように一般化できるか？
• RQ5 k-平面図形のどの構造的性質がこのような分解を可能にするか？

主な発見

• 任意のk-平面グラフは、treewidth O(k⁵) のグラフとパスの強い積の部分グラフである。
• これは、非マイナー閉じたグラフクラスに対する初めての製品構造定理である。
• k-平面グラフの非反復彩色数はkの関数によって有界である。
• 同じショートカットシステム枠組みを用いることで、任意の曲面上に埋め込まれたグラフへも結果を拡張できる。
• ショートカットシステム枠組み自体が独立した価値を持ち、k-平面グラフを越えて一般化可能である。
• 本手法により、k-平面グラフにおけるキュー配置、p-中心彩色、および暗黙的グラフ符号化に関する新たな境界が得られる。