무작위 정규 그래프의 지역 회복력과 해밀턴성 메이커‑브레이커 게임

초록

이 논문은 차수가 일정한 무작위 $d$-정규 그래프 $\mathcal G_{n,d}$와 $\mathcal G(n,p)$에서 “지역 회복력”이라는 개념을 이용해 해밀턴 사이클 존재, 완전 매칭, 그리고 정점·간선 연결성에 대한 강인성을 분석한다. 주요 결과는 $d$가 충분히 크고 $\varepsilon>0$이면, $\mathcal G_{n,d}$가 해밀턴성을 유지하는 최소 차수 제한이 최소 $ (1-\varepsilon)d/6$임을 보이며, 같은 식이 $\mathcal G(n,p)$에서도 $p>K\ln n/n$ 조건 하에 성립한다. 또한, 같은 $d$에 대해 무작위 $d$-정규 그래프 위에서 진행되는 무편향 메이커‑브레이커 게임에서 메이커가 반드시 해밀턴 사이클을 만들 수 있는 전략을 제시한다.

상세 분석

논문은 먼저 “지역 회복력(local resilience)”을 정밀히 정의한다. 주어진 단조 증가 그래프 성질 $\mathcal P$에 대해, 그래프 $G$의 지역 회복력 $r_{\mathcal P}(G)$는 $G$의 서브그래프 $H\subseteq G$ 중 모든 정점의 차수가 $r$ 이하인 것이 존재하여 $G\setminus H$가 $\mathcal P$를 상실하는 최소 $r$이다. 이 개념은 Sudakov‑Vu가 $\mathcal G(n,p)$에 대해 체계화한 뒤, 대부분의 연구가 비정규(바이너리) 랜덤 그래프와 의사‑랜덤 그래프에 초점을 맞추었다. 본 연구는 이러한 흐름을 정규 그래프, 특히 차수가 일정한 $\mathcal G_{n,d}$와 $\mathcal G(n,p)$에 확장한다.

핵심 기술은 무작위 정규 그래프가 갖는 “강한 확장성(strong expansion)”과 “스펙트럼 갭(spectral gap)”을 활용하는 것이다. 구성 모델(configuration model)과 스위칭 기법을 통해 $\mathcal G_{n,d}$가 거의 모든 작은 정점 집합 $S$에 대해 $|N(S)|\ge (1+\alpha)|S|$를 만족함을 보이고, 이는 $\lambda(G)\le 2\sqrt{d-1}+o(1)$인 라플라시안 고유값 경계와 동치이다. 이러한 확장성은 Pósa의 회전‑연장 기법을 적용해 “길을 길게 늘릴 수 있는” 구조를 보장한다. 구체적으로, 차수가 $d$인 정규 그래프에서 임의의 $r<(1-\varepsilon)d/6$ 만큼의 에지를 임의로 제거해도, 남은 그래프는 최소 차수가 $\ge d-r\ge (5+\varepsilon)d/6$이므로 Dirac 조건을 충분히 만족한다. 따라서 고전적인 Dirac 정리와 결합해 해밀턴 사이클 존재를 보장한다.

$\mathcal G(n,p)$에 대해서는 $p>K\ln n/n$이면 거의 확실히 $\mathcal G_{n,d}$와 동등한 확장성을 갖는다는 사실을 이용한다. 여기서 $K$는 충분히 큰 상수이며, $np$가 평균 차이와 동일하게 작용한다. 따라서 동일한 $r<(1-\varepsilon)np/6$에 대해 지역 회복력이 유지된다는 결론을 얻는다.

연결성 및 완전 매칭에 대해서는 비슷한 논리를 적용한다. 최소 차수가 $d-r$인 서브그래프가 $d-r\ge 2$이면 $2$‑연결성을, $d-r\ge 1$이면 $1$‑연결성을 보장한다. 완전 매칭의 경우, Hall 조건을 만족시키기 위해서는 작은 집합 $S$에 대해 $|N(S)|\ge |S|$가 필요하고, 이는 앞서 증명한 확장성으로부터 바로 도출된다.

마지막으로 메이커‑브레이커 게임 부분에서는 “무편향(unbiased) 게임”을 가정한다. 브레이커가 매 턴마다 하나의 에지를 차단하고, 메이커가 하나의 에지를 선택한다. 저자들은 메이커가 “전략적 스프링”을 이용해 매 단계마다 현재 그래프의 확장성을 유지하도록 에지를 선택함을 보인다. 특히, 메이커는 현재까지 선택한 에지 집합이 $r<(1-\varepsilon)d/6$ 이하의 차수 제한을 넘지 않도록 관리하면서, Pósa 회전‑연장을 반복 적용해 결국 전체 그래프에 해밀턴 사이클을 구축한다. 이 전략은 브레이커가 최적이라 할지라도 성공한다는 점에서 강력하다.

전체적으로 논문은 무작위 정규 그래프가 “고정 차수”임에도 불구하고, $\mathcal G(n,p)$와 동등한 수준의 지역 회복력과 게임 이론적 강인성을 보인다는 중요한 통찰을 제공한다. 이는 정규 그래프가 실제 네트워크 모델(예: 통신망, 전력망)에서 차수 균등성을 유지하면서도 높은 내구성을 가질 수 있음을 이론적으로 뒷받침한다.