[論文レビュー] DECIDING GAME INVARIANCE

Aline Parreau, Michel Rigo|arXiv (Cornell University)|Aug 17, 2016

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

ひとこと要約

本稿では、与えられた無向取り分けゲームのP-ポジション集合が1不変であるかどうかを決定する手続きを確立する。1不変とは、位置に依存しない不変ルールセットによって実現可能であることを意味する。第一階論理を、ピサット系などの数進法系を含むプレスブルガー算術に拡張した形式で、P-ポジション集合がこの論理的枠組みで定義可能である場合、1不変性問題が決定可能であることを示している。特に、トリボナッチ、マーク、レイレーゲームなどのゲームから得られる集合についても同様に成立する。主な貢献は、オートマトンおよびモーフィック列によって定義可能なP-ポジションをもつ、広範な組合せゲームのクラスに対して、一般に決定可能であるという結果である。

ABSTRACT

Duch\^ene and Rigo introduced the notion of invariance for take-away games on heaps. Roughly speaking, these are games whose rulesets do not depend on the position. Given a sequence $S$ of positive tuples of integers, the question of whether there exists an invariant game having $S$ as set of $\mathcal{P}$-positions is relevant. In particular, it was recently proved by Larsson et al. that if $S$ is a pair of complementary Beatty sequences, then the answer to this question is always positive. In this paper, we show that for a fairly large set of sequences (expressed by infinite words), the answer to this question is decidable.

研究の動機と目的

• 与えられた無向取り分けゲームのP-ポジション集合が、1不変ルールセットによって実現可能かどうかを特定すること。
• ビーリー列および不変ゲームに関する先行研究を、より広い集合のクラスへと拡張すること。
• 形式論理とオートマトン理論を用いて、1不変性の一般的決定可能性枠組みを確立すること。
• 特定のゲーム（例：トリボナッチ、レイレー、マーク）を分析し、関連する論理で定義可能であれば、そのP-ポジションが1不変であることを証明すること。

提案手法

• U-数進法系の単項写像VUを加えた構造⟨N, +⟩上での第一階論理を用いて、1不変性問題を形式化する。
• 第一階論理で定義可能な集合と有限オートマトンが認識する言語との同値性を用いて、P-ポジションを分析する。
• モーフィック列とオートマトンを用いて、トリボナッチゲームやレイレー・ゲームのP-ポジションを特徴付ける。
• 整数のF-展開に対して決定的有限オートマトン（DFAs）を構築し、P-ポジションの条件を検証する。
• U-認識可能性の概念を用いて、集合{(i, i+1) | i ≥0}が論理で定義可能であることを証明する。
• オートマトンで認識される言語内の語の系統的順序を用いて、P-ポジションを体系的に列挙・検証する。

実験結果

リサーチクエスチョン

• RQ1 与えられたP-ポジション集合に対して、それを実現する1不変ルールセットが存在するか？
• RQ2 プレスブルガー算術に数進法系を加えた論理で定義可能な集合に対して、P-ポジションの1不変性をアルゴリズム的に決定可能か？
• RQ3 トリボナッチ、マーク、レイレー・ゲームなどのゲームにおいて、P-ポジション集合は1不変か？
• RQ4 1不変である集合の論理的およびオートマトン的特徴付けは何か？
• RQ5 決定可能性結果は、非均一的または非ビーリー列への拡張が可能か？

主な発見

• トリボナッチ・ゲームのP-ポジション集合は、関連する第一階論理で定義可能かつU-認識可能であるため、1不変である。
• レイレー・ゲームのP-ポジション集合は、モーフィック特徴付けとオートマトンベースのF-展開解析により、1不変であることが示された。
• Pisot数進法系において、集合{(i, i+1) | i ≥0}はU-認識可能であり、これにより関連するゲームの1不変性が示唆される。
• ⟨N, +⟩に単項写像VUを加えた第一階論理で定義可能なすべての集合に対して、1不変性問題は決定可能である。
• 本稿では、オートマトンと論理的定義可能性に基づく一般の決定手続きを提供し、広範な組合せゲームのクラスに適用可能である。
• 先行研究の補完的ビーリー列に関する結果を拡張し、不変ゲームを分析するためのより広範な枠組みを提供している。