English
Related papers

Related papers: Preprocessing Subgraph and Minor Problems: When Do…

200 papers

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 revisit the topic of polynomial kernels for Vertex Cover relative to structural parameters. Our starting point is a recent paper due to Fomin and Str{\o}mme [WG 2016] who gave a kernel with $\mathcal{O}(|X|^{12})$ vertices when $X$ is a…

Data Structures and Algorithms · Computer Science 2017-11-15 Eva-Maria C. Hols , Stefan Kratsch

For many problems, the important instances from practice possess certain structure that one should reflect in the design of specific algorithms. As data reduction is an important and inextricable part of today's computation, we employ one…

Data Structures and Algorithms · Computer Science 2022-07-05 Václav Blažej , Pratibha Choudhary , Dušan Knop , Šimon Schierreich , Ondřej Suchý , Tomáš Valla

For a fixed simple digraph $H$ without isolated vertices, we consider the problem of deleting arcs from a given tournament to get a digraph which does not contain $H$ as an immersion. We prove that for every $H$, this problem admits a…

Data Structures and Algorithms · Computer Science 2022-08-17 Łukasz Bożyk , Michał Pilipczuk

In the Proper Interval Vertex Deletion problem (PIVD for short), we are given a graph $G$ and an integer parameter $k>0$, and the question is whether there are at most $k$ vertices in $G$ whose removal results in a proper interval graph. It…

Data Structures and Algorithms · Computer Science 2016-11-28 Wenjun Li , Yongjie Yang , Jianer Chen , Jianxin Wang

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

A pseudoforest is a graph whose connected components have at most one cycle. Let X be a pseudoforest modulator of graph G, i. e. a vertex subset of G such that G-X is a pseudoforest. We show that Vertex Cover admits a polynomial kernel…

Data Structures and Algorithms · Computer Science 2016-03-03 Fedor V. Fomin , Torstein J. F. Strømme

An important result in the study of polynomial-time preprocessing shows that there is an algorithm which given an instance (G,k) of Vertex Cover outputs an equivalent instance (G',k') in polynomial time with the guarantee that G' has at…

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

We study the CONNECTED \eta-TREEDEPTH DELETION problem where the input instance is an undireted graph G = (V, E) and an integer k. The objective is to decide if G has a set S \subseteq V(G) of at most k vertices such that G - S has…

Data Structures and Algorithms · Computer Science 2022-12-02 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

We study the kernel complexity of constraint satisfaction problems over a finite domain, parameterized by the number of variables, whose constraint language consists of two relations: the non-equality relation and an additional…

Computational Complexity · Computer Science 2026-04-24 Ishay Haviv

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 CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity…

Data Structures and Algorithms · Computer Science 2018-10-08 R. Krithika , Diptapriyo Majumdar , Venkatesh Raman

Integer linear programs (ILPs) are a widely applied framework for dealing with combinatorial problems that arise in practice. It is known, e.g., by the success of CPLEX, that preprocessing and simplification can greatly speed up the process…

Computational Complexity · Computer Science 2013-02-18 Stefan Kratsch

In parameterized algorithmics, the process of kernelization is defined as a polynomial time algorithm that transforms the instance of a given problem to an equivalent instance of a size that is limited by a function of the parameter. As,…

Computational Complexity · Computer Science 2019-03-01 Jouke Witteveen , Ralph Bottesch , Leen Torenvliet

We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T\subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at…

A kernelization is an efficient algorithm that given an instance of a parameterized problem returns an equivalent instance of size bounded by some function of the input parameter value. It is quite well understood which problems do or…

Data Structures and Algorithms · Computer Science 2025-10-02 Leonid Antipov , Stefan Kratsch

We investigate computational problems involving large weights through the lens of kernelization, which is a framework of polynomial-time preprocessing aimed at compressing the instance size. Our main focus is the weighted Clique problem,…

Data Structures and Algorithms · Computer Science 2021-07-07 Bart M. P. Jansen , Shivesh K. Roy , Michał Włodarczyk

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

In the F-minor-free deletion problem we want to find a minimum vertex set in a given graph that intersects all minor models of graphs from the family F. The Vertex planarization problem is a special case of F-minor-free deletion for the…

Data Structures and Algorithms · Computer Science 2022-02-07 Bart M. P. Jansen , Michał Włodarczyk

A parameterized problem consists of a classical problem and an additional component, the so-called parameter. This point of view allows a formal definition of preprocessing: Given a parameterized instance (I,k), a polynomial kernelization…

Computational Complexity · Computer Science 2009-10-26 Stefan Kratsch , Magnus Wahlstrom