[论文解读] Meyniel's conjecture holds for random d-regular graphs

Paweł Prałat, Nicholas Wormald|arXiv (Cornell University)|Oct 11, 2015

Limits and Structures in Graph Theory参考文献 17被引用 13

一句话总结

该论文证明了梅尼埃尔猜想——即任何连通 n 个顶点图的警卫数为 O(√n)——在 d ≥ 3 时，对随机 d-正则图几乎必然成立。通过利用展开性质和概率方法，作者表明此类图几乎必然满足确保警卫数有界于 O(√n) 所需的结构条件，将先前关于二项式随机图的结果扩展到了 d-正则图模型。

ABSTRACT

In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In a separate paper, we showed that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. The result was obtained by showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. In this paper, this deterministic result is used to show that the conjecture holds asymptotically almost surely for random $d$-regular graphs when $d = d(n) \ge 3$.

研究动机与目标

• 建立梅尼埃尔猜想（即任何连通 n 个顶点图的警卫数为 O(√n)）在随机 d-正则图上几乎必然成立（a.a.s.）的结论。
• 将先前关于二项式随机图的结果扩展到 d-正则随机图模型，表明该猜想在这一不同的随机图集合下依然成立。
• 证明 d ≥ 3 的随机 d-正则图几乎必然具备某种展开型性质，从而蕴含猜想的有效性。
• 通过展示典型随机 d-正则图满足梅尼埃尔猜想的结构前提，弥合概率模型与确定性界之间的差距。

提出的方法

• 作者使用一个确定性结果，表明具备特定展开型性质的图满足梅尼埃尔猜想，然后证明随机 d-正则图几乎必然属于此类图。
• 他们逐层分析图的结构，定义集合 S(v,r) 和 N(v,r) 以追踪从顶点出发的距离和邻域。
• 证明过程涉及在选定顶点处构建不相交的树，并逐层扩展，以确保充分增长，使用对初始图配置的概率条件。
• 对于集合 U 中的每个顶点 w，该方法定义扩展树 T̃(w)，并控制其增长，确保每层的顶点数满足与 d^i 和 n/(|U|d^j) 成比例的下界。
• 分析基于初始树结构的存在性，然后使用修改后的先前子引理，证明进一步扩展以高概率存在的结论。
• 关键技术步骤涉及使用参数 χ（定义为对 j 求和的 d^{-j}|Ũ_j|）来界定扩展树每层的顶点数，确保增长速率满足所需的下界。

实验结果

研究问题

• RQ1 当 d ≥ 3 时，梅尼埃尔猜想是否在随机 d-正则图上几乎必然成立？
• RQ2 能否证明在一般图中蕴含梅尼埃尔猜想的展开型性质，在随机 d-正则图中也几乎必然成立？
• RQ3 随机 d-正则图的警卫数如何随 n 变化，且是否几乎必然满足 O(√n) 的界？
• RQ4 随机 d-正则图的何种结构特性可确保其支持梅尼埃尔猜想所需的警卫策略？

主要发现

• 当 d ≥ 3 时，n 个顶点的随机 d-正则图的警卫数几乎必然为 O(√n)。
• 该结果通过证明随机 d-正则图几乎必然满足蕴含梅尼埃尔猜想的一类展开型性质而建立。
• 对于 d ≥ log⁴n 的稠密 d-正则图，由于图结构中存在充分的展开性和树增长性质，该猜想几乎必然成立。
• 该证明依赖于在选定顶点处构建不相交的树，并证明其在每层均以足够快的速度增长，且第 i 层的顶点数下界由 d^i 和 n/(|U|d^j) 的函数决定。
• 此类树扩展以高概率存在的事实，确保了警卫布置所需集合 W(w) 的存在，从而满足警卫数有界的条件。
• 分析确认，即使在 d ≥ 3 的稀疏 d-正则图中，警卫数仍为 O(√n)，从而将早期关于二项式随机图模型的结果推广至更广泛的情形。