Escolar Documentos
Profissional Documentos
Cultura Documentos
Teora de grafos
En matemticas y en ciencias de la computacin, la
teora de grafos (tambin llamada teora de las
grficas) estudia las propiedades de los grafos
(tambin llamadas grficas). Un grafo es un
conjunto, no vaco, de objetos llamados vrtices (o
nodos) y una seleccin de pares de vrtices,
llamados aristas (edges en ingls) que pueden ser
orientados o no. Tpicamente, un grafo se representa
mediante una serie de puntos (los vrtices)
conectados por lneas (las aristas).
Diagrama de un grafo con 6 vrtices y 7 aristas.
Historia
.L
ib
ro
sZ
.c
om
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Estructura de lista
lista de incidencia - Las aristas son representadas con un vector de
pares (ordenados, si el grafo es dirigido), donde cada par representa
una de las aristas.[1]
lista de adyacencia - Cada vrtice tiene una lista de vrtices los
cuales son adyacentes a l. Esto causa redundancia en un grafo no
dirigido (ya que A existe en la lista de adyacencia de B y viceversa),
pero las bsquedas son ms rpidas, al costo de almacenamiento
extra.
om
.c
Estructuras matriciales
ro
sZ
Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por V (vrtices), donde [arista,
vrtice] contiene la informacin de la arista (1 - conectado, 0 - no conectado)
ib
Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao
, donde
es 1, de lo
.L
nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento
es el
contrario, es 0.
Definiciones
Vrtice
Los vrtices constituyen uno de los dos elementos que forman un grafo. Como ocurre con el resto de las ramas de
las matemticas, a la Teora de Grafos no le interesa saber qu son los vrtices.
Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definicin de grafo
pueden verse como grafos y as aplicar la Teora de Grafos en ellos.
Grafo
Un grafo es una pareja de conjuntos
donde
es el conjunto de vrtices, y
,
es el
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Muchas redes de uso cotidiano pueden ser modeladas con un grafo: una red de carreteras que conecta ciudades, una
red elctrica o la red de drenaje de una ciudad.
Subgrafo
Un subgrafo de un grafo G es un grafo cuyos conjuntos de vrtices y aristas son subconjuntos de los de G. Se dice
que un grafo G contiene a otro grafo H si algn subgrafo de G es H o es isomorfo a H (dependiendo de las
necesidades de la situacin).
El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las aristas adyacentes al subconjunto de
vrtices de G.
Definicin:
Sea G=(V, A). G=(V,A) se dice subgrafo de G si:
1- V
2- A'
3- (V,A) es un grafo
Si G=(V,A) es subgrafo de G, para todo v
.L
ib
ro
sZ
.c
om
G2 es un subgrafo de G.
(y se indica como
), como la
cantidad de aristas que llegan o salen de l; para el caso de grafos no orientados, el grado de un vrtice es
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
simplemente la cantidad de aristas incidentes a este vrtice. Por ejemplo, el grado positivo (salidas) de d es 3,
mientras que el grado negativo (llegadas) de d es 0.
Segn la terminologa seguida en algunos problemas clsicos de Investigacin Operativa (p.ej.: el Problema del flujo
mximo), a un vrtice del que slo salen aristas se le denomina fuente (en el ejemplo anterior, el vrtice d); tiene
grado negativo 0. Por el contrario, a aquellos en los que slo entran aristas se les denomina pozo o sumidero (en el
caso anterior, el vrtice e); tiene grado positivo 0. A continuacin se presentan las implementaciones en maude de
grafos no dirigidos y de grafos dirigidos.En los dos casos, las especificaciones incluyen, adems de las operaciones
generadoras, otras operaciones auxiliares.
ro
sZ
.c
om
.L
ib
Caracterizacin de grafos
Grafos simples
Un grafo es simple si 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 denomina multigrafo.
Grafos conexos
Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices
(a, b), existe al menos un camino posible desde a hacia b.
Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir,
es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo.
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en
profundidad (DFS).
En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en l una
relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente)
conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados.
Esta
propiedad
es
importante
para
muchas
demostraciones
en
teora
de
grafos.
Grafos completos
Un grafo es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a,
b) debe tener una arista e que los une.
.c
ro
sZ
.L
ib
Un
, siendo
om
Operaciones en Grafos
Subdivisin elemental de una arista
se convierte en
Se reemplaza la arista
y un vrtice
Despus de realizar esta operacin, el grafo queda con un vrtice y una arista ms.
Eliminacin dbil de un vrtice
Si
(Sea
se convierte en
Entonces
desaparecen y aparece
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Homeomorfismo de grafos
Dos grafos
son homeomorfos si ambos pueden obtenerse a partir del mismo grafo con una sucesin de
rboles
Un grafo que no tiene ciclos y que conecta a todos los puntos, se llama un
rbol. En un grafo con n vrtices, los rboles tienen exactamente n - 1 aristas, y
hay nn-2 rboles posibles. Su importancia radica en que los rboles son grafos
que conectan todos los vrtices utilizando el menor nmero posible de aristas.
Un importante campo de aplicacin de su estudio se encuentra en el anlisis
filogentico, el de la filiacin de entidades que derivan unas de otras en un
proceso evolutivo, que se aplica sobre todo a la averiguacin del parentesco
entre especies; aunque se ha usado tambin, por ejemplo, en el estudio del
parentesco entre lenguas.
Ejemplo de rbol.
.c
sZ
om
En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste
segn el contexto, y se obtiene as un grafo valuado.
.L
ib
ro
Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters
previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente
tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.
Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos
desde a hasta b, sin ms condicin.
www.Matematica1.com
www.FisicaA.com
Teora de grafos
acabar la demostracin (se ha hecho un programa que permiti verificar una multitud de casos, lo que ahorr
muchsimo tiempo a los matemticos). Fue la primera vez que la comunidad matemtica acept una demostracin
asistida por ordenador, lo que ha creado una fuerte polmica dentro de la comunidad matemtica, llegando en
algunos casos a plantearse la cuestin de que esta demostracin y su aceptacin es uno de los momentos que han
generado una de las ms terribles crisis en el mundo matemtico.
Coloracin de grafos
ro
sZ
.c
om
.L
ib
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Grafos planos
Cuando un grafo o multigrafo se puede dibujar en un
plano sin que dos segmentos se corten, se dice que
es plano.
Un juego muy conocido es el siguiente: Se dibujan
tres casas y tres pozos. Todos los vecinos de las
casas tienen el derecho de utilizar los tres pozos.
Como no se llevan bien en absoluto, no quieren
cruzarse jams. Es posible trazar los nueve caminos
que juntan las tres casas con los tres pozos sin que
haya cruces?
Cualquier disposicin de las casas, los pozos y los
caminos implica la presencia de al menos un cruce.
Sea Kn el grafo completo con n vrtices, Kn, p es el
grafo bipartito de n y p vrtices.
.c
om
ro
sZ
Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver con topologa.
.L
ib
Dimetro
El mundo de Internet ha puesto de moda esa idea del dimetro: Si descartamos los sitios que no tienen enlaces, y
escogemos dos pginas web al azar: En cuntos clics se puede pasar de la primera a la segunda? El resultado es el
dimetro de la Red, vista como un grafo cuyos vrtices son los sitios, y cuyas aristas son lgicamente los enlaces.
En el mundo real hay una analoga: tomando al azar dos seres humanos del mundo, En cuntos saltos se puede
pasar de uno a otro, con la condicin de slo saltar de una persona a otra cuando ellas se conocen personalmente?
Con esta definicin, se estima que el dimetro de la humanidad es de... ocho solamente!
Este concepto refleja mejor la complejidad de una red que el nmero de sus elementos.
Vase tambin: Glosario en teora de grafos
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com
Teora de grafos
Algoritmos importantes
Aplicaciones
Gracias a la teora de grafos se pueden resolver diversos problemas como por ejemplo la sntesis de circuitos
secuenciales, contadores o sistemas de apertura. Se utiliza para diferentes reas por ejemplo, Dibujo computacional,
en toda las reas de Ingeniera.
sZ
.c
om
Los grafos se utilizan tambin para modelar trayectos como el de una lnea de autobs a travs de las calles de una
ciudad, en el que podemos obtener caminos ptimos para el trayecto aplicando diversos algoritmos como puede ser
el algoritmo de Floyd.
ib
ro
Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se modelan los mismos utilizando
grafos y optimizando los tiempos para concretar los mismos.
.L
La teora de grafos tambin ha servido de inspiracin para las ciencias sociales, en especial para desarrollar un
concepto no metafrico de red social que sustituye los nodos por los actores sociales y verifica la posicin,
centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones
complejas, de manera que la estructura social puede representarse grficamente. Por ejemplo, una red social puede
representar la estructura de poder dentro de una sociedad al identificar los vnculos (aristas), su direccin e
intensidad y da idea de la manera en que el poder se transmite y a quines.
Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice representa un hbitat y las aristas (o
"edges" en ingls) representa los senderos de los animales o las migracines. Con esta informacin, los cientficos
pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat.
Leonhard Euler
Edsger Dijkstra
Paul Erds
Frank Harary
Dnes Knig
Kazimierz Kuratowski
Gerhard Ringel
W.T. Tutte
www.LibrosZ.com
www.Matematica1.com
www.FisicaA.com