36 research outputs found
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
On Upward Drawings of Trees on a Given Grid
Computing a minimum-area planar straight-line drawing of a graph is known to
be NP-hard for planar graphs, even when restricted to outerplanar graphs.
However, the complexity question is open for trees. Only a few hardness results
are known for straight-line drawings of trees under various restrictions such
as edge length or slope constraints. On the other hand, there exist
polynomial-time algorithms for computing minimum-width (resp., minimum-height)
upward drawings of trees, where the height (resp., width) is unbounded.
In this paper we take a major step in understanding the complexity of the
area minimization problem for strictly-upward drawings of trees, which is one
of the most common styles for drawing rooted trees. We prove that given a
rooted tree and a grid, it is NP-hard to decide whether
admits a strictly-upward (unordered) drawing in the given grid.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
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