English
Related papers

Related papers: On the Complexity of Detecting Constrained Negativ…

200 papers

We give an algebraic, determinant-based algorithm for the K-Cycle problem, i.e., the problem of finding a cycle through a set of specified elements. Our approach gives a simple FPT algorithm for the problem, matching the $O^*(2^{|K|})$…

Data Structures and Algorithms · Computer Science 2013-01-09 Magnus Wahlström

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

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

Research of cycles through specific vertices is a central topic in graph theory. In this context, we focus on a well-studied computational problem, \textsc{$T$-Cycle}: given an undirected $n$-vertex graph $G$ and a set of $k$ vertices…

Data Structures and Algorithms · Computer Science 2025-04-29 Harmender Gahlawat , Abhishek Rathod , Meirav Zehavi

We consider the problem of detecting a cycle in a directed graph that grows by arc insertions, and the related problems of maintaining a topological order and the strong components of such a graph. For these problems, we give two…

Data Structures and Algorithms · Computer Science 2011-12-06 Michael A. Bender , Jeremy T. Fineman , Seth Gilbert , Robert E. Tarjan

The k-CO-PATH SET problem asks, given a graph G and a positive integer k, whether one can delete k edges from G so that the remainder is a collection of disjoint paths. We give a linear-time fpt algorithm with complexity O^*(1.588^k) for…

Data Structures and Algorithms · Computer Science 2016-07-29 Blair D. Sullivan , Andrew van der Poel

For two positive integers $k$ and $\ell$, a $(k \times \ell)$-spindle is the union of $k$ pairwise internally vertex-disjoint directed paths with $\ell$ arcs between two vertices $u$ and $v$. We are interested in the (parameterized)…

Data Structures and Algorithms · Computer Science 2017-06-29 Júlio Araújo , Victor A. Campos , Ana Karolinna Maia , Ignasi Sau , Ana Silva

Cycles in graphs often signify interesting processes. For example, cyclic trading patterns can indicate inefficiencies or economic dependencies in trade networks, cycles in food webs can identify fragile dependencies in ecosystems, and…

Data Structures and Algorithms · Computer Science 2019-09-04 Florian Adriaens , Cigdem Aslay , Tijl De Bie , Aristides Gionis , Jefrey Lijffijt

The Minimum Path Cover (MPC) problem consists of finding a minimum-cardinality set of node-disjoint paths that cover all nodes in a given graph. We explore a variant of the MPC problem on acyclic digraphs (DAGs) where, given a subset of…

Discrete Mathematics · Computer Science 2025-01-17 Nour ElHouda Tellache , Roberto Baldacci

Here we study the NP-complete $K$-SAT problem. Although the worst-case complexity of NP-complete problems is conjectured to be exponential, there exist parametrized random ensembles of problems where solutions can typically be found in…

Disordered Systems and Neural Networks · Physics 2019-07-11 Hendrik Schawe , Roman Bleim , Alexander K. Hartmann

In this paper, we consider the Cycle Packing problem on unit disk graphs defined as follows. Given a unit disk graph G with n vertices and an integer k, the goal is to find a set of $k$ vertex-disjoint cycles of G if it exists. Our…

Data Structures and Algorithms · Computer Science 2024-03-19 Shinwoo An , Eunjin Oh

In this paper we investigate the colorful components framework, motivated by applications emerging from comparative genomics. The general goal is to remove a collection of edges from an undirected vertex-colored graph $G$ such that in the…

Data Structures and Algorithms · Computer Science 2013-11-07 Anna Adamaszek , Alexandru Popa

We present a randomized $\tilde{O}(n^{3.5})$-time algorithm for computing \emph{optimal energetic paths} for an electric car between all pairs of vertices in an $n$-vertex directed graph with positive and negative \emph{costs}. The optimal…

Data Structures and Algorithms · Computer Science 2025-05-05 Dani Dorfman , Haim Kaplan , Robert E. Tarjan , Mikkel Thorup , Uri Zwick

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews,…

Data Structures and Algorithms · Computer Science 2012-05-02 Bingkai Lin , Yijia Chen

We show that the following variation of the single-source shortest path problem is NP-complete. Let a weighted, directed, acyclic graph $G=(V,E,w)$ with source and sink vertices $s$ and $t$ be given. Let in addition a mapping $f$ on $E$ be…

Computational Complexity · Computer Science 2016-07-18 Jesper Larsson Träff

We consider two decomposition problems in directed graphs. We say that a digraph is $k$-bounded for some $k \in \mathbb{Z}_{\geq 1}$ if each of its connected components contains at most $k$ arcs. For the first problem, a directed linear…

Combinatorics · Mathematics 2024-09-06 Florian Hörsch , Lucas Picasarri-Arrieta

The shortest secure path (routing) problem in communication networks has to deal with multiple attack layers e.g., man-in-the-middle, eavesdropping, packet injection, packet insertion, etc. Consider different probabilities for each such…

Data Structures and Algorithms · Computer Science 2021-04-07 Yefim Dinitz , Shlomi Dolev , Manish Kumar

We study the computational complexity of routing multiple objects through a network in such a way that only few collisions occur: Given a graph $G$ with two distinct terminal vertices and two positive integers $p$ and $k$, the question is…

Computational Complexity · Computer Science 2017-05-11 Till Fluschnik , Marco Morik , Manuel Sorge

A graph is chordal if every cycle of length at least four contains a chord, that is, an edge connecting two nonconsecutive vertices of the cycle. Several classical applications in sparse linear systems, database management, computer vision,…

Data Structures and Algorithms · Computer Science 2016-12-07 David Bergman , Carlos H. Cardonha , Andre A. Cire , Arvind U. Raghunathan

For a graph (undirected, directed, or mixed), a cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. Cycle-factors subject to parity constraints arise naturally in the study of structural graph theory and…

Data Structures and Algorithms · Computer Science 2025-10-22 Florian Hörsch , Csaba Király , Mirabel Mendoza-Cadena , Gyula Pap , Eszter Szabó , Yutaro Yamaguchi