[论文解读] The 3x3 rooks graph is the unique smallest graph with lazy cop number 3

Brendan Sullivan, Nikolas Townsend+1 more|arXiv (Cornell University)|Jun 27, 2016

Artificial Intelligence in Games参考文献 13被引用 5

一句话总结

本文证明了 3×3 车棋盘图（K₃□K₃）是唯一最小的懒惰警卫数为 3 的图，即它是唯一需要三名懒惰警卫才能保证抓住逃犯的最小图，且任何八条或更少边的图都不需要超过两名懒惰警卫。证明通过图的结构分析和对最大度与最小度有界的图进行逐项排除完成，利用已知的警卫数与支配数结果，确立了唯一性。

ABSTRACT

In the ordinary version of the pursuit-evasion game "cops and robbers", a team of cops and a robber occupy vertices of a graph and alternately move along the graph's edges, with perfect information about each other. If a cop lands on the robber, the cops win; if the robber can evade the cops indefinitely, he wins. In the variant "lazy cops and robbers", the cops may only choose one member of their squad to make a move when it's their turn. The minimum number of cops (respectively lazy cops) required to catch the robber is called the "cop number" (resp. "lazy cop number") of G and is denoted $c(G)$ (resp. $c_L(G)$). Previous work by Beveridge at al. has shown that the Petersen graph is the unique graph on ten vertices with $c(G)=3$, and all graphs on nine or fewer vertices have $c(G)\leq 2$. (This was a self-contained mathematical proof of a result found by computational search by Baird and Bonato.) In this article, we prove a similar result for lazy cops, namely that the 3x3 rooks graph ($K_3\square K_3$) is the unique graph on nine vertices which requires three lazy cops, and a graph on eight or fewer vertices requires at most two lazy cops.

研究动机与目标

• 确定在警卫与逃犯游戏中需要三名懒惰警卫的最小图。
• 确立不存在边数不超过八条的图具有懒惰警卫数三。
• 证明 3×3 车棋盘图（K₃□K₃）是唯一在九个顶点上具有懒惰警卫数三的图。
• 扩展对小规模正则图中懒惰警卫数行为的理解。
• 支持更广泛的猜想：Kₙ□Kₙ 是唯一最小的具有懒惰警卫数 n 的图。

提出的方法

• 使用图论结构分析九个顶点上最大度 Δ ≤ 3 且最小度 δ ≥ 2 的图。
• 基于度为三的顶点及其公共邻居进行案例分析，以排除懒惰警卫数大于 2 的图。
• 利用定理 3.1，即任何顶点数不超过八个的图其懒惰警卫数至多为二。
• 利用 cₗ(G) ≤ γ(G) 和 c(G) ≤ cₗ(G) 的事实，通过支配数与标准警卫数缩小搜索空间。
• 构造车棋盘图 R₃ = K₃□K₃，并通过直接策略分析证明 cₗ(R₃) = 3。
• 通过顶点删除与子图归纳，将复杂结构简化为两名懒惰警卫的已知获胜策略。

实验结果

研究问题

• RQ1 懒惰警卫数为三的最小图是什么？
• RQ2 3×3 车棋盘图是否是九个顶点上唯一的此类图？
• RQ3 是否存在边数不超过八条的图需要三名懒惰警卫？
• RQ4 能否利用最大度有界的图的结构对它们的懒惰警卫数进行分类？
• RQ5 车棋盘图 Kₙ□Kₙ 是否代表懒惰警卫数 n 的唯一极小图？

主要发现

• 3×3 车棋盘图（K₃□K₃）是唯一在九个顶点上具有懒惰警卫数三的图。
• 不存在边数不超过八条的图具有懒惰警卫数三；所有此类图的 cₗ(G) ≤ 2。
• 该证明确立了在所有九个顶点、最大度 ≤ 3 且最小度 ≥ 2 的图中，仅 K₃□K₃ 需要三名懒惰警卫。
• 该结果证实了关于 Kₙ□Kₙ 是唯一最小图且具有懒惰警卫数 n 的猜想在 n=3 时成立。
• 推论成立：若一个 n 个顶点的图满足最大度 Δ ≥ n−9，则 cₗ(G) ≤ 3。
• 分析表明，对于最多 15 个顶点且最大度 Δ = 5 或 Δ = 4 的图，可通过子图归纳与警卫布置策略简化为已知情形。