4,626 research outputs found
Crossing-critical graphs with large maximum degree
A conjecture of Richter and Salazar about graphs that are critical for a
fixed crossing number is that they have bounded bandwidth. A weaker
well-known conjecture of Richter is that their maximum degree is bounded in
terms of . In this note we disprove these conjectures for every ,
by providing examples of -crossing-critical graphs with arbitrarily large
maximum degree
Orthogonal Graph Drawing with Inflexible Edges
We consider the problem of creating plane orthogonal drawings of 4-planar
graphs (planar graphs with maximum degree 4) with constraints on the number of
bends per edge. More precisely, we have a flexibility function assigning to
each edge a natural number , its flexibility. The problem
FlexDraw asks whether there exists an orthogonal drawing such that each edge
has at most bends. It is known that FlexDraw is NP-hard
if for every edge . On the other hand, FlexDraw can
be solved efficiently if and is trivial if
for every edge .
To close the gap between the NP-hardness for and the
efficient algorithm for , we investigate the
computational complexity of FlexDraw in case only few edges are inflexible
(i.e., have flexibility~). We show that for any FlexDraw
is NP-complete for instances with inflexible edges with
pairwise distance (including the case where they
induce a matching). On the other hand, we give an FPT-algorithm with running
time , where
is the time necessary to compute a maximum flow in a planar flow network with
multiple sources and sinks, and is the number of inflexible edges having at
least one endpoint of degree 4.Comment: 23 pages, 5 figure
On Hardness of the Joint Crossing Number
The Joint Crossing Number problem asks for a simultaneous embedding of two
disjoint graphs into one surface such that the number of edge crossings
(between the two graphs) is minimized. It was introduced by Negami in 2001 in
connection with diagonal flips in triangulations of surfaces, and subsequently
investigated in a general form for small-genus surfaces. We prove that all of
the commonly considered variants of this problem are NP-hard already in the
orientable surface of genus 6, by a reduction from a special variant of the
anchored crossing number problem of Cabello and Mohar
Planarity of Streamed Graphs
In this paper we introduce a notion of planarity for graphs that are
presented in a streaming fashion. A is a stream of
edges on a vertex set . A streamed graph is
- with respect to a positive integer window
size if there exists a sequence of planar topological drawings
of the graphs such that
the common graph is drawn the same in
and in , for . The Problem with window size asks whether a given streamed
graph is -stream planar. We also consider a generalization, where there
is an additional whose edges have to be present
during each time step. These problems are related to several well-studied
planarity problems.
We show that the Problem is NP-complete even when
the window size is a constant and that the variant with a backbone graph is
NP-complete for all . On the positive side, we provide
-time algorithms for (i) the case and (ii) all
values of provided the backbone graph consists of one -connected
component plus isolated vertices and no stream edge connects two isolated
vertices. Our results improve on the Hanani-Tutte-style -time
algorithm proposed by Schaefer [GD'14] for .Comment: 21 pages, 9 figures, extended version of "Planarity of Streamed
Graphs" (9th International Conference on Algorithms and Complexity, 2015
Constructions of Large Graphs on Surfaces
We consider the degree/diameter problem for graphs embedded in a surface,
namely, given a surface and integers and , determine the
maximum order of a graph embeddable in with
maximum degree and diameter . We introduce a number of
constructions which produce many new largest known planar and toroidal graphs.
We record all these graphs in the available tables of largest known graphs.
Given a surface of Euler genus and an odd diameter , the
current best asymptotic lower bound for is given by
Our constructions produce
new graphs of order \begin{cases}6\Delta^{\lfloor k/2\rfloor}& \text{if
$\Sigma$ is the Klein bottle}\\
\(\frac{7}{2}+\sqrt{6g+\frac{1}{4}}\)\Delta^{\lfloor k/2\rfloor}&
\text{otherwise,}\end{cases} thus improving the former value by a factor of
4.Comment: 15 pages, 7 figure
Relating Graph Thickness to Planar Layers and Bend Complexity
The thickness of a graph with vertices is the minimum number of
planar subgraphs of whose union is . A polyline drawing of in
is a drawing of , where each vertex is mapped to a
point and each edge is mapped to a polygonal chain. Bend and layer complexities
are two important aesthetics of such a drawing. The bend complexity of
is the maximum number of bends per edge in , and the layer complexity
of is the minimum integer such that the set of polygonal chains in
can be partitioned into disjoint sets, where each set corresponds
to a planar polyline drawing. Let be a graph of thickness . By
F\'{a}ry's theorem, if , then can be drawn on a single layer with bend
complexity . A few extensions to higher thickness are known, e.g., if
(resp., ), then can be drawn on layers with bend complexity 2
(resp., ). However, allowing a higher number of layers may reduce the
bend complexity, e.g., complete graphs require layers to be drawn
using 0 bends per edge.
In this paper we present an elegant extension of F\'{a}ry's theorem to draw
graphs of thickness . We first prove that thickness- graphs can be
drawn on layers with bends per edge. We then develop another
technique to draw thickness- graphs on layers with bend complexity,
i.e., , where . Previously, the bend complexity was not known to be sublinear for
. Finally, we show that graphs with linear arboricity can be drawn on
layers with bend complexity .Comment: A preliminary version appeared at the 43rd International Colloquium
on Automata, Languages and Programming (ICALP 2016
- …