16,491 research outputs found
Intersection Graphs of L-Shapes and Segments in the Plane
An L-shape is the union of a horizontal and a vertical segment with a common endpoint. These come in four rotations: ⌊,⌈,⌋ and ⌉. A k-bend path is a simple path in the plane, whose direction changes k times from horizontal to vertical. If a graph admits an intersection representation in which every vertex is represented by an ⌊, an ⌊ or ⌈, a k-bend path, or a segment, then this graph is called an ⌊-graph, ⌊,⌈-graph, B k -VPG-graph or SEG-graph, respectively. Motivated by a theorem of Middendorf and Pfeiffer [Discrete Mathematics, 108(1):365–372, 1992], stating that every ⌊,⌈-graph is a SEG-graph, we investigate several known subclasses of SEG-graphs and show that they are ⌊-graphs, or B k -VPG-graphs for some small constant k. We show that all planar 3-trees, all line graphs of planar graphs, and all full subdivisions of planar graphs are ⌊-graphs. Furthermore we show that all complements of planar graphs are B 19-VPG-graphs and all complements of full subdivisions are B 2-VPG-graphs. Here a full subdivision is a graph in which each edge is subdivided at least once
Finding Geometric Representations of Apex Graphs is NP-Hard
Planar graphs can be represented as intersection graphs of different types of
geometric objects in the plane, e.g., circles (Koebe, 1936), line segments
(Chalopin \& Gon{\c{c}}alves, 2009), \textsc{L}-shapes (Gon{\c{c}}alves et al,
2018). For general graphs, however, even deciding whether such representations
exist is often -hard. We consider apex graphs, i.e., graphs that can be
made planar by removing one vertex from them. We show, somewhat surprisingly,
that deciding whether geometric representations exist for apex graphs is
-hard.
More precisely, we show that for every positive integer , recognizing
every graph class which satisfies \textsc{PURE-2-DIR} \subseteq
\mathcal{G} \subseteq \textsc{1-STRING} is -hard, even when the input
graphs are apex graphs of girth at least . Here, is the class
of intersection graphs of axis-parallel line segments (where intersections are
allowed only between horizontal and vertical segments) and \textsc{1-STRING} is
the class of intersection graphs of simple curves (where two curves share at
most one point) in the plane. This partially answers an open question raised by
Kratochv{\'\i}l \& Pergel (2007).
Most known -hardness reductions for these problems are from variants of
3-SAT. We reduce from the \textsc{PLANAR HAMILTONIAN PATH COMPLETION} problem,
which uses the more intuitive notion of planarity. As a result, our proof is
much simpler and encapsulates several classes of geometric graphs
Triangle-free geometric intersection graphs with no large independent sets
It is proved that there are triangle-free intersection graphs of line
segments in the plane with arbitrarily small ratio between the maximum size of
an independent set and the total number of vertices.Comment: Change of the title, minor revisio
Triangle-free geometric intersection graphs with large chromatic number
Several classical constructions illustrate the fact that the chromatic number
of a graph can be arbitrarily large compared to its clique number. However,
until very recently, no such construction was known for intersection graphs of
geometric objects in the plane. We provide a general construction that for any
arc-connected compact set in that is not an axis-aligned
rectangle and for any positive integer produces a family of
sets, each obtained by an independent horizontal and vertical scaling and
translation of , such that no three sets in pairwise intersect
and . This provides a negative answer to a question of
Gyarfas and Lehel for L-shapes. With extra conditions, we also show how to
construct a triangle-free family of homothetic (uniformly scaled) copies of a
set with arbitrarily large chromatic number. This applies to many common
shapes, like circles, square boundaries, and equilateral L-shapes.
Additionally, we reveal a surprising connection between coloring geometric
objects in the plane and on-line coloring of intervals on the line.Comment: Small corrections, bibliography updat
On grounded L-graphs and their relatives
We consider the graph class Grounded-L corresponding to graphs that admit an
intersection representation by L-shaped curves, where additionally the topmost
points of each curve are assumed to belong to a common horizontal line. We
prove that Grounded-L graphs admit an equivalent characterisation in terms of
vertex ordering with forbidden patterns.
We also compare this class to related intersection classes, such as the
grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance
graphs), or the outer-1-string graphs. We give constructions showing that these
classes are all distinct and satisfy only trivial or previously known
inclusions.Comment: 16 pages, 6 figure
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
- …