中文
相关论文

相关论文: Finding Long Directed Cycles Is Hard Even When DFV…

200 篇论文

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$,…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算复杂性 · 计算机科学 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.…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.…

数据结构与算法 · 计算机科学 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…

离散数学 · 计算机科学 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…

离散数学 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 2017-11-30 Riccardo Dondi , Florian Sikora