Isomorphism
In what ways are the following graphs similar? In what ways are they different?
![Three drawings of the same graph]()
Definition
Let and be two undirected graphs. Then and are isomorphic if there is such that for all , the number of edges between and is the same as the number of edges between and .
is called an isomorphism from to .
- “iso”: same
- “morph”: form
Simple graphs
Two simple undirected graphs and are isomorphic if there is a bijection such that and are adjacent (in ) if and only if and are adjacent (in ).
![Simple isomorphism]()
Example
![K3,3 and ML3]()
Are these graphs isomorphic?
Example
![K3,3 and CL3]()
Are these graphs isomorphic?
Example
![Two similar graphs]()
Are these graphs isomorphic?
Example
![Hard to tell]()
Structure
Look for isomorphism invariants:
- Number of vertices / edges
- Degree sequence
- Cycles of length
- Connectivity (more later)
- Colorability
- Complement graph
Isomorphic graphs have the same properties. But none of these imply isomorphism!
Concept
- Isomorphic graphs are the same graph, structurally.
- Different representations of the same thing.
- Different names for vertices
- Different order of vertices.
- But they represent the same, underlying concept.
Automorphisms
- Let . An automorphism of is an isomorphism from to itself.
- Every graph has at least one: the identity.
- A kind of “symmetry”.
Symmetries of S_3
Symmetries of , the “star graph”:
- 3 rotations (including identity), 3 reflections
- Or: permutations of 3 objects
- Keep the center fixed, and permute the other 3.
Rigid
How many automorphisms?
- Must not move vertex 0 (Why not?).
- Must not move vertex 1 (Why not?).
- Vertices 2 and 3?