arXiv++ Combinatorics

In this paper, a polynomial time algorithm for finding the set of all cyclic subsets in a graph is presented. The concept of cyclic subsets has already been introduced in an earlier paper. The algorithm finds cyclic subsets in a graph G by conjoining building block subsets of length three in V(G). We prove the correctness of this algorithm and present an asymptotic time complexity analysis of the algorithm's performance.

In this paper, a proof of the cycle double cover conjecture is presented. The cycle double cover conjecture purports that if a graph is bridgeless, then there exists a list of cycles in the graph such that every edge in the graph appears in the list exactly twice. By applying induction on the number of edges in a bridgeless graph, I show that when an edge is added to a bridgeless graph, we can reform the cycle double cover to include that edge. By mathematical induction, this concludes the general CDC.

In this paper, the concept of cyclic subsets in graph theory is introduced. An interesting theorem which relates to the collective Hamiltonicity of these cyclic subsets in graphs is also presented. This paper uses this theorem to construct an inductive proof of Barnette's long-standing conjecture, which asks whether every cubic, polyhedral, bipartite graph is Hamiltonian. Finding a class of graphs that are certain to be Hamiltonian is one of the biggest unsolved problems in Hamiltonian graph theory today.