Rainbow Hamilton cycles and lopsidependency

The local lemma has been used in various ways to infer the existence of rainbow Hamilton cycles in complete graphs when each colour is used at most O(n) times. However, the existence of a lopsidependency graph for Hamilton cycles has neither been proved nor refuted. All previous approaches have had to prove a variant of the local lemma or reduce the problem of finding Hamilton cycles to finding another combinatorial structure, such as Latin transversals. In this paper, we revisit the question of whether or not Hamilton cycles have a lopsidependency graph and give a positive answer for this question. We also use the resampling oracle framework of Harvey and Vondrák to give a polynomial time algorithm for finding rainbow Hamilton cycles in complete graphs.