中文
相关论文

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

200 篇论文

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

数据结构与算法 · 计算机科学 2014-11-24 Sigve Hortemo Sæther

In the Directed Long Cycle Hitting Set} problem we are given a directed graph $G$, and the task is to find a set $S$ of at most $k$ vertices/arcs such that $G-S$ has no cycle of length longer than $\ell$. We show that the problem can be…

数据结构与算法 · 计算机科学 2020-03-12 Alexander Göke , Dániel Marx , Matthias Mnich

In the Directed Feedback Vertex Set (DFVS) problem, the input is a directed graph $D$ on $n$ vertices and $m$ edges, and an integer $k$. The objective is to determine whether there exists a set of at most $k$ vertices intersecting every…

数据结构与算法 · 计算机科学 2016-09-15 Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh

The Directed Traveling Salesman Problem (DTSP) is a variant of the classical Traveling Salesman Problem in which the edges in the graph are directed and a vertex and edge can be visited multiple times. The goal is to find a directed closed…

数据结构与算法 · 计算机科学 2025-09-17 Václav Blažej , Andreas Emil Feldmann , Foivos Fioravantes , Paweł Rzążewski , Ondřej Suchý

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

数据结构与算法 · 计算机科学 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

A directed odd cycle transversal of a directed graph (digraph) $D$ is a vertex set $S$ that intersects every odd directed cycle of $D$. In the Directed Odd Cycle Transversal (DOCT) problem, the input consists of a digraph $D$ and an integer…

数据结构与算法 · 计算机科学 2017-04-17 Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh , Meirav Zehavi

We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4…

离散数学 · 计算机科学 2025-07-01 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

The Directed Feedback Vertex Set problem (DFVS) asks whether it is possible to remove at most $k$ vertices from a directed graph to make it acyclic. Whether DFVS is fixed-parameter tractable was a long-standing open problem in parameterized…

数据结构与算法 · 计算机科学 2024-10-22 Ziliang Xiong , Mingyu Xiao

We consider the problem of finding a Hamiltonian path or cycle with precedence constraints in the form of a partial order on the vertex set. We study the complexity for graph width parameters for which the ordinary problems…

离散数学 · 计算机科学 2025-10-10 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable,…

计算复杂性 · 计算机科学 2016-08-05 Kitty Meeks , Alexander Scott

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

离散数学 · 计算机科学 2019-05-31 Raphael Steiner , Sebastian Wiederrecht

The Directed Feedback Vertex Set (DFVS) problem takes as input a directed graph~$G$ and seeks a smallest vertex set~$S$ that hits all cycles in $G$. This is one of Karp's 21 $\mathsf{NP}$-complete problems. Resolving the parameterized…

数据结构与算法 · 计算机科学 2020-03-06 Alexander Göke , Dániel Marx , Matthias Mnich

The problem of finding the longest simple cycle in a directed graph is NP-hard, with critical applications in computational biology, scheduling, and network analysis. Existing approaches include exact algorithms with exponential runtimes,…

数据结构与算法 · 计算机科学 2026-01-13 Ali Dasdan

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…

数据结构与算法 · 计算机科学 2014-12-03 Rajesh Chitnis , Marek Cygan , MohammadTaghi Hajiaghayi , Dániel Marx

We study two "above guarantee" versions of the classical Longest Path problem on undirected and directed graphs and obtain the following results. In the first variant of Longest Path that we study, called Longest Detour, the task is to…

数据结构与算法 · 计算机科学 2022-01-11 Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Kirill Simonov , Saket Saurabh

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…

数据结构与算法 · 计算机科学 2024-06-03 N. R. Aravind , Roopam Saxena

We study the parameterized complexity of the classical Edge Hamiltonian Path problem and give several fixed-parameter tractability results. First, we settle an open question of Demaine et al. by showing that Edge Hamiltonian Path is FPT…

数据结构与算法 · 计算机科学 2014-03-11 Michael Lampis , Kazuhisa Makino , Valia Mitsou , Yushi Uno

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…

离散数学 · 计算机科学 2025-03-06 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

Given a directed graph $G$ and a list $(s_1,t_1),\dots,(s_d,t_d)$ of terminal pairs, the Directed Steiner Network problem asks for a minimum-cost subgraph of $G$ that contains a directed $s_i\to t_i$ path for every $1\le i \le k$. The…

数据结构与算法 · 计算机科学 2022-11-11 Andreas Emil Feldmann , Daniel Marx

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

计算复杂性 · 计算机科学 2019-07-19 Édouard Bonnet , Nidhi Purohit
‹ 上一页 1 2 3 10 下一页 ›