English
Related papers

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

200 papers

In the Vertex Disjoint Paths with Congestion problem, the input consists of a digraph $D$, an integer $c$ and $k$ pairs of vertices $(s_i, t_i)$, and the task is to find a set of paths connecting each $s_i$ to its corresponding $t_i$,…

Computational Complexity · Computer Science 2025-07-15 Ken-ichi Kawarabayashi , Nicola Lorenz , Marcelo Garlet Milani , Jacob Stegemann

A Dynamic Programming based polynomial worst case time and space algorithm is described for computing Hamiltonian Path of a directed graph. Complexity constructive proofs along with a tested C++ implementation are provided as well. The…

Data Structures and Algorithms · Computer Science 2013-01-16 Dmitriy Nuriyev

Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance. In particular, the incidence graph of the CSP instance…

Logic in Computer Science · Computer Science 2015-05-19 M. Praveen

A vertex $w$ resolves two vertices $u$ and $v$ in a directed graph $G$ if the distance from $w$ to $u$ is different to the distance from $w$ to $v$. A set of vertices $R$ is a resolving set for a directed graph $G$ if for every pair of…

Computational Complexity · Computer Science 2023-06-16 Yannick Schmitz , Egon Wanke

Steiner Tree Packing (STP) is a notoriously hard problem in classical complexity theory, which is of practical relevance to VLSI circuit design. Previous research has approached this problem by providing heuristic or approximate algorithms.…

Data Structures and Algorithms · Computer Science 2025-05-15 Niko Hastrich , Kirill Simonov

The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem…

Computational Complexity · Computer Science 2013-07-25 Christian Knauer , Stefan König , Daniel Werner

We study the design of fixed-parameter algorithms for problems already known to be solvable in polynomial time. The main motivation is to get more efficient algorithms for problems with unattractive polynomial running times. Here, we focus…

Computational Complexity · Computer Science 2021-01-06 Archontia C. Giannopoulou , George B. Mertzios , Rolf Niedermeier

We give the first polynomial-time algorithms on graphs of bounded maximum induced matching width (mim-width) for problems that are not locally checkable. In particular, we give $n^{\mathcal{O}(w)}$-time algorithms on graphs of mim-width at…

Data Structures and Algorithms · Computer Science 2017-09-29 Lars Jaffke , O-joung Kwon , Jan Arne Telle

The width $k$ of a directed acyclic graph (DAG) $G = (V, E)$ equals the largest number of pairwise non-reachable vertices. Computing the width dates back to Dilworth's and Fulkerson's results in the 1950s, and is doable in quadratic time in…

Data Structures and Algorithms · Computer Science 2021-06-25 Manuel Cáceres , Massimo Cairo , Brendan Mumey , Romeo Rizzi , Alexandru I. Tomescu

A mixed graph is a graph with both directed and undirected edges. We present an algorithm for deciding whether a given mixed graph on $n$ vertices contains a feedback vertex set (FVS) of size at most $k$, in time $2^{O(k)}k! O(n^4)$. This…

Data Structures and Algorithms · Computer Science 2015-03-17 Paul Bonsma , Daniel Lokshtanov

In the Directed Disjoint Paths problem ($k$-DDP), we are given a digraph $k$ pairs of terminals, and the goal is to find $k$ pairwise vertex-disjoint paths connecting each pair of terminals. Bang-Jensen and Thomassen [SIAM J. Discrete Math.…

Data Structures and Algorithms · Computer Science 2025-04-29 Guilherme C. M. Gomes , Raul Lopes , Ignasi Sau

For a connected graph, the Hamiltonian cycle (path) is a simple cycle (path) that spans all the vertices in the graph. It is known from \cite{muller,garey} that HAMILTONIAN CYCLE (PATH) are NP-complete in general graphs and chordal…

Discrete Mathematics · Computer Science 2018-09-18 P. Kowsika , V. Divya , N. Sadagopan

Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a…

Discrete Mathematics · Computer Science 2019-05-07 Fatemeh Keshavarz-Kohjerdi , Ruo-Wei Hung

After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this…

Combinatorics · Mathematics 2025-07-08 Huye Chen , Jingjian Li , Hao Yu

We revisit the (structurally) parameterized complexity of Induced Matching and Acyclic Matching, two problems where we seek to find a maximum independent set of edges whose endpoints induce, respectively, a matching and a forest. Chaudhary…

Data Structures and Algorithms · Computer Science 2025-09-15 Michael Lampis , Manolis Vasilakis

Let $D=(V(D),A(D))$ be a digraph with at least one directed cycle. A set $F$ of arcs is a feedback arc set (FAS) if $D-F$ has no directed cycle. The FAS decomposition number ${\rm fasd}(D)$ of $D$ is the maximum number of pairwise disjoint…

Combinatorics · Mathematics 2025-12-22 Gregory Gutin , Mads Anker Nielsen , Anders Yeo , Yacong Zhou

The problem of finding multiple simple shortest paths in a weighted directed graph $G=(V,E)$ has many applications, and is considerably more difficult than the corresponding problem when cycles are allowed in the paths. Even for a single…

Data Structures and Algorithms · Computer Science 2016-02-24 Udit Agarwal , Vijaya Ramachandran

We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…

Computational Complexity · Computer Science 2018-04-24 Holger Dell , Eun Jung Kim , Michael Lampis , Valia Mitsou , Tobias Mömke

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural…

Combinatorics · Mathematics 2024-03-13 Jørgen Bang-Jensen , Yun Wang , Anders Yeo

The problem of finding the maximum number of vertex-disjoint uni-color paths in an edge-colored graph (called MaxCDP) has been recently introduced in literature, motivated by applications in social network analysis. In this paper we…

Data Structures and Algorithms · Computer Science 2017-11-30 Riccardo Dondi , Florian Sikora