Вы находитесь на странице: 1из 2

EJEMPLO 1

La funcin f del conjunto de vrtices del rbol T1 al conjunto de vrtices del


rbol T2 se define por:
f (a) = 1, f (b) = 3, f (c) = 2, f (d) = 4, f (e) = 5
es una funcin uno a uno y sobre que preserva la relacin de adyacencia. As,
los rboles T1 y T2 son isomorfos.

EJEMPLO 2 (Isomorfismo en rbol con raz)


Sea T1 un rbol con raz r1 y sea T2 un rbol con raz r2. Los rboles con raz
T1 y T2 son isomorfos si existe una funcin f uno a uno y sobre del conjunto de
vrtices de T1 al conjunto de vrtices de T2 que satisface lo siguiente:
a) Los vrtices vi y vj son adyacentes en T1 si y slo si los vrtices f(vi ) y
f(vj ) son adyacentes en T2 .

b) f(r1 ) = r2.

Los rboles con raz T1 y T2 son isomorfos. Un isomorfismo es:


f (v1) = w1, f (v2) = w3, f (v3) = w4, f (v4) = w2, f (v5) = w7, f (v6) = w6, f (v7) = w5.