Teora de Grafos

Teora de Grafos
Introduccin:
Hoy da podemos ver muchas
cosas que pueden parecer lo mas
cotidiano:
caminos,
lneas
telefnicas, lneas de TV por cable,
circuitos elctricos
de nuestras
casas, etc.
Lo que no pensamos es que estos
forman parte de algo que se
denomina grafos.

Teora de Grafos
Definicin:
Conjunto de vrtices y aristas.
Conjunto de objetos llamados vrtices
o nodos unidos por enlaces llamados
aristas
o
arcos,
que
permiten
representar relaciones binarias entre
elementos de un conjunto.
En general: es la representacin
grfica de los datos de una situacin
particular.

Teora de Grafos
Ejemplo:

Teora de Grafos
Definicin:
Tambin Grafo es una terna G = (V, A , j),
donde V y A son conjuntos finitos y j es
una aplicacin que hace corresponder a cada
elemento de A un par de elementos de V
El elemento V se llama vrtices.
El elemento A se llama aristas.
j asocia cada aristas con su vrtice.
Esta definicin da lugar a una representacin
grfica, en donde cada vrtice es un punto
del plano y cada arista es una lnea que une a
sus vrtices.

Teora de Grafos
Aristas:
Son las lneas con las que se unen las aristas de un
grafo y con la que se construyen tambin caminos.
Si la arista carece de direccin se denota
indistintamente {a,b} o {b,a} siendo a y b los
vrtices que une.
Arista Adyacente: son dos aristas que convergen
en el mismo vrtice.
Arista Paralelas: si el vrtice inicial y el final son el
mismo.
Aristas Cclicas: arista que parte de un vrtice para
entrar en el mismo.
Cruce: dos aristas que se cruzan en un punto

Teora de Grafos
Vrtices:
Son los puntos o nodos con los que esta
conformado un grafo.
Se dice que el vrtice es par o impar segn lo sea
su grado.
Grado de un vrtice es el nmero de aristas de la
que es extremo
Vrtices Adyacentes: si tenemos un par de vrtices
de un grafo (U,V) y si tenemos un arista que los
une, entonces U y V son vrtices adyacentes y se
dice U es el vrtice inicial y V el final.
Vrtice Aislado: es un vrtice de grado cero.
Vrtice Terminal: es un vrtice de grado uno.

Teora de Grafos
Caminos:
Sean x, y V, se dice que hay un camino en G de x a y si
existe una sucesin finita no vaca de aristas {x 1v1},
{x2v2}, . {xnvn}. En este caso
- x e y se llaman los extremos del camino.
- El nmero de aristas del camino se llama longitud.
- Si los vrtices no se repiten el camino se dice propio o
simple.
- Si hay un camino no simple entre 2 vrtices, tambin
habr un camino simple entre ellos.
- Cuando los dos extremos de un camino son iguales, el
camino se llama circuito o camino cerrado.
- Se llama ciclo a un circuito simple.
- Un vrtice a se dice accesible desde el vrtice b si existe
un camino entre ellos.
- Todo vrtice es accesible respecto a si mismo.

Teora de Grafos
Tipos de grafos: segn sus relaciones
tengan direccin o no, se clasifican en:
- Grafos dirigidos o dgrafos
- Grafos no dirigidos
D= {N,A,f} tiene
N= {1,2,3,4}
A= {a,b,c,d,e,g,h} y
f(a)=(1,2),
f(b)=(2,3),
f(c)=(1,3),
f(d)=(3,4),
f(e)=(1,4), f(g)=(4,2), f(h)=(4,1)

Teora de Grafos
Arcos incidentes: aj es un arco
incidente sobre nk, si nk es el nodo
terminal de aj.
Arcos Adyacentes: ai y aj son arcos
adyacentes si ai y aj son incidentes
en el mismo nodo.
Arcos Paralelos: Dos arcos son
paralelos si ellos comienzan y
terminan en los mismos nodos.
Si agregamos f(p)=(1,2)

Teora de Grafos
Bucle o lazo: Si un arco aj comienza en
ni, y termina en ni, entonces aj es un
bucle.
f(w) = (3,3) entonces w es un lazo.
Nodos Adyacentes: Dados un par de
nodos (ni,nj) que estn unidos por el
arco aj, se dice que ni es adyacente a nj
por aj.
Nodo accesible: Un nodo nj es
accesible desde otro nodo ni, si
ni = nj
Existe un camino desde ni hasta nj

Teora de Grafos
Nodo sucesor: Un nodo nj es
sucesor de un nodo ni si existe un
camino que va desde ni hasta nj.
Nodos Predecesor: Un nodo ni es
predecesor de otro nodo nj si existe
un camino que va desde ni hasta nj.

Teora de Grafos
1) D1= {N1,A1,f} tiene
N1= {1,2,3,4}
A1= {a,b,c,d,e,g} y
f(a)=(1,2), f(b)=(1,3), f(c)=(1,4),
f(d)=(2,3),
f(e)=(2,4), f(g)=(3,4)
2) D2= {N2,A2,f} tiene
N2= {1,2,3,4,5,6}
A2= {a,b,c,d,e} y
f(a)=(1,2), f(b)=(1,3), f(c)=(2,4),
f(d)=(2,5),
f(e)=(3,6)

Teora de Grafos
3) D3= {N3,A3,f} tiene
N3= {1,2,3}
A3= {a,b,c} y
f(a)=(1,2), f(b)=(2,1), f(c)=(2,3)
4) D4= {N,A,f} tiene
N4= {1,2,3}
A4= {a,b,c} y
f(a)=(1,3), f(b)=(3,2), f(c)=(2,1)

Teora de Grafos
5) D5 {N,A,f} tiene
N5= {1,2,3,4,5}
A5= {a,b,c,d,e,g,h,k} y
f(a)=(1,2), f(b)=(3,2), f(c)=(1,3),
f(d)=(4,3),
f(e)=(3,4), f(g)=(5,4),
f(h)=(5,1), f(k)=(1,4)

Teora de Grafos
Mas ejercicios
6) G1 = (V1,A1)
V1={1,2,3,4}
A1={ (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3,
4) }
7) G2 = (V2,A2)
V2={1,2,3,4,5,6}
A2={ (1, 2), (1, 3), (2, 4), (2, 5), (3, 6) }
8) G3 = (V3,A3)
V3={1,2,3}
A3={ (1, 2), (2, 1), (2, 3) }

Teora de Grafos
Matriz de
1
1 0
2 0
3 0
4 0

adyacencia
2
3
4
1
1
1
0
0
1
1
0
1
0
1
0

Teora de Grafos
Lista de Adyacencia
1
2
3
4

->
->
->
->

(2) (3) (4)

(4)
(2) (4)
(3)

Teora de Grafos
Bsqueda en profundidad(en inglesDFS oDepth First
Search)
Es un algoritmo que permite recorrer todos los nodos de un
grafode
manera ordenada,
pero
no uniforme. Su
funcionamiento consiste en ir expandiendo todos y cada uno
de los nodos que va localizando, de forma recurrente, en un
camino concreto. Cuando ya no quedan ms nodos que visitar
en dicho camino, regresa, de modo que repite el mismo
proceso con cada uno de los hermanos del nodo ya procesado.
Se comienza en el vrtice inicial (vrtice con ndice 1) que se
marca como vrtice activo. Hasta que todos los vrtices hayan
sido visitados, en cada paso se avanza al vecino con el menor
ndice siempre que se pueda, pasando este a ser el vrtice
activo. Cuando todos los vecinos al vrtice activo hayan sido
visitados, se retrocede al vrticeXdesde el que se alcanz el
vrtice activo y se prosigue siendo ahoraXel vrtice activo.

Teora de Grafos

Teora de Grafos
Bsqueda en anchura(en inglsBFS-Breadth
First Search)

Es un algoritmopara recorrer o buscar

elementos en un grafo. Intuitivamente, se
comienza en la raz (eligiendo algn nodo
como elemento raz en el caso de un grafo) y
se exploran todos los vecinos de este nodo. A
continuacin para cada uno de los vecinos se
exploran sus respectivos vecinos adyacentes,
y as hasta que se recorra todo el rbol.

Teora de Grafos

Teora de Grafos
Tipos de grafos
Grafos simples:
Un grafo essimplesi a lo ms existe
una arista uniendo dos vrtices
cualesquiera. Esto es equivalente a
decir que una arista cualquiera es la
nica
que
une
dos
vrtices
especficos.Un grafo que no es simple
se denominamultigrafo

Grafo
completo:Un
grafo
escompletosi
existen
aristas
uniendotodoslos pares posibles de
vrtices. Es decir, todo par de vrtices
(a, b) debe tener una aristaeque los
une.

Grafos bipartitos:Un grafo G es bipartito si puede

expresarse comoG = {V1 U V2, A}(es decir, sus
vrtices son la unin de dos grupos de vrtices),
bajo las siguientes condiciones:
V1 y V2son disjuntos y no vacos.
Cada arista de A une un vrtice de V1con uno de
V2.
No existen aristas uniendo dos elementos de V1;
anlogamente para V2.

Grafos Planos: Un grafo G esplanarsi

admite una representacin en el plano de
tal forma que las aristas no se cortan, salvo
en sus extremos. A dicha representacin se
le denominagrafo plano.Se dice que un
grafo es plano si puede dibujarse en el plano
de manera queningnpar de sus aristas se
corte.
A
ese
dibujo
se
le
llamarepresentacinplana del grafo.

Grafo conexo:Un grafo se dice que es

conexo
si
cada
par
de
susvrticesestnconectados.
En caso contrario, diremos que G es un grafo
desconexo.

Grafosponderados:Llamamos grafos ponderados

a los grafos en los que se asigna un numero a cada
una de las aristas. Este numero representa un peso
para
el
recorrido
atravsdelaarista.Estepesopodrindicar,
por
ejemplo, la distancia, el costo monetario o el tiempo
invertido,
entre
otros.
Definimos la longitud de un camino en un grafo
ponderado como la suma delos pesos de las aristas
de ese camino.