205 research outputs found
Recognizing and Drawing IC-planar Graphs
IC-planar graphs are those graphs that admit a drawing where no two crossed
edges share an end-vertex and each edge is crossed at most once. They are a
proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph
with vertices, we present an -time algorithm that computes a
straight-line drawing of in quadratic area, and an -time algorithm
that computes a straight-line drawing of with right-angle crossings in
exponential area. Both these area requirements are worst-case optimal. We also
show that it is NP-complete to test IC-planarity both in the general case and
in the case in which a rotation system is fixed for the input graph.
Furthermore, we describe a polynomial-time algorithm to test whether a set of
matching edges can be added to a triangulated planar graph such that the
resulting graph is IC-planar
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
A graph is called a strong (resp. weak) bar 1-visibility graph if its
vertices can be represented as horizontal segments (bars) in the plane so that
its edges are all (resp. a subset of) the pairs of vertices whose bars have a
-thick vertical line connecting them that intersects at most one
other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and
other nearly planar graph classes. In particular, we study their relation to
1-planar graphs, which have a drawing with at most one crossing per edge;
quasi-planar graphs, which have a drawing with no three mutually crossing
edges; the squares of planar 1-flow networks, which are upward digraphs with
in- or out-degree at most one. Our main results are that 1-planar graphs and
the (undirected) squares of planar 1-flow networks are weak bar 1-visibility
graphs and that these are quasi-planar graphs
4-colored graphs and knot/link complements
A representation for compact 3-manifolds with non-empty non-spherical
boundary via 4-colored graphs (i.e., 4-regular graphs endowed with a proper
edge-coloration with four colors) has been recently introduced by two of the
authors, and an initial classification of such manifolds has been obtained up
to 8 vertices of the representing graphs. Computer experiments show that the
number of graphs/manifolds grows very quickly as the number of vertices
increases. As a consequence, we have focused on the case of orientable
3-manifolds with toric boundary, which contains the important case of
complements of knots and links in the 3-sphere. In this paper we obtain the
complete catalogation/classification of these 3-manifolds up to 12 vertices of
the associated graphs, showing the diagrams of the involved knots and links.
For the particular case of complements of knots, the research has been extended
up to 16 vertices.Comment: 19 pages, 6 figures, 3 tables; changes in Lemma 6, Corollaries 7 and
Structure and Generation of Crossing-Critical Graphs
We study c-crossing-critical graphs, which are the minimal graphs that require at least c edge-crossings when drawn in the plane. For c=1 there are only two such graphs without degree-2 vertices, K_5 and K_{3,3}, but for any fixed c>1 there exist infinitely many c-crossing-critical graphs. It has been previously shown that c-crossing-critical graphs have bounded path-width and contain only a bounded number of internally disjoint paths between any two vertices. We expand on these results, providing a more detailed description of the structure of crossing-critical graphs. On the way towards this description, we prove a new structural characterisation of plane graphs of bounded path-width. Then we show that every c-crossing-critical graph can be obtained from a c-crossing-critical graph of bounded size by replicating bounded-size parts that already appear in narrow "bands" or "fans" in the graph. This also gives an algorithm to generate all the c-crossing-critical graphs of at most given order n in polynomial time per each generated graph
Complexity of Anchored Crossing Number and Crossing Number of Almost Planar Graphs
In this paper we deal with the problem of computing the exact crossing number
of almost planar graphs and the closely related problem of computing the exact
anchored crossing number of a pair of planar graphs. It was shown by [Cabello
and Mohar, 2013] that both problems are NP-hard; although they required an
unbounded number of high-degree vertices (in the first problem) or an unbounded
number of anchors (in the second problem) to prove their result. Somehow
surprisingly, only three vertices of degree greater than 3, or only three
anchors, are sufficient to maintain hardness of these problems, as we prove
here. The new result also improves the previous result on hardness of joint
crossing number on surfaces by [Hlin\v{e}n\'y and Salazar, 2015]. Our result is
best possible in the anchored case since the anchored crossing number of a pair
of planar graphs with two anchors each is trivial, and close to being best
possible in the almost planar case since the crossing number is efficiently
computable for almost planar graphs of maximum degree 3 [Riskin 1996, Cabello
and Mohar 2011]
New Parameters for Beyond-Planar Graphs
Parameters for graphs appear frequently throughout the history of research in this field. They represent very important measures for the properties of graphs and graph drawings, and are often a main criterion for their classification and their aesthetic perception. In this direction, we provide new results for the following graph parameters:
– The segment complexity of trees;
– the membership of graphs of bounded vertex degree to certain graph classes;
– the maximal complete and complete bipartite graphs contained in certain graph classes beyond-planarity;
– the crossing number of graphs;
– edge densities for outer-gap-planar graphs and for bipartite gap-planar graphs with certain properties;
– edge densities and inclusion relationships for 2-layer graphs, as well as characterizations for complete bipartite graphs in the 2-layer setting
- …