La Teoria de Grafos nace del anlisis sobre una inquietud

presentada en la isla Kueiphof en Koenigsberg

(Pomerania) ya que el ro que la rodea se divide en dos
brazos.

Sobre los brazos estaban construidos siete puentes y para

los habitantes era motivo de distraccin descubrir un
itinerario de manera que pudieran regresar al punto de
partida, despus de haber cruzado por los siete puentes
pero pasando slo una vez por cada uno de ellos.

afalcons

DEFINICION

GRAFOS

Un GRAFO es una estructura de datos dinmica

que permite representar diferentes tipos de
relaciones entre objetos de manera grfica.
ARCOS
O
ARISTAS

afalcons

Relaciones

INFORMACION
NODOS
O
VERTICES

EJEMPLO
Bogot

GRAFOS

1.500
Brasilia

800
Lima

900

Montevideo
Santiago
2.000

Buenos Aires

G = (V, A)
V(G) = nodos o vrtices
(ciudades)
afalcons

A(G) = arcos o aristas

(medio de conexin)
3

Grafos
Las aplicaciones ms importantes de los grafos son las
siguientes:
Rutas entre ciudades.
Determinar tiempos mximos y mnimos en un proceso.
Flujo y control en un programa.
A
e
e
C
afalcons

B
e
C

e
4

Grafos
MULTIGRAFO.- Grafo que posee aristas multiples o paralelas
GRADO DE UN VERTICE. Es el nmero de aristas que inciden en el.
CAMINO. Es una secuencia de vrtices V1, V2, V3, ... , Vn, tal que cada
uno de estos V1-sgt-V2, V2-sgt-V3, V1-sgt-V3.
LONGITUD DE CAMINO. Es el nmero de arcos en ese camino.

afalcons

CAMINO SIMPLE. Es cuando todos sus vrtices, excepto tal vez el primero y el ltimo son distintos

v2

Camino

v4

v6

v1

v8
v3
v5
v7
C={v1,v2,v5,v3,v1,v2,v4,v6,v7,v8}

k=9

RECORRIDO. Camino en el cual todas las aristas son diferentes,

no necesariamente estn todos los vertices

Recorrido

v2

v4

v6

v1

v8
v3

afalcons

v5

v7

C={v1,v3,v5,v2,v4,v5,v7,v8}

k=7

Grafos
Un grafo G consiste en un conjunto no vacio de vrtices
V y un conjunto de arcos o aristas E. Los vertices se
denominan tambin nodos o puntos.
G = G( V, E )
Los vrtices de un grafo pueden usarse para representar
objetos. Las aristas (arcos) se utilizan para representar
relaciones entre estos objetos.
A

e
e
D
afalcons

B
e
C

e
7

Grafos
CICLO SIMPLE. Es un camino simple (Es cuando todos sus vrtices, excepto tal vez
el primero y el ltimo son distintos) que empieza y termina en el mismo vrtice.
ARISTAS PARALELAS. Es cuando hay ms de una arista con un vrtice
inicial y uno terminal dados.
GRAFO CICLICO. Se dice que un grafo es cclico cuando contiene por lo
menos un ciclo.
GRAFO ACICLICO. Se dice que un grafo es aciclco cuando no contiene
ciclos.

afalcons

Bucles y ramas paralelas.

Ramas paralelas
v2

v4

v6

v1
Bucle

afalcons

v8
v3

v5

v7

Grafos
GRAFO CONEXO. Un grafo G es conexo, si y solo si existe un camino
simple en cualesquiera dos nodos de G.

GRAFO UNILATERALMENTE CONEXO. Un grafo G es

unilateralmente conexo si para cada par de nodos (V,W) de G hay un
camino de V a W o un camino de W a V.
VERTICE ADYACENTE. Un nodo o vrtice V es adyacente al nodo W
si existe un arco de m a n.

afalcons

10

Grafos
.Seale cual de los siguiente grficos es un grafo o un multigrafo,

luego describa formalmente cada uno de ellos.

P2
A

a
f

P1
D

G
G = G ( V, E )
V = A, B, C, D
E = AB, BC, CD, AD, DB

afalcons

b
P3

e
c

P4
H = H ( V, E )
V = P 1, P2 , P3 , P4
E = a, b, c, d, e, f

11

Grafos
Seale los grados de los vrtices de los grafos
P2
A

a
f

P1
D

P3

e
c

G
A= 2
B=3
C=2
D=3

P4
P1 = 3 ,
P2 = 3
P3 = 3
P4 = 3

afalcons

12

Grafos
.Seale los grados de los vrtices del grafo

B
A
C

afalcons

13

Grafos
.Seale si los siguientes grafos son conexos
A

B
C

D
C

SI

E
NO

SI

NO

Grafo Conexo.- es aquel en el cual existe un camino entre cada par

de vrtices distintos del grafo.
Camino.- Es una secuencia de vrtices V1, V2, V3, ... , Vn, tal que cada
uno de estos V1-sgt-V2, V2-sgtV-3, V1-sgt-V3.

afalcons

14

Grafos
.Seale si los siguientes grafos son conexos:
A

B
F

E
E

C
A

NO

NO

NO

afalcons

15

Grafos
Construya un grafo que represente las relaciones existentes, en un
campeonato de fulbito entre las escuelas de Ingeniera Civil, Sistemas,
Electrnica, Industrial y Arquitectura.
a)Indicar el grado de cada uno de los nodos.
b) Indicar si es un multigrafo
c) Indicar si es conexo
d) Que significaria un loop (bucle) en este grafo

afalcons

16

Grafos
Construya un grafo G =G(V.E) si
V= {1 , 2, 3, 4} y
E= { (1,1), (2,2), (2,3), (3,2), (4,2), (4,4), }
a)Indicar el grado de cada uno de los nodos.
b) Indicar si es un multigrafo
c) Indicar si es conexo
d) Que significaria un loop (bucle) en este grafo

afalcons

17

Grafos
Construya un grafo el dirigido G =G(V.E) si
V= {1 , 2, 3, 4,6} y
E= { (x,y) tal x divide a y }
a)Indicar el grado de cada uno de los nodos.
b) Indicar si es un multigrafo
c) Indicar si es conexo
d) Que significaria un loop (bucle) en este grafo
E ={ (1,1), (1,2), (1,3), (1,4), (1,6), (2,2), (2,4) (4,4), (2,6), (3,3), (3,6), (6,6)}

2
4

afalcons

3
6
18

Grafos
Teorema: La suma de los grados de los
vrtices de un grafo es igual doble de
nmero de aristas
gr(v) = 2e
Halle el nmero de vrtices de un grafo
que tiene 9 aristas y todos sus vrtices son
de grado 3
afalcons

19

PUENTE
Un puente ser cualquier arista de un grafo
conexo que mediante su eliminacin deje al
grafo dividido en dos componentes conexas. En
el grafo de la figura siguiente la arista {c, f} ser
una arista puente que dejar el grafo G dividido
en las componentes conexas formada por los
vrtices {f} y { a, b, c, d, e }.

afalcons

20

afalcons

21

GRAFOS EULERIANOS
(aristas)
Definimos un grafo euleriano G como un grafo conexo que posee un camino
cerrado que incluye todas las aristas de G. Cada arista se recorre una vez y slo
una vez.
Definimos que G es un camino- euleriano si levantamos la restriccin de que deba
ser cerrado.
Teorema Euler
Un grafo conexo es euleriano si y slo si el grado de todo vrtice de G es par.
Consecuencia
Un grafo conexo es un camino- euleriano si y slo si todas los vrtices de G son de
grado par excepto dos de ellos con grado impar. Es obvio que estos dos vrtices de
cardinalidad impar sern el principio y fin del ciclo
En la figura siguiente se puede observar un grafo no euleriano y otro grafo
euleriano y su correspondiente camino.

afalcons

22

GRAFO HAMILTONIANO
(vertices)
Si existe un camino cerrado que pasa exactamente una
vez a travs de cada vrtice de G, entonces se dice que G
es un grafo Hamiltoniano.

afalcons

NO

si

23

Ejemplo
A continuacin se muestra el grafo
Hamiltoniano dodecaedrico.

afalcons

si

24

Grafos Completos

Un grafo es completo si cada vrtice tiene un grado igual a n-1,

donde n es el nmero de vrtices que componen el grafo. Por
ejemplo los siguientes grafos son completos:

Gr(v)= n-1

n (n-1)

afalcons

m = --------2

m = # aristas
n = # vertices

25

Grafos Regulares
Un grafo se dice que es
regular, si todos los
vrtices tienen el mismo
grado. Por ejemplo:

afalcons

26

Grafo Bipartido

si V = ( V1 , V2 ) adems cada arista e une un vrtice de V1 y

otro de V2 entonces G es un grafo bipartido

afalcons

27

Grafo Bipartido Completo

un grafo bipartido completo si V=(V1 y V2 ) y dos vrtices de V

estn unidos por una arista de E, si y solo si un vrtice est en
V1 y el otro en V2. Se denota por K r,s al grafo bipartido completo
donde V1 tiene r vrtices y V2 tiene s vrtices

afalcons

28

Matriz de adyacencia
Dado un grafo G = (V, E) con n vrtices {v1, ..., vn} su matriz de
adyacencia es la matriz de orden n x n, A(G)=(aij) donde aij es el
nmero de aristas que unen los vrtices vi y vj.
La matriz de adyacencia de un grafo es simtrica.
Si un vrtice es aislado entonces la correspondiente fila
(columna) esta compuesta slo por ceros.
Si el grafo es simple entonces la matriz de adyacencia
contiene solo ceros y unos (matriz binaria) y la diagonal
est compuesta slo por ceros.
Si existen bucles o aristas mltiples deja de ser binaria

afalcons

29

afalcons

30

afalcons

31

Matriz de Incidencia

Dado un grafo simple G = (V, E) con n=|V| vrtices {v1, ..., vn} y m=|E| aristas {e1, ..., em}, su
matriz de incidencia es la matriz de orden nxm, B(G)=(b ij), donde bij=1 si vi es incidente con
ej y bij=0 en caso contrario.
La matriz de incidencia slo contiene ceros y unos (matriz binaria). Como cada arista incide
exactamente en dos vrtices, cada columna tiene exactamente dos unos. El nmero de unos
que aparece en cada fila es igual al grado del vrtice correspondiente. Una fila compuesta
slo por ceros corresponde a un vrtice aislado

afalcons

32

Grafos Regulares

El teorema de Kuratowski dice que un grafo planar no

puede contener K5 ( el grafo bipartito completo K3,3) y
todo Kn incluye a Kn 1, entonces ningn grafo
completo Kn con es planar

afalcons

33