[论文解读] New $\mathcal{F}$-Saturation Games on Directed Graphs

Jonathan D. Lee, Ago-Erik Riet|arXiv (Cornell University)|Sep 1, 2014

Advanced Graph Theory Research参考文献 2被引用 3

一句话总结

本文引入并分析了有向图上的新型饱和游戏，重点研究在无向图中避免有向路径 $P_k$ 和定向饱和子图的问题。研究建立了在 $K_n$ 上避免 $P_k$ 的有向 $Τ$-同态饱和游戏的紧致界，并为在 $K_n$ 上避免 $P_{k+1}$ 的有偏定向饱和游戏提供了渐近紧致界，其最优行为猜想与一个精细化参数 $λ = \frac{2a}{b+2a}$ 一致。结果揭示了图结构与游戏偏置之间的关键依赖关系，将经典饱和游戏理论拓展至有向与定向设置。

ABSTRACT

We study analogues of $\mathcal{F}$-saturation games, first introduced by Furedi, Reimer and Seress in 1991, and named as such by West. We examine analogous games on directed graphs, and show tight results on the walk-avoiding game. We also examine an intermediate game played on undirected graphs, such that there exists an orientation avoiding a given family of directed graphs, and show bounds on the score. This last game is shown to be equivalent to a recent game studied by Hefetz, Krivelevich, Naor and Stojakovic, and we give new bounds for biased versions of this game.

研究动机与目标

• 将经典的 $\mathcal{F}$-饱和游戏扩展至有向图，引入有向图上的 $\mathcal{F}$-同态饱和游戏。
• 分析 $P_k$-同态饱和有向图的结构，并为 $K_n$ 推导出精确的游戏得分。
• 引入并研究无向图上的定向饱和游戏，其中子图在某种定向下避免一族禁止的有向图时即为饱和。
• 在 $a,b \ll k \ll n$ 的条件下，为有偏定向饱和游戏 $\mathcal{G}_o^{a,b}(K_n, P_{k+1})$ 建立紧致渐近界。
• 猜想一个精细化的渐近公式，通过参数 $\lambda = \frac{2a}{b+2a}$ 统一上下界。

提出的方法

• 将 $P_k$-同态饱和有向图表征为顶点类 $G_1, \ldots, G_{k-1}$ 上的全序诱导，其中每个类对应于以该顶点为终点的最长递减路径的长度。
• 采用基于红色和蓝色边的顶点划分策略：簇内为红色边，簇间为蓝色边，以控制玩家移动下的度数比。
• 为延长者设计策略，以维持约束 $d_{Τ\text{Red}}(v) \geq c \cdot d_{Τ\text{Blue}}(v)$，其中 $c = \lfloor a/(2b) \rfloor$，确保红色边可被添加而不违反饱和性。
• 为缩短者设计策略，以维持 $d_{Τ\text{Blue}}(v) \geq c' \cdot d_{Τ\text{Red}}(v)$，其中 $c' = \lfloor b/(2a) \rfloor$，强制形成较大的颜色类并限制可用边的数量。
• 通过归纳法与度数计数论证，限制在饱和前可添加的边数，延长者使用簇大小 $k\lambda^{-}a - 1$，缩短者使用 $(1 - \lambda^{+})k - b - 1$。
• 利用常数 $\lambda^{-} = \frac{\lfloor b/(2a) \rfloor}{1 + \lfloor b/(2a) \rfloor}$ 和 $\lambda^{+} = \frac{1}{1 + \lfloor a/(2b) \rfloor}$ 推导渐近界，得出形如 $\binom{n}{2}(1 - 1/\lambda^{\pm}k)(1 + o(1))$ 的界。

实验结果

研究问题

• RQ1 在 $K_n$ 上，当 $\mathcal{F} = \{P_k\}$ 时，有向 $\mathcal{F}$-同态饱和游戏的得分是多少？它如何依赖于 $k$ 和 $n$？
• RQ2 在有偏游戏中，即延长者连续进行 $a$ 步、缩短者连续进行 $b$ 步时，$K_n$ 上定向饱和游戏的得分如何变化？
• RQ3 能否将有偏定向饱和游戏的界进一步收紧，使其与涉及 $\lambda = \frac{2a}{b + 2a}$ 的猜想渐近公式一致？
• RQ4 哪些结构性质刻画了 $P_k$-同态饱和有向图？这些性质如何被用于设计延长者与缩短者的最优策略？
• RQ5 与纯粹的有向游戏相比，定向饱和游戏的行为有何不同，特别是在对 $k$ 的依赖性方面？

主要发现

• 在避免 $P_k$ 的有向 $\mathcal{F}$-同态饱和游戏于 $K_n$ 上，当 $k \leq 2$ 时得分为 $0$，当 $k = 3$ 时为 $\lfloor n^2/4 \rfloor$，当 $k \geq 4$ 时为 $\frac{1}{3}n^2 + \frac{1}{3}nk + O(n + k^2)$，表明在 $k=3$ 处出现显著跃迁。
• 对于有偏定向饱和游戏 $\mathcal{G}_o^{a,b}(K_n, P_{k+1})$，在 $a,b \ll k \ll n$ 条件下，游戏得分下界为 $\binom{n}{2}(1 - 1/\lambda^{-}k)(1 + o(1))$，上界为 $\binom{n}{2}(1 - 1/\lambda^{+}k)(1 + o(1))$，其中 $\lambda^{-} = \frac{\lfloor b/(2a) \rfloor}{1 + \lfloor b/(2a) \rfloor}$ 且 $\lambda^{+} = \frac{1}{1 + \lfloor a/(2b) \rfloor}$。
• 猜想的最优得分为 $\binom{n}{2}(1 - 1/\lambda k)(1 + o(1))$，其中 $\lambda = \frac{2a}{b + 2a}$，表明在偏置下具有精细化且对称的行为。
• 延长者与缩短者的证明策略依赖于在红蓝边划分中维持度数比约束，且界对 $a/b$ 比值敏感，反映出移动效率中的战略权衡。
• 定向饱和游戏表现出对 $k$ 的强依赖性，而纯粹有向游戏则几乎与 $k$ 无关，表明定向约束显著改变了游戏动态。
• 分析表明，当前界的主要弱点在于无法处理度数约束的小幅违反，暗示最优玩法可能允许更策略性的边放置，从而同时纠正多个失衡。