中文

图上保持对称破缺的博弈的长度

组合数学 2007-05-23 v1 逻辑

摘要

给定图 GG,我们考虑一个博弈,其中两名玩家 AABB 轮流将 GG 的边分别染成红色和蓝色。令 l(G)l(G) 为在 AA 最优地破坏同构时,BB 能够保持红色与蓝色子图同构的最大步数。该值是假设 BB 最优博弈时 GG 上任何回避博弈持续时间的下界。我们证明如果 GG 是长度为奇数 nn 的路或圈,则 Ω(logn)l(G)O(log2n)\Omega(\log n)\le l(G)\le O(\log^2 n)。下界基于与模型论中 Ehrenfeucht 博弈的联系。我们也考虑完全图并证明 l(Kn)=O(1)l(K_n)=O(1)

关键词

引用

@article{arxiv.math/0401363,
  title  = {On the Lengths of Symmetry Breaking-Preserving Games on Graphs},
  author = {Frank Harary and Wolfgang Slany and Oleg Verbitsky},
  journal= {arXiv preprint arXiv:math/0401363},
  year   = {2007}
}

备注

20 pages