Related papers: On The Cycle Double Cover Problem

Given a bridgeless graph G, the well-known cycle double cover conjecture posits that there is a list of cycles of G, such that every edge appears in exactly two cycles. In this paper, we prove the cycle double cover conjecture. More…

Given a bridgeless graph $G$, the Cycle Double Cover Conjecture posits that there is a list of cycles of $G$, such that every edge appears in exactly two cycles on the list. This conjecture was originally posed independently in 1973 by…

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 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…

The Cycle double cover (CDC) conjecture states that for every bridgeless graph $G$, there exists a family $\mathcal{F}$ of cycles such that each edge of the graph is contained in exactly two members of $\mathcal{F}$. Given an embedding of a…

We show that every $2$-connected cubic graph $G$ has a cycle double cover if $G$ has a spanning subgraph $F$ such that (i) every component of $F$ has an even number of vertices (ii) every component of $F$ is either a cycle or a subdivision…

The strong cycle double cover conjecture states that for every circuit $C$ of a bridgeless cubic graph $G$, there is a cycle double cover of $G$ which contains $C$. We conjecture that there is even a 5-cycle double cover $S$ of $G$ which…

The cycle double cover conjecture is a long standing problem in graph theory, which links local properties, the valency of a vertex and no bridges, and a global property of the graph, being covered by a particular set of cycles. We prove…

In this article, we give a positive answer to the cycle double cover conjecture. Ones who are mainly interesting in the proof of the conjecture can only read Sections 2 and 4.

Which $2$-regular subgraph $R$ of a cubic graph $G$ can be extended to a cycle double cover of $G$? We provide a condition which ensures that every $R$ satisfying this condition is part of a cycle double cover of $G$. As one consequence, we…

A directed cycle double cover of a graph G is a family of cycles of G, each provided with an orientation, such that every edge of G is covered by exactly two oppositely directed cycles. Explicit obstacles to the existence of a directed…

Given a graph $G$ and a subset $X$ of vertices of $G$ with size at least two, we denote by $N^2_G(X)$ the set of vertices of $G$ that have at least two neighbors in $X$. We say that a bipartite graph $G$ with sides $A$ and $B$ satisfies the…

We prove that if $G$ is a 2-connected graph with $\delta(G) \geqslant \frac{v(G) + 2}{3}$ then $G$ has a cycle $W$ such that $V(G - W)$ is independent. This result is best possible in the sense that it becomes false if $\frac{v(G) + 2}{3}$…

Let $H$ be a cubic graph admitting a 3-edge-coloring $c: E(H)\to \mathbb Z_3$ such that the edges colored by 0 and $\mu\in\{1,2\}$ induce a Hamilton circuit of $H$ and the edges colored by 1 and 2 induce a 2-factor $F$. The graph $H$ is…

A conjecture of Berge suggests that every bridgeless cubic graph can have its edges covered with at most five perfect matchings. Since three perfect matchings suffice only when the graph in question is $3$-edge-colourable, the rest of cubic…

We explore the well-known Jaeger's directed cycle double cover conjecture which is equivalent to the assertion that every cubic bridgeless graph has an embedding on a closed orientable surface with no dual loop. We associate each cubic…

We show that for every two cycles $C,D$, there exists $c>0$ such that if $G$ is both $C$-free and $\overline{D}$-free then $G$ has a clique or stable set of size at least $|G|^c$. ("$H$-free" means with no induced subgraph isomorphic to…

Assume $G$ is a bridgeless graph. A cycle cover of $G$ is a collection of cycles of $G$ such that each edge of $G$ is contained in at least one of the cycles. The length of a cycle cover of $G$ is the sum of the lengths of the cycles in the…

A linear cycle in a hypergraph $H$ is a cyclic sequence of hyperedges such that two consecutive hyperedges intersect in exactly one element and two nonconsecutive hyperedges are disjoint and $\alpha(H)$ denotes the size of a largest…

A small oriented cycle double cover (SOCDC)} of a bridgeless graph $G$ on $n$ vertices is a collection of at most $n-1$ directed cycles of the symmetric orientation, $G_s$, of $G$ such that each edge of $G_s$ lies in exactly one of the…