English
Related papers

Related papers: Finding Long Directed Cycles Is Hard Even When DFV…

200 papers

We propose an improved algorithm for counting the number of Hamiltonian cycles in a directed graph. The basic idea of the method is sequential acceptance/rejection, which is successfully used in approximating the number of perfect matchings…

Data Structures and Algorithms · Computer Science 2009-11-23 Jinshan Zhang

We complement the recent algorithmic result that Feedback Vertex Set is XP-time solvable parameterized by the mim-width of a given branch decomposition of the input graph [3] by showing that the problem is W[1]-hard in this…

Computational Complexity · Computer Science 2017-11-15 Lars Jaffke , O-joung Kwon , Jan Arne Telle

This paper is about the length $X_{\rm MAX}$ of the longest path in directed acyclic graph (DAG) $G=(V,E)$ with random edge lengths, where $|V|=n$ and $|E|=m$. When the edge lengths are mutually independent and uniformly distributed, the…

Computational Complexity · Computer Science 2022-03-29 Ei Ando

The Hamiltonian cycle problem is to decide whether a given graph has a Hamiltonian cycle. Bertossi and Bonuccelli (1986, Information Processing Letters, 23, 195-200) proved that the Hamiltonian Cycle Problem is NP-Complete even for…

Discrete Mathematics · Computer Science 2008-09-16 B. S. Panda , D. Pradhan

We prove that Hamiltonian Path and Hamiltonian Cycle are NP-hard on graphs of linear mim-width 26, even when a linear order of the input graph with mim-width 26 is provided together with input. This fills a gap left by a broken proof of the…

Computational Complexity · Computer Science 2025-10-13 Benjamin Bergougnoux , Lars Jaffke

A circle graph is the intersection graph of a set of chords in a circle. Keil [Discrete Applied Mathematics, 42(1):51-63, 1993] proved that Dominating Set, Connected Dominating Set, and Total Dominating Set are NP-complete in circle graphs.…

Data Structures and Algorithms · Computer Science 2012-05-17 Nicolas Bousquet , Daniel Gonçalves , George B. Mertzios , Christophe Paul , Ignasi Sau , Stéphan Thomassé

We show that the problem of computing the hybridization number of two rooted binary phylogenetic trees on the same set of taxa X has a constant factor polynomial-time approximation if and only if the problem of computing a minimum-size…

Combinatorics · Mathematics 2011-12-23 Steven Kelk , Leo van Iersel , Nela Lekic , Simone Linz , Celine Scornavacca , Leen Stougie

One of the most well-known conjectures concerning Hamiltonicity in graphs asserts that any sufficiently large connected vertex transitive graph contains a Hamilton cycle. In this form, it was first written down by Thomassen in 1978,…

Combinatorics · Mathematics 2026-02-19 Matija Bucić , Kevin Hendrey , Bojan Mohar , Raphael Steiner , Liana Yepremyan

The notion of treewidth, introduced by Robertson and Seymour in their seminal Graph Minors series, turned out to have tremendous impact on graph algorithmics. Many hard computational problems on graphs turn out to be efficiently solvable in…

Data Structures and Algorithms · Computer Science 2019-09-24 Michał Ziobro , Marcin Pilipczuk

In the Maximum Connectivity Improvement (MCI) problem, we are given a directed graph $G=(V,E)$ and an integer $B$ and we are asked to find $B$ new edges to be added to $G$ in order to maximize the number of connected pairs of vertices in…

Discrete Mathematics · Computer Science 2019-04-30 Federico Corò , Gianlorenzo D'Angelo , Vahan Mkrtchyan

The vertex set of the kth cartesian power of a directed cycle of length m can be naturally identified with the set of k-tuples of integers modulo m. For any two vertices v and w of this graph, it is easy to see that if there is a…

Combinatorics · Mathematics 2007-05-23 David Austin , Heather Gavlas , Dave Witte

We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k…

Data Structures and Algorithms · Computer Science 2018-04-24 Ivona Bezáková , Radu Curticapean , Holger Dell , Fedor V. Fomin

We study the parameterized complexity of the directed variant of the classical {\sc Steiner Tree} problem on various classes of directed sparse graphs. While the parameterized complexity of {\sc Steiner Tree} parameterized by the number of…

Data Structures and Algorithms · Computer Science 2012-10-02 Mark Jones , Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh , Ondřej Suchý

We study the algorithmic complexity of partitioning the vertex set of a given (di)graph into a small number of paths. The Path Partition problem (PP) has been studied extensively, as it includes Hamiltonian Path as a special case. The…

Data Structures and Algorithms · Computer Science 2024-12-24 Henning Fernau , Florent Foucaud , Kevin Mann , Utkarsh Padariya , Rajath Rao K. N

In the Disjoint Paths problem, one is given a graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to connect each $s_i$ to $t_i$ with a path, so that the $k$ paths are pairwise disjoint. In the optimization variant, Max…

Data Structures and Algorithms · Computer Science 2024-09-06 Michał Włodarczyk

An undirected graph is Eulerian if it is connected and all its vertices are of even degree. Similarly, a directed graph is Eulerian, if for each vertex its in-degree is equal to its out-degree. It is well known that Eulerian graphs can be…

Data Structures and Algorithms · Computer Science 2013-04-23 Fedor V. Fomin , Petr A. Golovach

We prove that for every set $S$ of vertices of a directed graph $D$, the maximum number of vertices in $S$ contained in a collection of vertex-disjoint cycles in $D$ is at least the minimum size of a set of vertices that hits all cycles…

Combinatorics · Mathematics 2026-02-26 Nathan Bowler , Ebrahim Ghorbani , Florian Gut , Raphael W. Jacobs , Florian Reich

We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that…

Data Structures and Algorithms · Computer Science 2025-09-23 Dibyayan Chakraborty , Oscar Defrain , Florent Foucaud , Mathieu Mari , Prafullkumar Tale

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

In this paper, we study the parameterized complexity and inapproximability of the {\sc Induced Matching} problem in hamiltonian bipartite graphs. We show that, given a hamiltonian cycle in a hamiltonian bipartite graph, the problem is…

Computational Complexity · Computer Science 2014-12-08 Yinglei Song