Athar Abdul-Quader
Graph Representations, Isomorphisms
Questions?
Many ways to represent graphs:

\[ \begin{array}{c|c|c|c} & e_1 & e_2 & e_3 \\ v_1 & 1 & 0 & 0 \\ v_2 & 1 & 1 & 1 \\ v_3 & 0 & 1 & 0 \\ v_4 & 0 & 0 & 1 \end{array} \]
Theorem: The sum of the degrees of a graph equals \(2|E|\).
Proof:

Adjacency List:
Example:
\[ \begin{array}{c|c|c|c|c} & v_1 & v_2 & v_3 & v_4 \\ v_1 & 0 & 1 & 0 & 0 \\ v_2 & 1 & 0 & 1 & 1 \\ v_3 & 0 & 1 & 0 & 0 \\ v_4 & 0 & 1 & 0 & 0 \end{array} \]
In what ways are the following graphs similar? In what ways are they different?

Let \(G = (V_G, E_G)\) and \(H = (V_H, E_H)\) be two undirected graphs. Then \(G\) and \(H\) are isomorphic if there is \(f : V_G \to V_H\) such that for all \(u, v \in V_G\), the number of edges between \(u\) and \(v\) is the same as the number of edges between \(f(u)\) and \(f(v)\).
\(f\) is called an isomorphism from \(G\) to \(H\).
Two simple undirected graphs \(G\) and \(H\) are isomorphic if there is a bijection \(f : V_G \to V_H\) such that \(u\) and \(v\) are adjacent (in \(G\)) if and only if \(f(u)\) and \(f(v)\) are adjacent (in \(H\)).


Are these graphs isomorphic?

Are these graphs isomorphic?

Are these graphs isomorphic?

Look for isomorphism invariants:
Isomorphic graphs have the same properties. But none of these imply isomorphism!

Symmetries of \(S_3\), the “star graph”:

How many automorphisms?