9,745 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
Directed Ramsey number for trees
In this paper, we study Ramsey-type problems for directed graphs. We first
consider the -colour oriented Ramsey number of , denoted by
, which is the least for which every
-edge-coloured tournament on vertices contains a monochromatic copy of
. We prove that for any oriented
tree . This is a generalisation of a similar result for directed paths by
Chv\'atal and by Gy\'arf\'as and Lehel, and answers a question of Yuster. In
general, it is tight up to a constant factor.
We also consider the -colour directed Ramsey number
of , which is defined as above, but, instead
of colouring tournaments, we colour the complete directed graph of order .
Here we show that for any
oriented tree , which is again tight up to a constant factor, and it
generalises a result by Williamson and by Gy\'arf\'as and Lehel who determined
the -colour directed Ramsey number of directed paths.Comment: 27 pages, 14 figure
- β¦