English
Related papers

Related papers: A Dividing Line for Structural Kernelization of Co…

200 papers

The storage capacity of a graph measures the maximum amount of information that can be stored across its vertices, such that the information at any vertex can be recovered from the information stored at its neighborhood. The study of this…

Data Structures and Algorithms · Computer Science 2025-04-17 Ishay Haviv

In Correlation Clustering, the input is a graph $G=(V,E)$ with weight function $\omega: {V \choose 2}\to Z$ and the task is to partition the vertex set into clusters such that the total weight of edges between clusters and missing edges…

Data Structures and Algorithms · Computer Science 2026-05-15 Jaroslav Garvardt , Christian Komusiewicz

We study kernelization of classic hard graph problems when the input graphs fulfill triadic closure properties. More precisely, we consider the recently introduced parameters closure number $c$ and the weak closure number $\gamma$ [Fox et…

Data Structures and Algorithms · Computer Science 2021-03-09 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

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

We study several problems related to graph modification problems under connectivity constraints from the perspective of parameterized complexity: {\sc (Weighted) Biconnectivity Deletion}, where we are tasked with deleting~$k$ edges while…

Data Structures and Algorithms · Computer Science 2017-04-24 Gregory Gutin , M. S. Ramanujan , Felix Reidl , Magnus Wahlström

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

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

A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by treewidth can be solved much faster than the previously best known time $\mathcal{O}^*(2^{\mathcal{O}(tw \log(tw))})$. Using their inspired…

Data Structures and Algorithms · Computer Science 2021-06-28 Falko Hegerfeld , Stefan Kratsch

Edge connectivity and vertex connectivity are two fundamental concepts in graph theory. Although by now there is a good understanding of the structure of graphs based on their edge connectivity, our knowledge in the case of vertex…

Discrete Mathematics · Computer Science 2013-04-17 Keren Censor-Hillel , Mohsen Ghaffari , Fabian Kuhn

The CONTRACTION(vc) problem takes as input a graph $G$ on $n$ vertices and two integers $k$ and $d$, and asks whether one can contract at most $k$ edges to reduce the size of a minimum vertex cover of $G$ by at least $d$. Recently, Lima et…

Data Structures and Algorithms · Computer Science 2022-02-08 Paloma T. Lima , Vinicius F. dos Santos , Ignasi Sau , Uéverton S. Souza , Prafullkumar Tale

A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated it in the…

Discrete Mathematics · Computer Science 2022-06-22 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

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

For a fixed finite family of graphs $\mathcal{F}$, the $\mathcal{F}$-Minor-Free Deletion problem takes as input a graph $G$ and an integer $\ell$ and asks whether there exists a set $X \subseteq V(G)$ of size at most $\ell$ such that $G-X$…

Data Structures and Algorithms · Computer Science 2019-07-17 Huib Donkers , Bart M. P. Jansen

A graph is geometric 1-planar if it admits a straight-line drawing where each edge is crossed at most once. We provide the first systematic study of the parameterized complexity of recognizing geometric 1-planar graphs. By substantially…

Computational Complexity · Computer Science 2026-02-11 Alexander Firbas

In the Block Graph Deletion problem, we are given a graph $G$ on $n$ vertices and a positive integer $k$, and the objective is to check whether it is possible to delete at most $k$ vertices from $G$ to make it a block graph, i.e., a graph…

Data Structures and Algorithms · Computer Science 2016-01-18 Eun Jung Kim , O-joung Kwon

Given an undirected graph $G$ and a multiset of $k$ terminal pairs $\mathcal{X}$, the Vertex-Disjoint Paths (\VDP) and Edge-Disjoint Paths (\EDP) problems ask whether $G$ has $k$ pairwise internally vertex-disjoint paths and $k$ pairwise…

Data Structures and Algorithms · Computer Science 2023-10-02 Juhi Chaudhary , Harmender Gahlawat , Michal Włodarczyk , Meirav Zehavi

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

The starting point of our work is a decade-old open question concerning the subexponential parameterized complexity of \textsc{2-Layer Crossing Minimization}. In this problem, the input is an $n$-vertex graph $G$ whose vertices are…

Data Structures and Algorithms · Computer Science 2025-10-16 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh , Meirav Zehavi

The {\sc $k$-Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) with at least $k$ leaves in a given digraph. The problem has recently received much attention from the viewpoint of parameterized…

Data Structures and Algorithms · Computer Science 2008-11-06 Henning Fernau , Fedor V. Fomin , Daniel Lokshtanov , Daniel Raible , Saket Saurabh , Yngve Villanger

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