[论文解读] $H$-games played on vertex sets of random graphs

Gledel, Valentin, Oijid, Nacim|arXiv (Cornell University)|Jan 2, 2019

Limits and Structures in Graph Theory参考文献 34被引用 1

一句话总结

本文引入了在随机图上基于顶点的位置游戏，玩家争夺顶点，胜者由其诱导子图是否包含固定图H决定。研究建立了H游戏的阈值概率与顶点Ramsey性质之间的强关联，表明三角形和森林游戏与一般H游戏表现出不同的行为特征，且在特定条件下，完全图Kk的阈值具有精确性。

ABSTRACT

Avoidance games are games in which two players claim vertices of a hypergraph and try to avoid some structures. These games have been studied since the introduction of the game of SIM in 1968, but only few complexity results have been found out about them. In 2001, Slany proved some partial results on Avoider-Avoider games complexity, and in 2017 Bonnet et al. proved that short Avoider-Enforcer games are Co-W[1]-hard. More recently, in 2022, Miltzow and Stojaković proved that these games are NP-hard. As these games correspond to the misère version of the well-known Maker-Breaker games, introduced in 1963 and proven PSPACE-complete in 1978, one could expect these games to be PSPACE-complete too, but the question has remained open since then. Here, we prove here that both Avoider-Avoider and Avoider-Enforcer conventions are PSPACE-complete. Using the PSPACE-hardness of Avoider-Enforcer, we provide in appendix proofs that some particular Avoider-Enforcer games also are.

研究动机与目标

• 引入并分析一类新形式的位置游戏，其棋盘为随机图G(n,p)的顶点集，而非其边集。
• 研究在G(n,p)的顶点集上进行的Maker-Breaker、Avoider-Enforcer、Waiter-Client和Client-Waiter游戏，胜条件基于诱导子图是否包含固定图H。
• 探究Maker赢得这些H游戏的阈值概率p，尤其关注其与顶点Ramsey性质的关系。
• 研究当H为三角形或森林时，游戏行为与一般H之间的结构性差异。
• 探讨H游戏阈值概率的精确性，特别是对完全图Kk的情形。

提出的方法

• 在G(n,p)的顶点集上定义H游戏，玩家轮流占据顶点，若其诱导子图包含H的副本则获胜。
• 以顶点Ramsey性质作为基准：确保G(n,p)的每种r色染色均包含H的单色副本的概率阈值。
• 应用一般性删减算法，将图缩减为结构受限的小型连通分量，从而实现对剩余分量的分情况分析。
• 通过针对顶点选择与强制配对的策略性逐案推理，分析特定游戏类型（如Client-Waiter、Waiter-Client）。
• 利用偏差单调性及已有边基H游戏结果，推导顶点设定下的类比与差异。
• 运用概率方法与渐近分析（w.h.p. = 高概率下成立）确定Kk游戏的阈值概率。

实验结果

研究问题

• RQ1 在G(n,p)的顶点集上，(1:b) Maker-Breaker H游戏的阈值概率p为何？其与顶点Ramsey性质有何关联？
• RQ2 当H为三角形或森林时，H游戏的行为与一般H相比有何不同？
• RQ3 是否存在H游戏在p = n^{-2/k}处具有精确阈值，且对所有k ≥ k0该阈值均为精确的？
• RQ4 能否将删减算法与分量分析推广，以证明对所有H，Breaker均能获胜，而不仅限于特定情况？
• RQ5 在阈值行为与结构特性方面，顶点基H游戏在多大程度上与边基对应版本表现一致？

主要发现

• G(n,p)顶点集上H游戏的阈值概率与顶点Ramsey性质强相关，即每种r色染色均包含H的单色副本。
• 当H = Kk时，(1:b) Maker-Breaker游戏在p = n^{-2/k}处具有精确阈值，当k充分大时，若p ≥ (1+ε)n^{-2/k}，Maker以高概率获胜；若p ≤ (1−ε)n^{-2/k}，Breaker获胜。
• 三角形和森林游戏的行为与一般H游戏不同，表明它们是普遍阈值模式的例外。
• 删减算法成功地将图简化为具有结构约束的小型分量，从而通过分情况分析证明了特定H下Breaker的胜局。
• 顶点基H游戏不具备偏差单调性，与边基游戏不同，因为占据更多顶点可能对双方均造成损害，从根本上改变游戏动态。
• 结果表明，顶点基H游戏可能并不像边基游戏那样表现出类似行为，尤其在闭包性质与单调性方面。