Universidad Nacional del Santa

Estructura De Datos Pgina 1

GRAFOS
DEFINICIN
Definicin 1.- Un grafo se define como un par G = (V, A), donde V
es un conjunto finito no vaco de vrtices y A es un conjunto de pares de
vrtices de V, es decir, las aristas.
Definicin 2.- Un grafo G se define como un par ordenado, G = (V,
A), donde V es un conjunto finito y A es un conjunto que consta de dos
elementos de V.
Muy importante es determinar, antes del anlisis del trmino grafos, el origen
etimolgico del mismo pues nos permitir conocer de primera mano el porqu de su
significado actual. De esta manera podemos dejar patente que aquel emana de la palabra
griega grafo, graphein, que puede traducirse como grabar o escribir.
Es un conjunto de objetos llamados vrtices o nodos unidos por enlaces llamados
aristas o arcos, que permiten representar relaciones binarias entre elementos de un
conjunto. Son objeto de estudio de la teora de grafos.
Aparece con gran frecuencia como respuesta a problemas de la vida cotidiana, algunos
ejemplos podran ser los siguientes: un grfico de una serie de tareas a realizar indicando
su secuenciacin (un organigrama), grafos matemticos que representan las relaciones
binarias, una red de carreteras, la red de enlaces ferroviales o areos o la red elctrica de
una ciudad. En cada caso, es conveniente representar grficamente el problema dibujando
un grafo como un conjunto de puntos (vrtices) con lneas conectndolos (arcos).










Universidad Nacional del Santa

Estructura De Datos Pgina 2

Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre
unidades que interactan unas con otras. Por ejemplo, una red de computadoras puede
representarse y estudiarse mediante un grafo, en el cual los vrtices representan terminales
y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones
inalmbricas).
Prcticamente cualquier problema puede representarse mediante un grafo, y su
estudio trasciende a las diversas reas de las ciencias exactas y las ciencias sociales.

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.

TERMINOLOGA DE GRAFOS:
Arista dirigida: Es aquella que define un par ordenado de vrtices (u, v), donde el
primer vrtice u es el origen de la arista y el segundo vrtice v es el trmino (o vrtice
final). El par (u, v) (v, u).

Arista no dirigida: Es aquella que define un par no ordenado de vrtices (u, v), donde
(u, v) = (v, u).
Universidad Nacional del Santa

Estructura De Datos Pgina 3



Adyacencia: Se dice que dos vrtices son adyacentes si entre ellos hay un enlace directo.
Dos vrtices u y v son adyacentes si existe una arista cuyos vrtices sean u y v:
El vrtice u es adyacente a v
El vrtice v es adyacente desde u

Vrtice: Nodo.

Vrtice adyacente: Un nodo o vrtice V es adyacente al nodo W si existe un arco de
m a n.

Nodo fuente: Se le llama as a los nodos que tienen grado de salida positivo y un grado
de entrada nulo.

Nodo sumidero: Se le llama sumidero al nodo que tiene grado de salida nulo y un
grado de entrada positivo.

Enlace: Conexin entre dos vrtices (nodos).

Vecindad: Conjunto de vrtices adyacentes a otro.

Camino: Un camino es una secuencia que alterna vrtices y aristas que comienza por un
vrtice y termina en vrtice tal que cada arista es incidente a su vrtice predecesor y sucesor.
Es decir, un camino es una sucesin de vrtices de vi V: <v0, v1, v2, vk> que cumple que:
(vi, vi+1) A i {0 k-1}.
Se dice que este camino tiene longitud k. Es decir, el nmero de aristas de un camino o ciclo
es la longitud del camino.

Camino simple: Es cuando todos sus vrtices, excepto tal vez el primero y el ltimo
son distintos.

Camino cerrado (circuito): Camino en el que coinciden los vrtices extremos
(v0 = vk).

Camino elemental: Camino donde sus arcos son distintos dos a dos.

Camino euleriano: Camino simple que contiene todos los arcos del grafo.

Longitud de un camino: Es el nmero de arcos que componen el camino.

Universidad Nacional del Santa

Estructura De Datos Pgina 4

Orden de un grafo: Nmero de nodos (vrtices) del grafo.

Grado de un vrtice: El grado de un vrtice u es el nmero de vrtices adyacentes a
u. Para un grafo dirigido, el grado de salida de un vrtice u es el nmero de vrtices
adyacentes desde u, mientras que el grado de entrada de un vrtice u es el nmero de
vrtices adyacentes a u.

Grafo conectado: Aqul que tiene camino directo entre todos los nodos.

Grafo dirigido: Es aquel cuyas aristas son dirigidas. Los grafos dirigidos suelen
representar relaciones asimtricas como por ejemplo: relaciones de herencia, los vuelos
entre ciudades, etc.













Grafo no dirigido: Es aquel cuyas aristas son no dirigidas. Representan relaciones
simtricas como relaciones de hermandad y colaboracin, conexiones de transportes, etc.














Universidad Nacional del Santa

Estructura De Datos Pgina 5

Gafo con pesos: Aqul cuyos enlaces tienen asociado un valor. En general en este tipo de
grafos no suele tener sentido que un nodo se apunte a s mismo porque el coste de este
enlace sera nulo.

Grado de un nodo: Nmero de ejes (arcos) que inciden sobre el nodo.

Grafo simtrico: Grafo dirigido tal que si existe la relacin <u, v> entonces existe <v,
u>, con u,v V.

Grafo no simtrico: Grafo que no cumple la propiedad anterior.

Grafo reflexivo: Grafo que cumple que para todo nodo u
V existe la relacin (u, u) A.

Grafo transitivo: Grafo que cumple que si existen las relaciones (u, v) y (v, z) A
entonces (u,z) A.

Grafo completo: Grafo que contiene todos los posibles pares de relaciones, es decir,
para cualquier par de nodos u, v V, u V, existe (u, v) A.

Grafo euleriano: Es un grafo que tiene un camino euleriano cerrado.

Grafo conexo: Sea G = (V, A) un grafo no dirigido, se le denomina conexo si existe un
camino entre dos vrtices cualesquiera de G. Para un grafo dirigido G, su grafo asociado
no dirigido es aquel que se obtiene ignorando la direccin de las aristas. G se considera
conexo si su grafo asociado es conexo.










Grafo fuertemente conexo: Grafo dirigido tal que para cualquier par de nodos
existe un camino que los une.

Grafo cclico: Se dice que un grafo es cclico cuando contiene por lo menos un
ciclo.
Universidad Nacional del Santa

Estructura De Datos Pgina 6


Grafo acclico: Se dice que un grafo es acclico cuando no contiene ciclos.

Grafo unilateralmente conexo: Un grafo G es unilateralmente conexo si para
cada par de nodos (V, W) de G hay un camino de V a W o un camino de W a V.

Grafo pesado o etiquetado: Un grafo es pesado cuando sus aristas contienen
datos (etiquetas). Una etiqueta puede ser un nombre, costo o un valor de cualquier
tipo de dato. Tambin a este grafo se le denomina red de actividades, y el nmero
asociado al arco se le denomina factor de peso.

Punto de articulacin: Nodo que si desaparece provoca que se cree un grafo no
conexo.

Grado de salida: El grado de salida de un nodo V de un grafo G, es el nmero de
arcos o aristas que empiezan en V.

Grado de entrada: El grado de entrada de un nodo V de un grafo G, es el nmero
de aristas que terminan en V.

Ciclo simple: Es un camino simple de longitud por lo menos de uno que empieza y
termina en el mismo vrtice.