[論文レビュー] Multi-Budgeted Directed Cuts

Stefan Kratsch, Shaohua Li+3 more|arXiv (Cornell University)|Jan 1, 2019

Optimization and Search Problems被引用数 3

ひとこと要約

本稿では、各色に個別の予算が割り当てられた彩色された辺を有する多予算有向カット問題を導入する。最小カット、スケュー・マルチカット、有向フィードバックアーキスセットの3つの問題について、総予算kをパrameterとして固定パラメータ動的（FPT）アルゴリズムを提示する。そのために、フローに従うエッジ容量の増加に基づく新規なブランチング技法と、'重要な多予算セパレータ'の列挙を考案する。主な貢献は、これらのNP困難な変種が総予算パrameterに関して固定パラメータ動的であることを示したことであり、重み付きおよびチェーン-SAT変種に関する未解決の問題を解決する。

ABSTRACT

In this paper, we study multi-budgeted variants of the classic minimum cut problem and graph separation problems that turned out to be important in parameterized complexity: Skew Multicut and Directed Feedback Arc Set. In our generalization, we assign colors 1,2,...,l to some edges and give separate budgets k_1,k_2,...,k_l for colors 1,2,...,l. For every color i in {1,...,l}, let E_i be the set of edges of color i. The solution C for the multi-budgeted variant of a graph separation problem not only needs to satisfy the usual separation requirements (i.e., be a cut, a skew multicut, or a directed feedback arc set, respectively), but also needs to satisfy that |C cap E_i| <= k_i for every i in {1,...,l}. Contrary to the classic minimum cut problem, the multi-budgeted variant turns out to be NP-hard even for l = 2. We propose FPT algorithms parameterized by k=k_1 +...+ k_l for all three problems. To this end, we develop a branching procedure for the multi-budgeted minimum cut problem that measures the progress of the algorithm not by reducing k as usual, by but elevating the capacity of some edges and thus increasing the size of maximum source-to-sink flow. Using the fact that a similar strategy is used to enumerate all important separators of a given size, we merge this process with the flow-guided branching and show an FPT bound on the number of (appropriately defined) important multi-budgeted separators. This allows us to extend our algorithm to the Skew Multicut and Directed Feedback Arc Set problems. Furthermore, we show connections of the multi-budgeted variants with weighted variants of the directed cut problems and the Chain l-SAT problem, whose parameterized complexity remains an open problem. We show that these problems admit a bounded-in-parameter number of "maximally pushed" solutions (in a similar spirit as important separators are maximally pushed), giving somewhat weak evidence towards their tractability.

研究の動機と目的

• 重み付きおよび制約付き有向グラフ分離問題のパrameter化された複雑さを扱う。特に、重み付きstカットおよびChain ℓ-SATを含む。
• エッジが彩色され、各色に個別の予算が割り当てられる多予算有向カット問題を定義し、その研究を行う。
• 総予算kをパrameterとして固定パラメータ動的（FPT）アルゴリズムを、多予算最小カット、スケュー・マルチカット、有向フィードバックアーキスセットの3問題に開発する。
• 「最大に押し出された」解を導入することで、Chain ℓ-SAT や重み付きstカットといった未解決問題の tractability の理論的証拠を提供する。

提案手法

• 各色iが予算kiを有するグラフ分離問題の多予算変種を導入し、解が色iの高々ki本のエッジをカットする必要があることを定義する。
• kを減少させる代わりに、進捗を測るためにエッジ容量を増加させる、新規なブランチング手順を開発する。これにより、フローに従う探索が可能になる。
• フローに基づくアプローチを用いて「重要な多予算セパレータ」を定義・列挙し、その数が2^{O(k² log k)}で有界であることを示す。
• これらのセパレータの構造を活用して、スケュー・マルチカットおよび有向フィードバックアーキスセットへのアルゴリズムの拡張を行う。
• 多予算フレームワークを重み付き有向カットおよびChain ℓ-SATの重み付き変種と結びつけ、『最大に押し出された』解が有界であることを示す。

実験結果

リサーチクエスチョン

• RQ1 総予算kをパrameterとしてパrameter化した場合、多予算最小カット問題は固定パラメータ動的（FPT）であるか？
• RQ2 多予算最小カットに用いたFPTアプローチを、スケュー・マルチカットや有向フィードバックアーキスセットといったより複雑な問題に拡張できるか？
• RQ3 多予算設定における『最大に押し出された』解の数が有界であるという事実は、Chain ℓ-SAT や重み付きstカットの tractability の証拠となるか？
• RQ4 重み付きstカット問題およびChain ℓ-SATの正確なパrameter化された複雑さは何か？また、これらは多予算フレームワークに還元可能か？

主な発見

• ℓ=2に対しても、多予算有向カット問題はNP困難である。これは、多予算変種が古典的最小カットよりも厳密に難しいことを示している。
• 総予算kをパrameterとして、多予算最小カットのFPTアルゴリズムを開発し、実行時間は2^{O(k² log k)}に多項式因子を乗じたもので有界である。
• 重要な多予算セパレータの数は2^{O(k² log k)}で有界であり、これはカット問題におけるFPTアルゴリズムの実現を可能にする。
• このフレームワークはスケュー・マルチカットおよび有向フィードバックアーキスセットへ拡張可能であり、これら問題に対する総予算パrameterに関して初めてのFPTアルゴリズムを提供する。
• 『最大に押し出された』解の数が有界であることを示すことで、Chain ℓ-SATおよび重み付きstカットの tractability に対する弱いが構造的な証拠を提供する。