Teora de grafos

De Wikipedia, la enciclopedia libre

Los grafos son el objeto de estudio de esta rama de las matemticas. Arriba el grafo pez, en medio
elgrafo arco y abajo el grafo dodecaedro.
La teora de grafos (tambin llamada teora de las grficas) es un campo de
estudio de las matemticas y las ciencias de la computacin, que estudia las
propiedades de los grafos(tambin llamadas grficas, que no se debe confundir
con las grficas que tienen una acepcin muy amplia) estructuras que constan de
dos partes, el conjunto de vrtices, nodos o puntos; y el conjunto de aristas, lneas
o lados (edges en ingls) que pueden ser orientados o no.
La teora de grafos es una rama de la matemticas discretas y aplicadas, y es una
disciplina que unifica diversas reas
como combinatoria, lgebra, probabilidad, geometra de
polgonos,aritmtica y topologa.
Actualmente ha tenido mayor preponderancia en el campo de la informtica,
las ciencias de la computacin y telecomunicaciones.
ndice
1 Historia
2 Aplicaciones
3 Tipos de grafos
4 Representacin de grafos
4.1 Estructura de lista
4.2 Estructuras matriciales
5 Problemas de teora de grafos
5.1 Ciclos y caminos hamiltonianos
5.2 Grafos planos
5.3 Coloracin de grafos
5.3.1 Teorema de los cuatro colores
6 Caracterizacin de grafos
6.1 Grafos simples
6.2 Grafos conexos
6.3 Grafos completos
6.4 Grafos bipartitos
6.5 Homeomorfismo de grafos
6.6 rboles
6.7 Grafos ponderados o etiquetados
6.8 Dimetro
7 Algoritmos importantes
8 Investigadores relevantes en Teora de grafos
9 Vase tambin
10 Referencias
11 Enlaces externos
12 Enlaces externos
Historia

Los 7 puentes del ro Pregel en Knigsberg.
El origen de la teora de grafos se remonta al siglo XVIII con el problema de los
puentes de Knigsberg, el cual consista en encontrar un camino que recorriera
los siete puentes delro Pregel (544212N 203056E) en la ciudad
de Knigsberg, actualmente Kaliningrado, de modo que se recorrieran todos los
puentes pasando una sola vez por cada uno de ellos. El trabajo de Leonhard
Euler sobre el problema titulado Solutio problematis ad geometriam situs
pertinentis
1
(La solucin de un problema relativo a la geometra de la posicin)
en 1736, es considerado el primer resultado de la teora de grafos. Tambin se
considera uno de los primeros resultados topolgicos en geometra (que no
depende de ninguna medida). Este ejemplo ilustra la profunda relacin entre la
teora de grafos y latopologa.
Luego, en 1847, Gustav Kirchhoff utiliz la teora de grafos para el anlisis de
redes elctricas publicando sus leyes de los circuitos para calcular el voltaje y la
corriente en los circuitos elctricos, conocidas como leyes de Kirchhoff,
considerado la primera aplicacin de la teora de grafos a un problema
de ingeniera.
En 1852 Francis Guthrie plante el problema de los cuatro colores el cual afirma
que es posible, utilizando solamente cuatro colores, colorear cualquier mapa de
pases de tal forma que dos pases vecinos nunca tengan el mismo color. Este
problema, que no fue resuelto hasta un siglo despus por Kenneth
Appel y Wolfgang Haken en 1976, puede ser considerado como el nacimiento de
la teora de grafos. Al tratar de resolverlo, los matemticos definieron trminos y
conceptos tericos fundamentales de los grafos.
En 1857, Arthur Cayley estudi y resolvi el problema de enumeracin de
los ismeros, compuestos qumicos con idntica composicin (formula) pero
diferente estructura molecular. Para ello represento cada compuesto, en este
caso hidrocarburos saturados C
n
H
2n+2
, mediante un grafo rbol donde los vrtices
representan tomos y las aristas la existencia de enlaces qumicos.
El termino grafo, proviene de la expresin graphic notation usada por
primera vez por Edward Frankland
2
y posteriormente adoptada por Alexander
Crum Brown en 1884, y haca referencia a la representacin grfica de los
enlaces entre los tomos de una molcula.
El primer libro sobre teoria de grafos fue escrito por Dnes Knig y publicado
en 1936.
3

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.
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.
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.
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 migraciones. Con esta informacin, los cientficos pueden
entender cmo esto puede cambiar o afectar a las especies en su hbitat.


Mapas conceptuales



Plano de estaciones delmetro.



Plano de autopistas.



Circuito elctrico



Sociograma de una red social



Topologa de red decomputadores



Organigramas



Isomeros



Arquitectura de redes detelefona mvil



Draws de eliminacin directa (ej: tenis)
Tipos de grafos
Grafo simple. o simplemente grafo es aquel que acepta una sola una arista
uniendo dos vrtices cualesquiera. Esto es equivalente a decir que una
arista cualquiera es la nica que une dos vrtices especficos. Es la
definicin estndar de un grafo.
Multigrafo. o pseudografo son grafos que aceptan ms de una arista entre
dos vrtices. Estas aristas se llaman mltiples o lazos (loops en ingls).
Los grafos simples son una subclase de esta categora de grafos. Tambin
se les llama grafos no-dirigido.
Grafo dirigido. Son grafos en los cuales se ha aadido una orientacin a
las aristas, representada grficamente por una flecha
Grafo etiquetado. Grafos en los cuales se ha aadido un peso a las aristas
(nmero entero generalmente) o un etiquetado a los vrtices.
Grafo aleatorio. Grafo cuyas aristas estn asociadas a una probabilidad.
Hipergrafo. Grafos en los cuales las aristas tienen ms de dos extremos,
es decir, las aristas son incidentes a 3 o ms vrtices.
Grafo infinito. Grafos con conjunto de vrtices y aristas de cardinal
infinito.
Representacin de grafos
Existen diferentes formas de representar un grafo (simple), adems de la
geomtrica y muchos mtodos para almacenarlos en una computadora.
La estructura de datos usada depende de las caractersticas del grafo y
elalgoritmo usado para manipularlo. Entre las estructuras ms sencillas y usadas
se encuentran las listas y las matrices, aunque frecuentemente se usa una
combinacin de ambas. Las listas son preferidas en grafos dispersosporque tienen
un eficiente uso de la memoria. Por otro lado, las matrices proveen acceso rpido,
pero pueden consumir grandes cantidades de memoria.
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.
4

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.
lista de grados - Tambin llamada secuencia de grados o sucesin
grfica de un grafo no-dirigido es una secuencia de nmeros, que
corresponde a los grados de los vrtices del grafo.
Estructuras matriciales
Matriz de adyacencia - El grafo est representado por una matriz
cuadrada M de tamao , donde es el nmero de vrtices. Si hay una
arista entre un vrtice x y un vrtice y, entonces el elemento es 1, de
lo contrario, es 0.
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)
Grafo G(V,A)
Conjun
tos
Matriz de
adyacencia
Matriz de incidencia
Secuenc
ia de
grados
Lista de
Adyace
ncia

V = {
1, 2, 3,
4, 5, 6 }
A = {
{1,1},
{1,2},
{1,5},
{2,3},
{2,5},
{3,4},
{4,5},
{4,6} }

(4,3,3,3,
2,1)
{
{1,2,5},
{3,5},
{4},
{5,6} }
Problemas de teora de grafos
Ciclos y caminos hamiltonianos

Ejemplo de un ciclo Hamiltoniano.
Un ciclo es una sucesin de aristas adyacentes, donde no se recorre dos veces la
misma arista, y donde se regresa al punto inicial. Un ciclo hamiltoniano tiene
adems que recorrer todos los vrtices exactamente una vez (excepto el vrtice
del que parte y al cual llega).
Por ejemplo, en un museo grande (al estilo del Louvre), lo idneo sera recorrer
todas las salas una sola vez, esto es buscar un ciclo hamiltoniano en el grafo que
representa el museo (los vrtices son las salas, y las aristas los corredores o
puertas entre ellas).
Se habla tambin de camino Hamiltoniano si no se impone regresar al punto de
partida, como en un museo con una nica puerta de entrada. Por ejemplo, un
caballo puede recorrer todas las casillas de un tablero de ajedrez sin pasar dos
veces por la misma: es un camino hamiltoniano. Ejemplo de un ciclo
hamiltoniano en el grafo del dodecaedro.
Hoy en da, no se conocen mtodos generales para hallar un ciclo hamiltoniano
en tiempo polinmico, siendo la bsqueda por fuerza bruta de todos los posibles
caminos u otros mtodos excesivamente costosos. Existen, sin embargo, mtodos
para descartar la existencia de ciclos o caminos hamiltonianos en grafos
pequeos.
El problema de determinar la existencia de ciclos hamiltonianos, entra en el
conjunto de los NP-completos.

Un grafo es plano si se puede dibujar sin cruces de aristas. Elproblema de las tres casas y los tres
pozos tiene solucin sobre eltoro, pero no en el plano.
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 K
n
el grafo completo con n vrtices, K
n, p
es el grafo
bipartito de n y p vrtices.
El juego anterior equivale a descubrir si el grafo bipartito completo K
3,3
es plano,
es decir, si se puede dibujar en un plano sin que haya cruces, siendo la respuesta
que no. En general, puede determinarse que un grafo no es plano, si en su diseo
puede encontrase una estructura anloga (conocida como menor) a K
5
o a K
3,3
.
Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver
con topologa.
Coloracin de grafos
Si G=(V, E) es un grafo no dirigido, una coloracin propia de G, ocurre cuando
coloreamos los vrtices de G de modo que si {a, b} es una arista en G entonces a
y b tienen diferentes colores. (Por lo tanto, los vrtices adyacentes tienen colores
diferentes). El nmero mnimo de colores necesarios para una coloracin propia
de G es el nmero cromtico de G y se escribe como C (G). Sea G un grafo no
dirigido sea el nmero de colores disponibles para la coloracin propia de los
vrtices de G. Nuestro objetivo es encontrar una funcin polinomial P (G,), en
la variable , llamada polinomio cromtico de G , que nos indique el nmero de
coloraciones propias diferentes de los vrtices de G, usando un mximo de
colores.
Descomposicin de polinomios cromticos. Si G=(V, E) es un grafo conexo y e
pertenece a , entonces: P (G,)=P (G+e,)+P (G/e,), donde G/e es el grafo se
obtene por contraccin de aristas.
Para cualquier grafo G, el trmino constante en P (G,) es 0
Sea G=(V, E) con |E|>0 entonces, la suma de los coeficientes de P (G,) es 0.
Sea G=(V, E), con a, b pertenecientes al conjunto de vrtices V pero {a, b}=e, no
perteneciente a al conjunto de aristas E. Escribimos G+e para el grafo que se
obtiene de G al aadir la arista e={a, b}. Al identificar los vrtices a y b en G,
obtenemos el subgrafo G++e de G.0000
Teorema de los cuatro colores

Mapa coloreado con 4-colores.

Grafo dual asociado al mapa con una 4-vrtice coloracin.
Otro problema famoso relativo a los grafos: Cuntos colores son necesarios para
dibujar un mapa poltico, con la condicin obvia que dos pases adyacentes no
puedan tener el mismo color? Se supone que los pases son de un solo pedazo, y
que el mundo es esfrico o plano. En un mundo en forma de toroide; el teorema
siguiente no es vlido:
Cuatro colores son siempre suficientes para colorear un mapa.
El mapa siguiente muestra que tres colores no bastan: Si se empieza por el pas
central a y se esfuerza uno en utilizar el menor nmero de colores, entonces en la
corona alrededor de a alternan dos colores. Llegando al pas h se tiene que
introducir un cuarto color. Lo mismo sucede en i si se emplea el mismo mtodo.
La forma precisa de cada pas no importa; lo nico relevante es saber qu pas
toca a qu otro. Estos datos estn incluidos en el grafo donde los vrtices son los
pases y las aristas conectan los que justamente son adyacentes. Entonces la
cuestin equivale a atribuir a cada vrtice un color distinto del de sus vecinos.
Hemos visto que tres colores no son suficientes, y demostrar que con cinco
siempre se llega, es bastante fcil. Pero el teorema de los cuatro colores no es
nada obvio. Prueba de ello es que se han tenido que emplear ordenadores para
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.
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.
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.
El conjunto de los grafos completos es denominado usualmente , siendo el
grafo completo de n vrtices.
Un , es decir, grafo completo de vrtices tiene
exactamente aristas.
La representacin grfica de los como los vrtices de un polgono regular da
cuenta de su peculiar estructura.
Grafos bipartitos
Un grafo G es bipartito si puede expresarse como (es decir,
sus vrtices son la unin de dos grupos de vrtices), bajo las siguientes
condiciones:
y son disjuntos y no vacos.
Cada arista de A une un vrtice de V
1
con uno de V
2
.
No existen aristas uniendo dos elementos de V
1
; anlogamente para V
2
.
Bajo estas condiciones, el grafo se considera bipartito, y puede describirse
informalmente como el grafo que une o relaciona dos conjuntos de elementos
diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe
unirse un elemento de la columna A con un elemento de la columna B.
Homeomorfismo de grafos
Dos grafos y son homeomorfos si ambos pueden obtenerse a partir del
mismo grafo con una sucesin de subdivisiones elementales de aristas.
rboles

Ejemplo de rbol.
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 n
n-
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.
Grafos ponderados o etiquetados
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.
Formalmente, es un grafo con una funcin v: A R
+
.
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.
Dimetro

En la figura se nota que K
4
es plano (desviando la arista ab al exterior del cuadrado), que K
5
no lo es, y
que K
3
,
2
lo es tambin (desvos en gris).
En un grafo, la distancia entre dos vrtices es el menor nmero de aristas de un
recorrido entre ellos. El dimetro, en una figura como en un grafo, es la mayor
distancia de entre todos los pares de puntos de la misma.
El dimetro de los K
n
es 1, y el de los K
n
,
p
es 2. Un dimetro infinito puede
significar que el grafo tiene una infinidad de vrtices o simplemente que no
es conexo. Tambin se puede considerar el dimetro promedio, como el
promedio de las distancias entre dos vrtices.
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.
Algoritmos importantes
Algoritmo de bsqueda en anchura (BFS)
Algoritmo de bsqueda en profundidad (DFS)
Algoritmo de bsqueda A*
Algoritmo del vecino ms cercano
Ordenacin topolgica de un grafo
Algoritmo de clculo de los componentes fuertemente conexos de un grafo
Algoritmo de Dijkstra
Algoritmo de Bellman-Ford
Algoritmo de Prim
Algoritmo de Ford-Fulkerson
Algoritmo de Kruskal
Algoritmo de Floyd-Warshall
Investigadores relevantes en Teora de grafos
Alon, Noga
Berge, Claude
Bollobs, Bla
Brightwell, Graham
Chung, Fan
Dirac, Gabriel Andrew
Dijkstra, Edsger
Erds, Paul
Euler, Leonhard
Faudree, Ralph
Golumbic, Martin
Graham, Ronald
Harary, Frank
Heawood, Percy John
Kaufmann, Walter Arnold
Knig, Dnes
Kuratowski, Kazimierz
Lovsz, Lszl
Neetil, Jaroslav
Rnyi, Alfrd
Ringel, Gerhard
Robertson, Neil
Seymour, Paul
Szemerdi, Endre
Thomas, Robin
Thomassen, Carsten
Turn, Pl
Tutte, W. T.
Whitney, Hassler
Vase tambin
Anexo:Galeria de grafos
Grafo
Modelo en grafo
Algoritmo de Floyd
Relacin social
Iconografa de las correlaciones
Referencias
Enlaces externos
Teora de Grafos:Artculos, teora y apuntes relacionados con la
Matemtica Discreta y la Teora de Grafos.
1. Euler, L. (1736). Solutio problematis ad geometriam situs pertinentis. Commentarii
Academiae Scientiarum Imperialis Petropolitanae 8. 128-140.
2. http://booklens.com/l-r-foulds/graph-theory-applications pag 7