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 de extremos de i y lo denotamos por g(i). Definicin: Grado de Incidencia de salida g+(i) es el nmero de extremos que parten o salen de i. Definicin: Grado de Incidencia de llegada g-(i) es el nmero de 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 (vi , v j ) existe el par (v j , vi ). Definicin: Un grafo se denomina Grafo bipartito si V V1 V2 tal que V1 V2 donde los extremos iniciales pertenecen a V1 y los finales a V2. 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 V V y A A Definicin: Se dice que un grafo G'=(V', A, I) es un grafo parcial de G=(V, A, I) ' ' si y solo si V V y A A

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 A (aij )i , j 1,n cuyo elemento de la fila i, columna j es el nmero de aristas (arcos) que van del vrtice xi al vrtice x j. Este tipo de representacin matricial puede usarse con grafos orientados o no. Ejemplo: Dado el siguiente grafo determinar su matriz de adyacencia.

v2
v1
v3

v4
4.2 Matriz de incidencia M I se denomina matriz de incidencia del grafo dirigido con car(V)=n, siendo A e1 ,, em a la matriz definida como
8 < 1 = 1 : 0 si es extremo inicial de si es extremo nal de si no es extremo de y/o es bucle

Esta representacin es aplicable a grafos no dirigidos, sin ms que considerar el desdoblamiento de una arista en arcos
8 < 1 = 0 : 2 si es extremo inicial de si no es extremo de si es un bucle de extremo

BY: M.J. Garca-Ligero Rmirez Departamento de Estadstica e I.O. Universidad de Granada

5.- Grafos Eulerianos y Hamiltonianos

5.1 Grafos Eulerianos
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

Responden a preguntas del tipo:

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?

v2
v1
v3

v2
v1
v3

v2
v1
v3

v2
v1

v3 v6 v5

v4

v4

v4

v4

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.

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)

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. Una de las formas en las que se comercializ el juego

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) 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 3. El problema del viajante. 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?

v2
v1
v3

v5

v2

v3 v6
v1

v2
v5 v3

v2

v3

v1

v1
v5

v4

v4

v5

v4

v4

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