English
Related papers

Related papers: A Turing Kernelization Dichotomy for Structural Pa…

200 papers

For a positive integer $r$, a distance-$r$ independent set in an undirected graph $G$ is a set $I\subseteq V(G)$ of vertices pairwise at distance greater than $r$, while a distance-$r$ dominating set is a set $D\subseteq V(G)$ such that…

Discrete Mathematics · Computer Science 2020-12-25 Michał Pilipczuk , Sebastian Siebertz

Kernelization is a significant topic in parameterized complexity. Turing kernelization is a general form of kernelization. In the aspect of kernelization, an impressive hardness theory has been established [Bodlaender etc. (ICALP 2008,…

Computational Complexity · Computer Science 2016-11-22 Weidong Luo

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

The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k…

Computational Complexity · Computer Science 2016-02-19 Petr Hliněný , Marek Derňár

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

We show that the Minimal Length-Bounded L-But problem can be computed in linear time with respect to L and the tree-width of the input graph as parameters. In this problem the task is to find a set of edges of a graph such that after…

Data Structures and Algorithms · Computer Science 2016-10-25 Dušan Knop , Pavel Dvořák

A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been…

We prove that, for many parameterized problems in the class FPT, the existence of polynomial kernels implies the collapse of the W-hierarchy (i.e., W[P] = FPT). The collapsing results are also extended to assumed exponential kernels for…

Computational Complexity · Computer Science 2013-08-19 Liang Ding , Abdul Samad , Xingran Xue , Xiuzhen Huang , Liming Cai

We investigate the parameterized complexity of the graph editing problem called Editing to a Graph with a Given Degree Sequence, where the aim is to obtain a graph with a given degree sequence \sigma by at most k vertex or edge deletions…

Data Structures and Algorithms · Computer Science 2016-01-14 Petr A. Golovach , George B. Mertzios

We consider \textsc{Cliques or Trees Vertex Deletion}, which is a hybrid of two fundamental parameterized problems: \textsc{Cluster Vertex Deletion} and \textsc{Feedback Vertex Set}. In this problem, we are given an undirected graph $G$ and…

Data Structures and Algorithms · Computer Science 2025-09-23 Soh Kumabe

We study the Steiner Tree problem on unit disk graphs. Given a $n$ vertex unit disk graph $G$, a subset $R\subseteq V(G)$ of $t$ vertices and a positive integer $k$, the objective is to decide if there exists a tree $T$ in $G$ that spans…

Computational Geometry · Computer Science 2020-04-21 Sujoy Bhore , Paz Carmi , Sudeshna Kolay , Meirav Zehavi

A matching cut of a graph is a partition of its vertex set in two such that no vertex has more than one neighbor across the cut. The Matching Cut problem asks if a graph has a matching cut. This problem, and its generalization d-cut, has…

Data Structures and Algorithms · Computer Science 2024-07-04 Guilherme C. M. Gomes , Emanuel Juliano , Gabriel Martins , Vinicius F. dos Santos

For a finite set $\mathcal{F}$ of graphs, the $\mathcal{F}$-Hitting problem aims to compute, for a given graph $G$ (taken from some graph class $\mathcal{G}$) of $n$ vertices (and $m$ edges) and a parameter $k\in\mathbb{N}$, a set $S$ of…

Data Structures and Algorithms · Computer Science 2025-02-19 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

We propose polynomial-time algorithms that sparsify planar and bounded-genus graphs while preserving optimal or near-optimal solutions to Steiner problems. Our main contribution is a polynomial-time algorithm that, given an unweighted graph…

Data Structures and Algorithms · Computer Science 2017-07-12 Marcin Pilipczuk , Michał Pilipczuk , Piotr Sankowski , Erik Jan van Leeuwen

Vertex deletion problems for graphs are studied intensely in classical and parameterized complexity theory. They ask whether we can delete at most k vertices from an input graph such that the resulting graph has a certain property.…

Logic in Computer Science · Computer Science 2024-06-27 Max Bannach , Florian Chudigiewitsch , Till Tantau

Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex…

Combinatorics · Mathematics 2025-06-19 Mahabba El Sahili , Faisal N. Abu-Khzam

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

Given a graph $G$ with source and destination vertices $s,t\in V(G)$ respectively, \textsc{Tracking Paths} asks for a minimum set of vertices $T\subseteq V(G)$, such that the sequence of vertices encountered in each simple path from $s$ to…

Data Structures and Algorithms · Computer Science 2020-08-25 Pratibha Choudhary , Venkatesh Raman

The bidimensionality of a set of vertices $X$ in a graph $G$ is the maximum $k$ for which $G$ contains as a $X$-rooted minor the $(k \times k)$-grid. This notion allows for the following version of the Graph Minors Structure Theorem (GMST)…

Combinatorics · Mathematics 2026-05-27 Dimitrios M. Thilikos , Sebastian Wiederrecht

For $\alpha\colon\mathbb{N}\rightarrow\mathbb{R}$, an $\alpha$-approximate bi-kernel is a polynomial-time algorithm that takes as input an instance $(I, k)$ of a problem $Q$ and outputs an instance $(I',k')$ of a problem $Q'$ of size…

Discrete Mathematics · Computer Science 2018-02-23 Sebastian Siebertz