193 research outputs found
A plane graph representation of triconnected graphs
AbstractGiven a graph G=(V,E), a set S={s1,s2,…,sk} of k vertices of V, and k natural numbers n1,n2,…,nk such that ∑i=1kni=|V|, the k-partition problem is to find a partition V1,V2,…,Vk of the vertex set V such that |Vi|=ni, si∈Vi, and Vi induces a connected subgraph of G for each i=1,2,…,k. For the tripartition problem on a triconnected graph, a naive algorithm can be designed based on a directional embedding of G in the two-dimensional Euclidean space. However, for graphs of large number of vertices, the implementing of this algorithm requires high precision real arithmetic to distinguish two close vertices in the plane. In this paper, we propose an algorithm for dealing with the tripartition problem by introducing a new data structure called the region graph, which represents a kind of combinatorial embedding of the given graph in the plane. The algorithm constructs a desired tripartition combinatorially in the sense that it does not require any geometrical computation with actual coordinates in the Euclidean space
Square-Contact Representations of Partial 2-Trees and Triconnected Simply-Nested Graphs
A square-contact representation of a planar graph G = (V,E) maps vertices in V to interior-disjoint axis-aligned squares in the plane and edges in E to adjacencies between the sides of the corresponding squares. In this paper, we study proper square-contact representations of planar graphs, in which any two squares are either disjoint or share infinitely many points.
We characterize the partial 2-trees and the triconnected cycle-trees allowing for such representations. For partial 2-trees our characterization uses a simple forbidden subgraph whose structure forces a separating triangle in any embedding. For the triconnected cycle-trees, a subclass of the triconnected simply-nested graphs, we use a new structural decomposition for the graphs in this family, which may be of independent interest. Finally, we study square-contact representations of general triconnected simply-nested graphs with respect to their outerplanarity index
Steinitz Theorems for Orthogonal Polyhedra
We define a simple orthogonal polyhedron to be a three-dimensional polyhedron
with the topology of a sphere in which three mutually-perpendicular edges meet
at each vertex. By analogy to Steinitz's theorem characterizing the graphs of
convex polyhedra, we find graph-theoretic characterizations of three classes of
simple orthogonal polyhedra: corner polyhedra, which can be drawn by isometric
projection in the plane with only one hidden vertex, xyz polyhedra, in which
each axis-parallel line through a vertex contains exactly one other vertex, and
arbitrary simple orthogonal polyhedra. In particular, the graphs of xyz
polyhedra are exactly the bipartite cubic polyhedral graphs, and every
bipartite cubic polyhedral graph with a 4-connected dual graph is the graph of
a corner polyhedron. Based on our characterizations we find efficient
algorithms for constructing orthogonal polyhedra from their graphs.Comment: 48 pages, 31 figure
Optimal Morphs of Convex Drawings
We give an algorithm to compute a morph between any two convex drawings of
the same plane graph. The morph preserves the convexity of the drawing at any
time instant and moves each vertex along a piecewise linear curve with linear
complexity. The linear bound is asymptotically optimal in the worst case.Comment: To appear in SoCG 201
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
Orderly Spanning Trees with Applications
We introduce and study the {\em orderly spanning trees} of plane graphs. This
algorithmic tool generalizes {\em canonical orderings}, which exist only for
triconnected plane graphs. Although not every plane graph admits an orderly
spanning tree, we provide an algorithm to compute an {\em orderly pair} for any
connected planar graph , consisting of a plane graph of , and an
orderly spanning tree of . We also present several applications of orderly
spanning trees: (1) a new constructive proof for Schnyder's Realizer Theorem,
(2) the first area-optimal 2-visibility drawing of , and (3) the best known
encodings of with O(1)-time query support. All algorithms in this paper run
in linear time.Comment: 25 pages, 7 figures, A preliminary version appeared in Proceedings of
the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2001),
Washington D.C., USA, January 7-9, 2001, pp. 506-51
NodeTrix Planarity Testing with Small Clusters
We study the NodeTrix planarity testing problem for flat clustered graphs
when the maximum size of each cluster is bounded by a constant . We consider
both the case when the sides of the matrices to which the edges are incident
are fixed and the case when they can be chosen arbitrarily. We show that
NodeTrix planarity testing with fixed sides can be solved in
time for every flat clustered graph that can be
reduced to a partial 2-tree by collapsing its clusters into single vertices. In
the general case, NodeTrix planarity testing with fixed sides can be solved in
time for , but it is NP-complete for any . NodeTrix
planarity testing remains NP-complete also in the free sides model when .Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
- …