English
Related papers

Related papers: Essentially Tight Kernels for (Weakly) Closed Grap…

200 papers

Kernelization algorithms, usually a preprocessing step before other more traditional algorithms, are very special in the sense that they return (reduced) instances, instead of final results. This characteristic excludes the freedom of…

Data Structures and Algorithms · Computer Science 2010-10-04 Yixin Cao , Jianer Chen

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

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

Graph separation and partitioning are fundamental problems that have been extensively studied both in theory and practice. The \textsc{$p$-Size Separator} problem, closely related to the \textsc{Balanced Separator} problem, is to check…

Data Structures and Algorithms · Computer Science 2017-08-08 Mingyu Xiao

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 an edge modification problem, we are asked to modify at most $k$ edges to a given graph to make the graph satisfy a certain property. Depending on the operations allowed, we have the completion problems and the edge deletion problems. A…

Data Structures and Algorithms · Computer Science 2021-04-30 Yixin Cao , Yuping Ke

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

Given a graph $G=(V,E)$, two vertices $s,t\in V$, and two integers $k,\ell$, the Short Secluded Path problem is to find a simple $s$-$t$-path with at most $k$ vertices and $\ell$ neighbors. We study the parameterized complexity of the…

Data Structures and Algorithms · Computer Science 2020-10-05 René van Bevern , Till Fluschnik , Oxana Yu. Tsidulko

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

The \textsc{$l$-Exact Component Order Connectivity} problem asks whether, given an input graph $G$ and an integer $k$, there exists a vertex subset $S\subseteq V(G)$ of size at most $k$ such that every connected component in $G - S$ has…

Data Structures and Algorithms · Computer Science 2026-05-20 Yuxi Liu , Mingyu Xiao

We study the parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is…

Data Structures and Algorithms · Computer Science 2011-10-11 Lukasz Kowalik , Marcin Pilipczuk , Karol Suchan

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

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 study the following two fixed-cardinality optimization problems (a maximization and a minimization variant). For a fixed $\alpha$ between zero and one we are given a graph and two numbers $k \in \mathbb{N}$ and $t \in \mathbb{Q}$. The…

Data Structures and Algorithms · Computer Science 2022-10-20 Tomohiro Koana , Christian Komusiewicz , André Nichterlein , Frank Sommer

The theoretical notions of graph classes with bounded expansion and that are nowhere dense are meant to capture structural sparsity of real world networks that can be used to design efficient algorithms. In the area of sparse graphs, the…

Data Structures and Algorithms · Computer Science 2018-11-20 Wojciech Nadara

The Connected Vertex Cover problem, where the goal is to compute a minimum set of vertices in a given graph which forms a vertex cover and induces a connected subgraph, is a fundamental combinatorial problem and has received extensive…

Data Structures and Algorithms · Computer Science 2020-04-30 Diptapriyo Majumdar , M. S. Ramanujan , Saket Saurabh

Enumerative kernelization is a recent and promising area sitting at the intersection of parameterized complexity and enumeration algorithms. Its study began with the paper of Creignou et al. [Theory Comput. Syst., 2017], and development in…

Data Structures and Algorithms · Computer Science 2025-09-11 Marin Bougeret , Guilherme C. M. Gomes , Vinicius F. dos Santos , Ignasi Sau

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

In the Maximum Minimal Vertex Cover (MMVC) problem, we are given a graph $G$ and a positive integer $k$, and the objective is to decide whether $G$ contains a minimal vertex cover of size at least $k$. Motivated by the kernelization of MMVC…

Data Structures and Algorithms · Computer Science 2021-12-20 Júlio Araújo , Marin Bougeret , Victor A. Campos , Ignasi Sau

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…