GRAFOS ISOMORFOS

Introduccin
La resolucin del problema del isomorfismo de grafos se complica
cuando los grafos son o de grandes tamaos o sus matrices de adyacencias
son homogneas. En ambos casos el problema se resuelve ms fcil
presentando los grafos por un conjunto de relaciones correspondientes a
matrices de tamaos razonables y no homogneos. Con tal presentacin
aumenta el nmero de restricciones que permiten eliminar muchas variantes
y con esto facilita la resolucin del problema. En este trabajo se resuelve el
problema del isomorfismo para tales conjuntos y se dan las aplicaciones de
estos en grafos y en funciones lgicas. Un problema importante en sntesis
de mecanismos es identificar los isomorfismos de grafos, puesto que los
isomorfismos no detectados generan soluciones duplicadas y por tanto
suponen un esfuerzo innecesario en el proceso de diseo mecnico. Desde
1960, una gran cantidad de mtodos han sido propuestos para la deteccin
del isomorfismo en grafos de mecanismos. Mtodos que podramos
clasificar como heursticos y visuales han sido desarrollados por Crossley,
Davies and Crossley y Woo. La dificultad principal de este tipo de tcnicas
estriba en que son difciles de implementar computacionalmente, puesto que
su desarrollo se basa fundamentalmente en la experiencia del diseador.

CONCEPTOS BSICOS DE ISOMORFISMO:

Para entrar en materia de que es un grafo isomorfo debemos conocer algunos trminos
relacionados con el tema:
ARISTAS:
Son las lneas con las que se unen las aristas de un grafo y con la que se construyen
tambin caminos, Grficamente las aristas se representan, para el caso de los grafos no
dirigidos, como una lnea que une a los dos vrtices. Si el grafo es dirigido, entonces la
arista se representa como una flecha, que parte del nodo origen y apunta al nodo destino.

ARIASTAS ADYACENTES:
Se dice que dos aristas son adyacentes si convergen en el mismo vrtice.
ARISTAS PARALELAS:
Se dice que dos aristas son paralelas si vrtice inicial y el final son el mismo.
ARISTAS CICLICAS:
Arista que parte de un vrtice para entrar en el mismo.
CRUCE:
Son dos aristas que cruzan en un punto.

VERTICE:
Son los puntos o nodos con los que est conformado un grafo.
VERTICE ADYACENTE:
si tenemos un par de vrtices de un grafo (U, V) y si tenemos una arista que los une,
entonces U y V son vrtices adyacentes y se dice que U es el vrtice inicial y V el vrtice
adyacente.
CAMINO:
Sean x, y " V, se dice que hay un camino en G de x a y si existe una sucesin finita no
vaca de aristas {x, v1}, {v1, v2}, ... ,{vn, y}. En este caso x e y se llaman los extremos
del camino.

DEFINICION ISOMORFISMO DE GRAFOS:

Un isomorfismo entre dos grafos G y H es una biseccin f entre los conjuntos de sus
vrtices f : V(G)V(H) que preserva la relacin de adyacencia. Es decir, cualquier par
de vrtices u y v de G son adyacentes si y solo si lo son sus imgenes, f(u) y f(v), en H.
Dos grafos son isomorfos si existe un isomorfismo entre ello, A pesar de su diferente
aspecto, los dos grafos que se muestran a continuacin son isomorfos.

Grafo G

Grafo H

Un isomorfismo
entre G y H

f (a)= 1
f (b)= 6
f (c)= 8
f (d)= 3
f (g)= 5
f (h)= 2
f (i)= 4
f (j)= 7

DEFINICION DE GRAFOS:
Se dice que dos grafos son isomorfos si y solo si se preserva la relacin de adyacencia
entre ambos. Por ejemplo, tenemos el siguiente grafo.

Entonces suponemos que el conjunto K={A,B,C,D,E} (donde cada una de las letras
representa los vrtices del grafo) posee una funcin f(v), la cual tiene como imagen al
conjunto K'={A',B',C',D',E'}.
Para que el grafo que tiene como vrtices el conjunto K' sea isomorfo, este debe tener las
mismas relaciones de adyacencia que K. En otras palabras, por ejemplo, en K tenemos
una arista D-E, entonces en K' tendramos una arista D'-E'. As para todos los vrtices de
K'. Entonces, un grafo isomorfo al anterior (El formado por los vrtices incluidos en el
conjunto K) sera:

QUE ES UN GRAFO?
De forma coloquial y sencilla, un grafo es un conjunto de elementos, a los que
llamaremos vrtices, que se relacionan entre ellos por parejas, no necesariamente todos,
definiendo lo que llamamos aristas del grafo.
Podemos pensar, por ejemplo, que queremos disear un circuito con 4 componentes,
todas unidos con todas, por parejas. A las componentes, que harn el papel de vrtices del
grafo, las llamamos en un alarde de originalidad {1, 2, 3, 4}. En ese caso, las conexiones
que tenemos que dibujar, que harn el papel de aristas, sern {(1,2),(1,3),(1,4),(2,3),(2,4),
(3,4)}. Al grafo as definido se le conoce como K4.
Vamos a dibujar el circuito. Una posible representacin sera sta.

Pensamos un poco ms el posible diseo del circuito y nos damos cuenta de que si lo
pintamos, por ejemplo, como en la siguiente figura, no hay cruce entre las conexiones.

Bueno, este circuito ha sido muy fcil y hemos resuelto el problema del cruce de las
conexiones Vamos a poner una componente ms, una nada ms. Tenemos que dibujar 5
vrtices, las 5 componentes, {1, 2, 3, 4, 5} y unir cada una de ellas con las otras 4.

GRAFOS ISOMORFOS (ISOMORFISMO DE GRAFOS)

Dos grafos son isomorfos cuando existe una correspondencia biunvoca (uno a uno),
entre sus vrtices de tal forma que dos de estos queden unidos por una arista en comn.
Si dos grafos G1 y G2 son isomorfos, tienen el mismo nmero de vrtices, el mismo
nmero de aristas, el mismo nmero de vrtices de cualquier grado, el mismo nmero de
ciclos de cualquier longitud, etc.
PROPIEDAD: Dos grafos simples G1 y G2 son isomorfos si y slo si para cierto orden
de sus vrtices las matrices de adyacencia son iguales.
EJEMPLO:
- Grafos isomorfos a travs de definicin de funciones que los hacen isomorfos.

Para mostrar que dos grafos son isomorfos podemos mostrar que sus invariantes
(propiedad que los grafos simples deben cumplir) son iguales:

El nmero de vrtices

El nmero de aristas

El grado de los vrtices

Si en alguna de esas cantidades difieren 2 grafos simples, no son isomorfos, o si sus

invariantes son los mismos, no necesariamente son isomorfos.
EJEMPLO:

Los vrtices del grafo 1 est representado por letras (a, b, c, d) y el grafo 2, se representa
con los nmeros (1, 2, 3 ,4).
Las aristas estn representadas en el grafo 1 por (e1, e2, e3, e4, e5) y en el grafo 2 por
(e6, e7, e8, e9, e10).
Por consiguiente, en la presente funcin demostraremos porque los dos grafos son
isomorfos.
Grados de los vrtices:

Entonces:

Si partimos de la definicin anterior tenemos que los dos grafos contienen 4 vrtices, 5
aristas y sus grados coinciden. Por lo tanto, los dos grafos mostrados en este ejercicio son
isomorfos.

CONCLUSIONES:
El problema de deteccin de isomorfismos en grafos de mecanismos es un problema NPduro importante en el proceso de diseo mecnico. A travs de su anlisis, se muestra
que, aunque pueden existir algoritmos eficaces para casos particulares, en el caso general
los mtodos tradicionales para la deteccin de isomorfismos en cadenas cinemticas no
proporcionan generalmente soluciones de forma eficiente. Por esta razn se proponen
como mtodo alternativo de resolucin a las redes neuronales, y en particular a las redes
tipo Hopfield por ser las ms eficaces y extendidas en la resolucin de problemas. Sin
embargo, que un problema sea deducible no implica que se pueda encontrar su solucin,
pues muchos problemas que disponen de algoritmos para su resolucin son inabordables
para un computador por el elevado nmero de operaciones que hay que realizar para
resolverlos

BIBLIOGRAFA
Pginas web visitadas:

https://es.wikipedia.org/wiki/Isomorfismo_de_grafos
https://es.wikipedia.org/wiki/Isomorfismo
http://www.dma.fi.upm.es/gregorio/grafos/SucGrafCertifArboles/html/I
somorfismo%20de%20grafos.htm
http://mtmtcsdiscretas.blogspot.pe/2011/04/grafos.html

1
0