17,019 research outputs found
The vertex-transitive TLF-planar graphs
We consider the class of the topologically locally finite (in short TLF)
planar vertex-transitive graphs, a class containing in particular all the
one-ended planar Cayley graphs and the normal transitive tilings. We
characterize these graphs with a finite local representation and a special kind
of finite state automaton named labeling scheme. As a result, we are able to
enumerate and describe all TLF-planar vertex-transitive graphs of any given
degree. Also, we are able decide to whether any TLF-planar transitive graph is
Cayley or not.Comment: Article : 23 pages, 15 figures Appendix : 13 pages, 72 figures
Submitted to Discrete Mathematics The appendix is accessible at
http://www.labri.fr/~renault/research/research.htm
Combinatorial and Geometric Properties of Planar Laman Graphs
Laman graphs naturally arise in structural mechanics and rigidity theory.
Specifically, they characterize minimally rigid planar bar-and-joint systems
which are frequently needed in robotics, as well as in molecular chemistry and
polymer physics. We introduce three new combinatorial structures for planar
Laman graphs: angular structures, angle labelings, and edge labelings. The
latter two structures are related to Schnyder realizers for maximally planar
graphs. We prove that planar Laman graphs are exactly the class of graphs that
have an angular structure that is a tree, called angular tree, and that every
angular tree has a corresponding angle labeling and edge labeling.
Using a combination of these powerful combinatorial structures, we show that
every planar Laman graph has an L-contact representation, that is, planar Laman
graphs are contact graphs of axis-aligned L-shapes. Moreover, we show that
planar Laman graphs and their subgraphs are the only graphs that can be
represented this way.
We present efficient algorithms that compute, for every planar Laman graph G,
an angular tree, angle labeling, edge labeling, and finally an L-contact
representation of G. The overall running time is O(n^2), where n is the number
of vertices of G, and the L-contact representation is realized on the n x n
grid.Comment: 17 pages, 11 figures, SODA 201
Enumerating planar locally finite Cayley graphs
We characterize the set of planar locally finite Cayley graphs, and give a
finite representation of these graphs by a special kind of finite state
automata called labeling schemes. As a result, we are able to enumerate and
describe all planar locally finite Cayley graphs of a given degree. This
analysis allows us to solve the problem of decision of the locally finite
planarity for a word-problem-decidable presentation.
Keywords: vertex-transitive, Cayley graph, planar graph, tiling, labeling
schemeComment: 19 pages, 6 PostScript figures, 12 embedded PsTricks figures. An
additional file (~ 438ko.) containing the figures in appendix might be found
at http://www.labri.fr/Perso/~renault/research/pages.ps.g
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
Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem
We consider arrangements of axis-aligned rectangles in the plane. A geometric
arrangement specifies the coordinates of all rectangles, while a combinatorial
arrangement specifies only the respective intersection type in which each pair
of rectangles intersects. First, we investigate combinatorial contact
arrangements, i.e., arrangements of interior-disjoint rectangles, with a
triangle-free intersection graph. We show that such rectangle arrangements are
in bijection with the 4-orientations of an underlying planar multigraph and
prove that there is a corresponding geometric rectangle contact arrangement.
Moreover, we prove that every triangle-free planar graph is the contact graph
of such an arrangement. Secondly, we introduce the question whether a given
rectangle arrangement has a combinatorially equivalent square arrangement. In
addition to some necessary conditions and counterexamples, we show that
rectangle arrangements pierced by a horizontal line are squarable under certain
sufficient conditions.Comment: 15 pages, 13 figures, extended version of a paper to appear at the
International Symposium on Graph Drawing and Network Visualization (GD) 201
Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer
Let be an -node planar graph. In a visibility representation of ,
each node of is represented by a horizontal line segment such that the line
segments representing any two adjacent nodes of are vertically visible to
each other. In the present paper we give the best known compact visibility
representation of . Given a canonical ordering of the triangulated , our
algorithm draws the graph incrementally in a greedy manner. We show that one of
three canonical orderings obtained from Schnyder's realizer for the
triangulated yields a visibility representation of no wider than
. Our easy-to-implement O(n)-time algorithm bypasses the
complicated subroutines for four-connected components and four-block trees
required by the best previously known algorithm of Kant. Our result provides a
negative answer to Kant's open question about whether is a
worst-case lower bound on the required width. Also, if has no degree-three
(respectively, degree-five) internal node, then our visibility representation
for is no wider than (respectively, ).
Moreover, if is four-connected, then our visibility representation for
is no wider than , matching the best known result of Kant and He. As a
by-product, we obtain a much simpler proof for a corollary of Wagner's Theorem
on realizers, due to Bonichon, Sa\"{e}c, and Mosbah.Comment: 11 pages, 6 figures, the preliminary version of this paper is to
appear in Proceedings of the 20th Annual Symposium on Theoretical Aspects of
Computer Science (STACS), Berlin, Germany, 200
- …