편향 없는 게임으로 구현하는 1차원 셀룰러 자동기와 불가능성

초록

본 논문은 두 명이 번갈아가며 말수를 제한하는 ‘테이크 어웨이’ 게임을 정의하고, 이 게임의 승패 전개가 2상태 1차원 셀룰러 자동기(특히 규칙 60·110)의 시간 흐름과 일대일 대응함을 보인다. 규칙 110이 튜링 완전함이 증명된 바와 같이, 초기 패턴이 주어졌을 때 게임의 승패, 최적 전략 존재 여부 등 여러 질문이 알고리즘적으로 결정 불가능함을 증명한다.

상세 분석

논문은 먼저 ‘테이크 어웨이’ 게임이라는 새로운 게임 프레임워크를 제시한다. 이 게임은 두 플레이어가 각각 현재 남은 토큰 수와 이전 라운드에서 상대가 취한 토큰 수를 기준으로, 정해진 범위 내에서 토큰을 가져가는 방식이다. 핵심은 각 라운드에서 선택 가능한 토큰 수가 바로 전 라운드의 선택에 의존한다는 점이며, 이는 셀룰러 자동기의 이웃 규칙과 구조적으로 동일하다. 저자들은 이러한 게임을 ‘규칙 60 게임’과 ‘규칙 110 게임’으로 구분하고, 각각 Wolfram의 1차원 자동기 규칙 60·110과 정확히 일치하도록 매핑한다.

매핑 과정은 다음과 같다. 초기 게임 상태는 중앙에 임의의 데이터 문자열을 두고, 양쪽 끝은 주기적인 패턴으로 채운다. 이는 셀룰러 자동기의 초기 셀 배열과 동일하게 해석된다. 각 라운드에서 플레이어가 선택한 토큰 수는 해당 셀의 현재 상태(0 혹은 1)를 나타내며, 다음 라운드에서 가능한 선택지는 자동기의 업데이트 규칙에 따라 결정된다. 예를 들어 규칙 110의 경우, 세 이웃(왼쪽, 현재, 오른쪽)의 조합에 따라 새로운 셀 값이 결정되는데, 게임에서는 이전 두 라운드의 선택이 이 역할을 수행한다.

이러한 동형성을 이용해 저자들은 규칙 110이 튜링 완전함을 보인 Cook의 결과를 게임 이론에 직접 적용한다. 즉, 규칙 110 자동기의 임의의 Turing 기계 시뮬레이션이 가능한 초기 패턴을 구성하면, 해당 게임에서도 동일한 계산을 수행하게 된다. 따라서 ‘특정 초기 패턴에서 첫 번째 플레이어가 반드시 승리하는가’, ‘게임이 무한히 진행되는가’, ‘주어진 위치에서 승패가 결정되는 최소 라운드 수는 얼마인가’와 같은 질문은 일반적인 알고리즘으로는 해결할 수 없으며, 결정 문제(decidability) 관점에서 불가능함을 증명한다.

또한 논문은 규칙 60 게임에 대해서는 결정 가능성을 논의한다. 규칙 60은 선형적인 XOR 연산에 해당하므로, 게임의 진행이 단순히 이진수의 비트 이동과 동일하게 해석될 수 있다. 따라서 승패를 예측하는 다항 시간 알고리즘을 제시한다. 이와 대조적으로 규칙 110은 비선형이며, 복잡도 계층에서 높은 위치에 있기 때문에 결정 불가능성을 갖는다.

마지막으로 저자들은 이러한 결과가 게임 이론, 자동기 이론, 그리고 계산 복잡도 이론 사이의 교차점을 제공한다는 점을 강조한다. 특히 ‘게임을 통한 계산’이라는 관점을 통해, 전통적인 셀룰러 자동기 연구에서 다루던 추상적인 결정 문제를 보다 직관적인 게임 상황으로 옮겨볼 수 있다. 이는 교육적 활용 가능성뿐 아니라, 암호학적 프로토콜 설계 등 실용적인 분야에서도 새로운 아이디어를 제공한다.