# Is there an existing graph that meets the following properties : disconnected, eulerian, hamiltonian and bipartite

A colleague of mine claims that there exists one, but I can't figure how an eulerian graph can be disconnected, since you have to visit all the graph vertices in the cycle...

-
It can’t be disconnected. Neither can a graph with a Hamilton circuit. –  Brian M. Scott Apr 11 '12 at 1:26
Maybe you should ask your colleague to exhibit the graph. –  Rahul Apr 11 '12 at 1:27
It might be a trick question with a silly answer like "empty graph". Depending on the definition the empty graph might be a disconnected one, e.g. if disconnected is defined as $\forall v \in V.\ \exists x, y \in V.\ x$ and $y$ are not connected. I do know that such definition does not make sense, just giving an example. –  dtldarek Apr 11 '12 at 1:40
@dtldarek, good point! There are good reasons to consider the empty graph disconnected. But I have no idea if it qualifies as Eulerian, Hamiltonian, or bipartite. –  Rahul Apr 11 '12 at 2:02

Sure it is. ${}$ –  Gerry Myerson Apr 11 '12 at 4:17
@Pacane Label the vertices in order around the cycle $A$, $B$, $C$, and $D$. The sets $\{A, C\}$ and $\{B, D\}$ are a bipartition. –  Austin Mohr Apr 11 '12 at 12:53