FORO GRAFOS

CHRISTIAN MAURICIO FERNNDEZ ANRANGO

A mi parecer no puedo seguir la secuencia propuesta ya que el tema de este foro es tipos de
grafos y casi ninguno del participante a concordado en sus intervenciones con dicho
planteamiento. Trata de retomar el tema de este foro analizando los grafos planos
GRAFOS PLANOS
Un grafo o multgrafo G es plano si podemos dibujar G en el plano de modo que sus aristas se
intersequen slo en los vrtices de G.
A este dibujo de G se le conoce como una inmersin de G en el plano.
Pondremos tres ejemplos para tratar de comprender mejor este tipo de grafo.

(a) es un grafo regular ya que cada vrtice tiene grado 3, es plano pues ningn par de aristas se
intersecan excepto en los vrtices.

(b) parece un grafo no plano ya que las aristas {x,z} y {w,y} se cruzan en un punto distinto de su
vrtice, pero podemos trazar nuevamente de otra forma dicho grafo teniendo (c) el cual si es
un grafo plano, lo cual nos conlleva a la conclusin de que K1, K2, K3, y K4 son plano.
Ahora bien, para seguir con este analices tomaremos otro grafo esta ves K5
Aqu se puede apreciar el intento de K5 en el plano. Como un grafo completo tiene una arista
por cada par de vrtices distintos aadimos la arista {a,c} como se muestra en la parte (b),
consecuente me aadimos las aristas {a,d},{c,e} y {b,e}. Ahora analicemos los vrtices b y d, se
necesita la arista {b,d} para obtener K5. Al intentar dibujar esta arista hay que intersecar una
de las aristas existentes al menos una vez. En consecuencia, K5 no es plano.
TEOREMA DE KURATOWSKI Este teorema fue demostrado por primera vez en 1930 por el
polaco Kasimir Kuratowsi.
Un grafo no es plano si y solo si contiene un subgrafo que es homeomorfo a K5 o K3,3
Demostraremos el uso del teorema en el siguiente ejemplo

(a) Es un grafo conocido como grafo de Pettersen. (b) proporciona un subgrafo del grafo de
Petersen que es homeomorfo a K3,3.
La figura muestra cmo se obtiene el subgrafo de K3,3 por una sucesin de cuatro divisiones
elementales. Por lo tanto, el grafo de Petersen no es plano.
RELACIN DE EULER EN UN GRAFO PLANO
Cuando un grafo o multigrafo es plano y conexo obtenemos la siguiente relacin descubierta
por Euler, para la cual necesitamos contar el nmero de regiones determinadas por un grafo o
multigrafo conexo plano, el nmero de estas regiones se define slo cuando se tiene una
inmersin plana del grafo.
Por ejemplo: la inmersin plana de K4

En el grafo (a) podemos notar que para K4 existen claramente 4 regiones determinadas en el
plano: tres de las cuales sern finitas R1, R2 y R3 y una regin infinita R4.
En el grafo (b) podramos mencionar que existen 5 regin delimitadas en el plano, pero como
ya lo habamos mencionado esta representacin no es una inmersin en el plano de K4
TEOREMA: Sea G=(V,A) un grafo o multigrafo plano conexo con |V|=v y |A|=a Sea r el nmero
de regiones en el plano determinadas por una inmersin plana de G. entonces
v-e