Matemticas Discretas

TC1003

Grafos: Conceptos Bsicos

Departamento de Matemticas / Centro de Sistema Inteligentes

ITESM

Grafos: Conceptos Bsicos Matemticas Discretas - p. 1/12

 Grafos: Historia

El tema de Teora de Grafos Historia

El problema
apareci referenciado por primera Aplicacion
Formalizacion
vez en 1736 cuando el gran Conceptos
matemtico suizo Leonard Euler Grafo Simple
Kn
(1707-1783) public un artculo Kn,m
dandole solucin. deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 2/12

 Grafos: Historia

El tema de Teora de Grafos Historia

El problema
apareci referenciado por primera Aplicacion
Formalizacion
vez en 1736 cuando el gran Conceptos
matemtico suizo Leonard Euler Grafo Simple
Kn
(1707-1783) public un artculo Kn,m
dandole solucin. deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 2/12

 Grafos: El problema

El problema resuelto y Historia

El problema
referido por Euler es una Aplicacion
Formalizacion
especie de acertijo; en la Conceptos
antigua ciudad de Konis- Grafo Simple
Kn
berg de la Prusia del siglo Kn,m
XVIII deg(v)
Resultados

Figura 1: Un grabado antiguo de

la ciudad.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 3/12

 Grafos: El problema

El problema resuelto y Historia

El problema
referido por Euler es una Aplicacion
Formalizacion
especie de acertijo; en la Conceptos
antigua ciudad de Konis- Grafo Simple
Kn
berg de la Prusia del siglo Kn,m
XVIII el problema consis- deg(v)
Resultados
tia en recorrer los puentes
peatonales que estn en
Figura 1: Un puente peatonal hoy el centro de la ciudad de
en da. forma tal que

Grafos: Conceptos Bsicos Matemticas Discretas - p. 3/12

 Grafos: El problema

El problema resuelto y Historia

El problema
referido por Euler es una Aplicacion
Formalizacion
especie de acertijo; en la Conceptos
antigua ciudad de Konis- Grafo Simple
Kn
berg de la Prusia del siglo Kn,m
XVIII el problema consis- deg(v)
Resultados
tia en recorrer los puentes
peatonales que estn en
el centro de la ciudad de
forma tal que habr que
Figura 1: El grabado con los
recorrerlos todos exacta-
puentes resaltados.
mente una vez y regresar
al mismo sitio de inicio.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 3/12

 Grafos: El problema

El problema resuelto y Historia

El problema
referido por Euler es una Aplicacion
Formalizacion
especie de acertijo; en la Conceptos
antigua ciudad de Konis- Grafo Simple
Kn
berg de la Prusia del siglo Kn,m
XVIII el problema consis- deg(v)
Resultados
tia en recorrer los puentes
peatonales que estn en
Figura 1: Un modelo de la el centro de la ciudad de
situacin. forma tal que habr que
recorrerlos todos exacta-
mente una vez y regresar
al mismo sitio de inicio.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 3/12

 Grafos: Aplicacin actual

Imagine un compaa que adquiere seis Historia

El problema
computadoras diferentes. Para armar una red de Aplicacion
computadoras no es requerido conectar cada Formalizacion
Conceptos
computadora a todas las restantes, ms bien un Grafo Simple
consejo tcnico se reune y decide por situaciones Kn
Kn,m
tcnicas y de seguridad establecer las siguientes deg(v)
conexiones: Resultados
Que la computadora A est conectada a las computadoras: B, C,
D, y E;
Que la computadora B est conectada a las computadoras: A, y
C;
Que la computadora C est conectada a las computadoras: A, B,
D, y E;
Que la computadora D est conectada a las computadoras: A y C;
Que la computadora E est conectada a las computadoras: A y C;
Que la computadora F est conectada a la computadora: E.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 4/12

 Lo anterior podra representarse por medio de un Historia
El problema
grafo. Aplicacion
Formalizacion
Conceptos
Grafo Simple
Kn
Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 5/12

 Lo anterior podra representarse por medio de un Historia
El problema
grafo. Cada computadora se representar por Aplicacion
Formalizacion
medio de un nodo o vrtice (crculo o punto) Conceptos
Grafo Simple
Kn
Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 5/12

 Lo anterior podra representarse por medio de un Historia
El problema
grafo. Cada computadora se representar por Aplicacion
Formalizacion
medio de un nodo o vrtice (crculo o punto) y Conceptos
cada conexin entre computadoras se Grafo Simple
Kn
representar por medio de una arista o lado (lnea, Kn,m
no necesariamente, recta uniendo los nodos deg(v)
Resultados
correspondientes)

Grafos: Conceptos Bsicos Matemticas Discretas - p. 5/12

 Lo anterior podra representarse por medio de un Historia
El problema
grafo. Cada computadora se representar por Aplicacion
Formalizacion
medio de un nodo o vrtice (crculo o punto) y Conceptos
cada conexin entre computadoras se Grafo Simple
Kn
representar por medio de una arista o lado (lnea, Kn,m
no necesariamente, recta uniendo los nodos deg(v)
Resultados
correspondientes)
B

A C

F E D

Grafos: Conceptos Bsicos Matemticas Discretas - p. 5/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Historia

El problema
Aplicacion
Formalizacion
. Conceptos
Grafo Simple
Kn
Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos Aplicacion
Formalizacion
. Conceptos
Grafo Simple
Kn
Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos y de otro Aplicacion
Formalizacion
conjunto E llamado de aristas o lados. Conceptos
Grafo Simple
Kn
Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos y de otro Aplicacion
Formalizacion
conjunto E llamado de aristas o lados. Asociado a Conceptos
cada elemento de E existe un conjunto de uno o Grafo Simple
Kn
dos vrtices que se llamarn extremos del lado. Kn,m
deg(v)
Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos y de otro Aplicacion
Formalizacion
conjunto E llamado de aristas o lados. Asociado a Conceptos
cada elemento de E existe un conjunto de uno o Grafo Simple
Kn
dos vrtices que se llamarn extremos del lado. Kn,m
La correspondencia entre lados y extremos del deg(v)
Resultados
lado se llamar funcin lado-extremos.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos y de otro Aplicacion
Formalizacion
conjunto E llamado de aristas o lados. Asociado a Conceptos
cada elemento de E existe un conjunto de uno o Grafo Simple
Kn
dos vrtices que se llamarn extremos del lado. Kn,m
La correspondencia entre lados y extremos del deg(v)
Resultados
lado se llamar funcin lado-extremos. Un lado
que slo tiene un vrtice asociado en el conjunto
de vrtices extremos se dice ciclo o loop.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Formalizacin

Un Grafo G consiste de dos conjuntos finitos: Un Historia

El problema
conjunto V llamado de vrtices o nodos y de otro Aplicacion
Formalizacion
conjunto E llamado de aristas o lados. Asociado a Conceptos
cada elemento de E existe un conjunto de uno o Grafo Simple
Kn
dos vrtices que se llamarn extremos del lado. Kn,m
La correspondencia entre lados y extremos del deg(v)
Resultados
lado se llamar funcin lado-extremos. Un lado
que slo tiene un vrtice asociado en el conjunto
de vrtices extremos se dice ciclo o loop. Dos
lados que tiene el mismo conjunto de vrtices
extremos se dicen lados paralelos.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 6/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Conjunto de lados: {e1 , e2 , e3 , e4 , e5 , e6 }

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Conjunto de lados: {e1 , e2 , e3 , e4 , e5 , e6 }
Lados Paralelos: e2 y e3

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Conjunto de lados: {e1 , e2 , e3 , e4 , e5 , e6 }
Lados Paralelos: e2 y e3
Lazos o Cclos: e5

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Conjunto de lados: {e1 , e2 , e3 , e4 , e5 , e6 }
Lados Paralelos: e2 y e3
Lazos o Cclos: e5
Vrtices aislados: v5

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafos: Conceptos

e3 v3 Historia
El problema
v5 v7 Aplicacion

v2 e2 e Formalizacion
Conceptos
4 e6 Grafo Simple
v6 Kn
Kn,m
e1 deg(v)
v1 v4 e
5 Resultados

Conjunto de vrtices: {v1 , v2 , v3 , v4 , v5 , v6 , v7 }

Conjunto de lados: {e1 , e2 , e3 , e4 , e5 , e6 }
Lados Paralelos: e2 y e3
Lazos o Cclos: e5
Vrtices aislados: v5
Vrtices adyacentes: v1 y v4 , v2 y v3 , v3 y v4 , v6 y
v7 , y v4 es adyacente con l mismo.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 7/12

 Grafo Simple

Definicion: Historia
El problema
Un Grafo Simple es un grafo que no tiene Aplicacion
Formalizacion
ciclos ni lados paralelos. Conceptos
Grafo Simple
Kn
Kn,m
Ejemplos deg(v)
Resultados

G1 G2 G3 G4
v2 v2 v3 v2 v4 v2 v4

v1 v1 v1 v3 v1 v3

Grafos: Conceptos Bsicos Matemticas Discretas - p. 8/12

 Grafo Completo con n vrtices: Kn

Definicion: Historia
El problema
Sea n un entero positivo. Un Grafo Completo Aplicacion
Formalizacion
con n vrtices es un grafo simple donde Conceptos
Grafo Simple
todos los vrtices estn conectados por un Kn
lado: Kn . Kn,m
deg(v)
Resultados

Ejemplos

v4
v2 v2 v2 v4 v5 v3

v1 v1 v1 v3 v1 v3 v1 v2

K1 K2 K3 K4 K5

Grafos: Conceptos Bsicos Matemticas Discretas - p. 9/12

 Grafo Completo Bipartita: Kn,m

Definicion: Historia
El problema
Sean n y m dos enteros positivos (iguales o Aplicacion
Formalizacion
diferentes). Un Grafo Completo Bipartita en Conceptos
Grafo Simple
(n, m) vrtices es un grafo simple con Kn
vrtices v1 , v2 , . . . ,vn , w1 , w2 , . . . ,wm tal que Kn,m
deg(v)
los nicos lados son los lados que conectan Resultados
todos los vrtices vi con todos los vrtices
wj : Kn,m .
Ejemplos
v3 v3 w3
w2
v2 w2 v2 v2 w2
w1
v1 w1 v1 v1 w1

K2,2 K3,2 K3,3

Grafos: Conceptos Bsicos Matemticas Discretas - p. 10/12
 El grado de un vrtice

Definicion: Historia
El problema
Sea G un grafo y v un vrtice de G. El grado Aplicacion
Formalizacion
de v es el nmero de lados que indicen en v Conceptos
Grafo Simple
(Los ciclos cuentan doble). Se simboliza por Kn
deg(v). El grado total de G es la suma de los Kn,m
deg(v)
grados de todos los vrtices de G. Se Resultados
simboliza por deg(G).
Ejemplo En el grafo G:
b
a c

f e d

Se tiene deg(a) = 4, deg(b) = 2, deg(c) = 4,

deg(d) = 2, deg(e) = 4, deg(f ) = 0, y deg(G) = 16
Grafos: Conceptos Bsicos Matemticas Discretas - p. 11/12
 Resultados Bsicos en Grafos

Sea G = (V, E) un grafo, entonces se cumple: Historia

El problema
La suma de todos los grados de los vrtices de Aplicacion
Formalizacion
G es igual a dos veces el nmero de lados. Conceptos
Grafo Simple
La suma de los grados de los vrtices da un
Kn
nmero par. Kn,m
deg(v)
El nmero de vrtices que tienen grado impar en Resultados
el grafo G es un nmero par.

Grafos: Conceptos Bsicos Matemticas Discretas - p. 12/12