도미니어링 최신 연구 CGT 엔드게임 데이터베이스

초록

본 논문은 15칸 이하 단일 구성 도미니어링 위치에 대한 엔드게임 데이터베이스를 구축하고, 각 위치의 정확한 CGT 값을 정규형으로 기록하였다. 새로운 ‘브리지 파괴 정리’를 제시해 기존 브리지 분할 정리와 결합해 큰 위치를 작은 조각들의 합으로 분석하고, 임의의 dyadic 유리수를 갖는 도미니어링 위치를 구성함을 증명한다. 또한 업·다운, 타이니·미니, 님버(*, *2, *3) 등 무한소값과 님버를 가진 위치들을 체계적으로 탐색하고, 온도 분석을 통해 온도 2가 최대임을 실험적으로 뒷받침한다.

상세 분석

이 연구는 도미니어링이라는 격자 기반 제로섬 게임에 조합 게임 이론(CGТ)을 적용한 가장 포괄적인 데이터베이스를 제공한다. 먼저 저자들은 15칸 이하의 모든 단일 연결 형태를 열거하고, 각각에 대해 CGТ 값(정규형)을 정확히 계산하였다. 여기서 핵심적인 두 정리가 등장한다. 기존의 콘웨이의 ‘브리지 스플리팅 정리’는 두 조각 사이에 단일 격자 브리지가 존재할 때 전체 게임을 두 조각의 합으로 분해할 수 있음을 보인다. 논문은 이를 확장해 ‘브리지 파괴 정리’를 증명한다. 이 정리는 브리지가 제거되면 두 조각이 독립적으로 작동하면서도 원래 위치와 동등한 CGТ 값을 유지한다는 내용이다. 두 정리를 조합하면 복잡한 대형 위치를 작은 조각들의 합으로 정확히 분석할 수 있을 뿐 아니라, 원하는 CGТ 값을 갖는 새로운 위치를 설계하는 데도 활용된다. 특히, 모든 dyadic 유리수(분모가 2의 거듭제곱인 유리수)에 대응하는 도미니어링 위치가 존재함을 보이며, 이는 이전에 알려진 몇몇 특수값(예: 1/2, 3/4 등)만을 다루던 연구와 달리 일반성을 확보한다는 점에서 의의가 크다.

다음으로 무한소값에 대한 탐구가 진행된다. ‘업(up)’과 ‘다운(down)’은 각각 +ε와 –ε 형태의 무한소이며, ‘싱글업·싱글다운’은 값이 ±1/2인 경우를 의미한다. 데이터베이스에서는 단일·이중 업·다운 위치는 다수 발견되었지만, 3배 이상의 다중 업·다운은 존재하지 않았다. 저자들은 정리를 이용해 임의의 다중 업·다운을 인위적으로 구성할 수 있음을 증명한다. ‘타이니(tiny)’와 ‘미니(mini)’는 ±(1/2^k)·* 형태의 복합 무한소로, 논문은 11가지 서로 다른 타이니·미니 값을 실제 도미니어링 위치로 구현하고 각각 예시를 제시한다. 이는 무한소 구조가 단순히 ±ε에 국한되지 않고, 복잡한 계층을 가질 수 있음을 보여준다.

놀라운 점은 님버(*, *2, *3)와 관련된 결과이다. 기존 연구에서는 표준 도미니어링에서 *2, *3 위치가 존재하지 않을 것이라는 가설이 제기되었지만, 저자들은 데이터베이스에서 *2와 *3 값을 갖는 다수의 단일 구성 위치를 발견하고, 그 구조적 특징을 체계화한다. 특히, 이러한 님버 위치는 특정 ‘브리지 파괴’ 패턴을 통해 생성되며, 게임 트리의 대칭성과 교환 가능성을 이용해 님버 연산이 보존되는 것을 확인한다.

마지막으로 온도 분석이 수행되었다. 온도는 게임이 ‘뜨거운’ 정도를 나타내는 척도로, 높은 온도일수록 최적 수가 더 복잡해진다. 데이터베이스 전체를 조사한 결과 온도 2인 위치는 정확히 하나만 존재했으며, 그 외 모든 위치는 온도 1 이하였다. 이는 베렐캠프가 제시한 “도미니어링의 최고 온도는 2”라는 추측을 실험적으로 뒷받침한다. 전체적으로 이 논문은 정리와 데이터베이스를 결합해 도미니어링의 CGТ 구조를 깊이 있게 파악하고, 향후 복합 게임 설계와 자동 분석에 중요한 기반을 제공한다.