English
Related papers

Related papers: Twin-width and polynomial kernels

200 papers

We give the first linear kernels for the (Connected) Dominating Set problems on H-topological minor free graphs. We prove the existence of polynomial time algorithms that, for a given H-topological-minor-free graph G and a positive integer…

Data Structures and Algorithms · Computer Science 2017-10-26 Fedor V. Fomin , Daniel Lokshtanov , Saket Saurabh , Dimitrios M. Thilikos

We show that the k-Dominating Set problem is fixed parameter tractable (FPT) and has a polynomial kernel for any class of graphs that exclude K_{i,j} as a subgraph, for any fixed i, j >= 1. This strictly includes every class of graphs for…

Data Structures and Algorithms · Computer Science 2009-05-15 Geevarghese Philip , Venkatesh Raman , Somnath Sikdar

The Treewidth-2 Vertex Deletion problem asks whether a set of at most $t$ vertices can be removed from a graph, such that the resulting graph has treewidth at most two. A graph has treewidth at most two if and only if it does not contain a…

Data Structures and Algorithms · Computer Science 2022-03-21 Jeroen L. G. Schols

Assuming the AND-distillation conjecture, the Pathwidth problem of determining whether a given graph G has pathwidth at most k admits no polynomial kernelization with respect to k. The present work studies the existence of polynomial…

Data Structures and Algorithms · Computer Science 2015-03-20 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

For a set of graphs $\mathcal{H}$, the \textsc{$\mathcal{H}$-free Edge Deletion} problem asks to find whether there exist at most $k$ edges in the input graph whose deletion results in a graph without any induced copy of $H\in\mathcal{H}$.…

Data Structures and Algorithms · Computer Science 2014-11-19 N. R. Aravind , R. B. Sandeep , Naveen Sivadasan

We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial…

Data Structures and Algorithms · Computer Science 2013-09-27 Fedor V. Fomin , Bart M. P. Jansen , Michal Pilipczuk

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has…

Data Structures and Algorithms · Computer Science 2020-07-10 Guilherme C. M. Gomes , Vinicius F. dos Santos , Murilo V. G. da Silva , Jayme L. Szwarcfiter

The Vertex Cover problem plays an essential role in the study of polynomial kernelization in parameterized complexity, i.e., the study of provable and efficient preprocessing for NP-hard problems. Motivated by the great variety of positive…

Computational Complexity · Computer Science 2019-05-10 Eva-Maria C. Hols , Stefan Kratsch , Astrid Pieterse

In this paper, we study the parameterized complexity of a generalized domination problem called the [${\sigma}, {\rho}$] Dominating Set problem. This problem generalizes a large number of problems including the Minimum Dominating Set…

Computational Complexity · Computer Science 2022-11-10 Pradeesha Ashok , Rajath Rao , Avi Tomar

We study the kernelization complexity of structural parameterizations of the Vertex Cover problem. Here, the goal is to find a polynomial-time preprocessing algorithm that can reduce any instance $(G,k)$ of the Vertex Cover problem to an…

Data Structures and Algorithms · Computer Science 2023-07-25 Marin Bougeret , Bart M. P. Jansen , Ignasi Sau

In the Planar Disjoint Paths problem, one is given an undirected planar graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to find $k$ pairwise vertex-disjoint paths such that the $i$-th path connects $s_i$ to $t_i$. We study…

Data Structures and Algorithms · Computer Science 2023-07-14 Michał Włodarczyk , Meirav Zehavi

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

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

Perhaps the best known kernelization result is the kernel of size 335k for the Planar Dominating Set problem by Alber et al. [JACM 2004], later improved to 67k by Chen et al. [SICOMP 2007]. This result means roughly, that the problem of…

Data Structures and Algorithms · Computer Science 2012-07-20 Lukasz Kowalik

A total dominating set of a graph $G=(V,E)$ is a subset $D \subseteq V$ such that every vertex in $V$ is adjacent to some vertex in $D$. Finding a total dominating set of minimum size is NP-hard on planar graphs and W[2]-complete on general…

Data Structures and Algorithms · Computer Science 2023-06-22 Valentin Garnero , Ignasi Sau

A set $S\subseteq V$ of a graph $G=(V,E)$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Dominating Set is the problem of deciding, given a graph $G$ and an integer $k\geq 1$, if $G$ has a dominating set of size…

Combinatorics · Mathematics 2023-04-20 Valentin Bouquet , François Delbot , Christophe Picouleau , Stéphane Rovedakis

A complete graph is the graph in which every two vertices are adjacent. For a graph $G=(V,E)$, the complete width of $G$ is the minimum $k$ such that there exist $k$ independent sets $\mathtt{N}_i\subseteq V$, $1\le i\le k$, such that the…

Discrete Mathematics · Computer Science 2016-12-28 Van Bang Le , Sheng-Lung Peng

Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching for integers d>2 is the problem of finding a matching of size…

Data Structures and Algorithms · Computer Science 2018-12-10 Holger Dell , Dániel Marx

We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence…

Data Structures and Algorithms · Computer Science 2021-02-15 Édouard Bonnet , Colin Geniet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant
‹ Prev 1 2 3 10 Next ›