[論文レビュー] Games on Graphs: From Logic and Automata to Algorithms

Nathanaël Fijalkow, Aiswarya, C.+23 more|arXiv (Cornell University)|May 17, 2023

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

ひとこと要約

包括的な本がグラフ上の無限期間ゲーム、その定性的/定量的目的、およびアルゴリズム技術を紹介し、線形時間の到達可能性解法とアトラクターベースの手法を含む。古典的および拡張ゲームモデルに関する広範な章を含む。

ABSTRACT

The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared in the study of automata and logic, and they later became important for program verification and synthesis. They have many more applications, in particular some of the models investigated in this book were introduced and studied in neighbouring research communities such as optimisation, reinforcement learning, model theory, and set theory.

研究の動機と目的

• グラフ上の2人プレイヤーゲームにおけるアリーナ、戦略、および定性的/定量的目的を定義する。
• 到達可能性の線形時間アルゴリズムと定性的目的の不動点法を提示する。
• 複数のゲームモデルにわたる古典的・現代的なアルゴリズム技術（アトラクター/戦略改良/値反復）を総覧する。
• 有限および無限アリーナにおける決定性と記憶（位置付け性）に関する基礎的な結果を提供する。

提案手法

• アリーナ、戦略、目的の着色の形式的定義を導入する。
• 到達可能性のための線形時間アトラクタベースのアルゴリズムと、勝利領域の不動点特性付けを開発する。
• 値反復、戦略改良、オートマタベースの手法などのアルゴリズム族を提示・比較する。
• 不動点理論と記憶の考慮を用いて、定性的およびパリティ目的へ到達可能性を拡張する。
• エッジ/頂点のラベリングの還元と、それがアルゴリズム設計に与える影響を探究する。

実験結果

リサーチクエスチョン

• RQ1 2人プレイヤーのグラフゲームにおいて、到達可能性と定性的目的をいかに効率的に解くことができるか。
• RQ2 さまざまなゲームモデルにおける勝利戦略の決定性と記憶（位置付け性）の性質はどうなるか。
• RQ3 パリティや Büchi のような定性的目的に対する解法の基礎となる不動点法とアトラクター構成はどのように機能するか。
• RQ4 エッジと頂点のラベリング規則は還元と問題の複雑性にどのような影響を与えるか。
• RQ5 古典的な到達可能性ゲームと比較して、確率的・同時実行・時限・プッシュダウン・多目的といったより複雑なモデルでのアルゴリズムアプローチの概要はどうなるか。

主な発見

• 2人プレイの到達可能性目的は、線形時間・空間で解け、両プレイヤーに対して一様な位置付け戦略をもたらす。,
• アトラクタベースの不動点アルゴリズムは勝利領域を計算し、構成的な特徴付けと頂点のランク付けを提供する。
• 定性的目的は不動点理論で分析でき、多くの設定で決定性（位置付け）戦略が現れる。
• パリティと Büchi の目的は、オートマタベースの還元と記憶の考慮を通じて扱える。これらは標準的なオートマタ理論にリンクする。
• 異なるアルゴリズム族（値反復、戦略改良、分離オートマタ）は、モデルに応じて準多項式または指数時間の性能を示す。
• エッジラベリングと頂点ラベリングの還元は本質的な経路の色列を保持し、柔軟なモデリングを可能にする。