[論文レビュー] Additive Subtraction Games

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

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

この論文は primitive quadratic レジームにおける加法的 subtraction ゲームの完全な nim-value 構造を導出し、4つの nimber クラスへの閉形式の分割と P-位置を説明する δ-collision カウントフレームワークを提供する。

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.

研究の動機と目的

• 加法的 subtraction ゲームの研究動機づけと nim-value の特徴づけの核となる課題の特定。
• primitive quadratic レジームにおける P-位置の閉形式記述と nim-value の全分割の提供。
• 各 nim-value 序列が古典的な P-位置の線形シフトであり、完全な4クラス分割を確立することの証明。

提案手法

• 0 < a < b かつ b = a + δ のとき S = {a, b, a+b} でゲームをモデル化する。
• primitive quadratic レジーム a < δ < 2a, gcd(a, δ) = 1 の下で作業する。
• w_n = n + a floor(n/a) + b floor(n/δ) を定義し、その平行移動集合を用いて nim-value を W0, W1 = W0 + a, W2 = W0 − b, W3 = (W0 − δ) \ W0 に分類する。
• W0 の反衝突を証明し、Ferguson ペア付けを適用して nim-value 1 を導出し、到達性と衝突カウントの議論を用いて nim-value 2 と 3 を得る。
• δ-衝突カウント定理を展開し、1つの heap- period あたり正確に ad 回の衝突が発生することを示し、密度と周期の結果に結びつける。
• 3つの項に対する括弧表現によるギャップ構造の詳細な分析を提供し、剰余類arg を用いて4つの分割クラスを説明する。

実験結果

リサーチクエスチョン

• RQ1 primitive quadratic レジームにおける S = {a, b, a+b} の加法 subtraction に対する完全な nim-value 分割とは何か。
• RQ2 P-位置（nim-value 0）は基本的な P-位置集合 W0 の shifted コピーとどう関連するか。
• RQ3 4つの nim-value クラス（0,1,2,3）の密度と周期長はどうなるか。
• RQ4 1つの heap-period における δ-衝突の数はいくつで、それが nim-value 3 の位置をどう支配するか。
• RQ5 括弧表現と剰余類解析を用いて完全な nim-value 構造を記述できるか。

主な発見

Heap size	Nim-value
0	0
1	0
2	1
3	1
4	0
5	2
6	1
7	3
8	2
9	2
10	0
11	3

• 4つの nim-value クラス W0, W1, W2, W3 は自然数を分割し、W0, W1, W2 は P-位置の単純なアフィine 移動であり、W3 が nim-value 3 の位置を含む。
• nim-values は primitive quadratic レジーム a < δ < 2a, gcd(a, δ) = 1, b = a + δ で完全に決定され、分割は P-位置の線形移動構造に対応する。
• heap-period は h = (3δ + a)a で、クラスの密度は W0, W1, W2 が δ/(3δ + a) および W3 が a/(3δ + a)。
• δ-衝突カウントの結果、1つの index-period で ad 回の衝突があることが示され、これが nim-value 3 の位置の正確な個数を支える。
• 解析はギャップの規則性、剰余置換、括弧表現アプローチを活用して、基礎となる数論的機構を明らかにする。