[論文レビュー] Subtraction Division Games

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

Artificial Intelligence in Games参考文献 3被引用数 3

ひとこと要約

本稿は、2名のプレイヤーが交互に固定値 $ a $ を引くか、固定除数 $ b $ で割ることで、1に到達することを目的とする2人用組み合わせゲーム「サブトラクション・ディビジョン・ゲーム」を研究する。スプラグ＝グリーニー理論を用いて、$ 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.

研究の動機と目的

• パrameters $ a=1 $、$ b=2d $ のサブトラクション・ディビジョン・ゲームにおいて、先手が勝つ戦略を持つ $ n $ の値を特定すること。
• 特別なケース $ S=\{1\}, D=\{2\} $ を超えて、ゲームの結果を一般化して特徴づけること。
• スプラグ＝グリーニー理論を適用してゲーム状態を分析し、勝ち・負けの位置を分類すること。
• 基数 $ b $ 表記における $ n $ の表現に基づいて、$ SG_{a,b}(n) = 0 $（先手の負け）の完全な特徴づけを導出すること。

提案手法

• スプラグ＝グリーニー関数 $ SG_{a,b}(n) $ を、到達可能な位置のSG値の最小除外値（mex）として再帰的に定義する：$ \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 $ の表現が、スプラグ＝グリーニー値およびゲームの結果をどのように決定するか？
• RQ3 ゲームの結果は、特に奇数桁の直前に続く偶数桁のブロックに注目した、基数 $ b $ の桁パターンによって完全に特徴づけられるか？
• RQ4 どのような再帰的簡約がスプラグ＝グリーニー値を保存し、ゲーム状態の効率的分類を可能にするか？
• RQ5 どのような条件下で、除算経路に沿ってSG値に周期的または交互な振る舞いが現れるか？

主な発見

• パrameters $ 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 $ のスプラグ＝グリーニー値は、係数の偶奇を分析し、SG値を保存する簡約を適用することで再帰的に簡略化できる。
• 簡約プロセスにより、$ c_1 $ が偶数かつ非ゼロのとき、$ SG(2dc_1 + 4d^2c_2 + \cdots) = SG(c_1 + 2dc_2 + \cdots) $ が成り立つことが示され、再帰的簡略化が可能になる。
• 解析により、$ SG_{a,b}(n) $ が有界であり、かつ隣接する2状態が同じSG値を持たないことが確認され、これはこのような公平ゲームの重要な性質である。