English
Related papers

Related papers: Tight (Double) Exponential Bounds for Identificati…

200 papers

We show, assuming the (randomized) Gap Exponential Time Hypothesis (Gap-ETH), that the following tasks cannot be done in $T(k) \cdot N^{o(k)}$-time for any function $T$ where $N$ denote the input size: - $\left(1 - \frac{1}{e} +…

Computational Complexity · Computer Science 2019-10-28 Pasin Manurangsi

In the Set Cover problem, the input is a ground set of $n$ elements and a collection of $m$ sets, and the goal is to find the smallest sub-collection of sets whose union is the entire ground set. The fastest algorithm known runs in time…

Data Structures and Algorithms · Computer Science 2019-01-18 Robert Krauthgamer , Ohad Trabelsi

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

Cutwidth is a widely studied parameter that quantifies how well a graph can be decomposed along small edge-cuts. It complements pathwidth, which captures decomposition by small vertex separators, and it is well-known that cutwidth…

Data Structures and Algorithms · Computer Science 2025-02-25 Narek Bojikian , Vera Chekan , Stefan Kratsch

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given…

Discrete Mathematics · Computer Science 2011-07-11 Rémy Belmonte , Martin Vatshelle

We study the Steiner Tree problem on the intersection graph of most natural families of geometric objects, e.g., disks, squares, polygons, etc. Given a set of $n$ objects in the plane and a subset $T$ of $t$ terminal objects, the task is to…

Computational Geometry · Computer Science 2025-11-11 Sujoy Bhore , Baris Can Esmer , Daniel Marx , Karol Wegrzycki

We revisit the minimum dominating set problem on graphs with arboricity bounded by $\alpha$. Bansal and Umboh [BU17] gave an $O(\alpha)$-approximation LP rounding algorithm, which also translates into a near-linear time algorithm using…

Data Structures and Algorithms · Computer Science 2021-08-11 Adir Morgan , Shay Solomon , Nicole Wein

A semitotal dominating set of a graph $G$ with no isolated vertex is a dominating set $D$ of $G$ such that every vertex in $D$ is within distance two of another vertex in $D$. The minimum size $\gamma_{t2}(G)$ of a semitotal dominating set…

Computational Complexity · Computer Science 2018-10-17 Esther Galby , Andrea Munaro , Bernard Ries

We study parameterized and approximation algorithms for a variant of Set Cover, where the universe of elements to be covered consists of points in the plane and the sets with which the points should be covered are segments. We call this…

Computational Geometry · Computer Science 2024-02-27 Katarzyna Kowalska , Michał Pilipczuk

Treedepth is a central parameter to algorithmic graph theory. The current state-of-the-art in computing and approximating treedepth consists of a $2^{O(k^2)} n$-time exact algorithm and a polynomial-time $O(\text{OPT} \log^{3/2}…

Computational Complexity · Computer Science 2025-07-21 Édouard Bonnet , Daniel Neuen , Marek Sokołowski

We prove that there is a randomized polynomial-time algorithm that given an edge-weighted graph $G$ excluding a fixed-minor $Q$ on $n$ vertices and an accuracy parameter $\varepsilon>0$, constructs an edge-weighted graph~$H$ and an…

Data Structures and Algorithms · Computer Science 2023-04-17 Vincent Cohen-Addad , Hung Le , Marcin Pilipczuk , Michał Pilipczuk

The VertexCover problem is proven to be computationally hard in different ways: It is NP-complete to find an optimal solution and even NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on…

Data Structures and Algorithms · Computer Science 2020-02-20 Thomas Bläsius , Philipp Fischbeck , Tobias Friedrich , Maximilian Katzmann

We consider the Minimum Coverage Kernel problem: given a set $B$ of $d$-dimensional boxes, find a subset of $B$ of minimum size covering the same region as $B$. This problem is $\mathsf{NP}$-hard, but as for many $\mathsf{NP}$-hard problems…

Computational Geometry · Computer Science 2018-05-17 Jérémy Barbay , Pablo Pérez-Lantero , Javiel Rojas-Ledesma

We give an analog of the Myhill-Nerode methods from formal language theory for hypergraphs and use it to derive the following results for two NP-hard hypergraph problems: * We provide an algorithm for testing whether a hypergraph has…

Discrete Mathematics · Computer Science 2016-01-12 René van Bevern , Rodney G. Downey , Michael R. Fellows , Serge Gaspers , Frances A. Rosamond

A set $D\subseteq V$ of a graph $G=(V,E)$ is called a restrained dominating set of $G$ if every vertex not in $D$ is adjacent to a vertex in $D$ and to a vertex in $V \setminus D$. The \textsc{Minimum Restrained Domination} problem is to…

Discrete Mathematics · Computer Science 2016-06-09 Arti Pandey , B. S. Panda

Partial vertex cover and partial dominating set are two well-investigated optimization problems. While they are $\rm W[1]$-hard on general graphs, they have been shown to be fixed-parameter tractable on many sparse graph classes, including…

Data Structures and Algorithms · Computer Science 2025-07-01 Jakub Balabán , Daniel Mock , Peter Rossmanith

One way to state the Load Coloring Problem (LCP) is as follows. Let $G=(V,E)$ be graph and let $f:V\rightarrow \{{\rm red}, {\rm blue}\}$ be a 2-coloring. An edge $e\in E$ is called red (blue) if both end-vertices of $e$ are red (blue). For…

Data Structures and Algorithms · Computer Science 2014-04-01 Gregory Gutin , Mark Jones

We revisit the complexity of the classical $k$-Coloring problem parameterized by clique-width. This is a very well-studied problem that becomes highly intractable when the number of colors $k$ is large. However, much less is known on its…

Computational Complexity · Computer Science 2018-04-24 Michael Lampis

We show that Set Cover on instances with $N$ elements cannot be approximated within $(1-\gamma)\ln N$-factor in time exp($N^{\gamma-\delta})$, for any $0 < \gamma < 1$ and any $\delta > 0$, assuming the Exponential Time Hypothesis. This…

Data Structures and Algorithms · Computer Science 2020-08-13 Marek Cygan , Magnús M. Halldórsson , Guy Kortsarz

The \emph{Dominating $H$-Pattern} problem generalizes the classical $k$-Dominating Set problem: for a fixed \emph{pattern} $H$ and a given graph $G$, the goal is to find an induced subgraph $S$ of $G$ such that (1) $S$ is isomorphic to $H$,…

Data Structures and Algorithms · Computer Science 2025-10-15 Jonathan Dransfeld , Marvin Künnemann , Mirza Redzic , Marcus Wunderlich