386 research outputs found
Hamiltonicity of 3-arc graphs
An arc of a graph is an oriented edge and a 3-arc is a 4-tuple of
vertices such that both and are paths of length two. The
3-arc graph of a graph is defined to have vertices the arcs of such
that two arcs are adjacent if and only if is a 3-arc of
. In this paper we prove that any connected 3-arc graph is Hamiltonian, and
all iterative 3-arc graphs of any connected graph of minimum degree at least
three are Hamiltonian. As a consequence we obtain that if a vertex-transitive
graph is isomorphic to the 3-arc graph of a connected arc-transitive graph of
degree at least three, then it is Hamiltonian. This confirms the well known
conjecture, that all vertex-transitive graphs with finitely many exceptions are
Hamiltonian, for a large family of vertex-transitive graphs. We also prove that
if a graph with at least four vertices is Hamilton-connected, then so are its
iterative 3-arc graphs.Comment: in press Graphs and Combinatorics, 201
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
Directed Hamiltonicity and Out-Branchings via Generalized Laplacians
We are motivated by a tantalizing open question in exact algorithms: can we
detect whether an -vertex directed graph has a Hamiltonian cycle in time
significantly less than ? We present new randomized algorithms that
improve upon several previous works:
1. We show that for any constant and prime we can count the
Hamiltonian cycles modulo in
expected time less than for a constant that depends only on and
. Such an algorithm was previously known only for the case of counting
modulo two [Bj\"orklund and Husfeldt, FOCS 2013].
2. We show that we can detect a Hamiltonian cycle in
time and polynomial space, where is the size of the maximum
independent set in . In particular, this yields an time
algorithm for bipartite directed graphs, which is faster than the
exponential-space algorithm in [Cygan et al., STOC 2013].
Our algorithms are based on the algebraic combinatorics of "incidence
assignments" that we can capture through evaluation of determinants of
Laplacian-like matrices, inspired by the Matrix--Tree Theorem for directed
graphs. In addition to the novel algorithms for directed Hamiltonicity, we use
the Matrix--Tree Theorem to derive simple algebraic algorithms for detecting
out-branchings. Specifically, we give an -time randomized algorithm
for detecting out-branchings with at least internal vertices, improving
upon the algorithms of [Zehavi, ESA 2015] and [Bj\"orklund et al., ICALP 2015].
We also present an algebraic algorithm for the directed -Leaf problem, based
on a non-standard monomial detection problem
Hamiltonicity, independence number, and pancyclicity
A graph on n vertices is called pancyclic if it contains a cycle of length l
for all 3 \le l \le n. In 1972, Erdos proved that if G is a Hamiltonian graph
on n > 4k^4 vertices with independence number k, then G is pancyclic. He then
suggested that n = \Omega(k^2) should already be enough to guarantee
pancyclicity. Improving on his and some other later results, we prove that
there exists a constant c such that n > ck^{7/3} suffices
- …