Fixed-Parameter Tractability of Hedge Cut

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Fomin, Fedor V., Golovach, Petr A., Korhonen, Tuukka, Lokshtanov, Daniel, Saurabh, Saket
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866909360098115584
author Fomin, Fedor V.
Golovach, Petr A.
Korhonen, Tuukka
Lokshtanov, Daniel
Saurabh, Saket
author_facet Fomin, Fedor V.
Golovach, Petr A.
Korhonen, Tuukka
Lokshtanov, Daniel
Saurabh, Saket
contents In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that Hedge Cut can be solved in quasipolynomial-time, raising the hope for a polynomial time algorithm. Jaffke, Lima, Masarík, Pilipczuk, and Souza [SODA 2023] complemented this result by showing that assuming the Exponential Time Hypothesis (ETH), no polynomial-time algorithm exists. In this paper, we show that Hedge Cut is fixed-parameter tractable parameterized by the solution size $\ell$ by providing an algorithm with running time $\binom{O(\log n) + \ell}{\ell} \cdot m^{O(1)}$, which can be upper bounded by $c^{\ell} \cdot (n+m)^{O(1)}$ for any constant $c>1$. This running time captures at the same time the fact that the problem is quasipolynomial-time solvable, and that it is fixed-parameter tractable parameterized by $\ell$. We further generalize this algorithm to an algorithm with running time $\binom{O(k \log n) + \ell}{\ell} \cdot n^{O(k)} \cdot m^{O(1)}$ for Hedge $k$-Cut.
format Preprint
id arxiv_https___arxiv_org_abs_2410_17641
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Fixed-Parameter Tractability of Hedge Cut
Fomin, Fedor V.
Golovach, Petr A.
Korhonen, Tuukka
Lokshtanov, Daniel
Saurabh, Saket
Data Structures and Algorithms
In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that Hedge Cut can be solved in quasipolynomial-time, raising the hope for a polynomial time algorithm. Jaffke, Lima, Masarík, Pilipczuk, and Souza [SODA 2023] complemented this result by showing that assuming the Exponential Time Hypothesis (ETH), no polynomial-time algorithm exists. In this paper, we show that Hedge Cut is fixed-parameter tractable parameterized by the solution size $\ell$ by providing an algorithm with running time $\binom{O(\log n) + \ell}{\ell} \cdot m^{O(1)}$, which can be upper bounded by $c^{\ell} \cdot (n+m)^{O(1)}$ for any constant $c>1$. This running time captures at the same time the fact that the problem is quasipolynomial-time solvable, and that it is fixed-parameter tractable parameterized by $\ell$. We further generalize this algorithm to an algorithm with running time $\binom{O(k \log n) + \ell}{\ell} \cdot n^{O(k)} \cdot m^{O(1)}$ for Hedge $k$-Cut.
title Fixed-Parameter Tractability of Hedge Cut
topic Data Structures and Algorithms
url https://arxiv.org/abs/2410.17641