[논문 리뷰] $H$-games played on vertex sets of random graphs

Gledel, Valentin, Oijid, Nacim|arXiv (Cornell University)|2019. 01. 02.

Limits and Structures in Graph Theory참고 문헌 34인용 수 1

한 줄 요약

이 논문은 무작위 그래프에서 정점 기반 위치 게임을 소개하며, 플레이어들이 정점을 선점하고 고정된 그래프 H를 포함하는 유도 부분그래프에 따라 승리하는 게임을 다룬다. H-게임의 임계 확률과 정점 레이지먼드 성질 사이의 강력한 연결고리를 확립하여, 삼각형 및 삼각형이 아닌 경우와 일반적인 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를 조사하며, 특히 정점 레이지먼드 성질과의 관계를 고려한다.
• H가 삼각형 또는 삼각형이 아닌 경우일 때 일반적인 H와 비교해 게임 행동의 구조적 차이를 탐구한다.
• 특히 완전 그래프 Kk에 대해 H-게임의 임계 확률이 얼마나 날카로운지 탐색한다.

제안 방법

• G(n,p)의 정점 집합에서 H-게임을 정의하며, 플레이어들이 번갈아가며 정점을 선점하고, 자신의 유도 부분그래프에 H의 사본이 포함되면 승리한다.
• 정점 레이지먼드 성질을 기준으로 삼는다: G(n,p)의 모든 r-색칠에 대해 단색 복제본 H가 존재하도록 보장하는 확률 임계값.
• 일반적인 제거 알고리즘을 적용하여 그래프를 구조적으로 제약된 작은 성분들로 줄이며, 생존한 성분들에 대한 케이스 분석을 가능하게 한다.
• 특정 게임 유형(예: Client-Waiter, Waiter-Client)을 정점 선택과 강제 쌍에 대한 전략적 케이스별 추론을 통해 분석한다.
• 편향 단조성과 엣지 기반 H-게임에서 알려진 결과를 활용하여 정점 기반 설정에서의 유사점과 대비점을 도출한다.
• 확률적 방법과 점근적 분석(w.h.p. = 고도의 확률로)을 사용하여 Kk-게임의 임계 확률을 규명한다.

실험 결과

연구 질문

• RQ1 G(n,p)의 정점 집합에서 (1:b) Maker-Breaker H-게임에서 Maker가 승리할 수 있는 임계 확률 p는 무엇이며, 정점 레이지먼드 성질과 어떻게 관련이 있는가?
• RQ2 H가 삼각형 또는 삼각형이 아닌 경우일 때 H-게임의 행동이 일반적인 H와 어떻게 다를까?
• RQ3 Kk-게임에서 p = n^{-2/k}에서 날카로운 임계값을 가지는 H-게임이 존재하는가? 그리고 모든 k ≥ k0에 대해 임계값이 날카로운가?
• RQ4 제거 알고리즘과 성분 분석을 일반화하여, 특정 케이스 외에도 모든 H에 대해 Breaker의 승리를 증명할 수 있는가?
• RQ5 정점 기반 H-게임이 엣지 기반 게임과 비교해 임계값 행동 및 구조적 성질 측면에서 어느 정도 유사한가?

주요 결과

• G(n,p)의 정점 집합에서 H-게임의 임계 확률은 정점 레이지먼드 성질과 강하게 연결되어 있으며, 이는 G(n,p)의 모든 r-색칠에 단색 복제본 H가 존재함을 의미한다.
• H = Kk일 경우, (1:b) Maker-Breaker 게임은 충분히 큰 k에 대해 p = n^{-2/k}에서 날카로운 임계값을 가지며, p ≥ (1+ε)n^{-2/k}일 경우 Maker가 w.h.p. 승리하고, p ≤ (1−ε)n^{-2/k}일 경우 Breaker가 승리한다.
• 삼각형 및 삼각형이 아닌 경우 게임은 일반적인 H-게임과 다른 행동을 보이며, 일반적인 임계 패tern의 예외로 여겨진다.
• 제거 알고리즘은 그래프를 구조적으로 제약된 작은 성분들로 성공적으로 줄이며, 특정 H에 대해 Breaker의 승리를 증명하기 위한 케이스별 분석을 가능하게 한다.
• 정점 기반 H-게임은 엣지 기반 게임과 달리 편향 단조성이 아니다. 더 많은 정점을 선점하는 것은 양측 플레이어에게 해로울 수 있으며, 이는 게임의 동역학을 근본적으로 변화시킨다.
• 결과적으로 정점 기반 H-게임은 엣지 기반 게임과 유사하게 행동하지 않으며, 특히 닫힘 성질과 단조성 측면에서 그러하다.