[論文レビュー] A Timecop's Chase Around the Table

Nils Morawietz, Petra Wolf|arXiv (Cornell University)|Jan 1, 2021

Opportunistic and Delay-Tolerant Networks参考文献 15被引用数 3

ひとこと要約

本稿は、エッジの周期性を持つ時変動グラフ（TVG）における泥棒と警察のゲームを調査している。各エッジの存在は、その周期を表すバイナリ文字列によって決定される。著者らは、サイクルにおけるNP困難性およびW[1]-困難性を証明し、エッジ周期の最小公倍数（lcm）に相対するサイクル長に対する一致する下界を確立し、一般問題の上界をEXPTIMEからPSPACEに改善し、重要な複雑さのギャップを解消した。

ABSTRACT

We consider the cops and robber game variant consisting of one cop and one robber on time-varying graphs (TVG). The considered TVGs are edge periodic graphs, i.e., for each edge, a binary string $s_e$ determines in which time step the edge is present, namely the edge $e$ is present in time step $t$ if and only if the string $s_e$ contains a $1$ at position $t \mod |s_e|$. This periodicity allows for a compact representation of the infinite TVG. We proof that even for very simple underlying graphs, i.e., directed and undirected cycles the problem whether a cop-winning strategy exists is NP-hard and W[1]-hard parameterized by the number of vertices. Our second main result are matching lower bounds for the ratio between the length of the underlying cycle and the least common multiple (LCM) of the lengths of binary strings describing edge-periodicies over which the graph is robber-winning. Our third main result improves the previously known EXPTIME upper bound for Periodic Cop and Robber on general edge periodic graphs to PSPACE-membership.

研究の動機と目的

• エッジ周期的時間変動グラフにおけるPERIODIC COP & ROBBER問題の計算複雑性を特定すること。
• 有向および無向サイクルなどの単純な基本グラフにおいて、警察が勝利する戦略が存在するかを分析すること。
• 一般PERIODIC COP & ROBBER問題の既知の上界と下界の間の複雑さギャップを埋めること。
• エッジ周期の最小公倍数（lcm）が追跡シーケンスの長さおよび戦略の複雑さを決定する役割を調査すること。

提案手法

• 警察と泥棒の位置の状態空間に基づく配置グラフから導出されるAND-ORグラフにおける到達可能性問題としてゲームをモデル化する。
• 警察と泥棒の位置の配置グラフをn²·lcm(LG)時間ステップまで展開することで、全可能な追跡経路をシミュレートする階層的有向無閉路グラフ（DAG）を構築する。
• 警察が最終的に泥棒を捕らえることができるかどうかを確認するために、DAGにおけるアトラクタ計算を用い、多項式空間動的計画法を活用する。
• DAGの各レベルに対して反復的後退帰納法を適用し、各時間ステップにおける警察および泥棒の勝利状態の集合を計算する。
• アトラクタ計算中に現在および次の時間ステップのレベルのみをメモリに保持すれば十分であることを示すことにより、PSPACE-membershipを証明する。
• 既知の困難問題への還元を用いて、サイクルにおいてNP困難性およびW[1]-困難性を確立するが、厳密な構造的制約のもとでも成立する。

実験結果

リサーチクエスチョン

• RQ1 エッジ周期的TVGにおけるPERIODIC COP & ROBBER問題はPSPACE完全であるか？
• RQ2 エッジ周期の最小公倍数（lcm）に対して、泥棒が勝利する戦略を取るために必要な最小サイクル長は何か？
• RQ3 時間の経過とともに部分グラフの数が指数的に増加するにもかかわらず、この問題は多項式空間で解けるか？
• RQ4 この問題は、サイクルなどの単純な基本グラフに制限された場合でもNP困難であるか？
• RQ5 周期的グラフにおける追跡シーケンスの長さとエッジ周期の最小公倍数（lcm）との関係は何か？

主な発見

• エッジ周期的TVGにおける警察が勝利する戦略が存在するかを決定する問題は、有向および無向サイクルに制限されてもNP困難かつW[1]-困難である。
• 泥棒が勝利するインスタンスにおいて、サイクル長とエッジ周期の最小公倍数（lcm）の比に関する一致する下界が確立された。
• 一般PERIODIC COP & ROBBER問題の既知の上界をEXPTIMEからPSPACEに改善した。
• 配置グラフをn²·lcm(LG)ステップまで展開することで、全可能な追跡シーケンスをシミュレートし、多項式空間での検証を可能にした。
• 展開されたDAGにおけるアトラクタ計算により、2つの連続する時間ステップのレベルのみを一時的に保持する多項式空間アルゴリズムが可能となった。
• この結果は、入力がコンパクトに表現されていても、指数的長さの持続時間を有するシミュレーション問題に対して、新たな複雑さクラスを必要とすることが示唆された。