中文

Cops与Robbers游戏、Clique覆盖与诱导环

组合数学 2025-07-22 v1 离散数学

摘要

我们考虑在有限简单图上进行的Cops与Robbers游戏。在图 GG 中,捕获robber所需的警察数量记为 c(G)c(G)。对于所有图 GG,都有 c(G)α(G)θ(G)c(G) \leq \alpha(G) \leq \theta(G),其中 α(G)\alpha(G)θ(G)\theta(G) 分别为独立数和clique覆盖数。在2022年,Turcotte 询问是否存在图 GG 使得 c(G)<α(G)c(G) < \alpha(G)α(G)3\alpha(G) \geq 3 时。最近,Char、Maniya 和 Pradhan 通过证明Shrikhande图的补图的警察数和独立数均为3来证明这一命题不成立。我们使用随机图证明更强的结论:对于所有 k1k\geq 1,存在图 GG 使得 c(G)=α(G)=θ(G)=kc(G) = \alpha(G) = \theta(G) = k。接下来,我们考虑满足 c(G)=θ(G)3c(G) = \theta(G) \geq 3 的图的结构。我们通过结构性论证证明,任何满足 c(G)=θ(G)=k3c(G) = \theta(G) = k \geq 3 的图 GG 包含长度为 3tk+13\leq t \leq k+1 的诱导环。这意味着所有独立数大于等于4的完美图 GG 都有 c(G)<α(G)c(G) < \alpha(G)。此外,我们讨论了典型的无三角形和 C4C_4-free 图是否具有 c(G)<α(G)c(G) < \alpha(G)

关键词

引用

@article{arxiv.2507.14321,
  title  = {Cops and Robbers, Clique Covers, and Induced Cycles},
  author = {Alexander Clow and Imed Zaguia},
  journal= {arXiv preprint arXiv:2507.14321},
  year   = {2025}
}

备注

15 pages, 1 figure