ALFONTE TARQUI RENDO

PRESENTACIÓN

ISOMORFISMO
de grafos

E. P. INGENIERIA DE SISTEMAS UNIVERSIDAD NACIONAL DEL ALTIPLANO

 INTRODUCCIÓN

El isomorfismo de grafos es un tema fundamental en la teoría de grafos que se enfoca en

el estudio de las similitudes estructurales entre diferentes grafos. En esencia, el
isomorfismo de grafos busca determinar si dos grafos son esencialmente iguales, aunque
puedan presentar diferencias en la representación gráfica o en los nombres de los
vértices.
El concepto de isomorfismo se basa en la idea de que dos grafos son isomorfos si existe
una correspondencia biunívoca entre sus conjuntos de vértices y aristas que preserve las
relaciones de adyacencia y no adyacencia entre ellos. Esto significa que los grafos
isomorfos comparten la misma estructura subyacente, aunque puedan variar en la forma
en que se dibujan o se etiquetan sus elementos.
El estudio del isomorfismo de grafos es de gran importancia en diversas áreas, como la
ciencia de la computación, la teoría de redes, la criptografía y la bioinformática. En la
ciencia de la computación, por ejemplo, el isomorfismo de grafos se utiliza para resolver
problemas de emparejamiento, identificación de patrones y optimización en redes. En la
criptografía, el isomorfismo de grafos juega un papel crucial en el diseño de esquemas de
seguridad y detección de intrusos.
 ISOMORFISMO

Se dice que dos grafos G1 y G2 son isomorfos cuando

teniendo apariencia diferente realmente son iguales,
porque coinciden en

El numero de lados.
El numero de vertices.
El conjunto de valencias.
Ser o no conexos.
El numero de circuitos de longitud n.
Tener o no circuito de Euler.


Las siguientes instrucciones se dan a dos personas que no pueden ver el

Esto implica que todos los vértices de G1 tienen un vértice
papel de la otra: “Dibuje y etiquete cinco vértices a, b, c, dy e. Conecte acon
equivalente en G2, y que todas las aristas del grafo G1 tienen
b, bcon c, ccon d, dcon e, y acon e”. Las gráficas producidas se aprecian en
una arista equivalente en G2.
las figuras, siguientes. Sin duda estas figuras definen la misma gráfica aun
cuando parezcan diferentes. Se dice que estas gráficas son isomorfas.

En resumen, cuando

1 2 dos grafos son

isomorfos, existe una
correspondencia
biyectiva entre sus
vértices y aristas que
preserva las
propiedades de los
vértices en ambos
sentidos. Esto permite
que las características
y propiedades de un
grafo se mapeen
directamente a su
grafo isomorfo de
manera consistente y
sin pérdida de

La consecuencia de esto es que, dada una propiedad o característica de un vértice en G1, utilizando una función biyectiva
f, podemos encontrar un vértice en G2 que tiene la misma propiedad. Esto significa que las propiedades de los vértices
se conservan en el proceso de isomorfismo, y esto ocurre de manera opuesta
información.


Se sabe que dos grafos G1 y G2 son isomorfos si y sólo si para

alguna ordenación de vértices y sus aristas, sus matrices de
incidencia son iguales.

Funciones Biyectivas: Asigna cada elemento del dominio a un

único elemento del codominio y además cubre todo el codominio
sin dejar elementos sin asignar.
Funcion Inyectiva (1-1): Cada elemento del dominio se asigna

a un único elemento del codominio. En otras palabras, no hay

Matrices de Incidencia: dos elementos diferentes del dominio que se asignen al
Describe la relación entre los vértices y las aristas de un grafo. mismo elemento del codominio.
Consiste en representar un grafo mediante una matriz, en la que Ejm:
las filas representan los vértices y las columnas representan las
aristas.

Funcion Suprayectiva (sobre): Cada elemento del codominio

tiene al menos un elemento del dominio que se asigna a él. En
otras palabras, el rango de la función abarca todo el
codominio.
Ejm:

Es muy complicado demostrar que dos grafos son isomorfos

haciendo intercambios de filas y/o columnas hasta que las
matrices de incidencia coincidan, y lo es aún más a medida que
aumenta el número de vértices y aristas, independientemente
de si esto se hace en forma manual o en la computadora.
EJM:
Determinar si los grafos siguientes G1 y G2 son isomorfos, haciendo coincidir sus matrices de incidencia,
manteniendo una matriz estática y realizando intercambios de fi las y/o columnas en la otra matriz.
Sol:
Sol:
Considerando estática la matriz de G1 y realizando intercambios
en la de G2 se tiene:


La dificultad en demostrar que dos grafos son isomorfos

haciendo intercambios de filas y/o columnas hasta que las
matrices de incidencia coincidan, mas aun cuando el numero
Camino de Euler.
de vertices y aristas se incrementa, ello indiferente a la forma
Recorrido por el gráfico que usa cada borde
manual o computacional. Debido a esto se presenta el uso de:
exactamente una vez.
Circuito de Euler.
Camino de Euler que comienza y se detiene en el

mismo vértice
Comparacion de las propiedades principales de los grafos:
Circuitos de longitud n.
Si coinciden -> isomorfos.
Es aquel camino del vértice w al vértice w que
No coinciden -> No isomorfos.
solamente tiene un ciclo en la ruta que sigue y
Propiedades: distintos entre si.
Num. de vertices.
Num. de lados(aristas).
Valencias.
Numero de aristas o rutas con las que hace contacto
un vertice.
Conexo.
Es aquél en el que para cualquier par de vértices w, x
distintos entre si, existe un trayecto para ir de w -> x.
 CODIGO
En base al ejemplo presentado, codigo respecto a las propiedades anteriormente mencionadas.
CODIGO
En base al ejemplo presentado, codigo respecto a las propiedades anteriormente mencionadas.
CONSOLA
codigo anterior
 GRACIAS
RENDO ALFONTE TARQUI

UNIVERSIDAD NACIONAL DEL ALTIPLANO