構造を持つ有向グラフの巡回除去を2倍以内で近似する
A $2$-Approximation for Directed Feedback Vertex Set in Locally Semicomplete and Quasi-Transitive Digraphs
この論文をやさしく読む
ひとことで言うと
矢印をたどって同じ場所へ戻る閉路をなくすために、どの頂点を除くかを、最適解の2倍以内のコストで選ぶ方法です。
何に役立つ？
特定の構造を持つ有向グラフで、厳密な最小化の代わりに保証付きで巡回を取り除くアルゴリズムの基盤になります。
この研究の面白いところ
トーナメントで知られた2倍近似を、疎なグラフも含む2クラスへ広げています。準推移的グラフでは、従来の9/4という係数を2へ改善しています。
どこまで分かった？
対象は局所半完全または準推移的な有向グラフで、一般の有向グラフすべてではありません。手法はランダム化アルゴリズムで、係数2の最適性は一意ゲーム予想を仮定しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有向グラフの有向フィードバック頂点集合とは、取り除くとすべての有向閉路がなくなる頂点の集合である。有向フィードバック頂点集合（DFVS）問題は、その頂点数または重みの総和が最小となる集合を求める。一般のDFVSには、一意ゲーム予想の下では定数倍近似が存在しないが、トーナメントではLokshtanovら［SODA 2020］によるランダム化2倍近似がある。本研究では、この保証を、疎な有向グラフも含む2つのより広い構造的グラフクラスへ拡張する。 第一の主要な結果は、局所半完全有向グラフ（LSD）上の重み付きDFVSに対する、ランダム化多項式時間の2倍近似である。このクラスは半完全有向グラフとトーナメントを真に一般化する。著者らの知る限り、重みなしの場合を含めても、LSD上のDFVSに対する初の非自明な定数倍近似である。 第二の結果は、準推移的有向グラフ上の重み付きDFVSに対するランダム化多項式時間の2倍近似であり、GhorbaniとMnich［ICALP 2026］による近年の決定論的9/4近似を改善する。このアルゴリズムは、本研究の合成の枠組みを単純に再帰適用することで得られる。トーナメントはLSDと準推移的有向グラフの両方の部分クラスであるため、近似係数2は一意ゲーム予想の下で最適である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A \emph{directed feedback vertex set} of a digraph is a set of vertices whose removal destroys all directed cycles. The \textsc{Directed Feedback Vertex Set} (\textsc{DFVS}) problem asks for such a set of minimum cardinality or minimum total weight. Although general \textsc{DFVS} admits no constant-factor approximation under the {Unique Games Conjecture}, tournaments admit a randomized factor-$2$ approximation due to Lokshtanov et al. [SODA'20]. We extend this guarantee to two broader classes of structured digraphs, both of which also contain sparse digraphs. Our first and main result is a randomized polynomial-time factor-$2$ approximation for weighted \textsc{DFVS} on \emph{locally semicomplete digraphs} (\textsf{LSD}s), a class that strictly generalizes semicomplete digraphs and tournaments. To the best of our knowledge, this is the first non-trivial constant-factor approximation for \textsc{DFVS} on \textsf{LSD}s, even in the unweighted setting. Our second result is a randomized polynomial-time factor-$2$ approximation for weighted \textsc{DFVS} on \emph{quasi-transitive digraphs}, improving the recent deterministic $9/4$-approximation of Ghorbani and Mnich~[ICALP'26]. The algorithm follows from a simple recursive application of our composition framework. The factor $2$ is optimal under the {Unique Games Conjecture}, since tournaments are subclass of \textsf{LSD}s as well as quasi-transitive digraphs.
著者のコメント
17 pages
arXiv ID: 2609.19129 ／ 要約の誤りについて