[论文解读] 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)}$，同时实现稀疏性与诱导子图包含性。
• 将该构造推广至有界树宽图及 apex- minor-free 图类，利用强积分解方法。
• 在保持接近线性大小的前提下，减少诱导通用图中的边数，解决先前构造中的关键缺口。

提出的方法

• 利用乘积结构定理：根据 Dujmović 等人（2012）的研究，每个平面图都是某个树宽至多为8的图 $H$ 与路径 $P$ 的强积 $H \boxtimes P$ 的子图。
• 采用批量树序列高效编码乘积结构中的行，最小化连续行之间的变化，从而实现紧凑表示。
• 通过位串和树序列编码 $\mathcal{Q}_t$ 中的所有 $n$-顶点图（即形如 $H \boxtimes P$ 且 $H$ 树宽为 $t$ 的图），构建通用图 $U_n$。
• 基于转移码 $\mu_y(v)$ 和高度有界的树设计标签方案，以控制边数并确保子图包含性。
• 在转移码长度 $|\mu_y(v)|$ 与树高之间进行权衡，以优化 $n^{1+o(1)}$ 的边数上界，最优 $|\mu_y(v)| \in O(\sqrt{\log n \cdot \log \log n})$。
• 用 B 树（来自 Gawrychowski 与 Janczewski，2023）替代批量树序列，将边数上界略微改进为 $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 能否利用乘积结构框架，将该构造推广至其他图类（如 apex-minor-free 图或有界亏格图）？
• RQ4 在编码方案中，转移码长度与树高之间的最优权衡是什么，以最小化边数？

主要发现

• 存在一个 $n$-顶点平面图的通用图，其顶点数为 $(1+o(1))n$，边数不超过 $n \cdot 2^{O(\sqrt{\log n \cdot \log \log n})}$，显著优于先前的 $O(n^{3/2})$ 上界。
• 存在一个 $n$-顶点平面图的诱导通用图，其顶点数和边数均为 $n^{1+o(1)}$，实现了接近线性大小与稀疏性的双重目标。
• 通过用 B 树替代批量树序列，边数可进一步优化至 $n \cdot 2^{O(\sqrt{\log n})}$，该结果已在近期后续工作中得到验证。
• 该构造适用于 $\mathcal{Q}_t$ 中的所有图（即形如 $H \boxtimes P$ 且 $H$ 树宽为 $t$ 的图），可构造出边数为 $t^2 \cdot n \cdot 2^{O(\sqrt{\log n \cdot \log \log n})}$ 的通用图。
• 针对树宽至多为 $t$ 的图设计的标签方案，可生成一个图 $H_n$，其顶点数和边数为 $n(\log n)^{O(t^2)}$，并包含所有 $n$-顶点且树宽 $\leq t$ 的子图为诱导子图。
• 该方法表明，边数的瓶颈在于转移码长度与树高的权衡，最优值为 $O(\sqrt{\log n \cdot \log \log n})$。