1,113 research outputs found
On String Graph Limits and the Structure of a Typical String Graph
We study limits of convergent sequences of string graphs, that is, graphs
with an intersection representation consisting of curves in the plane. We use
these results to study the limiting behavior of a sequence of random string
graphs. We also prove similar results for several related graph classes.Comment: 18 page
Hyperbolic intersection graphs and (quasi)-polynomial time
We study unit ball graphs (and, more generally, so-called noisy uniform ball
graphs) in -dimensional hyperbolic space, which we denote by .
Using a new separator theorem, we show that unit ball graphs in
enjoy similar properties as their Euclidean counterparts, but in one dimension
lower: many standard graph problems, such as Independent Set, Dominating Set,
Steiner Tree, and Hamiltonian Cycle can be solved in
time for any fixed , while the same problems need
time in . We also show that these algorithms in
are optimal up to constant factors in the exponent under ETH.
This drop in dimension has the largest impact in , where we
introduce a new technique to bound the treewidth of noisy uniform disk graphs.
The bounds yield quasi-polynomial () algorithms for all of the
studied problems, while in the case of Hamiltonian Cycle and -Coloring we
even get polynomial time algorithms. Furthermore, if the underlying noisy disks
in have constant maximum degree, then all studied problems can
be solved in polynomial time. This contrasts with the fact that these problems
require time under ETH in constant maximum degree
Euclidean unit disk graphs.
Finally, we complement our quasi-polynomial algorithm for Independent Set in
noisy uniform disk graphs with a matching lower bound
under ETH. This shows that the hyperbolic plane is a potential source of
NP-intermediate problems.Comment: Short version appears in SODA 202
Graph Isomorphism for unit square graphs
In the past decades for more and more graph classes the Graph Isomorphism
Problem was shown to be solvable in polynomial time. An interesting family of
graph classes arises from intersection graphs of geometric objects. In this
work we show that the Graph Isomorphism Problem for unit square graphs,
intersection graphs of axis-parallel unit squares in the plane, can be solved
in polynomial time. Since the recognition problem for this class of graphs is
NP-hard we can not rely on standard techniques for geometric graphs based on
constructing a canonical realization. Instead, we develop new techniques which
combine structural insights into the class of unit square graphs with
understanding of the automorphism group of such graphs. For the latter we
introduce a generalization of bounded degree graphs which is used to capture
the main structure of unit square graphs. Using group theoretic algorithms we
obtain sufficient information to solve the isomorphism problem for unit square
graphs.Comment: 31 pages, 6 figure
Optimality program in segment and string graphs
Planar graphs are known to allow subexponential algorithms running in time
or for most of the paradigmatic
problems, while the brute-force time is very likely to be
asymptotically best on general graphs. Intrigued by an algorithm packing curves
in by Fox and Pach [SODA'11], we investigate which
problems have subexponential algorithms on the intersection graphs of curves
(string graphs) or segments (segment intersection graphs) and which problems
have no such algorithms under the ETH (Exponential Time Hypothesis). Among our
results, we show that, quite surprisingly, 3-Coloring can also be solved in
time on string graphs while an algorithm running
in time for 4-Coloring even on axis-parallel segments (of unbounded
length) would disprove the ETH. For 4-Coloring of unit segments, we show a
weaker ETH lower bound of which exploits the celebrated
Erd\H{o}s-Szekeres theorem. The subexponential running time also carries over
to Min Feedback Vertex Set but not to Min Dominating Set and Min Independent
Dominating Set.Comment: 19 pages, 15 figure
Coloring non-crossing strings
For a family of geometric objects in the plane
, define as the least
integer such that the elements of can be colored with
colors, in such a way that any two intersecting objects have distinct
colors. When is a set of pseudo-disks that may only intersect on
their boundaries, and such that any point of the plane is contained in at most
pseudo-disks, it can be proven that
since the problem is equivalent to cyclic coloring of plane graphs. In this
paper, we study the same problem when pseudo-disks are replaced by a family
of pseudo-segments (a.k.a. strings) that do not cross. In other
words, any two strings of are only allowed to "touch" each other.
Such a family is said to be -touching if no point of the plane is contained
in more than elements of . We give bounds on
as a function of , and in particular we show that
-touching segments can be colored with colors. This partially answers
a question of Hlin\v{e}n\'y (1998) on the chromatic number of contact systems
of strings.Comment: 19 pages. A preliminary version of this work appeared in the
proceedings of EuroComb'09 under the title "Coloring a set of touching
strings
- …