2013

Grafos
Ingeniera Informtica Licenciatura en Sistemas
Ctedra Matemtica Discreta
FACULTAD DE INGENIERA UNIVERSIDAD NACIONAL DE JUJUY
Matemtica Discreta
GRAFOS FI - UNJU

2
GRAFOS

En el presente curso de Matemtica Discreta, un grafo ser introducido como un Sistema Matemtico Abs-
tracto, creado por Leonard Euler en el siglo XVIII
Los grafos son modelos matemticos de numerosas situaciones reales:
Por ejemplo un mapa de carreteras, un plano de la red de metro de una ciudad, un plano de un circuito elc-
trico, un plano de la red telefnica de una compaa, etc., son grafos que representan esquemticamente si-
tuaciones reales.
Asimismo, un algoritmo puede representarse mediante un grafo al que se le llama diagrama de flujo del al-
goritmo.
Tambin se usan grafos para representar relaciones.
Sea A = {x1, x2, x3, x4} y R una relacin en el conjunto A.
Sea R c A x A tal que R = { ( x1, x2 ) , ( x2, x3 ) , ( x1, x3 ), ( x2, x2 ) } .

El grafo de R es, ento nces:

Comenzaremos definiendo grafos no dirigidos.
Sea V un conjunto de vrtices y A un conjunto de aristas (lneas entre dos vrtices)
En el dibujo:

V = {v1, v2, v3, v4, v5}
A = {a, b, c, d, e, f, g}
*





Definicin:
Se llama GRAFO a la terna G = (V, A, ) donde V y A son conjuntos finitos y es una funcin de inciden-
cia que a cada elemento de A le hace corresponder un par de elementos de V.
Como ya dijimos los elementos de V son vrtices (o nodos) y los elementos de A, aristas.
es la funcin de incidencia que a cada arista le hace corresponder sus vrtices extremos.
x e A , ( x ) = { vi , vj }
Par de vrtices es un conjunto formado por dos vrtices. No debe ser confundido con par ordenado de vrti-
ces.
{v1, v2} = {v2, v1} pares de vrtices
(v1, v2) = (v2, v1) pares ordenados de vrtices

De acuerdo a nuestro ejemplo, podemos construir una tabla para
x a b c d e f g
( x ) { v2 , v3 } { v1 , v3 } { v4 , v1} { v4 , v3 } { v1 , v5 } { v1 , v2 } { v4 , v4 }

Definiciones

Sea (V, A, ) un grafo.
Definicin 1: Un vrtice y una arista son incidentes si y slo si el vrtice es extremo de la arista.

En nuestro ejemplo c y v4 son incidentes.
Tambin podemos decir que c incide en v4.

Matemtica Discreta
GRAFOS FI - UNJU

3
Definicin 2: Dos aristas son paralelas (o mltiples) si y solamente si los vrtices asociados a cada una de
ellas coinciden.
En nuestro ejemplo *, no hay aristas paralelas.
En el siguiente ejemplo b y c son aristas paralelas.
{ }
3 2
, v (b) v = y { } =
3 2
, v (c) v (c) (b) =

Tambin podemos decir que dado un grafo ( V , A , )
) (x ) (x paralelas son x y x , A x A x
2 1 2 1 2 1
= e . e aristas

Definicin 3:
Una arista es un lazo (rizo o bucle) si y solamente si, sus extremos coinciden.
En el grafo * de la pgina 1, g es un lazo. { }
4 4
, v (g) v =

x e A : x es un lazo ( x ) = { vi , vi } vi e V

Definicin 4:
El grado o valencia de un vrtice es el nmero de aristas que inciden en l.
En el ejemplo * de la pagina 1 g ( v
1
) = 4 . En v
1
inciden e, c, b, f
g ( v2 ) = 2 g ( v4 ) = 4
g ( v3 ) = 3 g ( v5 ) = 1
Nota: en v4 inciden las aristas c, d y g . Pero esta es un lazo, por lo tanto incide dos veces en v4, por eso se
cuenta doble.

Definicin 5:
Un vrtice v se dice aislado si g (v) = 0 .
En nuestro ejemplo * no hay vrtices aislados.
En el siguiente grafo v1 y v4 son vrtices aislados.

Definicin 6:
Un vrtice v es un vrtice pendiente si g ( v ) = 1 .
En nuestro ejemplo * de la pgina 1, v5 es un vrtice pendiente, ya que g(v5)=1

Definicin 7:
Dos vrtices son adyacentes si son extremos de una misma
arista.
En nuestro ejemplo v1 es adyacente a v2, v3, v4 y v5.
v2 es adyacente a v1 y v3.
v3 es adyacente a v1, v4 y v2.
v4 es adyacente a v1, v3 y v4.
v5 es adyacente a v1

Definicin 8:
Dos aristas son adyacentes si tienen un vrtice en comn.
En nuestro ejemplo a es adyacente a b, f , d.
b es adyacente a a , c, e , f , d.
c es adyacente a b, d, e, f, g .
d es adyacente a a , b, c , g.
e es adyacente a b, c , f.
g es adyacente a c, d, g.



Matemtica Discreta
GRAFOS FI - UNJU

4
Definicin 9:
Si todos los vrtices de un grafo tienen el mismo grado, el grafo se dice regular.
Si todos los vrtices tienen grado k el grafo es k-regular.
El grafo adjunto es 3-regular.

Definicin 10:
Un grafo se llama simple (o sencillo) si no tiene lazos ni aristas paralelas.
El grafo del ejemplo de pgina 1 no es simple porque tiene un lazo.
El ejemplo dado en la definicin 9 corresponde a un grafo simple.

Definicin 11:
Matriz de incidencia de grafos
Sea (V, A, ) un grafo de m vrtices y k aristas.

Entonces | V | = m el nmero de elementos de V es m
y | A | = k el nmero de elementos de A es k.

Se llama matriz de incidencia de un grafo (V, A, ) (que no tenga lazos) a una matriz
MI = || xij || de m filas y k columnas, tal que.

xij =

incidentes son no a y v sii 0

incidentes son a y v sii 1
j i
j i


Ejemplo
La matriz obtenida en sus filas los vrtices estn numerados de
v1,v2,v3,v4, y las columnas corresponden a las aristas a, b,c,d,
a b c d
M =
0 ) g(v
2 ) g(v
3 ) g(v
3 ) g(v
0 0 0 0
1 1 0 0
1 0 1 1
0 1 1 1
4
3
2
1
4
3
2
1
=
=
=
=
|
|
|
|
|
.
|

\
|
v
v
v
v

Nota:
Cada columna de una matriz de incidencia tiene dos unos. La suma de los elementos de cada fila da el grado
del vrtice correspondiente.
De igual manera observamos que en las columnas hay dos unos, la arista sale de un vrtice y llega a otro
vrtice, cuando estamos en presencia de lazos en las columnas tendramos un solo uno. Algunos autores ha-
cen uso de esta matriz aun en presencia de lazos, teniendo esta salvedad.

Definicin 12:
Matriz de adyacencia de vrtices de un grafo
Es una buena representacin para grafos sin aristas paralelas.
Sea G = (V, A, ) un grafos de n vrtices.
Se llama matriz de adyacencia de vrtices de un grafo a una matriz
Mv = ,,mij,, de orden n x n tal que mij =

caso otro todo en 0

adyacentes son v y v si 1
j i

Matemtica Discreta
GRAFOS FI - UNJU

5
Ejemplo:

1

2

3

4

4
(
1 1
1 0
1 0
1 0
1 1
0 0
0 1
1 0
)



Observamos que nos da una matriz simtrica suele suceder que dada
una matriz de incidencia de vrtices se pida el grafo correspondiente, para realizar el grafo se debe utilizar la
matriz diagonal superior o inferior para su representacin si se usa toda la matriz obtendrn grafos con aris-
tas paralelas caso que excluye la definicin.

Teorema:
La suma de los grados de todos los vrtices de un grafo es igual al doble del nmero de aristas.
( V , A , ) grafo V = { vi } | V | = n | A | = k

=
=
n
1 i
i
A 2 ) v ( g
En nuestro ejemplo * de la pgina 1.
V = { v1 , v2 , v3 , v4 , v5 } | A | = 7 2 | A | = 14

=
=
5
1 i
i
) v ( g g ( v1 ) + g ( v2 ) + g ( v3 ) + g ( v4 ) + g ( v5 ) = 4 + 2 + 3 + 4 + 1 = 14

Teorema:
En todo grafo hay un nmero par de vrtice de grado impar.
Sea V el conjunto de vrtices de un grafo.
Demostracin:

Sea Vp el conjunto de los vrtices de grado par. Vp = { vp }
Sea Vi el conjunto de los vrtices de grado impar Vi = { vi } V = Vp Vi

=
=
n
1 j
j
A 2 ) v ( g
La suma de los grados de todos los vrtices es igual a la suma de los grados de los vrtices de grado par ms
la suma de los grados de los vrtices de grado impar.


= + A 2 )
i
g(v )
p
g(v

) v ( g
p
es un nmero par porque es la suma de nmeros pares
2 | A | es un nmero par porque es mltiplo de dos.
En consecuencia

) v ( g
i
debe ser par.
Pero

) v ( g
i
es una suma cuyos trminos son todos impares. Si el resultado de esta suma es par, entonces
el nmero de trminos de esa sumatoria debe ser par.
Por lo tanto el nmero de vrtices de grado impar es par que es lo que queramos demostrar.

SUBGRAFOS
Definicin:

Una terna S = ( V, A, ) es un subgrafo del grafo G = ( V, A, ) si se cumple:

I ) Vc V
Matemtica Discreta
GRAFOS FI - UNJU

6
II) Ac A
III ) es una restriccin de en A

Por ejemplo si G = ( V, A, ) es Un subgrafo ser por ejemplo










Un caso particular del concepto de subgrafo es el subgrafo restante respecto de un vrtice.
Definicin:
Se llama subgrafo restante respecto del vrtice vi al grafo obtenido a partir del grafo original omitiendo el
vrtice vi y todas la aristas que inciden en l.
Se simboliza
i
v
G
~

Si tomamos el grafo del ejemplo anterior podemos representar el diagrama del subgrafo restante respecto de
cada uno de sus vrtices.

Definicin:
Tambin podemos definir el subgrafo restante respecto de una arista a , que se obtiene suprimiendo esa
arista del grafo original y que se simboliza:

a
G
~

Para nuestro ejemplo, obtendremos los siguientes subgrafos restantes respecto de cada arista.















Definicin:
Sea W un subconjunto de vrtices de V.
Matemtica Discreta
GRAFOS FI - UNJU

7
Se llama subgrafo generado por un subconjunto de vrtices W al grafo que tiene a W como subconjunto
de vrtices y cuyo conjunto de aristas est formado por todas las aristas del grafos original que tienen ambos
extremos en W.
En nuestro ejemplo
Si W = { v1 , v3 } el subgrafo generado por W es


Conexin de Grafos

Cadenas y Ciclos

Definicin:
Dado un grafo G = ( V , A , ) se llama cadena a una sucesin alternada de vrtices y aristas de la forma
{ v1 , a1 , v2 , a2 , v3 , a3 ,........, a n-1 , v n }que comienza y termina en vrtices y que cumple las siguientes
condiciones:
i) Las aristas son todas distintas.
ii) Cada arista incide en el vrtice precedente y en el siguiente.

En el grafo { v
1
, a , v
2
, b , v
4
} es una cadena de v
1
a v
4
.
{ v1 , g , v6 , d , v4 , e, v5 , f , v6 } es una cadena de v1 a v6.
El primer ejemplo es una cadena simple,
el segundo no es una cadena simple


Definicin:
Una cadena simple es una cadena en que todos los vrtices son
distintos.

Definicin:
Un ciclo es una cadena cuyo vrtice inicial coincide con el final.

Definicin:
Un ciclo simple es un ciclo en el que no se repite ningn vrtice, salvo el primero (y el ltimo)

{ v1 , g , v6 , d , v4 , b , v2 , a , v1 } es un ciclo simple.

{ v1 , h , v4 , e , v5 , f , v6 , d , v4 , b , v2 , a , v1 } ciclo no simple


Definicin:
Se llama longitud de una cadena (o de un ciclo) al nmero de aristas que la componen.
En nuestros ejemplos anteriores las longitudes de las cadenas son 2 y 4 respectivamente.
Las longitudes de los ciclos son 4 y 6 respectivamente.
Un par de aristas paralelas constituyen un ciclo de longitud 2.
Un lazo es un ciclo de longitud 1.


Aristas paralelas { v1, a , v2 , b , v1 } Lazo { v2 , c , v2 }


Definicin:
Dado un grafo G = ( V, A , ) se dice que un vrtice vj es alcanzable desde el vrtice vi si existe una cade-
na que los une.
Matemtica Discreta
GRAFOS FI - UNJU

8
En el ejemplo de la pgina 6 v3 es alcanzable desde v6 porque existe una cadena que los une,
por ejemplo : { v6 , d , v4 , c , v3 }
En el grafo adjunto, el vrtice v2 no es alcanzable desde v5 porque no hay una cadena que los une.








Nota:
En un grafo la relacin x es alcanzable desde vrtice y es una relacin de equivalencia.
En efecto,
Propiedad reflexiva para todo vrtice de V , ste es alcanzable desde s mismo.
vi e V : vi es alcanzable desde vi ya que existe una cadena { vi , vi }
Propiedad simtrica
vi es alcanzable desde vj Existe una cadena que une vj con vi .
Existe una cadena que une vi con vj.
vj es alcanzable desde vi
Propiedad transitiva.
vi es alcanzable desde vj y vj es alcanzable desde vk
Existe una cadena de vj a vi y existe una cadena de vk a vj.
Existe una cadena desde vk a vi.
v
i
es alcanzable desde v
k
.

Definicin:
Un grafo G = ( V , A , ) es Conexo si todo vrtice de V es alcanzable desde todo otro vrtice de V. Un
grafo es conexo si tiene una nica componente conexa.
I II










Grafo conexo Grafo no conexo
Como la relacin x es alcanzable desde y es una relacin de equivalencia en V , produce una particin
de este conjunto en clases de equivalencia
En el ejemplo II , el conjunto V se particiona en 3 clases de equivalencia.
Ellos son { v1 , v2 , v3 , v4 } ; { v5 , v6 , v7 , v8 } ; { v9 , v10 , v11 }
Cada clase de equivalencia se llama Componente Conexa del grafo.
En el ejemplo I hay una sola clase de equivalencia formada por todos lo vrtices de V.


Teorema:
Si un grafo G = ( V , A , ) es no conexo entonces existe una particin de V en clases de equivalencia
Matemtica Discreta
GRAFOS FI - UNJU

9
V1 , V2 , ..., Vn tales que no existe ninguna arista que tenga un extremo en una de las clases y el otro extremo
en otra.

Desconexin de Grafos

Definicin:
Un vrtice v de un grafo conexo G es un istmo o punto de corte si y solamente si el grafo restante respec-
to de v es no conexo.
v es istmo
v
G
~
es no conexo
v4 es un istmo porque
4
v
G
~
es no conexa









Definicin:
Una arista a de un grafo conexo G es un puente si el grafo restante respecto de esa arista es no conexo.
a es puente
a
G
~
es no conexo
En el ejemplo anterior e es un puente porque
e
G
~
es no conexo.








Definicin:
Un ciclo en un grafo G = ( V , A , ) es Euleriano si recorre todas las aristas del grafo en cuestin.
Si recorre todas las aristas del grafo pero no vuelve al vrtice inicial se llama Cadena Euleriana.
En el grafo solo se puede encontrar una cadena de Euler que se inicia en el vrtice 5 y termina en el vrtice 4
ambos tienen grado impar.
{ 5 , a1 , 4 , a2 , 6 , a3 , 3 , a4 , 2 , a5 , 1 , a6 , 3 , a7 , 5 , a8 , 6 , a9 , 2 , a10 , 4 }










Teorema:
Un grafo conexo G admite un ciclo euleriano si y solamente si todos sus vrtices tienen grado par.
Matemtica Discreta
GRAFOS FI - UNJU

10
Hiptesis : G es conexo y admite un ciclo euleriano.
Tesis: v e V : g ( v ) es par.

D) Si v es un vrtice distinto del vrtice inicial, cada vez que se llega a l tambin se debe salir de l por un
arista diferente, por lo tanto el nmero de aristas que inciden en l debe ser par, entonces: G ( v ) es par.
Lo mismo sucede con el vrtice inicial, porque como es un ciclo se debe llegar tambin a l por una arista
diferente, entonces su grado debe ser par.

Teorema
Un grafo conexo G contiene una cadena euleriana si y slo si tiene exactamente dos vrtices de grado impar.

En el ejemplo que dimos para cadena euleriana, claramente se ve que no hay un ciclo euleriano porque los
vrtices 4 y 5 tienen grado impar.
Para tener un ciclo euleriano deberamos agregar una arista como en el dibujo.








Entonces nos quedara { 5 , a1 , 4 , a2 , 6 , a3 , 3 , a4 , 2 , a5 , 1 , a6 , 3 , a7 , 5 , a8 , 6 , a9 , 2 , a10 , 4 ,a11,5}
Que es un ciclo de Euler

Definicin:
Un grafo G = (V, A, ) tiene un ciclo de Hamilton si existe un ciclo simple de G que contenga todos los
vrtices de V.
Una cadena de Hamilton es una cadena simple de G que contiene todos los vrtices.


{ v2 , b , v3 , f , v5 , g , v4 , d , v1 , a , v2 }
Es un ciclo hamiltoniano.




Los ciclos de Hamilton son llamados as en honor de Sir William Hamilton quien patent un juego con la
forma de un dodecaedro a mediados del siglo XIX.
Cada esquina del dodecaedro tena el nombre de una ciudad y el problema era comenzar en cualquier ciudad,
viajar a lo largo de las aristas, visitar cada poblacin exactamente una vez y volver al punto de partida.
La condicin necesaria y suficiente para la existencia de un ciclo hamiltoniano en un grafo no se conoce an.
Sugerencias para intentar hallar un ciclo de Hamilton segn Grimaldi.
En un grafo G = (V, A, ) :
1) Si G tiene un ciclo de Hamilton, entonces para v e V, grad (v) > 2.
2) Si v e V y grad (v) = 2, entonces las dos aristas incidentes en el vrtice v deben aparecer en cual-
quier ciclo de Hamilton de G.
3) Si v e V y grad (v) > 2, entonces cuando se intenta construir un ciclo de Hamilton, una vez que se
pase por v, las aristas no utilizadas incidentes en v se dejan de tener en cuenta.


Matemtica Discreta
GRAFOS FI - UNJU

11
GRAFOS ISOMORFOS

La definicin de Grafo no hace referencia ni al largo ni a la forma de las aristas que unen cada par de vrti-
ces o nodos. Tampoco prescribe algn tipo de orden para los vrtices. Por lo tanto, para un mismo grafo
puede haber ms de un diagrama que lo represente.

Por ejemplo:









Los dos diagramas precedentes representan el mismo grafo. Son grafos isomorfos.

Definicin
Dados dos grafos G = (V, A, ) y ) , A , V ( G = se dice que G y G son isomorfos si existe una funcin
biyectiva f : V V y una funcin biyectiva g : A A que conserven las relaciones de incidencia y adya-
cencia.

Sean los grafos:










G G

Son G y G isomorfos?
V = {v1, v2, v3, v4, v5} V=5 V = {w1, w2, w3, w4, w5} V=5

A = { a ,b , c , d , e } A=5 A= { f , g , h , i , j } A=5

f: V V g : A A

Para G g(v1)=2 g(v2)=2 g(v3)=2 g(v4)=2 g(v5)=2

Para G g(w1)=2 g(w2)=2 g(w3)=2 g(w4)=2 g(w5)=2

para que sean isomorfos las biyecciones f y g deben ser tales que si una arista de A incide en los vrtices vi y
vj de V , entonces la imagen de x , g ( x ) debe incidir en las imgenes de vi y vj o sea f (vi ) y f (vj ).
Construyamos las matrices de incidencia de G y G .

Matemtica Discreta
GRAFOS FI - UNJU

12
a b c d e f g h i j

|
|
|
|
|
|
.
|

\
|
=
1 1 0 0 0
0 1 1 0 0
0 0 1 1 0
0 0 0 1 1
1 0 0 0 1
G
M
5
4
3
2
1
v
v
v
v
v

|
|
|
|
|
|
.
|

\
|
=
0 1 1 0 0
0 0 1 1 0
0 0 0 1 1
1 0 0 0 1
1 1 0 0 0
G
M
5
4
3
2
1
w
w
w
w
w


Si en la matriz de G hacemos cambios en las filas de la matriz de manera tal que la 2
da
fila pasa a 1
er
fila y
la 3
er
fila pasa a 2
da
fila y la 1
er
fila pasa a 5
ta
fila obtenemos la matriz siguiente

f g h i j

|
|
|
|
|
|
.
|

\
|
=
1 1 0 0 0
0 1 1 0 0
0 0 1 1 0
0 0 0 1 1
1 0 0 0 1
w
w
w
w
w
G
M
1
5
4
3
2
Esta matriz es coincidente con la de G.
En nuestro ejemplo:
f (v1 ) = w2 f (v2 ) = w3 f (v3 ) = w4 f (v4 ) = w5 f (v5 ) = w1
g (a ) = f g (b ) = g g (c ) = h g (d ) = i g (e ) = j

La arista b incide en v2 y v3 la imagen de b debe incidir en f ( v2 ) y f ( v3 )
En efecto la arista g de G incide en w3 y w4 y como esto se cumple para todas las aristas, los grafos G y G
son isomorfos.
(b)={v2,v3} g(b)={f(v2),f(v3)} (g)={w3,w4}

Si observamos tambin podemos obtener la matriz G si cambiamos las columnas.
Si previo reordenamiento de filas y columnas de sus matrices de incidencia, stas coinciden, los grafos son
isomorfos.

En el ejemplo dado previo a encontrar las biyecciones entre vrtices y aristas los grafos G y G deben con-
servar las invariantes de cada grafo, es decir deben tener:
a) el mismo nmero de vrtices
b) el mismo nmero de aristas
c) los vrtices correspondientes deben tener el mismo grado.

Si cualesquiera de estas condiciones no se cumplen en los dos grafos, estos no son isomorfos.

Sin embargo que dos grafos tengan los mismos invariantes es una condicin necesaria para que dos grafos
sean isomorfos, pero no es una condicin suficiente.



GRAFO PLANAR (GRAFO PLANO)

Definicin de Grafo Aplanable:
Un grafo G es un grafo aplanable, si es posible dibujar a G en un plano de tal manera que cada par de sus
aristas solo se corten en los vrtices.


Matemtica Discreta
GRAFOS FI - UNJU

13









Definicin de Grafo Plano:
Un grafo aplanable G que ya esta dibujado en un plano de tal manera que cada par de sus aristas solo se in-
tersecan en los vrtices, se llama grafo plano.
Un grafo se dice plano si y slo si existe una representacin plana del mismo de modo que sus aristas se
corten slo en los vrtices de G .











En cambio no es posible unir los cinco vrtices de un pentgono con cada uno de los otros. Por lo tanto no es
un grafo planar.












Entonces un grafo es plano si se puede dibujar sin que se corten las aristas.


Dados los dos grafos G1 y G2 isomorfos
Ambos son aplanables pero solo G2 es un
grafo plano.
- Ser aplanable es una caractersti-
ca inherente al grafo.
- Ser plano es una caracterstica del
dibujo de un grafo aplanable





Matemtica Discreta
GRAFOS FI - UNJU

14
Teorema de Kuratowski:
Un grafo es plano si , y solo si, no contiene ningn subgrafo isomorfo a K5 ni a K3,3 ni a subdivisiones de
ellos









El grafo de Petersen no es plano, ya que contiene una subdivisin de K3,3

Regiones
Sea G un grafo plano. Consideremos las partes del plano que quedan despus de quitar los vrtices y las
aristas de G. Esas piezas conexas del plano se llaman regiones.
A la regin de rea infinita se le llama regin sin frontera
Todo grafo plano tiene exactamente una regin sin frontera
Frontera de una regin
Sea un grafo plano G, al conjunto de vrtices y aristas que inciden en una regin r de G se le llama la fronte-
ra de r.

En este grafo la frontera de la regin r3 es
{v3, v3v4, v4, v4v6 ,v6 ,v3v6}
La regin r6 es la regin sin frontera y su frontera es
{v1,v1v3,v3,v2v3,v2,v2v6,v6,v6v7,v7,v5v7,v5,v4v5,v4,v4v1}


Teorema de Euler

1. PARA GRAFO CONEXO
Si G es un grafo planar conexo con | V | ( n de vrtices ),
| A | ( n de aristas ) y que descompone al plano en r regiones
entonces se cumple | V | | A | + r = 2

Ejemplo
| V | = 5 , | A | = 7 r = 4 5 7 + 4 = 2

Demostracin:
Por induccin sobre | A |
Si | A |= 0 , entonces
| V |=1, r=1 y se cumple que | V | | A | + r = 2
Supongamos que el resultado es cierto para todos los grafos planos y conexos con | A | -1 aristas, dnde
| A | 1.
Sea G un grafo plano conexo y con | A | aristas r regiones y | V | vrtices
Si G es un rbol r= 1 , | V |=| A | +1 | V | + r =| A | +1+ 1 = | A | + 2

Si G no es un rbol existe alguna arista a de un ciclo de G , G-{a} es plano, conexo con | V | vrtices,
| A | -1 aristas y r-1 regiones.
La hiptesis de induccin asegura entonces que |V | -(| A| -1) +(r-1) = 2 es decir | V | | A | + r = 2


Matemtica Discreta
GRAFOS FI - UNJU

15
2. PARA GRAFO NO CONEXO
Si G es un grafo planar no conexo se cumple | V | | A | + r = u + 1 dnde u es el nmero de compo-
nentes conexas.
En el ejemplo: | V | = 9 , | A | = 8 r = 3


u = 3 9 8 + 3 = 3 + 1
4 = 4




Coloracin

Una coloracin de un grafo G=(V,A,) es una asignacin de colores a los vrtices de G, a cada
vrtice un color, de forma que vrtices adyacentes reciban colores distintos. Si en la coloracin
se usan k colores diremos que es una k-coloracin.

Nmero cromtico
El nmero cromtico de un grafo G, (G), es el nmero mnimo de colores necesario para colorear G.
No es fcil determinar el nmero cromtico de un grafo

Coloracin de mapas
Los mapas se colorean de modo tal que pases con un segmento de frontera comn tengan colores diferentes.
Aunque algunos mapas se pueden colorear con menos de 4 colores.
Un mapa plano es un grafo plano en el que podemos interpretar a las regiones como pases, las aristas se
interpretan como las fronteras entre los pases y los vrtices representan la interseccin de las fronteras.
El problema de colorear un mapa plano G, de manera que los pases fronterizos no tengan el mismo color,
puede reducirse al problema de colorear un grafo, construyendo el grafo dual G de G de la manera siguien-
te.
Los vrtices del grafo dual G provienen de reemplazar cada regin, incluyendo las regiones sin frontera, por
un vrtice.
Una arista en G une dos vrtices si las correspondientes regiones de G estn separadas por una frontera.
Una coloracin del mapa G es equivalente a colorear los vrtices del grafo dual G.











Teorema de los cuatro colores:
Todo grafo plano G es 4-coloreable

Grafos Notables

Grafos k-regulares
Entre los grafos notables ya hemos citado el grafo regular de grado k o grafo k-regular que es aqul en que
todos los vrtices tienen grado k.
Matemtica Discreta
GRAFOS FI - UNJU

16
Los grafos k regulares pueden ser simples o no.
Ejemplos:







Grafos simple 3- regular Grafos 3 -regular no simple

Grafo Completo de p vrtices
Definicin:
El grafo completo de p vrtices que simbolizaremos Kp es un grafo simple cuyo conjunto de vrtices tiene p
elementos y tal que todo par de vrtices distintos determina una arista.
O lo que es lo mismo: un grafo simple es completo si todo vrtice est conectado con todo otro vrtice









Propiedades del Grafo Completo KP

1) Todo vrtice tiene grado p 1.
2) El subgrafo restante de Kp respeto de cualquiera de sus vrtices es isomorfo con Kp 1
3) Dados 3 vrtices distintos de Kp ( p > 3 ) existe un ciclo de longitud 3 que los contiene slo a ellos.
4) Para p > 3 , Kp es un bloque es decir que carece de itsmos y puentes
5) Si A es el conjunto de aristas de Kp entonces
| A |
2 , p
C
2
p
2
) 1 p ( p
=
|
|
.
|

\
|
=

=
Un grafo completo Kp siempre tendr un ciclo hamiltoniano, cuando p 3,

Grafo Complementario
Definicin:
Dado un grafo simple G = ( V , A , ) se llama grafo complementario de G al grafo ( ) ' , ' , A V G= c que
tiene el mismo conjunto de vrtices que G y cuyas aristas son justamente las que le faltan a G para ser com-
pleto.






Grafos bipartitos

Definicin:
Un grafo simple G se dice bipartito si su conjunto de vrtices se puede particionar en dos subconjuntos V1
y V2 tales que toda arista del grafo conecta un vrtice de V1 con un vrtice de V2.
Matemtica Discreta
GRAFOS FI - UNJU

17
Recordemos que V1 y V2 forman una particin de V sii V1 V2 =V y V1 V2 = |
El grafo de la figura es bipartito porque si hacemos V1 = { v1 , v5 } V2 = { v2 , v3 , v4 } estos dos conjuntos
forman una particin de V y adems cada arista del grafo tiene un extremo en un elemento de V1 y el otro
extremo en un elemento de V2.
Para mayor claridad, el grafo bipartito suele representarse como sigue, colocando encolumnados a la iz-
quierda los elementos de V1 y encolumnados a la derecha los elementos de V2 .







En la prctica los grafos bipartitos se representan naturalmente cuando los vrtices representan 2 subconjun-
tos distintos de entes u objetos.
Grafo Bipartito Completo
Definicin:
Un grafo simple es bipartito completo cuando es bipartito y adems cada vrtice de V1 est conectado con
cada vrtice de V
2

Un grafo bipartito completo se denota Kp,q (o tambin Kn1;n2) donde el primer subndice es el nmero de
elementos de V1 y el segundo subndice el nmero de elementos de V2.
En general se acepta que siempre sea p s q .

Ejemplos:







Algoritmo del Camino ms corto o de Dijkstra

El algoritmo de Dijkstra, tambin llamado algoritmo de caminos mnimos, es un algoritmo para la determi-
nacin del camino ms corto dado un vrtice origen al resto de vrtices en un grafo con pesos en cada arista.
Su nombre se refiere a Edsger Dijkstra, quien lo describi por primera vez en 1959.
La idea subyacente en este algoritmo consiste en ir explorando todos los caminos ms cortos que parten del
vrtice origen y que llevan a todos los dems vrtices; cuando se obtiene el camino ms corto desde el vrti-
ce origen, al resto de vrtices que componen el grafo, el algoritmo se detiene.

Un grafo G se llama Grafo Rotulado o Etiquetado si a sus aristas y/o vrtices se le han asociado datos de
alguna clase.
Considrese un grafo etiquetado conexo con dos vrtices (o nodos) especiales llamados Origen y Destino. A
cada una de las aristas se le asocia una Distancia no negativa. El objetivo es encontrar la ruta ms corta (la
cadena con la mnima longitud total) que va del origen al destino.
Se dispone de un algoritmo relativamente sencillo para este problema. La esencia de este procedimiento que
analiza todo el grafo a partir del origen, identificando sucesivamente la ruta ms corta a cada uno de los vr-
tices en orden ascendente de sus distancias (ms cortas), desde el origen, quedando resuelto el problema en
el momento del llegar al vrtice destino.

Descripcin del mtodo

Matemtica Discreta
GRAFOS FI - UNJU

18
Objetivo de la iteracin n-sima: encontrar el n-simo vrtice ms cercano al origen. (Este paso se repetir
para n = 1,2,..., hasta que el n-simo vrtice ms cercano sea el vrtice destino.)
Datos para la n-sima iteracin:(n - 1) vrtices ms cercanos al origen (encontrados en las iteraciones pre-
vias), y tambin su ruta ms corta y la distancia desde el origen.(Estos vrtices y el origen se llamarn vrti-
ces resueltos; el resto son vrtices no resueltos.)
Candidatos para el n-simo vrtice ms cercano: cada vrtice resuelto que est conectado directamente por
una arista con uno o ms vrtices no resueltos proporciona un candidato, y ste es el vrtice no resuelto que
tiene la arista ms corta. (Los empates proporcionan candidatos adicionales.)
Clculo del n-simo vrtice ms cercano: para cada vrtice resuelto y sus candidatos, se suma la distancia
entre ellos y la distancia de la ruta ms corta desde el origen a este vrtice resuelto. El candidato con la dis-
tancia total ms pequea es el n-simo vrtice ms cercano (los empates proporcionan vrtices resueltos adi-
cionales), y su ruta ms corta es la que genera esta distancia.

Ejemplo

Encontrar el camino ms corto entre el
punto de origen a y el punto final z
Para encontrar los caminos conectamos
los puntos obtenidos en la iteracin, de
acuerdo a esto tenemos dos caminos que
son { } { } z f e c a tambin y z g e c a , , , , , , , , de longitud 7.

Nota
Cuando salimos del vrtice origen es nuestro primer vrtice resuelto analizamos a partir de l, el vrtice o
los vrtices ms cercanos, puede ser que haya ms de uno si las distancias ms cercanas son iguales, lo que
nos sucede en la iteracin dos, del ejemplo precedente.

Tener cuidado cuando un vrtice es elegido por ser el ms cercano pasa a la categora de vrtice resuelto y
no puede ser usado de nuevo como opcin.
Cada vrtice resuelto pasa a ser parte de la siguiente iteracin en bsqueda del ms cercano a cada uno de
los vrtices resueltos.
La iteracin finaliza cuando llegamos al vrtice destino.
El camino ms corto se encuentra uniendo los segmentos obtenidos en la iteracin y su longitud es la distan-
cia final obtenida.

n-esima
iteracin
Vrtice Resuelto
Conectado directa-
mente a vrtice no
resuelto
Vrtice no resuelto
ms cercano
conectado
Distancia total
involucrada
n-esimo
vrtice mas
cercano
Distancia
mnima
Ultima
conexin
1 a c 1 c 1
ac
2 a
c
c
c
b
b
d
e
3
1+2=3
1+2=3
1+2=3

b
b
d
e

3
ab
cb
cd
ce
3 d
e
f
f
3+4=7
3+2=5
f 5
ef
4 e
f
g
g
3+3=6
5+1=6
g 6
eg
fg
5 f
g
z
z
5+2=7
6+1=7
z 7
fz
gz
Matemtica Discreta
GRAFOS FI - UNJU

19

Bibliografa
Grimaldi, R. P. (1997). Matemticas discreta y combinatoria. Una introduccin con aplicaciones.
Addison Wesley Iberoamericana. Mxico.
Jimenez Murillo, J. A.(2009). Matemticas para la computacin. Alfaomega Grupo Editor. Mxico.
Rojo, A. (1996). Algebra I. El Ateneo. Buenos Aires.
Rojo, A. (1998). Algebra II. El Ateneo. Buenos Aires.
Rosen, K. (2004). Matemtica discreta y sus aplicaciones. Traduccin de PerezMorales, Jos Ma-
nuel. Mcgraw-Hill/Interamericana de Espaa. Colombia.
Veerarajan, T. (2008). Matemticas Discretas con teora de grficas y combinatoria. (Trad. Nagore
C., G.). MacGraw-Hill Interamericana. Mxico.