[논문 리뷰] Two constructions relating to conjectures of Beck on positional games

Fiachra Knox|arXiv (Cornell University)|2012. 12. 13.

Advanced Graph Theory Research참고 문헌 4인용 수 12

한 줄 요약

이 논문은 위치 게임 이론에서 오랫동안 남아있던 추측에 도전하기 위해 두 개의 하이퍼그래프를 구성한다. 첫째, 메이커-브레이커 게임에서 브레이커가 승리하지만 콜저-픽커 게임에서는 콜저가 승리하는 하이퍼그래프를 제시하여 베크의 비공식적 추측을 반증한다. 둘째, 최대 차수 3인 4-균일 하이퍼그래프를 구성하여 메이커가 승리함으로써 리더가 제기한 질문에 답하고, 이는 이웃성 추측의 임계값이 이전에 생각한 것보다 낮다는 것을 시사한다.

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.

연구 동기 및 목표

• 메이커-브레이커 게임에서 브레이커가 승리한다면, 동일한 하이퍼그래프에서 픽커가 콜저-픽커 게임에서 승리할 것이라는 베크의 비공식적 추측을 반박하는 것.
• 특히 4-균일 하이퍼그래프에서 차수를 유계로 제한할 때, 가장 약한 형태의 베크의 이웃성 추측의 타당성을 조사하는 것.
• 리더가 제기한 특정 질문에 답하는 것: 최대 차수 3인 4-균일 하이퍼그래프에서 메이커가 메이커-브레이커 게임에서 승리할 수 있는지 여부.
• 기존의 충분조건의 한계를 보여주는 명시적 반례를 구성하는 것.

제안 방법

• 메이커가 브레이커가 먼저 수를 두는 상황에서 승리 전략을 가진 하이퍼그래프 Γ를 구성한다. 이 하이퍼그래프는 155개의 정점과 110개의 간선을 가진다.
• 보조 정점을 사용하여 3-간선을 4-간선으로 대체함으로써 Γ를 수정하여, 최대 차수 3인 새로운 4-균일 하이퍼그래프 Γ′를 구성한다.
• 세 개의 서로소 복사본 Γ′을 취하고, 새로운 정점 v₁, v₂, v₃, v₄, s₁, s₂, s₃를 추가한 후, 간선을 vᵢ 또는 sᵢ와의 합집합을 통해 연장하여 4-균일 하이퍼그래프 G₄를 구성한다.
• G₄를 완성하기 위해 마지막 4-간선 v₁v₂v₃v₄를 추가하여, 여전히 4-균일이고 최대 차수 3를 유지하도록 한다.
• 전략 도용과 케이스 분석을 통한 추론을 통해, 브레이커의 응답에 관계없이 메이커가 G₄에서 메이커-브레이커 게임에서 승리할 수 있음을 보여준다.
• 기존의 에르되시-셀프리지 조건과 쌍화 전략에 관한 결과를 활용하여, 구성의 타당성과 결과의 비자명성을 정당화한다.

실험 결과

연구 질문

• RQ1 브레이커가 메이커-브레이커 게임에서 승리하지만 콜저-픽커 게임에서는 콜저가 승리하는 하이퍼그래프가 존재하는가? 이는 베크의 비공식적 추측에 반하는가?
• RQ2 최대 정점 차수 3인 4-균일 하이퍼그래프를 구성할 수 있는가? 이 하이퍼그래프에서 메이커가 메이커-브레이커 게임에서 승리할 수 있다면, 이는 이웃성 추측의 임계값을 반박하는가?
• RQ3 에르되시-셀프리지 조건은 픽커가 콜저-픽커 게임에서 승리하는 데에 충분한가? 그리고 이 조건은 구성된 반례와 어떻게 관련이 있는가?
• RQ4 메이커가 여전히 4-균일 하이퍼그래프에서 승리할 수 있는 최소 최대 차수는 얼마인가? 이는 f(n)에 대한 기존의 하한을 도전하는가?
• RQ5 명시적 구성이 다양한 위치 게임 유형 간의 일반적 함의 관계의 실패를 보여줄 수 있는가?

주요 결과

• 논문은 메이커-브레이커 게임에서 브레이커가 승리하지만 콜저-픽커 게임에서는 콜저가 승리하는 하이퍼그래프 G_CP를 구성하여, 베크의 비공식적 추측을 직접 반박한다.
• 최대 정점 차수 3인 4-균일 하이퍼그래프 G₄를 구성하였고, G₄에서 메이커가 메이커-브레이커 게임에서 승리 전략을 가짐을 증명하였다.
• G₄는 472개의 정점과 331개의 간선을 가지며, 모든 간선의 크기가 4이므로, 유효한 최대 차수 유계 4-균일 하이퍼그래프임을 확인한다.
• 이 구성은 이웃성 추측의 임계값이 c^n 이하여 c>1여야 함을 보여주며, 메이커가 차수 3 < 4^{4-1} = 64인 4-그래프에서 승리함으로써 이 추측의 최약형에서의 임계값이 이전에 생각한 것보다 낮다는 것을 시사한다.
• 리더가 제기한 질문에 답하기 위해, 최대 차수 3인 4-균일 하이퍼그래프에서 메이커가 승리하는 반례를 제시함으로써, 이러한 그래프가 브레이커의 승리로 이어질 것이라는 기대를 뒤집는다.
• 증명은 메이커가 하위그래프 Γ′를 장악하고, 브레이커의 vᵢ 또는 sᵢ 수에 대한 반응을 통제함으로써 승리 전략을 확립하는 데에 기반한다.