307 research outputs found
On the probability of planarity of a random graph near the critical point
Consider the uniform random graph with vertices and edges.
Erd\H{o}s and R\'enyi (1960) conjectured that the limit
\lim_{n \to \infty} \Pr\{G(n,\textstyle{n\over 2}) is planar}} exists
and is a constant strictly between 0 and 1. \L uczak, Pittel and Wierman (1994)
proved this conjecture and Janson, \L uczak, Knuth and Pittel (1993) gave lower
and upper bounds for this probability.
In this paper we determine the exact probability of a random graph being
planar near the critical point . For each , we find an exact
analytic expression for
In particular, we obtain .
We extend these results to classes of graphs closed under taking minors. As
an example, we show that the probability of being
series-parallel converges to 0.98003.
For the sake of completeness and exposition we reprove in a concise way
several basic properties we need of a random graph near the critical point.Comment: 10 pages, 1 figur
Counting and Enumerating Crossing-free Geometric Graphs
We describe a framework for counting and enumerating various types of
crossing-free geometric graphs on a planar point set. The framework generalizes
ideas of Alvarez and Seidel, who used them to count triangulations in time
where is the number of points. The main idea is to reduce the
problem of counting geometric graphs to counting source-sink paths in a
directed acyclic graph.
The following new results will emerge. The number of all crossing-free
geometric graphs can be computed in time for some .
The number of crossing-free convex partitions can be computed in time
. The number of crossing-free perfect matchings can be computed in
time . The number of convex subdivisions can be computed in time
. The number of crossing-free spanning trees can be computed in time
for some . The number of crossing-free spanning cycles
can be computed in time for some .
With the same bounds on the running time we can construct data structures
which allow fast enumeration of the respective classes. For example, after
time of preprocessing we can enumerate the set of all crossing-free
perfect matchings using polynomial time per enumerated object. For
crossing-free perfect matchings and convex partitions we further obtain
enumeration algorithms where the time delay for each (in particular, the first)
output is bounded by a polynomial in .
All described algorithms are comparatively simple, both in terms of their
analysis and implementation
Face pairing graphs and 3-manifold enumeration
The face pairing graph of a 3-manifold triangulation is a 4-valent graph
denoting which tetrahedron faces are identified with which others. We present a
series of properties that must be satisfied by the face pairing graph of a
closed minimal P^2-irreducible triangulation. In addition we present
constraints upon the combinatorial structure of such a triangulation that can
be deduced from its face pairing graph. These results are then applied to the
enumeration of closed minimal P^2-irreducible 3-manifold triangulations,
leading to a significant improvement in the performance of the enumeration
algorithm. Results are offered for both orientable and non-orientable
triangulations.Comment: 30 pages, 57 figures; v2: clarified some passages and generalised the
final theorem to the non-orientable case; v3: fixed a flaw in the proof of
the conical face lemm
Random planar maps and graphs with minimum degree two and three
We find precise asymptotic estimates for the number of planar maps and graphs
with a condition on the minimum degree, and properties of random graphs from
these classes. In particular we show that the size of the largest tree attached
to the core of a random planar graph is of order c log(n) for an explicit
constant c. These results provide new information on the structure of random
planar graphs.Comment: 32 page
Spanning trees in random series-parallel graphs
By means of analytic techniques we show that the expected number of spanning
trees in a connected labelled series-parallel graph on vertices chosen
uniformly at random satisfies an estimate of the form , where and are computable constants, the values of
which are approximately and .
We obtain analogue results for subfamilies of series-parallel graphs including
2-connected series-parallel graphs, 2-trees, and series-parallel graphs with
fixed excess
- …
