[论文解读] 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 名警卫同时追捕 r 名可见的逃犯，该游戏推广了有向路径宽和DAG宽的概念。研究证明，使用至多 r × DAG-width(G) 名警卫可以单调地捕获 r 名逃犯，从而建立了一个不会坍缩的复杂度度量层级，使得在有界DAG宽图上具有有界不完美信息的parity游戏可在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)，表明有界不完美信息可使parity游戏高效求解。
• 通过证明该层级不会坍缩，展示该细化是非平凡的，并为有向路径宽提供了适当的近似。

提出的方法

• 将 dwᵣ(G) 定义为在图 G 上单调地捕获 r 名可见逃犯所需的最少警卫数量。
• 采用一种单调策略，通过放置警卫来防止再次污染，确保向捕获目标持续推进。
• 证明通过并行执行 r 次单逃犯获胜策略可捕获 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-width(G) 有界？
• RQ4 该新框架是否能实现有界DAG宽图上具有有界不完美信息的parity游戏在PTIME内的可解性？
• RQ5 能否通过显式图构造证明宽度度量的层级是严格的？

主要发现

• 本文证明了 dwᵣ(G) ≤ r × dw(G)，建立了捕获 r 名可见逃犯所需的警卫数量的紧致上界。
• 通过构造满足对所有 i ≤ r 有 dwᵢ(Gₖʳ) ≥ i·(k−1)/2 的图，证明了宽度度量层级 dw₁(G) ≤ dw₂(G) ≤ ... ≤ dpw(G) 不会坍缩。
• 对每个 k > 0，存在图族 Gₖʳ 使得 dpw(Gₖʳ) = k(r + 1)，表明路径宽相对于逃犯数量呈指数增长。
• 构造 Gₖʳ = Tᵣ ⊕ Kₖ，其中 Tᵣ 为高度为 r+1 且分支度至少为 3 的满二叉树，该构造实现了所需的路径宽和逃犯捕获复杂度。
• 该结果推广了先前关于在有界有向路径宽图上具有有界不完美信息的parity游戏PTIME可解性的结果。
• 该框架在图搜索游戏与不完美信息博弈之间建立了自然桥梁，表明博弈中的有界不确定性对应于搜索游戏中的有界可见性。