113,618 research outputs found
Optimal covers with Hamilton cycles in random graphs
A packing of a graph G with Hamilton cycles is a set of edge-disjoint
Hamilton cycles in G. Such packings have been studied intensively and recent
results imply that a largest packing of Hamilton cycles in G_n,p a.a.s. has
size \lfloor delta(G_n,p) /2 \rfloor. Glebov, Krivelevich and Szab\'o recently
initiated research on the `dual' problem, where one asks for a set of Hamilton
cycles covering all edges of G. Our main result states that for log^{117}n / n
< p < 1-n^{-1/8}, a.a.s. the edges of G_n,p can be covered by \lceil
Delta(G_n,p)/2 \rceil Hamilton cycles. This is clearly optimal and improves an
approximate result of Glebov, Krivelevich and Szab\'o, which holds for p >
n^{-1+\eps}. Our proof is based on a result of Knox, K\"uhn and Osthus on
packing Hamilton cycles in pseudorandom graphs.Comment: final version of paper (to appear in Combinatorica
Recognizing Graph Theoretic Properties with Polynomial Ideals
Many hard combinatorial problems can be modeled by a system of polynomial
equations. N. Alon coined the term polynomial method to describe the use of
nonlinear polynomials when solving combinatorial problems. We continue the
exploration of the polynomial method and show how the algorithmic theory of
polynomial ideals can be used to detect k-colorability, unique Hamiltonicity,
and automorphism rigidity of graphs. Our techniques are diverse and involve
Nullstellensatz certificates, linear algebra over finite fields, Groebner
bases, toric algebra, convex programming, and real algebraic geometry.Comment: 20 pages, 3 figure
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
A model of computation that is widely used in the formal analysis of reactive
systems is symbolic algorithms. In this model the access to the input graph is
restricted to consist of symbolic operations, which are expensive in comparison
to the standard RAM operations. We give lower bounds on the number of symbolic
operations for basic graph problems such as the computation of the strongly
connected components and of the approximate diameter as well as for fundamental
problems in model checking such as safety, liveness, and co-liveness. Our lower
bounds are linear in the number of vertices of the graph, even for
constant-diameter graphs. For none of these problems lower bounds on the number
of symbolic operations were known before. The lower bounds show an interesting
separation of these problems from the reachability problem, which can be solved
with symbolic operations, where is the diameter of the graph.
Additionally we present an approximation algorithm for the graph diameter
which requires symbolic steps to achieve a
-approximation for any constant . This compares to
symbolic steps for the (naive) exact algorithm and
symbolic steps for a 2-approximation. Finally we also give a refined analysis
of the strongly connected components algorithms of Gentilini et al., showing
that it uses an optimal number of symbolic steps that is proportional to the
sum of the diameters of the strongly connected components
- …