UNIVERSIDAD NACIONAL DE LA MATANZA

DEPARTAMENTO DE INGENIERA E UINVESTGACIONES

TECNOLGICAS



MATEMATICA DISCRETA

GRAFOS Y DIGRAFOS




Nota a los alumnos: En las primeras 4 pginas hemos adoptado el
formato de dos columnas para facilitar la comparacin entre los
elementos de un Grafo y un Digrafo. A partir de la pg. 6 slo nos
referimos a grafos.



GUA TERICA CON EJERCICIOS
RESUELTOS

LIC. BETINA WILLINER
ING. MARCELA BELLANI
LIC. HCTOR CONRADO






COORDINADORA DE CTEDRA:
C.C. ALICIA CICCINI












2
GRAFO

Definicin :
Llamamos grafo a toda terna ) , , ( A V G = donde :
V : V conjunto de vrtices .
A: A conjunto de aristas.
Funcin
{ } 2 1 / * / * : = = = H H V H V V A de incidencia

Ejemplo:
a
1

v
1
a
2
v
2


a
3
a
6
a
4
a
5



v
4
v
3


a
7


Elementos :

1) Diremos que un vrtice V v es extremo de una arista A a
si ) (a v .
Ej.: v
1
es extremo de a
1
.

2) Se dice que un vrtice v y una arista a son incidentes si
) (a v .

DIGRAFO

Definicin:
Llamamos digrafo a toda terna ) , , ( A V G = donde;
V: V conjunto de vrtices.
A: A , conjunto de aristas.

VXV A : Funcin de incidencia dirigida

Ejemplo:
a
2
a
3

v
1
v
2

a
1


a
4


v
4
a
5
v
3

a
6
a
7


Elementos :

1) diremos que V v es vrtice inicial de A a si
) , ( ) ( / w v a V w = ; y V v es vrtice final de A a si
) , ( ) ( / v w a V w =
Ej.: v
1
inicial de a
2
y final de a
1
.

2) Diremos que una arista llega a v si ) , ( ) ( / v w a V w = ; y
sale de v si ) , ( ) ( / w v a V w = .
3
3) Una arista es un lazo si 1 ) ( = a .
4) Dos aristas
1
a y
2
a son paralelas si ) ( ) (
2 1
a a = .
Ej.: a
6
y a
4.
5) Dos aristas no paralelas son adyacentes si
{ } v a a V v = ) ( ) ( /
2 1
Ej.: a
3
y a
7
.
6) Dos vrtices son adyacentes cuando existe una arista que los
une { }
2 1
, ) ( / v v a A a = . Ej.: v
4
y v
3
.
7) Un grafo es simple cuando no tiene lazos ni aristas paralelas.

Grado o valencia : de V v es el nmero de aristas incidentes
en v . (el lazo se cuenta 2).

Observacin: v v gr = 0 ) ( es vrtice aislado.

v v gr =1 ) ( es vrtice colgante.

. ) ( regular k llama se G V v k v gr =

Propiedad:

=
=
n
i
i
A v gr
1
2 ) (






3) Una arista es un lazo si ). , ( ) ( v v a =
4) Dos aristas
2 1
a y a son paralelas si ) ( ) (
2 1
a a = .
Ej.: a
2
y a
4
.
Dos aristas
2 1
a y a son contraparalelas si
) , ( ) ( ) , ( ) (
2 1
v w a w v a = = Ej.:
2 1
a y a .
5) Dos aristas no paralelas son adyacentes si
) . ( ) ( ) , ( ) (
2 2 1 1
w v a y v w a = = Ej.:
7 6
a y a .
6) Dos vrtices son adyacentes cuando ) , ( ) ( /
2 1
v v a A a =
Ej.: v
1
y v
3
.
6) Un digrafo es simple cuando no posee lazos ni aristas
paralelas.

Grado positivo : Nmero de aristas que llegan a ) (v gr v
+

Grado negativo : Nmero de aristas que salen de ) (v gr v
Grado total: ) ( ) ( ) ( v gr v gr v gr = +
+

Grado neto: ) ( ) ( ) ( v gr v gr v gn
+
=

Propiedades:


+
= ) ( ) (
i i
v gr v gr

= A v gr
i
2 ) (

= 0 ) (
i
v gn


4
Relacin de adyacencia : VXV Ra

adyacentes son v y v Rv v
j i j i

=
R vj v si
R v v si
Ma
i
j i
) , ( 0
) , ( 1


Ejemplo : (ejercicio 2a)

=
0 1 0 1 1
1 0 1 1 1
0 1 0 1 0
1 1 1 0 1
1 1 0 1 0
0 1 0 1 1
1 0 1 1 1
0 1 0 1 0
1 1 1 0 1
1 1 0 1 0
Ma
e
d
c
b
a
e d c b a


Para hallar la funcin debemos nombrar las aristas:

a a
1
b
a
6
a
2

a
5
a
8
c
a
7
a
3

e
a
4
d


Relacin

de incidencia : AXV Ri

=
i i j
i j
i j
R v a si
v de sale a si
v a llega a si
Mi
) , ( 0
1
1


Ejemplo: (ejercicio 12a)

a
1
a
6
a
2

v
1
v
2



a
5
v
3


v
5
a
3

a
4
v
4


Ejercicio 11:

a
2

v
1
v
2

a
5

a
1
a
3
a
4



v
3
v
4

a
6


5
x a
1
a
2
a
3
a
4
a
5
a
6
a
7
a
8



) (x { } b a, { } c b, { } d c, { } e d, { } a e, { } d a, { } b e, { } d b,

Ntese que la imagen de una arista es un conjunto de vrtices y
no un par ordenado ya que stas no tienen orientacin alguna por
tratarse de un grafo.
Comparar con la funcin ) (x dada en el ejercicio 11.

NOTA IMPORTANTE :
De aqu en adelante abandonaremos el formato en dos columnas
en forma comparativa ya que solo nos referiremos a GRAFOS.































6
Camino.:

Dado ) , , ( A V G = grafo, un camino es un conjunto de aristas adyacentes que
permiten acceder de un vrtice v a otro w. Es simple si no repite vrtices.

Circuito Ciclo :

Es un camino que une al vrtice v en s mismo. Es simple si n o repite vrtices salvo
el inicial y el final.

Grafo Conexo :

Sea ) , , ( A V G = grafo se define sobre V la siguiente relacin:

( )
i j j i j i j i
v a v de un v a v de un v v Rv v camino camino =
Se puede probar que es de equivalencia.:

1) Reflexiva

i i j i i
Rv v v v G v = : .
2) Simtrica

( )
i j j i j i j i j i
v a v de un v a v de un v v Rv v G v v camino camino , =

( )
i j j i i j i j
Rv v v a v de un v a v de un v v = camino camino .

3) Transitiva

{ ( ) [ ]
i j j i j i k j j i k j i
v a v de un v a v de un v v Rv v Rv v G v v v camino camino , , =
( ) [ ] }
j k k j k j
v a v de un v a v de un v v camino camino =

( ) [ ] { } = =
k j i j j i j i
v v v a v de un v a v de un v v camino camino
{ ( ) [ ] =
i j j i j i
v a v de un v a v de un v v camino camino
( ) }
j k k j
v a v de un v a v de un camino camino
( ) ( ) [ ] = = =
k j i j j i k j j i
v v v a v de un v a v de un v v v v camino camino
( ) [ ] =
j k k j j i
v a v de un v a v de un v v camino camino
[ ( )
i j j i
v a v de un v a v de un camino camino
( ) ]
j k k j
v a v de un v a v de un camino camino
( )
k i i k k i k i
Rv v v a v de un v a v de un v v = camino camino

Recordar: ( ) ( ) ( ) r p q p r q p


7
Por ser R de equivalencia determina sobre el conjunto V una particin en clases de
equivalencia.
Las clases de equivalencia se llaman componentes conexas del grafo G.

El grafo G es conexo existe una nica componente conexa.

Camino de Euler :

Un camino en un grafo G se dice de Euler si utiliza todas las aristas de G una sola vez,
y todos los vrtices pudiendo repetirlos.

Circuito de Euler: Lo mismo que el camino pero une un vrtice
i
v en s mismo.

Propiedad 1

Un grafo G tiene al menos un circuito de Euler s y slo s es conexo y todos los
vrtices tienen grado par.

Propiedad 2:

Un grafo G tiene un camino de Euler s y slo s es conexo y todos los vrtices
tienen grado par o tiene exactamente dos de grado impar.

Ejemplo: (ejercicio 17a)

Camino de Euler : v
1
v
5
v
4
v
5
v
1
v
2
v
3
v
4
Circuito de Euler: No existe pues v
1
y v
4
tienen grado impar.

Camino de Hamilton :

Es un camino simple que contiene todos los vrtices.

Circuito de Hamilton :

Igual al camino pero una el vrtice v
i
en s mismo.

Ejemplos : (ejercicio 17 a)

Camino de Hamilton : v
1
v
5
v
4
v
3
v
2
.
Circuito de Hamilton : v
1
v
5
v
4
v
3
v
2
v
1
.

Ejercicio 17 b)

Camino de Euler : No tiene porque hay mas de dos vrtices de grado impar (v
1
v
6
v
5

y v
3
).


Circuito de Euler : No tiene

Camino de Hamilton : v
1
v
6
v
5
v
2
v
3
v
4
Circuito de Hamilton : v
1
v
2
v
5
v
4
v
3
v
6
v
1
.


8
Ejercicio 4:

4-1) Camino simple de b a d : b e d
4-2) Camino no simple de b a d: b a c b e d
4-3) Ciclo simple de b a b : b e d c a b
4-4) Ciclo no simple de b a b : b e f g e b
4-5) Todos los caminos simples de b a f : b e f ; b e g f ; b a c d e f ;
b a c d e f ; b c d e f ; b c d e g f .



GRAFO CONEXO

Istmo:

Dado ) , , ( A V G = grafo, V v es istmo s y solo s el grafo que resulta de
suprimir el vrtice v (istmo) y sus aristas incidentes , es no conexo.
O sea { } { } y v con incidente es a a A A v V V donde A V G / ' ; ' / ) ' , ' , ' ( ' = = =
a / ' =
es un grafo no conexo.

Puente :

Una arista es un puente s y slo s al suprimirla, el grafo resultante es no conexo.

Dado ) , , ( A V G = grafo, A a es puente s y slo s
{ } y a A A V V donde A V G = = = ' ; ' / ) ' , ' , ' ( '
a / ' =
es un grafo no conexo.

Conjunto desconectante : (B = Conjunto de aristas)

Un conjunto de aristas A B de un grafo G es desconectante si al suprimirlas el
grafo resultante es no conexo.
Dado ) , , ( A V G = grafo un conjunto A B es desconectante si
A y B A A V V donde A V G / ' ' ; ' / ) ' , ' , ' ( ' = = = =

es un grafo no conexo.

Conectividad:

Es el menor nmero de vrtices que hay que sacar de V para convertir el grafo G en
no conexo o el grafo trivial (un solo vrtice).

Isomorfismo :

Dos grupos ) , , ( ) , , (
2 2 2 2 1 1 1 1
A V G y A V G = = son isomorfos si existe una
funcin
2 1
: V V f biyectiva tal que: { } { }
2 1
) ( ), ( , A y f x f A y x Si .


Ejemplo (ejercicio 19 a) :

Existe la funcin
2 1
: V V f / t d f z c f y b f x a f = = = = ) ( ; ) ( , ) ( ; ) ( de modo
que:
9

{ } { }
2 1
, , A y x A b a ; { } { }
2 1
, , A z x A c a ; { } { }
2 1
, , A t x A d a

{ } { }
2 1
, , A z y A c b ; { } { }
2 1
, , A t y A d b ; { } { }
2 1
, , A t z A d c

Por lo tanto son isomorfos ya que para vrtices correspondientes, tambin se
corresponden las aristas.



Grafo Completo

Dado ) , , ( A V G = grafo sin lazos, es completo si
{ }
j i j i
v v a A a V v v , ) ( / ; = ...... se simboliza K
n.

1 2
2
= = A V K v
1
v
2


3 3
3
= = A V K v
1
v
2




v
3



6 4
4
= = A V K v
1
v
2





v
3
v
4







En general :
2
) 1 .(
2
+
=
|
|

\
|
= =
n n
n
A n V K
n









10
Grafo bipartito

Dado ) , , ( A V G = es bipartito si el conjunto de vrtices puede separarse en dos
subconjuntos disjuntos de modo que todas las aristas conecten vrtices de ambos
subconjuntos, o sea :

Dado ) , , ( A V G = es bipartito si = =
2 1 2 1
V V con V V V y
{ }
2 1 2 2 1 1
, ) ( / v v a V v V v A a = .

Ejemplo:

v
1
v
3


v
4



v
2
v
5


Nota: el ejemplo precitado se trata de un Grafo bipartito incompleto.


* Un grafo G es bipartito completo si { }
2 1 2 2 1 1
, ) ( / v v a A a V v V v =

Ejemplo: (ejercicio 14)

Como el grafo es completo de 5 vrtices (K
5
) su matriz de adyacencia ser:

Y la grfica:

=
1 1 1 1 1
1 1 1 1 1
1 1 1 1 1
1 1 1 1 1
1 1 1 1 1
Ma v
1
v
2

v
3
v
4


v
5













11
Para el grfico bipartito completo (K
2,3
) la grfica ser:

v
1
v
3
Ntese que:

6 3 . 2 5 3 2 = = = + = A y V

v
2
v
4





v
5



Y la matriz de adyacencia:

=
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
1 1 1 0 0
1 1 1 0 0
Ma

* En general para Grafos bipartitos completos del tipo K
m,n
:

n m A n m V . = + =


Subgrafo (subdigrafo)

Dado ) , , ( A V G = grafo, ) ' , ' , ' ( ' A V G = es un subgrafo de G s y slo s

A y A A V V / ' ' ; ' = .

Hay dos tipos de subgrafos:

1) Los que se obtienen suprimiendo un vrtice y todas las aristas incidentes en l.
2) Los que se obtienen suprimiendo aristas.

Ejemplo: (Ejercicio 16 a)

Al suprimir el vrtice v
1
y sus aristas incidentes el subgrafo
1
v G es tal que
{ }
1
' v V V = ; { }
9 1
, ' a a A A = y A / ' = por lo tanto ) ' , ' , ' (
1
A V Gv =

16 b) { }
3 3
' ) ' , ' , ' ( v V V que tal A V v G = = ; { }
13 3 2
, , ' a a a A A = y A / ' =


Nota:
Es conveniente aclarar que frecuentemente se utiliza la palabra Grafo para indicar
Grficas no dirigidas con aristas paralelas , multigrafos, palabra que aparece en la
prctica, o pseudo grafos, es decir, grficas no dirigidas con aristas paralelas y lazos.