[논문 리뷰] Making spanning graphs

Peter Allen, Julia Böttcher외 3명|arXiv (Cornell University)|2017. 11. 14.

Limits and Structures in Graph Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $K_n$에서의 (1:b) 메이커-브레이커 게임에서, 메이커는 최대 차수 $\Delta(H) \leq D$인 모든 유한 차수 그래프 $H$를 포함하는 스패닝 서브그래프를 보장할 수 있으며, 이는 $b \leq c(n/\log n)^{1/D}$일 때 성립한다. 또한 최대 차수와 분해성 수준 $(D-1)/2$ 이하인 그래프들 또한 동일한 조건에서 보장된다. 이 결과는 $K_3$ 및 $K_4$-팩터 게임에서 로그 인자 정도를 제외하고 최적임을 보여준다.

ABSTRACT

We prove that for each $D\ge 2$ there exists $c>0$ such that whenever $b\le c\big( frac{n}{\log n}\big)^{1/D}$, in the $(1:b)$ Maker-Breaker game played on $E(K_n)$, Maker has a strategy to guarantee claiming a graph $G$ containing copies of all graphs $H$ with $v(H)\le n$ and $Δ(H)\le D$. We show further that the graph $G$ guaranteed by this strategy also contains copies of any graph $H$ with bounded maximum degree and degeneracy at most $ frac{D-1}{2}$. This lower bound on the threshold bias is sharp up to the $\log$-factor when $H$ consists of $ frac{n}{3}$ vertex-disjoint triangles or $ frac{n}{4}$ vertex-disjoint $K_4$-copies.

연구 동기 및 목표

• 메이커가 $E(K_n)$에서의 (1:b) 메이커-브레이커 게임에서, 최대 차수 $\Delta(H) \leq D$인 모든 그래프 $H$를 포함하는 스패닝 그래프를 보장할 수 있는 임계 빈도 $b$를 결정하는 것.
• 이 보장을 최대 차수와 분해성이 $(D-1)/2$ 이하인 그래프 $H$로 확장하는 것.
• 유도된 임계 빈도가 $K_3$- 및 $K_4$-팩터 게임에서 점근적으로 최적임을 보여주는 것, 로그 인자 정도를 제외하고는.
• 메이커가 적대적 엣지 선택을 사용하는 브레이커와의 상황에서도 성공하는 결정론적 전략을 제공하는 것.
• 브레이커 전략을 통해 결과의 최적성에 대한 강도를 입증하여, 임계 빈도가 상당히 향상될 수 없음을 보여주는 것.

제안 방법

• 메이커의 무작위 전략 사용: $K_n$의 엣지를 균일하게 무작위로 순서 정렬하고, 이 순서에 따라 엣지를 선점하며, 브레이커가 이미 점령한 경우 건너뛰기.
• 무작위 그래프의 전역 내성 활용: $p \gg n^{-1/m(H)}$이면, $G(n,p)$는 엣지의 일부를 제거한 후에도 일반적으로 $H$의 모든 복제본을 포함한다.
• 독립집합을 이용한 분할 전략을 통해, 분해성이 $(D-1)/2$ 이하인 그래프를 근사적으로 임베딩하는 그리디 전략 적용.
• 차수 제약 조건에 기반한 정점 집합의 재귀적 분할: 각 부분집합에서 충분한 밀도를 확보하여 임베딩 가능하게 하기.
• 고정된 정점 $v_0$의 메이커 그래프에서의 차수를 $n^{2/3}$으로 제한하고, 이의 이웃에서 삼각형을 차단하여 $K_4$-팩터를 방지하는 브레이커 전략 설계.
• 차수 기반 우선순위를 사용해 이웃의 엣지 점령을 통제: $N_{G_M}(v_0)$ 내의 고차수 정점으로 향하는 엣지를 브레이커가 우선적으로 점령하여 조밀한 부분그래프를 방지.

실험 결과

연구 질문

• RQ1 메이커가 $K_n$에서의 (1:b) 메이커-브레이커 게임에서, 최대 차수 $\Delta(H) \leq D$인 모든 $H$를 포함하는 스패닝 그래프를 보장할 수 있는 최대 빈도 $b$는 무엇인가?
• RQ2 메이커의 전략은 최대 차수와 분해성이 $(D-1)/2$ 이하인 그래프 $H$로 확장될 수 있는가?
• RQ3 임계 빈도 $b = \Omega((n/\log n)^{1/D})$는 $K_3$-팩터 및 $K_4$-팩터 게임에서 점근적으로 최적인가?
• RQ4 브레이커는 $b \gg n^{1/3}$일 때 메이커가 $K_4$-팩터를 형성하는 것을 방지할 수 있는가? 만약 가능하면 그 방법은 무엇인가?
• RQ5 무작위 그래프의 전역 내성은 임계 빈도 근처에서 결정론적 메이커 전략의 존재를 어떻게 뒷받침하는가?

주요 결과

• 모든 $D \geq 2$에 대해, $c > 0$가 존재하여 $b \leq c(n/\log n)^{1/D}$이면, 메이커는 $v(H) \leq n$이고 $\Delta(H) \leq D$인 모든 $H$를 포함하는 그래프를 보장할 수 있다.
• 동일한 빈도 조건 하에서, 메이커는 최대 차수 $\Delta(H) \leq D$이고 분해성이 $(D-1)/2$ 이하인 모든 그래프 $H$를 보장할 수 있다.
• 임계 빈도 $b = \Omega((n/\log n)^{1/D})$는 $K_3$-팩터 게임에서 로그 인자 정도를 제외하고 최적이다. 브레이커는 $b \gg n^{1/2}$일 때 메이커가 $K_3$-팩터를 형성하는 것을 방지할 수 있다.
• $K_4$-팩터 게임에서는, $b \gg n^{1/3}$일 때 브레이커가 고정된 정점 $v_0$를 포함하는 $K_4$-팩터를 방지할 수 있으며, 이는 $v_0$의 차수를 제한하고 이웃에서 삼각형을 차단하는 전략을 통해 이루어진다.
• $K_4$-팩터 게임 전략은 최대 $8n^{1/3}$의 빈도를 사용하며, 이는 $b \gg n^{1/3}$일 때 메이커가 $K_4$-팩터 게임에서 승리할 수 없음을 보여준다.
• 결과는 날카롭게 최적임을 보이며, $n/3$개의 정점으로 분리된 삼각형이나 $n/4$개의 정점으로 분리된 $K_4$ 복제본을 포함하는 $H$에 대해, 임계 빈도는 각각 $\Theta(n^{1/2})$ 및 $\Theta(n^{1/3})$이며, 이는 상한에 로그 인자 정도로만 차이가 난다.