[論文レビュー] The Generalized Zeckendorf Game

Paul Baird‐Smith, Alyssa Epstein+2 more|arXiv (Cornell University)|Sep 13, 2018

Game Theory and Applications参考文献 8被引用数 8

ひとこと要約

この論文は、フィボナッチ数列や高次レアマンス列を含む線形再帰列の非隣接項への一意的分解に基づく2人用組合せゲームである一般化ゼッケンドルフ・ゲームを紹介する。プレイヤーは交互に再帰則に基づく移動規則を適用し、初期分解を一意的なゼッケンドルフ形式に変換する。フィボナッチの場合、n > 2 に対してプレイヤー2が必勝戦略を持つことが非構成的証明により示されている。

ABSTRACT

Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result, though with a different notion of a legal decomposition, holds for many other sequences. We use these decompositions to construct a two-player game, which can be completely analyzed for linear recurrence relations of the form $G_n = \sum_{i=1}^{k} c G_{n-i}$ for a fixed positive integer $c$ ($c=k-1=1$ gives the Fibonaccis). Given a fixed integer $n$ and an initial decomposition of $n = n G_1$, the two players alternate by using moves related to the recurrence relation, and whomever moves last wins. The game always terminates in the Zeckendorf decomposition, though depending on the choice of moves the length of the game and the winner can vary. We find upper and lower bounds on the number of moves possible; for the Fibonacci game the upper bound is on the order of $n\log n$, and for other games we obtain a bound growing linearly with $n$. For the Fibonacci game, Player 2 has the winning strategy for all $n > 2$. If Player 2 makes a mistake on his first move, however, Player 1 has the winning strategy instead. Interestingly, the proof of both of these claims is non-constructive.

研究の動機と目的

• 整数の一般化ゼッケンドルフ分解を線形再帰列の項に用いて2人用ゲームを形式化すること。
• ゲームのダイナミクス、すなわち移動列、ゲーム長の上限・下限、必勝戦略の分析。
• フィボナッチの場合に既知の結果を、トリボナッチや高次線形再帰列などのより広いクラスに拡張すること。
• 特にプレイヤー2の必勝戦略の存在と構造を調査し、ゲームの複雑性と戦略構築に関する未解決問題を同定すること。

提案手法

• ゲーム状態を正の線形再帰列（PLRS）の項の多重集合として定義し、最初の項をn個コピーして開始する。
• 再帰則に基づく合法な手を定義：連続する2つの項を次の項に統合する、または同一の2つの項を再帰則に基づく組み合わせに置き換える。
• 木構造に基づくゲーム解析を用いて、すべての可能なゲーム経路をモデル化し、段階は移動回数を表し、ノードの色は必勝プレイヤーを示す。
• 非構成的メソッドを用いて、特にフィボナッチ・ゲームにおけるプレイヤー2の必勝戦略の存在を証明する。
• 計算ツール（Mathematica および Java アプレット）を用いて、ゲーム木のシミュレーション、移動回数の集計、ゲーム状態および必勝経路の可視化を行う。
• ゲーム長の上限・下限を確立し、フィボナッチではO(n log n)、他のPLRSではO(n)の成長を示す。

実験結果

リサーチクエスチョン

• RQ1 十分に大きなnに対して、一般化ゼッケンドルフ・ゲームにおいてプレイヤー2が必勝戦略を持つのか、特にフィボナッチの場合にそうか？
• RQ2 与えられた再帰則に対して、いかなるゲーム列でも移動回数のタイトな上限・下限は何か？
• RQ3 フィボナッチ・ゼッケンドルフ・ゲームにおいて、プレイヤー2の構成的必勝戦略を導出できるのか、それとも現在の証明は本質的に非構成的なのか？
• RQ4 ランダムプレイ下でのゲーム長の分布はどのように振る舞い、正規分布などの既知の分布に収束するのか？
• RQ5 ゲームが2人以上に拡張された場合、あるいは均一でない初期設定に拡張された場合、何が起こるのか？

主な発見

• フィボナッチ・ゼッケンドルフ・ゲームにおいて、n > 2 に対してプレイヤー2が必勝戦略を持つことが非構成的証明により示された。
• プレイヤー2が最初の手でミスをすると、プレイヤー1が必勝戦略を獲得するため、初期プレイに極めて敏感であることが示された。
• フィボナッチ・ゲームにおける最大移動回数はO(n log n)で上界が保証され、他のPLRSでは線形的O(n)で成長する。
• 移動順序に関係なく、ゲームは常に一意的なゼッケンドルフ分解に終了する。
• トリボナッチ再帰則について、シミュレーションデータは十分に大きなnに対してプレイヤー2が必勝戦略を持つという予想を支持しているが、証明は未だ得られていない。
• Java アプレットを用いてゲーム木を可視化でき、ノードは必勝プレイヤーで色分けされ、終端状態は強調表示されるため、ゲーム経路の構造的分析が可能になる。