You are on page 1of 44

ELEMENTOS Y CARACTERÍSTICAS DE UN GRAFO

Llamaremos grafo, G, al par ordenado formado por un conjunto finito no vacío, V, y un
conjunto, A, de pares no ordenados de elementos del mismo.
V es el conjunto de los vértices o nodos del grafo.
A sera el conjunto de las aristas o arcos del grafo.
Utilizaremos la notación G = (V,A) para designar al grafo cuyos conjuntos de vértices y aristas son,
Respectivamente, V y A.
El origen de la palabra grafo es griego y su significado etimológico es "trazar". Aparece con gran
frecuencia como respuesta a problemas de la vida cotidiana, algunos ejemplos podrían ser los
siguientes: un gráfico de una serie de tareas a realizar indicando su secuenciación (un
organigrama),grafos matemáticos que representan las relaciones binarias, una red de carreteras,
la red de enlaces ferroviarios o aéreos o la red eléctrica de una ciudad.(Véase la figura 1).En cada
caso, es conveniente representar gráficamente el problema dibujando un grafo como un conjunto
de puntos(vértices)con líneas conectándolos (arcos).

De aquí se podría deducir que un grafo es básicamente un objeto geométrico aunque en realidad
sea un objeto combinatorio, es decir, un conjunto de puntos y un conjunto de líneas tomado de
entre el conjunto de líneas que une cada par de vértices. 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 continuación se realizará un estudio de la teoría de
grafos desde el punto de vista de las ciencias de la computación. Considerando que dicha teoría es
compleja y amplia, aquí sólo se realizará una introducción a la misma, describiéndose el grafo
como un tipo de dato y mostrándose los problemas típicos y los algoritmos que permiten
solucionarlos usando un ordenador.
Los grafos son estructuras de datos no lineales que tienen una naturaleza generalmente dinámica.
Su estudio podría 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 tubería sólo
admite que el agua la recorra en un único sentido. Por el contrario, la red de carreteras de un país

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 continuación daremos definiciones de los dos tipos de grafos y de los conceptos que llevan
asociados.
DEFINICIONES Y TERMINOLOGÍA FUNDAMENTAL.
Un grafo G es un conjunto en el que hay definida una relación binaria, es decir G=(V,A) tal que V es
un conjunto de objetos a los que denominaremos vértices o nodos y es una relación binaria a
cuyos elementos denominaremos arcos o aristas.
Dados ,puede ocurrir que:
1.

, en cuyo caso diremos que x e y están unidos mediante un arco, y

2.

, en cuyo caso diremos que no lo están.

Si las aristas tienen asociada una dirección (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.

Definición 1 Un grafo simple G (V,E) consta de V , un conjunto no vacío de vértices, 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 múltiples aristas entre par de Vértices. En este caso no es suficiente
definir las aristas como par de vértices;
La definición de multígrafo es un poco más complicada.
Definición 2 Un multígrafo G (V,E) consta de un conjunto V de vértices, un conjunto E de aristas y
una función f de E en {{u, v}|u, v ∈ V, u 6= v}. Se dice que las aristas e1, e2 son
aristas múltiples o paralelas si f (e1) = f(e2).
Los multígrafos definidos no admiten bucles o lazos (aristas que conectan Un vértice consigo
mismo). Usamos en este caso, pseudografos que son más generales que los multígrafos.

Definición 3 Un pseudografo G (V, E) consta de un conjunto V de vértices, un conjunto E de aristas
y una función 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 algún
u∈V.
La diferencia entre grafo y dígrafo es que el último tiene los lados dirigidos y se entiende como un
grafo dirigido.
Definición 4 Un grafo dirigido o dígrafo G = (V, E) consta de un conjunto
V de vértices, un conjunto E de aristas, que son pares ordenados de elementos de V.
Definimos los multígrafos dirigidos de la siguiente manera
Definición 5 Un multígrafo dirigido G (V,E) consta de un conjunto V de Vértices, un conjunto E de
aristas y una función f de E en {(u, v)|u, v ∈ V }.
Se dice que las aristas e1, e2 son aristas múltiples o paralelas si f (e1) =
1.1. Adyacencia de Vértices, Incidencia de Aristas y
Grado de los Vértices Dos vértices u, v de un grafo G = (V, E) se dicen adyacentes si {u, v} ∈ E,
asimismo dos aristas son adyacentes si tienen un mismo vértice como extremo; análogamente
si e = {u, v} decimos que el lado e es incidente a los vértices u y v. El grado de un vértice es el
número de lados incidentes a él. El grado de un vértice u se denota gr(u). Denotamos con ± (G) y ¢
(G) el mínimo y el máximo grado de los vértices de G respectivamente.

COMPONENTES DE UN GRAFO
Aristas
Son las líneas con las que se unen las aristas de un grafo y con la que se construyen también
caminos.
Si la arista carece de dirección se denota indistintamente {a, b} o {b, a}, siendo a y b los vértices
que une.
Si {a, b} es una arista, a los vértices a y b se les llama sus extremos.
Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen en el mismo vértice.
Aristas Paralelas: Se dice que dos aristas son paralelas si vértice inicial y el final son el mismo.
Aristas Cíclicas: Arista que parte de un vértice para entrar en el mismo.
Cruce: Son dos aristas que cruzan en un punto.
Vértices

Son los puntos o nodos con los que está conformado un grafo. Llamaremos grado de un vértice al
número de aristas de las que es extremo. Se dice que un vértice es `par' o `impar' según lo sea su
grado.
Vértices Adyacentes: si tenemos un par de vértices de un grafo (U, V) y si tenemos un arista que
los une, entonces U y V son vértices adyacentes y se dice que U es el vértice inicial y V el vértice
adyacente.
Vértice Aislado: Es un vértice de grado cero.
Vértice Terminal: Es un vértice de grado 1.
Caminos
Sean x, y " V, se dice que hay un camino en G de x a y si existe una sucesión finita no vacía de
aristas {x,v1}, {v1,v2},..., {vn,y}. En este caso
x e y se llaman los extremos del camino
El número de aristas del camino se llama la longitud del camino.
Si los vértices no se repiten el camino se dice propio o simple.
Si hay un camino no simple entre 2 vértices, también 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 vértice a se dice accesible desde el vértice b si existe un camino entre ellos. Todo vértice es
accesible respecto a si mismo
Clasificación de grafos
Los grafos se pueden clasificar en dos grupos: dirigidos y no dirigidos. En un grafo no dirigido el par
de vértices 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 vértices, 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>}
Gráficamente estas tres estructuras de vértices y arcos se pueden representar de la siguiente
manera:

.Algunos de los principales tipos de grafos son los que se muestran a continuación: Grafo regular: Aquel con el mismo grado en todos los vértices. y K2. 3. K3.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 vértices. que son vértices aislados. Si ese grado es k lo llamaremos kregular. K4. 2. el segundo es 2-regular y el tercero no es regular. Grafo bipartito: Es aquel con cuyos vértices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias entre vértices pertenecientes al mismo conjunto Ejemplo. el primero de los siguientes grafos es 3-regular. 5 Grafo nulo: Se dice que un grafo es nulo cuando los vértices que lo componen no están conectados. A continuación ponemos los dibujos de K1. n donde m. Un grafo completo con n vértices se denota Kn. . n es el grado de cada conjunto disjunto de vértices. esto es. A continuación pueden verse los dibujos de K3. Por ejemplo. K5 y K6 Un grafo bipartito regular: se denota Km.

Para definir un camino euleriano es importante definir un camino euleriano primero. Grafos Conexos. el octaedro. el cubo. Grafos Eulerianos. Teniendo esto definido podemos hablar de los grafos eulerianos describiéndolos simplemente como aquel grafo que contiene un camino euleriano. Un camino euleriano se define de la manera más sencilla como un camino que contiene todos los arcos del grafo. el tetraedro. a saber. entre sus vértices de tal forma que dos de estos quedan unidos por una arista en común. Grafos Platónicos: Son los Grafos formados por los vértices y aristas de los cinco sólidos regulares (Sólidos Platónicos). Otra definición que dejaría esto más claro sería: "un grafo conexo es .Grafos Isomorfos: Dos grafos son isomorfos cuando existe una correspondencia biunívoca (uno a uno). el dodecaedro y el icosaedro. Un grafo se puede definir como conexo si cualquier vértice V pertenece al conjunto de vértices y es alcanzable por algún otro. El primer grafo de ellos no contiene caminos eulerianos mientras el segundo contiene al menos uno.

pero a su vez es conexo. Recorrido en anchura: El recorrido en anchura supone recorrer el grafo. Bosques de árboles. Los bosques de árboles son un caso similar a los árboles. Como ejemplo tenemos la siguiente figura. Recorrer un grafo significa tratar de alcanzar todos los nodos que estén relacionados con uno que llamaremos nodo de salida. y el recorrido en profundidad. pero no son conexos. son a cíclicos. a partir de un nodo dado. es decir. es decir es un grafo también a cíclico. después . Tal es el caso de los siguientes dos grafos en donde se puede notar que ninguno de los dos contiene repeticiones (ciclos). Un árbol se define como un tipo de grafo que no contiene ciclos.un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los une". Recorrido de un grafo. en niveles. Árboles. Existen básicamente dos técnicas para recorrer un grafo: el recorrido en anchura. primero los que están a una distancia de un arco del nodo de salida.

mediante listas y mediante matrices dispersas. pero. La información de los nodos se puede guardar en un vector. se vuelve atrás en busca de caminos alternativos. además de la información que pueda contener el propio nodo. que era la dificultad de obtener las relaciones inversas. Esta relación entre índices se puede guardar en una matriz. Hay tres maneras de representar un grafo en un programa: mediante matrices. de manera que los arcos entre los nodos se pueden ver como relaciones entre los índices. en principio. podemos utilizar las matrices dispersas. y así sucesivamente hasta alcanzar todos los nodos a los que se pudiese llegar desde el nodo salida. una lista dinámica con los nodos a los que se puede acceder desde él. . sólo representaremos aquellos enlaces que existen en el grafo. ya que al igual que en las listas de adyacencia. Representación de grafos en programas. que contienen tanta información como las matrices de adyacencia. al igual que antes. no ocupan tanta memoria como las matrices. Cuando ya no puede avanzarse más sobre el camino elegido. o en otra lista dinámica. Representación mediante matrices: La forma más fácil de guardar la información de los nodos es mediante la utilización de un vector que indexe los nodos. A un grafo dirigido se le puede definir como un grafo que contiene aristas dirigidas. Representación mediante matrices dispersas: Para evitar uno de los problemas que teníamos con las listas de adyacencia. que no se estudiaron previamente.los que están a dos arcos de distancia. Dígrafo (grafo dirigido). Representación mediante listas: En las listas de adyacencia lo que haremos será guardar por cada nodo. 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 más. como en el siguiente caso. que llamaremos de adyacencia.

Ciclo: Es una cadena finita donde el nodo inicial de la cadena coincide con el nodo terminal de la misma. entre sus elementos. Para grafos no dirigidos es el número de líneas asociadas al nodo. Estructuras no lineales: Grafos Las estructuras de datos no lineales se caracterizan por no existir una relación de adyacencia. Ejemplo: El grado de incidencia negativo de 1 es igual a 1. ya sea de una ciudad a otra. . de unos departamentos a otros. Ciclo de un grafo. Grado de un grafo. uno o más elementos.Aplicaciones de los dígrafos Una de las aplicaciones más importantes es de hallar el camino más corto hacia un destino. Ejemplo: El grado de 1 es igual a 3 –1 = 2. Grado de incidencia positivo: El grado de incidencia positivo de un nodo nj es el número de arcos que tienen como nodo inicial a nj. La estructura no lineal de datos más general es el grafo donde sus nodos pueden relacionarse de cualquier manera sin una relación de orden predefinida. Grado de un nodo: Paradigrafos es el grado de incidencia positivo menos el grado de incidencia negativo del nodo. sirve para la representación de algoritmos. Grado de incidencia negativo: El grado de incidencia negativo de un nodo nj es el número de arcos que terminan en nj. etc. Ejemplo: El grado de incidencia de 1 es igual a 3. un elemento puede estar relacionado con cero. es decir. el grado del nodo 4 es 2 –2 = 0. Un ejemplo de esto es la tarea de freír un huevo. para el recorrido de árboles. Ciclo simple: Es el ciclo que a su vez es una cadena simple.

planificar operaciones en lenguaje de máquinas para minimizar tiempo de ejecución. o ¿Qué camino es más corto? •Los grafos también son utilizados para realizar planificación de actividades. A. f) es un conjunto no vacío. y en los que no hay loops o lazos que conectan algún vértice consigo mismo.. están todas las componentes conectadas. Un grafo G (N. a K} es el conjunto de aristas y • La función f: R →ΜΧΜindica los pares de nodos que esta αn relacionados. ¿Cómo es más barato?. Si una arista va de x a y... . tareas del computador. Grafos Los grafos pueden ser utilizados como la estructura básica para múltiples aplicaciones en el área de la Computación. . n2.. de aguas etc. es decir en los que hay una arista o lado entre vértices como máximo.nM) es el conjunto de nodos o vértices •A= {a1. •Grafos Dirigidos (Dígrafos) En estos grafos. Grafos •Grafos no dirigidos En estos grafos. Se expresa gráficamente con flechas que indican el sentido de la relación entre cada par de nodos. ¿Qué tarea debo hacer primero? •Para representar circuitos eléctricos. Se expresa gráficamente por líneas. y responder a preguntas como: ¿Qué tiempo es más corto?.. . TIPOS DE GRAFOS.. las aristas que comunican dos nodos tienen un único sentido. . una arista puede ir de x a y.Estructuras no lineales: Grafos Entre las múltiples aplicaciones que tienen estas estructuras podemos mencionar: •Para modelar diversas situaciones tales como: sistemas de aeropuertos. Grafos Simples Aquí lidiaremos con grafos simples. donde: •N={n1... pero no dé y a x. El grado de un nodo de un grafo simple es la cantidad de aristas o lados que concurren a él. flujo de tráfico. respectivamente. La representación gráfica de un grafo se define con un círculo o rectángulo para los nodos y las relaciones con líneas o flechas según sea un grafo no dirigido o un dígrafo. la misma arista va de y a x. y preguntar. a2. las aristas que comunican dos nodos tienen dos sentidos.

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

Es un grafo regular con todos sus vértices de grado n − 1. por ende. entonces ningún grafo completo Kn con es planar Los grafos completos de 1 a 12 vértices son los siguientes: . la única forma de hacer disconexo el grafo con una eliminación de vértices es aplicarla a todos. agregando sucesivamente sus aristas.Para mostrar esto se toma un cierto conjunto de puntos del plano sin vértices que los conecten. Es decir. Claramente todo nodo en este caso tiene grado cero. y se lo considera un grafo sin vértices. y se nota Kn. Cualquier grafo simple puede entonces obtenerse partiendo de unir los nodos de un grafo sin vértices. no existe un grafo simple con un sólo nodo de grado impar. El teorema de Kuratowski dice que un grafo planar no puede contener K5 (ó el grafo bipartito completo K3. un grafo completo es un grafo simple donde cada par de vértices está conectado por una arista. A partir de esto puede afirmarse que todo grafo simple tiene o ningún nodo de grado impar o por lo menos dos nodos de grado impar. Un grafo completo de n vértices tiene n(n − 1) / 2 aristas. hasta completarlo.3) y todo Kn incluye a Kn − 1. Grafos completos En teoría de grafos. Ningún grafo completo tiene lazos y está conectado totalmente.

K1:0 K2:1 K3:3 K4:6 .

K5:10 K6:15 K7:21 .

K8:28 K9:36 K10:45 .

y2 Siendo V el conjunto que contiene todos los vértices del grafo.x2 ni e = y1. .K11:55 K12:66 Grafo bipartito Un Grafo bipartito se denomina en Teoría de grafos a un grafo cuyos vértices se pueden separar en dos conjuntos disjuntos V1 y V2 y las aristas siempre unen vértices de un conjunto con vértices de otro: no existe ninguna arista e = x1. Los grafos bipartitos suelen representarse gráficamente con dos columnas (o filas) de vértices y las aristas uniendo vértices de columnas (o filas) diferentes.

Si |U| =|V|. Un grafo bipartito suele con la partición de los vértices en U y V suele denotarse G = (U. V. Por otro lado. si un gráfico no tiene la propiedad de que se puede colorear con dos colores no es bipartito. esto es. si los dos subconjuntos tiene la misma cantidad de elementos. Ejemplo Grafo bipartito . decimos que el grafo bipartito G es balanceado.Los dos conjuntos U y V pueden ser pensados como un coloreo del grafo con dos colores: si pintamos los vértices en U de azul y los vértices deV de verde obtenemos un grafo de dos colores donde cada arista tiene un vértice azul y el otro verde. E).

4.. Definición 1. Dado un grafo G = (V. Ejemplo 1.2.4. Matriz de adyacencia... . E) con n vértices {v1.Representación de grafos. . A(G)=(aij) donde aij es el número de aristas que unen los vértices vi y vj. Matriz de incidencia. vn} su matriz de adyacencia es la matriz de orden n×n.1.

Si un vértice es aislado entonces la correspondiente fila (columna) esta compuesta sólo por ceros. Si el grafo es simple .La matriz de adyacencia de un grafo es simétrica.

de objetos llamados vértices (o nodos) y una selección de pares de vértices. la teoría de grafos (también llamada teoría de las gráficas) estudia las propiedades de los grafos (también llamadas gráficas). Al tratar de resolverlo. los matemáticos definieron términos y conceptos teóricos fundamentales de los grafos. no vacío. Historia Puentes de Königsberg. Este problema. utilizando solamente cuatro colores. En 1845 Gustav Kirchhoff publicó sus leyes de los circuitos para calcular el voltaje y la corriente en los circuitos eléctricos. sobre el problema de los puentes de Königsberg es considerado el primer resultado de la teoría de grafos. que no fue resuelto hasta un siglo después por Kenneth Appely Wolfgang Haken. Un grafo es un conjunto. colorear cualquier mapa de países de tal forma que dos países vecinos nunca tengan el mismo color. El trabajo de Leonhard Euler. llamados aristas (edges en inglés) que pueden ser orientados o no.entonces la matriz de adyacencia contiene solo ceros y unos (matriz binaria) y la diagonal esta compuesta sólo por ceros. Típicamente. También se considera uno de los primeros resultados topológicos en geometría (que no depende de ninguna medida). En matemáticas y en ciencias de la computación. puede ser considerado como el nacimiento de la teoría de grafos. un grafo se representa mediante una serie de puntos (los vértices) conectados por líneas (las aristas). Este ejemplo ilustra la profunda relación entre la teoría de grafos y la topología. En 1852 Francis Guthrie planteó el problema de los cuatro colores que plantea si es posible. . en 1736.

al costo de almacenamiento extra. Las listas son preferidas en grafos dispersos porque tienen un eficiente uso de la memoria. Por otro lado.Las aristas son representadas con un vector de pares (ordenados. lista de incidencia . Esto causa redundancia en un grafo no dirigido (ya que A existe en la lista de adyacencia de B y viceversa). En esta estructura de datos la idea es asociar a cada vértice i del grafo una lista que contenga todos aquellos vértices j que sean adyacentes a él. las matrices proveen acceso rápido. pero las búsquedas son más rápidas.Estructuras de datos en la representación de grafos Existen diferentes formas de almacenar grafos en una computadora. aunque frecuentemente se usa una combinación de ambas. pero pueden consumir grandes cantidades de memoria. De esta forma sólo reservará memoria para los . Estructura de lista Grafo de lista de adyacencia. si el grafo es dirigido). lista de adyacencia . donde cada par representa una de las aristas. La estructura de datos usada depende de las características del grafo y el algoritmo usado para manipularlo. Entre las estructuras más sencillas y usadas se encuentran las listas y las matrices.Cada vértice tiene una lista de vértices los cuales son adyacentes a él.

y es 1.El grafo está representado por una matriz cuadrada M de tamaño n2. df. bd. ac. Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definición de grafo pueden verse como grafos y así aplicar la Teoría de Grafos en ellos. 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 vértices del grafo. donde n es el número de vértices. ae. Para simplificar. Si hay una arista entre un vértice x y un vértice y. La posición de los vértices tampoco importa. donde [arista. d. Grafo En la figura. notaremos la arista (a. c.b) como ab. b. Subgrafo . donde V es el conjunto de vértices.El grafo está representado por una matriz de A (aristas) por V (vértices). entonces el elemento mx. y se puede variar para obtener un dibujo más claro. este último es un conjunto de pares de la forma (u. habrá que añadir un segundo campo para mostrar el valor de la etiqueta. f }. e. y A es el conjunto de aristas. es 0. ef }. Un grafo es una pareja de conjuntos G = (V. 0 . Estructuras matriciales Matriz de incidencia . Definiciones Vértice Los vértices constituyen uno de los dos elementos que forman un grafo. Muchas redes de uso cotidiano pueden ser modeladas con un grafo: una red de carreteras que conecta ciudades. a la Teoría de Grafos no le interesa saber qué son los vértices. Como ocurre con el resto de las ramas de las matemáticas. El grafo.A). sólo importa a qué vértices están unidas. Cada elemento de la lista consta de un campo indicando el vértice adyacente. vértice] contiene la información de la arista (1 . En caso de que el grafo sea etiquetado. sólo queda lo esencial del dibujo: la forma de las aristas no son relevantes. V = { a.arcos adyacentes a i y no para todos los posibles arcos que pudieran tener como origen i. y A = { ab. bc.no conectado) Matriz de adyacencia .conectado. En teoría de grafos. de lo contrario. por tanto.v) tal que . una red eléctrica o la red de drenaje de una ciudad.

A’) es subgrafo de G. A).A' A 3. Aristas dirigidas y no dirigidas .v)≤ gr (G.Un subgrafo de un grafo G es un grafo cuyos conjuntos de vértices y aristas son subconjuntos de los de G. Definición: Sea G=(V.V’ V 2.A’) se dice subgrafo de G si: 1. El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las aristas adyacentes al subconjunto de vértices de G.(V’. Se dice que un grafo G contiene a otro grafo H si algún subgrafo de G es H o es isomorfo a H (dependiendo de las necesidades de la situación).A’) es un grafo Si G’=(V’. v) G2 es un subgrafo de G. G’=(V’. para todo v G se cumple gr (G’.

(d. e }. como el siguiente: Las aristas no orientadas se consideran bidireccionales para efectos prácticos (equivale a decir que existen dos aristas orientadas entre los nodos. El conjunto de aristas será ahora un subconjunto de todos los posibles pares ordenados de vértices.En algunos casos es necesario asignar un sentido a las aristas. con (a. el vértice e). (c. c. a). el grado positivo (salidas) de d es 3. para el caso de grafos no orientados. Se considera la característica de "grado" (positivo o negativo) de un vértice v (y se indica como (v)). por ejemplo. a).En los dos casos. e). (d. a). las especificaciones incluyen. (c. Los grafos que contienen aristas dirigidas se denominan grafos orientados. Ciclos y caminos hamiltonianos Ejemplo de un ciclo hamiltoniano. Según la terminología seguida en algunos problemas clásicos de Investigación Operativa (p. A continuación se presentan las implementaciones en maude de grafos no dirigidos y de grafos dirigidos. si se quiere representar la red de las calles de una ciudad con sus direcciones únicas. Aquí V = { a. a aquellos en los que sólo entran aristas se les denomina pozo o sumidero (en el caso anterior. otras operaciones auxiliares. b) ≠ (b. En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idénticos: es un lazo (o bucle). (b. c). tiene grado negativo 0. Por ejemplo. (d. y aparece también una arista bidireccional.ej. e). b) }. (a. b.: el Problema del flujo máximo). como la cantidad de aristas que llegan o salen de él. y corresponde a dos aristas orientadas. Por el contrario. e). el grado de un vértice es simplemente la cantidad de aristas incidentes a este vértice. tiene grado positivo 0. . a un vértice del que sólo salen aristas se le denomina fuente (en el ejemplo anterior. y A = { (a. el vértice d). cada una en un sentido). mientras que el grado negativo (llegadas) de d es 0. d. c). además de las operaciones generadoras.

Grafos conexos . El problema de determinar la existencia de ciclos hamiltonianos. métodos para descartar la existencia de ciclos o caminos hamiltonianos en grafos pequeños. Un ciclo hamiltoniano tiene además que recorrer todos los vértices exactamente una vez (excepto el vértice del que parte y al cual llega). en un museo grande (al estilo del Louvre). y las aristas los corredores o puertas entre ellas). entra en el conjunto de los NPcompletos. Caracterización de grafos Grafos simples Un grafo es simple si a lo más existe una arista uniendo dos vértices cualesquiera. como en un museo con una única puerta de entrada. Esto es equivalente a decir que una arista cualquiera es la única que une dos vértices específicos. Se habla también de camino hamiltoniano si no se impone regresar al punto de partida. no se conocen métodos generales para hallar un ciclo hamiltoniano en tiempo polinómico. Ejemplo de un ciclo hamiltoniano en el grafo del dodecaedro. sin embargo.Un ciclo es una sucesión de aristas adyacentes. Existen. esto es buscar un ciclo hamiltoniano en el grafo que representa el museo (los vértices son las salas. Un grafo que no es simple se denomina multigrafo. un caballo puede recorrer todas las casillas de un tablero de ajedrez sin pasar dos veces por la misma: es un camino hamiltoniano. Hoy en día. siendo la búsqueda por fuerza bruta de todos los posibles caminos u otros métodos excesivamente costosos. Por ejemplo. y donde se regresa al punto inicial. Por ejemplo. lo idóneo sería recorrer todas las salas una sola vez. donde no se recorre dos veces la misma arista.

grafo completo de n vértices tiene exactamente La representación gráfica de los peculiar estructura. todo par de vértices (a. Es decir. es decir. . la cual lleva a una partición de éstos en "componentes (fuertemente) conexas". Es posible determinar si un grafo es conexo usando un algoritmo Búsqueda en anchura (BFS) o Búsqueda en profundidad (DFS). si para cualquier par de vértices (a. Esta propiedad es importante para muchas demostraciones en teoría de grafos. es decir. El conjunto de los grafos completos es denominado usualmente de n vértices. bajo las siguientes condiciones: . es decir. b). siendo el grafo completo aristas. b) debe tener una arista e que los une. que son (fuertemente) conexas cuando se consideran como grafos aislados. es conexo y no existe un vértice tal que al sacarlo el grafo resultante sea disconexo. Un . es decir. sus vértices son la unión de dos grupos de vértices). existe al menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vértices está conectado por al menos dos caminos disjuntos. Grafos completos Un grafo es completo si existen aristas uniendo todos los pares posibles de vértices.Un grafo es conexo si cada par de vértices está conectado por un camino. como los vértices de un polígono regular da cuenta de su Grafos bipartitos Un grafo G es bipartito si puede expresarse como (es decir. En términos matemáticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en él una relación de equivalencia para sus vértices. porciones del grafo.

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 sucesión de subdivisiones elementales de aristas. el grafo se considera bipartito.V1 y V2 son disjuntos y no vacíos. por dos aristas . No existen aristas uniendo dos elementos de V1. y puede describirse informalmente como el grafo que une o relaciona dos conjuntos de elementos diferentes. y un Después de realizar esta operación. Bajo estas condiciones. Eliminación débil de un vértice Si y g(v) = 2 (Sea v un vértice del grafo y de grado dos) eliminarlo débilmente significa reemplazarlo por una arista que une los vértices adyacentes a v. el grafo queda con un vértice y una arista más. Árboles Ejemplo de árbol. análogamente para V2. Cada arista de A une un vértice de V1 con uno de V2. 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 Subdivisión elemental de una arista se convierte en Se reemplaza la arista vértice w.

ponderación o coste según el contexto. el de la filiación de entidades que derivan unas de otras en un proceso evolutivo. Su importancia radica en que los árboles son grafos que conectan todos los vértices utilizando el menor número posible de aristas. de momento. se llama un árbol. su interés previsible será minimizar la distancia recorrida (o el tiempo. Por ejemplo. Otro problema famoso relativo a los grafos: ¿Cuántos colores son necesarios para dibujar un mapa político. pero sí para los caminos desde a hasta b. Teorema de los cuatro colores En 1852 Francis Guthrie planteó el problema de los cuatro colores. Formalmente. En un grafo con n vértices. no se conocen métodos generales para hallar un ciclo de valuación mínima. Grafos ponderados o etiquetados En muchos casos. que se aplica sobre todo a la averiguación del parentesco entre especies. en el estudio del parentesco entre lenguas. aunque se ha usado también. y que el mundo es esférico o plano. Y.1 aristas. es preciso atribuir a cada arista un número específico. el teorema siguiente no es válido: . y se obtiene así un grafo valuado. y hay nn-2árboles posibles.Un grafo que no tiene ciclos y que conecta a todos los puntos. llamado valuación. es un grafo con una función v: A → R+. los árboles tienen exactamente n . un representante comercial tiene que visitar n ciudades conectadas entre sí por carreteras. si se pueden prever atascos). con la condición obvia que dos países adyacentes no puedan tener el mismo color? Se supone que los países son de un solo pedazo. sin más condición. Un importante campo de aplicación de su estudio se encuentra en el análisis filogenético. por ejemplo. como aristas las carreteras y la valuación será la distancia entre ellas. En un mundo en forma de toroide. El grafo correspondiente tendrá como vértices las ciudades.

.Cuatro colores son siempre suficientes para colorear un mapa. Definición: Si G=(V. es bastante fácil. Entonces la cuestión equivale a atribuir a cada vértice un color distinto del de sus vecinos. en la variable λ. E) es un grafo no dirigido. Llegando al país h se tiene que introducir un cuarto color. que nos indique el número de coloraciones propias diferentes de los vértices de G. llegando en algunos casos a plantearse la cuestión de que esta demostración y su aceptación es uno de los momentos que han generado una de las más terribles crisis en el mundo matemático. una coloración propia de G. La forma precisa de cada país no importa. los vértices adyacentes tienen colores diferentes). Coloración de grafos Colores en los vértices.λ). (Por lo tanto. lo que ahorró muchísimo tiempo a los matemáticos). Pero el teorema de los cuatro colores no es nada obvio. Sea G un grafo no dirigido sea λ el número de colores disponibles para la coloración propia de los vértices de G. Lo mismo sucede en i si se emplea el mismo método. lo único relevante es saber qué país toca a qué otro. entonces en la corona alrededor de a alternan dos colores. Estos datos están incluidos en el grafo donde los vértices son los países y las aristas conectan los que justamente son adyacentes. lo que ha creado una fuerte polémica dentro de la comunidad matemática. El mapa siguiente muestra que tres colores no bastan: Si se empieza por el país central a y se esfuerza uno en utilizar el menor número de colores. Fue la primera vez que la comunidad matemática aceptó una demostración asistida por ordenador. y demostrar que con cinco siempre se llega. Prueba de ello es que se han tenido que emplear ordenadores para acabar la demostración (se ha hecho un programa que permitió verificar una multitud de casos. llamada polinomio cromático de G . usando un máximo de λ colores. El número mínimo de colores necesarios para una coloración propia de G es el número cromático de G y se escribe como C (G). Hemos visto que tres colores no son suficientes. Nuestro objetivo es encontrar una función polinomial P (G. ocurre cuando coloreamos los vértices de G de modo que si {a. b} es una arista en G entonces a y b tienen diferentes colores.

Si G=(V. y es un problema que tiene que ver con topología. En general. puede determinarse que un grafo no es plano. El problema de las tres casas y los tres pozos tiene solución sobre el toro. siendo la respuesta que no. Al identificar los vértices a y b en G. los pozos y los caminos implica la presencia de al menos un cruce. pero no en el plano. El juego anterior equivale a descubrir si el grafo bipartito completo K3. entonces: P (G. con a.λ) es 0. . ¿Es posible trazar los nueve caminos que juntan las tres casas con los tres pozos sin que haya cruces? Cualquier disposición de las casas. Sea G=(V. obtenemos el subgrafo G++e de G. Escribimos G+e para el grafo que se obtiene de G al añadir la arista e={a. Un juego muy conocido es el siguiente: Se dibujan tres casas y tres pozos. E) es un grafo conexo y e pertenece a Ε . Como no se llevan bien en absoluto. se dice que es plano. Grafos planos Un grafo es plano si se puede dibujar sin cruces de aristas. la suma de los coeficientes de P (G. b}.λ) es 0 Sea G=(V. Kn.λ)=P (G+e. el término constante en P (G. no quieren cruzarse jamás.λ)+P (G/e. Cuando un grafo o multigrafo se puede dibujar en un plano sin que dos segmentos se corten.3 es plano. Sea Kn el grafo completo con n vértices.λ). no perteneciente a al conjunto de aristas E. Para cualquier grafo G. E) con |E|>0 entonces. es decir.3. b pertenecientes al conjunto de vértices V pero {a.Descomposición de polinomios cromáticos. b}=e. Todos los vecinos de las casas tienen el derecho de utilizar los tres pozos. si se puede dibujar en un plano sin que haya cruces. donde G/e es el grafo se obtene por contracción de aristas. E). si en su diseño puede encontrase una estructura análoga (conocida como menor) a K5 o a K3. p es el grafo bipartito de n y p vértices. Establecer qué grafos son planos no es obvio.

se estima que el diámetro de la humanidad es de.. El mundo de Internet ha puesto de moda esa idea del diámetro: Si descartamos los sitios que no tienen enlaces. que K5 no lo es.p es 2. También se puede considerar el diámetro promedio. Algoritmos importantes Algoritmo de búsqueda en anchura (BFS) Algoritmo de búsqueda en profundidad (DFS) Algoritmo de búsqueda A* Algoritmo del vecino más cercano Ordenación topológica de un grafo Algoritmo de cálculo 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 .. Un diámetro infinito puede significar que el grafo tiene una infinidad de vértices o simplemente que no es conexo. ¿En cuántos saltos se puede pasar de uno a otro. ¡ocho solamente! Este concepto refleja mejor la complejidad de una red que el número de sus elementos. y escogemos dos páginas web alazar: ¿En cuántos clics se puede pasar de la primera a la segunda? El resultado es el diámetro de la Red. y cuyas aristas son lógicamente los enlaces. El diámetro de los Kn es 1. En un grafo. la distancia entre dos vértices es el menor número de aristas de un recorrido entre ellos. En el mundo real hay una analogía: tomando al azar dos seres humanos del mundo. es la mayor distancia entre dos puntos de la misma. El diámetro. con la condición de sólo saltar de una persona a otra cuando ellas se conocen personalmente? Con esta definición. y que K3. en una figura como en un grafo.Diámetro En la figura se nota que K4 es plano (desviando la arista ab al exterior del cuadrado). vista como un grafo cuyos vértices son los sitios.2 lo es también (desvíos en gris). y el de los Kn. como el promedio de las distancias entre dos vértices.

en especial para desarrollar un concepto no metafórico de red social que sustituye los nodos por los actores sociales y verifica la posición. en el que podemos obtener caminos óptimos para el trayecto aplicando diversos algoritmos como puede ser el algoritmo de Floyd. Tutte ALGORITMOS DE RECORRIDOS Y DE BUSQUEDA.T.Aplicaciones Gracias a la teoría de grafos se pueden resolver diversos problemas como por ejemplo la síntesis de circuitos secuenciales. Esta medida permite cuantificar y abstraer relaciones complejas. Dibujo computacional. La teoría de grafos también ha servido de inspiración para las ciencias sociales. su dirección e intensidad y da idea de la manera en que el poder se transmite y a quiénes. utilizamos técnicas como PERT en las que se modelan los mismos utilizando grafos y optimizando los tiempos para concretar los mismos. Para la administración de proyectos. centralidad e importancia de cada actor dentro de la red. Se utiliza para diferentes áreas por ejemplo. contadores o sistemas de apertura. de manera que la estructura social puede representarse gráficamente. Los ordenamientos más importantes son llamados: preorden. post-orden y en-orden y se definen recursivamente como sigue: . Los grafos se utilizan también para modelar trayectos como el de una línea de autobús a través de las calles de una ciudad. Investigadores relevantes en Teoría de grafos Leonhard Euler Edsger Dijkstra Paul Erdős Frank Harary Dénes König Kazimierz Kuratowski Gerhard Ringel W. en toda las áreas de Ingeniería. una red social puede representar la estructura de poder dentro de una sociedad al identificar los vínculos (aristas). Con esta información. Al visitar los nodos de un árbol existen algunas maneras útiles en las que se pueden ordenar sistemáticamente los nodos de un árbol. los científicos pueden entender cómo esto puede cambiar o afectar a las especies en su hábitat. Por ejemplo. Los grafos son importantes en el estudio de la biología y hábitat. El vértice representa un hábitat y las aristas (o "edges" en inglés) representa los senderos de los animales o las migraciónes.

Los algoritmos de recorrido de un árbol binario presentan tres tipos de actividades comunes: • visitar el nodo raíz • recorrer el subárbol izquierdo • recorrer el subárbol derecho Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del árbol. post-orden y en-orden del árbol T. Recorrido en PRE-ORDEN: • Visitar el raíz • Recorrer el subárbol izquierdo en pre-orden • Recorrer el subárbol derecho en pre-orden Recorrido EN-ORDEN • Recorrer el subárbol izquierdo en en-orden• Visitar el raíz• Recorrer el subárbol derecho en enorden Recorrido en POST-ORDEN • Recorrer el subárbol izquierdo en post-orden • Recorrer el subárbol derecho en post-orden • Visitar el raíz Recorridos . n es el listado preorden. post-orden y en-orden del árbol T.Si un árbol T es nulo. entonces. Si T consiste de un sólo nodo n. la lista vacía es el listado preorden. entonces.

Tk. Recorridos . 17. 15 En este tema trataremos las diferentes formas de hacer recorridos de un árbol de una expresión algebraica. entonces. 20. con el fin de poder cambiar de manera algorítmica una expresión en sufijo a forma de prefijo o posfijo. para la expresión dada en sufijo. El listado pre-orden de los nodos de T es la raíz n. seguidos de los nodos de T2 en post-orden. 10. . prefijo o posfijo y también se presentan algoritmos para reconocer si una expresión está correcta cuando esta dada en prefijo o posfijo.Si T es un árbol con raíz n y subárboles T1. . . y así hasta los nodos de Tk en post-orden. Primeramente se ven los algoritmos para construir el árbol. 6. . 17. después los nodos de T2 en preorden. Recorreremos el Árbol Siguiente: Recorrido Pre Orden (RID) El recorrido en Pre Orden del árbol es el siguiente: 15. . . 22 Recorrido En Orden(IRD) El recorrido en En Orden del árbol es el siguiente: 4. 22 Recorrido Post Orden(IDR) El recorrido en Post Orden del árbol es el siguiente: 4. cada grupo. y así. 20. 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. 20. 17. 22. 6. seguida por los nodos de T1 en pre-orden. seguidos por los nodos de T2. . T2. 4. El listado en-orden de los nodos de T es los nodos de T1 en-orden. El listado post-orden de los nodos de T es los nodos de T1 en postorden. 10. seguidos por n. 6. . Tk. 10. 15. hasta los nodos de Tk en pre-orden. todos ellos seguidos de n.

Al visitar los elementos de un árbol existen algunas maneras útiles en las que se pueden ordenar sistemáticamente. Recorrido en PREFIJO: * Visitar la raíz * Recorrer el subárbol izquierdo en prefijo * Recorrer el subárbol derecho en prefijo Recorrido SUFIJO: * Recorrer el subárbol izquierdo en sufijo * Visitar la raíz * Recorrer el subárbol derecho en sufijo Recorrido en POSFIJO: * Recorrer el subárbol izquierdo en postfijo . Los algoritmos de recorrido de un árbol presentan tres tipos de actividades: * visitar el nodo raíz * recorrer el subárbol izquierdo * recorrer el subárbol derecho Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del árbol. sufijo y posfijo. Los ordenamientos más importantes son llamados: prefijo.

Primero se recorre la raíz 2.* Recorrer el subárbol derecho en postfijo * Visitar la raíz Algoritmo de búsqueda Un algoritmo de búsqueda es aquel que está diseñado para localizar un elemento con ciertas propiedades dentro de una estructura de datos. Primero se recorre el subárbol izquierdo en-orden . o el mejor movimiento en una partida de ajedrez. Segundo se recorre el subárbol izquierdo en pre-orden 3. DEFINICIONES: Árbol relleno: Cuando todo nodo tiene 2 hijos bien es hoja. La variante más simple del problema es la búsqueda de un número en un vector. ubicar el registro correspondiente a cierta persona en una base de datos. Árboles binarios Un árbol binario representado con nodos ligados: Como lo indica su nombre. Métodos para recorrer un árbol binario: a) Pre-orden (perder): 1. por ejemplo. estos árboles esta formados por nodos que pueden tener un máximo de 2 hijos. Árbol binario completo: Un árbol binario rellenen dónde todas las hojas tienen la misma profundidad. Tercero se recorre el subárbol derecho en pre-orden b) En-orden (inorder) 1.

2. Segundo se recorre la raíz 3.. hay n n−2 maneras diferentes de conectarlos para construir un grafo. Dado n vértices etiquetados.d2. Tercero se recorre la raíz Intercambiando izquierda por derecha en los tres métodos anteriores se obtienen tres métodos a los cuales se les llama: 1. que es un árbol que contiene cada vértice de G y cuyas aristas son aristas de G. Segundo se recorre el subárbol derecho en post-orden 3. Todo árbol con sólo un conjunto numerable de vértices es además un grafo plano.. Pre-orden converso 2. Primero se recorre el subárbol izquierdo en post-orden 2. Tercero se recorre el subárbol derecho en-orden c) Post-orden (postorder) 1. Post-orden converso Observando el ejemplo de la figura: Recorriendo a este árbol con en los diferentes métodos se obtendrían 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.. En-orden converso 3. El resultado se llama fórmula de Cayley.. El número de árboles con n vértices de grado d1.dnes: . Todo grafo conexo G admite un árbol de expansión.

. d y los vértices a.que es un coeficiente multinomial. si v y w son vértices en T. C. A. El siguiente grafo muestra la propagación del chisme: Un árbol es un grafo no dirigido conexo que no contiene circuitos... C y D son sus esposas respectivamente. y un vértice de grado mayor que 1 recibe el nombre de rama o nodo interno. d. 47. Un árbol T (libre) es una gráfica simple que satisface lo siguiente. A. 551. 11. 1. Un claro ejemplo de un árbol es el siguiente: Consideremos cuatro parejas de chismosos {a. Las propiedades de los árboles son: Existe un único paseo entre dos vértices cualesquiera de un árbol. (sucesión A000055 en OEIS). Por ejemplo. B. 1. B. D son nodos rama. 23. Un conjunto de árboles disjuntos es llamado bosque. c. B. 106. 3. existe . Supongamos que a llama a su esposa para contarle algún chisme. 1301. 3159. El número de vértices es mayor en uno al número de aristas de un árbol. C. no se conoce ninguna fórmula para el número de árboles t(n) con n vértices (debe entederse aquí el número de árboles diferentes salvo isomorfismo de grafos). Un árbol con dos o más vértices tiene al menos dos hojas. entonces ella llama a las otras señoras para difundir el chisme. Los primerlos valores de t(n) son 1. b. Contar el número de árboles no etiquetados es un problema complicado. y cada una de ellas a su vez llama a su esposo para comunicárselo. D} donde a. son hojas: b. c y d son los esposos y A. Un vértice de grado 1 en un árbol se llama hoja o un nodo terminal. 235. 1. De hecho.5) tales que: Los árboles son una clase de grafos. 2. es decir que no existen dos o más paseos sobre un par de vértices. Otter (1948) probó que Una fórmula más exacta para el comportamiento asintótico de t(n) implica que hay dos números α y β (α ≈ 3 y β ≈ 0. 6. c. b.

t es vacío en cuyo caso se llama árbol nulo 2. ae.T Tiene un nodo Distinguido de R llamado raíz de Y los restantes nodos de T forman un par ordenado de árboles binarios T1 que es el subárbol izquierdo y T2 el subárbol derecho.-arbol binario completo..CLASIFICACIÓN POR ALTURA Y NÚMERO DE NODOS Árbol general: Es una estructura jerárquica aplicada sobre una colación de elementos u objetos llamados nodos.-Son aquellos que su estructura grafica es idéntica pero además la información entre sus nodos. . f }. ac.. y A = { ab.-son aquellos en el que todos sus nodos excepto el último nivel tienen sus dos hijos. b. APLICACIONES DE GRAFOS Y ARBOLES En la figura.-arbol binario similar. 2.-arbol binario distinto: Se dice que un árbol es distinto cuando su estructura grafica es diferente. d. 4. Árbol binario formal: 1.Se dice que un árbol es similar cuando su estructura grafica es idéntica pero la información que contiene entre sus nodos es diferente. e.-arbol binario lleno: es aquel que tiene su número máximo de posibles nodos.-arbol binario equivalente. 5. bc. df. c. uno de los cuales es conocido como raíz y en conjunto tienen una relación o parentesco entre ellos Árbol binario: Es un conjunto Finito de nodos en el cual cada nodo tiene como máximo 2 sub árboles.. ef }. bd. llamados sub árbol izquierdo y derecho. V = { a. Clasificación de árboles binarios: 1. 3.

Muchas redes de uso cotidiano pueden ser modeladas con un grafo: una red de carreteras que conecta ciudades.Un grafo es una pareja de conjuntos G = (V.(V’. sólo queda lo esencial del dibujo: la forma de las aristas no son relevantes.A' A 3. una red eléctrica o la red de drenaje de una ciudad. G’=(V’. sólo importa a qué vértices están unidas. Definición: Sea G=(V. ]Subgrafo Un subgrafo de un grafo G es un grafo cuyos conjuntos de vértices y aristas son subconjuntos de los de G. este último es un conjunto de pares de la forma (u. El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las aristas adyacentes al subconjunto de vértices de G.v)≤ gr (G.A’) es subgrafo de G. v) G2 es un subgrafo de G. En teoría de grafos. A).A). para todo v G se cumple gr (G’. y se puede variar para obtener un dibujo más claro. y A es el conjunto de aristas. donde V es el conjunto de vértices.v) tal que . notaremos la arista (a.A’) se dice subgrafo de G si: 1. La posición de los vértices tampoco importa.b) como ab.V’ V 2. Se dice que un grafo G contiene a otro grafo H si algún subgrafo de G es H o es isomorfo a H (dependiendo de las necesidades de la situación). .A’) es un grafo Si G’=(V’. Para simplificar.

El conjunto de aristas será ahora un subconjunto de todos los posibles pares ordenados de vértices. . b) ≠ (b. e).Aristas dirigidas y no dirigidas En algunos casos es necesario asignar un sentido a las aristas. e }. b) }. a). d. (d. (a. Aquí V = { a. c). En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idénticos: es un lazo (o bucle). y A = { (a. como el siguiente: Las aristas no orientadas se consideran bidireccionales para efectos prácticos (equivale a decir que existen dos aristas orientadas entre los nodos. c. e). por ejemplo. a). (d. y aparece también una arista bidireccional. Los grafos que contienen aristas dirigidas se denominan grafos orientados. si se quiere representar la red de las calles de una ciudad con sus direcciones únicas. y corresponde a dos aristas orientadas. (c. cada una en un sentido). a). b. c). (c. (d. con (a. (b. e).

su interés previsible será minimizar la distancia recorrida (o el tiempo. Programación no numérica . por lo tanto es oportuno aclarar que las presentes definiciones pueden variar ligeramente entre diferentes publicaciones de estructura de datos y de teoría de grafos.: el Problema del flujo máximo). Según la terminología seguida en algunos problemas clásicos de Investigación Operativa (p. sin más condición.En los dos casos. y se obtiene así un grafo valuado. llamado valuación. Por el contrario. de momento. un representante comercial tiene que visitar n ciudades conectadas entre sí por carreteras. pero sí para los caminos desde a hasta b. Formalmente. ponderación o coste según el contexto. por ejemplo.1 aristas. el grado positivo (salidas) de d es 3. Por ejemplo. tiene grado positivo 0. es preciso atribuir a cada arista un número específico. el vértice e). a un vértice del que sólo salen aristas se le denomina fuente (en el ejemplo anterior. Su importancia radica en que los árboles son grafos que conectan todos los vértices utilizando el menor número posible de aristas. el grado de un vértice es simplemente la cantidad de aristas incidentes a este vértice. mientras que el grado negativo (llegadas) de d es 0. los árboles tienen exactamente n . aunque se ha usado también. En un grafo con n vértices. y hay nn-2árboles posibles.Se considera la característica de "grado" (positivo o negativo) de un vértice v (y se indica como (v)). tiene grado negativo 0. pero en general se puede . para el caso de grafos no orientados. el de la filiación de entidades que derivan unas de otras en un proceso evolutivo. el vértice d). A continuación se presentan las implementaciones en maude de grafos no dirigidos y de grafos dirigidos. en el estudio del parentesco entre lenguas. como la cantidad de aristas que llegan o salen de él. El grafo correspondiente tendrá como vértices las ciudades. si se pueden prever atascos). no se conocen métodos generales para hallar un ciclo de valuación mínima. Grafos ponderados o etiquetados En muchos casos.Grafos Definición de grafo : Desafortunadamente no existe una terminología estandarizada en la teoría de los grafos. Y. Ejemplo de árbol.ej. Un importante campo de aplicación de su estudio se encuentra en el análisis filogenético. es un grafo con una función v: A → R+. se llama un árbol. como aristas las carreteras y la valuación será la distancia entre ellas. Por ejemplo. además de las operaciones generadoras. las especificaciones incluyen. a aquellos en los que sólo entran aristas se les denomina pozo o sumidero (en el caso anterior. Un grafo que no tiene ciclos y que conecta a todos los puntos. otras operaciones auxiliares. que se aplica sobre todo a la averiguación del parentesco entre especies.

el siguiente es un grafo plano: puesto que es equivalente a este otro: Representación de un grafo : Existen dos formas de mantener un grafo “G” en la memoria de una computadora. También un grafo es una terna G = (V. Por ejemplo. la cual se basa en la matriz de adyacencia A. El nombre que se utiliza depende del tipo de estructura. Esta definición da lugar a una representación gráfica. “ítem”. y j asocia entonces a cada arista con sus dos vértices. arboles y grafos. Los elementos de V y de A se llaman. una se llama Representación secuencial de G. “asociación de ítems”. "vértices" y "aristas" de G. y j es una aplicación que hace corresponder a cada elemento de A un par de elementos de V. Se suelen usar muchos nombres al referirnos a los elementos de una estructura de datos. supongamos que unas líneas aéreas realizan vuelos entre las ciudades conectadas por líneas como se ve en la figura anterior (más adelante se presentaran grafos con estructuras de datos). en donde V y A son conjuntos finitos. Por ejemplo. la otra forma. y cada arista es una línea que une a sus dos vértices. relaciones entre ellos que no es necesariamente jerárquica. en algunos casos. el grafo G normalmente se introduce en la computadora por su definición formal: Un conjunto de nodos y un conjunto de aristas.j ). la estructura de datos que refleja esta relación recibe el nombre de grafo. Representación secuencial de un grafo : . ejemplo: Los datos contienen. respectivamente. “nodo” y “objeto”. en donde cada vértice es un punto del plano. “registro”. el contexto en que usamos esa estructura y quien la utiliza. es la llamada Representación enlazada de G y se basa en listas enlazadas de vecinos. En la mayoría de los textos de estructura de datos se utiliza el termino “registro” al hacer referencia a archivos y “nodo” cuando se usan listas enlazadas. Independientemente de la forma en que se mantenga un grafo G en la memoria de una computadora.A.decir que un grafo como indica su nombre lo indica es la representación (para nuestro caso) gráfica de los datos de una situación particular. Si el dibujo puede efectuarse sin que haya superposición de líneas. se dice que G es un grafo plano. Algunos de ellos son “elemento”.

aplicación de grafos y arboles .