[論文レビュー] Kernelizing Temporal Exploration Problems

Emmanuel Arrighi, Fedor V. Fomin+2 more|arXiv (Cornell University)|Jan 1, 2023

Opportunistic and Delay-Tolerant Networks被引用数 1

ひとこと要約

本稿は、時間的グラフの動的挙動を測る新しい構造的パラメータ p(G) = Σ|E(Gi)| − |V| + 1 を導入し、p(G) をパラメータとする Weighted k-arb NS-TEXP 問題に対する最初の多項式カーネルを提示する。標準的なパラメータ n, L, k, γ は、標準的な複雑性仮定のもとで多項式カーネルを有しないことが示され、一方で p(G) は効率的なカーネライゼーションおよび重み付き時間的探索問題の固定パrameter可 tractable アルゴリズムを可能にする。

ABSTRACT

We study the kernelization of exploration problems on temporal graphs. A temporal graph consists of a finite sequence of snapshot graphs $\mathcal{G}=(G_1, G_2, \dots, G_L)$ that share a common vertex set but might have different edge sets. The non-strict temporal exploration problem (NS-TEXP for short) introduced by Erlebach and Spooner, asks if a single agent can visit all vertices of a given temporal graph where the edges traversed by the agent are present in non-strict monotonous time steps, i.e., the agent can move along the edges of a snapshot graph with infinite speed. The exploration must at the latest be completed in the last snapshot graph. The optimization variant of this problem is the $k$-arb NS-TEXP problem, where the agent's task is to visit at least $k$ vertices of the temporal graph. We show that under standard computational complexity assumptions, neither of the problems NS-TEXP nor $k$-arb NS-TEXP allow for polynomial kernels in the standard parameters: number of vertices $n$, lifetime $L$, number of vertices to visit $k$, and maximal number of connected components per time step $γ$; as well as in the combined parameters $L+k$, $L + γ$, and $k+γ$. On the way to establishing these lower bounds, we answer a couple of questions left open by Erlebach and Spooner. We also initiate the study of structural kernelization by identifying a new parameter of a temporal graph $p(\mathcal{G}) = \sum_{i=1}^{L} (|E(G_i)|) - |V(G)| +1$. Informally, this parameter measures how dynamic the temporal graph is. Our main algorithmic result is the construction of a polynomial (in $p(\mathcal{G})$) kernel for the more general Weighted $k$-arb NS-TEXP problem, where weights are assigned to the vertices and the task is to find a temporal walk of weight at least $k$.

研究の動機と目的

• 時間的グラフにおける探索問題の有効なカーネライゼーションを可能にする構造的パラメータを同定すること。
• 非厳密時間的探索問題（NS-TEXP および k-arb NS-TEXP）のカーネライゼーション複雑性に関する未解決の問題を解消すること。
• 新しいパラメータ p(G) を用いて、より一般的な Weighted k-arb NS-TEXP 問題に対する多項式カーネルを構築すること。
• 標準的なパラメータ n, L, k, γ が標準的な複雑性仮定のもとで多項式カーネルを有しないことを示すこと。

提案手法

• 時間的グラフのスパarsity と動的挙動を定量化する新しい構造的パラメータ p(G) = Σ|E(Gi)| − |V| + 1 を提案する。
• p(G) に関して多項式サイズに縮小可能な Weighted k-arb NS-TEXP のカーネライゼーションアルゴリズムを設計する。
• すべてのスナップショットに共通する辺を収縮する還元ルール、不要なコンポONENTを削除するルール、頂点の重みを活用するルールを適用する。
• 辺の収縮、コンポONENTの統合、重みの集約を組み合わせて、解の同値性を保ちながらインスタンスを簡略化する。
• 接続成分が存在する場合としない場合の両方の下位グラフに対応するようにカーネライゼーションを適応する。
• カーネライゼーション後に、2^O(p) · (nL)^O(1) 時間で動作する固定パラメータ可 tractable アルゴリズムを確立する。

実験結果

リサーチクエスチョン

• RQ1 標準的なパラメータ n, L, k, γ に対して、NS-TEXP および k-arb NS-TEXP に多項式カーネルが得られるか。
• RQ2 どの時間的グラフの構造的パラメータが探索問題の有効なカーネライゼーションを可能にするか。
• RQ3 新しいパラメータ p(G) は、より一般的な Weighted k-arb NS-TEXP 問題に対する多項式カーネライゼーションを可能にするか。
• RQ4 カーネライゼーションフレームワークは、厳密時間的探索（TEXP）の変種に対応可能か。
• RQ5 パラメータ p(G) は、動的設定における古典的グラフパラメータとどのように関係するか。

主な発見

• NS-TEXP および k-arb NS-TEXP は、NP ⊆ coNP/poly が成り立たない限り、標準的パラメータ n, L, k, γ に対して多項式カーネルを有しない。
• 同じ仮定のもとで、L+k, L+γ, k+γ の組み合わせパラメータに対しても多項式カーネルは存在しない。
• 提案されたパラメータ p(G) = Σ|E(Gi)| − |V| + 1 は、時間的グラフの動的スパarsity を捉え、多項式カーネライゼーションを可能にする。
• p(G) をパラメータとする Weighted k-arb NS-TEXP 問題に対して、サイズ O(p^4) の多項式カーネルが構築された。
• Weighted k-arb NS-TEXP 問題に対する固定パラメータ可 tractable アルゴリズムは、2^O(p) · (nL)^O(1) 時間で動作する。ここで p = p(G) である。
• 同様のパラメータ化のもとで、簡略化された還元ルールを用いて NS-TEXP に対して線形サイズのカーネルが得られる。