6,927 research outputs found
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
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 Number of Synchronizing Colorings of Digraphs
We deal with -out-regular directed multigraphs with loops (called simply
\emph{digraphs}). The edges of such a digraph can be colored by elements of
some fixed -element set in such a way that outgoing edges of every vertex
have different colors. Such a coloring corresponds naturally to an automaton.
The road coloring theorem states that every primitive digraph has a
synchronizing coloring.
In the present paper we study how many synchronizing colorings can exist for
a digraph with vertices. We performed an extensive experimental
investigation of digraphs with small number of vertices. This was done by using
our dedicated algorithm exhaustively enumerating all small digraphs. We also
present a series of digraphs whose fraction of synchronizing colorings is equal
to , for every and the number of vertices large enough.
On the basis of our results we state several conjectures and open problems.
In particular, we conjecture that is the smallest possible fraction of
synchronizing colorings, except for a single exceptional example on 6 vertices
for .Comment: CIAA 2015. The final publication is available at
http://link.springer.com/chapter/10.1007/978-3-319-22360-5_1
Digraph Complexity Measures and Applications in Formal Language Theory
We investigate structural complexity measures on digraphs, in particular the
cycle rank. This concept is intimately related to a classical topic in formal
language theory, namely the star height of regular languages. We explore this
connection, and obtain several new algorithmic insights regarding both cycle
rank and star height. Among other results, we show that computing the cycle
rank is NP-complete, even for sparse digraphs of maximum outdegree 2.
Notwithstanding, we provide both a polynomial-time approximation algorithm and
an exponential-time exact algorithm for this problem. The former algorithm
yields an O((log n)^(3/2))- approximation in polynomial time, whereas the
latter yields the optimum solution, and runs in time and space O*(1.9129^n) on
digraphs of maximum outdegree at most two. Regarding the star height problem,
we identify a subclass of the regular languages for which we can precisely
determine the computational complexity of the star height problem. Namely, the
star height problem for bideterministic languages is NP-complete, and this
holds already for binary alphabets. Then we translate the algorithmic results
concerning cycle rank to the bideterministic star height problem, thus giving a
polynomial-time approximation as well as a reasonably fast exact exponential
algorithm for bideterministic star height.Comment: 19 pages, 1 figur
Generating connected acyclic digraphs uniformly at random
We describe a simple algorithm based on a Markov chain process to generate
simply connected acyclic directed graphs over a fixed set of vertices. This
algorithm is an extension of a previous one, designed to generate acyclic
digraphs, non necessarily connected.Comment: 6 page
Discretized Distributed Optimization over Dynamic Digraphs
We consider a discrete-time model of continuous-time distributed optimization
over dynamic directed-graphs (digraphs) with applications to distributed
learning. Our optimization algorithm works over general strongly connected
dynamic networks under switching topologies, e.g., in mobile multi-agent
systems and volatile networks due to link failures. Compared to many existing
lines of work, there is no need for bi-stochastic weight designs on the links.
The existing literature mostly needs the link weights to be stochastic using
specific weight-design algorithms needed both at the initialization and at all
times when the topology of the network changes. This paper eliminates the need
for such algorithms and paves the way for distributed optimization over
time-varying digraphs. We derive the bound on the gradient-tracking step-size
and discrete time-step for convergence and prove dynamic stability using
arguments from consensus algorithms, matrix perturbation theory, and Lyapunov
theory. This work, particularly, is an improvement over existing
stochastic-weight undirected networks in case of link removal or packet drops.
This is because the existing literature may need to rerun time-consuming and
computationally complex algorithms for stochastic design, while the proposed
strategy works as long as the underlying network is weight-symmetric and
balanced. The proposed optimization framework finds applications to distributed
classification and learning
- …