Same Degrees of Vertices does not imply Graph Isomorphism

Theorem
Let $G = \struct {\map V G, \map E G}$ and $H = \struct {\map V H, \map E H}$ be graphs such that:
 * $\card {\map V G} = \card {\map V H}$

where $\card {\map V G}$ denotes the order of $G$.

Let $\phi: G \to H$ be a mapping which preserves the degrees of the vertices:
 * $\forall v \in \map V G: \map {\deg_H} {\map \phi v} = \map {\deg_G} v$

Then it is not necessarily the case that $\phi$ is an isomorphism.

Proof
Proof by Counterexample:


 * Same-degree-non-isomorphic-graphs.png

Consider a bijection $\phi: \map V {G_1} \to \map V {G_2}$, where $G_1$ is the graph on the left and $G_2$ is the graph on the right.

The vertices $v_1$, $v_2$ and $v_5$ of $G_2$ are each adjacent to both of the others.

Because $\phi$ is a bijection, it must map $3$ vertices of $G_1$ to $v_1$, $v_2$ and $v_5$.

For $\phi$ to be an isomorphism, two of the vertices of $G_1$ are adjacent the two image vertices in $G_2$ udner $\phi$ are also adjacent.

So the $3$ vertices of $G_1$ which map to $v_1$, $v_2$ and $v_5$ of $G_2$ must also each be adjacent to both of the others.

But $G_1$ does not contain $3$ such vertices.

It follows that there is no such isomorphism from $\map V {G_1}$ to $\map V {G_2}$.

That is, $G_1$ and $G_2$ are not isomorphic.

Also see

 * Vertex Condition for Isomorphic Graphs, where it is shown that if $\phi$ is an isomorphism then the degrees of the vertices are preserved.