[论文解读] Two constructions relating to conjectures of Beck on positional games

Fiachra Knox|arXiv (Cornell University)|Dec 13, 2012

Advanced Graph Theory Research参考文献 4被引用 12

一句话总结

本文構造了兩個超圖，以挑戰位置博弈理論中長期存在的猜想。首先，提出了一個超圖，其中Breaker在Maker-Breaker博弈中獲勝，但Chooser在Chooser-Picker博弈中獲勝，從而否定了Beck的非正式猜想。其次，構造了一個最大度為3的4-均勻超圖，其中Maker獲勝，回答了Leader提出的一個問題，並表明鄰域猜想的閾值低於此前認為的水平。

ABSTRACT

In this paper, we construct two hypergraphs which exhibit the following properties. We first construct a hypergraph $G_{CP}$ and show that Breaker wins the Maker-Breaker game on $G_{CP}$, but Chooser wins the Chooser-Picker game on $G_{CP}$. This disproves an (informally stated) conjecture of Beck. Our second construction relates to Beck's Neighbourhood Conjecture, which (in its weakest form) states that there exists $c > 1$ such that Breaker wins the Maker-Breaker game on any $n$-uniform hypergraph $G$ of maximum degree at most $c^n$. We consider the case n=4 and construct a 4-graph $G_4$ with maximum vertex degree 3, such that Maker wins the Maker-Breaker game on $G_4$. This answers a question of Leader.

研究动机与目标

• 為否證Beck的非正式猜想：若Breaker在相同超圖上贏得Maker-Breaker博弈，則Picker在Chooser-Picker博弈中也應獲勝。
• 探討Beck鄰域猜想在最弱形式下的有效性，特別是針對最大度有界的4-均勻超圖。
• 回答Leader提出的一個具體問題：是否存在一個最大度為3的4-均勻超圖，使得Maker在Maker-Breaker博弈中獲勝。
• 構造明確的反例，以展示現有位置博弈理論中充分條件的局限性。

提出的方法

• 構造一個包含155個頂點和110條邊的基超圖Γ，使得Maker在Breaker先手的情況下於Maker-Breaker博弈中具有獲勝策略。
• 透過使用輔助頂點將Γ中的3-邊替換為4-邊，從而得到一個新的4-均勻超圖Γ′，其最大度為3，且Maker具有獲勝策略。
• 通過取三個Γ′的不相交副本，添加新頂點v₁, v₂, v₃, v₄, s₁, s₂, s₃，並透過與vᵢ或sᵢ的並集擴展邊，構造一個4-均勻超圖G₄。
• 引入一條最終的4-邊v₁v₂v₃v₄以完成G₄，確保其仍為4-均勻且最大度保持為3。
• 使用策略偷取與案例分析的論證方法，證明Maker可強制在G₄的Maker-Breaker博弈中獲勝，無論Breaker如何應對。
• 利用已知的Erdős-Selfridge條件與配對策略結果，以證明構造的正確性與結果的非平凡性。

实验结果

研究问题

• RQ1 是否存在一個超圖，使得Breaker在Maker-Breaker博弈中獲勝，但Chooser在Chooser-Picker博弈中獲勝，從而與Beck的非正式猜想矛盾？
• RQ2 能否構造一個最大頂點度為3的4-均勻超圖，使得Maker在Maker-Breaker博弈中獲勝，從而否證鄰域猜想中的閾值？
• RQ3 Erdős-Selfridge條件是否足以確保Picker在Chooser-Picker博弈中獲勝？其與所構造反例之間有何關係？
• RQ4 Maker在4-均勻超圖中仍能獲勝的最小最大度是多少？這是否挑戰了關於f(n)的已知下界？
• RQ5 能否使用顯式構造來展示不同類型位置博弈之間一般性推論的失敗？

主要发现

• 本文構造了一個超圖G_CP，其中Breaker在Maker-Breaker博弈中獲勝，但Chooser在Chooser-Picker博弈中獲勝，直接否定了Beck的非正式猜想。
• 構造了一個最大頂點度為3的4-均勻超圖G₄，並證明Maker在G₄的Maker-Breaker博弈中具有獲勝策略。
• G₄包含472個頂點和331條邊，所有邊的大小均為4，確認其為一個有效的最大度有界的4-均勻超圖。
• 該構造表明，Beck鄰域猜想（最弱形式）的閾值必須低於c^n（c>1），因為Maker在一個度為3 < 4^{4-1} = 64的4-圖中獲勝。
• 該結果回答了Leader的問題，通過展示一個最大度為3的4-均勻超圖，其中Maker獲勝，從而否定了人們預期此類圖會由Breaker獲勝的觀點。
• 證明依賴於Maker控制子圖Γ′並透過邊延伸與應對控制強制獲勝的策略，即使Breaker回應vᵢ或sᵢ的移動亦無影響。