Instituto Tecnolgico de Quertaro

Ingeniera en sistemas computacionales.

Matemticas Discretas:
Relaciones y grafos.

Profesor: Nicols Higareda Cisneros.

Integrantes:
Caldern Solorio Abraham
Camacho Hernndez Gibran Hazael
Camacho Ramrez Alfredo
Jimnez Cullar Erick Daniel
Vega Balderas Julio Csar
Periodo Agosto-Diciembre 2014.

Contenido:
1. Semblanza del equipo.
2. Relaciones.
2.1
2.2
2.3
2.4
2.5

Relaciones Reflexivas y Anti reflexivas.

Relacin transitiva.
Relacin Simtrica.
Relaciones funcionales.
Ejemplos y ejercicios de relaciones.

3. Teora de Grafos.
3.1.
3.2.
3.3.
3.4.

Elementos y caractersticas de un grafo.

Definiciones y terminologa fundamental.
Componentes de un grafo.
Clasificacin de grafos.

2. Relaciones
Relacin es la correspondencia de un primer conjunto, llamado Dominio, con un
segundo conjunto, llamado Recorrido o Rango, de manera que a cada elemento
del Dominio le corresponde uno o ms elementos del Recorrido o Rango.
Ejercicio
Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de
parejas ordenadas (par ordenado) que hacen verdadera una proposicin; dicho de
otro modo, una relacin es cualquier subconjunto del producto cartesiano A x B
Ejemplo
Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.
Solucin
El producto cartesiano de A x B est conformado por las siguientes parejas o
pares ordenados:
A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}
Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A
en B:
R1 = {(2, 1), (3, 1)}
R2 = {(2, 4), (2, 5), (3, 4), (3, 5)}
R3 = {(2, 4), (3, 5)}
La relacin R1 se puede definir como el conjunto de pares cuyo segundo elemento
es 1, esto es, R1 = {(x, y) / y = 1}.
La relacin R2 est formada por los pares cuyo primer componente es menor que
el segundo componente, R2 = {(x, y) / x < y}
Y la relacin R3 est conformada por todos los pares que cumplen con que el
segundo componente es dos unidades mayor que el primer componente, dicho de
otro modo, R3 = {(x, y) / y = x + 2}
As, se puede continuar enumerando relaciones definidas a partir de A x B. Como
se puede ver, la regla que define la relacin se puede escribir
mediante ecuaciones o desigualdades que relacionan los valores de x e y. Estas
reglas son un medio conveniente para ordenar en pares los elementos de los dos
conjuntos.
http://www.profesorenlinea.com.mx/matematica/Relaciones_y_funciones.html

Hay distintos tipos de relaciones matemticas, a continuacin les mostraremos

algunas de ellas con sus respectivos ejercicios para que el tema que un poco ms
completo y entendible:

2.1 Relaciones Reflexivas y Anti reflexivas

Una relacin reflexiva o refleja es una relacin binaria R sobre un conjunto A, de
manera que todo elemento de A est relacionado consigo mismo. Es
decir,
.
En tal caso, se dice que R cumple con la propiedad de reflexividad.
Cuando una relacin es lo opuesto a una reflexiva, es decir, cuando ningn
elemento de A est relacionado consigo mismo mediante R, entonces decimos
que es irreflexiva, anti reflexiva o antirreflejo, lo que denotamos formalmente por:

En este caso, se dice que R cumple con la propiedad de anti reflexividad.

Notacin

Relacin reflexiva

Relacin anti reflexiva

Como par
es
ordenados

Como mat La diagonal principal de la matriz

riz de
contendr slo 1's, es
adyacenci decir,
a

http://clldvhotmail.blogspot.mx/

La diagonal principal de la matriz

contendr slo 0's, es
decir,

2.3 Relacin transitiva

Relacin transitiva. R es una relacin transitiva en A s y slo s R es una
relacin en A y cualquiera sean x, y, z pertenecientes a A se verifica que:
S x R y y R z, entonces x R z.
En consecuencia:
R es transitiva en A equivale a decir:
R A x A (" x)(" y)(" z) ( x R y y R z x R z)
R no es transitiva en A equivale a decir:
R A x A ($ x)( $ y)($ z) ( x R y y R z x

z).

Ejemplo
I A es transitiva en A.
Ejemplo
Sea = {2, 4, 6, 3} entonces:
R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en A.
S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A.
Ejemplo
La relacin T = {(x, y) / x N, y N x |y} es transitiva en N.

En matemticas, a relacin binaria R sobre a sistema X es transitivo si sostiene

para todos a, b, y c en X, eso si a se relaciona con b y b se relaciona con c,
entonces a se relaciona con c.
Para escribir esto adentro lgica del predicado:

Por ejemplo, la relacin mayor que es transitiva:

Si A > B, y B > C, entonces A > C.

Por ejemplo, es mayor que, es por lo menos tan grande como, y es igual a
(igualdad) son las relaciones transitivas:
Siempre que A > B y B > C, entonces tambin A > C
Siempre que B de A y C, entonces tambin C de B de A
Siempre que A = B y B = C, entonces tambin A = C
Por una cierta hora, los economistas y los filsofos creyeron que la preferencia era
una relacin transitiva sin embargo all ahora es las teoras matemticas que
demuestran que las preferencias y otros resultados econmicos significativos
pueden ser modelados sin el recurso a esta asuncin.
Por otra parte, es la madre de no es una relacin transitiva, porque si Alicia es la
madre de Brenda, y Brenda es la madre de Claire, despus Alicia no es siempre la
madre de Claire. Cul es ms, es anti transitiva: Alicia puede nunca sea la madre
de Claire.
Entonces otra vez, en biologa necesitamos a menudo considerar maternidad
sobre un nmero arbitrario de generaciones: la relacin es
a matrilineal antepasado de ". Esto es una relacin transitiva. Ms exacto,
es encierro transitivo de la relacin est la madre de.
Ms ejemplos de relaciones transitivas:
es a subconjunto de " (fije la inclusin)
se divide (divisibilidad)
implica (implicacin)

2.4 Relacin Simtrica

Una relacin binaria R sobre un conjunto A, es simtrica cuando se da que si un
elemento est relacionado con otro mediante R, entonces ese otro tambin est
relacionado con el primero.
Es decir,

En tal caso, decimos que R cumple con la propiedad de simetra.

La aplicacin de cualquier relacin R sobre un conjunto A, se representa con
el par ordenado (A, R).
Cuando una relacin es lo opuesto a una simtrica, es decir, cuando se da que
si un elemento est relacionado con otro mediante R, entonces ese otro no
est relacionado con el primero, entonces decimos que es asimtrica, lo que
denotamos formalmente por:

En este caso, decimos que R cumple con la propiedad de asimetra.

2.5 Relaciones funcionales

Se dice que una magnitud o cantidad esta en funcin de otra si el valor de la
primera depende exclusivamente del valor de la segunda, estas situaciones se
representan matemticamente de diversas formas, en diagramas de ven, grficas,
tablas de variables o funciones matemticas. Una funcin es en si, un objeto
matemtico que se utiliza para expresar la dependencia entre dos magnitudes, y
puede presentarse a travs de varios aspectos complementarios. Un ejemplo
habitual de funcin numrica es la relacin entre la posicin y el tiempo en el
movimiento de un cuerpo.
Gracias a las relaciones funcionales en aplicacin matemtica podemos definir y
resolver una cantidad infinita de problemas, gracias a sus creadores, Ren
Descartes, Isaac Newton y Gottfried Leibniz.
Gracias por visitar este blog , en el abarcaremos 2 temas que son importantes para el rea
de la computacin e informtica. Los temas que vamos abarcar sern relaciones
matemticas y Grafos.
En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo,
imagen) es un conjunto de objetos llamados vrtices o nodos unidos por enlaces
llamados aristas o arcos, que permiten representar relaciones binarias entre
elementos de un conjunto. Son objeto de estudio de la teora de grafos.

Relaciones matemticas
Los tipos de relaciones son los siguientes:

Relacin Reflexiva
Relacin Transitiva
Relacin Simtrica

A continuacin les hablaremos ms a fondo de cada una de ellas as como algunos

ejemplos para que sea ms entendible. Espero les sirva la informacin que compartimos
para ustedes.

2.6 Ejemplos y ejercicios de relaciones.

Ejemplo 1
Sea A = {huevos, leche, maz} y B = {vacas, cabras, gallinas}. Escribir la relacin R de A a B
definida por:
(a, b) R a es producido por b
Solucin
La relacin sera:
R = {(huevos, gallinas), (leche, vacas), (leche, cabras)}
Ejemplo 2
(a) Sea R la relacin menor que definida en el conjunto Z de los nmeros enteros. Escribiremos
3 < 5 para indicar que (3, 5) R y 5 </ 3 para indicar que (3, 5) R
(b) Sea R la relacin es un mltiplo de en el conjunto de los enteros positivos.
Entonces, 4R 2 pero 2R / 4. Ms generalmente, x R y si, y slo si x = ky para algn k . As
para todo x, x R 1. Si p > 1, entonces p es primo si x R p implica que x = 1 x = p. Un nmero x es
impar si x R / 2.
(c) Cuando un compilador traduce un programa informtico construye una tabla de smbolos que
contiene los nombres de los smbolos presentes en el programa, los atributos asociados a cada
nombre y las sentencias de programa en las que estn presentes cada uno de los nombres. As
pues, si S es el conjunto de los smbolos, A es el conjunto de los posibles atributos y P es el
conjunto de las sentencias de programa, entonces la tabla de smbolos incluye informacin
representada por las relaciones binarias de S a A y de S a P.

(d) Como dijimos anteriormente, una relacin binaria sobre el conjunto de los nmeros reales
puede representarse grficamente en el plano cartesiano. La figura siguiente es la grfica de la
relacin
R = {(x, y) R R : |x| + |y| = 1}

Ejemplo 3
Sea A = {1, 2, 3} y R = {(1, 2),(1, 3),(3, 2)}. R es una relacin en A ya que es un subconjunto de A
A. Con respecto a esta relacin, tendremos que
1R 2, 1R 3, 3R 2, pero 1R / 1, 2R / 1, 2R / 2, 2R / 3, 3R / 1, 3R / 3
Ejemplo 4
Para los conjuntos U = {1, 2, 3, 4, 5}, A = {1, 2, 3}, B = {2, 4, 5}, determinar:
(a) |A B|.
(b) El nmero de relaciones de A a B.
(c) El nmero de relaciones binarias en A.
(d) El nmero de relaciones de A a B que contengan al (1,2) y al (1,5).
(e) El nmero de relaciones de A a B que contengan exactamente cinco pares ordenados.
(f) El nmero de relaciones binarias en A que contengan siete elementos como mnimo.
Solucin
(a) |A B| = |A| |B| = 3 3 = 9
(b) Sea N el nmero de relaciones de A a B.

Como una relacin es cualquier subconjunto del producto cartesiano de A por B, el nmero de
relaciones de A a B ser igual al nmero de subconjuntos que tenga A B, es decir, el nmero de
elementos del conjunto de las partes de este conjunto, por tanto,

N = |P (A B )| =

(c) Igual que en el apartado anterior, si N es el nmero pedido, entonces

N = |P (A A)| =

(d) Si eliminamos del producto cartesiano de A y B los pares (1,2) y (1,5), quedarn 7 pares, luego
el nmero de posibles relaciones que pueden establecerse sin ellos ser igual al nmero N de
relaciones que contienen a los dos pares dados ya que bastara con aadirlos a cada una de las
relaciones que no los tienen, por tanto,

N=
(e) Dos subconjuntos con cinco pares del producto cartesiano de A y B, sern distintos slo si se
diferencian en algn par sin que el orden en que los mismos figuren en el subconjunto influya para
nada, por tanto, el nmero de subconjuntos de AB con cinco pares ser igual al de
combinaciones de nueve elementos tomados cinco a cinco, es decir, si N es el nmero pedido,
entonces
=( )

N=
(f) Sea

el nmero de relaciones que contienen i elementos y sea N el nmero pedido. Entonces,

y razonando igual que en el apartado anterior,

=

=( )

luego,

N=

( )

( )

( ) = 46

Ejemplo 5
Para U = , A = {2, 3, 4, 5, 6, 7}, B = {10, 11, 12, 13, 14}, escribir los elementos de la relacin R
A B, donde
aR b si y slo si a divide (exactamente) a b.
Solucin
R = {(2, 10),(2, 12),(2, 14),(3, 12),(4, 12),(5, 10),(6, 12),(7, 14)}

Ejemplo 6
Sea A = {1, 2, 3, 4} y definimos la relacin a R b b es mltiplo de a, a, b A
Calcularemos la matriz de la relacin R.
Solucin
La relacin vendr dada por el conjunto
R = {(1, 1),(1, 2),(1, 3),(1, 4),(2, 2),(2, 4),(3, 3),(4, 4)}
y la matriz ser, por tanto,

Ejemplo 7
En la figura mostramos una representacin grfica del digrafo D = (A, R ), siendo A el conjunto {a,
b, c, d} y R = {(a, a),(a, c),(b, c)}

Las aristas son (a, a),(a, c) y (b, c). d es un vrtice aislado.

Los grados de entrada son:
( )

( )

( )

( )

( )

( )

( )

( )

y los de salida,

Ejemplo 8
Representar grficamente el digrafo D = ( , R ), donde R es la relacin definida sobre el
conjunto de los nmeros naturales consistente en todos los pares de nmeros de la forma

(x, x + 2).
R ={(x, x + 2) : x

Como es un conjunto infinito, en la figura hemos hecho un diagrama que, necesariamente, es

incompleto.
Ejemplo 9
Sea A = {1, 2, 3, 4} y R = {(1, 1),(1, 2),(2, 2),(3, 3),(3, 2),(4, 4)} una relacin definida en A.
Es reflexiva? Dibujar el digrafo y escribir la matriz de la relacin

En efecto, R es reflexiva ya que para cada a A, el par (a, a) est en la relacin. La figura anterior
nos muestra el digrafo y la matriz de R.
Ejemplo 10
Consideremos en el conjunto Z de los nmeros enteros las relaciones menor o igual que y
menor que. Estudiar la reflexividad de ambas relaciones.
Solucin
(a) Menor o igual que. a R b a

Sea a cualquier nmero entero, entonces

a=a
luego,
a=aa<a
es decir,
aa
por tanto,
a (a Z = a R a)
Consecuentemente, la relacin propuesta es reflexiva.

(b) Menor que. a R b a < b.

Sea a cualquier nmero entero, entonces
a=a
es decir, a no es menor que a, de aqu que
a R/ a
por tanto,
a: (a Z a R / a)
luego R no es una relacin reflexiva.
Ejemplo 11
Sea A = {1, 2, 3, 4} y R = {(1, 1),(1, 2),(2, 1),(2, 3),(3, 2),(3, 3)} una relacin definida en A.
Es simtrica? Dibujar el digrafo y escribir la matriz de la relacin.
Solucin

En efecto, R es simtrica ya que para cada par (a, b) R, el par (b, a) tambin pertenece a R.
El digrafo y la matriz de R se muestran en la figura anterior
Ejemplo 12
Sea A = {1, 2, 3, 4} y R = {(1, 2),(1, 4),(2, 3),(2, 4),(3, 1),(4, 3)} una relacin definida en A.
Es asimtrica? Dibujar el digrafo y escribir la matriz de la relacin.
Solucin
R es, en efecto, asimtrica ya que para cada par (a, b) que pertenece a R, el par (b, a) no
pertenece.

Ejemplo 13
Sea A = {1, 2, 3, 4} y sea R = {(1, 2),(2, 2),(3, 4),(4, 1)} una relacin definida en A.
Es antisimtrica? Dibujar el digrafo y escribir la matriz de R.
Solucin

Observemos lo siguiente:
1 2 y (1, 2) R, pero (2, 1) R, es decir 1R 2 2R / 1.
1 3 y (1, 3) R y (3, 1) R, es decir 1R / 3 3R / 1.
Universidad de Cdiz
1 4 y (4, 1) R, pero (1, 4) R, es decir 4R 1 1R / 4.

2 3 y (2, 3) R, (3, 2) R, es decir 2R / 3 3R / 2.

2 4 y (2, 4) R, (4, 2) R, es decir 2R / 4 4R / 2.
3 4 y (3, 4) R, pero (4, 3) R, es decir 3R 4 4R / 3.
luego,
si a b, entonces (a, b) R (b, a) R
de aqu que R sea antisimtrica.
Ejemplo 14
En el conjunto Z de los nmeros enteros, consideramos la relacin
R = {(a, b) Z Z: a b}
es decir, la relacin menor o igual que. Es simtrica?, Es antisimtrica?
Solucin
Simetra.
Considerando los enteros 1 y 2, tendremos que
1 es menor que 2 y 2 no es menor que 1
es decir,
1R 2 y 2R / 1
luego,
a, b Z: (aR b bR / a)
de aqu que por 4, la relacin propuesta sea no simtrica.
Antisimetra.
Sean a y b dos enteros cualesquiera. Entonces,
a b = a < b b < a
= (b a) (a b)
= aR / b bR / a
Consecuentemente, tendremos que
a, b A (a b = aR / b bR / a)
de aqu que la relacin propuesta sea antisimtrica.
Veamos otra forma de probar la antisimetra.
aR b a b = p
y
bR a b a = q

:b=a+p
= a = a + p + q = p + q = 0 = p = q = 0 = a = b
:a=b+q

Ejemplo 15
En el conjunto Z de los nmeros enteros se considera la relacin R definida por:
xR y |x| = |y|
Estudiar la simetra y la antisimetra de R.

Solucin
Si x e y son dos enteros cualesquiera, entonces
xR y = |x| = |y| = |y| = |x| = yR x
es decir la relacin propuesta es simtrica.
Por otra parte, si x es un entero cualquiera distinto de cero, entonces
x x y |x| = |x| y |x| = |x|
es decir,
(xR (x) (x)R x) x x
luego R no es antisimtrica.
Ejemplo 16
Sea A = {1, 2, 3, 4} y R = {(1, 2),(1, 3),(1, 4),(2, 3)} una relacin definida sobre A.
Es transitiva? Dibujar el digrafo y escribir la matriz de la relacin.
Solucin

En efecto, R es transitiva porque si (a, b) R y (b, c) R, tambin est en R el par (a, c).
El digrafo y la matriz de R se muestran en la figura.
Ejemplo 17
Estudiar las propiedades de las relaciones definidas en el conjunto A = {1, 2, 3} cuyos
digrafos son los de la figura siguiente.

Solucin
(a)R 1 es la relacin de igualdad sobre A. Es reflexiva, simtrica, antisimtrica y transitiva.
(b) R 2 es simtrica. No es reflexiva, ni antisimtrica, ni transitiva.
(c) La relacin R 3 es antisimtrica y transitiva. No es reflexiva, ni simtrica.
(d) La relacin R 4 es la relacin vaca. Es simtrica, antisimtrica, y transitiva, pero no es
reflexiva.
(e) R 5 es la relacin universal. Es reflexiva, simtrica y transitiva, pero no es antisimtrica.

Ejemplo 18
Para las siguientes afirmaciones sobre relaciones en un conjunto A, donde |A| = n,
determinar si la proposicin es verdadera o falsa. Si es falsa dar un contraejemplo.
(a) Si R es una relacin reflexiva en A, entonces |R | n.
(b) Si R es una relacin en A y |R| n, entonces R es reflexiva.
(c) Si R 1 y R 2 son dos relaciones en A, tales que R 1 R 2, se verifica
Si R 1 es reflexiva, simtrica y transitiva, entonces R 2 tambin lo es.
(d) Se verifica el recproco del apartado anterior?

Solucin
(a) Verdadera.
Para todo a A ha de cumplirse que (a, a) R, luego en R hay, al menos, el mismo nmero de
elementos que en A.
(b) Falsa.
Por ejemplo, sea A = {1, 2} y R = {(1, 1),(1, 2),(2, 1} el |R | > |A| y, sin embargo, R no es
reflexiva.
(c) Reflexiva. Verdadero.
En efecto, si R 1 es reflexiva, entonces (a, a) R 1 para cada a de A, luego como R 1 R 2,
tendremos que (a, a) R 2, a A y R 2 tambin ser reflexiva.
Simtrica. Falso.
En efecto, si A = {1, 2} , R 1 = {(a, a)} y R 2 = {(a, a),(a, b)}, entonces R 1 es simtrica, R 1 R 2
pero R 2 no es simtrica.
Transitiva. Falso.
En efecto, sea A = {a, b, c} , R 1 = {(a, b),(b, c),(a, c)} y R 2 = {(a, b),(b, c),(a, c),(c, a)}. Entonces,
R 1 es transitiva, R 1 R 2, pero R 2 no es transitiva.
(d) Reflexiva. Falso.
En efecto, si A = {a, b} , R 1 = {(b, b)} y R 2 = {(a, a),(b, b)}, entonces R 2 es reflexiva, R1 R 2,
pero R 1 no es reflexiva.
Simtrica. Falso.
En efecto, si A = {a, b} , R 1 = {(a, b)} y R 2 = {(a, b),(b, a)}, entonces R 2 es simtrica, R 1 R 2,
pero R 1 no es simtrica.
Transitiva. Falso.
En efecto, si A = {a, b, c} , R 1 = {(a, b),(b, c)} y R 2 = {(a, b),(b, c),(a, c)}, entonces R 2 es transitiva,
R 1 R 2, pero R 1 no es transitiva.
Ejemplo 19
Determinar las propiedades de las siguientes relaciones
(a) R es la relacin definida en Z, donde x R y si y slo si x + y es par (impar).
(b) R es la relacin definida en Z Z, donde (a, b)R (c, d) si y slo si a c.
Solucin
(a) x R y x + y es par (impar)
Reflexividad.
Dado x Z cualquiera, se verifica que x + x = 2x es par, luego x R x, es decir la relacin par es
reflexiva.
La relacin impar, obviamente, no es reflexiva.
Simetra.
Dados x e y cualesquiera de Z, se verifica:
x R y x + y es par (impar) = y + x es par (impar) y R x
luego la relaciones par e impar son simtricas.

Antisimtrica.
Sean x e y dos enteros distintos cualesquiera tales que x + y sea par. Entonces, y + x tambin
es par, luego
x, y Z : x R y y R x x y
y la relacin par no es antisimtrica.
Lo mismo puede decirse de la relacin impar.
Transitiva.
Dados x, y, z cualesquiera de Z, tendremos:
x R y x + y par = p Z : x + y = 2p
= x + z = 2(p + q y) = x + z par = x R z
y R z y + z par = q Z : y + z = 2q
Luego la relacin par si es transitiva. Veamos la impar.
x R y x + y impar p Z : x + y = 2p + 1
x+z = 2(p+qy)+2 x+z par x R / z
y R z y + z impar q Z : y + z = 2q + 1
por tanto, la relacin impar no es transitiva.
(b) (a, b)R (c, d) a c
Reflexiva.
Para cualquier a entero, se verifica que a = a, luego a a, es decir, (a, b)R (a, b)
Simtrica.
Sean a, b, c y d cuatro nmeros enteros tales que a c. Entonces, (a, b)R (c, d), sin embargo el par
(c, d) no est relacionado con el (a, b) ya que c / a. Por tanto,
(a, b),(c, d) Z Z : (a, b)R (c, d) (c, d)R / (a, b)
es decir, la relacin no es simtrica.
Antisimtrica.
Sean (a, b) y (c, d) dos elementos de Z Z tales que a = c y b d. Entonces (a, b)R (c, d) y
(c, d)R (a, b), sin embargo (a, b) (c, d), es decir,
(a, b),(c, d) Z Z : (a, b)R (c, d) (c, d)R (a, b) (a, b) (c, d)
por lo tanto, la relacin no es antisimtrica.
Transitiva.
Dados tres elementos (a, b), (c, d) y (e, f), cualesquiera de Z Z, se verifica:
(a, b)R (c, d)
ac

= a e = (a, b)R (e, f)

(c, d)R (e, f)
ce
luego la relacin dada es transitiva.

3.

TEORIA DE GRAFOS

3.1 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.
3.2 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.
3.3 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

3.4 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 k-regular.

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.

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

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

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

3.10 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.
3.11 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)
ii)
iii)

par-par,
par-impar,
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

3.12 REPRESENTACIN DE GRAFOS. MATRIZ DE INCIDENCIA.

MATRIZ DE ADYACENCIA.
Definicin. 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.

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

entonces la correspondiente fila (columna) est compuesta slo por
ceros. Si el grafo es simple entonces la matriz de adyacencia contiene solo
ceros y unos (matriz binaria) y la diagonal est 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.

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

3.14 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

(G, v)

Si G=(V,A) es subgrafo de G, para todo v G se cumple gr (G,v) gr

G2 es un subgrafo de G.

3.15 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 NP-completos.
3.16 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

siendo
el grafo completo de n vrtices.

Un
, es decir, grafo completo de n vrtices tiene exactamente
aristas.
La representacin grfica de los
como los vrtices de un polgono
regular da cuenta de su peculiar estructura.
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:

V2 .

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

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.
3.17 OPERACIONES EN GRAFOS
Subdivisin elemental de una arista

se convierte en
Se

reemplaza la arista
y un vrtice w.

por

dos

aristas

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.
3.18 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.
3.19 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.
3.20 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.
3.21 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,
bipartito de n y p vrtices.

Kn,

es

el grafo

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.

3.22 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

3.23 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

3.24 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, postorden y en-orden del rbol T.
Si T consiste de un slo nodo n, entonces, n es el listado preorden, postorden 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 en-orden
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
3.25 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
3.26 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

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

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

(G, v)

Si G=(V,A) es subgrafo de G, para todo v G se cumple gr (G,v) gr

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

4.

EJEMPLOS DE TEORIA DE GRAFOS

4.1 EL CICLO EULERIANO

La ciudad de Knigsberg est atravesada por un rio que tiene 2 islas y 7 puentes como muestra la
figura 1. Se pregunta si es posible partir del sector A y, haciendo una caminata, pasar por cada
puente una sola vez volviendo al punto de partida. En el grafo de la figura 2 el problema se traduce
en partir de A y recorrer las 7 ramas sin repetir ninguna y volver a A (ciclo euleriano). Este
problema fue encarado por Euler en 1736 y es el origen de la teora de grafos.

Figura 1

figura 2
A
A
C

AC

D
B

3.2 EL CICLO HAMILTONIANO.

A un dodecaedro, cuerpo solido regular con doce caras pentagonales, se la ha quitado una cara y
se lo ha aplastado en el plano como muestra la figura 3

Figura 3

Imaginemos a los vrtices de esta figura como ciudades y a las aristas como tramos de caminos
entre dos ciudades. Se pregunta si hay un camino formado de tramos que partiendo de una ciudad
visite todas las ciudades una sola vez volviendo a la ciudad de partida (ciclo hamiltoniano)

3.3 EL PROBLEMA DEL CABALLO EN EL JUEGO DE AJEDREZ

Consideremos un tablero de ajedrez. y un caballo. Se pregunta si es posible que el caballo parta de
un casillero y visite todos los otros 63 casilleros una solo vez volviendo al punto inicial. (ciclo
hamiltoniano)

3.4 EL PROBLEMA DE CRUZAR EL RIO

Tenemos 3 misioneros y 3 canbales y un bote para cruzar el rio. El bote tiene capacidad para 2
personas a lo sumo. Se trata que los 6 individuos crucen el rio de forma que en ningn momento
haya ms canbales que misioneros en cualquiera de los dos mrgenes del rio. Indiquemos con (i, j)
el hecho que haya i misioneros y j canbales en un dado margen. Entonces (i, j)(i-1, j-1) significa
una posible transicin, es decir, cruzan el rio un misionero y un canbal. A continuacin (i-1, j-1)
(i, j-1) significa que volvi el misionero solo. Imaginemos que dibujamos todos los pares (i, j)

como puntos en el plano (ij) y unimos por flechas los pares que representan transiciones
posibles. Se trata de hallar una sucesin de flechas consecutivas que parta de (3,3) y termine en
(0,0)

http://mate.dm.uba.ar/~spuddu/teo_de_grafos/grafo1.doc

3.5 VERDADERO O FALSO DE PREGUNTAS DE TEORIA DE GRAFOS

Un grafo bipartito completo puede tener una clique. V

Un dgrafo es un grafo con no ms de dos aristas entre cada par de vrtices. F, es un

grafo dirigido.

Dos grafos son isomorfos entre s cuando presentan tanto mismo nmero de vrtices
como de aristas. F, deben poseer, adems, igual conexin de vrtices.

Un p-grafo es un grafo regular de grado p. F, donde al menos un par de vrtices se

encuentra conectado por tres aristas.

Todo grafo hamiltoneano es biconvexo, luego todo grafo que no sea biconvexo no puede
ser hamiltoneano. V

Un grafo es bipartito si y slo si todo ciclo en el grafo tiene longitud par. F, puede no tener
ciclo.

Un sub grafo generado puede tener aristas distintas del grafo original. F, poda arista que
posea debe pertenecer al grafo original.

Un sub grafo inducido puede tener aristas distintas del grafo original. F, poda arista que
posea debe pertenecer al grafo original.

El orden de un grafo corresponde al nmero total de vrtices del mismo. V

Circuito es igual a ciclo. F, en el ciclo el primer vrtice del conjunto es igual al ltimo, en
un circuito no.
Loop es un circuito de longitud 1.V

El complemento de un grafo totalmente desconexo es siempre una clique. V

Un grafo bipartito completo posee un nmero par de vrtices. F, ej. K23

Un grafo planar es aquel en que no existe entrecruzamiento de aristas. F, es el que puede

ser representado sin entrecruzamiento de aristas.

Un grafo conectado con un nmero mnimo de aristas es un rbol. V

El grado de un vrtice en un dgrafo es la cantidad de arcos que salen de l menos los

que llegan. F, los que salen menos los que llegan.

Un grafo bipartito con ms de 5 vrtices no puede ser planar. V

El complemento de un grafo conexo no puede tener ciclo hamiltoneano. F, si puede tener

C.H.

Un grafo conexo no puede tener conjunto independiente. Todo grafo conexo tiene
conjunto independiente de vrtices.

Un grafo desconexo pude ser bipartito. V

No existe relacin entre un grafo completo y una clique. F, Una clique es un subgrafo
completo.

El problema del vendedor viajero consiste en encontrar un ciclo hamiltoneano de largo

mximo. V
https://es.scribd.com/doc/146452013/Ejercicios-Resueltos-Arboles-y-Grafos

3.6 PROBLEMA DE LA ASIGNACIN Y SU RELACIN CON TEORA DE GRAFOS.

Problema 01: Se tiene que elegir a cuatro miembros de la unidad de docentes de Matemticas del
FI para formar parte de las comisiones siguientes: Comisin de Proyectos, Comisin Docente,
Comisin Permanente, Comisin de Planes de estudio. La mencionada unidad est formada por
siete profesores, que mantienen su posibilidad para pertenecer a una u otra. Cul sera una
posible asignacin que respete las posibilidades del profesorado?

Problema 02: En el grupo PL1 de prcticas de laboratorio de la asignatura EMI2 se van a hacer
prcticas por parejas, por lo que se solicita a los 16 alumnos que, previo acuerdo entre ellos,
indiquen con quienes les gustara formar pareja. Ser posible establecer 8 parejas para las
prcticas que respeten las preferencias de los alumnos?