English
Related papers

Related papers: Hitting forbidden minors: Approximation and Kernel…

200 papers

Given a graph G = (V,E) and an integer k, an edge modification problem for a graph property P consists in deciding whether there exists a set of edges F of size at most k such that the graph H = (V,E \vartriangle F) satisfies the property…

Data Structures and Algorithms · Computer Science 2015-05-19 Sylvain Guillemot , Christophe Paul , Anthony Perez

Graph-modification problems, where we modify a graph by adding or deleting vertices or edges or contracting edges to obtain a graph in a {\it simpler} class, is a well-studied optimization problem in all algorithmic paradigms including…

Data Structures and Algorithms · Computer Science 2021-12-24 Ashwin Jacob , Jari J. H. de Kroon , Diptapriyo Majumdar , Venkatesh Raman

In a parameterized problem, every instance I comes with a positive integer k. The problem is said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the instance I to a polynomial in k, while preserving the…

Discrete Mathematics · Computer Science 2013-09-26 Hans L. Bodlaender , Fedor V. Fomin , Daniel Lokshtanov , Eelko Penninkx , Saket Saurabh , Dimitrios M. Thilikos

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier…

Data Structures and Algorithms · Computer Science 2012-07-16 Alexander Langer , Felix Reidl , Peter Rossmanith , Somnath Sikdar

We prove that for every positive integer $r$ and for every graph class $\mathcal G$ of bounded expansion, the $r$-Dominating Set problem admits a linear kernel on graphs from $\mathcal G$. Moreover, when $\mathcal G$ is only assumed to be…

Let $\Pi$ be a hereditary graph class. The problem of deletion to $\Pi$, takes as input a graph $G$ and asks for a minimum number (or a fixed integer $k$) of vertices to be deleted from $G$ so that the resulting graph belongs to $\Pi$. This…

Data Structures and Algorithms · Computer Science 2023-04-14 Ashwin Jacob , Diptapriyo Majumdar , Venkatesh Raman

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

In the {\sc Hitting Set} problem, we are given a collection $\cal F$ of subsets of a ground set $V$ and an integer $p$, and asked whether $V$ has a $p$-element subset that intersects each set in $\cal F$. We consider two parameterizations…

Data Structures and Algorithms · Computer Science 2011-07-11 Gregory Gutin , Mark Jones , Anders Yeo

A stable cutset in a graph $G$ is a set $S\subseteq V(G)$ such that vertices of $S$ are pairwise non-adjacent and such that $G-S$ is disconnected, i.e., it is both stable (or independent) set and a cutset (or separator). Unlike general…

Data Structures and Algorithms · Computer Science 2024-07-03 Stefan Kratsch , Van Bang Le

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

Given a graph $G=(V,E)$, a set $\mathcal{F}$ of forbidden subgraphs, we study $\mathcal{F}$-Free Edge Deletion, where the goal is to remove minimum number of edges such that the resulting graph does not contain any $F\in \mathcal{F}$ as a…

Data Structures and Algorithms · Computer Science 2021-02-12 Ajinkya Gaikwad , Soumen Maity

During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying…

Data Structures and Algorithms · Computer Science 2016-10-20 Valentin Garnero , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos

Kernelization---a mathematical key concept for provably effective polynomial-time preprocessing of NP-hard problems---plays a central role in parameterized complexity and has triggered an extensive line of research. This is in part due to a…

Computational Complexity · Computer Science 2017-08-28 Henning Fernau , Till Fluschnik , Danny Hermelin , Andreas Krebs , Hendrik Molter , Rolf Niedermeier

A graph is $c$-closed when every pair of nonadjacent vertices has at most $c-1$ common neighbors. In $c$-Closed Vertex Deletion, the input is a graph $G$ and an integer $k$ and we ask whether $G$ can be transformed into a $c$-closed graph…

Data Structures and Algorithms · Computer Science 2025-11-18 Lisa Lehner , Christian Komusiewicz , Luca Pascal Staus

A kernelization for a parameterized decision problem $\mathcal{Q}$ is a polynomial-time preprocessing algorithm that reduces any parameterized instance $(x,k)$ into an instance $(x',k')$ whose size is bounded by a function of $k$ alone and…

Data Structures and Algorithms · Computer Science 2023-10-09 Bart M. P. Jansen , Bart van der Steenhoven

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

Kernelization studies polynomial-time preprocessing algorithms. Over the last 20 years, the most celebrated positive results of the field have been linear kernels for classical NP-hard graph problems on sparse graph classes. In this paper,…

Data Structures and Algorithms · Computer Science 2025-11-06 Christian Bertram , Deborah Haun , Mads Vestergaard Jensen , Tuukka Korhonen

The technique of kernelization consists in extracting, from an instance of a problem, an essentially equivalent instance whose size is bounded in a parameter k. Besides being the basis for efficient param-eterized algorithms, this method…

Artificial Intelligence · Computer Science 2017-02-09 Clément Carbonnel , Emmanuel Hébrard

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 re-visit the complexity of kernelization for the $d$-Hitting Set problem. This is a classic problem in Parameterized Complexity, which encompasses several other of the most well-studied problems in this field, such as Vertex Cover,…

Data Structures and Algorithms · Computer Science 2023-08-14 Fedor V. Fomin , Tien-Nam Le , Daniel Lokshtanov , Saket Saurabh , Stephan Thomasse , Meirav Zehavi