813 research outputs found
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
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to
be Hamiltonian. This condition is most easily described as a property of the
dual graph. Let be a planar triangulation. Then the dual is a cubic
3-connected planar graph, and is bipartite if and only if is
Eulerian. We prove that if the vertices of are (improperly) coloured blue
and red, such that the blue vertices cover the faces of , there is no blue
cycle, and every red cycle contains a vertex of degree at most 4, then is
Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if
is an Eulerian planar triangulation, whose vertices are properly coloured
blue, red and green, such that every red-green cycle contains a vertex of
degree 4, then is Hamiltonian. Our final result highlights the
limitations of using a proper colouring of as a starting point for proving
Barnette's Conjecture. We also explain related results on Barnette's Conjecture
that were obtained by Kelmans and for which detailed self-contained proofs have
not been published.Comment: 12 pages, 7 figure
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
- …