English
Related papers

Related papers: Smaller parameters for vertex cover kernelization

200 papers

The field of kernelization studies polynomial-time preprocessing routines for hard problems in the framework of parameterized complexity. Although a framework for proving kernelization lower bounds has been discovered in 2008 and…

Data Structures and Algorithms · Computer Science 2011-11-03 Marek Cygan , Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

In the Vector Connectivity problem we are given an undirected graph $G=(V,E)$, a demand function $\phi\colon V\to\{0,\ldots,d\}$, and an integer $k$. The question is whether there exists a set $S$ of at most $k$ vertices such that every…

Computational Complexity · Computer Science 2015-06-24 Stefan Kratsch , Manuel Sorge

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

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

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

The Chordal Vertex Deletion (ChVD) problem asks to delete a minimum number of vertices from an input graph to obtain a chordal graph. In this paper we develop a polynomial kernel for ChVD under the parameterization by the solution size, as…

Data Structures and Algorithms · Computer Science 2016-05-11 Bart M. P. Jansen , Marcin Pilipczuk

We provide proofs certifying that the structure theorem for vertex sets of bounded bidimensionality holds with polynomial bounds. The bidimensionality of vertex sets is a common generalisation of both treewidth and the face-cover-number of…

Combinatorics · Mathematics 2026-02-10 Maximilian Gorsky , Evangelos Protopapas , Sebastian Wiederrecht

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

In this paper we propose a new framework for analyzing the performance of preprocessing algorithms. Our framework builds on the notion of kernelization from parameterized complexity. However, as opposed to the original notion of…

Data Structures and Algorithms · Computer Science 2016-11-07 Daniel Lokshtanov , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

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

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

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

The input to the NP-hard Point Line Cover problem (PLC) consists of a set $P$ of $n$ points on the plane and a positive integer $k$, and the question is whether there exists a set of at most $k$ lines which pass through all points in $P$. A…

Data Structures and Algorithms · Computer Science 2013-07-10 Stefan Kratsch , Geevarghese Philip , Saurabh Ray

In Maximum $k$-Vertex Cover (Max $k$-VC), the input is an edge-weighted graph $G$ and an integer $k$, and the goal is to find a subset $S$ of $k$ vertices that maximizes the total weight of edges covered by $S$. Here we say that an edge is…

Data Structures and Algorithms · Computer Science 2018-10-10 Pasin Manurangsi

A permutation graph can be defined as an intersection graph of segments whose endpoints lie on two parallel lines $\ell_1$ and $\ell_2$, one on each. A bipartite permutation graph is a permutation graph which is bipartite. In the the…

Data Structures and Algorithms · Computer Science 2024-01-03 Jan Derbisz

A set $D \subseteq V$ for the graph $G=(V, E)$ is called a dominating set if any vertex $v\in V\setminus D$ has at least one neighbor in $D$. Fomin et al.[9] gave an algorithm for enumerating all minimal dominating sets with $n$ vertices in…

Discrete Mathematics · Computer Science 2018-06-08 M. Alambardar Meybodi , M. R. Hooshmandasl , P. Sharifani , A. Shakiba

Generally, a graph G, an independent set is a subset S of vertices in G such that no two vertices in S are adjacent (connected by an edge) and a vertex cover is a subset S of vertices such that each edge of G has at least one of its…

Data Structures and Algorithms · Computer Science 2009-09-02 Kamanashis Biswas , S. A. M. Harun

Parameterized complexity allows us to analyze the time complexity of problems with respect to a natural parameter depending on the problem. Reoptimization looks for solutions or approximations for problem instances when given solutions to…

Computational Complexity · Computer Science 2019-07-31 Hans-Joachim Böckenhauer , Elisabet Burjons , Martin Raszyk , Peter Rossmanith

Let $V$ be any vector space of multivariate degree-$d$ homogeneous polynomials with co-dimension at most $k$, and $S$ be the set of points where all polynomials in $V$ {\em nearly} vanish. We establish a qualitatively optimal upper bound on…

Machine Learning · Computer Science 2020-12-15 Ilias Diakonikolas , Daniel M. Kane

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