English
Related papers

Related papers: Jungles, bundles, and fixed parameter tractability

200 papers

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically symmetric and submodular) functions could be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing…

Data Structures and Algorithms · Computer Science 2021-11-08 Fedor V. Fomin , Tuukka Korhonen

In the weighted partial vertex cover problem (WPVC), we are given a graph $G=(V,E)$, cost function $c:V\rightarrow N$, profit function $p:E\rightarrow N$, and positive integers $R$ and $L$. The goal is to check whether there is a subset…

Discrete Mathematics · Computer Science 2019-04-30 Vahan Mkrtchyan , Garik Petrosyan , K. Subramani

In the Euclidean Bottleneck Steiner Tree problem, the input consists of a set of $n$ points in $\mathbb{R}^2$ called terminals and a parameter $k$, and the goal is to compute a Steiner tree that spans all the terminals and contains at most…

Computational Geometry · Computer Science 2023-12-05 Sayan Bandyapadhyay , William Lochet , Daniel Lokshtanov , Saket Saurabh , Jie Xue

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

Discrete Mathematics · Computer Science 2022-03-01 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

Parameterised subgraph counting problems are the most thoroughly studied topic in the theory of parameterised counting, and there has been significant recent progress in this area. Many of the existing tractability results for parameterised…

Computational Complexity · Computer Science 2015-06-01 Kitty Meeks

Mathematical modeling is a standard approach to solve many real-world problems and {\em diversity} of solutions is an important issue, emerging in applying solutions obtained from mathematical models to real-world problems. Many studies…

Data Structures and Algorithms · Computer Science 2020-12-15 Tesshu Hanaka , Yasuaki Kobayashi , Kazuhiro Kurita , Yota Otachi

We show that CSP is fixed-parameter tractable when parameterized by the treewidth of a backdoor into any tractable CSP problem over a finite constraint language. This result combines the two prominent approaches for achieving tractability…

Data Structures and Algorithms · Computer Science 2016-10-12 Robert Ganian , M. S. Ramanujan , Stefan Szeider

We consider the problem of finding a Hamiltonian path with precedence constraints in the form of a partial order on the vertex set. This problem is known as Partially Ordered Hamiltonian Path Problem (POHPP). Here, we study the complexity…

Discrete Mathematics · Computer Science 2025-03-06 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

A well-studied continuous model of graphs considers each edge as a continuous unit-length interval of points. In the problem $\delta$-Tour defined within this model, the objective to find a shortest tour that comes within a distance of…

Data Structures and Algorithms · Computer Science 2025-02-27 Fabian Frei , Ahmed Ghazy , Tim A. Hartmann , Florian Hörsch , Dániel Marx

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

Logic in Computer Science · Computer Science 2018-01-17 Jouke Witteveen , Leen Torenvliet

We show that the dominating set problem parameterized by solution size is fixed-parameter tractable (FPT) in graphs that do not contain the claw (K(1,3)), the complete bipartite graph on four vertices where the two parts have one and three…

Data Structures and Algorithms · Computer Science 2015-03-17 Marek Cygan , Geevarghese Philip , Marcin Pilipczuk , Michał Pilipczuk , Jakub Onufry Wojtaszczyk

We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , Sergio Cabello , David Eppstein

Inversion of a directed graph $D$ with respect to a vertex subset $Y$ is the directed graph obtained from $D$ by reversing the direction of every arc whose endpoints both lie in $Y$. More generally, the inversion of $D$ with respect to a…

Data Structures and Algorithms · Computer Science 2026-04-08 Dhanyamol Antony , L. Sunil Chandran , Dalu Jacob , R. B. Sandeep

We obtain structure theorems for graphs excluding a fan (a path with a universal vertex) or a dipole ($K_{2,k}$) as a topological minor. The corresponding decompositions can be computed in FPT linear time. This is motivated by the study of…

Discrete Mathematics · Computer Science 2025-02-18 Hugo Jacob , William Lochet , Christophe Paul

In the vertex connectivity augmentation problem, we are given an undirected $n$-vertex graph $G$, a set of links $L \subseteq \binom{V(G)}{2} \setminus E(G)$, and integers $\lambda$ and $k$. The task is to insert at most $k$ links from $L$…

Data Structures and Algorithms · Computer Science 2026-05-13 Tuukka Korhonen , Mikkel Thorup

The exact matching problem is a constrained variant of the maximum matching problem: given a graph with each edge having a weight $0$ or $1$ and an integer $k$, the goal is to find a perfect matching of weight exactly $k$. Mulmuley,…

Data Structures and Algorithms · Computer Science 2024-05-07 Hitoshi Murakami , Yutaro Yamaguchi

The Secluded Path problem models a situation where a sensitive information has to be transmitted between a pair of nodes along a path in a network. The measure of the quality of a selected path is its exposure, which is the total weight of…

Data Structures and Algorithms · Computer Science 2015-04-22 Fedor V. Fomin , Petr A. Golovach , Nikolay Karpov , Alexander S. Kulikov

Given a graph $G$ and an integer $k$, the Feedback Vertex Set (FVS) problem asks if there is a vertex set $T$ of size at most $k$ that hits all cycles in the graph. The fixed-parameter tractability status of FVS in directed graphs was a…

Data Structures and Algorithms · Computer Science 2014-12-03 Rajesh Chitnis , Marek Cygan , MohammadTaghi Hajiaghayi , Dániel Marx

Fixed parameter tractable algorithms for bounded treewidth are known to exist for a wide class of graph optimization problems. While most research in this area has been focused on exact algorithms, it is hard to find decompositions of…

Data Structures and Algorithms · Computer Science 2016-10-05 Thomas Bosman
‹ Prev 1 3 4 5 6 7 10 Next ›