이웃집 정리론을 뒤집다: 메이커의 승리를 위한 새로운 하이퍼그래프

초록

저자들은 최대 이웃 크기가 (2^{n-1}) 이하일 때 브레이커가 승리한다는 베크의 추측을 반증한다. 최대 이웃 크기 (3·2^{,n-3}) 인 (n)-균일 하이퍼그래프와 최대 차수 (2^{,n-1}/n) 인 하이퍼그래프를 구성해 메이커가 확정적으로 승리할 수 있음을 보였다. 또한 차수가 (2^{,n-2}/(en)) 이하인 모든 (n)-균일 하이퍼그래프는 ‘절반 색칠’이 가능함을 증명해, 베크가 제시한 또 다른 열린 문제도 해결한다.

상세 분석

이 논문은 두 가지 주요 축을 통해 베크의 “이웃집(conjecture)”를 전면적으로 부정한다. 첫 번째 축은 이웃 크기 제한을 완화한 반례를 제시하는 것으로, 저자들은 ‘클래스 C’라 불리는, 모든 하이퍼엣지가 이진 트리 (T_H) 의 경로로 표현되는 (n)-균일 하이퍼그래프를 설계한다. 메이커는 루트에서 시작해 매 턴마다 브레이커가 차지한 서브트리를 피하면서 하위 자식으로 내려가면, 결국 전체 깊이 (n) 의 경로(즉, 하나의 하이퍼엣지)를 완전 점령한다. 이 전략은 “관측 2.1”에 의해 충분히 보장된다.

반례 구성의 핵심은 각 완전 브랜치가 반드시 하나의 하이퍼엣지를 포함하도록 트리를 재귀적으로 확장하는 것이다. 초기 단계에서는 리프에 두 자식을 붙이고, 한쪽을 바로 하이퍼엣지로, 다른 쪽에 깊이 (n-2) 인 서브트리를 연결한다. 이후 서브트리의 리프마다 동일한 과정을 반복해, 최종적으로 모든 완전 브랜치가 적어도 하나의 하이퍼엣지를 포함하도록 만든다. 이때 각 하이퍼엣지는 최대 (2^{n-2}+2^{n-3}) 개의 다른 하이퍼엣지와 교차하므로, 전체 그래프의 최대 이웃 크기는 (3·2^{n-3}) 이 된다. 이는 베크가 제시한 (2^{n-1}) 보다 작지만, 메이커가 확정 승리할 수 있음을 보여준다.

두 번째 축은 차수 제한을 중심으로 한다. 저자들은 차수가 (2^{n-1}/n) 인 (n)-균일 하이퍼그래프를 만들기 위해, 먼저 차수가 (2d) (여기서 (d=2^{n}/n))인 비균일 그래프를 구성하고, 이를 단계적으로 ‘단위(unit)’라 불리는 하이퍼엣지 집합으로 변형한다. 각 단위는 크기가 서로 다른 여러 하이퍼엣지를 포함하며, 트리의 깊이에 따라 로그 스케일로 크기가 감소한다. 이후 각 리프에 로그‑로그 수준의 서브트리를 붙이고, 다시 하위 단위들을 확장해 최종적으로 모든 완전 브랜치가 정확히 하나의 (n)-크기 하이퍼엣지를 포함하도록 만든다. 이 과정에서 각 정점이 포함되는 하이퍼엣지 수는 최대 (2d) 를 초과하지 않으며, 따라서 전체 차수는 (2^{n-1}/n) 이 된다.

마지막으로 저자들은 차수가 (2^{n-2}/(en)) 이하인 모든 (n)-균일 하이퍼그래프가 ‘절반 색칠(halving 2‑coloring)’이 가능함을 보인다. 이는 로바시의 로컬 레마(Lovász Local Lemma)를 정밀하게 적용한 결과이며, 각 색의 정점 수 차이가 1 이하가 되도록 색을 배분한다. 이 색칠은 게임이 진행된 후 브레이커가 각 하이퍼엣지마다 최소 하나의 정점을 차지하도록 보장하므로, 브레이커의 승리를 위한 충분조건이 된다.

전체적으로, 논문은 베크의 이웃집 추측이 “이웃 크기 (2^{n-1})”라는 수치만으로는 충분하지 않으며, 실제 임계값은 (3·2^{n-3}) 정도까지 늘어날 수 있음을 입증한다. 또한 차수와 색칠 관점에서 새로운 상한을 제시함으로써, 하이퍼그래프 게임 이론과 조합적 색칠 이론 사이의 깊은 연관성을 부각시킨다.