二部グラフの頂点被覆をすべて妨害する問題の計算量
Vertex Cover Interdiction in Bipartite Graphs
この論文をやさしく読む
ひとことで言うと
グラフの全辺を覆う頂点集合がいくつもあるとき、それらすべてに当たる少数の頂点を選ぶ問題です。二部グラフで、対象とする被覆の大きさによって解きやすさがどう変わるかを調べます。
何に役立つ?
この種の組合せ最適化に対し、どの条件なら効率的なアルゴリズムを期待できるかを整理します。通常の最小頂点被覆が簡単でも、それら全体への阻止問題は難しいことを示します。
この研究の面白いところ
最小の被覆だけを対象にすると多項式時間ですが、少し大きい被覆まで含めると別の難しさが現れます。最小値との差をパラメータにする場合と、k自体を使う場合でも分類が異なります。
どこまで分かった?
計算量に関する理論結果です。XPは各固定パラメータで多項式時間という意味であり、固定パラメータ容易と同じ保証ではありません。実装の実行時間や実データ評価は要旨にありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
頂点被覆阻止問題では、無向グラフG=(V,E)、2つの整数t,k、頂点部分集合B⊆Vが与えられる。求めるのは、|X|≤tを満たし、Gの大きさが高々kのすべての頂点被覆と交わる集合X⊆Bである。最近、GrüneとWulfは、この問題がΣ₂ᵖ完全であることを証明した。しかし、その帰着は頂点被覆問題のNP完全性に依存していた。二部グラフでは頂点被覆問題を多項式時間で解けるため、入力を二部グラフに制限した頂点被覆阻止問題の計算量は、これまで分かっていなかった。 本研究の主要結果の1つとして、二部グラフでも頂点被覆阻止問題がNP完全であることを示す。一方、kを最小頂点被覆の大きさに制限し、最小頂点被覆すべてと交わることだけを要求する場合には、二部グラフでこの問題を多項式時間で解けることを示す。 これを動機として、kと最小頂点被覆の大きさとの差をパラメータとし、二部グラフ上の頂点被覆阻止問題のパラメータ化計算量を調べる。このパラメータに関して問題はW[1]困難だが、パラメータが定数なら多項式時間、すなわちXP時間で解けることを示す。また、k自体をパラメータとすると固定パラメータ容易であることも示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21(UTC)
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In the vertex cover interdiction problem, we are given an undirected graph $G=(V,E)$, two integers $t$ and $k$ and a vertex subset $B\subseteq V$, and we are asked to find a set $X \subseteq B$ with $|X|\leq t$ such that $X$ hits (i.e., intersects) all the vertex covers of $G$ of size at most $k$. Recently, Grüne and Wulf proved that the problem is $\Sigma_2^p$-complete. However, their reduction relied on the fact that the vertex cover problem is NP-complete. This, in turn, means that we do not know the complexity status of the vertex cover interdiction problem when the input graph is restricted to a bipartite graph since the vertex cover problem can be solved in polynomial time for bipartite graphs. One of our main results shows that the vertex cover interdiction problem is NP-complete for bipartite graphs. In contrast, when $k$ is restricted to the minimum vertex cover size, i.e., we are only required to hit all the minimum vertex covers, we show that the vertex cover interdiction problem can be solved in polynomial time for bipartite graphs. This motivates us to study the parameterized complexity of the vertex cover interdiction problem for bipartite graphs when the difference of $k$ and the minimum vertex cover size is taken as a parameter. With this parameter, we show that the problem is $\mathrm{W}[1]$-hard, but can be solved in polynomial time when the parameter is constant (i.e., in XP time). We also show that the problem is fixed-parameter tractable when parameterized by $k$.
著者のコメント
ISAAC 2026
arXiv ID: 2609.24624 / 要約の誤りについて