BY: M.J.

Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
1.- Conceptos Generales
Definicin: Un grafo G es un triple (V(G), A(G), I(G)) donde: V(G) es un conjunto no
vaco cuyos elementos se denominan nodos, puntos o vrtices A(G) es otro conjunto
cuyos elementos se denominan aristas o arcos I(G) es una relacin de ``incidencia"
que le asocia a cada elemento de A(G) un par no ordenado de elementos (iguales o
distintos) de V(G).
Definicin: Un grafo es finito si ambos conjuntos V(G) y A(G) son finitos. En caso
contrario es infinito. El nmero de vrtices se nota n(G) y m(G) el nmero de arcos.
n(G) es denominado el orden del grafo y m(G) es denominado el tamao del grafo.
Definicin: Incidencia dado un vrtice i, su grado de incidencia es el nmero
extremos de i y lo denotamos por g(i).
Definicin: Grado de Incidencia de salida g+(i) es el nmero extremos que parten
o salen de i.
Definicin: Grado de Incidencia de llegada g-(i) es el nmero extremos que tienen
a i como destino.
Definicin: Grado de Incidencia g(i)= g+(i)+g-(i).
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
2.- Grafos no orientados o no dirigidos
Definicin: Una Cadena es una secuencia de aristas tal que el extremo final de cada
arco coincide con el inicial del arco que le sigue.
Definicin: Longitud de Cadena es el nmero de aristas que la componen.
Definicin: Ciclo es una cadena que empieza y termina en el mismo vrtice.
Definicin: Bucle es un ciclo de una arista.

BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
3.- Grafos orientados o dirigidos
Definicin: Un grafo dirigido es un triple ordenado (V, A, I) donde V es un conjunto
no vacio denominado conjunto de vrtices; A es el conjunto de arcos, e I aplicacin
de incidencia. Si a es un arco e I(a)=(u,v), u es el vrtice de inicio y v el final.
Definicin Vrtices y arcos adyacentes Dos vrtices son adyacentes si estn unidos
por un arco. Dos arcos son adyacentes si tienen al menos un vrtice en comn.
Definicin: Camino es una secuencia de arcos tal que el extremo final coincide con el
inicial del arco que sigue.
Definicin: Camino simple si no utiliza ms de una vez el mismo arco, y en caso
contrario compuesto.
Definicin: Camino elemental si no utiliza ms de una vez el mismo vrtice.

Definicin: Longitud de un camino es el nmero de arcos que contiene la secuencia.
Definicin: Circuito es elemental si todos los vrtices que contienen son distintos
salvo el inicial y final.
Definicin: Bucle es un circuito con un solo arco.
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
4.- Tipos de grafos
Definicin: Un grafo de denomina Grafo completo si todo par de vrtices se
encuentra unido por una arista o arco como mnimo. En caso contrario se denomina
incompleto
Definicin: Un grafo se denomina Grafo simtrico si para todo par de vrtices
existe el par .
) , (
j i
v v
) , (
i j
v v
Definicin: Un grafo se denomina Grafo bipartito si tal que
donde los extremos iniciales pertenecen a y los finales a .
2 1
V V V

2 1
V V
2
V
1
V
Definicin: Un grafo es conexo si para cualquier par de vrtices existe una cadena
que los une.
Definicin: Un grafo es fuertemente conexo si para todo par de vrtices existe
siempre un camino o cadena que los une.
Definicin: Se dice que un grafo G'=(V', A,I) es un subgrafo de G=(V, A, I) si
y solo si A A V V
' '
y
Definicin: Se dice que un grafo G'=(V', A, I) es un grafo parcial de G=(V, A, I)
si y solo si A A V V
' '
y
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
4.- Representacin matricial de un grafo
4.1 Matriz de adyacencia es una matriz cuyo elemento de la fila
i, columna j es el nmero de aristas (arcos) que van del vrtice al vrtice .
Este tipo de representacin matricial puede usarse con grafos orientados o no.
n j i ij
a A
, 1 ,
) (

i
x
j
x
Ejemplo: Dado el siguiente grafo determinar su matriz de adyacencia.
1
v
2
v
3
v
4
v
4.2 Matriz de incidencia se denomina matriz de incidencia del grafo dirigido
con car(V)=n, siendo a la matriz definida como
I
M

m
e e A , ,
1

Esta representacin es aplicable a grafos no dirigidos, sin ms que considerar el
desdoblamiento de una arista en arcos

=
8
<
:
1 si

es extremo inicial de

0 si no es extremo de
2 si

es un bucle de extremo

=
8
<
:
1 si

es extremo inicial de

1 si es extremo nal de
0 si

no es extremo de

y/o

es bucle
1
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
5.- Grafos Eulerianos y Hamiltonianos
5.1 Grafos Eulerianos
Definicin: Un camino se dice euleriano si contiene a todas las aristas del grafo,
apareciendo cada una exactamente una vez. Un ciclo euleriano es un camino
euleriano que comienza y acaba en el mismo vrtice.
Definicin: Un grafo que admite un ciclo euleriano es un grafo euleriano.
Ejemplo: Cules de los siguientes grafos son eulerianos?
1
v
2
v
3
v
4
v
1
v
2
v
3
v
4
v
1
v
2
v
3
v
4
v
1
v
2
v
3
v
4
v
5
v
6
v
Proposicin: Si un grafo est formado por dos subgrafos eulerianos unidos al
menos por un vrtice y sin aristas en comn, entonces es euleriano.
Teorema: Un grafo conexo G es euleriano si y solo si el grado de todos sus vrtices
es par.
Responden a preguntas del tipo:
Puede dibujarse una figura de un solo trazo?
Puede un cartero efectuar su reparto sin tener que
pasar dos veces por la misma calle?
Problema de los puentes de Knigsberg
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
5.- Grafos Eulerianos y Hamiltonianos
5.2 Grafos Hamiltonianos
Around the world game (Sir William Hamilton 1859)
Una de las formas en las que se comercializ el juego
El juego consista en hacer un recorrido por 20 ciudades
del mundo sin pasar por ninguna ms de una vez. Las
ciudades estaban unidas por 30 aristas.
Solucin: construir un camino Hamiltoniano en el grafo del dodecaedro.
Nos planteamos: cmo podemos sabe si el grafo si el grafo posee un camino
Hamiltoniano?
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
5.- Grafos Eulerianos y Hamiltonianos
5.2 Grafos Hamiltonianos
Algunas variantes del Juego Icosadrico
1. El juego sobre otros poliedros.
2. The Knights tour problem (El problema del caballo del ajedrez)
3. El problema del viajante.
Puede un caballo visitar todas las casillas del
ajedrez exactamente una vez, empezando en
cualquier casilla, y haciendo los 63 movimientos
posibles?
Una solucin fue dado por Euler Cuadrado mgico
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
5.- Grafos Eulerianos y Hamiltonianos
5.2 Grafos Hamiltonianos
Definicin: Sea G un grafo, se dice que un camino es Hamiltoniano si es un
camino elemental de longitud n-1 siendo G de orden n (nmero de vrtices).
Definicin: Sea G un grafo, se dice que un circuito es Hamiltoniano si es un
circuito elemental de longitud n (nmero de vrtices).
Definicin: Un grafo G es Hamiltoniano si tiene un circuito hamiltoniano.
Ejemplo: Cules de los siguientes grafos son hamiltonianos?
1
v
2
v
3
v
4
v
1
v
2
v
3
v
4
v
5
v
6
v
5
v
1
v
2
v
3
v
4
v
5
v
1
v
2
v
3
v
4
v
5
v
Bsqueda de caminos y circuitos Hamiltonianos
Algoritmo de Kauffman
BY: M.J. Garca-Ligero Rmirez
Departamento de Estadstica e I.O. Universidad de
Granada
5.- Aplicaciones
1.- Problema de la ruta ms corta
2.- Problema de horarios
3.- Problemas de conexin
4.- Aplicacin a la psicologa