229 research outputs found
Dirac's theorem for random regular graphs
We prove a `resilience' version of Dirac's theorem in the setting of random
regular graphs. More precisely, we show that, whenever is sufficiently
large compared to , a.a.s. the following holds: let be any
subgraph of the random -vertex -regular graph with minimum
degree at least . Then is Hamiltonian.
This proves a conjecture of Ben-Shimon, Krivelevich and Sudakov. Our result
is best possible: firstly, the condition that is large cannot be omitted,
and secondly, the minimum degree bound cannot be improved.Comment: Final accepted version, to appear in Combinatorics, Probability &
Computin
Determinant Sums for Undirected Hamiltonicity
We present a Monte Carlo algorithm for Hamiltonicity detection in an
-vertex undirected graph running in time. To the best of
our knowledge, this is the first superpolynomial improvement on the worst case
runtime for the problem since the bound established for TSP almost
fifty years ago (Bellman 1962, Held and Karp 1962). It answers in part the
first open problem in Woeginger's 2003 survey on exact algorithms for NP-hard
problems.
For bipartite graphs, we improve the bound to time. Both the
bipartite and the general algorithm can be implemented to use space polynomial
in .
We combine several recently resurrected ideas to get the results. Our main
technical contribution is a new reduction inspired by the algebraic sieving
method for -Path (Koutis ICALP 2008, Williams IPL 2009). We introduce the
Labeled Cycle Cover Sum in which we are set to count weighted arc labeled cycle
covers over a finite field of characteristic two. We reduce Hamiltonicity to
Labeled Cycle Cover Sum and apply the determinant summation technique for Exact
Set Covers (Bj\"orklund STACS 2010) to evaluate it.Comment: To appear at IEEE FOCS 201
On the trace of random walks on random graphs
We study graph-theoretic properties of the trace of a random walk on a random
graph. We show that for any there exists such that the
trace of the simple random walk of length on the
random graph for is, with high probability,
Hamiltonian and -connected. In the special case (i.e.
when ), we show a hitting time result according to which, with high
probability, exactly one step after the last vertex has been visited, the trace
becomes Hamiltonian, and one step after the last vertex has been visited for
the 'th time, the trace becomes -connected.Comment: 32 pages, revised versio
Edge-dominating cycles, k-walks and Hamilton prisms in -free graphs
We show that an edge-dominating cycle in a -free graph can be found in
polynomial time; this implies that every 1/(k-1)-tough -free graph admits
a k-walk, and it can be found in polynomial time. For this class of graphs,
this proves a long-standing conjecture due to Jackson and Wormald (1990).
Furthermore, we prove that for any \epsilon>0 every (1+\epsilon)-tough
-free graph is prism-Hamiltonian and give an effective construction of a
Hamiltonian cycle in the corresponding prism, along with few other similar
results.Comment: LaTeX, 8 page
Generating random graphs in biased Maker-Breaker games
We present a general approach connecting biased Maker-Breaker games and
problems about local resilience in random graphs. We utilize this approach to
prove new results and also to derive some known results about biased
Maker-Breaker games. In particular, we show that for
, Maker can build a pancyclic graph (that is, a graph
that contains cycles of every possible length) while playing a game on
. As another application, we show that for , playing a game on , Maker can build a graph which
contains copies of all spanning trees having maximum degree with
a bare path of linear length (a bare path in a tree is a path with all
interior vertices of degree exactly two in )
- …