A Constructive Proof of the Cycle Double Cover Conjecture
Discrete Mathematics
2012-02-08 v2 Data Structures and Algorithms
Combinatorics
Abstract
The cycle double cover conjecture states that a graph is bridge-free if and only if there is a family of edge-simple cycles such that each edge is contained in exactly two of them. It was formulated independently by Szekeres (1973) and Seymour (1979). In this paper, we settle the conjecture in the affirmative. In particular, we give an algorithm, which inductively constructs a cycle double cover in polynomial time.
Cite
@article{arxiv.1202.0569,
title = {A Constructive Proof of the Cycle Double Cover Conjecture},
author = {Alexander Souza},
journal= {arXiv preprint arXiv:1202.0569},
year = {2012}
}
Comments
Due to a flaw in Lemma 9, the paper has been withdrawn