[論文レビュー] Graph Searching, Parity Games and Imperfect Information

Bernd Puchala, Roman Rabinovich|RWTH Publications (RWTH Aachen)|Oct 25, 2011

Advanced Graph Theory Research参考文献 12被引用数 3

ひとこと要約

本稿では、r人の見えやすい泥棒を同時に追跡する新しいグラフ探索ゲームを導入し、有向パス幅とDAG幅を一般化する。r人の泥棒は、最大でr × DAG幅(G)人のコプスによって単調に捕獲可能であることを証明し、崩壊しない複雑さの測度の階層を確立するとともに、DAG幅が有界なグラフ上で、不完全情報が有界なパリティゲームがPTIMEで解けることを可能にする。

ABSTRACT

We investigate the interrelation between graph searching games and games with imperfect information. As key consequence we obtain that parity games with bounded imperfect information can be solved in PTIME on graphs of bounded DAG-width which generalizes several results for parity games on graphs of bounded complexity. We use a new concept of graph searching where several cops try to catch multiple robbers instead of just a single robber. The main technical result is that the number of cops needed to catch r robbers monotonously is at most r times the DAG-width of the graph. We also explore aspects of this new concept as a refinement of directed path-width which accentuates its connection to the concept of imperfect information.

研究の動機と目的

• 複数の見えやすい泥棒をコプスが追跡する新しいグラフ探索ゲームを形式化し、有向パス幅とDAG幅を精緻化すること。
• 既存の幅測度を一般化する、dw₁(G) ≤ dw₂(G) ≤ ... ≤ dpw(G) という複雑さの測度の階層を確立すること。
• dwᵣ(G) ≤ r × dw(G) を証明し、不完全情報が有界であることによってパリティゲームが効率的に解けることを示すこと。
• 階層が崩壊しないことを示し、精緻化が非自明であり、有向パス幅の適切な近似を提供することを証明すること。

提案手法

• Gにおけるr人の見えやすい泥棒を単調に捕獲するために必要なコプスの最小数として、dwᵣ(G) を定義する。
• 再汚染を防ぐためにコプスを配置する単調な戦略を用い、捕獲への進行を保証する。
• r人の泥棒を同時に処理する際、1人の泥棒を捕獲する戦略をr回並列に適用することで、不完全情報の有界性を活用して捕獲を達成する。
• 階層が崩壊しないことを示すために、Gₖʳ = Tᵣ ⊕ Kₖ というグラフ族を構築し、辞書式積を用いて複雑性を拡大する。
• 帰納法とパス幅の議論を用いて、dpw(Gₖʳ) = k(r + 1) および i ≤ r に対して dwᵢ(Gₖʳ) ≥ i·(k−1)/2 を証明する。
• グラフ探索と不完全情報ゲームの間の関係を活用し、元のグラフからパワー集合グラフへの戦略を転送する。

実験結果

リサーチクエスチョン

• RQ1 グラフ探索の概念を複数の見えやすい泥棒に一般化することで、有向パス幅とDAG幅を精緻化できるか？
• RQ2 dw₁(G) ≤ dw₂(G) ≤ ... ≤ dpw(G) という非自明な複雑さの測度の階層が、崩壊しないか？
• RQ3 r人の見えやすい泥棒を単調に捕獲するために必要なコプスの数が、r × DAG幅(G) で抑えられるか？
• RQ4 この新しい枠組みにより、DAG幅が有界なグラフ上で不完全情報が有界なパリティゲームがPTIMEで解けるか？
• RQ5 明示的なグラフ構築によって、幅測度の階層が正当であることが示せるか？

主な発見

• 本稿では、dwᵣ(G) ≤ r × dw(G) を証明し、r人の見えやすい泥棒を単調に捕獲するために必要なコプス数のタイトな上界を確立した。
• dw₁(G) ≤ dw₂(G) ≤ ... ≤ dpw(G) の幅測度の階層は、dwᵢ(Gₖʳ) ≥ i·(k−1)/2 (すべてのi ≤ rに対して) を満たすグラフの構築により、崩壊しないことが示された。
• 任意のk > 0に対して、dpw(Gₖʳ) = k(r + 1) を満たすグラフ族Gₖʳが存在し、パス幅が泥棒の数に対して指数関数的に増加することを示した。
• Tᵣが高さr+1で分岐度が3以上である完全な木であるとき、Gₖʳ = Tᵣ ⊕ Kₖ の構成により、必要なパス幅と泥棒捕獲の複雑性が達成された。
• 以前の、DAG幅が有界なグラフ上で不完全情報が有界なパリティゲームがPTIMEで解けるという結果を一般化した。
• この枠組みは、グラフ探索ゲームと不完全情報ゲームの間の自然な橋渡しを提供し、ゲームにおける限られた不確実性が、探索ゲームにおける限られた可視性に対応することを示した。