# Why is a bipartite graph in which every vertex has degree exactly $2$ is simply a cycle?

I am trying to intuitively understand why a bipartite graph in which every vertex has degree exactly $$2$$ is simply a cycle. So far, I have tried to intuitively justify this by saying that an Eulerian tour exists due to the graph being even degree, and that it is connected as the number of vertices is equal to the number of edges, meaning this is a tree with another edge added (I am quite unsure about this rationale behind connection). However, an Eulerian tour isn't the same as a cycle as a cycle can't contain repeated vertices but an Eulerian tour can. I know that if an Eulerian tour exists, a cycle exists in the graph by eliminating repeated edges in the Eulerian tour, but this is different than saying that the entire graph (without deleting edges) constitutes a cycle. So how can I intuitively justify why a bipartite graph in which every vertex has degree exactly $$2$$ is simply a cycle?

EDIT: the solution to a problem I am trying to understand says:

we have a bipartite graph where every vertex has degree d = 2. This means that the graph is just a cycle of even length, which is a case that we’ve already covered in the first part.

The first part of which they spoke was showing any cycle of even length can be 2 colored, and the context is that we are showing that any bipartite graph wherein the vertices have degree exactly $$2^k$$ can be edge-colored using $$2^k$$ colors, by induction on $$k$$ and above they are talking about the base case. I am confused about this statement and am wondering how to make sense of it in light of what comments and answers have said about the claim in my question being false.

• a graph (not necessarily bipartite) in which every vertex has degree exactly 2 is a collection of disjoint cycles, not necessarily a single cycle. Commented Oct 7, 2023 at 9:32
• What you are asking about is not true. A graph consisting of two disjoint 4-cycles is a counterexample. You have to assume the graph is connected to get the result you want. Commented Oct 7, 2023 at 9:33
• @caduk how would we show that it is necessarily a collection of disjoint cycles? Commented Oct 7, 2023 at 9:56
• @Shmuel Given an edge of the graph, if you walk the graph, the path is uniquely determined (there is always one direction that does not go backward) and you must loop back to the other extremity of the starting edge (otherwise if you reach another visited vertex, this vertex would have degree at least 3), so the corresponding connected component is formed of a single cycle, hence it is a cycle graph. Commented Oct 7, 2023 at 10:25