482 research outputs found
Hamilton cycles in graphs and hypergraphs: an extremal perspective
As one of the most fundamental and well-known NP-complete problems, the
Hamilton cycle problem has been the subject of intensive research. Recent
developments in the area have highlighted the crucial role played by the
notions of expansion and quasi-randomness. These concepts and other recent
techniques have led to the solution of several long-standing problems in the
area. New aspects have also emerged, such as resilience, robustness and the
study of Hamilton cycles in hypergraphs. We survey these developments and
highlight open problems, with an emphasis on extremal and probabilistic
approaches.Comment: to appear in the Proceedings of the ICM 2014; due to given page
limits, this final version is slightly shorter than the previous arxiv
versio
Rainbow Matchings and Hamilton Cycles in Random Graphs
Let be drawn uniformly from all -uniform, -partite
hypergraphs where each part of the partition is a disjoint copy of . We
let HP^{(\k)}_{n,m,k} be an edge colored version, where we color each edge
randomly from one of \k colors. We show that if \k=n and where
is sufficiently large then w.h.p. there is a rainbow colored perfect
matching. I.e. a perfect matching in which every edge has a different color. We
also show that if is even and where is sufficiently large
then w.h.p. there is a rainbow colored Hamilton cycle in . Here
denotes a random edge coloring of with colors.
When is odd, our proof requires m=\om(n\log n) for there to be a rainbow
Hamilton cycle.Comment: We replaced graphs by k-uniform hypergraph
Hypergraph matchings and designs
We survey some aspects of the perfect matching problem in hypergraphs, with
particular emphasis on structural characterisation of the existence problem in
dense hypergraphs and the existence of designs.Comment: 19 pages, for the 2018 IC
Exact Covers via Determinants
Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such
that every hyperedge includes one vertex from each part, the k-dimensional
matching problem asks whether there is a disjoint collection of the hyperedges
which covers all vertices. We show it can be solved by a randomized polynomial
space algorithm in time O*(2^(n(k-2)/k)). The O*() notation hides factors
polynomial in n and k.
When we drop the partition constraint and permit arbitrary hyperedges of
cardinality k, we obtain the exact cover by k-sets problem. We show it can be
solved by a randomized polynomial space algorithm in time O*(c_k^n), where
c_3=1.496, c_4=1.642, c_5=1.721, and provide a general bound for larger k.
Both results substantially improve on the previous best algorithms for these
problems, especially for small k, and follow from the new observation that
Lovasz' perfect matching detection via determinants (1979) admits an embedding
in the recently proposed inclusion-exclusion counting scheme for set covers,
despite its inability to count the perfect matchings
- …