마인스위퍼와 이산 라플라시안 스펙트럼을 이용한 유일성 보장 방법

이 논문은 인기 퍼즐 게임 ‘마인스위퍼’를 수학적으로 모델링하고, 특정한 열린 셀 배치가 주어졌을 때 지뢰 배치를 유일하게 복원할 수 있는 조건을 탐구한다. 먼저 그래프 이론적 정의를 도입한다. 유한 무방향 그래프 G=(V,E)에서 두 정점 u,v가 인접하면 u와 v는 이웃이라고 하고, 각 정점 v의 이웃 집합 N_G(v)를 정의한다. 열린 셀 집합 A⊂V와 함수 f:A→{0}∪ℕ을 ‘오프닝’이라 부른다. 여기서 존재하는 폐쇄 셀 집합 M⊂V∖A가 모든 v∈A에 대해 f(v)=|N_G(v)∩M|를 만족하면 (A,f)를 해석한다. 해가 유일하면 이를 ‘테이블’이라고 명명한다. 전통적인 컴퓨터 마인스위퍼는 m×n 직사각형 격자를 사용한다. 논문은 먼저 2×n 격자에 대해 n+1이 3의 배수가 아닐 때, 위쪽 행을 열린 셀 A로 잡으면 어떤 지뢰 배치 M에 대해서도 (A,f)의 해가 유일함을 보인다. 이는 3-대각 행렬식의 귀납적 계산을 통해 증명된다. 그 다음 일반적인 m×n 직사각형 격자에 대해 더 강력한 정리를 제시한다. m+1과 n+1이 서로소이고, 체스보드 패턴(좌표 i+j가 짝수인 셀)으로 열린 셀 A를 선택하면, 모든 M⊂R∖A에 대해 (A,f)의 해가 유일함을 증명한다. 이를 위해 (A,f) 문제를 선형 방정식 시스템 X·E=f 로 변환한다. 여기서 X는 R∖A 위의 {0,1} 특성 함수이며, E는 인접 관계에 의해 정의된 정방 행렬이다. E의 가역성을 보이기 위해 이산 라플라시안 연산자 L을 정의하고, L을 사인 함수 기반의 직교 기저에 대한 행렬로 표현한다. L은 (cos x+cos y) 곱셈 연산이며, 그 스펙트럼이 0이 되지 않음(즉, 고유값 0이 존재하지 않음)을 m+1, n+1이 서로소인 경우에 증명한다. 따라서 L은 가역이고, L의 전치가 바로 E가 되므로 E도 가역이다. 또한 삼각 격자(평면을 정삼각형으로 타일링)에서의 변형을 다룬다. 이웃 정의를 12개의 방향으로 확장하고, (m+1)·(n+1) 가 4의 배수가 아니면 같은 유일성 정리가 성립한다. 이 경우 행렬 E는 한 칸이 더 많아지지만, 유사한 스펙트럼 분석을 통해 최대 순위가 유지됨을 보인다. 실제 게임용 테이블을 만드는 알고리즘도 제시한다. 먼저 폐쇄 셀을 비우고, 각 폐쇄 셀에 대해 베르누이(0.5) 검정을 수행해 지뢰를 배치한다. 그런 다음 열린 셀에 대한 f 값을 계산하고, 위 정리의 조건을 만족하도록 행과 열을 차례로 채워 나간다. 알고리즘은 0이나 최대 이웃 수와 같은 경계값을 피하도록 조정한다. 예시 테이블과 그 해답을 논문 말미에 제공한다. 결론적으로, 논문은 마인스위퍼 퍼즐을 순수히 종이와 펜만으로 즐길 수 있는 수학적 구조를 제시하고, 이산 라플라시안의 스펙트럼 특성을 이용해 해의 유일성을 보장하는 설계 원리를 제공한다. 이는 교육 현장에서 논리적 사고와 선형대수, 그래프 이론을 자연스럽게 접목시킬 수 있는 좋은 사례가 된다.