[논문 리뷰] Subtraction Division Games

Elizabeth J. Kupin|arXiv (Cornell University)|2011. 12. 30.

Artificial Intelligence in Games참고 문헌 3인용 수 3

한 줄 요약

이 논문은 두 명의 플레이어가 번갈아가며 고정된 값 $ a $를 빼거나 고정된 나눗셈자 $ b $로 나누는 조합 게임인 Subtract-Division 게임을 연구한다. 목표는 1에 도달하는 것이다. Sprague-Grundy 이론을 사용하여 $ a=1 $ 이고 $ b=2d $ 인 경우, 먼저 플레이어가 승리하거나 패배하는지 완전히 규명한다. 결과는 $ n $의 밑수 $ 2d $ 표현에 따라 달라지며, 특히 가장 낮은 자릿수의 홀수 자릿수 이전의 짝수 자릿수 블록의 길이의 기수성에 따라 결정된다.

ABSTRACT

A Subtraction-Division game is a two player combinatorial game with three parameters: a set S, a set D, and a number n. The game starts at n, and is a race to say the number 1. Each player, on their turn, can either move the total to n-s for some s in S or to \lceil\frac{n}{d} ceil, for some d in D (i.e. either subtract s or divide by d and round up). This paper examines in detail the Sprague-Grundy sequences for the games when |S|=|D|=1. For a large class of these games, the patterns in the sequences allow for a characterization of all the winning positions. The paper also proves that, for the same large class, these sequences are automatic. In the process, a large family of recurrences that completely determine their behavior is constructed.

연구 동기 및 목표

• 매개변수 $ a=1 $, $ b=2d $를 가진 감소-나누기 게임에서 $ n $의 어떤 값에 대해 먼저 플레이어가 승리 전략을 가질 수 있는지 규명하는 것.
• 특수 케이스 $ S=\{1\}, D=\{2\} $를 초월하여 게임 결과의 특성을 일반화하는 것.
• Sprague-Grundy 이론을 적용하여 게임 상태를 분석하고 승리 또는 패배 위치를 분류하는 것.
• 밑수 $ b $ 표현에 기반한 $ SG_{a,b}(n) = 0 $ (첫 번째 플레이어 패배)의 완전한 특성화를 도출하는 것.

제안 방법

• 접근 가능한 위치의 SG 값 집합의 최소기각값(mex)으로 재귀적으로 정의된 Sprague-Grundy 함수 $ SG_{a,b}(n) $: $ \text{mex}\{ SG(n-a), SG(\lceil n/b \rceil) \} $.
• $ SG(1) = 0 $으로 정의하여 첫 번째 플레이어가 패배하는 종료 위치로 간주한다.
• 귀납법과 구조적 보조정리를 사용하여 $ b=2d $ 이며 짝수인 경우의 게임 행동을 분석하며, 밑수 $ 2d $에서의 기수성과 자릿수 패턴에 집중한다.
• 반복적으로 $ b $로 나누고 올림을 적용하는 이동 시퀀스를 분석하여, 이러한 경로를 따라 SG 값이 번갈아가며 변하는지 추적한다.
• 계수의 기수성과 밑수 $ 2d $에서의 자릿수 블록을 기반으로 복잡한 게임 상태를 더 단순한 상태로 축소하는 재귀적 감소를 사용한다.
• 밑수 $ 2d $ 전개에서 가장 낮은 자릿수의 홀수 자릿수 이전의 짝수 자릿수 블록에 따라 결과를 분류한다.

실험 결과

연구 질문

• RQ1 $ a=1 $ 이고 $ b=2d $ 인 경우, 어떤 $ n $ 값에서 첫 번째 플레이어가 패배하는가(즉, $ SG_{a,b}(n) = 0 $)?
• RQ2 밑수 $ 2d $ 표현이 $ n $의 Sprague-Grundy 값과 따라서 게임 결과를 어떻게 결정하는가?
• RQ3 게임 결과는 밑수 $ b $의 자릿수 패tern, 특히 홀수 자릿수 이전의 짝수 자릿수 블록을 기반으로 완전히 특성화될 수 있는가?
• RQ4 Sprague-Grundy 값을 유지하면서 어떤 재귀적 감소가 게임 상태의 효율적 분류를 가능하게 하는가?
• RQ5 나눗셈 경로를 따라 SG 값에서 주기적 또는 번갈아가는 행동을 보이는 조건은 무엇인가?

주요 결과

• $ a=1 $ 이고 $ b=2d $ 이면, $ SG_{1,2d}(n) = 0 $이 되는 것은 $ n $의 밑수 $ 2d $ 표현에서 가장 낮은 자릿수의 홀수 자릿수 이전의 짝수 자릿수 블록의 길이가 짝수일 때에만 성립한다.
• 만약 $ n $ 이 짝수이면, $ SG_{1,2d}(n) \neq 0 $ 이며, 이는 $ n > 1 $ 이면 항상 1을 빼는 것으로 첫 번째 플레이어가 승리할 수 있음을 의미한다.
• $ n \equiv 1,3,\ldots,2d-1 \pmod{4d} $ 이면, $ \{2d+1, 2d+3, \ldots, 4d-1\} $ 에 속하는 수에 도달하는 데 필요한 단계 수에 따라 게임 결과가 결정되며, 홀수 길이의 경로는 첫 번째 플레이어의 승리로 이어지고 짝수 길이의 경로는 패배로 이어진다.
• 밑수 $ 2d $ 전개가 $ 2dc_1 + 4d^2c_2 + \cdots $ 인 수 $ n $의 Sprague-Grundy 값은 계수의 기수성 분석과 SG 값을 유지하는 감소를 적용하여 재귀적으로 단순화할 수 있다.
• 감소 과정은 $ c_1 $ 이 짝수이면서 0이 아니면 $ SG(2dc_1 + 4d^2c_2 + \cdots) = SG(c_1 + 2dc_2 + \cdots) $ 를 만족함을 보여주며, 이는 재귀적 단순화를 가능하게 한다.
• 분석 결과 $ SG_{a,b}(n) $ 는 유계이며, 인접한 두 상태가 동일한 SG 값을 가질 수 없다는 것이 확인되었으며, 이는 이러한 순수 협력 게임의 핵심 성질이다.