[论文解读] Cops and robbers in random graphs

Béla Bollobás, Gábor Kun+1 more|ArXiv.org|May 18, 2008

Artificial Intelligence in Games参考文献 10被引用 7

一句话总结

本文研究了随机图中的警匪数，证明对于稀疏随机图 $ G(n,p) $ 且 $ p $ 不太小的情形，警匪数为 $ \Omega(n^{1/2+o(1)}) $，支持梅尼埃尔猜想 $ c(n) = O(\sqrt{n}) $。本文提出了一种新颖的逃犯策略，并分析了区域防御策略的局限性，表明其在某些图中效率低下。

ABSTRACT

We consider the pursuit and evasion game on finite, connected, undirected graphs known as cops and robbers. Meyniel conjectured that for every graph on n vertices a rootish number of cops can win the game. We prove that this holds up to a log(n) factor for random graphs G(n,p) if p is not very small, and this is close to be tight unless the graph is very dense. We analyze the area-defending strategy (used by Aigner in case of planar graphs) and show examples where it can not be too efficient.

研究动机与目标

• 研究梅尼埃尔猜想在 $ n $ 个顶点的图上是否成立，即警匪数 $ c(n) = O(\sqrt{n}) $。
• 确定稀疏随机图 $ G(n,p) $ 中警匪数的渐近阶，特别是当 $ p $ 不太小时的情形。
• 评估区域防御策略（每个警卫负责一个收缩子图）的效率，并揭示其在某些图类中的局限性。
• 构造显式例子，表明区域防御策略在某些图中无效，证明收缩子图的大小可能远小于图的整体规模。
• 探讨图的结构特征（如围长和不含子图性质）对警匪数的限制作用，并提出关于禁止子图和曲面嵌入图的开放问题。

提出的方法

• 基于最小化从警卫到逃犯的非回溯行走的加权和，改进了逃犯策略，并利用切尔诺夫不等式分析概率。
• 应用引理1（切尔诺夫型不等式）来界定随机图设定下二项分布的尾部概率。
• 提出一种新的警匪数下界估计技术，利用最小度 $ \delta(R) \geq d \geq 3 $ 的诱导子图 $ R $，证明对某个函数 $ M_r $，有 $ (d-1)^{-r} M_r(2c(G)) > \frac{1}{r+1} $。
• 分析超立方体中收缩子图的结构，并构造收缩子图较小的图，以证明区域防御策略的低效性。
• 利用哈珀定理对超立方体中的边边界进行分析，以界定可能的收缩子图数量，并推导其大小的概率界。
• 采用概率构造方法和切比雪夫不等式，控制随机图中边数和顶点数的偏差，确保具有所需性质的图的存在性。

实验结果

研究问题

• RQ1 在随机图 $ G(n,p) $ 中，警匪数是否满足梅尼埃尔猜想 $ c(n) = O(\sqrt{n}) $，最多相差对数因子？
• RQ2 与最优策略相比，每个警卫负责一个收缩子图的区域防御策略在一般图中的有效性如何？
• RQ3 警匪数能否以禁止子图（特别是 $ K_k $-子图自由图）为条件进行界定？最佳可能的界是什么？
• RQ4 警匪数 $ c(n) $ 的真实渐近阶是多少？是否可超越目前已知的上界 $ (1+o(1)) \frac{n \log \log n}{\log n} $？
• RQ5 是否存在拓扑或结构障碍，阻碍某些图到其他图的同态映射？这些障碍与警匪数有何关联？

主要发现

• 对于 $ p $ 不太小的随机图 $ G(n,p) $，警匪数为 $ \Omega(n^{1/2+o(1)}) $，支持梅尼埃尔猜想，仅相差对数因子。
• 区域防御策略（每个警卫负责一个收缩子图）被证明效率低下：存在图使得除整个图外最大的收缩子图大小仅为图大小的对数幂。
• 本文构造了一个图 $ G $，其最大收缩子图（不包括 $ G $ 本身）的大小至多为 $ O(\log^k n) $，表明此类策略无法实现强界。
• 通过概率方法，本文证明以至少 $ \frac{1}{2} $ 的概率，随机图不包含大小 $ \geq 3(l+2)^2 d^6 $ 的收缩子图，意味着区域防御在这些图上会失败。
• 本文证明随机图中警匪数的上界为 $ O(n^{1/2+o(1)}) $，接近猜想中的 $ O(\sqrt{n}) $，且该界在更密集的随机图中依然成立。
• 本文构造了一个围长高且最小度高的图，使得 $ c(G) \geq \delta $，表明在这些图中可能需要 $ \sqrt{n} $ 名警卫，支持 $ \sqrt{n} $ 界的必要性。