46 research outputs found
Planar Embeddings with Small and Uniform Faces
Motivated by finding planar embeddings that lead to drawings with favorable
aesthetics, we study the problems MINMAXFACE and UNIFORMFACES of embedding a
given biconnected multi-graph such that the largest face is as small as
possible and such that all faces have the same size, respectively.
We prove a complexity dichotomy for MINMAXFACE and show that deciding whether
the maximum is at most is polynomial-time solvable for and
NP-complete for . Further, we give a 6-approximation for minimizing
the maximum face in a planar embedding. For UNIFORMFACES, we show that the
problem is NP-complete for odd and even . Moreover, we
characterize the biconnected planar multi-graphs admitting 3- and 4-uniform
embeddings (in a -uniform embedding all faces have size ) and give an
efficient algorithm for testing the existence of a 6-uniform embedding.Comment: 23 pages, 5 figures, extended version of 'Planar Embeddings with
Small and Uniform Faces' (The 25th International Symposium on Algorithms and
Computation, 2014
Force-directed embedding of scale-free networks in the hyperbolic plane
Force-directed drawing algorithms are the most commonly used approach to visualize networks. While they are usually very robust, the performance of Euclidean spring embedders decreases if the graph exhibits the high level of heterogeneity that typically occurs in scale-free real-world networks. As heterogeneity naturally emerges from hyperbolic geometry (in fact, scale-free networks are often perceived to have an underlying hyperbolic geometry), it is natural to embed them into the hyperbolic plane instead. Previous techniques that produce hyperbolic embeddings usually make assumptions about the given network, which (if not met) impairs the quality of the embedding. It is still an open problem to adapt force-directed embedding algorithms to make use of the heterogeneity of the hyperbolic plane, while also preserving their robustness.
We identify fundamental differences between the behavior of spring embedders in Euclidean and hyperbolic space, and adapt the technique to take advantage of the heterogeneity of the hyperbolic plane
Simultaneous Orthogonal Planarity
We introduce and study the problem: Given planar
graphs each with maximum degree 4 and the same vertex set, do they admit an
OrthoSEFE, that is, is there an assignment of the vertices to grid points and
of the edges to paths on the grid such that the same edges in distinct graphs
are assigned the same path and such that the assignment induces a planar
orthogonal drawing of each of the graphs?
We show that the problem is NP-complete for even if the shared
graph is a Hamiltonian cycle and has sunflower intersection and for
even if the shared graph consists of a cycle and of isolated vertices. Whereas
the problem is polynomial-time solvable for when the union graph has
maximum degree five and the shared graph is biconnected. Further, when the
shared graph is biconnected and has sunflower intersection, we show that every
positive instance has an OrthoSEFE with at most three bends per edge.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
Hierarchical Partial Planarity
In this paper we consider graphs whose edges are associated with a degree of
{\em importance}, which may depend on the type of connections they represent or
on how recently they appeared in the scene, in a streaming setting. The goal is
to construct layouts of these graphs in which the readability of an edge is
proportional to its importance, that is, more important edges have fewer
crossings. We formalize this problem and study the case in which there exist
three different degrees of importance. We give a polynomial-time testing
algorithm when the graph induced by the two most important sets of edges is
biconnected. We also discuss interesting relationships with other
constrained-planarity problems.Comment: Conference version appeared in WG201
Planar L-Drawings of Directed Graphs
We study planar drawings of directed graphs in the L-drawing standard. We
provide necessary conditions for the existence of these drawings and show that
testing for the existence of a planar L-drawing is an NP-complete problem.
Motivated by this result, we focus on upward-planar L-drawings. We show that
directed st-graphs admitting an upward- (resp. upward-rightward-) planar
L-drawing are exactly those admitting a bitonic (resp. monotonically
increasing) st-ordering. We give a linear-time algorithm that computes a
bitonic (resp. monotonically increasing) st-ordering of a planar st-graph or
reports that there exists none.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Simultaneous Embeddings with Few Bends and Crossings
A simultaneous embedding with fixed edges (SEFE) of two planar graphs and
is a pair of plane drawings of and that coincide when restricted to
the common vertices and edges of and . We show that whenever and
admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve
with few bends and every pair of edges has few crossings. Specifically: (1) if
and are trees then one bend per edge and four crossings per edge pair
suffice (and one bend per edge is sometimes necessary), (2) if is a planar
graph and is a tree then six bends per edge and eight crossings per edge
pair suffice, and (3) if and are planar graphs then six bends per edge
and sixteen crossings per edge pair suffice. Our results improve on a paper by
Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a
paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge
pair suffice.Comment: Full version of the paper "Simultaneous Embeddings with Few Bends and
Crossings" accepted at GD '1
Planar Octilinear Drawings with One Bend Per Edge
In octilinear drawings of planar graphs, every edge is drawn as an
alternating sequence of horizontal, vertical and diagonal ()
line-segments. In this paper, we study octilinear drawings of low edge
complexity, i.e., with few bends per edge. A -planar graph is a planar graph
in which each vertex has degree less or equal to . In particular, we prove
that every 4-planar graph admits a planar octilinear drawing with at most one
bend per edge on an integer grid of size . For 5-planar
graphs, we prove that one bend per edge still suffices in order to construct
planar octilinear drawings, but in super-polynomial area. However, for 6-planar
graphs we give a class of graphs whose planar octilinear drawings require at
least two bends per edge
On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs
In this paper we study the area requirements of planar greedy drawings of
triconnected planar graphs. Cao, Strelzoff, and Sun exhibited a family
of subdivisions of triconnected plane graphs and claimed that every planar
greedy drawing of the graphs in respecting the prescribed plane
embedding requires exponential area. However, we show that every -vertex
graph in actually has a planar greedy drawing respecting the
prescribed plane embedding on an grid. This reopens the
question whether triconnected planar graphs admit planar greedy drawings on a
polynomial-size grid. Further, we provide evidence for a positive answer to the
above question by proving that every -vertex Halin graph admits a planar
greedy drawing on an grid. Both such results are obtained by
actually constructing drawings that are convex and angle-monotone. Finally, we
consider -Schnyder drawings, which are angle-monotone and hence greedy
if , and show that there exist planar triangulations for
which every -Schnyder drawing with a fixed requires
exponential area for any resolution rule
On the Structural Properties of Social Networks and their Measurement-calibrated Synthetic Counterparts
Data-driven analysis of large social networks has attracted a great deal of
research interest. In this paper, we investigate 120 real social networks and
their measurement-calibrated synthetic counterparts generated by four
well-known network models. We investigate the structural properties of the
networks revealing the correlation profiles of graph metrics across various
social domains (friendship networks, communication networks, and collaboration
networks). We find that the correlation patterns differ across domains. We
identify a non-redundant set of metrics to describe social networks. We study
which topological characteristics of real networks the models can or cannot
capture. We find that the goodness-of-fit of the network models depends on the
domains. Furthermore, while 2K and stochastic block models lack the capability
of generating graphs with large diameter and high clustering coefficient at the
same time, they can still be used to mimic social networks relatively
efficiently.Comment: To appear in International Conference on Advances in Social Networks
Analysis and Mining (ASONAM '19), Vancouver, BC, Canad
Simultaneous embedding: edge orderings, relative positions, cutvertices
\u3cp\u3eA simultaneous embedding (with fixed edges) of two graphs G1 and G2 with common graph G=G1â©G2 is a pair of planar drawings of G1 and G2 that coincide on G. It is an open question whether there is a polynomial-time algorithm that decides whether two graphs admit a simultaneous embedding (problem Sefe). In this paper, we present two results. First, a set of three linear-time preprocessing algorithms that remove certain substructures from a given Sefe instance, producing a set of equivalent Sefe instances without such substructures. The structures we can remove are (1) cutvertices of the union graph GâȘ=G1âȘG2, (2) most separating pairs of G
\u3csup\u3eâȘ\u3c/sup\u3e, and (3) connected components of G that are biconnected but not a cycle. Second, we give an O(n
\u3csup\u3e3\u3c/sup\u3e) -time algorithm solving Sefe for instances with the following restriction. Let u be a pole of a P-node Ό in the SPQR-tree of a block of G1 or G2. Then at most three virtual edges of Ό may contain common edges incident to u. All algorithms extend to the sunflower case, i.e., to the case of more than two graphs pairwise intersecting in the same common graph.
\u3c/p\u3