[論文レビュー] Sparse universal graphs for planarity

Louis Esperet, Gwenaël Joret+1 more|arXiv (Cornell University)|Oct 12, 2020

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿は、$n$-頂点平面グラフのためのスパースなユニバーサルグラフを、$n^{1+o(1)}$本の辺で構築する。これは、1982年の$O(n^{3/2})$の既存の境界を著しく改善する。この研究では、平面グラフの積構造定理（$H \boxtimes P$の部分グラフとして表現可能で、$H$のツリーウェイドが8以下）を活用し、バッチ木列を用いた新規符号化手法を導入することで、近線形の辺数を達成している。また、$n^{1+o(1)}$頂点および辺を有する誘導ユニバーサルグラフの構築も行っている。

ABSTRACT

We show that for every integer $n\geq 1$ there exists a graph $G_n$ with $(1+o(1))n$ vertices and $n^{1 + o(1)}$ edges such that every $n$-vertex planar graph is isomorphic to a subgraph of $G_n$. The best previous bound on the number of edges was $O(n^{3/2})$, proved by Babai, Chung, Erdős, Graham, and Spencer in 1982. We then show that for every integer $n\geq 1$ there is a graph $U_n$ with $n^{1 + o(1)}$ vertices and edges that contains induced copies of every $n$-vertex planar graph. This significantly reduces the number of edges in a recent construction of the authors with Dujmović, Gavoille, and Micek.

研究の動機と目的

• $n$-頂点平面グラフのユニバーサルグラフを、近線形の辺数で構築し、長年にわたり知られていた$O(n^{3/2})$の境界を改善すること。
• $n$-頂点平面グラフの誘導ユニバーサルグラフを、$n^{1+o(1)}$頂点および$n^{1+o(1)}$本の辺で構築し、スパarsityと誘導部分グラフの包含を両立すること。
• 強い積分解明を用いて、有界ツリーウェイドや頂点付加マイナー自由クラスのグラフクラスへ一般化すること。
• 誘導ユニバーサルグラフの辺数を減らしながらも、近線形サイズを維持することにより、従来の構成における主要なギャップを解消すること。

提案手法

• 積構造定理を用いる：Dujmovićら（2012年）が示したように、すべての平面グラフは、ツリーウェイドが8以下のグラフ$H$とパス$P$との積$H \boxtimes P$の部分グラフとして表現可能である。
• バッチ木列を用いて、積構造内の各行を効率的に符号化し、連続する行間の変化を最小限に抑え、コンパクトな表現を実現する。
• $\mathcal{Q}_t$（ツリーウェイド$t$の$H \boxtimes P$の形をしたグラフ）に属するすべての$n$-頂点グラフを、ビットストリングと木列を用いて符号化することで、ユニバーサルグラフ$U_n$を構築する。
• 遷移コード$\mu_y(v)$と高さ制限付き木に基づくラベル付け方式を用い、辺数を制御するとともに、部分グラフの包含を保証する。
• 遷移コード長$|\mu_y(v)|$と木の高さの間のトレードオフを最適化することで、$n^{1+o(1)}$の辺数境界を達成し、最適な$|\mu_y(v)| \in O(\sqrt{\log n \cdot \log \log n})$を達成する。
• バッチ木列をGawrychowskiとJanczewski（2023年）のB-木に置き換えることで、辺数境界をわずかに改善し、$n \cdot 2^{O(\sqrt{\log n})}$を達成する。

実験結果

リサーチクエスチョン

• RQ1 $n$-頂点平面グラフのユニバーサルグラフを、$n^{1+o(1)}$本の辺で構築可能か？ これは1982年の$O(n^{3/2})$の境界を著しく改善するものか？
• RQ2 $n$-頂点平面グラフの誘導ユニバーサルグラフを、$n^{1+o(1)}$頂点および$n^{1+o(1)}$本の辺で構築可能か？
• RQ3 積構造フレームワークを用いて、頂点付加マイナー自由や有界 genus グラフなど、他のグラフクラスへ一般化可能か？
• RQ4 符号化方式における遷移コード長と木の高さの最適なトレードオフは何か？ これにより辺数を最小限に抑えることができるか？

主な発見

• $n$-頂点平面グラフのユニバーサルグラフが存在し、頂点数は$(1+o(1))n$、辺数は$n \cdot 2^{O(\sqrt{\log n \cdot \log \log n})}$以下である。これは、従来の$O(n^{3/2})$の境界を改善する。
• 誘導ユニバーサルグラフが存在し、$n^{1+o(1)}$頂点および$n^{1+o(1)}$本の辺を有する。これにより、近線形サイズとスパarsityの両方を達成する。
• バッチ木列をB-木に置き換えることで、辺数を$n \cdot 2^{O(\sqrt{\log n})}$にさらに改善でき、最近の続報で示された。
• この構成は、$\mathcal{Q}_t$（$H$のツリーウェイドが$t$である$H \boxtimes P$の形のグラフ）のすべてのグラフに適用可能であり、$t^2 \cdot n \cdot 2^{O(\sqrt{\log n \cdot \log \log n})}$本の辺を有するユニバーサルグラフを生成する。
• ツリーウェイドが$t$以下のグラフのためのラベル付け方式により、$n(\log n)^{O(t^2)}$頂点および辺を有するグラフ$H_n$が得られ、これはすべての$n$-頂点の、ツリーウェイド$\leq t$の部分グラフを誘導部分グラフとして含む。
• 本手法により、辺数のボトルネックは、遷移コード長と木の高さのトレードオフに起因し、最適化された$O(\sqrt{\log n \cdot \log \log n})$で達成されることが示された。