On Barnette’s conjecture

Barnette’s conjecture is the statement that every cubic 3-connected bipartite planar graph is Hamiltonian. We show that if such a graph has a 2-factor F which consists only of facial 4-cycles, then the following properties are satisfied: (1) edge is chosen on a face and this edge is in F , there is a Hamilton cycle containing all other edges of this face. face is chosen, there is a Hamilton cycle which avoids all edges of this face which are not in F . two edges are chosen on the same face, there is a Hamilton cycle through one and avoiding the other. two edges are chosen which are an even distance apart on the same face, there is a Hamilton cycle which avoids both.