3,276 research outputs found
The Directed Dominating Set Problem: Generalized Leaf Removal and Belief Propagation
A minimum dominating set for a digraph (directed graph) is a smallest set of
vertices such that each vertex either belongs to this set or has at least one
parent vertex in this set. We solve this hard combinatorial optimization
problem approximately by a local algorithm of generalized leaf removal and by a
message-passing algorithm of belief propagation. These algorithms can construct
near-optimal dominating sets or even exact minimum dominating sets for random
digraphs and also for real-world digraph instances. We further develop a core
percolation theory and a replica-symmetric spin glass theory for this problem.
Our algorithmic and theoretical results may facilitate applications of
dominating sets to various network problems involving directed interactions.Comment: 11 pages, 3 figures in EPS forma
On the Complexity of Digraph Colourings and Vertex Arboricity
It has been shown by Bokal et al. that deciding 2-colourability of digraphs
is an NP-complete problem. This result was later on extended by Feder et al. to
prove that deciding whether a digraph has a circular -colouring is
NP-complete for all rational . In this paper, we consider the complexity
of corresponding decision problems for related notions of fractional colourings
for digraphs and graphs, including the star dichromatic number, the fractional
dichromatic number and the circular vertex arboricity. We prove the following
results:
Deciding if the star dichromatic number of a digraph is at most is
NP-complete for every rational .
Deciding if the fractional dichromatic number of a digraph is at most is
NP-complete for every .
Deciding if the circular vertex arboricity of a graph is at most is
NP-complete for every rational .
To show these results, different techniques are required in each case. In
order to prove the first result, we relate the star dichromatic number to a new
notion of homomorphisms between digraphs, called circular homomorphisms, which
might be of independent interest. We provide a classification of the
computational complexities of the corresponding homomorphism colouring problems
similar to the one derived by Feder et al. for acyclic homomorphisms.Comment: 21 pages, 1 figur
Orientations of hamiltonian cycles in large digraphs
We prove that, with some exceptions, every digraph with n ≥ 9 vertices and at least (n - 1) (n - 2) + 2 arcs contains all orientations of a Hamiltonian cycle
- …