Isomorsmos

M. C Jorge Garca.

19 de septiembre de 2011

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Igualdad entre grafos

Intuitivamente se dice que dos grafos son iguales si es posible dibujar uno de ellos de manera que se vea como el otro. Para nosotros dos grafos sern iguales si reejan la misma estructura, sin importar los nombres de sus vrtices o aristas. Por esta razn decimos que son nombres y no etiquetas (Hay toda una teora de grafos con etiquetas) El concepto de igualdad entonces, se ve sustituido por el concepto de isomorsmo.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Isomorsmos

Denicin: (Isomorsmo) Sean G1 y G2 dos grafos. Un isomorsmo de G1 a G2 es una funcin : V (G1 ) V (G2 ) uno a uno de V (G1 ) sobre V (G2 ) tal que dos vrtices v1 , v2 V (G1 ) son adyacentes si y solo si (v1 ), (v2 ) V (G2 ) son adyacentes. Denicin: (Grafos isomorfos) Sean G1 y G2 dos grafos. Si existe al menos un isomorsmo de G1 a G2 diremos que G1 y G2 son grafos isomorfos.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Ejemplo

(a) G1

(b) G2

Figura: Dos grafos G1 y G2 isomorfos

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Resultado importante

Teorema: La relacin es isomorfo a en el conjunto de todos los grafos es una relacin de equivalencia

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Aclaraciones

El resultado anterior nos dice que si un grafo G1 es isomorfo a otro G2 entonces G2 tambin es isomorfo a G1 . Tambin signica que los isomorsmos forman una particin del conjunto de todos los grafos. Adems para que un isomorsmo exista entre dos grafos, estos deben de tener el mismo orden y el mismo tamao. Sin embargo, el converso es falso. Es decir, si G1 y G2 tienen el mismo tamao y el mismo orden pueden no ser isomorfos.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Ejemplo

(a) G

(b) H

Figura: Dos grafos G y G ambos de orden 6 y tamao 9 que no son isomorfos.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Una condicin necesaria

Teorema: Si G1 y G2 son dos grafos isomorfos, entonces los grados de los vrtices de G1 son exactamente los grados de los vrtices de G2 Estas condicin es otra condicin necesaria, pero tampoco es una condicin suciente.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

El problema de isomorsmo en grafos

Saber si dos grafos cualesquiera son isomorfos es un problema que se considera abierto. Tenemos un buen algoritmo publicado por Luks en 1983 en tiempo 2O( n log n) donde n es el orden de los grafos de entrada. Aun no sabemos a que clase de complejidad pertenece este problema. Se sospecha puede ser NP o ser NP-completo. Sin embargo, para algunos tipos de grafos concretos se conocen algoritmos muy ecientes (polinomiales)

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

Clases de grafos

Se sigue que solo existe un grafo de orden uno (el trivial) Solo existe un grafo de orden 2 y tamao cero. Y solo existe un grafo de orden 2 y tamao 1. Sin embargo existen tres grafos de orden 4 y tamao 3.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos

El principio del palomar

Teorema: (Principio del palomar) Sea S un conjunto nito de n elementos, y sean S1 , S2 , . . . , Sk una particin de S en k subconjuntos. Entonces al menos un subconjunto Si , 1 i k contiene al menos n elementos. k Nota: x es la funcin techo. Es el entero mas pequeo mayor o igual a x.

http://www.nemediano.com.mx/teoriaGrafos

Isomorsmos