UNIVERSIDAD NACIONAL DE INGENIERA

UNI-RUACS
Facultad de Ingeniera Industrial

Investigacin de Operaciones

Tema:
Teora de los Grafos

Elaborado por:
Ing. Carlos Alberto Moreno.

Docente:

Ing. Pastrana Moreno

Jueves, 29 de Septiembre de 2011.

Teora de Grafos
Historia de Teora de Grafos
El trabajo de Leonhard Euler, en 1736, sobre el problema de los
puentes de Knigsberg 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 la topologa.
En 1845 Gustav Kirchhoff public sus leyes de los circuitos para calcular el voltaje y la corriente
en los circuitos elctricos.
En 1852 Francis Guthrie plante el problema de los cuatro colores que 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.
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).

Un grafo con 6 vrtices y 7 aristas.

Definicin de grafo
Un grafo G (x, E) consta de un conjunto de elementos x, denominados nodos o vrtices, y un
listado de parejas de vrtices E que expresa las relaciones entre dichos elementos.
Si no se considera el orden de los vrtices en cada pareja, dichos pares se denominan aristas, y
decimos que el grafo es no orientado.

Si se consideran las relaciones, el par de aristas se llama arco y el grafo es orientado. Un grafo
no orientado puede siempre convertirse en orientado, expresando la doble relacin entre los
vrtices.

Vrtice (teora de grafos)

En teora de grafos, un vrtice o nodo es la unidad fundamental de la que estn formados los
grafos. Un grafo no dirigido est formado por un conjunto de vrtices y un conjunto de aristas
(pares no ordenados de vrtices), mientras que un grafo dirigido est compuesto por un
conjunto de vrtices y un conjunto de arcos (pares ordenados de vrtices). En este contexto, los
vrtices son tratados como objetos indivisibles y sin propiedades, aunque puedan tener una
estructura adicional dependiendo de la aplicacin por la cual se usa el grafo; por ejemplo, una
red semntica es un grafo en donde los vrtices representan conceptos o clases de objetos.
Los dos vrtices que conforman una arista se llaman puntos finales y esa arista se dice que es
incidente a los vrtices. Un vrtice w es adyacente a otro vrtice v si el grafo contiene una arista
(v,w) que los une. La vecindad de un vrtice v es un grafo inducido del grafo, formado por todos
los vrtices adyacentes a v.

Vrtices y grados
El grado de un vrtice en un grafo es el nmero de aristas incidentes a l. Un vrtice
aislado es un vrtice con grado cero; esto es, un vrtice que no es punto final de ninguna
arista. Un vrtice hoja es un vrtice con grafo uno. En un grafo dirigido, se puede distinguir
entre grado de salida (outdegree, nmero de aristas que salen del vrtice) y grado de entrada
(indegree, nmero de aristas que llegan al vrtice); un vrtice fuente es un vrtice con grado
de entrada cero, mientras que un vrtice hundido es un vrtice con grado de salida cero.

Conexiones de vrtices
Un vrtice de corte es un vrtice que al removerlo desconecta al grafo restante. Un conjunto
independiente es un conjunto de vrtices tal que ninguno es adyacente a otro, y una cobertura
de vrtices es un conjunto de vrtices que incluye los puntos finales de cada arista en un grafo.

Arista (teora de grafos)

En teora de grafos las aristas, junto con los vrtices, forman
los elementos principales con los que trabaja esta disciplina,
siendo consideradas las aristas las uniones entre nodos o
vrtices (vase la primera figura). Usualmente las aristas
denotan relaciones entre los vrtices (vecindad, herencia,
orden, etc.) y, como ejemplo, se usan para delimitar regiones
en un plano a partir de una nube de puntos (que seran los
nodos).
Imagen que muestra representaciones de los distintos

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.
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 v (y se indica como
(v)), como la cantidad de aristas que llegan o salen de l; para el caso de grafos no orientados,
el grado de un vrtice es 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.

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 incluido V
2- A incluido 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.

Ciclos y Caminos 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.

Caractersticas de grafos

Grafos simples
Un grafo es simple si a lo sumo slo 1 arista une 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 Multigrfica o Grfo mltiple.

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

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 n vrtices tiene exactamente aristas.

Grafos bipartitos
Un grafo G es bipartito si puede expresarse como G = \{V_1 \cup V_2, A\} (es decir, sus
vrtices son la unin de dos grupos de vrtices), bajo las siguientes condiciones:

* V1 y V2 son disjuntos y no vacos.

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

Lazos o bucles
Un lazo o bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo
inicial y el nodo final coinciden.

Grafo no dirigido
Un grafo no dirigido o grafo propiamente dicho es un grafo G = (V,E) donde:
* V\neq\emptyset
* E\subseteq \{x\in\mathcal P(V): |x|=2\} es un conjunto de pares no ordenados de elementos
de V\,.
Un par no ordenado es un conjunto de la forma {a,b}, de manera que {a,b} = {b,a}. Para los
grafos, estos conjuntos pertenecen al conjunto potencia de V de cardinalidad 2, el cual se denota
por \mathcal P(V).

Grafo dirigido
Un grafo dirigido o digrafo es un grafo G = (V,E) donde:
* V\neq\emptyset
* E \subseteq \{(a,b) \in V \times V: a \neq b \}\, es un conjunto de pares ordenados de
elementos de V\,.
Dada una arista (a,b), a es su nodo inicial y b su nodo final.
Por definicin, los grafos dirigidos no contienen bucles.

Un grafo mixto es aquel que se define con la capacidad de poder contener aristas dirigidas y no
dirigidas. Tanto los grafos dirigidos como los no dirigidos son casos particulares de este.

Conectividad en grafos
A diferencia de los conceptos anteriores, que afectaban a vrtices del grafo, la conectividad es
una
propiedad del grafo en su conjunto. Un grafo orientado puede ser conexo o fuertemente conexo.
Un
grafo orientado slo puede ser conexo. Ms concretamente, tenemos:
Diremos que un grafo es conexo si existe al menos un ciclo entre toda pareja de vrtices. El
concepto
es aplicable tanto a grafos orientados como para no orientados: obsrvese que se ha definido
ciclo
tanto para grafos orientados como para no orientados.
Diremos que un grafo orientado es fuertemente conexo si existe al menos un camino entre toda
pareja
de vrtices. Todo grafo orientado fuertemente conexo ser tambin conexo