Teora de Grafos

Teora de Grafos

Temario
Grafos
Conceptos bsicos
Problemas clsicos
Algoritmos en grafos
Metaheursticas
Algoritmos Genticos
Tab Search
Colonia de Hormigas
Ejercicios
Conclusiones
Teora de Grafos
Definicin
Estudia las propiedades de los grafos.
Grafo: un grafo es un conjunto, no vaco, de objetos
llamados nodos (o vrtices) y una seleccin de pares de
nodos, llamados ejes (o aristas) donde estos pueden ser
orientados o no.
Un grafo G = (V,X), donde V es un conjunto nodos y X es un
subconjunto del conjunto de pares no ordenados de
elementos distintos de V.
Teora de Grafos
Definicin
Nodos / Vrtices: constituyen los objetos de la situacin a
representar.
Ejemplo: V = {A,B,C,D,E}

Ejes / Aristas /Arcos: conforman las relaciones entre un

par de objetos representados por los nodos.
Ejemplo: X = {(A,B),(A,C),(B,C),(B,E),(C,D),(D,E)}

Tanto los nodos como ejes, pueden tener atributos

cuantitativos y/o cualitativos (variables de cualquier tipo).
Teora de Grafos
Ejemlos
Teora de Grafos
Historia
El problema de los siete puentes de Knigsberg
Fue fue planteado y resuelto por Leonhard Euler en 1736, dando
origen a la Teora de los grafos. Dos islas en el ro Pregel que
cruza Knigsberg se unen
entre ellas y con la tierra
firme mediante siete puentes.
Es posible dar un paseo
empezando por una
cualquiera de las cuatro
partes de tierra firme,
cruzando cada puente una
sola vez y volviendo al punto
de partida?
Teora de Grafos
Historia A

IS L A C

Mapa
1 B

Grafo de Representacin
Ms adelante vamos a 2 3
analizar este problema, y
vamos a ver que es similar
al de los 7 puentes
4 5
Teora de Grafos
Historia
El problema de los cuatro colores
Fue introducido en 1852 por Francis Guthrie,
donde plantea si es posible, utilizando
solamente cuatro colores, colorear
cualquier mapa de pases de tal forma que
dos pases vecinos nunca tengan el mismo
color.
Fue resuelto en 1976 por Appel y Haken. Se
usaron computadoras en la demostracin.
Teora de Grafos
Aplicaciones
Redes conceptuales
Teora de Grafos
Aplicaciones
Redes de transporte
Teora de Grafos
Aplicaciones
Plano de autopistas
Teora de Grafos
Aplicaciones
Circuitos electricos
Teora de Grafos
Aplicaciones
Red Social
Teora de Grafos
Aplicaciones
Organigramas
Teora de Grafos
Aplicaciones
Polimeros
Teora de Grafos
Atributos Cualitativos
Es lo que se conoce como variables nominales
En Nodos: sirve para identificar o describir al objeto que se
quiere representar
En Ejes: describe el tipo de relacin que hay entre dos
objetos.
Teora de Grafos
Atributos Cuantitativos
Corresponden a variables ordinales
En Nodos: miden algn aspecto comn entre los distintos
objetos
En Ejes: miden la intensidad de la relacin

12 10 10
12
7 7
6
6
5
5
Teora de Grafos
Topologas Anillo
B I
B I
C H
C H
A rbol
G
G A D
D
E E F
E F B

Estrella F G
C D

H I
Teora de Grafos

Clasificacin Es el caso ms general

Grafos Multigrafos
E je 1 B -A

E je 2 A -B
No orientados o
Bidireccionales A E
jeA
-B
B A E je 3 A -B
B
E je 4 A -B

E je 1 B -A

E je 1 A -B
E
jeA
-B
Orientados o
A B A E je 2 A -B
B
Direccionados E
jeB
-A
E je 3 A -B

E je 3 B -A
Teora de Grafos

Clasificacin
Pseudo-Grafos Pseudo-Multigrafos
E
jeA
-A

No orientados o
Bidireccionales A E
jeA
-B
B A E
je3A
-B
B
E
je4A
-B
E
je2A
-A

E
je1A
-B

E
jeA
-B
Orientados o E
je2A
-B

A B A E
je3A
-B
B
Direccionados E
jeB
-A
E
je3B
-A

Mixtos Es el caso ms particular

Teora de Grafos

Definiciones Varias
subgrafos
Grados de un grafo
Caminos
Ciclos
Grafos Autocomplementos
Nodos Crticos
Componentes conexas
Teora de Grafos

Grado de un Nodo
El grado de un nodo es la cantidad de ejes
incidentes al vrtice v.

Notacin: d(v) = grado de v.

Teorema: La suma de los grados de los nodos de

un grafo es 2 veces el nmero de ejes, o sea:
i=1,n d (vi) = 2 m
Teora de Grafos

Definiciones en Grafos
Un camino en un grafo es una sucesin de ejes
e1 e2.......ek tal que un extremo de ei coincide con
uno de ei-1 y el otro con uno de ei+1.

Un camino simple es un camino que no pasa dos

veces por el mismo nodo.
Un circuito es un camino que empieza y termina
en el mismo nodo.
Un circuito simple es un circuito de 3 o ms
nodos que no pasa dos veces por el mismo nodo.
Teora de Grafos

Definiciones en Digrafos
Un camino orientado en un grafo orientado
es una sucesin de ejes e1 e2.......ek tal que el primer
elemento del par ei coincide con el segundo de ei-1 y el
segundo elemento de ei con el primero de ei+1.

Un circuito orientado en un grafo orientado es un camino

orientado que empieza y termina en el mismo nodo.

Un digrafo se dice fuertemente conexo si entre

para cualquier par de nodos (v,u) hay un camino
orientado de v a u.
Teora de Grafos
Componentes Conexas
Un grafo se dice conexo si existe un camino entre todo par de
nodos.

Grafo 1: 3 componentes
conexas

Grafo 1: 6 componentes conexas

Teora de Grafos
Grafos Completos
Un grafo se dice completo si todos los nodos son adyacentes entre si.

K3 K4 K5

B A B A B A

C E
C C D
D
Se relacionan todos los nodos contra todos
Son objeto de estudio y Sirven como cotas mximas
Teora de Grafos

Ejemplo 1: calles de una ciudad

100
3 100 4
1 100 2

100 100
100 100

5 8 100 9
100
100
52 7
6
30
100 100
100
10
100
70
120 14
100
11 100 12 100
13

100
100 100 120
100

17 100 18
100
15 100 16
Ejemplo 2: Cronogramas de Proyectos
Teora de Grafos

Isomorfismo
un isomorfismo entre dos grafos G y H es
una biyeccin f entre los conjuntos de sus
vrtices que preserva la relacin de
adyacencia. Es decir, cualquier par de
vrtices u y v de G son adyacentes si y solo
si lo son sus imgenes, f(u) y f(v), en H.
A pesar de su diferente aspecto, los dos
grafos que se muestran a continuacin son
isomorfos:
Teora de Grafos

f(a)=1
f(b)=6
f(c)=8
f(d)=3
f(g)=5
f(h)=2
f(i)=4
f(j)=7
Teora de Grafos

CENTRALIDAD de un vrtice en un grafo determina

la importancia relativa de un vrtice en el grafo, la
importancia de una persona involucrada en una red
social, o, en la teora de la denominada sintaxis del
espacio que se estudia lo importante que puede llegar
a ser una habitacin en un edificio, as como una
carretera en una red urbana.
Teora de Grafos

CENTRALIDAD
Grado=nmero de nodos conectados con un nodo dado
Cercana o Closeness= suma de la suma de las
distancias de un nodo con respecto a sus vecinos
Intermediacin =indica la frecuencia con la que un
nodo aparece en el camino ms corto que conecta otros
dos nodos, a dicho camino se le suele denominar
camino geodsico.
Teora de Grafos

Representacin de Grafos
Matriz de Adyacencia e Incidencia
Lista de Adyacencia

La representacin vara dependiendo del tipo de grafo

elegido.
Teora de Grafos

Matrices de Adyacencia e Incidencia

Teora de Grafos
Matriz de Distancias Geodsicas
Teora de Grafos

rboles
Son una categora particular dentro de
grafos.
Teora de Grafos

Arbol Generador Mnimo

Algoritmo de Prim
Algoritmos

Algoritmos
En matemticas y ciencias de la computacin, es una lista bien
definida , ordenada y finita de operaciones que permite hallar
la solucin a un problema.
Se escriben en un lenguaje formal (lenguaje de programacin) que
luego es interpretado por una computadora
En la vida cotidiana se emplean algoritmos en mltiples ocasiones
para resolver diversos problemas
Recetas de cocina
Instructivos: para el uso de un artefacto, o para el aprendizaje
de alguna tarea
Diagnstico de enfermedades en pacientes
Etc, etc, etc.
Algoritmos
Ejemplo: Clculo de Races Cuadradas
Algoritmos

Complejidad Algortmica
Problemas Sencillos: por su naturaleza, para esta clase
de problemas existe un algoritmo que lo resuelve en
un tiempo razonable. Se los denomina:
P: polinomial
Problemas Complejos: contrario al los anteriores, son
problemas que admiten una cantidad exponencial de
posibilidades. Explorar a todas para obtener la mejor
solucin, puede requerir miles de aos. Por esa razn
se realizan estos pro Se los denomina:
NP: nondeterministic polinomial
Meta-Heursticas
Algoritmos, Heursticas y Metaheursticas
ALGORITMOS
GENTICOS

ALGORITMOS

TABSEARCH

META
HEURSTICAS
ALGORITMOS
ALGORITMOS
APROXIMADOS COLONIADE
EXACTOS
- HEURSTICAS HORMIGAS

PROBLEMAS
PROBLEMASP NP, NP- HARD ETC.
Heursticas

Heurstica
Dado un problema, un algoritmo heurstico es un algoritmo
que intenta obtener soluciones para el problema que
intenta resolver pero no necesariamente lo hace en todos
los casos.
Meta-Heursticas

Algoritmos Genticos
Algoritmos sometidos a azar y seleccion ( en base a un
criterio previo)
Algoritmos

Tab Search
Metaheurstica muy utilizada en problemas de
optimizacin combinatoria. Dichos problemas se
caracterizan por ser complejos de modelar,
visualizar, tener muchas variables involucradas, no
conocrseles buenos algoritmos exactos que los
resuelvan en un tiempo razonable, etc.
Algoritmos

Tab Search
Los rasgos ms relevantes son:
Parte de una nica solucin inicial, que luego va modificando
hasta obtener el resultado
Acepta peores soluciones que la mejor encontrada hasta el
momento
Utiliza una lista tab de soluciones, o fragmentos de estas, con el
objeto de forzar al algoritmo a explorar nuevas soluciones, y
evitar de esta manera que el algoritmo caiga en un ciclo
repetitivo (mnimo local)
Algoritmos

Tab Search
Parto de una nica sol. Inicial
Lista tab
Mnimos Locales
Algoritmos
Algoritmos

Arbol de desicin:
Tablero de ajedrez
Ver si da para poner
este ejemplo.
Ejemplificar algoritmo
exacto vs. Aproximado
Algoritmos

Modelado del Grafo

Hacer hincapi en que modele la realidad.
Un algoritmo resuelve un problema
determinado en cualquier grafo, pero
cualquier cambio en este, cambia la
solucin.
Es importante reflejar de manera exacta la
realidad
Teora de Grafos

A* Pathfinder
Encuentra, siempre y cuando se cumplan
unas determinadas condiciones, el camino
de menor coste entre un nodo origen y uno
objetivo.
Teora de Grafos

Circuitos & Caminos Eulerianos

A

3 2
IS L A
4
C
1
7 6 5

8
B
Teora de Grafos

Circuitos & Caminos Eulerianos

Teora de Grafos

Circuitos & Caminos Eulerianos

Circuito Eureliano: hay un circuito que pasa por
todos los ejes del grafo una y slo una vez si y
slo si cada nodo tiene grado par de ejes
incidentes.
Camino Eureliano:hay un camino que pasa por
todos los ejes del grafo una y slo una vez si y
slo si cada nodo tiene grado par de ejes
incidentes, y slo dos de ellos tienen grado impar,
conformando de esta manera el inicio y el fin del
camino.
Teora de Grafos

Circuitos Hamiltoneanos
Teora de Grafos

Diejkstra
Caminos mnimos. Determina el camino
mas corto entre los nodos de un grafo.
http://www-b2.is.tokushima-
u.ac.jp/~ikeda/suuri/dijkstra/Dijkstra.shtml
Teora de Grafos

Problema del Viajante de comercio

Teora de Grafos

N-Cliqu
Una clique en un grafo es un conjunto de
vrtices dos a dos adyacentes. En el grafo
de la derecha, los vrtices 1, 2 y 5 forman
una clique porque cada uno tiene un arco
que le une a los otros. En cambio, los
vrtices 2, 3 y 4 no, dado que 2 y 4 no son
adyacentes.
Teora de Grafos

N-Cliqu
Teora de Grafos

Coloreo de Mapas
Teora de Grafos

Coloreo de Mapas
Teora de Grafos

Metodologa de trabajo
Tengo pensado un breve procedimiento de cmo
encarar un problema para modelar con grafos.
Hacer incapi en que el modelado es estricto, y
explicar cmo trabajan los algoritmos en grafos.
Mencionar el ejemplo de la ciudad, cartero chino,
recolector de basura.
Mencionar la tesis de recolector de basura zona
zur.
Mencionar Caso Cabezas
Boqueteros.
Teora de Grafos

Ejercicio 1
El grafo de la siguiente figura representa una red
telefnica. Los nodos representan centrales y los
ejes lneas telefnicas. Se quiere estudiar la
vulnerabilidad de la red ante algn defecto.
Teora de Grafos

Ejercicio 2
Dados los grafos y digrafos
de la figura:
Escribir las matrices de
adyacencia e incidencia.
Representar mediante listas de
aristas y listas de adyacencias.
Calcular los conjuntos de
sucesores y de predecesores de
los vrtices de los digrafos de la
figura
Calcular el grado de cada
vrtice, de cada uno de los
grafos
Teora de Grafos

Ejercicio 3
Dadas las siguientes matrices de adyacencia
representar el correspondiente grafo o multigrafo (no
orientado).

Representar los siguientes digrafos cuyas matrices de

adyacencia son
Teora de Grafos

Ejercicio 4
Armar las matrices de adyacencia, de incidencia y geodsica de cada uno
de los siguientes grafos. Calcular el grado de cada uno de sus nodos.
A 10 B 6 7
51 7
44
7 3
1
935
9
4
58
8 7
19 1
50
E C 1
86
2 3 2
685 6
10
4
D 6 5 1

5
29 1
688
1
065
7
08 1
218
6 5 7 1
765 2
36

0 7
07
10 7
4 1
167
4 8
49
3
59
5 15 2 5 3 1
460
5 4
7

10 5
10 3

0 7 1
Teora de Grafos

Ejercicio 5
Determinar cuales de estos pares de grafos son isomorfos.
Teora de Grafos

Ejercicio 6
Armar un grafo que modele algn comportamiento y/o
situacin de la realidad.
Fundamentar la definicin de nodos y ejes del grafo.

Me tienen que ayudar a redactar este ejercicio. La idea es

que modelen una sitiacin con un grafo y apliquen
conceptos de los que vimos a ese modelo, respondiendo a
cuestiones propias de la situacin representada
Teora de Grafos

Links Relacionados
http://www.antropocaos.com.ar/seminario
http://www.dc.uba.ar/people/materias/aed3/homepage.html
http://www.dc.uba.ar/aca/materias/