29 research outputs found
The Complexity of Kings
A king in a directed graph is a node from which each node in the graph can be
reached via paths of length at most two. There is a broad literature on
tournaments (completely oriented digraphs), and it has been known for more than
half a century that all tournaments have at least one king [Lan53]. Recently,
kings have proven useful in theoretical computer science, in particular in the
study of the complexity of the semifeasible sets [HNP98,HT05] and in the study
of the complexity of reachability problems [Tan01,NT02].
In this paper, we study the complexity of recognizing kings. For each
succinctly specified family of tournaments, the king problem is known to belong
to [HOZZ]. We prove that this bound is optimal: We construct a
succinctly specified tournament family whose king problem is
-complete. It follows easily from our proof approach that the problem
of testing kingship in succinctly specified graphs (which need not be
tournaments) is -complete. We also obtain -completeness
results for k-kings in succinctly specified j-partite tournaments, , and we generalize our main construction to show that -completeness
holds for testing k-kingship in succinctly specified families of tournaments
for all
On the existence and number of -kings in -quasi-transitive digraphs
Let be a digraph and an integer. We say that
is -quasi-transitive if for every directed path in
, then or . Clearly, a
2-quasi-transitive digraph is a quasi-transitive digraph in the usual sense.
Bang-Jensen and Gutin proved that a quasi-transitive digraph has a 3-king
if and only if has a unique initial strong component and, if has a
3-king and the unique initial strong component of has at least three
vertices, then has at least three 3-kings. In this paper we prove the
following generalization: A -quasi-transitive digraph has a -king
if and only if has a unique initial strong component, and if has a
-king then, either all the vertices of the unique initial strong
components are -kings or the number of -kings in is at least
.Comment: 17 page
Parameterized Algorithms for Directed Maximum Leaf Problems
We prove that finding a rooted subtree with at least leaves in a digraph
is a fixed parameter tractable problem. A similar result holds for finding
rooted spanning trees with many leaves in digraphs from a wide family
that includes all strong and acyclic digraphs. This settles completely an open
question of Fellows and solves another one for digraphs in . Our
algorithms are based on the following combinatorial result which can be viewed
as a generalization of many results for a `spanning tree with many leaves' in
the undirected case, and which is interesting on its own: If a digraph of order with minimum in-degree at least 3 contains a rooted
spanning tree, then contains one with at least leaves
A new perspective from hypertournaments to tournaments
A -tournament on vertices is a pair for ,
where is a set of vertices, and is a set of all possible
-tuples of vertices, such that for any -subset of ,
contains exactly one of the possible permutations of . In this paper,
we investigate the relationship between a hyperdigraph and its corresponding
normal digraph. Particularly, drawing on a result from Gutin and Yeo, we
establish an intrinsic relationship between a strong -tournament and a
strong tournament, which enables us to provide an alternative (more
straightforward and concise) proof for some previously known results and get
some new results.Comment: 10 page