English
Related papers

Related papers: Kernel Bounds for Structural Parameterizations of …

200 papers

The pathwidth of a graph is a measure of how path-like the graph is. Given a graph G and an integer k, the problem of finding whether there exist at most k vertices in G whose deletion results in a graph of pathwidth at most one is NP-…

Data Structures and Algorithms · Computer Science 2010-09-07 Geevarghese Philip , Venkatesh Raman , Yngve Villanger

The notion of a (polynomial) kernelization from parameterized complexity is a well-studied model for efficient preprocessing for hard computational problems. By now, it is quite well understood which parameterized problems do or…

Data Structures and Algorithms · Computer Science 2025-04-28 Leonid Antipov , Stefan Kratsch

Given a graph $G$ and an integer $b$, Bandwidth asks whether there exists a bijection $\pi$ from $V(G)$ to $\{1, \ldots, |V(G)|\}$ such that $\max_{\{u, v \} \in E(G)} | \pi(u) - \pi(v) | \leq b$. This is a classical NP-complete problem,…

Data Structures and Algorithms · Computer Science 2025-05-06 Tatsuya Gima , Eun Jung Kim , Noleen Köhler , Nikolaos Melissinos , Manolis Vasilakis

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

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 investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that…

Computational Complexity · Computer Science 2013-08-19 Bart M. P. Jansen

Until recently, techniques for obtaining lower bounds for kernelization were one of the most sought after tools in the field of parameterized complexity. Now, after a strong influx of techniques, we are in the fortunate situation of having…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Kratsch

Graph Burning asks, given a graph $G = (V,E)$ and an integer $k$, whether there exists $(b_{0},\dots,b_{k-1}) \in V^{k}$ such that every vertex in $G$ has distance at most $i$ from some $b_{i}$. This problem is known to be NP-complete even…

Data Structures and Algorithms · Computer Science 2020-09-29 Yasuaki Kobayashi , Yota Otachi

We investigate polynomial-time preprocessing for the problem of hitting forbidden minors in a graph, using the framework of kernelization. For a fixed finite set of connected graphs F, the F-Deletion problem is the following: given a graph…

Computational Complexity · Computer Science 2018-04-25 Bart M. P. Jansen , Astrid Pieterse

Parameterized complexity seeks to use input structure to obtain faster algorithms for NP-hard problems. This has been most successful for graphs of low treewidth: Many problems admit fast algorithms relative to treewidth and many of them…

Computational Complexity · Computer Science 2022-12-20 Falko Hegerfeld , Stefan Kratsch

Given a graph $G$ and an integer $k$, the $H$-free Edge Deletion problem asks whether there exists a set of at most $k$ edges of $G$ whose deletion makes $G$ free of induced copies of $H$. Significant attention has been given to the…

Data Structures and Algorithms · Computer Science 2025-01-28 Séhane Bel Houari-Durand , Eduard Eiben , Magnus Wahlström

The composition technique is a popular method for excluding polynomial-size problem kernels for NP-hard parameterized problems. We present a new technique exploiting triangle-based fractal structures for extending the range of applicability…

Computational Complexity · Computer Science 2017-12-27 Till Fluschnik , Danny Hermelin , André Nichterlein , Rolf Niedermeier

For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal…

Data Structures and Algorithms · Computer Science 2025-12-16 Marin Bougeret , Eric Brandwein , Ignasi Sau

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the family F. This may be regarded as a…

Data Structures and Algorithms · Computer Science 2026-01-21 Roohani Sharma , Michał Włodarczyk

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 introduce the cross-composition framework for proving kernelization lower bounds. A classical problem L AND/OR-cross-composes into a parameterized problem Q if it is possible to efficiently construct an instance of Q with polynomially…

Computational Complexity · Computer Science 2015-03-20 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

A graph is called (claw,diamond)-free if it contains neither a claw (a $K_{1,3}$) nor a diamond (a $K_4$ with an edge removed) as an induced subgraph. Equivalently, (claw,diamond)-free graphs can be characterized as line graphs of…

Data Structures and Algorithms · Computer Science 2015-03-03 Marek Cygan , Marcin Pilipczuk , Michał Pilipczuk , Erik Jan van Leeuwen , Marcin Wrochna

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

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

For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of…

Data Structures and Algorithms · Computer Science 2024-04-26 Marin Bougeret , Bart M. P. Jansen , Ignasi Sau