UNIVERSIDAD AUTONOMA DE SAN LUIS POTOSI.

FACULTAD DE INGENIERIA.
AREA DE COMPUTACION E INFORMATICA.

ALUMNO:
PABLO ANDRES CASTAEDA ESTRADA.

CARRERA:
ING. EN INFORMATICA.
PROFESOR:
MATI MEADE COLLINS JAIME FEDERICO.
MATERIA:
MATEMATICAS DISCRETAS.
TEMA:
INVESTIGACIN ISOMORFISMO Y PLANARIDAD.

FECHA:
VIERNES 20 DE NOVIEMBRE DEL 2015.
SAN LUIS POTOSI, SAN LUIS POTOSI.

Isomorfismo entre dos grafos G y H es una biyeccin (es decir, si todos los
elementos del conjunto de salida tienen una imagen distinta en el conjunto de
llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del
conjunto de salida) f entre los conjuntos de sus vrtices
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.
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

Las grficas G1 y G2 son isomorfas si y slo si, para algn orden de sus vrtices,
sus matrices de adyacencia son iguales.

Demostracin Suponga que G1 y G2 son isomorfas. Entonces existe una funcin f

uno a uno y sobre, de los vrtices de G1 a los vrtices de G2, y una funcin g uno a
uno y sobre de las aristas de G1 a las aristas de G2, de manera que una arista e es
incidente en v y w si y slo si la arista g(e) incide en f (v) y f (w) en G2.

Sea v1, . . . , vn un orden de los vrtices de G1. Sea A1 la matriz

de adyacencia de G1 relativa al orden v1, . . . , vn, y sea A2 la
matriz de adyacencia de G2 relativa al orden f (v1), . . . , f (vn).
Suponga que el elemento en el rengln i y la columna j, i _ j, de
A1 es igual a k. Entonces existen k aristas, digamos e1, . . . ,ek,
incidentes en vi y vj. Por lo tanto, hay exactamente k aristas
g(e1), . . . , g(ek) incidentes en f (vi) y f (vj) en G2. Entonces el
elemento en el rengln i, columna j en A2, que cuenta el nmero
de aristas que inciden en f (vi) y f (vj) tambin es igual a k. Un
argumento similar seala que los elementos en las diagonales
de A1 y A2 son iguales. Por lo tanto, A1 = A2.

Sean G1 y G2 grficas simples. Las siguientes son equivalentes:

a) G1 y G2 son isomorfas.
b) Existe una funcin f uno a uno y sobre del conjunto de
vrtices de G1 al conjunto de vrtices de G2 que satisface lo
siguiente: los vrtices v y w son adyacentes en G1 si y slo si
los vrtices f (v) y f (w) son adyacentes en G2.
Se concluye de inmediato que a) implica b).
Se probar que b) implica a). Suponga que existe una funcin f uno a uno y sobre
del conjunto de vrtices en G1 al conjunto de vrtices en G2 que satisface lo
siguiente: los vrtices v y w son adyacentes en G1 si y slo si los vrtices f(v) y
f(w) son adyacentes en G2.
Sea v1, . . . , vn un orden de los vrtices de G1. Sea A1 la matriz de adyacencia de
G1 relativa al orden v1, . . . , vn y sea A2 la matriz de adyacencia de G2 relativa al
orden f (v1), . . . , f (vn). Como G1 y G2 son grficas simples, los elementos de las
matrices de adyacencia son 1 (para indicar que los vrtices son adyacentes) o 0
(para indicar que los vrtices no son adyacentes). Como los vrtices v y w son
adyacentes en G1 si y slo si lo vrtices f (v) y f (w) son adyacentes en G2, se
concluye que A1 = A2.

Un grafo plano (o planar segn referencias) es un grafo que puede ser dibujado
en el plano sin que ninguna arista se cruce (una definicin ms formal puede ser
que este grafo pueda ser "incrustado" en un plano). Los grafos K5 y el K3,3 son los
grafos no planos minimales, lo cual nos permitirn caracterizar el resto de los
grafos no planos.
Todo grafo plano puede ser dibujado sobre la esfera, y viceversa. Una
generalizacin de los grafos planos son grafos dibujados e incrustados sobre
superficies de genero arbitrario. En esta terminologa, los grafos planos tienen
genero 0, por ser el plano y la esfera de gnero 0.

Teorema de Kuratowski
Un grafo es plano si y solo si no contiene un subgrafo isomorfo a una
subdivisin elemental de K5 (el grafo completo de 5 vrtices) o K3,3 (el
grafo bipartito completo de 6 vrtices).
Kuratowski (1930)

OTROS CRITERIOS PARA DETERMINAR SI UN GRAFO ES PLANO

En la prctica, es difcil usar el teorema de Kuratowski para decidir rpidamente si

un grafo es plano. Sin embargo, existe un algoritmo rpido para este problema:
dado un grafo de n vrtices y a el nmero de aristas, es posible determinar en
tiempo O(n) (lineal) si el grafo es plano o no, utilizando los dos teoremas
siguientes:

Teorema 1
Si G es un grafo plano con n 3 vrtices, entonces a 3n - 6

En otras palabras, un grafo plano de n vrtices, donde n es igual o mayor a 3,

tiene a lo sumo 3n-6 aristas.

Teorema 2
Si n > 3 y no existen ciclos de longitud 3, entonces a 2n - 4

K5 no es plano, en efecto, por el teorema 1 un grafo plano de 5 vrtices puede

tener como mximo 9 aristas, pero K5 tiene 10 aristas, por lo tanto no es plano. El
grafo K3,3, por ejemplo, tiene 6 vrtices, ningn ciclo de longitud 3 y 9 aristas, por
el teorema 2, no puede ser plano. Ntese que estos teoremas estn construidos
con una implicacin unidireccional (si-entonces), y no bicondicional (si y solo si) y
por tanto, solamente pueden ser usados para probar que el grafo no es plano,
pero no que sea plano. Si ambos teoremas fallan, deben usarse otros mtodos.
La frmula de Euler enuncia que si un grafo conexo, plano es dibujado sobre un
plano sin interseccin de aristas, y siendo v el nmero de vrtices, a el de aristas y
c la cantidad de caras (regiones conectadas por aristas, incluyendo la regin
externa e infinita), entonces:
Si un grafo simple plano conexo tiene v vrtices, a aristas y c caras, entonces
va+c=2
Por ejemplo, la Caracterstica de Euler es 2. De manera ms ilustrativa, en los
ejemplos anteriores, en el primer grafo plano tenemos: v=6, a=7 y c=3. Si el
segundo grafo se redibuja sin las intersecciones de aristas, tenemos v=4, a=6 y
c=4. La frmula de Euler se puede probar de la siguiente manera: si el grafo no es
un rbol, entonces se elimina una arista que completa un ciclo. Esto disminuye el
valor de a y c en uno, dejando v a + c constante. Reptase hasta llegar a un
rbol. Los rboles tienen v = a + 1 y c = 1, verificando la frmula v - a + c = 2.
En un grafo simple, conexo y plano, cualquier regin (posiblemente exceptuando
la exterior) est conectada por al menos tres aristas y cada arista toca como
muchas dos regiones. Usando la frmula de Euler, se puede demostrar que estos
grafos son escasos en el sentido que a 3v - 6 si v 3.
Se le dice plano maximal al grafo que es plano pero al agregarle cualquier arista
dejase de serlo. Todas las regiones (incluso la externa) estn limitadas por tres
aristas, explicando la definicin alternativa de triangular para este tipo de grafos. Si
un grafo triangular tiene v vrtices con v > 2, entonces tiene exactamente 3v - 6
aristas y 2v - 4 regiones.
Ntese que la frmula de Euler tambin es vlida para poliedros simples. No es
una casualidad: cada poliedro simple se puede ver como un grafo plano y conexo
usando los vrtices del poliedro como vrtices del grafo, y las aristas del poliedro
como aristas del grafo. Las caras o regiones del grafo plano resultante
corresponden a las caras del poliedro. Por ejemplo, el segundo grafo plano del
ejemplo corresponde a un tetraedro. Alternativamente, no todos los grafos planos
y simples corresponden a un poliedro (los rboles, por ejemplo). Un teorema de
Ernst Steinitz dice que los grafos planos formados a partir de poliedros convexos
son precisamente los grafos planos simples y triangulares.

GRAFOS
PLANO

NO PLANO

k5

K4
K3,3

https://es.wikipedia.org/wiki/Grafo_plano
https://es.wikipedia.org/wiki/Isomorfismo_de_grafos
Matemticas discretas, Johnsonbaugh ,6 edicion ;pgs 356-367.