[論文レビュー] Improved product structure for graphs on surfaces

Marc Distel, Robert Hickingbotham+2 more|arXiv (Cornell University)|Dec 18, 2021

Advanced Graph Theory Research被引用数 4

ひとこと要約

この論文は、表面に埋め込まれたグラフの積構造定理を改善し、平面グラフ成分の木幅の上限を4から3に低下させつつ、パスと完全グラフとの強い積に含まれることを維持している。主な結果は、Eulerの genus $ g $ を持つすべてのグラフが $ H \boxtimes P \boxtimes K_{\max\{2g,3\}} $ に含まれることを示しており、ここで $ H $ は木幅3の平面グラフである。これは、表面に埋め込まれたグラフの構造的特徴づけを著しく緊密にする。

ABSTRACT

Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} floor,d+3\lfloor\frac{d}{2} floor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.

研究の動機と目的

• 表面に埋め込まれたグラフの構造的特徴づけを、積分解法を用いて精緻化すること。
• 積構造定理における平面成分の木幅の上限を4から3に低下させること。
• 結果を面の次数が有界なフレーム付きグラフおよびマップグラフに一般化すること。
• 表面埋め込みグラフの積構造定理の文脈において、木幅の最適な境界を確立すること。
• 強いグラフ積を用いた表面グラフのグローバル構造を理解するための統一的枠組みを提供すること。

提案手法

• 表面に埋め込まれた多重グラフの面に、有界なサイクル長を持つ辺を追加する $(g,d)$-フレーム付き多重グラフの概念を導入する。
• すべての $(g,d)$-フレーム付き多重グラフが $ H \boxtimes P \boxtimes K_\ell $ に含まれることを証明する。ここで $ H $ は木幅3の平面グラフであり、$ \ell = \max\{2g\lfloor d/2 \rfloor, d + 3\lfloor d/2 \rfloor - 3\} $ である。
• 辺を最大にする埋め込みと面サイクル解析を用いて、Eulerの genus $ g $ の表面に埋め込まれた基盤多重グラフ $ G_0 $ を構築し、元のグラフが $ G_0^{(d)} $ の部分グラフであるようにする。
• 得られたフレーム付きグラフに積構造定理を適用し、基盤グラフの平面性と面サイズの有界性を活用して $ H $ の木幅を制御する。
• Dujmović 他 (2020b) の既知の下界を参照することで、木幅3の上限が最適であることを示す。
• 双対性と面サイクル再構成を用いて、マップグラフおよび1-平面グラフをフレーム付きグラフの部分グラフとして埋め込み、主定理の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 表面に埋め込まれたグラフの積構造定理における木幅の上限を4から3に低下させることは可能か？
• RQ2 元の定理におけるアペックスグラフ $ H $ を木幅3の平面グラフに置き換えることは可能か？
• RQ3 すべての $(g,d)$-フレーム付き多重グラフが $ H \boxtimes P \boxtimes K_\ell $ に埋め込まれるような、$ \ell $ の最適値は何か？ ここで $ H $ は平面で木幅3である。
• RQ4 マップグラフおよび1-平面グラフは、表面に埋め込まれたフレーム付きグラフとどのように関係しているか？ また、それらはこのような積構造に埋め込むことができるか？
• RQ5 表面埋め込みグラフの積構造定理において、$ H $ の木幅3の上限は最適か？

主な発見

• この論文は、Eulerの genus $ g $ を持つすべてのグラフが $ H \boxtimes P \boxtimes K_{\max\{2g,3\}} $ に含まれることを確立しており、ここで $ H $ は木幅3の平面グラフである。これは、従来の木幅4の上限を改善している。
• 結果は $(g,d)$-フレーム付き多重グラフに一般化され、$ \ell = \max\{2g\lfloor d/2 \rfloor, d + 3\lfloor d/2 \rfloor - 3\} $ が得られ、このようなグラフが同じ積構造に、同じ $ H $ の木幅3の上限で埋め込まれることを示している。
• すべての $(g,1)$-平面グラフは、ある木幅3の平面グラフ $ H $ を用いて $ H \boxtimes P \boxtimes K_{\max\{4g,7\}} $ に含まれる。これは、タイトな構造的分解を提供する。
• $ H $ の木幅3の上限は最適であり、Dujmović 他 (2020b) の既知の下界により、すべての $ \ell \geq 0 $ に対して、$ H $ の木幅が少なくとも3である必要がある平面グラフが存在することが示されている。
• Eulerの genus $ g $ の表面に埋め込まれたマップグラフで、最大面次数が $ d $ であるものは、$ (g,d) $-フレーム付き多重グラフの部分グラフであることが示され、それらは積構造に埋め込まれる。これにより、結果の適用範囲が拡張される。
• 構成では、辺を最大にする埋め込みと面サイクル解析を用いて、基盤多重グラフ $ G_0 $ がすべての面がサイクルで境界づけられていることを保証し、これによりフレーム付きグラフ理論を用いて元のグラフを積に埋め込むことが可能になる。