1,741 research outputs found
Arc-Disjoint Paths and Trees in 2-Regular Digraphs
An out-(in-)branching B_s^+ (B_s^-) rooted at s in a digraph D is a connected
spanning subdigraph of D in which every vertex x != s has precisely one arc
entering (leaving) it and s has no arcs entering (leaving) it. We settle the
complexity of the following two problems:
1) Given a 2-regular digraph , decide if it contains two arc-disjoint
branchings B^+_u, B^-_v.
2) Given a 2-regular digraph D, decide if it contains an out-branching B^+_u
such that D remains connected after removing the arcs of B^+_u.
Both problems are NP-complete for general digraphs. We prove that the first
problem remains NP-complete for 2-regular digraphs, whereas the second problem
turns out to be polynomial when we do not prescribe the root in advance. We
also prove that, for 2-regular digraphs, the latter problem is in fact
equivalent to deciding if contains two arc-disjoint out-branchings. We
generalize this result to k-regular digraphs where we want to find a number of
pairwise arc-disjoint spanning trees and out-branchings such that there are k
in total, again without prescribing any roots.Comment: 9 pages, 7 figure
Finding an induced subdivision of a digraph
We consider the following problem for oriented graphs and digraphs: Given an
oriented graph (digraph) , does it contain an induced subdivision of a
prescribed digraph ? The complexity of this problem depends on and on
whether must be an oriented graph or is allowed to contain 2-cycles. We
give a number of examples of polynomial instances as well as several
NP-completeness proofs
Out-degree reducing partitions of digraphs
Let be a fixed integer. We determine the complexity of finding a
-partition of the vertex set of a given digraph such
that the maximum out-degree of each of the digraphs induced by , () is at least smaller than the maximum out-degree of . We show
that this problem is polynomial-time solvable when and -complete otherwise. The result for and answers a question
posed in \cite{bangTCS636}. We also determine, for all fixed non-negative
integers , the complexity of deciding whether a given digraph of
maximum out-degree has a -partition such that the digraph
induced by has maximum out-degree at most for . It
follows from this characterization that the problem of deciding whether a
digraph has a 2-partition such that each vertex has at
least as many neighbours in the set as in , for is
-complete. This solves a problem from \cite{kreutzerEJC24} on
majority colourings.Comment: 11 pages, 1 figur
Finding next-to-shortest paths in a graph
We study the problem of finding the next-to-shortest paths in a
graph. A next-to-shortest -path is a shortest -path
amongst -paths with length strictly greater than the length of
the shortest -path. In constrast to the situation in directed
graphs, where the problem has been shown to be NP-hard, providing edges of length zero are allowed,
we prove the somewhat surprising result that there is a polynomial
time algorithm for the undirected version of the problem
- …