5.

6 ISOMORFISMO DE GRAFOS Definicin: Dos grafos G1 y G2 son isomorfos si existe una funcin biyectiva f entre los vrtices de G1 y G2, y una funcin biyectiva g entre lados de G1 y G2 tales que un lado e es incidente a v y w en G1 si solo si el lado g(e) es incidente a los vrtices f (v) y f (w) en G2. Al par de funciones f y g se le denomina isomorfismo. Ejemplo: Sean los siguientes grafos G1 y G2

Un isomorfismo para los grafos anteriores G1 y G2 esta definido por: f (a) = A f (b) = B f (c) = C f (d) = D f (e) = E y g(Xi) = Yi, i = 1, ... , 5 Los grafos G1 y G2 son isomorfos si y solo si para alguna ordenacin de vrtices y lados sus matrices de incidencia son iguales. Veamos las matrices de incidencia de los grafos anteriores:

Ejercicios: Verificar si los siguientes pares de grafos son isomorfos.

a)

b)