Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNI-RUACS
Facultad de Ingeniera Industrial
Investigacin de Operaciones
Tema:
Teora de los Grafos
Elaborado por:
Ing. Carlos Alberto Moreno.
Docente:
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).
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.
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.
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
G2 es un subgrafo de G.
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:
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