ELEMENTOS Y CARACTERSTICAS DE UN GRAFO

Llamaremos grafo, G, al par ordenado formado por un conjunto finito no vaco, V, y un

conjunto, A, de pares no ordenados de elementos del mismo.
V es el conjunto de los vrtices o nodos del grafo.
A sera el conjunto de las aristas o arcos del grafo.
Utilizaremos la notacin G = (V,A) para designar al grafo cuyos conjuntos de vrtices y aristas son,
Respectivamente, V y A.
El origen de la palabra grafo es griego y su significado etimolgico es "trazar". 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 ferroviarios o areos o la red elctrica de una ciudad.(Vase la figura 1).En cada
caso, es conveniente representar grficamente el problema dibujando un grafo como un conjunto
de puntos(vrtices)con lneas conectndolos (arcos).

De aqu se podra deducir que un grafo es bsicamente un objeto geomtrico aunque en realidad
sea un objeto combinatorio, es decir, un conjunto de puntos y un conjunto de lneas tomado de
entre el conjunto de lneas que une cada par de vrtices. Por otro lado, y debido a su generalidad y
a la gran diversidad de formas que pueden usarse, resulta complejo tratar con todas las ideas
relacionadas con un grafo.
Para facilitar el estudio de este tipo de dato, a continuacin se realizar un estudio de la teora de
grafos desde el punto de vista de las ciencias de la computacin. Considerando que dicha teora es
compleja y amplia, aqu slo se realizar una introduccin a la misma, describindose el grafo
como un tipo de dato y mostrndose los problemas tpicos y los algoritmos que permiten
solucionarlos usando un ordenador.
Los grafos son estructuras de datos no lineales que tienen una naturaleza generalmente dinmica.
Su estudio podra dividirse en dos grandes bloques:
Grafos Dirigidos.
Grafos no Dirigidos(pueden ser considerados un caso particular de los anteriores).
Un ejemplo de grafo dirigido lo constituye la red de aguas de una ciudad ya que cada tubera slo
admite que el agua la recorra en un nico sentido. Por el contrario, la red de carreteras de un pas

representa en general un grafo no dirigido, puesto que una misma carretera puede ser recorrida
en ambos sentidos. No obstante, podemos dar unas definiciones generales para ambos tipos.
A continuacin daremos definiciones de los dos tipos de grafos y de los conceptos que llevan
asociados.
DEFINICIONES Y TERMINOLOGA FUNDAMENTAL.
Un grafo G es un conjunto en el que hay definida una relacin binaria, es decir G=(V,A) tal que V es
un conjunto de objetos a los que denominaremos vrtices o nodos y es una relacin binaria a
cuyos elementos denominaremos arcos o aristas.
Dados ,puede ocurrir que:
1.

, en cuyo caso diremos que x e y estn unidos mediante un arco, y

2.

, en cuyo caso diremos que no lo estn.

Si las aristas tienen asociada una direccin (las aristas (x, y) y (y, x) no son equivalentes) diremos
que el grafo es dirigido, en otro caso ((x, y)=(y, x)) diremos que el grafo es no dirigido.

Definicin 1 Un grafo simple G (V,E) consta de V , un conjunto no vaco de vrtices, y de E, un

conjunto de pares no ordenados de elementos Distintos de V . A esos pares se les llama aristas o
lados.
Ejercicio 1 Muestre que si G es simple, entonces "
En algunos casos lo grafos simples no bastan para modelar ciertas situaciones en las cuales se
requiere de la existencia de mltiples aristas entre par de Vrtices. En este caso no es suficiente
definir las aristas como par de vrtices;
La definicin de multgrafo es un poco ms complicada.
Definicin 2 Un multgrafo G (V,E) consta de un conjunto V de vrtices, un conjunto E de aristas y
una funcin f de E en {{u, v}|u, v V, u 6= v}. Se dice que las aristas e1, e2 son
aristas mltiples o paralelas si f (e1) = f(e2).
Los multgrafos definidos no admiten bucles o lazos (aristas que conectan Un vrtice consigo
mismo). Usamos en este caso, pseudografos que son ms generales que los multgrafos.

Definicin 3 Un pseudografo G (V, E) consta de un conjunto V de vrtices, un conjunto E de aristas

y una funcin f de E en {{u, v}|u, v V }. Se dice que una arista e es un bucle o lazo si f (e) = {u,
u} = {u} para algn
uV.
La diferencia entre grafo y dgrafo es que el ltimo tiene los lados dirigidos y se entiende como un
grafo dirigido.
Definicin 4 Un grafo dirigido o dgrafo G = (V, E) consta de un conjunto
V de vrtices, un conjunto E de aristas, que son pares ordenados de elementos de V.
Definimos los multgrafos dirigidos de la siguiente manera
Definicin 5 Un multgrafo dirigido G (V,E) consta de un conjunto V de Vrtices, un conjunto E de
aristas y una funcin f de E en {(u, v)|u, v V }.
Se dice que las aristas e1, e2 son aristas mltiples o paralelas si f (e1) =
1.1. Adyacencia de Vrtices, Incidencia de Aristas y
Grado de los Vrtices Dos vrtices u, v de un grafo G = (V, E) se dicen adyacentes si {u, v} E,
asimismo dos aristas son adyacentes si tienen un mismo vrtice como extremo; anlogamente
si e = {u, v} decimos que el lado e es incidente a los vrtices u y v. El grado de un vrtice es el
nmero de lados incidentes a l. El grado de un vrtice u se denota gr(u). Denotamos con (G) y
(G) el mnimo y el mximo grado de los vrtices de G respectivamente.

COMPONENTES DE UN GRAFO
Aristas
Son las lneas con las que se unen las aristas de un grafo y con la que se construyen tambin
caminos.
Si la arista carece de direccin se denota indistintamente {a, b} o {b, a}, siendo a y b los vrtices
que une.
Si {a, b} es una arista, a los vrtices a y b se les llama sus extremos.
Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen en el mismo vrtice.
Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el final son el mismo.
Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo.
Cruce: Son dos aristas que cruzan en un punto.
Vrtices

Son los puntos o nodos con los que est conformado un grafo. Llamaremos grado de un vrtice al
nmero de aristas de las que es extremo. Se dice que un vrtice es `par' o `impar' segn lo sea su
grado.
Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si tenemos un arista que
los une, entonces U y V son vrtices adyacentes y se dice que U es el vrtice inicial y V el vrtice
adyacente.
Vrtice Aislado: Es un vrtice de grado cero.
Vrtice Terminal: Es un vrtice de grado 1.
Caminos
Sean x, y " V, se dice que hay un camino en G de x a y si existe una sucesin finita no vaca de
aristas {x,v1}, {v1,v2},..., {vn,y}. En este caso
x e y se llaman los extremos del camino
El nmero de aristas del camino se llama la longitud del camino.
Si los vrtices no se repiten el camino se dice propio o simple.
Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple entre ellos.
Cuando los dos extremos de un camino son iguales, el camino se llama circuito o camino cerrado.
Llamaremos ciclo a un circuito simple
Un vrtice a se dice accesible desde el vrtice b si existe un camino entre ellos. Todo vrtice es
accesible respecto a si mismo
Clasificacin de grafos
Los grafos se pueden clasificar en dos grupos: dirigidos y no dirigidos. En un grafo no dirigido el par
de vrtices que representa un arco no est ordenado. Por lo tanto, los pares (v1, v2) y (v2, v1)
representan el mismo arco. En un grafo dirigido cada arco est representado por un par ordenado
de vrtices, de forma que y representan dos arcos diferentes.
Ejemplos
G1 = (V1, A1)
V1 = {1, 2, 3, 4} A1 = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}
G2 = (V2, A2)
V2 = {1, 2, 3, 4, 5, 6} A2 = {(1, 2), (1, 3), (2, 4), (2, 5), (3, 6)}
G3 = (V3, A3)
V3 = {1, 2, 3} A3 = {<1, 2>, <2, 1>, <2, 3>}
Grficamente estas tres estructuras de vrtices y arcos se pueden representar de la siguiente
manera:

Algunos de los principales tipos de grafos son los que se muestran a continuacin:
Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k lo llamaremos kregular.
Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y el tercero
no es regular.

Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo
que no haya adyacencias entre vrtices pertenecientes al mismo conjunto
Ejemplo.- de los dos grafos siguientes el primero es bipartito y el segundo no lo es
Grafo completo: Aquel con una arista entre cada par de vrtices. Un grafo completo con n vrtices
se denota Kn.
A continuacin pueden verse los dibujos de K3, K4, K5 y K6
Un grafo bipartito regular: se denota Km, n donde m, n es el grado de cada conjunto disjunto de
vrtices.
A continuacin ponemos los dibujos de K1, 2, K3, 3, y K2, 5

Grafo nulo: Se dice que un grafo es nulo cuando los vrtices que lo componen no estn
conectados, esto es, que son vrtices aislados.

Grafos Isomorfos: Dos grafos son isomorfos cuando existe una correspondencia biunvoca (uno a
uno), entre sus vrtices de tal forma que dos de estos quedan unidos por una arista en comn.

Grafos Platnicos: Son los Grafos formados por los vrtices y aristas de los cinco slidos regulares
(Slidos Platnicos), a saber, el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro.

Grafos Eulerianos.
Para definir un camino euleriano es importante definir un camino euleriano primero. Un camino
euleriano se define de la manera ms sencilla como un camino que contiene todos los arcos del
grafo.
Teniendo esto definido podemos hablar de los grafos eulerianos describindolos simplemente
como aquel grafo que contiene un camino euleriano. El primer grafo de ellos no contiene caminos
eulerianos mientras el segundo contiene al menos uno.

Grafos Conexos.
Un grafo se puede definir como conexo si cualquier vrtice V pertenece al conjunto de vrtices y
es alcanzable por algn otro. Otra definicin que dejara esto ms claro sera: "un grafo conexo es

un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los
une".

rboles.
Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo tambin a
cclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en donde se puede notar
que ninguno de los dos contiene repeticiones (ciclos).

Bosques de rboles.
Los bosques de rboles son un caso similar a los rboles, son a cclicos, pero no son conexos. Como
ejemplo tenemos la siguiente figura.

Recorrido de un grafo.
Recorrer un grafo significa tratar de alcanzar todos los nodos que estn relacionados con uno que
llamaremos nodo de salida. Existen bsicamente dos tcnicas para recorrer un grafo: el recorrido
en anchura; y el recorrido en profundidad.
Recorrido en anchura: El recorrido en anchura supone recorrer el grafo, a partir de un nodo dado,
en niveles, es decir, primero los que estn a una distancia de un arco del nodo de salida, despus

los que estn a dos arcos de distancia, y as sucesivamente hasta alcanzar todos los nodos a los
que se pudiese llegar desde el nodo salida.
Recorrido en profundidad: el recorrido en profundidad trata de buscar los caminos que parten
desde el nodo de salida hasta que ya no es posible avanzar ms. Cuando ya no puede avanzarse
ms sobre el camino elegido, se vuelve atrs en busca de caminos alternativos, que no se
estudiaron previamente.
Representacin de grafos en programas.
Hay tres maneras de representar un grafo en un programa: mediante matrices, mediante listas y
mediante matrices dispersas.

Representacin mediante matrices: La forma ms fcil de guardar la informacin de los nodos es

mediante la utilizacin de un vector que indexe los nodos, de manera que los arcos entre los
nodos se pueden ver como relaciones entre los ndices. Esta relacin entre ndices se puede
guardar en una matriz, que llamaremos de adyacencia.

Representacin mediante listas: En las listas de adyacencia lo que haremos ser guardar por cada
nodo, adems de la informacin que pueda contener el propio nodo, una lista dinmica con los
nodos a los que se puede acceder desde l. La informacin de los nodos se puede guardar en un
vector, al igual que antes, o en otra lista dinmica.

Representacin mediante matrices dispersas: Para evitar uno de los problemas que tenamos con
las listas de adyacencia, que era la dificultad de obtener las relaciones inversas, podemos utilizar
las matrices dispersas, que contienen tanta informacin como las matrices de adyacencia, pero, en
principio, no ocupan tanta memoria como las matrices, ya que al igual que en las listas de
adyacencia, slo representaremos aquellos enlaces que existen en el grafo.

Dgrafo (grafo dirigido).

A un grafo dirigido se le puede definir como un grafo que contiene aristas dirigidas, como en el
siguiente caso.

Aplicaciones de los dgrafos

Una de las aplicaciones ms importantes es de hallar el camino ms corto hacia un destino, ya sea
de una ciudad a otra, de unos departamentos a otros, para el recorrido de rboles, sirve para la
representacin de algoritmos, etc. Un ejemplo de esto es la tarea de frer un huevo.

Grado de un grafo.
Grado de incidencia positivo: El grado de incidencia positivo de un nodo nj es el nmero de arcos
que tienen como nodo inicial a nj. Ejemplo: El grado de incidencia de 1 es igual a 3.
Grado de incidencia negativo: El grado de incidencia negativo de un nodo nj es el nmero de arcos
que terminan en nj. Ejemplo: El grado de incidencia negativo de 1 es igual a 1.
Grado de un nodo: Paradigrafos es el grado de incidencia positivo menos el grado de incidencia
negativo del nodo. Ejemplo: El grado de 1 es igual a 3 1 = 2, el grado del nodo 4 es 2 2 = 0. Para
grafos no dirigidos es el nmero de lneas asociadas al nodo.
Ciclo de un grafo.
Ciclo: Es una cadena finita donde el nodo inicial de la cadena coincide con el nodo terminal de la
misma.
Ciclo simple: Es el ciclo que a su vez es una cadena simple.

Estructuras no lineales: Grafos

Las estructuras de datos no lineales se caracterizan por no existir una relacin de adyacencia,
entre sus elementos, es decir, un elemento puede estar relacionado con cero, uno o ms
elementos.
La estructura no lineal de datos ms general es el grafo donde sus nodos pueden relacionarse de
cualquier manera sin una relacin de orden predefinida.

Estructuras no lineales: Grafos Entre las mltiples aplicaciones que tienen estas estructuras
podemos mencionar:
Para modelar diversas situaciones tales como: sistemas de aeropuertos, flujo de trfico, y
responder a preguntas como: Qu tiempo es ms corto?, Cmo es ms barato?, o Qu camino
es ms corto?
Los grafos tambin son utilizados para realizar planificacin de actividades, tareas
del computador, planificar operaciones en lenguaje de mquinas para minimizar tiempo de
ejecucin. Qu tarea debo hacer primero?
Para representar circuitos elctricos, de aguas etc... , y preguntar, estn todas las componentes
conectadas.
Grafos Los grafos pueden ser utilizados como la estructura bsica para mltiples aplicaciones en el
rea de la Computacin. Un grafo G (N, A, f) es un conjunto no vaco, donde:
N={n1, n2, ... ,nM) es el conjunto de nodos o vrtices
A= {a1, a2,..., a K} es el conjunto de aristas y
La funcin f: R indica los pares de nodos que esta n relacionados.
Grafos Dirigidos (Dgrafos) En estos grafos, las aristas que comunican dos nodos tienen un nico
sentido, una arista puede ir de x a y, pero no d y a x. Se expresa grficamente con flechas que
indican el sentido de la relacin entre cada par de nodos.
Grafos
Grafos no dirigidos En estos grafos, las aristas que comunican dos nodos tienen dos sentidos. Si
una arista va de x a y, la misma arista va de y a x. Se expresa grficamente por lneas. La
representacin grfica de un grafo se define con un crculo o rectngulo para los nodos y las
relaciones con lneas o flechas segn sea un grafo no dirigido o un dgrafo, respectivamente.

TIPOS DE GRAFOS.
Grafos Simples
Aqu lidiaremos con grafos simples, es decir en los que hay una arista o lado entre vrtices como
mximo, y en los que no hay loops o lazos que conectan algn vrtice consigo mismo.
El grado de un nodo de un grafo simple es la cantidad de aristas o lados que concurren a l.

Trayectorias y Circuitos
Si en un grafo simple se van recorriendo sucesivamente sus aristas de modo tal que dos sucesivas
sean adyacentes, es decir que concurran al mismo vrtice por el que se pasa de una a la otra, se
est recorriendo o determinando una trayectoria o
camino.
Cuando cierta trayectoria comienza y termina en el mismo nodo decimos que es un circuito.
Cuando una trayectoria pasa slo una vez por todas y cada una de las aristas o lados se dice que la
trayectoria es semi- euleriana, y si esta trayectoria fuera un circuito se la denomina circuito
euleriano.
No existe un grafo simple con un slo nodo de grado impar.
Esto refiere entre otros temas las paridades de los nodos de un grafo simple, es decir cuntos
nodos pares e impares tiene.
Dado cierto grafo, al agregarle una arista, a cada nodo de los extremos de esta arista se le suma
una unidad a su grado.
Es decir, que si alguno de esos nodos de los extremos tenan grado impar, pasan a tener grado par
y viceversa.
Analizando las posibles combinaciones de paridades de estos nodos de los extremos del nuevo
vrtice:
i) par-par,
ii) par-impar,
iii)impar-impar,

Se nota que la cantidad de nodos con grados impares resulta:

i)o aumentada en dos unidades,
ii)o inalterada,
iii)o reducida en dos unidades.

Para mostrar esto se toma un cierto conjunto de puntos del plano sin vrtices que los conecten, y
se lo considera un grafo sin vrtices. Claramente todo nodo en este caso tiene grado cero.

Cualquier grafo simple puede entonces obtenerse partiendo de unir los nodos de un grafo sin
vrtices, agregando sucesivamente sus aristas, hasta completarlo.
A partir de esto puede afirmarse que todo grafo simple tiene o ningn nodo de grado impar o por
lo menos dos nodos de grado impar.
Es decir, no existe un grafo simple con un slo nodo de grado impar.

Grafos completos
En teora de grafos, un grafo completo es un grafo simple donde cada par de vrtices est
conectado por una arista.
Un grafo completo de n vrtices tiene n(n 1) / 2 aristas, y se nota Kn. Es un grafo regular con
todos sus vrtices de grado n 1. Ningn grafo completo tiene lazos y est conectado totalmente,
por ende, la nica forma de hacer disconexo el grafo con una eliminacin de vrtices es aplicarla a
todos.
El teorema de Kuratowski dice que un grafo planar no puede contener K5 ( el grafo bipartito
completo K3,3) y todo Kn incluye a Kn 1, entonces ningn grafo completo Kn con es planar

Los grafos completos de 1 a 12 vrtices son los siguientes:

K1:0

K2:1

K3:3

K4:6

K5:10

K6:15

K7:21

K8:28

K9:36

K10:45

K11:55

K12:66

Grafo bipartito
Un Grafo bipartito se denomina en Teora de grafos a un grafo cuyos vrtices se pueden separar
en dos conjuntos disjuntos V1 y V2 y las aristas siempre unen vrtices de un conjunto con vrtices
de otro:

no existe ninguna arista e = x1,x2 ni e = y1,y2

Siendo V el conjunto que contiene todos los vrtices del grafo.

Los grafos bipartitos suelen representarse grficamente con dos columnas (o filas) de vrtices y las
aristas uniendo vrtices de columnas (o filas) diferentes.

Los dos conjuntos U y V pueden ser pensados como un coloreo del grafo con dos colores: si
pintamos los vrtices en U de azul y los vrtices deV de verde obtenemos un grafo de dos colores
donde cada arista tiene un vrtice azul y el otro verde. Por otro lado, si un grfico no tiene la
propiedad de que se puede colorear con dos colores no es bipartito.
Un grafo bipartito suele con la particin de los vrtices en U y V suele denotarse G = (U, V, E). Si
|U| =|V|, esto es, si los dos subconjuntos tiene la misma cantidad de elementos, decimos que el
grafo bipartito G es balanceado.

Ejemplo Grafo bipartito

Representacin de grafos. Matriz de incidencia. Matriz de adyacencia.

Definicin 1.4.1. Dado un grafo G = (V, E) con n vrtices {v1, ..., vn} su matriz de
adyacencia es la matriz de orden nn, A(G)=(aij) donde aij es el nmero de aristas que
unen los vrtices vi y vj.
Ejemplo 1.4.2.

La matriz de adyacencia de un grafo es simtrica. Si un vrtice es aislado entonces la

correspondiente fila (columna) esta compuesta slo por ceros. Si el grafo es simple

entonces la matriz de adyacencia contiene solo ceros y unos (matriz binaria) y la diagonal esta
compuesta slo por ceros.

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

Puentes de Knigsberg.

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 Appely 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.
Estructura de lista

Grafo de lista de adyacencia.

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.
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,
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.
Estructuras matriciales
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)
Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao n2,
donde n es el nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el
elemento mx,y es 1, de lo contrario, es 0.
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

En la figura, V = { a, b, c, d, e, f }, y A = { ab, ac, ae, bc, bd, df, ef }.

Un grafo es una pareja de conjuntos G = (V,A), donde V es el conjunto de vrtices, y A es el
conjunto de aristas, este ltimo es un conjunto de pares de la forma (u,v) tal que . Para
simplificar, notaremos la arista (a,b) como ab.
En teora de grafos, slo queda lo esencial del 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.
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.

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

de n vrtices.

Un

, es decir, grafo completo de n vrtices tiene exactamente

La representacin grfica de los

peculiar estructura.

, siendo

el grafo completo

aristas.

como los vrtices de un polgono regular da cuenta de su

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:

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, 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
vrtice w.

por dos aristas

y un

Despus de realizar esta operacin, el grafo queda con un vrtice y una arista ms.
Eliminacin dbil de un vrtice
Si
y g(v) = 2 (Sea v un vrtice del grafo y de grado dos) eliminarlo dbilmente significa
reemplazarlo por una arista que une los vrtices adyacentes a v.
se convierte en
Entonces e' y e'' desaparecen y aparece
Homeomorfismo de grafos

Dos grafos G1 y G2 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 nn-2rboles 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.
Teorema de los cuatro colores

En 1852 Francis Guthrie plante el problema 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.
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.
Coloracin de grafos
Colores en los vrtices.

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

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 plano.
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.
El juego anterior equivale a descubrir si el grafo 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 encontrase una estructura anloga
(conocida como menor) a K5 o a K3,3.
Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver con topologa.

Dimetro

En la figura se nota que K4 es plano (desviando la arista ab al exterior del cuadrado), que K5 no lo
es, y que K3,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 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 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 alazar: 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.

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

ALGORITMOS DE RECORRIDOS Y DE BUSQUEDA.

Al visitar los nodos de un rbol existen algunas maneras tiles en las que se pueden ordenar
sistemticamente los nodos de un rbol.
Los ordenamientos ms importantes son llamados: preorden, post-orden y en-orden y se definen
recursivamente como sigue:

Si un rbol T es nulo, entonces, la lista vaca es el listado preorden, post-orden y en-orden del
rbol T.
Si T consiste de un slo nodo n, entonces, n es el listado preorden, post-orden y en-orden del rbol
T.
Los algoritmos de recorrido de un rbol binario presentan tres tipos de actividades comunes:
visitar el nodo raz
recorrer el subrbol izquierdo
recorrer el subrbol derecho
Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del
rbol.
Recorrido en PRE-ORDEN:
Visitar el raz
Recorrer el subrbol izquierdo en pre-orden
Recorrer el subrbol derecho en pre-orden
Recorrido EN-ORDEN
Recorrer el subrbol izquierdo en en-orden Visitar el raz Recorrer el subrbol derecho en enorden
Recorrido en POST-ORDEN
Recorrer el subrbol izquierdo en post-orden
Recorrer el subrbol derecho en post-orden
Visitar el raz

Recorridos

Si T es un rbol con raz n y subrboles T1, T2, . . . , Tk, entonces, El listado pre-orden de los nodos
de T es la raz n, seguida por los nodos de T1 en pre-orden, despus los nodos de T2 en preorden,
y as, hasta los nodos de Tk en pre-orden.
El listado post-orden de los nodos de T es los nodos de T1 en postorden, seguidos de los nodos de
T2 en post-orden, y as hasta los nodos de Tk en post-orden, todos ellos seguidos de n. El listado
en-orden de los nodos de T es los nodos de T1 en-orden, seguidos por n, seguidos por los nodos de
T2, . . . , Tk, cada grupo.
Recorreremos el rbol Siguiente:

Recorrido Pre Orden (RID)

El recorrido en Pre Orden del rbol es el siguiente: 15, 6, 4, 10, 20, 17, 22
Recorrido En Orden(IRD)
El recorrido en En Orden del rbol es el siguiente: 4, 6, 10, 15, 17, 20, 22
Recorrido Post Orden(IDR)
El recorrido en Post Orden del rbol es el siguiente: 4, 10, 6, 17, 22, 20, 15

En este tema trataremos las diferentes formas de hacer recorridos de un rbol de una expresin
algebraica, con el fin de poder cambiar de manera algortmica una expresin en sufijo a forma de
prefijo o posfijo.
Se llama recorrido de un rbol al proceso que permite acceder una sola vez a cada uno de los
elementos del rbol para examinar el conjunto completo. Primeramente se ven los algoritmos
para construir el rbol, para la expresin dada en sufijo, prefijo o posfijo y tambin se presentan
algoritmos para reconocer si una expresin est correcta cuando esta dada en prefijo o posfijo.
Recorridos

Al visitar los elementos de un rbol existen algunas maneras tiles en las que se pueden ordenar
sistemticamente. Los ordenamientos ms importantes son llamados: prefijo, sufijo y posfijo.
Los algoritmos de recorrido de un rbol presentan tres tipos de actividades:
* visitar el nodo raz

* recorrer el subrbol izquierdo

* recorrer el subrbol derecho

Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del
rbol.
Recorrido en PREFIJO:
* Visitar la raz

* Recorrer el subrbol izquierdo en prefijo

* Recorrer el subrbol derecho en prefijo

Recorrido SUFIJO:
* Recorrer el subrbol izquierdo en sufijo

* Visitar la raz

* Recorrer el subrbol derecho en sufijo

Recorrido en POSFIJO:
* Recorrer el subrbol izquierdo en postfijo

* Recorrer el subrbol derecho en postfijo

* Visitar la raz

Algoritmo de bsqueda
Un algoritmo de bsqueda es aquel que est diseado para localizar un elemento con ciertas
propiedades dentro de una estructura de datos; por ejemplo, ubicar el registro correspondiente a
cierta persona en una base de datos, o el mejor movimiento en una partida de ajedrez.
La variante ms simple del problema es la bsqueda de un nmero en un vector.

rboles binarios
Un rbol binario representado con nodos ligados:
Como lo indica su nombre, estos rboles esta formados por nodos que pueden tener un mximo
de 2 hijos.
DEFINICIONES:
rbol relleno: Cuando todo nodo tiene 2 hijos bien es hoja.
rbol binario completo: Un rbol binario rellenen dnde todas las hojas tienen la misma
profundidad.
Mtodos para recorrer un rbol binario:
a) Pre-orden (perder):
1.

Primero se recorre la raz

2.

Segundo se recorre el subrbol izquierdo en pre-orden

3.

Tercero se recorre el subrbol derecho en pre-orden

b) En-orden (inorder)
1.

Primero se recorre el subrbol izquierdo en-orden

2.

Segundo se recorre la raz

3.

Tercero se recorre el subrbol derecho en-orden

c) Post-orden (postorder)
1.

Primero se recorre el subrbol izquierdo en post-orden

2.

Segundo se recorre el subrbol derecho en post-orden

3.

Tercero se recorre la raz

Intercambiando izquierda por derecha en los tres mtodos anteriores se obtienen tres mtodos a
los cuales se les llama:
1.

Pre-orden converso

2.

En-orden converso

3.

Post-orden converso

Observando el ejemplo de la figura:

Recorriendo a este rbol con en los diferentes mtodos se obtendran las siguientes cadenas:

pre-orden : 32 1 5 1 8 11 17 23 56 43 41 53 72 64 80
en-orden : 1 5 8 1 17 11 23 32 41 43 53 56 64 72 80
post-orden : 1 8 5 17 23 11 1 41 53 43 64 80 72 56 32

PROPIEDADES

Todo rbol es a su vez un grafo bipartito. Todo rbol con slo un conjunto numerable de vrtices
es adems un grafo plano.
Todo grafo conexo G admite un rbol de expansin, que es un rbol que contiene cada vrtice
de G y cuyas aristas son aristas de G.
Dado n vrtices etiquetados, hay n n2 maneras diferentes de conectarlos para construir un grafo.
El resultado se llama frmula de Cayley. El nmero de rboles con n vrtices de
grado d1,d2,...,dnes:

que es un coeficiente multinomial.

Contar el nmero de rboles no etiquetados es un problema complicado. De hecho, no se conoce

ninguna frmula para el nmero de rboles t(n) con n vrtices (debe entederse aqu el nmero de
rboles diferentes salvo isomorfismo de grafos). Los primerlos valores de t(n) son 1, 1, 1, 1, 2, 3, 6,
11, 23, 47, 106, 235, 551, 1301, 3159, ... (sucesin A000055 en OEIS). Otter (1948) prob que

Una frmula ms exacta para el comportamiento asinttico de t(n) implica que hay dos nmeros
y ( 3 y 0.5) tales que:

Los rboles son una clase de grafos. Un claro ejemplo de un rbol es el siguiente:
Consideremos cuatro parejas de chismosos {a, A, b, B, c, C, d, D} donde a, b, c y d son los esposos y
A, B, C y D son sus esposas respectivamente. Supongamos que a llama a su esposa para
contarle algn chisme, entonces ella llama a las otras seoras para difundir el chisme, y cada una
de ellas a su vez llama a su esposo para comunicrselo. El siguiente grafo muestra la propagacin
del chisme:
Un rbol es un grafo no dirigido conexo que no contiene circuitos, es decir que no existen dos
o ms paseos sobre un par de vrtices.
Un conjunto de rboles disjuntos es llamado bosque. Un vrtice de grado 1 en un rbol se
llama hoja o un nodo terminal, y un vrtice de grado mayor que 1 recibe el nombre de rama o
nodo interno. Por ejemplo, son hojas: b, c, d y los vrtices a, A, B, C, D son nodos rama.
Las propiedades de los rboles son:
Existe un nico paseo entre dos vrtices cualesquiera de un rbol.
El nmero de vrtices es mayor en uno al nmero de aristas de un rbol.
Un rbol con dos o ms vrtices tiene al menos dos hojas.
Un rbol T (libre) es una grfica simple que satisface lo siguiente; si v y w son vrtices en T, existe

CLASIFICACIN POR ALTURA Y NMERO DE NODOS

rbol general: Es una estructura jerrquica aplicada sobre una colacin de elementos u objetos
llamados nodos, uno de los cuales es conocido como raz y en conjunto tienen una relacin o
parentesco entre ellos
rbol binario: Es un conjunto Finito de nodos en el cual cada nodo tiene como mximo 2 sub
rboles, llamados sub rbol izquierdo y derecho.
rbol binario formal:
1.- t es vaco en cuyo caso se llama rbol nulo
2.- T Tiene un nodo Distinguido de R llamado raz de Y los restantes nodos de T forman un par
ordenado de rboles binarios T1 que es el subrbol izquierdo y T2 el subrbol derecho.
Clasificacin de rboles binarios:
1.-arbol binario distinto: Se dice que un rbol es distinto cuando su estructura grafica es diferente.
2.-arbol binario similar.- Se dice que un rbol es similar cuando su estructura grafica es idntica
pero la informacin que contiene entre sus nodos es diferente.
3.-arbol binario equivalente.-Son aquellos que su estructura grafica es idntica pero adems la
informacin entre sus nodos.
4.-arbol binario completo.-son aquellos en el que todos sus nodos excepto el ltimo nivel tienen
sus dos hijos.
5.-arbol binario lleno: es aquel que tiene su nmero mximo de posibles nodos.

APLICACIONES DE GRAFOS Y ARBOLES

En la figura, V = { a, b, c, d, e, f }, y A = { ab, ac, ae, bc, bd, df, ef }.

Un grafo es una pareja de conjuntos G = (V,A), donde V es el conjunto de vrtices, y A es el

conjunto de aristas, este ltimo es un conjunto de pares de la forma (u,v) tal que . Para
simplificar, notaremos la arista (a,b) como ab.
En teora de grafos, slo queda lo esencial del 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.
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.

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

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 nn-2rboles 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.

Programacin no numrica - Grafos

Definicin de grafo :

Desafortunadamente no existe una terminologa estandarizada en la teora de los grafos, por lo

tanto es oportuno aclarar que las presentes definiciones pueden variar ligeramente entre
diferentes publicaciones de estructura de datos y de teora de grafos, pero en general se puede

decir que un grafo como indica su nombre lo indica es la representacin (para nuestro caso)
grfica de los datos de una situacin particular, ejemplo:

Los datos contienen, en algunos casos, relaciones entre ellos que no es necesariamente
jerrquica. Por ejemplo, supongamos que unas lneas areas realizan vuelos entre las ciudades
conectadas por lneas como se ve en la figura anterior (ms adelante se presentaran grafos con
estructuras de datos); la estructura de datos que refleja esta relacin recibe el nombre de grafo.
Se suelen usar muchos nombres al referirnos a los elementos de una estructura de datos. Algunos
de ellos son elemento, tem, asociacin de tems, registro, nodo y objeto. El nombre
que se utiliza depende del tipo de estructura, el contexto en que usamos esa estructura y quien la
utiliza.
En la mayora de los textos de estructura de datos se utiliza el termino registro al hacer
referencia a archivos y nodo cuando se usan listas enlazadas, arboles y grafos.
Tambin un grafo es una terna G = (V,A,j ), en donde V y A son conjuntos finitos, y j es una
aplicacin que hace corresponder a cada elemento de A un par de elementos de V. Los elementos
de V y de A se llaman, respectivamente, "vrtices" y "aristas" de G, y j asocia entonces a cada
arista con sus dos vrtices.
Esta definicin da lugar a una representacin grfica, en donde cada vrtice es un punto del plano,
y cada arista es una lnea que une a sus dos vrtices.

Si el dibujo puede efectuarse sin que haya superposicin de lneas, se dice que G es un grafo
plano. Por ejemplo, el siguiente es un grafo plano:
puesto que es equivalente a este otro:

Representacin de un grafo :

Existen dos formas de mantener un grafo G en la memoria de una computadora, una se

llama Representacin secuencial de G, la cual se basa en la matriz de adyacencia A; la otra forma,
es la llamada Representacin enlazada de G y se basa en listas enlazadas de vecinos.
Independientemente de la forma en que se mantenga un grafo G en la memoria de una
computadora, el grafo G normalmente se introduce en la computadora por su definicin formal:
Un conjunto de nodos y un conjunto de aristas.

Representacin secuencial de un grafo :

aplicacin de grafos y arboles