Introduccin :

El primer ejemplo de trabajo con grafos fue este trabajo

que surgi para resolver un problema en la ciudad de
Knigsberg (Rusia). La ciudad estaba dividida en cuatro
partes por dos brazos del ro Pregel estando conectadas
por siete puentes.

La pregunta que se hizo L. Euler fue: Es posible

recorrer los siete puentes pasando por todos ellos una
nica vez, partiendo y llegando al mismo sitio?
 Conceptos matemticos :

Grafo. Informalmente, un grafo es un

conjunto de objetos llamados vrtices o
nodos unidos por enlaces llamados aristas
o arcos, que permiten representar
relaciones binarias entre elementos de un
conjunto.
Tipos:
Grafo simple:

Multigrafo:

Pseudografo:

Grafo dirigido:
Terminologa:
Etiquetado. Distincin que se hace a los vrtices y/o
aristas mediante una marca que los hace unvocamente
distinguibles del resto, es decir, asignarle a cada
vrtice o arista un nombre.

Adyacencia. Se dice que dos vrtices son

adyacentes si hay una arista que los conecte
entre ellos.

Grado de un vrtice. El grado de un vrtice es

un nmero natural de 0 al infinito que designa el
nmero de aristas le conectan con otros vrtices.
Incidencia. Una arista es incidente a un vrtice
si sta lo une a otro.

Ponderacin. Corresponde a una funcin que a

cada arista le asocia un valor (costo, peso,
longitud, etc.), para aumentar la expresividad del
modelo.

Camino. Un camino es una secuencia de aristas

que comienzan en un vrtice del grafo y recorren
parte o la totalidad del grafo conectando vrtices
adyacentes.
Circuito. Cuando existe un camino que empieza
y acaba en el mismo vrtice.

Isomorfismo. Si dos grafos son isomorfos slo

vara la apariencia, es decir, que se mantienen las
adyacencias, estructura, caminos, ciclos, nmero
de vrtices y nmero de aristas.

Conexo. Un grafo es conexo si tiene una nica

componente conexa, es decir, todos los vrtices
del grafo estn relacionados.
Familias de grafos simples:
Grafo regular:

Grafo completo:

Grafo complementario:

Grafo original Grafo complementario

Grafo bipartito:

Grafo bipartito completo:

Tipos de Grafos
Un grafo G es un par (V,E) donde:
V ={v1,,vn} es un conjunto de vrtices
E = {e1,,em} es un conjunto de aristas,
con cada ek {vi, vj}, con vi, vj V, vi vj
Los vrtices se representan como puntos y las aristas
como lneas entre vrtices
Ejemplo:
G = (V,E)
V = {a,b,c,d }
E = {{a,b}, {b,c}, {a,c}, {a,d}, {d,b} }

8
Tipos de Grafos

Ejemplo: red de ordenadores

9
Tipos de grafos

Es importante recordar que un mismo grafo puede

tener diferentes representaciones grficas
Ejemplo:

Dos representaciones del mismo grafo

G=
({a,b,c,d,e,f},{{a,b},{a,e},{a,f}{e,f},{b,c},{c,d},
{e,d},{d,f}})

RafaC - Matemtica Discreta - UCM 07/08 10

Tipos de Grafos

Si el orden influye en la aristas se habla de

grafos dirigidos:

En este caso a las aristas se les llama arcos y

se representan como pares para indicar el
orden:
V = { a,b,c,d,e}
A ={(e,a), (a,b), (b,a), (d,a), (c,d),
(d,c),(b,c),(c,b) }

11
Tipos de Grafos

Si se permite que haya ms de una arista se habla de

multigrafos:

12
Tipos de Grafos
Cuando las aristas tienen un valor numrico
asociado se llama de grafos valorados:

Al valor numrico asociado se le llama coste de la

arista 13
Tipos de Grafos

Los tipos anteriores pueden combinarse, dando lugar

por ejemplo a multigrafos valorados, o grafos dirigidos
valorados, etc.

En el resto del tema cuando no se diga lo contrario G

representar un grafo o multigrafo no dirigido

14
15
16
17
18
19
20
21
Conceptos Bsicos

Dos vrtices se dicen adyacentes si existe una arista

que los une
Los vrtices que forman una arista son los extremos de
la arista
Si v es un extremo de una arista a, se dice que a es
incidente con v
El grado de un vrtice v, gr(v) es el nmero de aristas
incidentes en v. Si hace falta indicar el grafo en el que
est v escribiremos gr(G,v)

22
Conceptos Bsicos

Ejemplo:

gr(6)= _______ gr(1) = ________

23
Conceptos Bsicos

Teorema (de los apretones de manos)

Sea G=(V,A) un grafo. Entonces: gr(v) = 2|A|
v V

Significado: la suma de los grados de todos los vrtices

es igual a 2 veces el nmero de aristas
Explicacin:

24
Conceptos Bsicos

Ejemplo:

gr(a)+gr(b)+gr(c)+gr(d)+gr(e)+gr(f) = 3+4+5+2+4+4 = 22
2|A| = 2 ____ = _____

25
Conceptos Bsicos

Se llama ciclo de grado n, y se denota Cn,

a G=({v1,,vn},
{{v1, v2}, {v2, v3},, {vn-1, vn}, {vn, v1}}
)

Nota: A menudo slo se consideran ciclos

para n3
RafaC - Matemtica Discreta - UCM 07/08 26
Representacin de Grafos

Para representar los grafos a menudo se utiliza la llamada

matriz de adyacencia
Se construye imaginando que en las filas y las columnas
corresponden a los vrtices. Se pone un 0 para indicar que 2
vrtices no son adyacentes, y un 1 para indicar que s lo son:
1
1 2 3 4 5 6
2
3
4
G 5
Matriz
6 de Adyacencia de G
Para representarla en un ordenador se utilizan matriz de
valores lgicos (booleanos). True hay arista, False no hay
arista

27
Representacin de Grafos

En el caso de un grafo no dirigido la matriz ser

simtrica. No ocurre lo mismo para grafos dirigidos:

Se supone que la fila representa el vrtice origen, y la

columna el vrtice destino del arco
28
Representacin de Grafos

La matriz de adyacencia tambin permite

representar grafos valorados

El valor guardado es el coste de la arista/arco

En lugar de 0, a menudo se emplea un valor
especial para indicar que dos vrtices no
estn conectados

29
Representacin de Grafos

En informtica a menudo en lugar de la matriz se usa la

lista de adyacencia
A cada vrtice le corresponde una lista con sus
adyacentes:

G
Lista de Adyacencia de G
30
Subgrafos

Sea G=(V,A). G=(V,A) se dice subgrafo de G si:

1. V V
2. A A
3. (V,A) es un grafo
Resultado fcil de comprobar:
Si G=(V,A) es subgrafo de G, para todo v G se
cumple gr(G,v) gr(G,v)

31
Subgrafos

Ejemplo:

G1 y G2 son subgrafos de G

32
Subgrafos

Un grafo se dice cclico cuando contiene

algn ciclo como subgrafo
Ejemplo:

Contiene dos ciclos de long. 3: {a,e,f,a} y

{_, _, _, _}
Contiene un ciclo de longitud 6:
{_,_,_,_,_,_,_}
Contiene algn ciclo ms? ___
33
Grafo Complementario

El complementario G de un grafo G=(V,A) tiene:

Los mismos vrtices que G
Si {u,v} G, entonces {u,v} G
Si {u,v} G, entonces {u,v} G
Una forma de construirlo:
Dibujar el corresp. grafo completo Kn, con n=|V|
Eliminar de Kn las aristas {u,v} G

34
Grafo complementario

Ejemplo : Complementario de

1 Representar K6 2 Marcar las 3 Eliminarlas

aristas de G
35
Caminos y conectividad
Un recorrido en un grafo G = (V,A) es una sucesin de vrtices v0, v1, ,
vk tal que {v i,v i+1} A para todo 0 i < k
La longitud de un recorrido v0, v1, , vk es k
Ejemplo:

f,b,c,f,e,d es un recorrido de
G longitud 5 36sobre G
37
Caminos y conectividad

Observacin: Un recorrido puede repetir vrtices, y

puede comenzar y acabar en vrtices diferentes
Un camino es un recorrido v0, v1, , vk en el que v i vj
para 0 i,j k, con i 0 o j k
Es decir en un camino todos los vrtices son distintos
entre s, excepto quizs el primero y el ltimo

38
Caminos y conectividad

Si existe un camino entre dos vrtices se dice que estn

conectados
Sea G=(V,A) un grafo. La relacin
xRy x e y estn conectados
es de equivalencia (R ___)
Si para todo par de vrtices de un grafo estn
conectados se dice que el grafo es conexo g
Las componentes conexas de un grafo G son los
mayores subgrafos conexos de G

39
Caminos y conectividad

Ejemplo:

G
a,b,e,c,d es un camino

40
Caminos y conectividad

Ejemplo. Consideramos el grafo:

Se tiene que:
G no es conexo: no hay camino entre a y
b, por ejemplo.
[a] = {a,c,e} [c] = {a,c,e} [e]={a,c,e}
[b]={b,d} [d]={b,d}
G/R = {[a],[b]}
G tiene dos componentes conexas:
41
Caminos y conectividad

Un recorrido v0, v1, ,vk tal que v0

= vk es un circuito
Un camino v0, v1, , vk tal que v0 =
vk es un ciclo

G a,b,f,c,e,f,a es un circuito f,c,b,e,f es un ciclo

42
Grafos Bipartitos

Un problema interesante en un grafo es determinar su

nmero cromtico:
Cuntos colores son necesarios para pintar los vrtices de
forma que cada arista una siempre colores distintos?
Ejemplo: Grafo con nmero cromtico 4

43
Grafos Bipartitos

Aplicacin: coloreado de mapas

Cuntos colores se necesitan para colorear un mapa de
forma que no haya dos regiones con frontera con el
mismo color?

44
Grafos Bipartitos

Idea: Transformar el mapa en un grafo, donde cada

vrtice representa una regin y cada arista un lmite
entre regiones:

Cuntos colores se necesitan?

RafaC - Matemtica Discreta - UCM 07/08 nmero cromtico de45 este grafo?
Grafos Bipartitos
Resultado: Todos los mapas se pueden colorear
con un mximo de 4 colores
Solucin propuesta en 1879, probada en 1976
por K. Appel y W. Haken con la ayuda de un
ordenador.

46
Grafos Bipartitos

Nosotros vamos a interesarnos en un caso particular:

aquellos grafos que se pueden colorear en dos
colores grafos bipartitos
Definicin: Sea G=(V,A). Se dice que G es bipartito si
existen V1, V2 tales que:
1. V1 V2= V
2. V1 V2=
3. Para toda {vi,vj} A se cumple vi V1, vj V2

47
Grafos Bipartitos

Ejemplos:

Es bipartito ? S; V1 = {2,5}, V2={0,1,3,4,6,7}

48
Grafos Bipartitos

Idea de cmo pintarlo:

Empezar por un vrtice cualquiera, de color C1
Dibujar todos los adyacentes de color C2
Seguir este proceso hasta haber terminado

Parece que No es
bipartito, pero
cmo estar
seguros?

49
Grafos Bipartitos

Teorema: Una grafo es bipartito si y slo si no tiene

ciclos de longitud impar

Ejemplo anterior: No bipartito; contiene ciclos de

longitud impar (en la figura aparece marcado uno de
long. 3)

50
Recorridos eulerianos

Ciudad de Knisberg, en XVIII:

Pregunta: sera posible dar un paseo

pasando por cada uno de los siete
puentes, sin repetir ninguno, comenzando
y acabando en el mismo punto?
51
Recorridos eulerianos

Representacin propuesta por Leonard Euler en 1736:

Existe un circuito que pase por todas las aristas una

sola vez?

52
Recorridos eulerianos
A estos circuitos se les llama circuitos eulerianos, y a
los grafos que los contienen grafos eulerianos
Grafo o multigrafo euleriano: admite un recorrido que
pasa por todas las aristas una sola vez, empezando y
terminando en el mismo vrtice. Los vrtices s se
pueden repetir
Ejemplo: Grafo euleriano.

Circuito euleariano: a,b,c,d,b,f,d,e,a,c,e,f,a

53
 Recorridos eulerianos
Ejemplo: Grafo euleriano.

Circuito euleariano: a,b,c,d,b,f,d,e,a,c,e,f,a

Ejemplo: El siguiente grafo es euleriano

Encuentra un circuito euleriano:

54
Recorridos eulerianos

Cmo saber si un grafo (o multigrafo) es euleriano?

Teorema de Euler: Un grafo conexo es euleriano
no tiene vrtices de grado impar
Ejemplo:

A tiene grado 3 el grafo de los

puentes no es euleriano.

55
Recorridos eulerianos

Si el grafo/multigrafo tiene slo dos vrtices de grado

impar se llama semi-euleriano. Se puede convertir en
euleriano aadindole una arista:

Semi-euleriano Euleriano

(__,__ grado impar) 56

Isomorfismo de grafos

Idea: En ocasiones dos grafos con diferentes

vrtices presentan la misma estructura:

Cmo probarlo? Buscando una funcin

biyectiva que convierta los vrtices de uno en
otro, preservando la estructura de las aristas
Definicin: Dos grafos G=(V,A), G=(V,A)
son isomorfos si existe una funcin biyectiva
f:V V tal que {a,b}A {f(a),f(b)}A

57
Isomorfismo de grafos

Ejemplo:
f(1) = a f(2) = f f(6) = b
f(4) = h f(5) = d f(3) = g
f(7) = e f(8) = c

Los dos grafos son isomorfos. Demostracin:

Construimos f como se indica al lado de la figura. Se
tiene que:
{1,2} f {a,f} {6,8} f {b,c} {1,6} f {a,b}
{2,8} f {f,c} {4,3} f {h,g} {1,4} f {a,h}
{2,3} f {f,g} {5,7} f {d,e} {4,5} f {h,d}
{3,7} f {g,e} {6,5} f {b,d} {8,7} f {c,e}

58
Isomorfismo de grafos
Y como saber si dos grafos no son isomorfos?
Hay que buscar alguna caracterstica que diferencie la estructura de los
dos grafos, como por ejemplo:
Distinto nmero de vrtices o de aristas
Distinto nmero de ciclos de una longitud dada
Distinto nmero de vrtices con un mismo grado n
Aristas conectando vrtices con dos grados tales que no existan aristas de las
mismas caractersticas en el otro grafo

59
Isomorfismo de grafos

Ejemplo: son isomorfos estos dos grafos?

Respuesta: no; G tiene un ciclo de longitud 3 (b,d,c,b)

y G no tiene ninguno de longitud 3

60
Isomorfismo de grafos

Son isomorfos? ___

por qu? _________________________-

61
Nombre: ESTEVEZ, MANUEL
Cdula: 04-0705-001705
Facultad: INGENIERA DE SISTEMAS COMPUTACIONALES
Carrera: LICENCIATURA EN INGENIERIA DE SISTEMAS COMPUTACIONALES

Cod./Asig. Asignatura Nota Cred. Puntos Indice Condicin

PRIMER SEMESTRE DE 1995
2422 CALCULO DIFERENCIAL E INTEGRAL I B 5 10
DIBUJO LINEAL Y GEOMETRIA
7514 B 3 6
DESCRIPTIVA
7710 PROGRAM DE COMPUTADORAS I C 4 4
7715 FUNDAMENTOS DE INFORMATICA B 4 8
7717 INTRODUCCION A LA ING. DE SIST. COMP. A 3 9
7788 INGLES CIENTIFICO I B 3 6
22 43 1.95
SEGUNDO SEMESTRE DE 1995
7718 ESTRUCT DE DATOS Y ALGORIT I C 4 4
7168 INGLES CIENTIFICO II B 3 6
7763 PROGRAMACION DE COMP. II C 4 4
2423 CALCULO DIFERENCIAL E INTEGRAL II D 5 0
7108 FISICA I C 6 6
44 63 1.43
PRIMER SEMESTRE DE 1996
7109 FISICA II C 6 6
ECUACIONES DIFERENCIALES
0709 D 5 0
ORDINARIAS
2375 REDACCION DE INFORMES TECNICOS B 3 6
7156 EST. DE DATOS Y ALGORITMOS II D 3 0
2540 ALGEBRA DE VECTORES Y MATRICES C 3 3
7766 PROGRAM DE COMPUTADORAS III D 4 0
68 78 1.15
SEGUNDO SEMESTRE DE 1996
7771 PROGRAM DE COMPUTADORAS V C 4 4
7179 CIRCUITOS ELECTRICOS C 4 4
MATEMATICAS SUPERIORES PARA
2678 C 4 4
INGENIEROS
7720 CONTABILIDAD GENERAL B 4 8
7722 METODOS NUMERICOS PARA ING. B 4 8
7724 MECNICA D 4 0
92 106 1.15
VERANO DE 1997
2423 CALCULO DIFERENCIAL E INTEGRAL II (A) 5 15 .
7766 PROGRAM DE COMPUTADORAS III (C) 4 4 .
92 125 1.36
PRIMER SEMESTRE DE 1997
7726 INVESTIGACION DE OPERACIONES I B 3 6
7727 ESTADISTICA B 3 6
7728 CIENCIAS TERMOFLUIDICAS D 3 0
4425 CIRCUITOS LOGICOS A 4 12
4868 ANALISIS Y DISEO DE SISTEMA I B 4 8
0764 SOCIOLOGIA A 3 9
112 166 1.48
SEGUNDO SEMESTRE DE 1997
 4872 ANALISIS Y DIS. DE SISTEMAS II A 4 12
7729 ADMON DE CENTROS INFORMATICOS A 4 12
7730 PROBABILIDAD C 4 4
7731 INVESTIGACION DE OPERACIONES II B 3 6
7732 ORGANIZ Y ARQUIT DE COMPUT I C 3 3
7774 ECONOMIA C 3 3
133 206 1.55
VERANO DE 1998
7156 EST. DE DATOS Y ALGORITMOS II (A) 3 9 .
133 215 1.62
PRIMER SEMESTRE DE 1998
7733 SISTEMAS DINAMICOS B 4 8
7734 ORG Y ARQUIT DE COMPUT II B 3 6
7735 DECISIONES FINANCIERAS B 3 6
7736 AUDITORIA DE SIST AUTOMATIZADOS B 3 6
7103 TEORIA DE OPTIMIZACION B 3 6
7153 SISTEMAS OPERATIVOS I B 3 6
152 253 1.66
SEGUNDO SEMESTRE DE 1998
7154 SISTEMAS OPERATIVOS II A 3 9
7737 SIMULACION DE SISTEMAS B 4 8
7738 SISTEMAS DE INFORMAC GERENCIAL B 4 8
7739 BASES DE DATOS I C 4 4
7740 COMUNICACION DE DATOS I C 4 4
7226 ADMON. DE RECURSOS HUMANOS B 3 6
174 292 1.68
VERANO DE 1999
7724 MECNICA (D) 4 0 .
ECUACIONES DIFERENCIALES
0709
ORDINARIAS
(C) 5 5 .
7742 METODOLOG DE INVESTIGACION C 3 3
177 300 1.69
PRIMER SEMESTRE DE 1999
7745 DERECHO B 4 8
4361 INGENIERIA ECONOMICA I B 3 6
SISTEMA DE SOPORTE A DEC. Y SIST
7743 B 4 8
EXPERTO
7744 BASE DE DATOS II B 4 8
7746 MERCADOTECNIA B 3 6
195 336 1.72
SEGUNDO SEMESTRE DE 1999
7747 INGENIERIA DE SOFTWARE B 4 8
EFICIENCIA Y CONTROL DE RECURSOS
7748 B 4 8
INFORM
INGENIERIA ECONOMICA II (EVAL DE
4405 B 3 6
PROY)
7749 ETICA PROFESIONAL B 2 4
208 362 1.74
VERANO DE 2000
7719 TRABAJO DE GRADUACION C 3 3
7716 TRABAJO DE GRADUACION B 3 6
214 371 1.73
PRIMER SEMESTRE DE 2000
7752 COMUNICACION DE DATOS II A 3 9
217 380 1.75

Las notas entre parentsis () corresponden a asignaturas cursadas en ms de una ocasin

Titulos Obtenidos:
Licenciado en Ingeniera de Sistemas Computacionales 8-5-2000
Documento no Oficial de Internet