[論文レビュー] Characterising Memory in Infinite Games

Antonio Casares, Pierre Ohlmann|arXiv (Cornell University)|Sep 24, 2022

Advanced Topology and Set Theory被引用数 1

ひとこと要約

この論文は、無限継続ゲームにおける有限および無限記憶の上限について、Ohlmannの位置的目的関数の特徴付けを、well-ordered 単調ユニバーサルグラフを用いて拡張する。有限記憶を必要とする目的関数を特徴付けるために、antichain のサイズが有界である well-founded 単調ユニバーサルグラフを導入し、記憶の色分け（chromatic memory）の構造的特徴付けをユニバーサル構造に基づいて行う。これにより、新たな閉包性質と、さまざまな目的関数クラスに対するタイトな記憶境界が得られる。

ABSTRACT

This paper is concerned with games of infinite duration played over potentially infinite graphs. Recently, Ohlmann (LICS 2022) presented a characterisation of objectives admitting optimal positional strategies, by means of universal graphs: an objective is positional if and only if it admits well-ordered monotone universal graphs. We extend Ohlmann's characterisation to encompass (finite or infinite) memory upper bounds. We prove that objectives admitting optimal strategies with $\varepsilon$-memory less than $m$ (a memory that cannot be updated when reading an $\varepsilon$-edge) are exactly those which admit well-founded monotone universal graphs whose antichains have size bounded by $m$. We also give a characterisation of chromatic memory by means of appropriate universal structures. Our results apply to finite as well as infinite memory bounds (for instance, to objectives with finite but unbounded memory, or with countable memory strategies). We illustrate the applicability of our framework by carrying out a few case studies, we provide examples witnessing limitations of our approach, and we discuss general closure properties which follow from our results.

研究の動機と目的

• 位置的目的関数の Ohlmann の特徴付けを、有限または無限記憶を要する目的関数へ拡張すること。
• ユニバーサルグラフを用いて、無限ゲームにおける記憶要件の構造的特徴付けを提供すること。
• 記憶境界と、antichain のサイズや well-foundedness などのユニバーサルグラフの組合せ的性質との関係を確立すること。
• ユニバーサルグラフ構成を用いて、特定の目的関数クラスのタイトな記憶境界を導出すること。
• ユニバーサルグラフフレームワークを用いて、記憶制限付き目的関数の閉包性質（交わりや和集合など）を調査すること。

提案手法

• antichain のサイズが有界である well-founded 単調ユニバーサルグラフを導入し、ε-記憶が m より小さい目的関数を特徴付ける。
• 辺関係における単調性（v ≥ u c→ u′ ≥ v′ ⇒ v c→ v′）の概念を用いて、記憶制約と整合性を持つように保証する。
• プレフィックス独立性とホモモーティック埋め込みを適用し、勝利プレイの構造を捉えるユニバーサルグラフを構築する。
• 特定の順序型（例：well-founded, wqo）を持つユニバーサルグラフの存在を活用し、記憶複雑度を特徴付ける。
• フレームワークを応用して、交わりにおける有限 ε-free 記憶や、プレフィックス独立型 Σ₀² 目的関数における可算和集合への閉包性を導出する。
• Lemma 3.8 を用いて、色分けとパス分解を介してプレフィックス独立型目的関数のユニバーサルグラフ構成を容易にする。

実験結果

リサーチクエスチョン

• RQ1 どの目的関数が ε-記憶が m より小さい最適戦略を有するか、そしてその構造的特徴付けは何か？
• RQ2 適切なユニバーサル構造を用いて、記憶の色分け（chromatic memory）をどのように特徴付けられるか？
• RQ3 有限 ε-記憶を要する目的関数は交わりに関して閉じているか？そのような組み合わせの記憶境界は何か？
• RQ4 有限または無限に有界な有限 ε-free 記憶を要する目的関数に対して、どのような閉包性質が成り立つか？
• RQ5 ユニバーサルグラフフレームワークを用いて、ω-正則または位相的に定義された目的関数の記憶要件を決定できるか？

主な発見

• 目的関数が ε-記憶が m より小さい最適戦略を有するのは、antichain のサイズが最大 m である well-founded 単調ユニバーサルグラフを有するとき、かつそのときに限る。
• 有限 ε-記憶を要する目的関数のクラスは、有限交わりに関して閉じており、そのような目的関数は局所的に有限な ε-free 記憶を有する。
• 有限 ε-記憶を要するプレフィックス独立型 Σ₀² 目的関数は、可算和集合に関して閉じている。
• フレームワークにより、ユニバーサルグラフ構成を用いて、位相的に閉じた目的関数や Muller 目的関数の既知のタイトな記憶境界が再現される。
• ユニバーサル単調 well-quasi-orders (wqo) の存在は、交わりに関して閉じた目的関数を特徴付けるが、より広いクラスの無限に有界な有限 ε-free 記憶は未解決のままである。
• 本論文は、無限ゲームにおける記憶複雑度の特徴付けに新たなアプローチを提供し、ω-正則目的関数の記憶要件の決定可能性についても可能性を示唆する。