Teora de grafos 1

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
El trabajo de Leonhard Euler, en 1736, sobre el problema de los
om
puentes de Knigsberg es considerado el primer resultado de la teora
de grafos. Tambin se considera uno de los primeros resultados
.c
sZ

topolgicos en geometra (que no depende de ninguna medida). Este

ro

ejemplo ilustra la profunda relacin entre la teora de grafos y la

ib

topologa.
.L

En 1845 Gustav Kirchhoff public sus leyes de los circuitos para

w

calcular el voltaje y la corriente en los circuitos elctricos.

w
w

En 1852 Francis Guthrie plante el problema de los cuatro colores que

Puentes de Knigsberg.
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. Este problema, que no fue resuelto hasta un siglo despus por Kenneth Appel y Wolfgang
Haken, 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.

Estructuras de datos en la representacin de grafos

Existen diferentes formas de almacenar grafos en una computadora. La estructura de datos usada depende de las
caractersticas del grafo y el algoritmo 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 dispersos porque tienen un eficiente uso de la memoria. Por otro lado, las matrices proveen
acceso rpido, pero pueden consumir grandes cantidades de memoria.

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 2

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.
En esta estructura de datos la idea es asociar a cada vrtice i del grafo
una lista que contenga todos aquellos vrtices j que sean adyacentes a
l. De esta forma slo reservar memoria para los arcos adyacentes a i
y no para todos los posibles arcos que pudieran tener como origen i. El
Grafo de lista de adyacencia.
grafo, por tanto, se representa por medio de un vector de n
componentes (si |V|=n) donde cada componente va a ser una lista de
adyacencia correspondiente a cada uno de los vrtices del grafo. Cada elemento de la lista consta de un campo
indicando el vrtice adyacente. En caso de que el grafo sea etiquetado, habr que aadir un segundo campo para
mostrar el valor de la etiqueta. om
Estructuras matriciales
.c

Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por V (vrtices), donde [arista,
sZ

vrtice] contiene la informacin de la arista (1 - conectado, 0 - no conectado)

ro

Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao , donde es el
ib

nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento es 1, de lo
.L
w

contrario, es 0.
w
w

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
conjunto de aristas, este ltimo es un conjunto de
pares de la forma tal que . Para
simplificar, notaremos la arista como .
En teora de grafos, slo queda lo esencial del
En la figura, V = { a, b, c, d, e, f }, y A = { ab, ac, ae, bc, bd, df, ef }.
dibujo: la forma de las aristas no son relevantes, slo
importa a qu vrtices estn unidas. La posicin de
los vrtices tampoco importa, y se puede variar para obtener un dibujo ms claro.

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 3

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 V
2- A' A
3- (V,A) es un grafo
Si G=(V,A) es subgrafo de G, para todo v G se cumple gr (G,v) gr (G, v)
G2 es un subgrafo de G.

om
.c
sZ
ro
ib
.L
w
w
w

Aristas dirigidas y no dirigidas

En algunos casos es necesario asignar un sentido a
las aristas, por ejemplo, si se quiere representar la
red de las calles de una ciudad con sus direcciones
nicas. El conjunto de aristas ser ahora un
subconjunto de todos los posibles pares ordenados
de vrtices, con (a, b) (b, a). Los grafos que
contienen aristas dirigidas se denominan grafos
orientados, como el siguiente:

Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas
orientadas entre los nodos, cada una en un sentido).
En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idnticos: es un lazo (o bucle), y aparece
tambin una arista bidireccional, y corresponde a dos aristas orientadas.
Aqu V = { a, b, c, d, e }, y A = { (a, c), (d, a), (d, e), (a, e), (b, e), (c, a), (c, c), (d, b) }.
Se considera la caracterstica de "grado" (positivo o negativo) de un vrtice (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 4

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.

Ciclos y caminos hamiltonianos

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
om
grafo que representa el museo (los vrtices son las
.c

salas, y las aristas los corredores o puertas entre

sZ

ellas).
ro

Se habla tambin de camino hamiltoniano si no se

ib

impone regresar al punto de partida, como en un

.L

museo con una nica puerta de entrada. Por ejemplo,

w

un caballo puede recorrer todas las casillas de un Ejemplo de un ciclo hamiltoniano.

w
w

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.

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 5

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 om , siendo el grafo completo de n vrtices.

Un , es decir, grafo completo de vrtices tiene exactamente aristas.

.c

La representacin grfica de los como los vrtices de un polgono regular da cuenta de su peculiar estructura.
sZ
ro

Grafos bipartitos
ib

Un grafo G es bipartito si puede expresarse como (es decir, sus vrtices son la unin de dos
.L

grupos de vrtices), bajo las siguientes condiciones:

w
w

y son disjuntos y no vacos.

w

Cada arista de A une un vrtice de V1 con uno de V2.

No existen aristas uniendo dos elementos de V1; anlogamente para V2.
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.

Operaciones en Grafos

Subdivisin elemental de una arista

se convierte en
Se reemplaza la arista por dos aristas y un vrtice .
Despus de realizar esta operacin, el grafo queda con un vrtice y una arista ms.

Eliminacin dbil de un vrtice

Si y (Sea un vrtice del grafo y de grado dos) eliminarlo dbilmente significa reemplazarlo
por una arista que une los vrtices adyacentes a .
se convierte en
Entonces y desaparecen y aparece

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 6

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
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.

Grafos ponderados o etiquetados

En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste
om
segn el contexto, y se obtiene as un grafo valuado.
Formalmente, es un grafo con una funcin v: A R .
.c

+
sZ

Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters
ro

previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente
ib

tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.
.L

Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos
w

desde a hasta b, sin ms condicin.

w
w

Teorema de los cuatro colores

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. En 1852 Francis Guthrie plante el problema de
los cuatro colores.
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

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 7

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
Definicin: 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
om
nmero de coloraciones propias diferentes de los
.c

vrtices de G, usando un mximo de colores.

sZ

Colores en los vrtices.

ro

Descomposicin de polinomios cromticos. Si

ib

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
.L

obtene por contraccin de aristas.

w

Para cualquier grafo G, el trmino constante en P (G,) es 0

w
w

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.

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 8

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. Un grafo es plano si se puede dibujar sin cruces de aristas. El problema
de las tres casas y los tres pozos tiene solucin sobre el toro, pero no en
El juego anterior equivale a descubrir si el grafo
el plano.
bipartito completo K3,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
om
encontrase una estructura anloga (conocida como menor) a K5 o a K3,3.
.c

Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver con topologa.
sZ
ro

Dimetro
ib
.L

En un grafo, la distancia entre dos vrtices es el

w

menor nmero de aristas de un recorrido entre ellos.

w

El dimetro, en una figura como en un grafo, es la

w

mayor distancia entre dos puntos de la misma.

El dimetro de los Kn es 1, y el de los Kn,p es 2. Un
dimetro infinito puede significar que el grafo tiene
una infinidad de vrtices o simplemente que no es En la figura se nota que K4 es plano (desviando la arista ab al exterior
conexo. Tambin se puede considerar el dimetro del cuadrado), que K5 no lo es, y que K3,2 lo es tambin (desvos en
gris).
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

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Teora de grafos 9

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

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
om
ciudad, en el que podemos obtener caminos ptimos para el trayecto aplicando diversos algoritmos como puede ser
.c

el algoritmo de Floyd.
sZ

Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se modelan los mismos utilizando
ro

grafos y optimizando los tiempos para concretar los mismos.

ib

La teora de grafos tambin ha servido de inspiracin para las ciencias sociales, en especial para desarrollar un
.L

concepto no metafrico de red social que sustituye los nodos por los actores sociales y verifica la posicin,
w
w

centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones
w

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.

Investigadores relevantes en Teora de grafos

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