English
Related papers

Related papers: Planar Disjoint Paths, Treewidth, and Kernels

200 papers

In this paper we investigate the parameterized complexity of the task of counting and detecting occurrences of small patterns in unit disk graphs: Given an $n$-vertex unit disk graph $G$ with an embedding of ply $p$ (that is, the graph is…

Computational Complexity · Computer Science 2024-05-28 Jesper Nederlof , Krisztina Szilágyi

We show that for each fixed $k$, the problem of finding $k$ pairwise vertex-disjoint directed paths between given source-sink pairs in a planar directed graph is solvable in polynomial time. In fact, it suffices to fix the number of faces…

Combinatorics · Mathematics 2012-11-16 Alexander Schrijver

Tree-width and path-width are widely successful concepts. Many NP-hard problems have efficient solutions when restricted to graphs of bounded tree-width. Many efficient algorithms are based on a tree decomposition. Sometimes the more…

Data Structures and Algorithms · Computer Science 2016-06-22 Martin Fürer

Given a planar graph, a subset of its vertices called terminals, and $k \in \mathbb{N}$, the Face Cover Number problem asks whether the terminals lie on the boundaries of at most $k$ faces of some embedding of the input graph. When a plane…

Data Structures and Algorithms · Computer Science 2026-01-08 Thekla Hamm , Sukanya Pandey , Krisztina Szilágyi

The {\sc weak 2-linkage} problem for digraphs asks for a given digraph and vertices $s_1,s_2,t_1,t_2$ whether $D$ contains a pair of arc-disjoint paths $P_1,P_2$ such that $P_i$ is an $(s_i,t_i)$-path. This problem is NP-complete for…

Computational Complexity · Computer Science 2019-07-02 Jørgen Bang-Jensen , Thomas Bellitto , William Lochet , Anders Yeo

This paper focuses on kernelization algorithms for the fundamental Knapsack problem. A kernelization algorithm (or kernel) is a polynomial-time reduction from a problem onto itself, where the output size is bounded by a function of some…

Data Structures and Algorithms · Computer Science 2023-10-11 Klaus Heeger , Danny Hermelin , Matthias Mnich , Dvir Shabtay

A kernel of a directed graph is a subset of vertices that is both independent and absorbing (every vertex not in the kernel has an out-neighbour in the kernel). Not all directed graphs contain kernels, and computing a kernel or deciding…

Discrete Mathematics · Computer Science 2024-05-20 Bruno Jartoux

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

Enumerative kernelization is a recent and promising area sitting at the intersection of parameterized complexity and enumeration algorithms. Its study began with the paper of Creignou et al. [Theory Comput. Syst., 2017], and development in…

Data Structures and Algorithms · Computer Science 2025-09-11 Marin Bougeret , Guilherme C. M. Gomes , Vinicius F. dos Santos , Ignasi Sau

It is known that the problem of deleting at most k vertices to obtain a proper interval graph (Proper Interval Vertex Deletion) is fixed parameter tractable. However, whether the problem admits a polynomial kernel or not was open. Here, we…

Data Structures and Algorithms · Computer Science 2015-03-20 Fedor V. Fomin , Saket Saurabh , Yngve Villanger

Given a graph $G=(V,E)$ and a set $T=\{ (s_i, t_i) : 1\leq i\leq k \}\subseteq V\times V$ of $k$ pairs, the $k$-vertex-disjoint-paths (resp. $k$-edge-disjoint-paths) problem asks to determine whether there exist~$k$ pairwise vertex-disjoint…

Data Structures and Algorithms · Computer Science 2024-08-08 Rajesh Chitnis , Samuel Thomas , Anthony Wirth

The shortest secure path (routing) problem in communication networks has to deal with multiple attack layers e.g., man-in-the-middle, eavesdropping, packet injection, packet insertion, etc. Consider different probabilities for each such…

Data Structures and Algorithms · Computer Science 2021-04-07 Yefim Dinitz , Shlomi Dolev , Manish Kumar

A graph H is a square root of a graph G if G can be obtained from H by the addition of edges between any two vertices in H that are of distance 2 from each other. The Square Root problem is that of deciding whether a given graph admits a…

Data Structures and Algorithms · Computer Science 2016-08-23 Petr A. Golovach , Dieter Kratsch , Daniël Paulusma , Anthony Stewart

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of…

Data Structures and Algorithms · Computer Science 2015-11-30 Marcin Pilipczuk

The Subset Feedback Vertex Set problem generalizes the classical Feedback Vertex Set problem and asks, for a given undirected graph $G=(V,E)$, a set $S \subseteq V$, and an integer $k$, whether there exists a set $X$ of at most $k$ vertices…

Data Structures and Algorithms · Computer Science 2015-12-09 Eva-Maria C. Hols , Stefan Kratsch

The \textsc{Co-Path Packing} (resp., \textsc{Co-Path Set}) problem asks whether a given graph can be edited to a collection of induced paths by deleting at most $k$ vertices (resp., $k$ edges). Both are fundamental problems with significant…

Data Structures and Algorithms · Computer Science 2026-05-20 Yuxi Liu , Kangyi Tian , Mingyu Xiao

In the present paper, we study algorithmic questions for the arc-intersection graph of directed paths on a tree. Such graphs are known to be perfect (proved by Monma and Wei in 1986). We present faster algorithms than all previously known…

Discrete Mathematics · Computer Science 2009-02-10 Olivier Durand de Gévigney , Frédéric Meunier , Christian Popa , Julien Reygner , Ayrin Romero

In Path Set Packing, the input is an undirected graph $G$, a collection $\calp$ of simple paths in $G$, and a positive integer $k$. The problem is to decide whether there exist $k$ edge-disjoint paths in $\calp$. We study the parameterized…

Data Structures and Algorithms · Computer Science 2024-06-03 N. R. Aravind , Roopam Saxena

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

An out-(in-)branching B_s^+ (B_s^-) rooted at s in a digraph D is a connected spanning subdigraph of D in which every vertex x != s has precisely one arc entering (leaving) it and s has no arcs entering (leaving) it. We settle the…

Combinatorics · Mathematics 2012-03-22 Jørgen Bang-Jensen , Sven Simonsen