568 research outputs found
Space-Efficient Biconnected Components and Recognition of Outerplanar Graphs
We present space-efficient algorithms for computing cut vertices in a given
graph with vertices and edges in linear time using bits. With the same time and using bits, we can compute the
biconnected components of a graph. We use this result to show an algorithm for
the recognition of (maximal) outerplanar graphs in time using
bits
Definability Equals Recognizability for -Outerplanar Graphs
One of the most famous algorithmic meta-theorems states that every graph
property that can be defined by a sentence in counting monadic second order
logic (CMSOL) can be checked in linear time for graphs of bounded treewidth,
which is known as Courcelle's Theorem. These algorithms are constructed as
finite state tree automata, and hence every CMSOL-definable graph property is
recognizable. Courcelle also conjectured that the converse holds, i.e. every
recognizable graph property is definable in CMSOL for graphs of bounded
treewidth. We prove this conjecture for -outerplanar graphs, which are known
to have treewidth at most .Comment: 40 pages, 8 figure
Algorithms for outerplanar graph roots and graph roots of pathwidth at most 2
Deciding whether a given graph has a square root is a classical problem that
has been studied extensively both from graph theoretic and from algorithmic
perspectives. The problem is NP-complete in general, and consequently
substantial effort has been dedicated to deciding whether a given graph has a
square root that belongs to a particular graph class. There are both
polynomial-time solvable and NP-complete cases, depending on the graph class.
We contribute with new results in this direction. Given an arbitrary input
graph G, we give polynomial-time algorithms to decide whether G has an
outerplanar square root, and whether G has a square root that is of pathwidth
at most 2
The role of twins in computing planar supports of hypergraphs
A support or realization of a hypergraph is a graph on the same
vertex as such that for each hyperedge of it holds that its vertices
induce a connected subgraph of . The NP-hard problem of finding a planar}
support has applications in hypergraph drawing and network design. Previous
algorithms for the problem assume that twins}---pairs of vertices that are in
precisely the same hyperedges---can safely be removed from the input
hypergraph. We prove that this assumption is generally wrong, yet that the
number of twins necessary for a hypergraph to have a planar support only
depends on its number of hyperedges. We give an explicit upper bound on the
number of twins necessary for a hypergraph with hyperedges to have an
-outerplanar support, which depends only on and . Since all
additional twins can be safely removed, we obtain a linear-time algorithm for
computing -outerplanar supports for hypergraphs with hyperedges if
and are constant; in other words, the problem is fixed-parameter
linear-time solvable with respect to the parameters and
- …