Isomordismo de Grafos:
\(Sea\ G_{1\ }=\left(V_{1,}\ E_1\right)\ y\ G_2\ =\ \left(V_2\ ,\ E_2\right)\ dos\ grafos\ no\ dirigidos.\) Una funcion \(f:\ V_1\ \to\ V_2\) es un isomorfismo de grafos si (a) f es inyectiva y sobre y (b)
para todos a, b \(\in\ V_1,\ \left\{a,b\right\}\ \in\ E_1\ si\ y\ solo\ si\ \left\{f\left(a\right),\ f\left(b\right)\right\}\in\ E_{2.}\) Cuando existe, tal funcion \(G_{1\ }y\ G_2\) son grafos isomorfos.