1,115 research outputs found
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
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs
We develop two different methods to achieve subexponential time parameterized
algorithms for problems on sparse directed graphs. We exemplify our approaches
with two well studied problems.
For the first problem, {\sc -Leaf Out-Branching}, which is to find an
oriented spanning tree with at least leaves, we obtain an algorithm solving
the problem in time on directed graphs
whose underlying undirected graph excludes some fixed graph as a minor. For
the special case when the input directed graph is planar, the running time can
be improved to . The second example is a
generalization of the {\sc Directed Hamiltonian Path} problem, namely {\sc
-Internal Out-Branching}, which is to find an oriented spanning tree with at
least internal vertices. We obtain an algorithm solving the problem in time
on directed graphs whose underlying
undirected graph excludes some fixed apex graph as a minor. Finally, we
observe that for any , the {\sc -Directed Path} problem is
solvable in time , where is some
function of \ve.
Our methods are based on non-trivial combinations of obstruction theorems for
undirected graphs, kernelization, problem specific combinatorial structures and
a layering technique similar to the one employed by Baker to obtain PTAS for
planar graphs
Oriented coloring on recursively defined digraphs
Coloring is one of the most famous problems in graph theory. The coloring
problem on undirected graphs has been well studied, whereas there are very few
results for coloring problems on directed graphs. An oriented k-coloring of an
oriented graph G=(V,A) is a partition of the vertex set V into k independent
sets such that all the arcs linking two of these subsets have the same
direction. The oriented chromatic number of an oriented graph G is the smallest
k such that G allows an oriented k-coloring. Deciding whether an acyclic
digraph allows an oriented 4-coloring is NP-hard. It follows, that finding the
chromatic number of an oriented graph is an NP-hard problem. This motivates to
consider the problem on oriented co-graphs. After giving several
characterizations for this graph class, we show a linear time algorithm which
computes an optimal oriented coloring for an oriented co-graph. We further
prove how the oriented chromatic number can be computed for the disjoint union
and order composition from the oriented chromatic number of the involved
oriented co-graphs. It turns out that within oriented co-graphs the oriented
chromatic number is equal to the length of a longest oriented path plus one. We
also show that the graph isomorphism problem on oriented co-graphs can be
solved in linear time.Comment: 14 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
- …