277 research outputs found
The Szemeredi-Trotter Theorem in the Complex Plane
It is shown that points and lines in the complex Euclidean plane
determine point-line incidences. This
bound is the best possible, and it generalizes the celebrated theorem by
Szemer\'edi and Trotter about point-line incidences in the real Euclidean plane
.Comment: 24 pages, 5 figures, to appear in Combinatoric
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs
Fan-planar graphs were recently introduced as a generalization of 1-planar
graphs. A graph is fan-planar if it can be embedded in the plane, such that
each edge that is crossed more than once, is crossed by a bundle of two or more
edges incident to a common vertex. A graph is outer-fan-planar if it has a
fan-planar embedding in which every vertex is on the outer face. If, in
addition, the insertion of an edge destroys its outer-fan-planarity, then it is
maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm
to test whether a given graph is maximal outer-fan-planar. The algorithm can
also be employed to produce an outer-fan-planar embedding, if one exists. On
the negative side, we show that testing fan-planarity of a graph is NP-hard,
for the case where the rotation system (i.e., the cyclic order of the edges
around each vertex) is given
Beyond Outerplanarity
We study straight-line drawings of graphs where the vertices are placed in
convex position in the plane, i.e., convex drawings. We consider two families
of graph classes with nice convex drawings: outer -planar graphs, where each
edge is crossed by at most other edges; and, outer -quasi-planar graphs
where no edges can mutually cross. We show that the outer -planar graphs
are -degenerate, and consequently that every
outer -planar graph can be -colored, and this
bound is tight. We further show that every outer -planar graph has a
balanced separator of size . This implies that every outer -planar
graph has treewidth . For fixed , these small balanced separators
allow us to obtain a simple quasi-polynomial time algorithm to test whether a
given graph is outer -planar, i.e., none of these recognition problems are
NP-complete unless ETH fails. For the outer -quasi-planar graphs we prove
that, unlike other beyond-planar graph classes, every edge-maximal -vertex
outer -quasi planar graph has the same number of edges, namely . We also construct planar 3-trees that are not outer
-quasi-planar. Finally, we restrict outer -planar and outer
-quasi-planar drawings to \emph{closed} drawings, where the vertex sequence
on the boundary is a cycle in the graph. For each , we express closed outer
-planarity and \emph{closed outer -quasi-planarity} in extended monadic
second-order logic. Thus, closed outer -planarity is linear-time testable by
Courcelle's Theorem.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Re-embedding a 1-Plane Graph into a Straight-line Drawing in Linear Time
Thomassen characterized some 1-plane embedding as the forbidden configuration
such that a given 1-plane embedding of a graph is drawable in straight-lines if
and only if it does not contain the configuration [C. Thomassen, Rectilinear
drawings of graphs, J. Graph Theory, 10(3), 335-341, 1988].
In this paper, we characterize some 1-plane embedding as the forbidden
configuration such that a given 1-plane embedding of a graph can be re-embedded
into a straight-line drawable 1-plane embedding of the same graph if and only
if it does not contain the configuration. Re-embedding of a 1-plane embedding
preserves the same set of pairs of crossing edges.
We give a linear-time algorithm for finding a straight-line drawable 1-plane
re-embedding or the forbidden configuration.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016). This is an extended
abstract. For a full version of this paper, see Hong S-H, Nagamochi H.:
Re-embedding a 1-Plane Graph into a Straight-line Drawing in Linear Time,
Technical Report TR 2016-002, Department of Applied Mathematics and Physics,
Kyoto University (2016
Dense Packings of Superdisks and the Role of Symmetry
We construct the densest known two-dimensional packings of superdisks in the
plane whose shapes are defined by |x^(2p) + y^(2p)| <= 1, which contains both
convex-shaped particles (p > 0.5, with the circular-disk case p = 1) and
concave-shaped particles (0 < p < 0.5). The packings of the convex cases with p
1 generated by a recently developed event-driven molecular dynamics (MD)
simulation algorithm [Donev, Torquato and Stillinger, J. Comput. Phys. 202
(2005) 737] suggest exact constructions of the densest known packings. We find
that the packing density (covering fraction of the particles) increases
dramatically as the particle shape moves away from the "circular-disk" point (p
= 1). In particular, we find that the maximal packing densities of superdisks
for certain p 6 = 1 are achieved by one of the two families of Bravais lattice
packings, which provides additional numerical evidence for Minkowski's
conjecture concerning the critical determinant of the region occupied by a
superdisk. Moreover, our analysis on the generated packings reveals that the
broken rotational symmetry of superdisks influences the packing characteristics
in a non-trivial way. We also propose an analytical method to construct dense
packings of concave superdisks based on our observations of the structural
properties of packings of convex superdisks.Comment: 15 pages, 8 figure
On a Tree and a Path with no Geometric Simultaneous Embedding
Two graphs and admit a geometric simultaneous
embedding if there exists a set of points P and a bijection M: P -> V that
induce planar straight-line embeddings both for and for . While it
is known that two caterpillars always admit a geometric simultaneous embedding
and that two trees not always admit one, the question about a tree and a path
is still open and is often regarded as the most prominent open problem in this
area. We answer this question in the negative by providing a counterexample.
Additionally, since the counterexample uses disjoint edge sets for the two
graphs, we also negatively answer another open question, that is, whether it is
possible to simultaneously embed two edge-disjoint trees. As a final result, we
study the same problem when some constraints on the tree are imposed. Namely,
we show that a tree of depth 2 and a path always admit a geometric simultaneous
embedding. In fact, such a strong constraint is not so far from closing the gap
with the instances not admitting any solution, as the tree used in our
counterexample has depth 4.Comment: 42 pages, 33 figure
Simultaneous Embeddability of Two Partitions
We study the simultaneous embeddability of a pair of partitions of the same
underlying set into disjoint blocks. Each element of the set is mapped to a
point in the plane and each block of either of the two partitions is mapped to
a region that contains exactly those points that belong to the elements in the
block and that is bounded by a simple closed curve. We establish three main
classes of simultaneous embeddability (weak, strong, and full embeddability)
that differ by increasingly strict well-formedness conditions on how different
block regions are allowed to intersect. We show that these simultaneous
embeddability classes are closely related to different planarity concepts of
hypergraphs. For each embeddability class we give a full characterization. We
show that (i) every pair of partitions has a weak simultaneous embedding, (ii)
it is NP-complete to decide the existence of a strong simultaneous embedding,
and (iii) the existence of a full simultaneous embedding can be tested in
linear time.Comment: 17 pages, 7 figures, extended version of a paper to appear at GD 201
Convexity-Increasing Morphs of Planar Graphs
We study the problem of convexifying drawings of planar graphs. Given any
planar straight-line drawing of an internally 3-connected graph, we show how to
morph the drawing to one with strictly convex faces while maintaining planarity
at all times. Our morph is convexity-increasing, meaning that once an angle is
convex, it remains convex. We give an efficient algorithm that constructs such
a morph as a composition of a linear number of steps where each step either
moves vertices along horizontal lines or moves vertices along vertical lines.
Moreover, we show that a linear number of steps is worst-case optimal.
To obtain our result, we use a well-known technique by Hong and Nagamochi for
finding redrawings with convex faces while preserving y-coordinates. Using a
variant of Tutte's graph drawing algorithm, we obtain a new proof of Hong and
Nagamochi's result which comes with a better running time. This is of
independent interest, as Hong and Nagamochi's technique serves as a building
block in existing morphing algorithms.Comment: Preliminary version in Proc. WG 201
Optimal Packings of Superballs
Dense hard-particle packings are intimately related to the structure of
low-temperature phases of matter and are useful models of heterogeneous
materials and granular media. Most studies of the densest packings in three
dimensions have considered spherical shapes, and it is only more recently that
nonspherical shapes (e.g., ellipsoids) have been investigated. Superballs
(whose shapes are defined by |x1|^2p + |x2|^2p + |x3|^2p <= 1) provide a
versatile family of convex particles (p >= 0.5) with both cubic- and
octahedral-like shapes as well as concave particles (0 < p < 0.5) with
octahedral-like shapes. In this paper, we provide analytical constructions for
the densest known superball packings for all convex and concave cases. The
candidate maximally dense packings are certain families of Bravais lattice
packings. The maximal packing density as a function of p is nonanalytic at the
sphere-point (p = 1) and increases dramatically as p moves away from unity. The
packing characteristics determined by the broken rotational symmetry of
superballs are similar to but richer than their two-dimensional "superdisk"
counterparts, and are distinctly different from that of ellipsoid packings. Our
candidate optimal superball packings provide a starting point to quantify the
equilibrium phase behavior of superball systems, which should deepen our
understanding of the statistical thermodynamics of nonspherical-particle
systems.Comment: 28 pages, 16 figure
- …