극한 그래프와 라이트아웃 문제: 매칭, 행렬, 그리고 사이클의 조화

초록

본 논문은 모든 전구가 켜진 초기 상태에서 라이트아웃 게임의 유일한 해가 “모든 정점을 누르는 것”이 되는 그래프, 즉 극한 그래프를 연구한다. 그래프가 짝수 그래프이며 매칭의 총 개수가 홀수일 때와 동등함을 보이고, 라벨이 붙은 n-정점 극한 그래프와 크기 n‑2의 대칭 가역 행렬(𝔽₂) 사이에 일대일 대응이 존재함을 증명한다. 또한, 3의 배수 길이 사이클이 없는 짝수 그래프는 모두 극한이며, 1‑합, 절단점 결합 등 여러 연산을 통해 큰 극한 그래프를 구성할 수 있다. 마지막으로, 짝수 그래프에서 홀수 개의 정점을 포함하는 고정 크기 매칭의 수는 항상 짝수라는 다항식 방법을 이용한 결과를 제시한다.

상세 분석

논문은 라이트아웃 게임을 선형대수적으로 모델링한 뒤, “모든 정점을 누르는 것이 유일한 해”인 그래프의 구조적 특성을 파악한다. 핵심은 인접행렬 A와 단위행렬 I의 합 M = A + Iₙ을 𝔽₂ 위에서 고려하는데, M·x = 1ₙ이 해를 갖는 조건은 그래프가 짝수 그래프(모든 정점의 폐쇄 이웃 크기가 짝수)와 동등하다. 여기서 중요한 관찰은 det(M) ≡ |𝓜(G)| (mod 2)이며, 𝓜(G)는 G의 모든 매칭(공집합 포함)의 개수이다. 따라서 M이 가역이면 det(M)=1이 되고, 이는 매칭의 총 개수가 홀수임을 의미한다. 이 두 조건—짝수성 및 매칭 개수의 홀수성—이 바로 극한 그래프의 완전한 특징이다(정리 2.1).

다음으로, 라벨이 붙은 n‑정점 극한 그래프의 수를 정확히 구한다. M이 가역이고 대각선이 전부 1인 대칭 행렬이라는 제약을 행렬 연산을 통해 B와 X라는 두 단계의 변환으로 분해한다. 최종적으로 X는 크기 n‑2의 대칭 가역 행렬이며, 이러한 변환은 일대일 대응을 보장한다(정리 3.2). 따라서 |Eₙ| = |S_{n‑2}|이며, MacWilliams의 결과에 의해 |S_{n‑2}| = 2^{(n‑1)(n‑2)/2} · ∏_{i=1}^{n‑2}(2^{i} − (−1)^{i}) 로 계산된다. 이는 짝수 그래프 전체(2^{(n‑1)n/2})에 비해 극한 그래프가 극히 드물다는 결론을 낳는다(비율 → 0).

사이클 구조에 대한 분석에서는 가장 단순한 짝수 그래프인 사이클 Cₖ를 대상으로 한다. 정리 4.1에 따르면 Cₖ가 극한이 되려면 k가 3의 배수가 아니어야 한다. 증명은 “히팅 집합”의 존재 여부를 정점 지배와 인접성 조건으로 전개해, 히팅 집합이 존재하면 반드시 3개의 정점이 겹치는 구(반경 1) 볼륨을 전부 덮어야 하므로 k가 3으로 나누어 떨어진다. 반대로 k가 3의 배수이면 주기적인 간격(2,5,… )으로 선택된 정점 집합이 히팅 집합이 된다.

이 결과를 일반화한 정리 4.2는 “3의 배수 길이 사이클이 전혀 없는 짝수 그래프는 모두 극한”임을 보인다. 여기서는 색칠된 그래프 이론을 이용해, 빨강·파랑 두 색으로 각 정점에 홀수 개씩의 간선이 인접하도록 만들면 교대 사이클이 존재한다는 정리(GH83)를 적용한다. 가정에 모순되는 교대 사이클을 최소 길이로 선택하면, 이를 원 그래프에 되돌릴 때 3의 배수 길이 사이클이 생성되는 모순이 발생한다.

마지막으로, 극한 그래프를 구성·분해하는 연산들을 제시한다. 1‑합(정리 5.1)은 두 극한 그래프의 임의의 정점을 동일시해 새로운 극한 그래프를 만든다. 절단점이 존재하는 경우, 그 절단점을 중심으로 두 부분 그래프가 각각 극한임을 보이는 역정리(정리 5.2)도 제시한다. 이러한 구조적 결과는 매칭의 짝수성 정리(정리 5.3)와 연결된다. 정리 5.3은 짝수 그래프에서 홀수 개의 정점을 포함하는 고정 크기 매칭의 수가 항상 짝수임을 다항식 방법으로 증명한다. 이는 앞서 매칭 개수와 행렬식 사이의 관계를 강화하고, 극한 그래프의 존재와 비존재를 판단하는 새로운 도구를 제공한다.

전체적으로 논문은 라이트아웃 게임을 그래프 이론·선형대수·조합론의 교차점에서 다루며, 극한 그래프의 완전한 특성, 정확한 열거, 사이클 기반 충분조건, 그리고 구성 연산을 체계적으로 정립한다. 이러한 결과는 라이트아웃 문제뿐 아니라 짝수 그래프와 매칭 이론, 𝔽₂ 위의 대칭 가역 행렬 연구에도 새로운 통찰을 제공한다.