A cycle double cover of an undirected graph is a collection of cycles that cover each edge of the graph exactly twice.
For a polyhedral graph, the faces of a corresponding convex polyhedron give a double cover of the graph since each edge belongs to exactly
two faces. As an example, the cycle double cover of the cubical
graph is illustrated above.