[논문 리뷰] Additive Subtraction Games

Urban Larsson, Hikaru Manabe|arXiv (Cornell University)|2026. 03. 11.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

이 논문은 원시 이차 체제에서 가법적 빼기 게임에 대한 완전한 nim-값 구조를 도출하여 네 가지 nimber 계급으로의 닫힌 형태 분할과 δ-충돌 계산 체계를 제공합니다.

ABSTRACT

We determine the full nim-value structure of additive subtraction games in the {\em primitive quadratic} regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type {\em bracket expressions} on rational moduli, for determining the P-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The primitive quadratic case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction with Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical P-positions.

연구 동기 및 목표

• 가법적 차감 게임의 연구 의의를 제시하고 nim-값을 특성화하는 핵심 과제를 식별한다.
• 원시 이차 체제에서 P-위치의 닫힌 형태 설명과 nim-값의 전체 분할을 제공한다.
• 각 nim-값 수열이 고전적 P-위치들의 선형 시프트임을 증명하고 완전한 네 계급 분할을 확립한다.

제안 방법

• 게임을 S = {a, b, a+b}로 모델링하되 0 < a < b이고 b = a + δ이다.
• gcd(a, δ) = 1인 원시 이차 체제에서 a < δ < 2a로 작업한다.
• w_n 을 n + a floor(n/a) + b floor(n/δ)로 정의하고 그 평행집합들을 사용하여 nim-값을 W0, W1 = W0 + a, W2 = W0 − b, W3 = (W0 − δ) \ W0으로 분류한다.
• W0에 대한 반충돌을 증명하고 Ferguson 짝짓기를 적용하여 nim-값 1을 도출하며 도달성(reachability)과 충돌 계산의 근거를 사용하여 nim-값 2와 3을 얻는다.
• δ-충돌 계산 정리를 개발하여 히프-주기당 정확히 ad 충돌이 발생함을 보이고 이것을 밀도와 주기 결과와 연계한다.
• 세 항에 대한 대괄호 표현(bracket expressions)을 통한 상세한 간격 구조 분석을 제공하고 잔여류(residue-class) 분석을 사용하여 네 분할 계급을 설명한다.

실험 결과

연구 질문

• RQ1 S = {a, b, a+b}에서 원시 제곱 체제에서의 가법적 차감에 대한 완전한 nim-값 분할은 무엇인가?
• RQ2 P-위치(nim-값 0)와 기본 P-위치 집합 W0의 시프트된 사본 간의 관계는 무엇인가?
• RQ3 네 가지 nim-값 계급(0,1,2,3)의 밀도와 주기는 무엇인가?
• RQ4 하나의 히프-주기에서 몇 개의 δ-충돌이 발생하며 이것이 nim-값 3 위치를 어떻게 지배하는가?
• RQ5 bracket expressions와 잔여류 분석을 통해 전체 nim-값 구조를 설명할 수 있는가?

주요 결과

힙 크기	nim-값
0	0
1	0
2	1
3	1
4	0
5	2
6	1
7	3
8	2
9	2
10	0
11	3

• 네 가지 nim-값 계급 W0, W1, W2, W3가 자연수를 분할하며 W0, W1, W2는 P-위치의 간단한 아핀 변환이고 W3에는 nim-값 3인 위치가 포함된다.
• nim-값은 원시 이차 체제에서 a < δ < 2a, gcd(a, δ) = 1, 그리고 b = a + δ일 때 완전히 결정되며 분할은 P-위치의 선형 시프트 구조에 대응한다.
• 히프-주기는 h = (3δ + a)a이고 W0, W1, W2의 밀도는 δ/(3δ + a), W3의 밀도는 a/(3δ + a)이다.
• δ-충돌 계산 결과는 하나의 인덱스-주기에서 ad 충돌이 있음을 보여주며 이는 nim-값 3 위치의 정확한 개수를 뒷받침한다.
• 해당 분석은 간격 규칙성(gap regularity), 잔여 순열(residue permutation), 그리고 bracket-expression 접근법을 활용하여 기저의 수 이론적 메커니즘을 드러낸다.