English
Related papers

Related papers: A Turing Kernelization Dichotomy for Structural Pa…

200 papers

Meta-kernelization theorems are general results that provide polynomial kernels for large classes of parameterized problems. The known meta-kernelization theorems, in particular the results of Bodlaender et al. (FOCS'09) and of Fomin et al.…

Data Structures and Algorithms · Computer Science 2013-04-22 Robert Ganian , Friedrich Slivovsky , Stefan Szeider

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

For a fixed graph $H$, the $H$-free-editing problem asks whether we can modify a given graph $G$ by adding or deleting at most $k$ edges such that the resulting graph does not contain $H$ as an induced subgraph. The problem is known to be…

Combinatorics · Mathematics 2019-11-12 Eduard Eiben , William Lochet , Saket Saurabh

The maximum stable set problem is NP-hard, even when restricted to triangle-free graphs. In particular, one cannot expect a polynomial time algorithm deciding if a bull-free graph has a stable set of size $k$, when $k$ is part of the…

Discrete Mathematics · Computer Science 2015-11-20 Stéphan Thomassé , Nicolas Trotignon , Kristina Vusković

We study the parameterized and kernelization complexity of the s-Club Cluster Edge Deletion problem, a distance-bounded generalization of Cluster Edge Deletion. Given a graph G = (V, E) and integers k and s, the goal is to delete at most k…

Discrete Mathematics · Computer Science 2025-11-04 Ajinkya Gaikwad

We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on…

Data Structures and Algorithms · Computer Science 2021-09-15 Édouard Bonnet , Eun Jung Kim , Amadeus Reinald , Stéphan Thomassé , Rémi Watrigant

Motivated by the role of triadic closures in social networks, and the importance of finding a maximum subgraph avoiding a fixed pattern, we introduce and initiate the parameterized study of the Strong F-closure problem, where F is a fixed…

Data Structures and Algorithms · Computer Science 2018-03-01 Petr A. Golovach , Pinar Heggernes , Athanasios L. Konstantinidis , Paloma T. Lima , Charis Papadopoulos

Given a graph $G = (V,E)$, a threshold function $t~ :~ V \rightarrow \mathbb{N}$ and an integer $k$, we study the Harmless Set problem, where the goal is to find a subset of vertices $S \subseteq V$ of size at least $k$ such that every…

Computational Complexity · Computer Science 2022-01-27 Ajinkya Gaikwad , Soumen Maity

An $H$-free editing problem asks whether we can edit at most $k$ edges to make a graph contain no induced copy of the fixed graph $H$. We obtain a polynomial kernel for this problem when $H$ is a diamond. The incompressibility dichotomy for…

Data Structures and Algorithms · Computer Science 2018-05-04 Yixin Cao , Ashutosh Rai , R. B. Sandeep , Junjie Ye

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…

In this paper we consider kernelization for problems on d-degenerate graphs, i.e. graphs such that any subgraph contains a vertex of degree at most $d$. This graph class generalizes many classes of graphs for which effective kernelization…

Data Structures and Algorithms · Computer Science 2013-06-25 Marek Cygan , Fabrizio Grandoni , Danny Hermelin

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

The line graph of a graph $G$ is the graph $L(G)$ whose vertex set is the edge set of $G$ and there is an edge between $e,f\in E(G)$ if $e$ and $f$ share an endpoint in $G$. A graph is called line graph if it is a line graph of some graph.…

Data Structures and Algorithms · Computer Science 2020-06-30 Eduard Eiben , William Lochet

A graph $G$ is called a \emph{block graph} if each maximal $2$-connected component of $G$ is a clique. In this paper we study the Block Graph Vertex Deletion from the perspective of fixed parameter tractable (FPT) and kernelization…

Data Structures and Algorithms · Computer Science 2015-10-29 Akanksha Agrawal , Sudeshna Kolay , Daniel Lokshtanov , Saket Saurabh

Vertex integrity is a graph parameter that measures the connectivity of a graph. Informally, its meaning is that a graph has small vertex integrity if it has a small separator whose removal disconnects the graph into connected components…

Data Structures and Algorithms · Computer Science 2024-04-29 Tesshu Hanaka , Michael Lampis , Manolis Vasilakis , Kanae Yoshiwatari

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

Given an input graph G and an integer k, the parameterized K_4-minor cover problem asks whether there is a set S of at most k vertices whose deletion results in a K_4-minor-free graph, or equivalently in a graph of treewidth at most 2. This…

Data Structures and Algorithms · Computer Science 2012-04-09 Eun Jung Kim , Christophe Paul , Geevarghese Philip

A knot in a directed graph $G$ is a strongly connected subgraph $Q$ of $G$ with at least two vertices, such that no vertex in $V(Q)$ is an in-neighbor of a vertex in $V(G)\setminus V(Q)$. Knots are important graph structures, because they…

Data Structures and Algorithms · Computer Science 2019-10-07 Stéphane Bessy , Marin Bougeret , Alan D. A. Carneiro , Fábio Protti , Uéverton S. Souza

The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam (STOC 2008) allows us to exclude the existence of polynomial kernels for a range of problems under reasonable complexity-theoretical assumptions. However, there are…

Computational Complexity · Computer Science 2015-03-19 Danny Hermelin , Stefan Kratsch , Karolina Sołtys , Magnus Wahlström , Xi Wu

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