Matemticas Discretas
y Teora de Grafos
Dedicatorias
A mis amigos
Thelma Garca,
Gabriel Gernimo,
Luis Javier Martnez,
Omar Ramrez,
Ricardo Ruiz,
Aisa Santiago
y Paola Soto
Prez Aguila, Ricardo
Una introduccin a las matemticas discretas y teora de grafos -1 ed.- El Cid Editor,
2013.
ISBN 978-1-4492-9128-0
Prlogo
Este libro est pensado principalmente para estudiantes de los primeros semestres de
nivel Licenciatura en las carreras de Ciencias de la Computacin, Informtica, Sistemas
Computacionales, Fsica y Matemticas Aplicadas. Nuestro objetivo primordial se centra en
presentar al alumno los preliminares que forman al rea de las Matemticas Discretas y la
Teora de Grafos. En particular, nos concentraremos en cinco temticas principales: Lgica
Matemtica, Teora de Conjuntos, Teora de Relaciones y Funciones, Principio de
Induccin Matemtica y finalmente, Grafos. A lo largo del texto se efectuarn diversas
pruebas de algunos Teoremas. stos estarn, por un lado, formalizando resultados dentro de
nuestras reas de inters, mientras que por otro lado, el estudiante se ir familiarizando con
algunas tcnicas de demostracin. Adems, dentro del rea de Teora de Grafos se
presentarn diversos algoritmos teniendo siempre en cuenta su inmediata y fcil
implementacin. En este sentido, se asume que el lector est habilitado con un buen manejo
de algn lenguaje de programacin de alto nivel considerando estructuras de datos bsicas
tales como arreglos, matrices, pilas y colas. El texto se encuentra organizado en siete
captulos:
Al final de este trabajo el lector encontrar una Seccin dedicada a presentar las referencias
utilizadas. stas mismas son de hecho un punto de partida para abordar a mayor
profundidad los temas aqu desarrollados. En particular se recomiendan los textos, ya
clsicos, de Cormen et al, Grimaldi y Johnsonbaugh. El texto de Lau es una excelente y
amplia librera de algoritmos listos para implementarse y que dan solucin a diversos
problemas en Teora de Grafos. Finalmente, slo me queda agradecer a mi hija Diana y a
mi esposa Kenia por todo su amor, inspiracin y apoyo para lograr la culminacin de este
proyecto. A mis amigos, siempre les estar en deuda por todos sus nimos.
ii
Una Introduccin a las Matemticas Discretas y Teora de Grafos
ndice General
Pgina
ndice de Teoremas v
ndice de Algoritmos ix
1. Lgica Matemtica 1
1.1 Proposiciones y Conectivos Lgicos 3
1.2 Tablas de Verdad 6
1.3 Algebra de Proposiciones 23
1.4 Inferencia Lgica 40
1.5 Cuantificadores 49
2. Teora de Conjuntos 61
2.1 Definiciones 63
2.2 Algebra de Conjuntos 84
3. Relaciones y Funciones 91
3.1 Definiciones 93
3.2 Relaciones de Equivalencia 108
3.3 Funciones 113
iii
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Bibliografa 299
iv
Una Introduccin a las Matemticas Discretas y Teora de Grafos
ndice de Teoremas
Pgina
Teorema 1.1 Para cualesquiera proposiciones p, q, r en se tiene que
(p q) r p (q r) 11
Teorema 1.2 Para cualquier proposicin p en se tiene que
(p) p 12
Teorema 1.3 Para cualesquiera proposiciones p, q en se tiene que
p q p q 12
Teorema 1.4 Para cualesquiera proposiciones p y q en se tiene que la
proposicin compuesta (p q) p es una tautologa. 12
Teorema 1.5 Para cualquier proposicin p en se tiene que p p es
una tautologa. 13
Teorema 1.6 Para cualquier proposicin p en se tiene que p p es
una contradiccin. 13
Teorema 1.7 Para cualesquiera proposiciones p, q en se tiene que
(p q) (p q) 15
Teorema 1.8 Para cualesquiera proposiciones p, q en se tiene que
p q q p 15
Teorema 1.9 Para cualesquiera proposiciones p, q en se tiene que
pqqp 16
Teorema 1.10 Para cualesquiera proposiciones p, q, r en se tiene que
p (q r) (p q) (p r) 16
Teorema 1.11 Para cualesquiera proposiciones p, q en se tiene que
(p q) p q 17
Teorema 1.12 Para cualquier proposicin p en se tiene que
pVp 17
Teorema 1.13 Existe un nmero real x tal que 3x + 10 = -4. 24
Teorema 1.14 Existe un nmero complejo x tal que x2 + 5 = 2. 26
Teorema 1.15 Para cualesquiera proposiciones p, q, r en se tiene que
p (q r) (p q) r 31
Teorema 1.16 Para cualesquiera proposiciones p, q, r en se tiene que
p (q r) (p q) (p r) 32
Teorema 1.17 Para cualesquiera proposiciones p, q en se tiene que
p q (p q) (r r)
Donde r es cualquier proposicin en . 32
Teorema 1.18 Para cualesquiera proposiciones p, q en se tiene que
(p q) (p q) q 34
Teorema 1.19 Para cualesquiera proposiciones p y q en se tiene que
((p q) p) q V 35
Teorema 1.20 Para cualesquiera proposiciones p y q en se tiene que
((p q) q) p V 35
v
Una Introduccin a las Matemticas Discretas y Teora de Grafos
vi
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 4.1 n
n(n + 1)
i =
i =1 2 135
Teorema 4.2 2 > 2n , n {3, 4, 5, 6, }
n
136
Teorema 4.3 2n + n3 es divisible por 3, n {1, 2, 3, 4, } 138
Teorema 4.4 n
x n +1 1
i =0
x i
=
x 1
, x \ \{1}
139
Teorema 4.5 Si n ] + y r es un entero no negativo tal que r n ,
entonces:
n n!
=
r r!(n r )! 141
Teorema 4.6 Teorema del Binomio. Si n es un entero no negativo y
a, b \ , entonces:
( a + b) n
n n n
= a n + a n 1b + ... + a n r b r + ...
0 1 r
n n 1 n n
+ ab + b
n 1 n
O usando notacin sigma:
n
n
(a + b) n = a n r b r
r =0 r 144
vii
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 4.7 n n n + 1
+ =
r r 1 r 145
Teorema 7.1 Dado un grafo pesado G, sea P = (v0, v1, , vk) la ruta ms
corta del vrtice v0 al vrtice vk. Para cualquier i y j tales
que 0 i j k, sea Pij = (vi, vi+1, , vj) una subruta de P
del vrtice vi al vrtice vj. Entonces Pij es la ruta ms corta
del vrtice vi al vrtice vj. 258
viii
Una Introduccin a las Matemticas Discretas y Teora de Grafos
ndice de Algoritmos
Pgina
Algoritmo 6.1 Permutacin aleatoria de los elementos en el conjunto
{1, 2, ., n}. 182
Algoritmo 6.2 Generacin de Grafos Aleatorios. 188
Algoritmo 6.3 Generacin Automtica de Grafos Bipartitas Aleatorios. 196
Algoritmo 6.4 Generacin Automtica de Grafos Regulares de Grado d. 203
Algoritmo 6.5 Generacin Automtica de rboles de Expansin
Aleatorios. 211
Algoritmo 6.6 Generacin Automtica de rboles Etiquetados y Cdigos
de Prfer. 215
Algoritmo 6.7 Generacin Automtica de Grafos Hamiltonianos
Aleatorios. 222
Algoritmo 6.8 Generacin Automtica de Grafos Isomorfos Regulares de
Grado d. 227
ix
Una Introduccin a las Matemticas Discretas y Teora de Grafos
x
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1. Lgica Matemtica
Una Introduccin a las Matemticas Discretas y Teora de Grafos
2
Captulo 1. Lgica Matemtica
3
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(Proposicin A) y (Proposicin B)
Entonces a tal Proposicin se le llama Conjuncin y tiene valor de verdad (V) nicamente
cuando tanto la Proposicin A como la Proposicin B son verdaderas. El conectivo y se
representar Matemticamente con el smbolo . Veamos los siguientes ejemplos:
p q: (Washington, D.C. es la capital de los Estados Unidos de Amrica) y
(Todos los estudiantes de Computacin son hombres)
o Sabemos que tanto la proposicin simple p como la proposicin simple q son
ambas verdaderas. Por lo tanto, la conjuncin p q es tambin verdadera.
Considrense las siguientes proposiciones simples:
o r: 5 4 (V)
o s: 3 < 3 (F)
o Entonces tenemos que la conjuncin r s: (5 4) (3 < 3) es falsa.
Ahora consideremos a las siguientes proposiciones compuestas:
o p: (1 2) (3 = 3) (V)
o q: (6 8) (-5 < -2) (V)
o Por lo tanto la conjuncin
es verdadera.
(Proposicin A) o (Proposicin B)
A tal proposicin se le denomina Disyuncin y tiene valor de verdad (F) slo cuando las
Proposiciones A y B son ambas falsas. El conectivo o se representar formalmente
usando el smbolo . Considrense los siguientes ejemplos:
4
Captulo 1. Lgica Matemtica
es falsa.
Este ltimo ejemplo claramente nos dice que al contar con ms de un conectivo lgico es
posible la construccin de Proposiciones Compuestas que consideren a conectivos
diferentes. El uso de los parntesis nos indica el orden en que cada conectivo ha de ser
evaluado.
5
Una Introduccin a las Matemticas Discretas y Teora de Grafos
u: r s: (x 5) (y + 10 = 13)
Por la discusin anterior sabemos que u puede ser verdadera o falsa y ello est directamente
relacionado con la verdad o falsedad de las proposiciones r y s. Es claro que cualquier
nmero x que sea menor o igual a 5 har que la proposicin r sea verdadera. Cualquier
nmero x cuyo valor est por encima de 5 har que r sea falsa. Para la Proposicin s
tenemos que nicamente ser el nmero y = 3 el que har que sta sea verdadera.
Evidentemente cualquier nmero y diferente al 3 nos llevar a la conclusin de que s es
falsa. Retomando nuestra discusin respecto a la Conjuncin u, las preguntas ahora seran:
bajo qu condiciones u ser verdadera? Baj que condiciones u ser falsa? Habiendo
analizado a las Proposiciones r y s, y tomando en consideracin la definicin del conectivo
, tenemos las siguientes posibilidades:
6
Captulo 1. Lgica Matemtica
d: (a b) c
7
Una Introduccin a las Matemticas Discretas y Teora de Grafos
En este punto debe haberse observado ya un patrn que relaciona al nmero posible
de estados con el nmero de Proposiciones Simples que forman a una Proposicin:
p p
V V
F F
Dado que no tenemos informacin adicional sobre p entonces nicamente sabemos que
puede ser verdadera o falsa. Por ello solo se tiene una columna en donde se listan sus dos
posibles estados. Ahora bien, en la segunda columna se listan los valores de verdad o
falsedad de p en funcin de cada uno de sus estados. Pero dado que no hay conectivos y
otras proposiciones involucradas es que la segunda columna es igual a la primera.
8
Captulo 1. Lgica Matemtica
p q pq
V V V
V F V
F V V
F F F
En este caso tenemos 4 posibles estados y la ltima columna presenta el valor de verdad o
falsedad de p q de acuerdo a cada uno de los estados en consideracin. De hecho, hemos
presentado a la Tabla de Verdad para la Disyuncin.
p q pq
V V V
V F F
F V F
F F F
p q pq
V V V
V F F
F V V
F F V
p p
V F
F V
9
Una Introduccin a las Matemticas Discretas y Teora de Grafos
a b c a b (a b) c
V V V V V
V V F V V
V F V F V
V F F F F
F V V F V
F V F F F
F F V F V
F F F F F
p q r p q q r p r (p q) (q r) ((p q) (q r)) (p r)
V V V V V V V V
V V F V F F F F
V F V F V V F F
V F F F V F F F
F V V V V V V V
F V F V F V F F
F F V V V V V V
F F F V V V V V
Supngase que se tienen dos proposiciones p y q en para las cuales con el mismo
estado ambas presentan el mismo valor de verdad o falsedad. Si esta propiedad se cumple
para cada uno de sus posibles estados entonces se dice que p y q son Lgicamente
Equivalentes y se le denota como p q. En trminos llanos esto se traduce en que las
tablas de verdad de p y q son iguales.
pq
es verdadera. Toda Proposicin para la cual se presenta una demostracin que permite
concluir que lo que afirma su enunciado es verdadero es llamada Teorema. La manera en
que se plantea el enunciado y la forma en que se aborda su demostracin depende del rea
10
Captulo 1. Lgica Matemtica
al cual est asociado el Teorema en cuestin. Por ejemplo, un Teorema que afirme algo
dentro del rea de la Geometra seguramente utilizar simbologa y mtodos de
demostracin aparentemente diferentes a aquellos presentes en el rea de la Aritmtica. Sin
embargo, algo que tendrn en comn todas las reas de la Matemtica es que los Teoremas
finalmente son proposiciones y sus mtodos de demostracin utilizarn herramientas
proporcionadas precisamente por la Lgica Matemtica. En las siguientes secciones
ahondaremos ms en este ltimo punto. Por el momento, consideraremos Teoremas
referentes a la verificacin de Equivalencia Lgica de proposiciones usando Tablas de
Verdad como mtodo de demostracin.
(p q) r p (q r)
Demostracin:
p q r (p q) (q r) (p q) r p (q r)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V F V V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
11
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(p) p
Demostracin:
p p p (p)
V F V V
F V F F
p q p q
Demostracin:
p q p pq p q
V V F V V
V F F F F
F V V V V
F F V V V
Una proposicin es llamada Tautologa si para cada uno de sus estados sta toma
siempre el valor de verdadero.
12
Captulo 1. Lgica Matemtica
Demostracin:
Mediante la tabla de verdad de (p q) p se verifica que para todos sus posibles estados
sta es verdadera.
p q pq (p q) p
V V V V
V F F V
F V F V
F F F V
Demostracin:
Mediante la tabla de verdad de p p se verifica que para todos sus posibles estados sta
es verdadera.
p p p p
V F V
F V V
Una proposicin es una Contradiccin si para cada uno de sus estados sta toma
siempre el valor de falso.
Demostracin:
Mediante la tabla de verdad de p p se verifica que para todos sus posibles estados sta
es falsa.
p p p p
V F F
F V F
13
Una Introduccin a las Matemticas Discretas y Teora de Grafos
pqqp
pq
p q pq qp pqqp
V V V V V
V F F V F
F V V F F
F F V V V
14
Captulo 1. Lgica Matemtica
p q si se cumple que p q V.
(p q) (p q)
Demostracin:
p q q p q (p q) p q (p q) (p q)
V V F V F F V
V F V F V V V
F V F V F F V
F F V V F F V
p q q p
15
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
p q p q p q q p (p q) (q p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
pqqp
Demostracin:
p q pq qp (p q) (q p)
V V V V V
V F V V V
F V V V V
F F F F V
p (q r) (p q) (p r)
16
Captulo 1. Lgica Matemtica
Demostracin:
(p q) (p (q r))
p q r p q p r q r p (q r)
(p r) ((p q) (p r))
V V V V V V V V V
V V F V F V V V V
V F V F V V V V V
V F F F F F F F V
F V V F F V F F V
F V F F F V F F V
F F V F F V F F V
F F F F F F F F V
(p q) p q
Demostracin:
p q p q (p q) p q p q (p q) p q
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V
pVp
17
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
p V pV pVp
V V V V
F V F V
18
Captulo 1. Lgica Matemtica
p q r
se hace verdadera. Se puede comprobar, mediante tabla de verdad, que el estado (F, F, V)
es el nico que hace que la proposicin p q r sea verdadera.
p q r
es verdadera. Nuevamente se puede verificar que la instancia (F, V, F) es la nica que hace
que la proposicin p q r sea verdadera.
pqr
19
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Ntese que lo que hemos hecho ha sido considerar nicamente a los tres estados de
la proposicin f para los cuales sta es verdadera. A partir de estos estados hemos
construido tres proposiciones compuestas que involucran a p, q y r as como los conectivos
de conjuncin y negacin:
p q r
p q r
pqr
Ahora uniremos a estas tres proposiciones utilizando el conectivo de disyuncin para
formar la siguiente proposicin compuesta:
(p q r) (p q r) (p q r)
Verifiquemos que la proposicin compuesta que acabamos de obtener tenga la misma Tabla
de Verdad que la proposicin f:
(p q r)
p q r p q r p q r p q r (p q r) f
(p q r)
V V V F F V V V
V V F F F F F F
V F V F F F F F
V F F F F F F F
F V V F F F F F
F V F F V F V V
F F V V F F V V
F F F F F F F F
f (p q r) (p q r) (p q r)
20
Captulo 1. Lgica Matemtica
De la Tabla 1.4 consideremos cada uno de los estados a fin de construir nuestras
proposiciones compuestas auxiliares:
Estado (V,V,V,V)
o Si a es verdadero entonces a es verdadero.
o Si b es verdadero entonces b es verdadero.
o Si c es verdadero entonces c es verdadero.
o Si d es verdadero entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (V,V,V,V).
21
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Estado (V,V,V,F)
o Si a es verdadero entonces a es verdadero.
o Si b es verdadero entonces b es verdadero.
o Si c es verdadero entonces c es verdadero.
o Si d es falso entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (V,V,V,F).
Estado (V,F,F,V)
o Si a es verdadero entonces a es verdadero.
o Si b es falso entonces b es verdadero.
o Si c es falso entonces c es verdadero.
o Si d es verdadero entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (V,F,F,V).
Estado (V,F,F,F)
o Si a es verdadero entonces a es verdadero.
o Si b es falso entonces b es verdadero.
o Si c es falso entonces c es verdadero.
o Si d es falso entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (V,F,F,F).
Estado (F,V,F,F)
o Si a es falso entonces a es verdadero.
o Si b es verdadero entonces b es verdadero.
o Si c es falso entonces c es verdadero.
o Si d es falso entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (F,V,F,F).
Estado (F,F,V,V)
o Si a es falso entonces a es verdadero.
o Si b es falso entonces b es verdadero.
o Si c es verdadero entonces c es verdadero.
o Si d es verdadero entonces d es verdadero.
o Por lo tanto se tiene que a b c d es verdadera nicamente con (F,F,V,V).
g (a b c d) (a b c d) (a b c d) (a b c d)
(a b c d) (a b c d)
22
Captulo 1. Lgica Matemtica
De hecho, ntese que el problema antes planteado puede ser reespecificado como la
siguiente proposicin:
23
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
3x + 10 = -4
Justificacin:
Lado izquierdo:
3x + 10 + (-10) = -4 + (-10)
Existe un nmero real (10) tal que
10 + (-10) = 0.
3x + 0 = -4 + (-10)
Justificacin:
Lado izquierdo:
El 0 (cero) es el elemento neutro
3x = -14 bajo la suma de reales.
Lado derecho:
La suma de los reales -4 + (-10) es el
nmero real -14.
Justificacin:
Lado izquierdo:
1 1 Existe un nmero real
1
tal que
3 x = -14
3
3 3
1
3 = 1.
3
1
1 x = -14
3
Justificacin:
Lado izquierdo:
El 1 (uno) es el elemento neutro bajo
el producto de reales.
14
x= Lado derecho:
3 1
El producto de los reales -14 y es
3
14
el nmero real .
3
Por lo tanto, al aplicar las propiedades de los nmeros reales se ha verificado la existencia
14
del nmero real x = para el cual 3x + 10 = -4.
3
24
Captulo 1. Lgica Matemtica
Ntese como es que los pasos en la demostracin del Teorema 1.13 no son ms que
aquellas operaciones utilizadas comnmente para resolver nuestra ecuacin. Cada paso es
debidamente justificado al hacer mencin de la propiedad de los nmeros reales que se est
utilizando. Obsrvese que inicialmente partimos de la proposicin 3x + 10 = -4 la cual
suponemos que es verdadera. Posteriormente se aplic la propiedad que nos garantiza la
existencia de los elementos inversos bajo la suma. Con ello se obtuvo la proposicin
3x + 10 + (-10) = -4 + (-10) la cual debe ser claro que es consecuencia de 3x + 10 = -4 y de
la propiedad considerada. De all que 3x + 10 = -4 es el antecedente de
3x + 10 + (-10) = -4 + (-10) y por ello el uso del conectivo . Ahora bien, previamente
mencionamos que 3x + 10 = -4 se asuma verdadera y tambin sabemos que la propiedad
referente a la existencia de elemento inverso bajo la suma es tambin verdadera, por lo
tanto, la proposicin 3x + 10 + (-10) = -4 + (-10) debe asumirse verdadera. A partir de sta
se obtiene la proposicin 3x + 0 = -4 + (-10). Por lo tanto 3x + 10 + (-10) = -4 + (-10) es el
antecedente de 3x + 0 = -4 + (-10). Por ello se tiene nuevamente el uso del conectivo .
Debe ser evidente que se tiene entonces la cadena de implicaciones:
14
(3x + 10 = -4) (3x + 10 + (-10) = -4 + (-10)) (3x + 0 = -4+(-10)) x =
3
VVVV
VVVVV
Es claro que desde el punto de vista del lgebra de los nmeros reales esta ltima expresin
no es muy til, pero desde otro punto de vista tenemos que esta expresin nos proporciona
un sustento lgico que valida al Teorema 1.13.
Procedamos a utilizar nuestra lgebra de los nmeros reales (tambin recurriremos a las
propiedades de los exponentes y del operador ):
25
Una Introduccin a las Matemticas Discretas y Teora de Grafos
x2 + 5 = 2
Justificacin:
2
x + 5 + (-5) = 2 + (-5) Lado izquierdo:
Existe un nmero real (5) tal que 5 + (-5) = 0.
x2 + 0 = 2 + (-5)
Justificacin:
Lado izquierdo:
El 0 (cero) es el elemento neutro bajo la suma de
x2 = -3
reales.
Lado derecho:
La suma de los reales 2 + (-5) es el nmero real -3.
Justificacin:
x 2 = 3 (-3)2 = (3)2
x = 3
(V V V) F V F F
Con lo cual queda establecida, desde el punto de vista lgico, la falsedad del Teorema
propuesto. Ahora bien, obsrvese que si el conjunto de valores que puede tomar x es ahora
el conjunto de los Nmeros Complejos ^ entonces el Teorema se vuelve verdadero ya que
efectivamente x = 3 es un nmero complejo:
26
Captulo 1. Lgica Matemtica
Hemos visto como es que el lgebra de los Nmeros Reales nos dota de un
conjunto de proposiciones cuya validez es siempre asumida cierta y por medio de las cuales
es posible verificar de manera concreta nuevas afirmaciones. Estas afirmaciones de ser
verificadas mediante un proceder exhaustivo, como confirmar usando cada uno de los
nmeros reales, simplemente haran imprctico el proceso de demostracin de Teoremas
dentro del rea del lgebra de los Nmeros Reales. Ahora bien, en la Seccin anterior ya se
introdujo una metodologa para la demostracin del Teoremas que tienen que ver con la
equivalencia lgica entre Proposiciones. Esta metodologa estaba basada en el uso de las
Tablas de Verdad. Decamos que dos proposiciones son lgicamente equivalentes si sus
Tablas de Verdad son iguales. De esta forma es como probamos los Teoremas 1.1 a 1.12.
Sin embargo, tenemos conocimiento de que el nmero de estados para una proposicin
dada crece de manera exponencial conforme aumentan el nmero de proposiciones simples
que la conforman. Al respecto, en su momento se estableci la siguiente propiedad:
Las pruebas de los Teoremas 1.1 a 1.12 en realidad fueron sencillas ya que en esos casos
estbamos lidiando con proposiciones formadas por 1, 2 o 3 proposiciones simples lo que
implicaba analizar 2, 4 u 8 estados respectivamente. Sin embargo, en la prctica es comn
el requerir verificar la equivalencia lgica de proposiciones conformadas por decenas o
cientos de proposiciones simples. Esto impone entonces un problema de ndole temporal en
el sentido de que si bien es muy sencillo verificar si dos estados son iguales, el nmero total
de estados por verificar es realmente enorme. Veamos unos ejemplos:
En este punto puede surgir la opcin de proponer que una computadora se encargue de
generar y comparar los estados, lo cual es en realidad muy fcil de implementar.
Supongamos que una cierta computadora procesa 1,000,000 de estados en un segundo
(E/Seg). Asumamos que estamos en la situacin n = 64 (un caso realmente simple en la
prctica). Entonces tendremos que el tiempo que le tomar a nuestro equipo de cmputo en
procesar a todos los estados ser:
27
Una Introduccin a las Matemticas Discretas y Teora de Grafos
264 E
tn =64 =
1, 000, 000 E / Seg
18, 446, 744, 073, 709,551, 616 E
=
1, 000, 000 E / Seg
= 18,446,744,073,709.551616 Seg
307,445,734,561.825 minutos
5,124,095,576.0304 horas
213,503,982.334 das
584,942.417 aos
5,849.424 siglos
584.9 milenios
Debe ser sumamente claro que no es de ninguna manera factible el esperar casi 600
milenios para determinar que efectivamente dos proposiciones con n = 64 proposiciones
simples son lgicamente equivalentes. En este punto debe surgir tambin una comparacin
con la situacin que plantebamos previamente referente a encontrar la solucin de una
ecuacin al evaluar uno por uno cada posible nmero real.
Por otro lado, hemos de hacer notar algunas observaciones y comparaciones con las
propiedades de los nmeros reales, las cuales surgen de los Teoremas demostrados en la
Seccin anterior. Supngase por el momento que el operador de suma (+) es anlogo al
conectivo de disyuncin (), que el operador de producto () es anlogo al conectivo de
conjuncin () y finalmente que el operador para denotar un nmero negativo (-) es
anlogo al conectivo de negacin ().
28
Captulo 1. Lgica Matemtica
En el ltimo punto tenemos que quizs la intuicin nos indicaba que el resultado de p p
debera ser el elemento neutro bajo la disyuncin, dada la analoga con la propiedad
x + (-x) = 0. Este ejemplo representa una situacin a tener bien en cuenta: que las relaciones
que hemos establecido entre nuestras propiedades de los conectivos con las propiedades de
los nmeros reales son nicamente con fines de entender como se comportan las
proposiciones bajo los conectivos definidos al observar un lgebra con la cual ya estamos
bien familiarizados. Sin embargo, no debe esperarse que los nmeros reales bajo la suma y
producto se comporten de la misma manera que las proposiciones bajo los conectivos de
disyuncin y conjuncin. Por ejemplo, el Teorema 1.11 establece que (p q) p q.
Nuestras analogas nos indicaran entonces que debera existir la propiedad de los reales
(x + y) = (-x) (-y). Es claro que esta afirmacin es falsa, pero estos comparativos nos
proporcionan indicios para inferir en un momento dado nuevas propiedades las cuales
deben ser entonces demostradas con metodologas formales.
29
Una Introduccin a las Matemticas Discretas y Teora de Grafos
La idea ahora es aplicar las propiedades de nuestra nueva lgebra a fin de dar
demostracin a Teoremas referentes a equivalencia lgica de manera ms concisa respecto
al mtodo basado en Tablas de Verdad. Es necesario mencionar que las Tablas de Verdad,
como mecanismo de demostracin, no pierden de ninguna manera validez sino que al
30
Captulo 1. Lgica Matemtica
contrario, sirven como punto de sostn para la nueva lgebra debido a que para todas las
propiedades antes presentadas se tiene que su veracidad est verificada mediante esta
metodologa
p (q r) (p q) r
Demostracin:
31
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Por otro lado, nuestra prueba del Teorema 1.15 requiri de 4 pasos, en donde cada
paso representa una Equivalencia Lgica y por ende a una Tabla de Verdad. De hecho, por
esta ltima mencin, debe ser claro que al haber demostrado nuestro Teorema tambin
hemos probado en el trayecto otros 4 Teoremas cuya demostracin particular es
simplemente la aplicacin de una propiedad particular del lgebra de Proposiciones:
p (q r) (p q) (p r)
Demostracin:
p q (p q) (r r)
32
Captulo 1. Lgica Matemtica
Demostracin:
El Teorema 1.17 resulta interesante debido a que se podr apreciar que el lado
izquierdo de la equivalencia hace mencin a dos proposiciones (p y q) mientras que el
derecho cuenta con 3: p, q y r. Estamos entonces ante una situacin en la cual se tiene que
una proposicin descrita en trminos de 2 proposiciones es lgicamente equivalente a una
proposicin que cuenta con esas mismas dos proposiciones ms una adicional. La
demostracin parte de manipular a p q hasta obtener a (p q) (r r). Ello implica
que de alguna manera se deber introducir a la proposicin r. Esta manera de proceder de
ninguna forma nos es extraa. Recurramos al lgebra de los Nmeros Reales. Recordemos
que uno de los principios fundamentales al manipular una ecuacin reside en el hecho de
que es posible introducir valores para sumarlos o multiplicarlos siempre y cuando esto se
haga en ambos lados de la ecuacin. Es decir, hay que preservar el equilibrio. Sin
embargo, y gracias a la existencia de los elementos neutros, es posible sumar o multiplicar
en slo un lado de una ecuacin. Recordemos que el producto por 1 o la suma con 0 de
ninguna forma alteran a una cantidad. Por ejemplo, considrese la siguiente ecuacin de
segundo grado:
9x2 + 4 = 10
9x2 + 4 + 0 = 10
Ahora bien, sabemos que para todo nmero real existe su correspondiente inverso de tal
forma que su suma es precisamente 0. Tenemos de manera particular que 12x + (-12x) = 0.
Es claro que si sustituimos el 0 por su equivalente 12x + (-12x) nuevamente en el lado
izquierdo de la ecuacin sta sigue sin alterarse porque en realidad no hemos dejado de
sumarle cero:
33
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Es claro que este tipo de manipulaciones van de acuerdo a un objetivo que deseamos
alcanzar. Por ejemplo, en el caso de nuestra ecuacin quizs desebamos poder expresar
parte de su lado izquierdo como un binomio al cuadrado:
Recordemos entonces que todo esto fue posible gracias a la existencia de nuestro elemento
neutro y los inversos bajo la operacin de suma. Algo similar es lo que se present en la
demostracin del Teorema 1.17. Unas manipulaciones iniciales nos llevan a obtener que
p q es lgicamente equivalente a (p q). En este punto tomamos en cuenta que
existe un elemento neutro para la disyuncin el cual es F: cualquier disyuncin entre una
proposicin y F da como resultado la misma proposicin. Por lo tanto podemos afirmar sin
problema alguno y sin alterar la equivalencia lgica que (p q) (p q) F. Ahora
bien, nuestra lgebra de Proposiciones nos dice que tambin existen los elementos
complementarios de tal forma que la conjuncin de stos da como resultado F. La pregunta
a plantear es qu elementos, o mejor dicho proposiciones, consideramos para sustituir a F?
En realidad cualquiera nos sirve porque es claro que toda contradiccin p p, q q,
(t s) (t s), etc., es lgicamente equivalente a F. Pero el mismo enunciado del
Teorema 1.17 nos indica que debera considerarse en particular a r r. Por lo tanto
haciendo F r r tenemos entonces la nueva proposicin (p q) (r r), con lo
cual slo resta dar por terminada la demostracin.
(p q) (p q) q
34
Captulo 1. Lgica Matemtica
Demostracin:
(p q) (p q)
((p q) (p q)) (Ley de DMorgan)
((p q) (p q)) (Ley de DMorgan sobre (p q))
(q (p p)) (Propiedad distributiva respecto a la Conjuncin)
(q V) (Existencia del Elemento Complementario en la
Disyuncin: V p p)
(q) (Existencia del Elemento Neutro en la Conjuncin)
q (Propiedad de la Doble Negacin)
((p q) p) q V
Demostracin:
((p q) p) q
((p q) p) q (Propiedad del Condicional sobre p q)
((p p) (q p)) q (Propiedad Distributiva sobre (p q) p)
(F (q p)) q (Existencia de los Elementos Complementarios
para la Conjuncin)
(q p) q (Existencia del Elemento Neutro en la
Disyuncin)
(q p) q (Propiedad del Condicional)
(q p) q (Ley de DMorgan sobre (q p))
V p (Existencia de los Elementos Complementarios
para la Disyuncin)
V (Existencia del Elemento Aniquilador para la
Disyuncin)
((p q) q) p V
35
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
((p q) q) p
((p q) q) p (Propiedad del Condicional sobre p q)
((p q) (q q)) p (Propiedad Distributiva sobre (p q) q)
((p q) F) p (Existencia de los Elementos Complementarios
en la Conjuncin)
(p q) p (Existencia del Elemento Neutro en la
Disyuncin)
(p q) p (Propiedad del Condicional)
(p q) p (Ley de DMorgan sobre (p q))
Vq (Existencia de los Elementos Complementarios
en la Disyuncin)
V (Existencia del Elemento Aniquilador para la
Disyuncin)
(p q) (p q) V
Demostracin:
(p q) (p q)
(p q) (p q) (Propiedad del Condicional)
V (Existencia de los Elementos Complementarios
en la Disyuncin)
a) (p q) p V
b) (p q) q V
36
Captulo 1. Lgica Matemtica
Demostracin:
a) (p q) p
(p q) p (Propiedad del Condicional)
(p q) p (Ley de DMorgan sobre (p q))
V q (Existencia de los Elementos Complementarios
en la Disyuncin)
V (Existencia del Elemento Aniquilador para la
Disyuncin)
b) (p q) q
(p q) q (Propiedad del Condicional)
(p q) q (Ley de DMorgan sobre (p q))
V p (Existencia de los Elementos Complementarios
en la Disyuncin)
V (Existencia del Elemento Aniquilador para la
Disyuncin)
a) ((p q) p) q V
b) ((p q) q) p V
Demostracin:
a) ((p q) p) q
((p p) (q p)) q (Propiedad Distributiva sobre
(p q) p)
(F (q p)) q (Existencia de los Elementos
Complementarios en la Conjuncin)
(q p) q (Existencia del Elemento Neutro
en la Disyuncin)
(q p) q (Propiedad del Condicional)
(q p) q (Ley de DMorgan sobre (q p))
Vp (Existencia de los Elementos
Complementarios en la Disyuncin)
V (Existencia del Elemento Aniquilador
en la Disyuncin)
37
Una Introduccin a las Matemticas Discretas y Teora de Grafos
b) ((p q) q) p
((p q) (q q)) p (Propiedad Distributiva sobre
(p q) q)
(F (p q)) p (Existencia de los Elementos
Complementarios en la Conjuncin)
(p q) p (Existencia del Elemento Neutro
en la Disyuncin)
(p q) p (Propiedad del Condicional)
(p q) p (Ley de DMorgan sobre (p q))
Vq (Existencia de los Elementos
Complementarios en la Disyuncin)
V (Existencia del Elemento Aniquilador
en la Disyuncin)
((p q) (q r)) (p r) V
Demostracin:
((p q) (q r)) (p r)
((p q) (q r)) (p r) (Propiedad del Condicional sobre p q)
((p q) (q r)) (p r) (Propiedad del Condicional sobre q r)
((p q) (q r)) (p r)
(Propiedad del Condicional sobre
((p q) (q r)) (p r))
((p q) (q r)) (p r)
(Ley de DMorgan sobre
((p q) (q r)))
((p q) (q r)) (p r)
(Ley de DMorgan sobre (p q)
y sobre (q r))
((p q) (q r)) (p r) (Propiedad del Condicional)
(p q) ((q r) (p r)) (Propiedad Asociativa de la Disyuncin)
(p q) ((q (p r)) (r (p r)))
(Propiedad Distributiva sobre
(q r) (p r))
(p q) ((q (p r)) (V p))
(Existencia de los Elementos Complementarios
en la Disyuncin: r r)
38
Captulo 1. Lgica Matemtica
a) p (p q) V
b) q (p q) V
Demostracin:
39
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(G E) (E K) G (K L) (L M) (M B)
En el prrafo anterior mencionbamos que las premisas deben ser verdaderas para
que la conclusin sea verdadera. Sin embargo, sabemos que lgicamente una proposicin
puede ser verdadera o falsa. Este puede verse con facilidad en la Tabla de Verdad de una
Regla de Inferencia. En realidad la validez de una inferencia no depende de un estado
40
Captulo 1. Lgica Matemtica
particular en su Tabla de Verdad o de lo que afirmen sus premisas, sino de la forma que
tenga la Regla de Inferencia en consideracin. Mencionbamos previamente que para
aplicar una Regla de Inferencia se deber verificar primeramente que las proposiciones a
considerar se ajusten perfectamente a la manera en la cual las premisas estn especificadas:
a ello nos referimos cuando relacionamos a la validez de una inferencia con la forma que
tenga su correspondiente Regla de Inferencia. La existencia de premisas falsas de ninguna
manera impide que una Regla de Inferencia pueda ser aplicada, pero es claro que la
conclusin que se obtenga ser definitivamente errnea. A final de cuentas, una Regla de
Inferencia p1 p2 pm q debe ser una Tautologa para caracterizarse como tal y
debe ser vista como una Regla de Sustitucin.
Modus Ponens:
Premisa 1: p q
Premisa 2: p
Conclusin: q
Modus Tollens:
Premisa 1: p q
Premisa 2: q
Conclusin: p
Regla de Adjuncin:
Premisa 1: p
Premisa 2: q
Conclusin: p q
41
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Reglas de Simplificacin:
Premisa 1: p q Premisa 1: p q
Conclusin: p Conclusin q
Premisa 1: p q Premisa 1: p q
Premisa 2: p Premisa 2: q
Conclusin: q Conclusin p
Premisa 1: p q
Premisa 2: q r
Conclusin: p r
Reglas de Adicin:
Premisa 1: p Premisa 1: q
Conclusin: p q Conclusin: p q
Ahora aplicaremos las reglas anteriores a fin de hacer inferencias sobre algunas
premisas. Por lo regular al aplicar reglas de inferencia simplemente se listan y enumeran las
premisas sobreentendiendo que stas se encuentran conectadas mediante conjunciones. La
idea es poder identificar rpidamente que premisas se utilizarn. Al aplicar una Regla de
Inferencia se debe mencionar la regla aplicada y las premisas involucradas.
42
Captulo 1. Lgica Matemtica
Ejemplo:
Sean las proposiciones:
o p: Juan est en el partido de Basketball.
o q: Juan est en la cancha.
Las proposiciones p y q darn lugar a las siguientes premisas:
o Si Juan est en el partido de Basketball entonces Juan est en la cancha.
Premisa 1: p q
o Juan est en la cancha.
Premisa 2: p
Tenemos entonces:
Premisa 1: p q
Premisa 2: p
Conclusin: q (Modus Ponens Premisas 1y 2)
Es decir, mediante la regla Modus Ponens concluimos que Juan est en la cancha.
Ejemplo:
Proposiciones:
o p: El clima est helado.
o q: El lago se helar.
Premisas:
o Si el clima no est helado entonces el lago no se helar.
Premisa 1: p q
o El clima no est helado.
Premisa 2: p
Inferencias:
Premisa 1: p q
Premisa 2: p
Conclusin: q (Modus Ponens Premisas 1 y 2)
Premisa 1: (s u) t
Premisa 2: (s u)
Premisa 3: t r
Conclusin/Premisa 4: t (Modus Ponens Premisas 1 y 2)
Conclusin: r (Modus Ponens Premisas 3 y 4)
43
Una Introduccin a las Matemticas Discretas y Teora de Grafos
El ejemplo anterior nos pone de muestra que una proposicin que resulte de la
aplicacin de una Regla de Inferencia, tal como sucedi con la aplicacin del Modus
Ponens sobre las premisas 1 y 2, tambin puede ser utilizada como una nueva Premisa que
permita la aplicacin de otra regla de inferencia si es que se requiere. En nuestro caso en
cuestin la nueva premisa 4 fue fundamental para aplicar nuevamente el Modus Ponens y
entonces obtener la conclusin deseada r.
Ejemplo:
Proposiciones:
o p: El objeto astral tiene luz propia.
o q: El objeto astral es una estrella.
Premisas:
o Si el objeto astral tiene luz propia entonces el objeto astral es una estrella.
Premisa 1: p q
o El objeto astral no es una estrella.
Premisa 2: q
Inferencias:
Premisa 1: p q
Premisa 2: q
Conclusin: p (Modus Tollens Premisas 1 y 2)
Se ha concluido entonces que El objeto astral no tiene luz propia.
Premisa 1: pq
Premisa 2: q
Premisa 3: p r
Conclusin/Premisa 4: p (Modus Tollens Premisas 1 y 2)
Conclusin/Premisa 5: r (Modus Ponens Premisas 3 y 4)
Conclusin: (r) (Propiedad de la Doble
Negacin, Premisa 5)
Nuestro ejemplo anterior nos ha ilustrado en el sentido de que para llegar a una
conclusin final por un lado pueden aplicarse diferentes reglas de inferencia, en este caso se
utiliz primeramente un Modus Tollens y posteriormente un Modus Ponens. Por otro lado,
tambin nos hace ver con claridad que es totalmente vlido recurrir a nuestras propiedades
44
Captulo 1. Lgica Matemtica
Ejemplo:
Proposiciones:
o p: Jorge es adulto.
o q: Mara es adolescente.
Premisas:
o Jorge es adulto.
Premisa 1: p
o Mara es adolescente.
Premisa 2: q
Inferencias:
Premisa 1: p
Premisa 2: q
Conclusin: p q (Regla de Adjuncin Premisas 1 y 2)
Se ha concluido entonces que Jorge es adulto y Mara es adolescente.
45
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Premisa 1: cd
Premisa 2: (c d) f
Premisa 3: f (a b)
Premisa 4: (a b) (r s)
Conclusin/Premisa 5: f (Modus Ponens
Premisas 1 y 2)
Conclusin/Premisa 6: a b (Modus Ponens
Premisas 3 y 5)
Conclusin/Premisa 7: rs (Modus Ponens
Premisas 4 y 6)
Conclusin: (r s) f (Regla de Adjuncin
Premisas 5 y 7)
Ejemplo:
Proposiciones:
o p: Jorge es adulto.
o q: Mara es adolescente.
Premisas:
o Jorge es adulto y Mara es adolescente.
Premisa 1: p q
Por la aplicacin de la Regla de Simplificacin se pueden presentar dos posibles
inferencias:
Premisa 1: p q Premisa 1: p q
Conclusin: p Conclusin: q
Premisa 1: a b
Premisa 2: c b
Conclusin/Premisa 3: b (Regla de Simplificacin
Premisa 1)
Conclusin/Premisa 4: (c) (Modus Tollens Premisas 2 y 3)
Conclusin/Premisa 5: c (Propiedad de la Doble
Negacin sobre Premisa 4)
Conclusin/Premisa 6: a (Regla de Simplificacin
Premisa 1)
Conclusin: ac (Regla de Adjuncin
Premisas 5 y 6)
46
Captulo 1. Lgica Matemtica
Premisa 1: (s g) p
Premisa 2: a
Premisa 3: pa
Conclusin/Premisa 4: p (Modus Tollens Premisas 2 y 3)
Conclusin/Premisa 5: (s g) (Modus Tollens Premisas 1 y 4)
Conclusin/Premisa 6: s g (Ley de DMorgan sobre la
Premisa 5)
Conclusin: s (Regla de Simplificacin
Premisa 6)
Ejemplo:
Proposiciones:
o p: La sustancia contiene hidrgeno.
o q: La sustancia contiene oxgeno.
Premisas:
o La sustancia contiene hidrgeno o la sustancia contiene oxgeno.
Premisa 1: p q
o La sustancia no contiene hidrgeno.
Premisa 2: p
Inferencias:
Premisa 1: pq
Premisa 2: p
Conclusin: q (Modus Tollendo Ponens Premisas 1 y 2)
Se ha concluido entonces que La sustancia contiene oxgeno.
Premisa 1: t (p q)
Premisa 2: (t)
Premisa 3: q
Conclusin/Premisa 4: t (Propiedad de la Doble
Negacin sobre Premisa 2)
Conclusin/Premisa 5: pq (Modus Ponens Premisas 1 y 4)
Conclusin: p (Modus Tollendo Ponens
Premisas 3 y 5)
47
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Premisa 1: q s
Premisa 2: s
Premisa 3: (r s) q
Conclusin/Premisa 4: q (Modus Tollendo Ponens
Premisas 1 y 2)
Conclusin/Premisa 5: ((r s)) (Modus Tollens Premisas 3 y 4)
Conclusin/Premisa 6: rs (Propiedad de la Doble
Negacin sobre Premisa 5)
Conclusin: r (Regla de Simplificacin
sobre Premisa 6)
Ejemplo:
Proposiciones:
o p: Est lloviendo.
o q: El cielo est nublado.
o r: El clima est helado.
Premisas:
o Si est lloviendo entonces el cielo est nublado.
Premisa 1: p q
o Si el cielo est nublado entonces el clima est helado.
Premisa 2: q r
Inferencias:
Premisa 1: pq
Premisa 2: qr
Conclusin: p r (Ley del Silogismo Hipottico Premisas 1 y 2)
Se ha concluido entonces que Si est lloviendo entonces el clima est helado.
Premisa 1: r s
Premisa 2: s q
Premisa 3: q n
Conclusin/Premisa 4: rq (Ley del Silogismo Hipottico
Premisas 1 y 2)
Conclusin/Premisa 5: r n (Ley del Silogismo Hipottico
Premisas 3 y 4)
Conclusin: r n (Propiedad del Condicional
Premisa 5)
48
Captulo 1. Lgica Matemtica
Premisa 1: g e
Premisa 2: ek
Premisa 3: k l
Premisa 4: l m
Premisa 5: mb
Conclusin/Premisa 6: g k (Ley del Silogismo Hipottico
Premisas 1 y 2)
Conclusin/Premisa 7: g l (Ley del Silogismo Hipottico
Premisas 3 y 6)
Conclusin/Premisa 8: g m (Ley del Silogismo Hipottico
Premisas 4 y 7)
Conclusin g b (Ley del Silogismo Hipottico
Premisas 5 y 8)
1.5 Cuantificadores
Hasta ahora se han considerado proposiciones de las que se sabe o asume su valor
de verdad o falsedad. Sin embargo, en ocasiones se requiere considerar expresiones
llamadas Proposiciones Abiertas cuyo valor de verdad o falsedad depende de una
sustitucin. Por ejemplo, considrese a la siguiente proposicin:
A esta proposicin, y tal como hemos hecho antes, se le puede asignar una letra para
denotarla. Por ejemplo, usemos la letra p. Pero dado que p requiere de un valor especfico
para x a fin de poder ser evaluada, entonces indicaremos que la proposicin requiere se le
pase un valor de entrada x. De tal forma que tenemos ahora:
49
Una Introduccin a las Matemticas Discretas y Teora de Grafos
y
q(x, y, z): (x + 3) =z
2
En este caso debe ser intuitivo que las variables individuales x, y, z debern ser sustituidas
por nmeros. Si los valores asignados a las variables individuales x, y al ser evaluados en el
lado izquierdo de la ecuacin proporcionan un valor igual al de la variable individual z
entonces las proposiciones resultantes sern verdaderas:
4
q(3, 4, 12): (3 + 3) = 12 (V)
2
20
q(-4, 20, -10): (-4 + 3) = -10 (V)
2
2
q(5, 2, -3): (5 + 3) = -3 (F)
2
Inicialmente recurrimos a la intuicin para determinar con que constantes individuales
podan ser sustituidas nuestras variables. Sin embargo, una falla en nuestra intuicin podra
indicarnos evaluar a la proposicin
Carlos
q(Juan, Carlos, Mara) = (Juan + 3) = Mara
2
lo cual no tendra sentido (tambin depende del contexto en que nuestras proposiciones
estn inmersas). En los siguientes prrafos se introducir notacin a fin de que se
especifiquen de manera formal los valores que pueden tomar las variables individuales en
una funcin proposicional.
50
Captulo 1. Lgica Matemtica
(x ESTD)
sta indica de qu conjunto x puede tomar sus posibles valores. El smbolo se interpreta
como pertenece a y est siempre seguido de un conjunto, en este caso es un conjunto que
llamamos ESTD. Formalmente el conjunto ESTD contiene a todas las constantes
individuales para x. Por el contexto de la funcin proposicional original sabemos que ESTD
deber contener nombres de estudiantes: al menos sabemos, por los prrafos anteriores, que
Juan y Edna estn en ESTD. La expresin (x ESTD) se lee entonces como existe un x
en el conjunto ESTD. La segunda parte de la proposicin general est dada por
Que no es ms que la expresin de nuestra funcin proposicional original. Las dos partes,
como ya comentamos antes, forman una proposicin general con cuantificador existencial.
Entonces nuestra proposicin general deber leerse como:
(x ESTD)(p(x))
(x ESTD)(p(x)) V
51
Una Introduccin a las Matemticas Discretas y Teora de Grafos
y
Retomando nuestra funcin proposicional q(x, y, z): (x + 3) = z tenemos ahora
2
a la proposicin general con cuantificador existencial:
y
(x,y,z \ ) ( x + 3) = z
2
y
Existen x, y, z en el conjunto de los nmeros reales tales que ( x + 3) =z.
2
Sabemos que al menos con los valores 3, 4, 12 para x, y, z respectivamente se cumple que
y y
( x + 3) = z V. Por lo tanto, se tiene que (x,y,z \ ) ( x + 3) = z V.
2 2
(x ` )(x < 3)
o Haciendo x = 1 o bien x = 2 se tiene que (x ` )(x < 3) V.
(x ` )(x es mltiplo de 5)
o Cualquier sustitucin de x por 5, 10, 15, 20, sirve para verificar que
(x ` )(x es mltiplo de 5) V.
52
Captulo 1. Lgica Matemtica
(x ` )(x2 4x + 4 = 0)
o Esta proposicin general resulta interesante porque finalmente tenemos una
conexin directa entre la lgica matemtica y el lgebra de los nmeros reales.
Ntese que se trata de encontrar un valor de x que al sustituir en el lado
izquierdo de la ecuacin proporcione la solucin 0, en el lado derecho. Dar
solucin a la ecuacin es equivalente a establecer que la proposicin general
(x ` )(x2 4x + 4 = 0) es verdadera. En este caso nos apoyamos en la bien
conocida frmula general para la solucin de ecuaciones de segundo grado para
determinar la existencia de x:
(x ` )(x2 4x + 4 = 0) V
(x NUM)(1 x)
(x NUM)(f(x))
O tambin como
53
Una Introduccin a las Matemticas Discretas y Teora de Grafos
x = 1, f(1): 1 1 (V)
x = 2, f(2): 1 2 (V)
x = 3, f(3): 1 3 (V)
x = 4, f(4): 1 4 (V)
x = 5, f(5): 1 5 (V)
Ntese que con los 5 valores que puede tomar x hemos obtenido siempre una proposicin
que es verdadera. Por lo tanto tenemos para nuestra proposicin general con cuantificador
universal que (x NUM)(1 x) V.
(x \ )(x2 0)
En este caso debemos recurrir al hecho de que todo nmero real, ya sea positivo, negativo o
cero, al ser elevado al cuadrado siempre se obtiene un nmero positivo o el cero. Por lo
tanto, para cualesquiera x en los reales se cumple que x2 0. Es decir, tuvimos que recurrir
a una propiedad presente en el lgebra de los Nmeros Reales.
(p, q )(p q p q)
54
Captulo 1. Lgica Matemtica
Mencin especial nos merece el Teorema 1.17. Tenemos que ste quedar
expresado como una proposicin general en la cual aparecen ambos cuantificadores:
55
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(x U)(x es un mltiplo de 3)
(x U)(x no es un mltiplo de 3)
(x es un mltiplo de 3) x no es un mltiplo de 3
56
Captulo 1. Lgica Matemtica
La parte que en principio nos interesa de este enunciado es No es cierto que para todo x en
el conjunto U. Esta debera entenderse como el hecho de que Existe un x en el conjunto U
que hace que la funcin proposicional x es un mltiplo de 3 genere una proposicin falsa.
Ello quiere decir que la negacin de nuestro cuantificador universal da a lugar al
cuantificador existencial. Si la proposicin original era verdadera, entonces aquella que se
obtenga deber ser falsa, o por otro lado, si la proposicin original era falsa, entonces
aquella que se obtenga deber ser verdadera. Esta propiedad se asegura al aplicar tambin
la negacin a la funcin proposicional. En nuestro ejemplo ya sabemos que la negacin de
x es un mltiplo de 3 es x no es un mltiplo de 3. Por lo tanto podemos establecer que
De manera formal:
(x U)(p(x)) (x U)(p(x))
Formalizando:
(x U)(p(x)) (x U)(p(x))
57
Una Introduccin a las Matemticas Discretas y Teora de Grafos
y
(x,y,z \ ) ( x + 3) = z
2
La cual sabemos es Verdadera gracias a la terna (3, 4, 12). Al negar a nuestra funcin
obtenemos:
y y
(x,y,z \ ) ( x + 3) = z (x,y,z \ ) ( x + 3) z
2 2
Por las definiciones antes dadas tenemos entonces que la proposicin general
y
(x,y,z \ ) ( x + 3) z es falsa.
2
(x ` )(1 x)
La negacin de 1 x viene dada al razonar que todo x que no sea mayor o igual a 1
tiene que ser estrictamente menor que 1. Por lo tanto se tiene que (1 x) 1 > x.
Entonces:
Ahora bien, ntese que x debe ser un nmero natural. Si se busca, en la proposicin
general con cuantificar existencial, que 1 > x entonces nos encontramos con que no
existe tal nmero natural x con la propiedad de ser estrictamente menor a 1 (el cero no
es un nmero natural). Por lo tanto la proposicin (x ` )(1 > x) es falsa y en
consecuencia la proposicin (x ` )(1 x) es verdadera.
(x ` )(x2 1)
58
Captulo 1. Lgica Matemtica
(x ` )(x es mltiplo de 5)
Es claro que basta con tomar, por ejemplo, x = 10 para establecer que
(x ` )(x es mltiplo de 5) es verdadera. Ello implica que su negacin,
(x ` )(x no es mltiplo de 5), es falsa.
59
Una Introduccin a las Matemticas Discretas y Teora de Grafos
n = x + 1
Ntese que la expresin est bien definida para cualquier nmero real x. Por lo tanto
tenemos verificado que para todo real x existe un natural n tal que x < n. Ello implica
que (x \ )(n ` )(x < n) es verdadera y por lo tanto (x \ )(n ` )(x n)
es falsa.
60
Una Introduccin a las Matemticas Discretas y Teora de Grafos
2. Teora de Conjuntos
Una Introduccin a las Matemticas Discretas y Teora de Grafos
62
Captulo 2. Teora de Conjuntos
2.1 Definiciones
Se dice que un Conjunto es una coleccin de distintos objetos los cuales son
llamados los Elementos del conjunto. En la Seccin 1.5 ya habamos trabajado con la
nocin de conjunto al considerarlo como aquel que contena a las posibles constantes
individuales con las que poda ser sustituida una variable en una funcin proposicional.
Considrese un conjunto A y un objeto b. Si b est contenido en el conjunto A entonces se
dice que b Pertenece al conjunto A y se denota como b A. Ntese que de hecho est
notacin tambin ya la habamos introducido en la Seccin 1.5. Si un objeto b no est
contenido en el conjunto A entonces se dice que b No Pertenece al Conjunto A y se denota
como b A.
X = {1, 2, 3, 4, 5, 6, 7, 8}
A = {x: p(x)}
Esta expresin se lee como El conjunto A se forma por todos aquellos elementos x que
cumplen con la regla o propiedad p(x). Por ejemplo, consideremos al siguiente conjunto:
Y = {x: x ` x mod 2 = 1}
63
Una Introduccin a las Matemticas Discretas y Teora de Grafos
X = {y: y ` 1 y 8}
Y = {x: x mod 2 = 1}
= {x: F}
En este caso estamos considerando a una funcin proposicional, para la cual no importa la
sustitucin de x que se efecte, sta siempre dar como resultado una contradiccin. Esto
tiene sentido ya que el conjunto vaco no puede tener elementos, por lo tanto para todo
64
Captulo 2. Teora de Conjuntos
={}
A B (x 8)(x A x B)
(x 8)(x A x B)
(x 8)((x A x B))
(x 8)(((x A) x B)) (Por Propiedad del Condicional)
(x 8)((x A x B)) (Dado que (x A) x A)
(x 8)((x A) (x B)) (Por Ley de DMorgan)
(x 8)(x A x B)
Como podr apreciarse acabamos de obtener la condicin que debe cumplirse para
establecer cuando un conjunto A no es subconjunto de un conjunto B: que exista un
elemento presente en A pero que no est presente en B. En este caso se utiliza la notacin
A B. Formalmente se tiene:
A B (x 8)(x A x B)
8= `
A = {2, 4, 6, 8, 10}
B = {2, 4, 6, 8, 10, 12, 14, 16}
65
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 2.1: Sean los conjuntos A = {x: x es mltiplo de 6} y B = {x: x es mltiplo de 2}.
Entonces A B.
Demostracin:
66
Captulo 2. Teora de Conjuntos
Ahora sea m = 3n, entonces x = 2m. Esto lo expresamos al establecer que se cumple que
x = 2m y que m = 2n. Esto da a lugar a la ltima equivalencia:
La proposicin (m ] )(x = 2m) expresa la propiedad que deber cumplir x para verificar
que efectivamente forma parte del conjunto B. Ello da a lugar a la nueva implicacin
(m ] )(x = 2m) x B
Hasta este punto tenemos que hemos construido nuestras premisas y es claro que todas son
verdaderas. Ahora debe verse con facilidad que la aplicacin de la Ley del Silogismo
Hipottico sobre estas premisas dar como resultado final la condicional x A x B.
Todas las premisas consideran a un mismo elemento x de A en particular. Pero es claro que
no importa el elemento de A que se considere, estas premisas seguirn conservando su
validez. De all el haber establecido en un principio Sea x cualquier elemento del conjunto
A. Por lo tanto podemos afirmar que la proposicin general (x ] )(x A x B) es
verdadera. Recalcamos que la justificacin de la veracidad de x A x B es la que se
bas en las premisas que construimos previamente y las inferencias efectuadas. Finalmente
se tiene que la proposicin general con cuantificador universal corresponde a la definicin
dada para establecer que A es efectivamente subconjunto de B. Tenemos entonces la
implicacin final y tambin verdadera:
(x ] )(x A x B) A B
Demostracin:
(x 8)(x x X) V
67
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(x 8)(x x X)
(x 8)((x x X))
(x 8)(((x ) x X)) (Propiedad del Condicional)
(x 8)((x x X)) ((x ) x )
(x 8)((x ) (x X))) (Ley de DMorgan)
(x 8)(x x X))
Demostracin:
(x 8)(x X x X) V
xXxX
(x X) x X (Propiedad del Condicional)
xXxX ((x X) x X)
V (x X x X es una Tautologa)
68
Captulo 2. Teora de Conjuntos
En este punto surgen tres hechos que son consecuencia directa de los Teoremas 2.2
y 2.3:
Corolario 2.1:
a)
b) 8
c) 8 8
Demostracin:
Los incisos a) y b) se confirman por el hecho de que el Teorema 2.2 establece que el
conjunto vaco es subconjunto de cualquier conjunto. El Teorema 2.3 nos dice que todo
conjunto es subconjunto de s mismo. El conjunto universo es un conjunto y por lo tanto es
subconjunto de s mismo. Con ello se valida el inciso c).
A partir de este punto siempre se supondr que los elementos en cualquier conjunto
A forman parte de un conjunto universo independientemente de si ste es descrito
explcitamente o no. Ello implica que para todo conjunto A se tendr que A 8.
En este caso tenemos que el conjunto Y cuenta con 4 elementos. Debe ser claro que el
elemento {a} Y pero que a Y. Ello se debe a que a no es un conjunto, mientras que
{a} si lo es y est presente en Y. Por lo tanto a no puede ser equivalente a ninguno de los 4
conjuntos en Y, considerando inclusive que a forma parte de 2 de tales elementos. Ahora
bien, si tenemos al conjunto Y dado por:
69
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Sea A cualquier conjunto. El conjunto cuyos elementos resultan ser todos los
posibles subconjuntos de A se le llamar Conjunto Potencia y se le denotar por 2A. Por
ejemplo, sea el conjunto A dado por A = {1, 2, 3}. Entonces tenemos que:
2A = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, }
Es claro que para formar al conjunto potencia, en el caso de A = {1, 2, 3}, tuvimos que
considerar a todos los subconjuntos de A formados por un nico elemento y a todos los
subconjuntos de A formados por dos elementos. Ntese que en 2A tambin est A y ya
que sabemos que A A y que A. Supongamos que el conjunto universo en el que
estn contenidos los elementos de A est dado por 8 = {1, 2, 3, 4}. Entonces tendremos
que es posible tambin calcularle su conjunto potencia:
28 = {{1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4},
{1, 2, 3}, {1, 3, 4}, {2, 3, 4}, {1, 2, 4}, {1, 2, 3, 4}, }
28 = 2` = {, ` , {1}, {2}, {3}, {4}, {5}, , {1, 2}, {1, 3}, {1, 4}, {1, 5}, }
Es claro que 2` tendr un nmero infinito de elementos. Ello se debe a que 2` se formar
por todos los posibles subconjuntos cuyos elementos sern tomados del conjunto de los
nmeros naturales, el cual a su vez es un conjunto con un nmero infinito de elementos. En
este punto quizs sea ms conveniente la definicin intencional de 2` :
2` = {c: c es un conjunto c ` }
Un punto importante respecto al uso de 28 tiene que ver con ste tendr un papel
anlogo al de nuestro conjunto . Recordamos que era un conjunto que contena a todas
las posibles proposiciones. A la vez nos proporcionaba un conjunto cuyos elementos son
aquellos sobre los cuales trabajan nuestras equivalencias lgicas y nuestras propiedades del
lgebra Proposicional. Es decir, el conjunto defina nuestro marco de trabajo y el
alcance de tales equivalencias y propiedades. Ahora bien, hemos visto que dado un
conjunto universo 8, 28 contiene a todos los posibles conjuntos que se pueden formar a
partir de los elementos en 8. A continuacin estableceremos una serie de operadores,
70
Captulo 2. Teora de Conjuntos
A B = {x: x A x B}
A B = {x: x A x B}
A \ B = {x: x A x B}
71
Una Introduccin a las Matemticas Discretas y Teora de Grafos
A B = (A \ B) (B \ A)
A B = {(x, y): x A y B}
Es decir, el producto cartesiano produce un nuevo conjunto. Sin embargo los elementos
que lo conforman son Pares Ordenados de la forma (x, y). En este caso el primer
elemento x est presente en el conjunto A mientras que el segundo elemento y est
presente en el conjunto B.
AC = {x: x 8 x A}
8 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {2, 3, 5, 7}
B = {2, 4, 6, 8}
C = {9, 10}
72
Captulo 2. Teora de Conjuntos
A B = {2, 3, 5, 7, 4, 6, 8}
o Ntese que el elemento 2 es comn tanto a A como a B, pero tal como se estableci
desde un principio, la notacin de conjuntos no admite elementos repetidos. Por ello
en la unin el nmero 2 aparece slo una vez.
A B = {2}
AC=
o En este caso es claro que los conjuntos A y C no tienen elementos en comn, por lo
tanto se dice que su interseccin es vaca y ello evidentemente se denota con el
conjunto vaco.
A \ B = {3, 5, 7}
o A y B tienen en comn al elemento 2. De la definicin del operador de diferencia
tenemos entonces que 2 A 2 B F. Por lo tanto este elemento no es
considera dentro del conjunto A \ B. Para los elementos en A, 3, 5 y 7 se tiene que
x A x B V en todos los casos y en consecuencia est en la diferencia. Para
los elementos en B, 4, 6, 8, se tiene que x A x B F ya que no se cumple que
formen parte de A (x A), ni que no formen parte de B (x B). Por lo tanto los
elementos 3, 5 y 7 no estn en A \ B.
B \ A = {4, 6, 8}
o Este ejemplo claramente nos dice que el operador de diferencia no ser
conmutativo.
A \ C = {2, 3, 5, 7} = A
o Este resultado en realidad no debe sorprendernos. Para empezar se puede verificar
sin problema alguno que A C = , es decir, A y C no tienen elementos en comn.
Por lo tanto todos los elementos de A harn que la funcin proposicional
x A x C siempre sea verdadera. Los elementos en C tenemos claro que no se
toman en cuenta para formar parte de A \ C ya que no cumplen con el primer
requisito de formar parte de A.
B \ C = {2, 4, 6, 8} = B
73
Una Introduccin a las Matemticas Discretas y Teora de Grafos
A B = {(2, 2), (2, 4), (2, 6), (2, 8), (3, 2), (3, 4), (3, 6), (3, 8), (5, 2), (5, 4), (5, 6),
(5, 8), (7, 2), (7, 4), (7, 6), (7, 8)}
o Obsrvese que cada elemento del producto cartesiano entre A y B es un par que se
forma, y estrictamente en ese orden, primero por un elemento de A y despus por un
elemento de B. Por la definicin se deben formar todos los posibles pares. En
realidad no es difcil ver que simplemente tomamos el primer elemento de A (2) y
lo emparejamos con cada elemento de B, posteriormente tomamos al segundo
elemento de A (3) y lo emparejamos con cada elemento de B, y as sucesivamente.
El nmero total de posibles pares es el producto del nmero de elementos en A con
el nmero de elementos en B.
B A = {(2, 2), (2, 3), (2, 5), (2, 7), (4, 2), (4, 3), (4, 5), (4, 7), (6, 2), (6, 3), (6, 5),
(6, 7), (8, 2), (8, 3), (8, 5), (8, 7)}
o Este ejemplo nos hace ver que el conjunto resultante de B A es muy diferente al
obtenido en A B. Ello implica que el producto cartesiano no necesariamente ser
conmutativo. Decimos que no necesariamente ya que si existen casos en donde la
conmutatividad de cumple. Considrense a D = {1, 2, 3} y E = {1, 2, 3}. Entonces
es fcil verificar que D E = E D. En general deber siempre asumirse la no
conmutatividad del producto cartesiano.
AC = {1, 4, 6, 8, 9, 10}
BC = {1, 3, 5, 7, 9}
CC = {1, 2, 3, 4, 5, 6, 7, 8}
74
Captulo 2. Teora de Conjuntos
Demostracin:
Analicemos paso a paso la demostracin del Teorema 2.4. Es claro que se debe
demostrar que para cualesquiera conjuntos P, Q y R, que se asume son subconjuntos de un
conjunto universo dado, se cumple que (P Q) R = P (Q R). Ntese que contamos
con una igualdad lo que implica que se debe demostrar que la expresin (P Q) R
define al mismo conjunto que la expresin P (Q R). Como comentamos anteriormente
la idea es manipular una de las expresiones apoyndonos en las definiciones de los
operadores de conjuntos y el lgebra Proposicional hasta obtener la otra expresin en
cuestin. Dado que se tiene una igualdad podemos manipular a (P Q) R hasta obtener
a P (Q R), o bien comenzamos por manipular a P (Q R) hasta obtener a
(P Q) R. La idea es que cualquiera que sea nuestro punto de origen el resultado ser
igual de vlido. En nuestra prueba abordamos la demostracin partiendo de (P Q) R.
Iniciamos aplicando la definicin del operador interseccin sobre P Q. De esta forma
obtenemos
{x: x P x Q}
Sabemos que la interseccin de dos conjuntos produce como resultado un nuevo conjunto.
En nuestro caso se produce un conjunto para el que se tiene que su definicin intencional
establece que x ser uno de sus elementos siempre y cuando x satisfaga la propiedad
x P x Q. Ahora, ntese que este conjunto es intersectado a su vez con el conjunto R:
{x: x P x Q} R
75
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(x P x Q) x R
{x: (x P x Q) x R}
{x: x P (x Q x R)}
P {x: x Q x R}
En este punto debe ser claro que la definicin intencional {x: x Q x R} corresponde
nada ms y nada menos, y en base a la definicin del operador de interseccin, a conjunto
Q R. Solo basta invocar explcitamente a la definicin del operador interseccin para
finalmente obtener
P (Q R)
76
Captulo 2. Teora de Conjuntos
Demostracin:
Los siguientes Teoremas 2.6 y 2.7 son fciles de probar. Se relacionan con la
conmutatividad de la unin y la interseccin, respectivamente.
(P, Q 28)(P Q = Q P)
Demostracin:
(P, Q 28)(P Q = Q P)
77
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
(P 28)(P P = P)
Demostracin:
(P 28)(P P = P)
Demostracin:
(P 28)((PC)C = P)
78
Captulo 2. Teora de Conjuntos
Demostracin:
{x: x 8 x P}
{x: x 8 (x 8 x P)}
{x: x 8 (x 8 x P)}
79
Una Introduccin a las Matemticas Discretas y Teora de Grafos
{x: (x 8 x 8) (x 8 x P)}
{x: F (x 8 x P)}
{x: x 8 x P}
Ahora bien, ntese que el objetivo detrs de estas manipulaciones es llegar a obtener P. La
funcin proposicional x P es una definicin intencional para P, aunque est conectada
mediante una conjuncin a la funcin x 8. Sin embargo, no debe ser difcil apreciar el
hecho de que x 8 es una Tautologa y por tanto equivalente a V. Ello se debe a que
previamente establecimos que todos los elementos de nuestros conjuntos de trabajo estn
contenidos en un conjunto universo. Por lo tanto tiene sentido establecer que x 8 V ya
que todo elemento x forma necesariamente parte del universo que es nuestro conjunto
maximal. Haciendo x 8 V tenemos la funcin proposicional V x P y dado que V es
el elemento neutro para la conjuncin tenemos finalmente nuestro objetivo alcanzado:
{x: x P} = P
Teorema 2.11:
C = 8
80
Captulo 2. Teora de Conjuntos
Demostracin:
Teorema 2.12:
8C =
Demostracin:
(P, Q, R 28)(P Q Q R P R)
81
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
P Q Q R (x 8)(x P x Q) (x 8)(x Q x R)
x0 P x0 Q x0 Q x0 R
Demostracin:
82
Captulo 2. Teora de Conjuntos
Los Teoremas 2.15 y 2.16 validarn el hecho de que para los operadores de unin e
interseccin existen sus correspondientes elementos neutros:
(P 28)(P = P)
Demostracin:
(P 28)(P 8 = P)
83
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
La siguiente Propiedad ser sumamente til ya que nos permite expresar al operador
de diferencia en trminos de los operadores de interseccin y complemento:
Demostracin:
84
Captulo 2. Teora de Conjuntos
Propiedades de Cerradura:
(P, Q 28)(P Q 28)
(P, Q 28)(P Q 28)
(P 28)(PC 28)
Propiedades de Conmutatividad:
(P, Q 28)(P Q = Q P) (Teorema 2.6)
(P, Q 28)(P Q = Q P) (Teorema 2.7)
Propiedades de Asociatividad:
(P, Q, R 28)((P Q) R = P (Q R)) (Teorema 2.5)
(P, Q, R 28)((P Q) R = P (Q R)) (Teorema 2.4)
Propiedades de Distributividad:
(P, Q, R 28)(P (Q R) = (P Q) (P R))
(P, Q, R 28)(P (Q R) = (P Q) (P R))
Propiedades de Idempotencia:
(P 28)(P P = P) (Teorema 2.9)
(P 28)(P P = P) (Teorema 2.8)
Ley del Doble Complemento:
(P 28)((PC)C = P) (Teorema 2.10)
Leyes de DMorgan:
(P, Q 28)((P Q)C = PC QC) (Teorema 2.14)
(P, Q 28)((P Q)C = PC QC)
Existencia de Elementos Neutros:
(P 28)(P = P) (Teorema 2.15)
(P 28)(P 8 = P) (Teorema 2.16)
Existencia de Elementos Complementarios:
(P 28)(P PC = 8)
(P 28)(P PC = )
C = 8 Teorema 2.11)
8 =
C
Teorema 2.12)
Existencia de Elementos Aniquiladores:
(P 28)(P 8 = 8)
(P 28)(P = )
Propiedad de la Diferencia:
(P, Q 28)(P \ Q = P QC) (Teorema 2.17)
85
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 2.18:
Demostracin:
Teorema 2.19:
Demostracin:
86
Captulo 2. Teora de Conjuntos
Teorema 2.20:
(A 28)(A \ A = )
Demostracin:
A \ A = A AC (Propiedad de la Diferencia)
= (Existencia de los Elementos Complementarios en la Interseccin)
Teorema 2.21:
(A, B, C 28)((B \ A) C = (B C) \ A)
Demostracin:
Teorema 2.22:
Demostracin:
87
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 2.23:
Demostracin:
Teorema 2.24:
(A, B, C 28)(C \ (A B) = (C \ A) \ B)
Demostracin:
Teorema 2.25:
(A, B 28)(A (A B) = A)
88
Captulo 2. Teora de Conjuntos
Demostracin:
89
Una Introduccin a las Matemticas Discretas y Teora de Grafos
90
Una Introduccin a las Matemticas Discretas y Teora de Grafos
3. Relaciones y
Funciones
Una Introduccin a las Matemticas Discretas y Teora de Grafos
92
Captulo 3. Relaciones y Funciones
3.1 Definiciones
Sean A y B dos conjuntos. Una Relacin Binaria de A hacia B es un subconjunto
del producto cartesiano entre A y B. Recordemos que el producto cartesiano A B forma a
todos los posibles pares ordenados en los cuales el primer elemento est en A y el segundo
elemento est en B. Por ejemplo, sean X y Y los siguientes conjuntos:
X = {1, 2, 3}
Y = {x, y, z}
Entonces
X Y = {(1, x), (2, x), (3, x), (1, y), (2, y), (3, y), (1, z), (2, z), (3, z)}
Sea el conjunto R = {(1, y), (1, z), (3, y)}. Ntese que R es una relacin binaria de X hacia
Y ya que R X Y.
93
Una Introduccin a las Matemticas Discretas y Teora de Grafos
elemento de A mientras que cada columna a un elemento de B. Todo aquel par ordenado
(a, b) en la relacin binaria se hace presente en la matriz al marcar con 1 la posicin de la
matriz correspondiente al rengln asociado a a con la columna asociada a b. Aquellas
posiciones de la matriz que no correspondan a pares ordenados en la relacin simplemente
se marcan con 0. Vase en la Figura 3.1 las dos representaciones que se tienen para nuestra
relacin R = {(1, y), (1, z), (3, y)}. La Figura 3.1.a presenta a los elementos de los conjuntos
X y Y. Se tiene una flecha que conecta al elemento 1 de X con el elemento y de Y. Con esto
se expresa la existencia del par ordenado (1, y). En el caso de la Figura 3.1.b tenemos la
representacin matricial de R. La matriz correspondiente tiene tamao 3 3. Ntese como
es que se tienen 3 posiciones marcadas con el valor 1. Estas posiciones corresponden
precisamente con los 3 pares ordenados presentes en R: (1, y), (1, z) y (3, y).
X Y
1 x R x y z
1 0 1 1
2 y 2 0 0 0
3 0 1 0
3 z
a) b)
Figura 3.1. Representaciones visuales de la relacin R = {(1, y), (1, z), (3, y)}
(vase el texto para detalles).
Es decir, la relacin inversa R-1 se forma por aquellos pares ordenados los cuales cuando se
invierten, stos estn en R. Por ejemplo, consideremos nuevamente a nuestra relacin
R = {(1, y), (1, z), (3, y)}. Entonces, de acuerdo a la definicin anterior, se tiene que la
relacin inversa de R est dada por R-1 = {(y, 1), (z, 1), (y, 3)}. Debe ser claro que ahora el
dominio de R-1 est dado por {y, z} B mientras que el codominio es {1, 3} A.
94
Captulo 3. Relaciones y Funciones
A = {1, 2, 3, 4}
B = {a, b, c, d}
C = {x, y, z}
R = {(1, a), (2, d), (3, a), (3, b), (3, d)}
La Figura 3.2 nos presenta visualmente a las relaciones que acabamos de definir.
A B C
1 a x
2 b
y
3 c
4 d z
Figura 3.2. Visualizacin de las relaciones R = {(1, a), (2, d), (3, a), (3, b), (3, d)},
S = {(b, x), (b, z), (c, y), (d, z)} y S o R (vase el texto para detalles).
95
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(a A)(a R a) (a A)(a R a)
(a A)((a, a) R)
Ello quiere decir que contamos con la condicin formal para caracterizar a una relacin
binaria R como No Reflexiva:
R3 = {(1,3), (2,1)}
o Claramente esta relacin es No Reflexiva ya que no cuenta con ningn par
ordenado de la forma (a, a). Ntese como es que en su representacin matricial,
Figura 3.3.c, se tiene que todos los elementos sobre la diagonal principal tienen
asignado el valor 0.
96
Captulo 3. Relaciones y Funciones
R4 =
o En primer lugar tenemos que R4 = A A por lo tanto R4 es una relacin
binaria de A hacia s mismo. Ahora bien, para todo elemento de A se cumple
que (a, a) R4. Por lo tanto, R4 = es No Reflexiva. Ahora bien, esta
conclusin nicamente ser vlida cuando el conjunto A . Si A =
entonces = y en consecuencia se sigue contando con una relacin
binaria como tal. Sin embargo, ntese que es imposible encontrar en un
principio un elemento a que nos permita demostrar que (a, a) . En
otras palabras, dado que no tenemos manera de refutar la reflexividad de la
relacin del conjunto hacia s mismo, entonces debemos aceptar que sta
efectivamente es reflexiva. El argumento que acabamos de aplicar se denomina
Demostracin por Vacuidad.
R5 = A A
o En este caso es claro que todos los posibles pares de elementos tomados del
conjunto A estn presentes en R5. Ello incluye a (1, 1), (2, 2), (3, 3) y (4, 4).
Vase la Figura 3.3.e. De hecho es posible establecer que la relacin A A, para
cualquier conjunto A, ser siempre reflexiva. Esta afirmacin prevalece incluso
cuando A = (vase la descripcin antes dada para el ejemplo con R4 = ).
R1 1 2 3 4 R2 1 2 3 4 R3 1 2 3 4
1 1 1 1 0 1 1 1 0 0 1 0 0 1 0
2 0 0 1 0 2 1 1 0 0 2 1 0 0 0
3 0 0 0 0 3 0 0 1 0 3 0 0 0 0
4 0 0 0 1 4 0 0 0 1 4 0 0 0 0
a) b) c)
R4 1 2 3 4 R5 1 2 3 4
1 0 0 0 0 1 1 1 1 1
2 0 0 0 0 2 1 1 1 1
3 0 0 0 0 3 1 1 1 1
4 0 0 0 0 4 1 1 1 1
d) e)
Figura 3.3. Las representaciones matriciales de las relaciones a) R1, b) R2, c) R3, d) R4 y e) R5
(vase el texto para detalles). Se enfatizan los elementos sobre la diagonal principal de las matrices para
apoyar en las caracterizaciones de R1 a R5 como reflexivas o no reflexivas.
Sea R una relacin binaria de un conjunto A hacia s mismo. Se dice que R es una
relacin Simtrica si para todo par (a, b) en R se tiene que (b, a) tambin est en R.
Simblicamente se tiene que:
97
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Un punto importante surge del hecho de que el enunciado comienza estableciendo que los
elementos a y b a considerar se toman del conjunto A. La intuicin nos podra decir que a y
b deberan de hecho formar un par en la relacin R ya que tomar cualquier a y b en A no
garantiza que el par formado est precisamente en R. Por lo tanto, podramos decir que la
proposicin general debera iniciar estableciendo Para cualquier par (a, b) en R. Sin
embargo ntese que la funcin proposicional en consideracin es una implicacin o
condicional. El par de elementos a, b que se est tomando en cuenta es sustituido tanto en
el antecedente a R b como en el consecuente b R a. Dependiendo de la veracidad o falsedad
de las proposiciones a R b y b R a es que se determina evidentemente el valor final de la
implicacin. Ahora bien, si el par (a, b) no est en R entonces el antecedente a R b ser
falso. Independientemente del valor del consecuente b R a tendremos que F b R a V.
La otra situacin bajo la cual la condicional es verdadera se presenta cuando tanto (a, b)
como (b, a) estn en R: a R b b R a V. Por otro lado, si el par (a, b) est en R pero
(b, a) no est entonces tendremos la instancia bajo la cual a R b b R a F. El punto de
esta discusin es establecer el hecho de que independientemente de los elementos a y b que
tomemos del conjunto A, tal como lo establece nuestra definicin de simetra, realmente lo
que nos interesa para caracterizar a nuestras relaciones es la presencia o ausencia del caso
a R b b R a F. Tenemos claro conocimiento de que si esta instancia nunca se presenta
entonces es que la relacin en cuestin es efectivamente simtrica. De lo contrario, la
relacin es no simtrica. En la prctica no se efecta la prueba considerando en total los n2
posibles pares formados por elementos del conjunto A, donde n es su nmero de elementos.
Sabemos que si se forma un par que no est en la relacin R la condicional a R b b R a
ser verdadera. En realidad se procede con la prueba considerando nicamente los pares
(a, b) que sabemos que efectivamente estn en la relacin R. Esta ltima observacin ser
de hecho tambin tomada en cuenta para las caracterizaciones, adems de la simetra, que
definiremos para nuestras relaciones.
(a, b A)(a R b b R a)
(a, b A)((a R b b R a))
(a, b A)(((a R b) b R a)) (Propiedad del Condicional)
(a, b A)(a R b (b R a)) (Ley de DMorgan)
(a, b A)(a R b b R a) ((b R a) b R a)
98
Captulo 3. Relaciones y Funciones
R3 = {(1,3), (2,1)}
o R3 es no simtrica ya que (1, 3) R3 pero (3, 1) R3.
R4 =
o Supngase que se desea refutar que R4 es simtrica al probar que de hecho es no
simtrica. Por lo tanto debemos presentar un par (a, b) en R4 para el cual se
tenga que (b, a) no est en R4. Sin embargo R4 es el conjunto vaco. Ello se
traduce en que no contamos con al menos un caso para efectivamente refutar el
hecho de que R4 es simtrica. Por lo tanto, usando nuestro argumento de
vacuidad, concluimos que R4 debe ser caracterizada como simtrica.
R5 = A A
o Dado que todos los posibles pares de elementos tomados del conjunto
A = {1, 2, 3, 4} estn en R5 entonces podemos garantizar sin problema alguno
que para cualquier par (a, b) en R5, ya sea que a = b o bien a b, tendremos que
el par (b, a) tambin estar en R5. Entonces R5 es una relacin simtrica.
Se sabe que una matriz M de tamao n n es una Matriz Simtrica si se cumple que
M[i][j] = M[j][i], para todo i, j = 1, 2, , n. O en otras palabras la matriz M es simtrica si
sta y su transpuesta MT son iguales. Observemos las representaciones matriciales de las
relaciones R1 a R5 dadas en la Figura 3.4. Ntese la relacin directa que existe entre el
hecho de que una relacin sea caracterizada como simtrica y que su matriz
correspondiente sea tambin simtrica. Ello se debe a que el hecho de que los elementos
M[i][j] y M[j][i] de una matriz M sean iguales a 1 hacen referencia precisamente a los pares
(i, j) y (j, i) en la relacin R correspondiente. Decir que para todo elemento de la matriz
M[i][j] = 1 se cumple que M[j][i] = 1 es equivalente a decir se tiene que en la relacin tanto
el par (i, j) como el par (j, i) estn en R. Ello se traduce en que la matriz M es simtrica si y
99
Una Introduccin a las Matemticas Discretas y Teora de Grafos
R1 1 2 3 4 R2 1 2 3 4 R3 1 2 3 4
1 1 1 1 0 1 1 1 0 0 1 0 0 1 0
2 0 0 1 0 2 1 1 0 0 2 1 0 0 0
3 0 0 0 0 3 0 0 1 0 3 0 0 0 0
4 0 0 0 1 4 0 0 0 1 4 0 0 0 0
a) b) c)
R4 1 2 3 4 R5 1 2 3 4
1 0 0 0 0 1 1 1 1 1
2 0 0 0 0 2 1 1 1 1
3 0 0 0 0 3 1 1 1 1
4 0 0 0 0 4 1 1 1 1
d) e)
Figura 3.4. Las representaciones matriciales de las relaciones a) R1, b) R2, c) R3, d) R4 y e) R5
(vase el texto para detalles). nicamente las matrices asociadas a las relaciones R2, R4 y R5 son simtricas.
Sea R una relacin binaria de un conjunto A hacia s mismo. Se dice que R es una
relacin Antisimtrica si para todos los pares tales que (a, b), (b, a) estn en R se tiene que
a = b. Simblicamente:
(a, b A)(a R b b R a a = b)
(a, b A)((a R b b R a a = b))
(a, b A)(((a R b b R a) a = b)) (Propiedad del Condicional)
(a, b A)(((a R b) (b R a)) a = b)) (Ley de DMorgan)
(a, b A)(((a R b b R a) a = b)) ((a R b) a R b)
(a, b A)( (a R b b R a) (a = b)) (Ley de DMorgan)
(a, b A)( a R b b R a (a = b)) (Ley de DMorgan)
(a, b A)( a R b b R a a b) ((a = b) a b)
100
Captulo 3. Relaciones y Funciones
R2 = {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)} es no antisimtrica ya que se tiene que los
pares (1, 2) y (2, 1) estn en R2 pero 1 2. Es decir, tenemos una instancia en que la
proposicin a R2 b b R2 a a b se hizo verdadera.
101
Una Introduccin a las Matemticas Discretas y Teora de Grafos
R4 = :
o Ntese que para cualesquiera elementos a y b en A se tiene que a R4 b F y que
b R4 a F. Por lo tanto la conjuncin a R4 b b R4 a es falsa.
Independientemente de si se cumple o no que a = b tenemos que la condicional
a R4 b b R4 a a = b siempre ser verdadera. Por lo tanto, R4 es
antisimtrica. Otra manera de justificar nuestra aseveracin es simplemente
establecer que no se cuenta con pares (a, b) y (b, a) en R4 tales que a = b. Ello se
debe a que R4 es precisamente el conjunto vaco. Dado que no contamos con
elementos para validar el hecho de que R4 es no antisimtrica entonces por
argumento de vacuidad debemos aceptar que efectivamente es antisimtrica.
R1 1 2 3 4 R2 1 2 3 4 R3 1 2 3 4
1 1 1 1 0 1 1 1 0 0 1 0 0 1 0
2 0 0 1 0 2 1 1 0 0 2 1 0 0 0
3 0 0 0 0 3 0 0 1 0 3 0 0 0 0
4 0 0 0 1 4 0 0 0 1 4 0 0 0 0
a) b) c)
R4 1 2 3 4 R5 1 2 3 4
1 0 0 0 0 1 1 1 1 1
2 0 0 0 0 2 1 1 1 1
3 0 0 0 0 3 1 1 1 1
4 0 0 0 0 4 1 1 1 1
d) e)
Figura 3.5. Las representaciones matriciales de las relaciones a) R1, b) R2, c) R3, d) R4 y e) R5
(vase el texto para detalles). nicamente las matrices asociadas a las relaciones R1, R3 y R4
son antisimtricas.
102
Captulo 3. Relaciones y Funciones
Sea R una relacin binaria de un conjunto A hacia s mismo. Se dice que la relacin
R es Transitiva si para todos los pares (a, b) y (b, c) en R se cumple que el par (a, c)
tambin est en R. Simblicamente tendremos:
(a, b, c A)(a R b b R c a R c)
(a, b, c A)((a R b b R c a R c))
(a, b, c A)(((a R b b R c) a R c)) (Propiedad del Condicional)
(a, b, c A)(((a R b b R c) a R c)) (Ley de DMorgan)
(a, b, c A)((a R b b R c) a R c) (Ley de DMorgan)
(a, b, c A)(a R b b R c a R c) (Ley de DMorgan)
Es decir, tendremos que una relacin ser No Transitiva si se cumple que existen pares
(a, b) y (b, c) tales que ambos estn en R pero tambin se cumple que el par (a, c) no est
en R. Simblicamente se establece como:
Ejemplos:
R1 = {(1,1), (1,2), (2,3), (1,3), (4,4)} es transitiva ya que:
o 1 R1 1 1 R1 1 1 R1 1 V V V V.
o 4 R1 4 4 R1 4 4 R1 4 V V V V.
o 1 R1 1 1 R1 2 1 R1 2 V V V V.
o 1 R1 2 2 R1 3 1 R1 3 V V V V.
o Ntese que existen an ms combinaciones de pares por revisar ya que la
definicin de transitividad nos exige que formemos pares de la forma
(a, b), (b, c) donde a, b y c son tomados del conjunto A = {1, 2, 3, 4}. Por
ejemplo, consideremos a los pares (2, 3) y (3, 1) formados a partir de a = 2,
b = 3 y c = 1. Se debe validar que con esta instancia la proposicin
a R1 b b R1 c a R1 c sea verdadera. Tenemos que el par (2, 3)
efectivamente est en R1 mientras que los pares (3, 1) y (2, 1) no estn. Por lo
tanto tenemos que el antecedente 2 R1 3 3 R1 1 es falso as como el
consecuente 2 R1 1. Sin embargo, sabemos que F F V. Realmente el caso
que nos debe ocupar es aquel en donde el antecedente a R1 b b R1 c sea
verdadero y el consecuente a R c sea falso ya que entonces tenemos la instancia
V F F. En esta situacin tanto el par (a, b) como el par (b, c) estn en la
103
Una Introduccin a las Matemticas Discretas y Teora de Grafos
relacin pero el par esperado (a, c) no lo est. Entonces, en general es claro que
si se considera un par que no est en la relacin el antecedente a R1 b b R1 c es
falso pero a final de cuentas la condicional ser verdadera. Operacionalmente
esto nos dice que para determinar si la relacin es transitiva o no se deben a
poner a prueba nicamente las combinaciones (a, b) y (b, c) tales que ambos
pares estn en la relacin. Para el caso de la relacin R1 tenemos que
nicamente hay 4 combinaciones a considerar.
R3 = {(1,3), (2,1)} es no transitiva ya que (2, 1) y (1, 3) estn ambos en R3, pero el par
esperado (2, 3) no est en R3. Esto hace que la proposicin 2 R3 1 1 R3 3 2 R3 3 sea
verdadera.
R4 = es transitiva:
o Para cualquier combinacin de la forma (a, b), (b, c) donde a, b y c son tomados
del conjunto A = {1, 2, 3, 4} se tiene que la condicional
a R4 b b R4 c a R4 c se har verdadera ya que siempre se tendr la instancia
F F F V. Por lo tanto, R4 es transitiva. Otra manera de justificar nuestra
aseveracin es simplemente establecer que no se cuenta con pares (a, b) y (b, c)
en R4 y el par (a, c) que no est en R4. Ello se debe a que R4 es precisamente el
conjunto vaco. Dado que no contamos con elementos para validar el hecho de
que R4 es no transitiva entonces por argumento de vacuidad debemos aceptar
que efectivamente es transitiva.
x R] y x y
104
Captulo 3. Relaciones y Funciones
Por ejemplo, es claro que 3 R] 5 ya que se cumple que 3 5. Por otro lado, 5 R] 3 ya que es
falso que 5 3.
Demostracin:
b) R] es no simtrica ya que, por ejemplo, tenemos que para los nmeros 1 y 2 ambos en
] se tiene que es verdadero que 1 2 pero es falso que 2 1. Este caso particular nos
permite hacer que la proposicin general (1, 2 ] )(1 2 2 1) sea verdadera.
105
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Es decir, R` se conforma por aquellos pares de nmeros naturales (x, y) tales que al
sustituirlos en la expresin x + 3y se tiene el valor final 12. Se determinarn en primer lugar
los elementos de R` . Ntese que
x + 3y = 12
3y = 12 x
y = (12 x)/3
Es decir, hemos expresado a y en trminos de x. Por lo tanto para determinar los pares
asignaremos valores a x obteniendo con ello el correspondiente valor para y. Es claro que
(12 x)/3 es un cociente que para ciertos valores de x puede no proporcionarnos un nmero
natural.
Ntese que para todo x > 12 se tiene que y = (12 x)/3 ser un nmero negativo el cual
obviamente no est en ` . Por lo tanto la relacin se conforma nicamente por 3 pares:
106
Captulo 3. Relaciones y Funciones
Demostracin:
b) R` es no simtrica ya que existen los nmeros naturales 6 y 2 tales que (6, 2) R` pero
el par (2, 6) no est en R` . Esto permite verificar que la proposicin general
(6, 2 ` )(6 R` 2 2 R` 6) es verdadera.
Sea R una relacin binaria de un conjunto A hacia s mismo. Se dice que R es una
Relacin de Orden Parcial si es Reflexiva, Antisimtrica y Transitiva.
107
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Si A es un conjunto diferente del vaco en el que est definida una relacin de orden
parcial R y adems tiene la propiedad de que
(a, b A)(a R b b R a)
Entonces se dice que R es una Relacin de Orden Total y tambin se dice que el conjunto
A est Totalmente Ordenado.
Demostracin:
Por el Teorema 3.1 la relacin R] es caracterizada como Relacin de Orden Parcial. Ahora
se debe probar que para R] la proposicin general (x, y ] )(x R] y y R] x) es
verdadera. Sin embargo es claro que para cualquier par de nmeros enteros x, y tales x y
que se tiene que x y o bien que y x. Si x = y entonces se cumple tanto x y como y x.
En consecuencia la relacin R] es una Relacin de Orden Total y de hecho el conjunto de
los nmeros enteros, bajo la relacin R] es un conjunto Totalmente Ordenado.
[a] = {x A: x R a}
A/R = {[a]: a A}
108
Captulo 3. Relaciones y Funciones
x Rm y x y (mod m)
109
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Demostracin:
Reflexividad:
Simetra:
Transitividad:
( x y) + ( y z) = x z
s1 m + s2 m = x z
m( s1 + s2 ) = x z
El lado izquierdo de la igualdad nos dice que x z puede ser expresado como m(s1 + s2)
pero ms importante an: que m es factor de x z. Por lo tanto x z es divisible por m y
en consecuencia se tiene que x z (mod m). Se concluye que la proposicin general
(x, y, z ] )(x Rm y y Rm z x Rm z) es verdadera.
Tenemos entonces los elementos para caracterizar a la relacin Rm como una Relacin de
Equivalencia.
110
Captulo 3. Relaciones y Funciones
[a] = {x ] : x R5 a}
[0] = {x ] : x R5 0}
[1] = {x ] : x R5 1}
Un entero x estar en [1] si x 1 es divisible por 5. Es claro que los elementos en [1] sern
aquellos para los cuales x 1 es igual a un entero mltiplo de 5:
En este punto debe ser claro como construir a las clases de equivalencia [3] y [4]:
x5 x 5
=
5 5 5
111
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Lo que nos indica que x desde un principio era tambin mltiplo de 5. Es claro que el
conjunto de enteros a considerar es el mismo que se uso para definir a la clase de
equivalencia [0]. Por lo tanto, tenemos que
[5] = {x ] : x R5 5} = {, -20, -15, -10, -5, 0, 5, 10, 15, 20, 25, } = [0]
Ahora veamos que una situacin similar se presenta con la clase de equivalencia con
representante a = 6 ya que los elementos que la conformarn son aquellos para los cuales
x 6 es divisible por 5. Pero ntese que:
x 6 ( x 1) 5 ( x 1) 5
= =
5 5 5 5
Por lo tanto, tenemos que x 1 es igual a un entero mltiplo de 5. Pero este requerimiento
lo presentaron los elementos que en su momento formaron a la clase de equivalencia [1].
En consecuencia:
[6] = {x ] : x R5 6} = {, -19, -14, -9, -4, 1, 6, 11, 16, 21, 26, } = [1]
[7] = {x ] : x R5 7} = {, -18, -13, -8, -3, 2, 7, 12, 17, 22, 27, } = [2]
Los razonamientos anteriores nos proporcionan elementos para establecer que las clases de
equivalencia con representantes a = 8 y a = 9 tendrn los mismos elementos que las clases
[3] y [4] respectivamente:
[8] = {x ] : x R5 8} = {, -17, -12, -7, -2, 3, 8, 13, 18, 23, 28, } = [3]
[9] = {x ] : x R5 9} = {, -16, -11, -6, -1, 4, 9, 14, 19, 24, 29, } = [4]
[10] = [0]
Observemos que de continuar con nuestro proceso, y gracias a los razonamientos antes
efectuados, podemos afirmar que:
112
Captulo 3. Relaciones y Funciones
3.3 Funciones
Considrese a una relacin R de un conjunto A hacia un conjunto B. Decimos que R
es una Funcin si satisface las siguientes dos propiedades:
(a A)(b B)(a R b)
(a A)(b1, b2 B)(a R b1 a R b2 b1 = b2)
Tomemos las dos proposiciones generales que nos definen a una funcin y
obtengamos, mediante la aplicacin del lgebra Proposicional, sus correspondientes
negaciones:
(a A)(b B)(a R b)
(a A)(b B)(a R b)
Tenemos los criterios para establecer la situacin en la que una relacin no puede ser
caracterizada como una funcin. Decimos que R no es una funcin si una de las dos
siguientes propiedades se cumple:
(a A)(b B)(a R b)
(a A)( b1, b2 B)(a R b1 a R b2 b1 b2)
Por ejemplo, consideremos al conjunto de los nmeros reales \ . Sea R una relacin
de \ hacia \ definida como:
113
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Puede R/ ser caracterizada como una funcin? La primer condicin que se debe cumplir
establece que para todo x en \ debe existir su correspondiente y, tambin en \ , tal que
y = 1/x. Si manipulamos el cociente podemos encontrar que de hecho x y y son recprocos:
y = 1/x xy = 1
Entonces es claro que casi para cualquier nmero real x existe su correspondiente recproco.
Existe una excepcin: cuando x = 0. Si tomamos la expresin xy = 1 tenemos entonces que
buscamos un nmero y con la propiedad de que al ser multiplicado por x = 0 el resultado
sea 1:
0y = 1
Evidentemente, por propiedades de los nmeros reales, tenemos que 0y = 1, para cualquier
y en \ , es una contradiccin. Ello implica que la proposicin (0 \ )(y \ )(0 R/ y)
es verdadera. Por lo tanto la proposicin general (x \ )(y \ )(x R/ y) es falsa. En
consecuencia la relacin R/ = {(x, y): y = 1/x} no es una funcin.
Ntese que el nico cambio efectuado tiene que ver con el conjunto de valores que puede
tomar x, el cual ahora es el conjunto de todos los nmeros reales excepto el cero. Ahora es
claro que y = 1/x nos proporciona el recproco de cualquier nmero x 0. El recproco y es
tambin un nmero real. Por lo tanto es verdadera la proposicin
(x \ \ {0})(y \ )(x R/ y)
R/ no puede ser declarada an como una funcin ya que necesitamos verificar que la
proposicin general (x \ \ {0})(y1, y2 \ )(x R/ y1 x R/ y2 y1 = y2) es verdadera.
Sean x, y1 y y2 cualesquiera reales para los cuales la proposicin x R/ y1 x R/ y2 es
verdadera. Por lo tanto se cumple:
1 1
y1 = y2 =
x x
xy1 = 1 xy2 = 1
xy1 = xy2
y1 = y2
Es decir, acabamos de probar, auxiliados por la aplicacin del lgebra de los nmeros
reales, que la conjuncin inicial tiene como consecuencia que los nmeros y1 y y2 son de
hecho el mismo nmero. Por lo tanto hemos verificado que x R/ y1 x R/ y2 implica que
114
Captulo 3. Relaciones y Funciones
R: A B
a R (a )
R/ : \ \{0} \
1
x R/ ( x) =
x
De hecho la expresin R(x) = 1/x tambin pudo haber sido escrita como y = 1/x haciendo
referencia al hecho de que x se relaciona mediante R/ con el elemento y.
115
Una Introduccin a las Matemticas Discretas y Teora de Grafos
f: A B
x f ( x) = y
En ocasiones, y sobre todo cuando dominio y codominio son ambos conjuntos con nmero
finito de elementos, es posible reemplazar la notacin general x f(x) = y mostrando
explcitamente como se relacionan entre s los elementos en el dominio con los elementos
en el codominio. De tal forma, que para nuestra funcin f = {(a, s), (b, u), (c, r), (d, s)}
tendramos:
f: A B
a f (a) = s
b f (b) = u
c f (c ) = r
d f (d ) = s
116
Captulo 3. Relaciones y Funciones
Cuando x = 1 tenemos que existen un par de elementos en el codominio que hacen que
la proposicin 1 h y1 1 h y2 y1 = y2 sea falsa. Estos elementos son y1 = 3 y y2 = 2.
Ello implica que la proposicin general (1 A)(2,3 A)(1 h 2 1 h 3 2 3) es
verdadera.
Por lo tanto se concluye que la relacin h no es una funcin.
Notemos que mediante el uso de nuestra lgebra Proposicional podemos encontrar otra
forma de expresar a la proposicin a1 a2 f(a1) f(a2):
a1 a2 f(a1) f(a2)
(a1 = a2) (f(a1) = f(a2))
((a1 = a2)) (f(a1) = f(a2) (Propiedad del Condicional)
(a1 = a2) (f(a1) = f(a2)) (Propiedad de la Doble Negacin)
(f(a1) = f(a2)) (a1 = a2) (Propiedad Conmutativa de la Disyuncin)
f(a1) = f(a2) a1 = a2 (Propiedad del Condicional)
Por lo tanto contamos con una forma alternativa para caracterizar a una funcin como
inyectiva:
117
Una Introduccin a las Matemticas Discretas y Teora de Grafos
f: \ \
x f ( x) =| x |
Recurdese que | x | denota al valor absoluto del nmero real x. Deseamos verificar que
f(x) = | x | es una funcin inyectiva. Por definicin, debemos probar que la proposicin
general (x1, x2 A)(x1 x2 | x1 | | x2 |) es verdadera. Ahora bien, recordemos que el
valor absoluto puede definirse de la siguiente manera:
x = x2
Precisamente esta ltima expresin nos proporciona informacin sumamente til. Ello se
debe a que independientemente de que x sea positivo o negativo o cero, el resultado de
x 2 es siempre un no negativo. Y esto abre la posibilidad de considerar nmeros reales
diferentes pero cuyo valor absoluto sea el mismo. Por ejemplo, sean x1 = 2 y x2 = -2. Es
claro que se cumple con el requisito de que x1 x2. Pero es claro tambin que |x1| = |x2| = 2.
Ello implica que hemos encontrado una instancia de sustitucin para la proposicin
x1 x2 | x1 | | x2 | que la hace falsa. En consecuencia, la proposicin general
(x1, x2 A)(x1 x2 | x1 | | x2 |) es falsa. O de manera equivalente, tenemos que
(-2, 2 \ )(-2 2 | -2 | = | 2 |) es verdadera. Por lo tanto la funcin valor absoluto es no
inyectiva.
g: \ \
x g ( x) = 2 x + 3
Sean x1 y x2 cualesquiera nmeros reales tales que cumplen con 2x1 + 3 = 2x2 + 3.
Manipulemos la igualdad utilizando nuestra lgebra de los Nmeros Reales:
2x1 + 3 = 2x2 + 3
2x1 + 3 3 = 2x2 + 3 - 3
2x1 = 2x2
(1/2)2x1 = (1/2)2x2
x1 = x2
118
Captulo 3. Relaciones y Funciones
119
Una Introduccin a las Matemticas Discretas y Teora de Grafos
(b B)(a A)(f(a) = b)
(b B)(a A)(f(a) = b)
(b B)(a A)((f(a) = b))
(b B)(a A)(f(a) b)
Es decir:
Por ejemplo, sean A = {1, 2, 3, 4, 5} y B = {10, 20, 30} y sea la funcin f1 dada por:
f1 : A B
1 f1 (1) = 10
2 f1 (2) = 10
3 f1 (3) = 20
4 f1 (4) = 20
5 f1 (5) = 30
Demostremos que para todo elemento b en el conjunto B se tiene que existe un elemento a
en el conjunto A tal que f1(a) = b:
Para b = 10 existe el elemento a = 1 tal que f1(1) = 10.
Para b = 20 existe el elemento a = 3 tal que f1(3) = 20.
Para b = 30 existe el elemento a = 5 tal que f1(5) = 30.
Por lo tanto se tiene que la proposicin (b {10, 20, 30})(a {1, 2, 3, 4, 5})(f1(a) = b)
es verdadera. Entonces f1 es una funcin suprayectiva.
120
Captulo 3. Relaciones y Funciones
f: \ \
x f ( x) =| x |
Sabemos que para todo x en los reales el valor absoluto de x, independientemente de que
ste sea positivo, negativo o cero, ser un nmero no negativo. Sin embargo ntese que el
codominio de nuestra funcin considera a todos los reales: \ . Eso quiere decir que para
cualquier negativo en el codominio no existir un real en el dominio cuyo valor absoluto
sea precisamente negativo. Por ejemplo, consideremos al nmero -2. No existe un nmero x
en los reales tal que | x | = -2. De hecho con este simple ejemplo nos basta para establecer
que la proposicin general (-2 \ )(x \ )(| x | -2) es verdadera y entonces
caracterizar a la funcin valor absoluto como no suprayectiva. Ahora bien, la no
suprayectividad de | x | se debe a cmo fue definido en particular su codominio. Si la
funcin es redefinida como
f: \ \ + {0}
x f ( x) =| x |
Es decir, considerando como codominio nicamente a los nmeros reales positivos junto
con el cero, \ + {0} , entonces ser claro que para cualquier elemento y en el nuevo
codominio podremos encontrar su correspondiente x en el dominio tal que y = | x |. Con esta
modificacin tenemos entonces que la funcin valor absoluto es suprayectiva.
g: \ \
x g ( x) = 2 x + 3
y = 2x + 3
y 3 = 2x
(y 3)/2 = x
121
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Considrese la funcin
g2 : \ \
x g 2 ( x) = x 2
y = x2
y=x
El problema de que debe apreciarse en este punto es que los valores que puede tomar y
pueden ser negativos, ya que el codominio se estableci era todo el conjunto de los
nmeros reales. Sin embargo, la raz cuadrada no est definida para los reales negativos.
Eso quiere decir que entonces, por ejemplo, si y = -4 concluimos que no existe ningn
nmero real x tal que x2 = -4. Esta instancia hace que la proposicin general
(-4 \ )(x \ )(x2 -4) sea verdadera y en consecuencia g2 es no suprayectiva. Tal
como sucedi con la funcin valor absoluto es posible hacer una correccin sobre el
codominio:
g 2 : \ \ + {0}
x g 2 ( x) = x 2
Bajo este nuevo contexto tenemos que nuestra frmula y = x queda bien definida ya
que los valores que ahora puede tomar y sern no negativos. Esto implica que g2 puede ser
ahora caracterizada como suprayectiva.
g: \ \
x g ( x) = 2 x + 3
era tanto inyectiva como suprayectiva. Por lo tanto la funcin g es una funcin biyectiva.
122
Captulo 3. Relaciones y Funciones
f: A B
1 f (1) = 10
2 f (2) = 20
3 f (3) = 30
go f: A C
a ( g o f )(a )
Por ejemplo, sean los conjuntos A = {1, 2, 3}, B = {10, 20, 30} y C = {x, y, z}. Sean
las funciones f y g dadas por:
f: A B g: B C
1 f (1) = 10 10 g (10) = x
2 f (2) = 20 20 g (20) = y
3 f (3) = 30 30 g (30) = z
123
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Vista como un conjunto de pares ordenados tenemos que g o f = {(1, x), (2, y), (3, z)}.
f: \ \ g: \ \
x f ( x) = 2 x + 3 x g ( x) = 3x + 2
Entonces tenemos las siguientes composiciones (todas las funciones resultantes tendrn por
dominio y codominio a \ ):
(g o f)(x) = g(f(x)) = g(2x + 3) = 3(2x + 3) + 2 = 6x + 11
(f o g)(x) = f(g(x)) = f(3x + 2) = 2(3x + 2) + 3 = 6x + 7
(f o f)(x) = f(f(x)) = f(2x + 3) = 2(2x + 3) + 3 = 4x + 9
(g o g)(x) = g(g(x)) = g(3x + 2) = 3(3x + 2) + 2 = 9x + 8
Por ejemplo, sean A = {1, 2, 3} y B = {10, 20, 30}. Sea la funcin f dada por:
f: A B
1 f (1) = 10
2 f (2) = 20
3 f (3) = 30
Previamente demostramos que esta funcin es biyectiva. Por lo tanto debe existir su
correspondiente funcin inversa. Entonces f -1 estar dada por:
f -1 : B A
10 f (10) = 1
-1
20 f -1 (20) = 2
30 f -1 (30) = 3
124
Captulo 3. Relaciones y Funciones
f o f -1 : B B
10 ( f o f )(10) = f ( f -1 (10)) = f (1) = 10
-1
f -1 o f : A A
1 ( f o f )(1) = f ( f (1)) = f -1 (10) = 1
-1 -1
Es claro que las funciones obtenidas son diferentes. Pero tienen en comn el hecho de que
todos los elementos en sus dominios tienen por pareja en el codominio a si mismos. En
otras palabras, tanto f o f -1 como f -1 o f pueden verse como funciones que no modifican
en manera alguna a sus valores de entrada. Este tipo de funciones nos conducen a la
siguiente definicin:
(x A)((x) = x)
g: \ \
x g ( x) = 2 x + 3
En este caso deseamos encontrar a su correspondiente funcin inversa g -1. Por definicin,
g -1(y) = x, donde y \ y el elemento x \ es tal que g(x) = 2x + 3 = y. En otras
palabras, dado un real y en el codominio deseamos encontrar su correspondiente pareja x en
el dominio tal que ambos satisfagan la relacin 2x + 3 = y. Cuando se demostr que g(x) era
125
Una Introduccin a las Matemticas Discretas y Teora de Grafos
una funcin suprayectiva se obtuvo una expresin en trminos de y que permita ubicar al
elemento x que le corresponda:
x = (y 3)/2
Precisamente esta expresin es la que define a la funcin inversa de g. Por lo tanto se tiene:
g -1(y) = (y 3)/2
Tal como procedimos en el ejemplo anterior, veamos que sucede cuando efectuamos las
composiciones g -1 o g y g o g -1:
g -1 o g:
g 1 o g : \ \
( g 1 o g )( x) = g 1 ( g ( x))
= g 1 (2 x + 3)
x
= ((2 x + 3) 3) / 2
=x
g o g -1:
g o g 1 : \ \
( g o g 1 )( x) = g ( g 1 ( x))
= g (( x 3) / 2)
x
= 2(( x 3) / 2) + 3
=x
De nueva cuenta vemos que se obtuvieron funciones identidad. En este punto vale la pena
hacer una aclaracin. En este ejemplo, para determinar a la funcin inversa de g hicimos
uso de un resultado que se produjo al demostrar que g era efectivamente suprayectiva. Sin
embargo, en lo general, la suprayectividad por si sola no garantiza que una funcin sea
biyectiva y en consecuencia cuente con su correspondiente inversa. Se debe tener siempre
en consideracin que, por definicin, para que una funcin tenga su correspondiente inversa
sta debe ser tanto inyectiva como suprayectiva, o en trminos equivalentes, debe ser
biyectiva.
Finalizaremos este Captulo al formalizar la relacin que existe entre una funcin
biyectiva, su inversa y las composiciones entre stas:
Teorema 3.5: Sea f:A B una funcin biyectiva y sea f -1:B A su correspondiente
funcin inversa. Las composiciones f -1 o f y f o f -1 corresponden a funciones identidad.
126
Captulo 3. Relaciones y Funciones
Demostracin:
Los razonamientos anteriores son vlidos para todos los elementos en el dominio A de f
dado que el elemento x considerado fue cualquiera de ellos. Por lo tanto se tiene la validez
de la proposicin general:
(x A)((f -1 o f)(x) = x)
Ntese que para el caso f o f -1 se sigue una secuencia de pasos similar a los antes
presentados. Se llega entonces a verificar la validez de la proposicin general:
(y B)((f o f -1)(y) = y)
127
Una Introduccin a las Matemticas Discretas y Teora de Grafos
128
Una Introduccin a las Matemticas Discretas y Teora de Grafos
4. Sucesiones, Series
e Induccin Matemtica
Una Introduccin a las Matemticas Discretas y Teora de Grafos
130
Captulo 4. Sucesiones, Series e Induccin Matemtica
4.1 Sucesiones
Definamos el concepto de Funcin de Sucesin:
a) Una Funcin de Sucesin Finita es una funcin cuyo dominio es el conjunto de los
primeros n enteros positivos, esto es, {1, 2, 3, 4, , n}.
b) Una Funcin de Sucesin Infinita es una funcin cuyo dominio es el conjunto de los
nmeros naturales ` , es decir, el conjunto {1, 2, 3, 4, }
f(1) = 3
f(2) = 6
f(3) = 9
f(4) = 12
f(5) = 15
La sucesin finita queda como 3, 6, 9, 12, 15. Tal sucesin tiene adems 5 pares ordenados
(n, f(n)):
Ejemplo:
2n 1
Sea la funcin de sucesin infinita f (n) = , n {1, 2, 3, 4, }. Sus elementos se
n3
obtienen mediante:
f(1) = 1
3
f(2) =
8
5
f(3) =
27
7
f(4) =
64
#
131
Una Introduccin a las Matemticas Discretas y Teora de Grafos
3 5 7
Tales elementos dan lugar a la sucesin infinita 1, , , , En donde algunos de sus
8 27 64
pares ordenados son
3 5 7
(1,1), 2, , 3, , 4, ,...
8 27 64
Ejemplos:
2n 1
Para f (n) = se tiene
n3
2n 1
o an =
n3
o a1 = 1
3
o a2 =
8
5
o a3 =
27
2n 1
Por ejemplo, para f (n) = tenemos
n3
3 5 2n 1
1, , , , ,
8 27 n3
132
Captulo 4. Sucesiones, Series e Induccin Matemtica
Se dice que una sucesin a1, a2, , an, es igual a una sucesin b1, b2, , bn, si
y slo si ai = bi para todo i = 1, 2, 3,
Es posible que dos sucesiones tengan los mismos elementos y sean desiguales. Por
ejemplo:
1 1 1 1 1
an = 1, , , ,..., ,...
n 2 3 4 n
1 si n es impar
1 1 1
an = 2 1, ,1, ,1, ,..., an ,...
n + 2 si n es par 2 3 4
Por otro lado, no siempre es posible contar, de manera explcita, con una funcin
para determinar al elemento general de una sucesin. Un ejemplo est dado por la sucesin
de los nmeros primos
133
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Al igual que los elementos que forman a una sucesin cuentan con subndices, los
trminos de la suma pueden listarse como:
a1 + a2 + a3 + ... + an
a
i =1
i
a) 1 + 3 + 5 + 7 + 9
Se tienen al menos cuatro posibles representaciones:
7 5 6 4
(2i 5)
i =3
(2i 1)
i =1
(2i 3)
i=2
(2i + 1)
i =0
(1) ia
i =3
i
i
(1)
i =1
i 1
x 2i
Si se indica la operacin de adicin entre los elementos de una sucesin se tiene una
Serie. Por lo tanto la sucesin a1, a2, a3, ..., an tendr asociada la serie:
n
a1 + a2 + a3 + ... + an = ai
i =1
134
Captulo 4. Sucesiones, Series e Induccin Matemtica
Ejemplo:
n
n(n + 1)
Teorema 4.1: i =
i =1 2
Demostracin:
1
n(n + 1) 1(1 + 1)
i =1 =
i =1 2
=
2
k
k (k + 1)
i =
i =1 2
Hiptesis de induccin
Con base en la suposicin anterior, debido a que se ha asumido que la frmula se cumple
para n = k, se desea verificar que la frmula es tambin vlida cuando n = k + 1, es decir, se
desea demostrar que:
k +1
(k + 1)([k + 1] + 1)
i =
i =1 2
(i)
135
Una Introduccin a las Matemticas Discretas y Teora de Grafos
k +1
i = 1
i =1
+ 2
+
3 + ... +
k + (k + 1)
k
i
i =1
=
k (k + 1)
+ (k + 1)
asumimos es verdadera, al sustituir a i
i =1
por
2
k (k + 1)
)
2
k (k + 1) + 2(k + 1)
=
2
(k + 1)([k + 1] + 1)
= (Se ha obtenido el miembro de la derecha en (i))
2
Conclusin:
Se ha probado que la frmula es vlida para n = 1.
Se ha demostrado que cuando se asume que la frmula es vlida para n = k es tambin
vlida para n = k + 1.
Por lo tanto, y por el Principio de Induccin Matemtica, la frmula es vlida para todo
n {1, 2,3, 4,...} .
Ejemplo:
Demostracin:
136
Captulo 4. Sucesiones, Series e Induccin Matemtica
Parte 2:
2 k > 2k
Parte 3:
2 k > 2k
2 2 k > 2 2k
k +1
2N > 4Nk
a b
El trmino a ya es igual al primer trmino de (ii). El segundo miembro de (ii), 2(k+1) ahora
referenciado como el trmino c, es evaluado contra el trmino 4k (b) de la siguiente
manera:
4Nk > 2( k + 1)
b
4k > 2(k + 1)
2k > 2
k >1
Es decir, la desigualdad 4k > 2(k+1) se cumple para todo entero k mayor a 1. Por
propiedades de los nmeros reales se tiene que si a > b y b > c entonces se concluye que
a > c . Precisamente se aplicar este razonamiento de la siguiente manera:
k +1 k +1
2N > 4Nk 4Nk > 2(k + 1) 2N > 2( k + 1)
a b
b
a
c c
137
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Conclusin:
Ejemplo:
Demostracin:
2k + k 3 es divisible por 3.
138
Captulo 4. Sucesiones, Series e Induccin Matemtica
Parte 3:
2(k+1) + (k+1)3 = 2k + 2 + (k3 + 3k2 + 3k + 1)
= k3 + 2k + 3k2 + 3k + 3
= (k3 + 2k) + 3(k2 + k + 1)
2(k + 1) + (k + 1) 3 k 3 + 2k 3(k 2 + k + 1)
= +
3
3
3
m
= m + (k2 + k + 1)
Conclusin:
2n + n 3 es divisible por 3 para todo n {1, 2, 3, 4, }.
Ejemplo:
n
x n +1 1
Teorema 4.4: x = i
, x \ \{1}
i =0 x 1
Demostracin:
0
x 0+1 1 x 1
xi = x 0 = 1 =
i =0 x 1
=
x 1
139
Una Introduccin a las Matemticas Discretas y Teora de Grafos
k
x k +1 1
xi =
i =0 x 1
Hiptesis de induccin
Con base en la suposicin anterior, debido a que se ha asumido que la frmula se cumple
para n = k, se desea verificar que la frmula es tambin vlida cuando n = k + 1, es decir, se
desea demostrar que:
k +1
x ( k +1) +1 1
xi =
i =0 x 1
(i)
k +1
x
i =0
i
=
x 0 + x1
+ x k + x k +1
x 2 + ... +
xi
i =0
=
x k +1 1 k +1
+x
asumimos es verdadera, al sustituir a x
i =0
i
por
x 1
x k +1 1
)
x 1
x k +1 1 + ( x 1) x k +1
=
x 1
x 1 + x ( k +1)+1 x k +1
k +1
=
x 1
( k +1) +1
x 1
= (Se ha obtenido el miembro de la derecha en (i))
x 1
Conclusin:
Se ha probado que la frmula es vlida para n = 0.
Se ha demostrado que cuando se asume que la frmula es vlida para n = k es tambin
vlida para n = k + 1.
Por lo tanto, y por el Principio de Induccin Matemtica, la frmula es vlida para todo
n {0,1, 2,3, 4,...} .
140
Captulo 4. Sucesiones, Series e Induccin Matemtica
n! = n(n-1)(n-2)...21
O bien:
n! = n(n-1)!
Se define tambin que 0! = 1.
n
Si n, r ] + tales que r n , entonces el Coeficiente Binomial est definido
r
por:
n n(n 1)(n 2) ... (n r + 1)
=
r r!
Por ejemplo:
7 7 6 5
= = 35
3 3 2 1
Demostracin:
141
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Ejemplos:
7 7!
a) = = 35
3 3!4!
8 8!
b) = =1
0 0!8!
8 8!
c) = =1
8 8!0!
Ejemplos:
(a+b)0 = 1
(a+b)1 = a + b
(a+b)2 = a2 + 2ab + b2
(a+b)3 = a3 + 3a2b + 3ab2 + b3
(a+b)4 = a4 + 4a3b + 6a2b2 + 4ab3 + b4
Los coeficientes de los trminos de los desarrollos binomiales (a+b)n forman una
estructura que se conoce como el Tringulo de Pascal:
142
Captulo 4. Sucesiones, Series e Induccin Matemtica
O de manera equivalente:
143
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Ejemplo:
Encontrar el desarrollo de (a+b)6. De acuerdo a los puntos anteriores se tendr:
6 6 0 6 5 1 6 4 2 6 3 3 6 2 4 6 1 5 6 0 6
(a+b)6 = a b + a b + a b + a b + a b + a b + a b
0 1 2 3 4 5 6
= a + 6a b + 15a b + 20a b + 15a b + 6a b + b6
6 5 1 4 2 3 3 2 4 1 5
Ejemplos:
5
5
(2 x 2 + 3 y )5 = (2 x 2 )5 r (3 y ) r
r =0 r
5 5 5 5
= (2 x 2 )5 (3 y )0 + (2 x 2 ) 4 (3 y )1 + (2 x 2 )3 (3 y ) 2 + (2 x 2 ) 2 (3 y )3
0 1 2 3
5 5
+ (2 x 2 )1 (3 y ) 4 + (2 x 2 )0 (3 y )5
4 5
4
1
b) Aplicando el Teorema del Binomio, encontrar el desarrollo de t 3 2
t
1
Entonces: n = 4, a = t 3 , b = 2 .
t
144
Captulo 4. Sucesiones, Series e Induccin Matemtica
4
(t)
4 r
3 1 4 4 r
1
t 2
=
t r =0 r
3
2
t
4
( ) 1 4
( ) 1 4
( )
0 1 2
4 3 2
1
= t3 2 + 1
t3 2 + 2
t3 2
0 t t t
4
(t) 1 4
(t)
3 4
1 0
1
+ 3
2 + 4
3
2
3 t t
Teorema 4.7:
n n n + 1
+ =
r r 1 r
Demostracin:
n n n! n! (Por definicin de
+ = +
r r 1 r !(n r )! (r 1)!(n (r 1))! Coeficiente Binomial)
n! n!
= +
r !(n r )! (r 1)!(n r + 1)!
n! n! (Al extraer el primer factor
= +
r (r 1)!(n r )! (r 1)!(n r + 1)(n r )! de r! y (n r + 1)!)
n! 1 1
= +
(r 1)!(n r )! r n r + 1
n! n +1
(r 1)!(n r )! r (n r + 1)
=
(n + 1)!
= ((n + 1)n! = (n + 1)!)
r (n r + 1)(r 1)!(n r )!
(n + 1)!
= (r(r - 1)! = r!)
((n + 1) r )r !(n r )!
(n + 1)! ((n+1)-r)(n-r)! =
=
r !((n + 1) r )! ((n+1)r)!)
n + 1 (Por definicin de
= Coeficiente Binomial)
r
145
Una Introduccin a las Matemticas Discretas y Teora de Grafos
n n n n n 1 n n
(a + b) n = a n + a n 1b + ... + a n r b r + ... + ab + b
0 1 r n 1 n
n
n
(a + b) n = a n r b r
r =0 r
Demostracin:
0
0 0
r a 0 r
b r = a 0b 0 = 1 = ( a + b) 0
r =0 0
k
k
r a k r
b r = ( a + b) k
r =0
k +1
k + 1 ( k +1) r r
r =0 r
a b = (a + b) k +1
k +1
k + 1 ( k +1) r r k + 1 k +1 k + 1 k k + 1 k 1 2
r =0 r
a b = a + a b + a b + ...
0 1 2
k + 1 2 k 1 k + 1 k k + 1 k +1
+ a b + ab + b
k 1 k k + 1
Ahora se aplicar el Teorema 4.7 a todos los trminos excepto al primero y ltimo:
146
Captulo 4. Sucesiones, Series e Induccin Matemtica
k + 1 k +1 k k k k k k 1 2
= a + + a b + + a b + ...
0 1 0 2 1
k k 2 k 1 k k k k + 1 k +1
+ + a b + + ab + b
k 1 k 2 k k 1 k + 1
k + 1 k +1 k k k k k k 1 2 k k 1 2
= a + a b + a b + a b + a b + ...
0 1 0 2 1
k 2 k 1 k 2 k 1 k k k k k + 1 k +1
+ a b + a b + ab + ab + b
k 1 k 2 k k 1 k + 1
k + 1 k +1 k k k k 1 2 k 2 k 1 k k
= a + a b + a b + ... + a b + ab
0 1 2
k 1 k
Serie 1
k k k 2 k 1 k k k + 1 k +1
+ a k b + a k 1b 2 + ... + a b + ab + b
0
1 k 2 k 1 k + 1
Serie 2
k
k k +1 r r k
k k r r k r r +1
k 1 k
k r r
k 1 k
Ntese que N a
r =1 r aa k r
b = a
r =1 r
a b y
r =0 r
a b
N = b a b . Por lo
r =0 r
bb r
tanto se tiene:
k + 1 k k k k r r k 1 k k r r k + 1 k
= a a + a b + b a b + b
0 r =1 r r =0 r k + 1
k + 1 k k + 1 k k + 1 k
Es claro que = =1 y = = 1 . Por lo tanto los trminos a y
0 0 k + 1 k 0
k + 1 k
b se reescriben:
k + 1
k k
k k 1 k k
= a a k + a k r b r + b a k r b r + b k
0 r =1 r r =0 r k
147
Una Introduccin a las Matemticas Discretas y Teora de Grafos
La primer sumatoria tiene como ndice inferior r = 1 mientras que la segunda tiene como
k k
lmite superior r = k 1. Al introducir los trminos a k y b k en sus
0 k
correspondientes sumatorias se tienen ndices inferior y superior r = 0 y r = k
respectivamente:
k k k k
= a a k r br + b a k r b r
r =0 r r =0 r
Cada sumatoria corresponde al desarrollo binomial (a + b)k. Se introduce la Hiptesis de
Induccin:
= a ( a + b) k + b ( a + b) k
= ( a + b)(a + b) k
= ( a + b) k +1
Por lo tanto, por el Principio de Induccin Matemtica, el enunciado
n
n
(a + b) n = a n r b r es vlido para todo entero n no negativo.
r =0 r
n n!
=
r r!(n r )!
5 5! 120 120
= = = = 10
3 3!(5 3)! 3!2! 12
148
Una Introduccin a las Matemticas Discretas y Teora de Grafos
5. Grafos:
Conceptos Bsicos
Una Introduccin a las Matemticas Discretas y Teora de Grafos
150
Captulo 5. Grafos: Conceptos Bsicos
5.1 Definiciones
Un Grafo Dirigido G consiste de dos conjuntos:
V(G): un conjunto finito no vaco cuyos elementos son llamados Vrtices de G.
E(G): un conjunto de pares ordenados de vrtices llamados Aristas de G. Es decir,
E(G) V(G) V(G), donde el operador denota al Producto Cartesiano de Conjuntos.
Ntese que por la definicin se tiene que la arista (u, v) no es equivalente a la arista (v, u),
i.e. (u, v) (v, u). Es decir, el orden en que son listados los vrtices indica la Direccin de
la arista.
Los grafos dirigidos son representados por diagramas en el plano de manera natural.
Especficamente, cada vrtice v en V(G) es representado por un crculo y cada arista
(v1, v2) E(G) es representada por una curva dirigida la cual sale del vrtice v1 y llega al
vrtice v2, tal que v1, v2 estn en V(G). Por ejemplo, en la Figura 5.1 se presenta un grafo
dirigido G para el cual:
V(G) consiste de los vrtices A, B, C, D, es decir, V(G) = {A, B, C, D}.
E(G) consiste de las aristas (A, B), (B, C), (C, D), (A, C) y (B, D). Formalmente,
E(G) = {(A, B), (B, C), (C, D), (A, C), (B, D)}.
A D
B C
Por la definicin de producto cartesiano es posible que un grafo dirigido cuente con
aristas de la forma (v, v). Este tipo de aristas son llamadas Lazos. Tambin, en un momento
dado, puede hacerse admisible la presencia de aristas repetidas tambin conocidas como
Aristas Mltiples o Aristas Paralelas. Un grafo dirigido que admite aristas mltiples es
llamado Multigrafo. Ntese que de hecho todo grafo dirigido es un caso especial de
multigrafo sin aristas mltiples. Por ejemplo, en la Figura 5.2 se presenta un multigrafo que
tambin cuenta con dos lazos.
A D
B C
Figura 5.2. Ejemplo de un Multigrafo: se tiene un par de aristas mltiples (B, C).
Los vrtices B y D cuentan con lazos.
151
Una Introduccin a las Matemticas Discretas y Teora de Grafos
A D
B C
152
Captulo 5. Grafos: Conceptos Bsicos
Teorema 5.1: La suma de los grados de los vrtices de un grafo G es igual a dos veces el
nmero de aristas en G. Es decir:
uV ( G )
deg (u ) = 2 Card ( E (G ))
Considrese nuevamente el grafo G de la Figura 5.3. Para tal grafo se tiene que:
La suma de los grados es igual a 12. Tal resultado es dos veces el nmero de aristas en el
grafo. Se dice que un vrtice es Par o Impar de acuerdo a si su grado es un nmero par o
impar, respectivamente. Por lo tanto, en el ejemplo de la Figura 5.3 todos sus vrtices son
de grafo impar.
Demostracin:
Por el Teorema 5.1 tenemos que el nmero de aristas en G est dado por:
2 Card ( E (G )) =
uV ( G )
deg (u )
en dos subconjuntos:
Vodd(G): Los vrtices de G de grado impar.
Veven(G): Los vrtices de G de grado par.
Claramente Vodd(G) y Veven(G) son conjuntos disjuntos, es decir, Veven(G) Vodd(G) = . La
suma deg (u ) ahora puede ser reescrita como:
uV ( G )
uV ( G )
deg (u ) =
uVodd ( G )
deg (u ) +
uVeven ( G )
deg (u )
153
Una Introduccin a las Matemticas Discretas y Teora de Grafos
bien sabido que una suma de nmeros pares es siempre par. Ello quiere decir que
forzosamente la suma de los vrtices de grado impar, deg(u ) , tiene que ser tambin
uVodd ( G )
un nmero par. Si fuese lo contrario tendramos entonces que la suma de los grados de
todos los vrtices de G es impar, pero ello contradice al Teorema 5.1.
par. Los trminos de esta suma son los grados de los vrtices impares. Eso quiere decir que
tenemos una suma cuyos trminos son todos nmeros impares. Para que esta suma de
nmeros impares proporcione como resultado un nmero par se requiere que
Card (vodd (G )) sea un nmero par. Ello implica finalmente que el nmero de vrtices de
grado impar en cualquier grafo G es par.
1
d (G ) = deg (v)
Card (V (G )) vV (G )
La siguiente Propiedad debe ser evidente: Para cualquier grafo G se tiene que
(G ) d (G ) (G )
Sea G un grafo. Al Radio Nmero de Aristas por Vrtice, denotado por (G), se
le define como:
Card ( E (G ))
(G ) =
Card (V (G ))
154
Captulo 5. Grafos: Conceptos Bsicos
1
Card ( E (G )) = d (G ) Card (V (G ))
2
Demostracin:
Card (V (G ))
Ahora bien, multipliquemos el lado derecho de la expresin anterior por 1 = ,
Card (V (G ))
entonces se tiene:
1 Card (V (G ))
Card ( E (G )) = deg (u )
2 Card (V (G )) uV (G )
Demostracin:
Card ( E (G ))
(G ) =
Card (V (G ))
155
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1
Sabemos por el Teorema 5.3 que Card ( E (G )) = Card (V (G )) d (G ) . Por lo tanto al
2
sustituir en (G ) obtenemos finalmente:
1 Card (V (G )) d (G )
(G ) =
2 Card (V (G ))
1
= d (G )
2
Considrese un grafo G con sus conjuntos V(G) y E(G). Un grafo H con sus
conjuntos V(H) y E(H) es llamado un Subgrafo de G si los vrtices y aristas de H estn
contenidas en los conjuntos de vrtices y aristas de G, es decir, si V ( H ) V (G ) y
E ( H ) E (G) . Consideremos algunos subgrafos especiales:
Sea U un conjunto de vrtices tal que U V(G). G[U] denota al subgrafo de G cuyas
aristas son aristas de G y sus vrtices estn en U. A G[U] se le llama el Subgrafo
Inducido por el Conjunto de Vrtices U. Por ejemplo, considrense los grafos de la
Figura 5.4 donde el grafo H es de hecho el subgrafo de G inducido por conjunto de
vrtices {B, C, X, Y}, es decir H = G[{B, C, X, Y}].
A B C B C
X Y Z X Y
G H
V(G) = {A, B, C, X, Y, Z} V(H) = {B, C, X, Y}
E(G) = {(A,X), (A,Z), (B,X), (B,Y), (C,Y), (X,Y)} E(H) = {(B,X), (B,Y), (C,Y), (X,Y)}
156
Captulo 5. Grafos: Conceptos Bsicos
Se dice que los grafos G y G* son Isomorfos si existe una funcin biyectiva
f: V(G) V(G*) tal que (u, v) es una arista de G si y slo si (f(u), f(v)) es una arista de G*.
En otras palabras, se pueden reetiquetar los vrtices de G para ser vrtices de G*,
manteniendo las aristas correspondientes en G y G*. Por ejemplo, sean G y G* los grafos
de la Figura 5.5. Considrese la siguiente funcin biyectiva f:V(G) V(G*):
u si n = 1
v si n = 2
w si n = 3
f ( n) =
x si n = 4
y si n = 5
z si n = 6
1 2
u v w x y z
6 3
5 4
G G*
V(G) = {1, 2, 3, 4, 5, 6} V(G*) = {u, v, w, x, y, z}
E(G) = {(1,2),(1,3),(1,5), (2,4),(2,5),(2,6), E(G*) = {(u,v), (u,w), (u,y), (v,y), (v,x), (v,z),
(3,6),(3,4),(4,6)} (w,x), (w,z), (x,z)}
Figura 5.5. Los Grafos G y G* se caracterizan como Isomorfos (vase el texto para detalles).
157
Una Introduccin a las Matemticas Discretas y Teora de Grafos
La arista (w, z) pertenece a E(G*) y (f -1(w), f -1(z)) = (3, 6) tambin pertenece a E(G).
La arista (w, x) pertenece a E(G*) y (f -1(w), f -1(x)) = (3, 4) tambin pertenece a E(G).
La arista (x, z) pertenece a E(G*) y (f -1(x), f -1(z)) = (4, 6) tambin pertenece a E(G).
Hemos demostrado que (u, v) es una arista de E(G) si y slo si (f(u), f(v)) es una arista de
G*. Por lo tanto G y G*, de la Figura 5.5, son isomorfos.
Los grafos de la Figura 5.6 no pueden ser caracterizados como isomorfos: Aunque
G y G* ambos tienen 5 vrtices y 7 aristas, el grafo G tiene un vrtice de grado 4 mientras
que el grafo G* no lo tiene. En general, dos grafos no son isomorfos si no cuentan con el
mismo nmero de vrtices y aristas. Si efectivamente cuentan con el mismo nmero de
vrtices y aristas tampoco se garantiza que sean isomorfos, en ese sentido, verificar la
correspondencia entre grados puede ser de utilidad. Pero an si coincidieran en
los grados de sus vrtices, ello no implica que sean isomorfos: la nica forma de probarlo
es afirmar o refutar la existencia de la funcin biyectiva f:V(G) V(G*). Sea
n = Card(V(G)) = Card(V(G*)). Entonces, de acuerdo a lo anterior, se tendran que
examinar a lo ms n! posibles funciones.
1 2
5 u v w x y
4 3
G G*
V(G) = {1, 2, 3, 4, 5} V(G*) = {u, v, w, x, y}
E(G) = {(1,2), (1,3), (1,4), (1,5), E(G*) = {(u,v), (u,w), (v,x), (v,y),
(2,3), (2,4), (4,5)} (w,y), (w,x), (x,y)}
Figura 5.6. Los grafos G y G* no son isomorfos (vase el texto para detalles).
u v u v
z w z w
y x y x
G G
158
Captulo 5. Grafos: Conceptos Bsicos
1 2 2 3
4
H
a) b)
(1,1) (1,2)
(1,3) (1,4)
(2,1) (2,2)
(2,3) (2,4)
GH
c)
Figura 5.8. a) Un grafo G de 2 vrtices. b) Un grafo H de 4 vrtices.
c) El grafo resultante del producto cartesiano de los grafos G y H.
159
Una Introduccin a las Matemticas Discretas y Teora de Grafos
5
1
6 7
2 3
4 8 9
a) G b) H
5
1
6 7
2 3
4 8 9
c) Join(G, H)
Figura 5.9. a) Un grafo G de 4 vrtices. b) Un grafo H de 5 vrtices.
c) El grafo resultante de la unin de los grafos G y H.
En donde cada arista ei contiene los vrtices vi-1 y vi (los cuales aparecen antes y despus de
ei en la secuencia). Al nmero n de aristas se le denomina la Longitud de la Ruta. Por
simplicidad, se denota a una ruta slo por la secuencia de sus vrtices, asumiendo que
efectivamente existen las aristas que conectan a dos vrtices consecutivos dentro de la
misma:
160
Captulo 5. Grafos: Conceptos Bsicos
Se dice que una ruta es Cerrada si v0 = vn. De lo contrario se dice que la ruta va de v0 a vn o
bien que la ruta conecta a v0 con vn. Una Ruta Simple es aquella en la cual todos sus
vrtices son distintos. Una ruta en la cual todas las aristas son distintas es llamada una Va
(trail). Un Circuito es una ruta cerrada de longitud mayor o igual 3 en la cual todos los
vrtices son distintos excepto v0 = vn. Por ejemplo, considrese el grafo de la Figura 5.10.
Sean las secuencias:
= ( P4 , P1 , P2 , P5 , P1 , P2 , P3 , P6 )
= ( P4 , P1 , P5 , P2 , P6 )
= ( P4 , P1 , P5 , P2 , P3 , P5 , P6 )
= ( P4 , P1 , P5 , P3 , P6 )
P1 P2 P3
P4 P5 P6
Un grafo G es Conectado si existe una ruta entre cualesquiera dos de sus vrtices.
El grafo de la Figura 5.10 es conectado. El grafo de la Figura 5.11 no est conectado debido
a que, por ejemplo, no existe una ruta entre los vrtices D y E.
A B C
D E F
161
Una Introduccin a las Matemticas Discretas y Teora de Grafos
B E
B E
A D H A D F
C F C H
a b
Figura 5.12. El grafo a cuenta con un punto de corte mientras que el grafo b cuenta con un puente.
K1 K2 K3
K4 K5 K6
Ntese, observando la Figura 5.13, que K1 tiene 0 aristas, K2 cuenta con 1 arista, K3
tiene 3 aristas, K4 cuenta con 6 aristas, K5 con 10 aristas y K6 tiene 15 aristas. Es decir,
tenemos la sucesin
0, 1, 3, 6, 10, 15
La idea es encontrar al elemento general de tal sucesin. Supngase que los n vrtices de Kn
se etiquetan de 1 a n. Considrese al vrtice 1. Dado que Kn es completo entonces existen
n-1 aristas de la forma (1, u), u V(G), u 1. Si los vrtices representaran personas que se
estn dando la mano entonces el vrtice 1 acaba de efectuar n-1 saludos. Supngase que los
saludos son bidireccionales, es decir, que x salude a y es equivalente a que y salude a x.
162
Captulo 5. Grafos: Conceptos Bsicos
n 1
n(n 1)
(n-1) + (n-2) + (n-3) + (n-4) + + 2 + 1 + 0 = j=
j =0 2
n(n 1)
0, 1, 3, 6, 10, 15, ,
2
Es decir, se tiene que el nmero de aristas en un grafo completo Kn est dado por:
n(n 1)
Card(E(Kn)) =
2
163
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Regulares de grado 2
tal que n 0. Un Grafo Hipercbico n-Dimensional, denotado por Hn, es un grafo cuyos
vrtices cuentan con etiquetas tomadas de {0, 1}n. Dos vrtices u = (x1, x2, , xi, , xn) y
v = (y1, y2, , yi, , yn) formarn una arista de Hn si y slo si la cardinalidad del conjunto
{i: xi yi, xi u, yi v} es exactamente 1. Ahora bien, una k-celda de Hn, 0 k n, se
define como un subgrafo de Hn que es conectado y regular con 2k vrtices de grado k. Por
ejemplo, considrese el grafo H3, vase la Figura 5.16. Es claro que H3 cuenta con ocho
0-celdas, doce 1-celdas, seis 2-celdas y una 3-celda.
164
Captulo 5. Grafos: Conceptos Bsicos
(0,1,1) (1,1,1)
(0,1,0) (1,1,0)
(0,0,1) (1,0,1)
(0,0,0) (1,0,0)
(0,0,1)
(0,1,0)
(-1,0,0) (1,0,0)
(0,-1,0)
(0,0,-1)
Se dice que un grafo G es Bipartita si el conjunto de sus vrtices V(G) puede ser
particionado en dos subconjuntos disjuntos M y N tal que cada arista de G conecta un
vrtice de M a un vrtice de N. Cuando se hace referencia a un grafo Bipartita Completo
se dice que G es bipartita y adems cada vrtice de M est conectado a cada vrtice de N.
165
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Un grafo que puede ser dibujado en una superficie de tal forma que sus aristas no se
intersectan es llamado Grafo Plano. Por ejemplo, vase la Figura 5.19, aunque el grafo
completo con cuatro vrtices K4 es usualmente dibujado con algunas de sus aristas
intersectndose, tambin puede ser dibujado de manera que no existan tales intersecciones,
por lo tanto K4 es un grafo plano.
4 2
6 4
A4 A5 A6
166
Captulo 5. Grafos: Conceptos Bsicos
El Peso de una Ruta en un grafo pesado G es definido como la suma de los pesos
de las aristas en la ruta. Uno de los problemas ms importantes dentro de la teora de grafos
consiste en encontrar la ruta ms corta, es decir, la ruta con el peso mnimo entre dos
vrtices dados. La ruta ms corta entre los vrtices P y Q en el grafo presentado en la
Figura 5.20 tiene un peso igual a 14 y est dada por los vrtices
(P, A1, A2, A5, A3, A6, Q)
Sea G un grafo conectado. Un Conjunto Independiente de G (Independent Set),
denotado por IS(G), es un subconjunto de los vrtices en V(G) tal que para cualesquiera
vrtices u, v IS(G) la arista (u, v) no est presente en E(G). Un Conjunto Independiente
Mximo de G (Maximal Independent Set), denotado por MIS(G), es un conjunto
independiente de G con la propiedad de que cuando se agrega un vrtice adicional v a
MIS(G) entonces la arista (v, x) est en E(G) para x MIS(G). Por ejemplo, considrese el
siguiente grafo G de la Figura 5.21. Entonces, MIS(G) = {2, 3, 6, 7}.
7 5
8 6
2 4
1 3
G
Figura 5.21. El Conjunto Independiente Mximo de G est dado por los vrtices 2, 3, 6 y 7.
167
Una Introduccin a las Matemticas Discretas y Teora de Grafos
grafo tiene en total 6 vrtices, por lo que entonces tendremos que formar 6 conjuntos de
prueba: X1 = {1}, X2 = {2}, X3 = {3}, X4 = {4}, X5 = {5} y X6 = {6}. En la Figura 5.23 se
muestran todos los subgrafos obtenidos. Es claro que stos son conectados. Por lo tanto,
podemos afirmar que nuestro grafo en cuestin efectivamente es 2-Conectado Respecto a
sus Vrtices. Si se requiere demostrar que el grafo es 3-conectado respecto a sus vrtices
entonces se debe verificar que con todo subconjunto X con a lo ms 2 vrtices el subgrafo
G \ X permanece conectado. Dado que ya se demostr que el grafo es 2-conectado respecto
a sus vrtices entonces slo deberamos efectuar las correspondientes pruebas con los
posibles 15 subconjuntos de 2 vrtices.
4 5
2 3
G
Figura 5.22. Un grafo conectado G de 6 vrtices.
1 1
4 5
4 5 4 5
2 3
6 6
3 2
5 4 4 5
6 6
2 3 2 3 2 3
Figura 5.23. Los subgrafos G \ {u}, u V(G), del grafo G presentado en la Figura 5.22.
Todos los subgrafos obtenidos son conectados y por lo tanto G es caracterizado como
2-Conectado Respecto a sus Vrtices.
168
Captulo 5. Grafos: Conceptos Bsicos
Se dice que un grafo conectado G tal que Card(V(G)) > 1 es O-Conectado Respecto
a sus Aristas si para todo subconjunto F E(G), tal que Card(F) < O, se tiene que el
subgrafo G \ F es conectado. El entero O ms grande tal que un grafo G es O-conectado
respecto a sus aristas se denomina la Conectividad de G Respecto a sus Aristas y se le
denota como (G).
a b
Figura 5.24. a) Un grafo conectado.
b) La forma en que deben ser recorridas sus aristas a fin de obtener una Ruta Euleriana.
Si un grafo tiene una ruta Euleriana y adems sta es una ruta cerrada entonces se
tiene que tal ruta de hecho es un Circuito Euleriano y el grafo es caracterizado como
Grafo Euleriano. En la Figura 5.25 se presenta un ejemplo de un grafo Euleriano. Ntese
que todos sus vrtices son de grado par.
a b
Figura 5.25. a) Un grafo conectado con 4 vrtices de grado 2 y 2 vrtices de grado 4.
b) La forma en que deben ser recorridas sus aristas a fin de obtener un Circuito Euleriano.
169
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Teorema 5.4 (Euler): Un grafo conectado es Euleriano si y slo si cada uno de sus
vrtices tiene grado par.
Demostracin:
)
Supngase que G es un grafo Euleriano. Por lo tanto, G cuenta con un circuito Euleriano E.
Asumamos que el circuito est descrito por E = (v, , u, , w, , w, , v). Por
definicin, toda arista de G es visitada exactamente una sola vez por el circuito. Los
vrtices en E pueden ser caracterizados de la siguiente manera:
Vrtices u que aparecen una sola vez en la descripcin del circuito E. Es claro que estos
vrtices tienen exactamente grado 2 ya que les es incidente una arista que llega a u y
tambin le es incidente una arista que sale de u.
Vrtices w v que aparecen en ms de una ocasin en la descripcin del circuito E. Por
cada aparicin de w se tiene que un par de aristas de G son utilizadas: una arista que
llega a w y una arista que sale de w. En consecuencia deg(w) es un nmero par mayor o
igual a 2.
El vrtice inicial/final v. Al inicio del circuito el vrtice v se conecta con una arista, y al
final del circuito al vrtice v le es incidente una arista. Si v aparece nicamente al inicio
y al final de la descripcin de E entonces deg(v) = 2. Por otro lado, si v aparece en otras
ocasiones dentro de E entonces por cada una de stas se utilizan dos aristas de G. En
esta situacin el grado de v es un nmero par mayor o igual a 2.
Es claro entonces que todo vrtice de G es de grado par.
Ahora supngase que todos los vrtices de G son de grado par. Se demostrar que G es
Euleriano mediante el Principio de Induccin Matemtica.
El Caso Base requiere considerar a aquel grafo conectado con el menor nmero n de
vrtices y m de aristas tal que es un grafo Euleriano. Obviamente se debe tomar en cuenta
que sus vrtices sean todos de grado par. Claramente el grafo a considerar es el grafo
completo K3. En esta situacin tenemos que n = 3 y m = 3.
El Paso Inductivo requiere probar que todo grafo conectado cuyos n vrtices son todos de
grado par y con nmero de aristas m es un grafo Euleriano. En este caso supondremos que
n > n y m > m. Es decir, nuestra Hiptesis de Induccin es vlida para grafos ms
pequeos que el que se est considerando para nuestro Paso Inductivo. Sea v cualquier
vrtice elegido arbitrariamente en V(G). Ahora, partiendo de v, se elegiran sucesivamente y
de manera tambin arbitraria aristas de G hasta retornar nuevamente a v. Es decir, se ha
170
Captulo 5. Grafos: Conceptos Bsicos
formado una va W que inicia y termina en v. Dado que todo vrtice u de G es de grado par,
entonces por cada aparicin de u en W se utilizan dos aristas: una arista que incide sobre u y
una arista que conecta a u con otro vrtice adyacente en W. Por lo tanto se garantiza la
existencia de la va W.
Ahora es en este punto donde aplicamos nuestra Hiptesis de Induccin sobre cada uno de
los subgrafos C1, C2, , Ck. Sea Ei el circuito Euleriano asociado al subgrafo Ci. Tal
circuito utiliza a todas las aristas de Ci.
Dado que G es un grafo conectado entonces existe un vrtice ai en Ci, i = 1, 2, , k, tal que
ai est presente tanto en W como en Ei. Formaremos el circuito Euleriano de G de la
siguiente manera:
Se recorren los vrtices de W comenzando en el vrtice inicial v.
A partir de v se recorren los vrtices hasta encontrar al vrtice a1. En este punto se
recorre el circuito E1 y se retorna nuevamente a a1.
Partiendo de a1 en W se recorren los vrtices hasta encontrar al vrtice a2. Ahora se
recorre el circuito E2 y se retorna a a2.
Se contina recorriendo sucesivamente a W y visitando los circuitos E3, E4, , Ei-1. Al
encontrar al vrtice ai, se recorre el circuito Ei y se retorna a ai.
Cuando se encuentra al vrtice ak se recorre entonces al ltimo circuito Ek y se recorre
finalmente al resto de W, finalizando nuevamente en el vrtice v.
171
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Es claro que el recorrido descrito visita a todas las aristas de G. Tal recorrido es
precisamente un Circuito Euleriano y por lo tanto G es un grafo Euleriano.
Corolario 5.2: Un grafo conectado G cuenta con una Ruta Euleriana si y slo si tiene
exactamente dos vrtices de grado impar.
Demostracin:
)
Supongamos que G cuenta efectivamente con la ruta Euleriana E. Sabemos que toda
aparicin de un vrtice en E implica que dos aristas de G estn siendo utilizadas: una arista
que incide sobre el vrtice y otra arista que sale del vrtice. Sin embargo, ahora debe
agregarse un par de excepciones: si u es el vrtice inicial de E entonces nicamente se
utiliza una arista de G que conecta a u con otro vrtice adyacente. Por otro lado, si v es el
vrtice final de E entonces nicamente se utiliza una arista de G que es incidente a v.
Ntese que estos puntos implican que los vrtices inicial y final de E son ambos de grado
impar mientras que el resto es de grado par.
)
Ahora asumamos que G cuenta con exactamente dos vrtices u y v de grado impar. Ntese
que si se agrega la arista temporal (u, v) a G entonces todos sus vrtices son ahora de grado
par y aplicando el Teorema 5.4 se obtiene el correspondiente circuito Euleriano. La Ruta
Euleriana de G es identificada al remover precisamente la arista temporal (u, v).
a b
172
Captulo 5. Grafos: Conceptos Bsicos
5.4 rboles
A un grafo T se le llama rbol si es conectado y adems T no tiene circuitos. Si un
grafo G no es conectado y no tiene circuitos, entonces se le llama Bosque. El rbol que
consiste de un solo vrtice sin aristas, i.e. el grafo trivial, es llamado rbol Degenerado.
En la Figura 5.27 se presentan ejemplos de un rbol y un bosque. A un rbol de n vrtices
se le denotar como Tn.
1 2
5 4
6 8
9
a b
Figura 5.27. a) Ejemplo de un rbol. b) Ejemplo de un bosque:
es un grafo no conectado libre de circuitos que se forma por dos rboles.
Considrese un rbol T. Claramente existe slo una ruta simple entre cualesquiera
dos vrtices de T. Adems:
a) Supngase que no existe una arista (u, v) en T. Ahora agrguese la arista
(u, v) en T. Entonces, la ruta simple original que va de u a v en T, junto con la nueva
arista (u, v), formarn un circuito y por lo tanto T dejar de ser un rbol.
b) Supngase que existe una arista (u, v) en T y que sta es eliminada de T. Entonces T ya
no est conectado debido a que ya no existir una ruta simple de u a v y finalmente T ya
no puede ser caracterizado como un rbol.
Estos razonamientos nos proporcionan los elementos para probar el siguiente:
Teorema 5.5: Sea G un grafo con n > 1 vrtices. Entonces se tendrn las equivalencias:
a) G es un rbol.
b) G no tiene circuitos y tiene n - 1 aristas.
c) G est conectado y tiene n - 1 aristas.
El Teorema indica que un rbol T con n vrtices, Tn, deber tener n - 1 aristas.
Vase, por ejemplo, el rbol de la Figura 5.27.a que cuenta con n = 8 vrtices y n - 1 = 7
aristas. Es claro entonces que contamos con una cota inferior para el nmero de aristas en
cualquier grafo conectado: n-1.
173
Una Introduccin a las Matemticas Discretas y Teora de Grafos
G T1
T2 T3
Figura 5.28. Tres rboles de expansin para el grafo G.
2 3 4 6 7
1
2
5 7 6
3 2
6 8
7
8 9 3
4
4
10
9
5
10
174
Captulo 5. Grafos: Conceptos Bsicos
15 16
11 12 13 14
9 10
7 8
3 4 5 6
1 2
H4, Diameter(H4) = 4
175
Una Introduccin a las Matemticas Discretas y Teora de Grafos
corta que conecta a cualquier vrtice de V1 con un vrtice de V2 tiene longitud de 1 arista.
Pero toda ruta ms corta que conecte a dos vrtices ambos en V1 o ambos en V2 tendr
longitud 2. Por lo tanto, para K5,5 tenemos que Diameter(K5,5) = 2.
6
2 3 4
2
5 7
6 7
3 8
8
9
4
9
10
10
176
Una Introduccin a las Matemticas Discretas y Teora de Grafos
6. Generacin
Automtica
de Grafos
Una Introduccin a las Matemticas Discretas y Teora de Grafos
178
Captulo 6. Generacin Automtica de Grafos
Adj
1 2 1 2 5
2 1 3 4 5
3 3 2 4
4 2 5 3
5 4 5 1 2 4
Para cualquier grafo G, la suma de las longitudes de todas sus listas de adyacencias
es 2Card(E(G)), debido a que una arista (u, v) aparecer representada tanto en Adj[u] como
en Adj[v]. Por ejemplo, para el grafo de la Figura 6.1, se tiene que las listas que describen la
conectividad de los vrtices 1, 2, 3, 4 y 5 tienen 2, 4, 2, 3 y 3 elementos respectivamente, de
manera que 2 + 4 + 2 + 3 + 3 = 14 = 27 = 2Card(E(G)).
1 si (i, j ) E (G )
A[i ][ j ] =
0 si (i, j ) E (G )
Dado que en un grafo no dirigido sus aristas son bidireccionales, por lo tanto si
(u, v) E(G) entonces A[u][v] = A[v][u] = 1. En la Figura 6.2 se presenta un ejemplo de
representacin matricial para un grafo.
1 2 1 2 3 4 5
1 0 1 0 0 1
2 1 0 1 1 1
3
3 0 1 0 1 0
4 0 1 1 0 1
5 4 5 1 1 0 1 0
G
Figura 6.2. Representacin Matricial del grafo G. Ntese que la matriz es simtrica.
179
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Se sabe que la transpuesta de una matriz A es la matriz AT tal que AT[i][j] = A[j][i],
para i = 1, 2, , n y para j = 1, 2, , n. Debido a que en un grafo (u, v) y (v, u) representan
a la misma arista, la representacin matricial de tal grafo es su propia transpuesta A = AT, o
en otras palabras, la matriz A es simtrica.
180
Captulo 6. Generacin Automtica de Grafos
j = i + getNextReal ( ) (n + 1- i ) , i = 1, 2,..., n
En donde:
getNextReal( ) denota a una funcin que genera nmeros aleatorios en el rango
[0.0, 1.0).
El operador indica el piso (floor) del nmero real obtenido al efectuar la secuencia
de operaciones i + getNextReal( )(n + 1 i). La funcin getNextReal( ) tiene por
codominio un subconjunto de los nmeros reales, sin embargo, j al ser un ndice para el
arreglo perm requiere ser un entero. Se usa la funcin piso ya que de lo contrario
pueden obtenerse enteros mayores a n.
De acuerdo a los ndices generados, Tabla 6.1 tercer columna, se tendr entonces
que el arreglo perm queda de la siguiente manera (ntese que se pueden generar
intercambios entre elementos con el mismo ndice):
perm[1] = 3
perm[2] = 2
perm[3] = 1
perm[4] = 5
perm[5] = 4
181
Una Introduccin a las Matemticas Discretas y Teora de Grafos
n(n 1)
2
182
Captulo 6. Generacin Automtica de Grafos
n(n 1)
m=8 = 10
2
Ahora supongamos que el grafo es representado por una matriz de adyacencias adj
de tamao n n. La matriz es inicializada con cero (false) en todas sus posiciones. Vase la
Tabla 6.2.
Las aristas que compondrn al grafo sern generadas de manera aleatoria. Los
vrtices inicial y final de la i-sima arista, i = 1, 2, , m, sern generados mediante la
siguiente regla:
183
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Es decir, la arista (nodea, nodeb) ser una arista del grafo final si sta no ha sido antes
introducida en el grafo. En el caso de que (nodea, nodeb) ya hubiese sido antes identificada
entonces se proceder a generar un nuevo par de vrtices, se verificar que stos sean
distintos y se evaluarn su pertenencia al conjunto E(G).
184
Captulo 6. Generacin Automtica de Grafos
Las aristas que conforman finalmente a nuestro grafo simple no dirigido, el cual es
presentado en la Figura 6.3, son:
(3, 5), (1, 2), (4, 5), (2, 3), (2, 4), (1, 4), (1, 5), (3, 4)
1 3
4 5
Figura 6.3. Un grafo simple no dirigido de 5 vrtices y 8 aristas.
n(n 1)
m = 10 = 28
2
La Tabla 6.6 presenta las m = 10 aristas generadas con sus vrtices reordenados
Recurdese que se debe verificar previamente que los vrtices inicial y final sean distintos.
185
Una Introduccin a las Matemticas Discretas y Teora de Grafos
nodea = dagpermute[nodea]
nodeb = dagpermute[nodeb]
186
Captulo 6. Generacin Automtica de Grafos
Tabla 6.7. Redefinicin de las 10 aristas en la Tabla 6.6 antes de ser incorporadas
a un grafo simple dirigido acclico de 8 vrtices (vase el texto para detalles).
Arista Original dagpermute[nodea] dagpermute[nodeb] Arista Redefinida
(6, 7) 3 5 (3, 5)
(1, 8) 8 1 (8, 1)
(1, 6) 8 3 (8, 3)
(2, 4) 4 2 (4, 2)
(6, 7) 3 5 (3, 5)
(5, 6) 7 3 (7, 3)
(2, 5) 4 7 (4, 7)
(4, 5) 2 7 (2, 7)
(7, 8) 5 1 (5, 1)
(6, 8) 3 1 (3, 1)
1 3
4
8
7 5
6
Figura 6.4. Un grafo simple dirigido acclico formado por 8 vrtices y 10 aristas.
187
Una Introduccin a las Matemticas Discretas y Teora de Grafos
188
Captulo 6. Generacin Automtica de Grafos
numedges = 0
189
Una Introduccin a las Matemticas Discretas y Teora de Grafos
190
Captulo 6. Generacin Automtica de Grafos
Supngase que se desea generar un grafo bipartita aleatorio con las siguientes
caractersticas:
n=7
n1 = 3
n2 = 4
m = 10
Dado que se satisface que m = 10 n1n2 = 12 se tiene que es posible construir el grafo
bipartita requerido.
El vrtice inicial y vrtice final de cada una de las m aristas del grafo son generados
aleatoriamente de acuerdo a la siguiente regla:
nodea = 1 + getNextReal( ) n1
nodeb = n1 + 1 + getNextReal( ) n2
En donde:
La funcin getNextReal genera nmeros aleatorios en el intervalo [0.0, 1.0).
El producto entre getNextReal y n1 es un nmero en el intervalo [0.0, n1) pero al sumar
uno a tal producto se obtiene un nmero en el intervalo [1.0, n1 + 1). Al utilizar la
funcin piso se asegura que el valor para nodea se encuentre en {1, 2, 3, , n1}. Estos
vrtices forman el primer subconjunto en la particin de los vrtices del grafo.
El producto entre getNextReal y n2 es un nmero en el intervalo [0.0, n2), pero al
sumarle n1 + 1 se obtiene un nmero en el intervalo [n1 + 1, n1 + n2 + 1). La funcin
piso asegura que el valor para nodeb forme parte de {n1 + 1, n1 + 2, , n1 + n2}. Este es
el segundo subconjunto que conforma a la particin de los vrtices del grafo.
191
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Tabla 6.9. Generacin aleatoria de valores dentro de los conjuntos {1, 2, 3} (segunda columna)
y {4, 5, 6, 7} (cuarta columna) para la definicin de las 10 aristas candidatas
a incorporar a un grafo bipartita de 7 vrtices (vase el texto para detalles).
getNextReal( ) nodea getNextReal( ) nodeb
1 + 0.204864 3 3 + 1 + 0.666241 4
0.204864 0.666241
= 1.61459 = 1 = 6.66496 = 6
1 + 0.876297 3 3 + 1 + 0.123236 4
0.876297 0.123236
= 3.62889 = 3 = 4.49294 = 4
1 + 0.116297 3 3 + 1 + 0.851271 4
0.116297 0.851271
= 1.34889 = 1 = 7.40508 = 7
1 + 0.980568 3 3 + 1 + 0.498672 4
0.980568 0.498672
= 3.9417 = 3 = 5.99469 = 5
1 + 0.335574 3 3 + 1 + 0.647207 4
0.335574 0.647207
= 2.00672 = 2 = 6.58883 = 6
1 + 0.593103 3 3 + 1 + 0.236683 4
0.593103 0.236683
= 2.77931 = 2 = 4.94673 = 4
1 + 0.435213 3 3 + 1 + 0.819453 4
0.435213 0.819453
= 2.30564 = 2 = 7.27781 = 7
1 + 0.93808 3 3 + 1 + 0.497439 4
0.93808 0.497439
= 3.81424 = 3 = 5.98976 = 5
1 + 0.383601 3 3 + 1 + 0.057174 4
0.383601 0.057174
= 2.1508 = 2 = 4.2287 = 4
1 + 0.149941 3 3 + 1 + 0.376396 4
0.149941 0.376396
= 1.44982 = 1 = 5.50558 = 5
192
Captulo 6. Generacin Automtica de Grafos
En este punto la matriz de adyacencias del grafo tiene el siguiente estado presentado
en la Tabla 6.10. Debido a que el grafo es no dirigido se tiene de hecho una matriz
simtrica.
193
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Tabla 6.11. Generacin aleatoria de valores dentro del conjunto {1, 2, 3, 4, 5, 6, 7} a fin de establecer
intercambios de renglones y columnas en la matriz de la Tabla 6.10 (vase el texto para detalles).
nodea getNextReal( ) nodec Permutaciones
1 + 0.283893 (7 + 1 - 1) Rengln 1 por Rengln 2
1 0.283893
= 2.98725 = 2 Columna 1 por Columna 2
(1, 3), (1, 5), (1, 6), (1, 7), (2, 3), (2, 6), (3, 4), (4, 5), (4, 6), (4, 7)
194
Captulo 6. Generacin Automtica de Grafos
Vase la Figura 6.5. Analizando los vrtices que las conforman se deduce que el conjunto
de vrtices del grafo fue particionado en los siguientes dos subconjuntos:
{3, 5, 6, 7}
{1, 2, 4}
6
4
7
Figura 6.5. Un grafo bipartita de 7 vrtices. Su conjunto de vrtices
ha sido particionado en los subconjuntos {1, 2, 4} y {3, 5, 6, 7}.
Debe ser claro que n1n2 es el nmero mximo de aristas con que puede contar un grafo
bipartita. Por otro lado previamente se estableci que si m = 0 entonces el nmero de aristas
a generar ser determinado de manera aleatoria. El Algoritmo 6.3 proporcionar su salida
de la siguiente manera:
195
Una Introduccin a las Matemticas Discretas y Teora de Grafos
if m 0 then
// Se generar un grafo bipartita con exactamente m aristas.
if m > n1 * n2 then
// Si el nmero de aristas deseado excede al mximo posible
// entonces m es igualado a n1 * n2.
m = n1 * n2
end-of-if
numedges = 0
while numedges < m do
// Se genera un entero en el intervalo [1, n1]
nodea = 1 + getNextReal( ) * n1
// Se genera un entero en el intervalo [n1 + 1, n]
nodeb = n1 + 1 + getNextReal( ) * n2
if (nodea, nodeb) E(G) then
// Si la arista (nodei, nodej) no haba sido previamente
// identificada entonces es agregada al conjunto de aristas
// de G.
E(G) = E(G) {(nodea, nodeb)}
numedges = numedges + 1
end-of-if
end-of-while
else
// Si m = 0 entonces se genera un grafo bipartita con nmero aleatorio
// de aristas.
// El conjunto de aristas de G es inicializado aleatoriamente de manera
// que se tengan aristas con vrtices del grupo {1, 2, , n1} a vrtices
// del grupo {n1+1, n1+2, , n1+ n2}.
for nodea = 1 until n1 do
for nodeb = n1 + 1 until n do
// Se agrega una arista si y slo si el siguiente entero
// aleatorio generado es cero.
if getNextInteger(2) = 0 then
E(G) = E(G) {(nodea, nodeb)}
end-of-if
end-of-for
end-of-for
end-of-else
196
Captulo 6. Generacin Automtica de Grafos
197
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Es claro que la proposicin especificada en el Paso 2 es falsa: todos los vrtices son
de grado diferente a 3. Por lo tanto se procede al Paso 3. Se deben elegir dos vrtices u y v
no adyacentes, no conectados por una arista, con grado menor a 3. En este punto contamos
con varias opciones. Supngase que se elige u = 1 y v = 2. De acuerdo al Paso 4 la arista
(1, 2) es agregada al grafo y se retorna al Paso 2. Vase la Figura 6.6.b.
La proposicin especificada en el Paso 2 sigue sin ser satisfecha ya que todos los
vrtices son de grado diferente a 3. Por lo tanto se procede al paso 3. Debe ser claro que la
idea es agregar aristas al grafo mientras la proposicin del Paso 2 no sea satisfecha y
mientras en el Paso 3 se encuentren pares de vrtices no adyacentes con grados menores a 3
los cuales dan lugar a una nueva arista segn el Paso 4. Las Figuras 6.6.d, 6.6.e y 6.6.f, las
Figuras 6.7.a a 6.7.f, y las Figuras 6.8.a y 6.8.b, muestran la secuencia de aristas agregadas
segn los Pasos 3 y 4. Tal secuencia finalizar, para nuestro ejemplo, cuando en el Paso 3
no se encuentre un par de vrtices no adyacentes de grado menor a 3.
198
Captulo 6. Generacin Automtica de Grafos
1 8 1 8
2 7 2 7
9 9
3 6 3 6
10 10
4 5 4 5
a) Inicializacin. b) Arista agregada: (1, 2).
1 8 1 8
2 7 2 9 7
9
10
3 6 3 6
10
4 5 4 5
c) Arista agregada: (7, 8). d) Arista agregada: (3, 6).
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
e) Arista agregada: (4, 7). f) Arista agregada: (2, 6).
Figura 6.6. Proceso de construccin de un grafo regular de grado 3 y 10 vrtices
(Primera Parte, vase el texto para detalles).
199
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
a) Arista agregada: (4, 5). b) Arista agregada: (3, 4).
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
c) Arista agregada: (2, 5). d) Arista agregada: (1, 8).
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
e) Arista agregada: (1, 7). f) Arista agregada: (5, 6).
Figura 6.7. Proceso de construccin de un grafo regular de grado 3 y 10 vrtices
(Segunda Parte, vase el texto para detalles).
200
Captulo 6. Generacin Automtica de Grafos
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
a) Arista agregada: (3, 8). b) Arista agregada: (9, 10).
Figura 6.8. Proceso de construccin de un grafo regular de grado 3 y 10 vrtices
(Tercera Parte, vase el texto para detalles).
En este punto de nuestro ejemplo, Figura 6.8.b, tenemos que las condiciones
impuestas en el Paso 3 no pueden ser satisfechas ya que todos los vrtices son de grado 3
excepto los vrtices 9 y 10 cuyo grado es uno. Estos ltimos vrtices tampoco pueden ser
seleccionados por el Paso 3 debido a que son adyacentes. El procedimiento tampoco puede
finalizar porque precisamente los vrtices 9 y 10 no son de grado 3 an. De acuerdo al Paso
3, debido a que los vrtices no adyacentes u y v de grado menor a 3 no pudieron ser
encontrados entonces se procede a efectuar el Paso 5.
Por la Figura 6.9.b sabemos que los vrtices 9 y 10 son ambos de grado 2 mientras
que los restantes de grado 3. La condicin del Paso 2 no es an satisfecha. Tampoco la
condicin del Paso 3 es satisfecha ya que los vrtices 9 y 10 son adyacentes. La condicin
del Paso 5 tampoco es satisface. Nuevamente se efecta el Paso 6. La eleccin lgica para
los vrtices r y s son nuevamente los vrtices 9 y 10. Los vrtices adyacentes p y q pueden
ser los vrtices 1 y 2 ya que el vrtice 9 no es adyacente al vrtice 1 y el vrtice 10 no es
adyacente al vrtice 2. Por lo tanto la arista (1, 2) es eliminada mientras que las aristas
(1, 9) y (2, 10) son agregadas al grafo. Vase la Figura 6.10.
201
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
a) b)
Figura 6.9. Proceso de construccin de un grafo regular de grado 3 y 10 vrtices
(Cuarta Parte, vase el texto para detalles).
1 8 1 8
2 9 7 2 9 7
10 10
3 6 3 6
4 5 4 5
a) b)
Figura 6.10. Proceso de construccin de un grafo regular de grado 3 y 10 vrtices
(Quinta y ltima Parte, vase el texto para detalles).
Al retornar al Paso 2 se tiene que se satisface que todos los vrtices del grafo son de
grado 3 (Figura 6.10.b). En este punto el proceso finaliza.
202
Captulo 6. Generacin Automtica de Grafos
203
Una Introduccin a las Matemticas Discretas y Teora de Grafos
r=0
s=0
v=0
if n degree then
// Si el nmero de vrtices es menor al grado deseado, entonces no
// es posible construir el grafo.
return NULL
end-of-if
204
Captulo 6. Generacin Automtica de Grafos
205
Una Introduccin a las Matemticas Discretas y Teora de Grafos
206
Captulo 6. Generacin Automtica de Grafos
end-of-if
end-of-for
end-of-if
end-of-if
end-of-for
else
// Se identificaron dos vrtices adyacentes de grado menor a degree.
// Tales vrtices se alojan en las variables r y s.
// Se procede a buscar dos vrtices adyacentes p y q tales que p no
// sea adyacente a r y que q no sea adyacente a s.
for i = 1 until n do
p = permute[i] // Se tiene un vrtice candidato p.
// Se verifica que p sea distinto a r y a s.
if (p r) (p s) then
if (r, p) E(G) then
// Los vrtices p y r no son adyacentes.
for j = 1 until n do
// Se tiene un vrtice candidato q.
q = permute[j]
if (q r) (q s) then
// Se verifica que q sea distinto a
// r y a s.
if ((p, q) E(G))
((s, q) E(G)) then
// Si p y q son adyacentes
// y s y q no son
// adyacentes entonces se
// remueve la arista
// (p, q) y se agrega la
// arista (p, r) y la arista
// (q, s).
E(G) = E(G) \ {(p, q)}
E(G) = E(G) {(r, p)}
E(G) = E(G) {(s, q)}
// Se actualizan los
// grados de los vrtices
// r y s.
deg[r] = deg[r] + 1
deg[s] = deg[s] + 1
// Se ignora la iteracin
// actual del ciclo
// principal while
// y se inicia una nueva.
continue iterate
end-of-if
207
Una Introduccin a las Matemticas Discretas y Teora de Grafos
end-of-if
end-of-for
end-of-if
end-of-if
end-of-for
end-of-else
end-of-while
Sabemos, desde el Captulo 5, que todo rbol de expansin de n vrtices tiene exactamente
n-1 aristas.
208
Captulo 6. Generacin Automtica de Grafos
El siguiente vrtice k a agregar debe ser elegido del conjunto {4, 1} (i = 2) y ser
conectado al vrtice perm[i + 1] = perm[3] = 2. Supngase que nuevamente k = 4. Vase la
Figura 6.11.c.
El conjunto actual de vrtices de nuestro rbol est dado por {4, 1, 2} (i = 3). El
siguiente vrtice k deber ser aleatoriamente elegido de tal conjunto y se har adyacente al
vrtice perm[i + 1] = perm[4] = 8. Haciendo que k = 1, entonces se tiene el rbol de la
Figura 6.11.d.
209
Una Introduccin a las Matemticas Discretas y Teora de Grafos
4 4 1
a) b)
4 1 4 1 8
2 2
c) d)
4 1 8 4 1 8
2 6 2 7 6
e) f)
4 1 8
2 7 6 3
g)
4 1 8 5
2 7 6 3
h)
Figura 6.11. Proceso de construccin de un rbol de expansin de 8 vrtices (vase el texto para detalles).
210
Captulo 6. Generacin Automtica de Grafos
211
Una Introduccin a las Matemticas Discretas y Teora de Grafos
T. Obsrvese tambin la relacin que existe entre el grado de cualquier vrtice v en T con el
nmero de veces que ste aparece en su Cdigo de Prfer. Los vrtices de mayor grado en
T son el 3 y el 4, ambos con grado 3. Ambos vrtices aparecen dos veces en el cdigo. A
este par le siguen los vrtices 5 y 6 cuyo grado es 2 y que aparecen nicamente una sola vez
en el cdigo. Estas observaciones conducen a establecer que todo vrtice v de grado deg(v)
que forma parte de un rbol etiquetado aparecer deg(v) 1 veces en el correspondiente
Cdigo de Prfer. Esta propiedad es consistente con los nodos hoja ya que stos al ser de
grado 1 aparecen 0 veces en el cdigo.
1 5
3 4
2 6
Figura 6.12. Un rbol Etiquetado de 8 vrtices con Cdigo de Prffer [3, 3, 4, 5, 4, 6].
212
Captulo 6. Generacin Automtica de Grafos
213
Una Introduccin a las Matemticas Discretas y Teora de Grafos
6 2
4 1 4 1
a) b)
6 2 6 2
4 1 4 1 3
c) d)
6 2 7
4 1 3
e)
6 2 7
4 1 3
5
f)
6 2 7
4 1 3
8 5
g)
Figura 6.13. Proceso de construccin de un rbol Etiquetado de 8 vrtices
y Cdigo de Prfer [1, 2, 1, 3, 3, 5] (Vase el texto para detalles)
214
Captulo 6. Generacin Automtica de Grafos
Procedure randomLabeledTree(Integer n)
215
Una Introduccin a las Matemticas Discretas y Teora de Grafos
216
Captulo 6. Generacin Automtica de Grafos
Es claro que slo los grafos conectados pueden ser Hamiltonianos, en el sentido de
que existe la posibilidad de que cuenten con un circuito Hamiltoniano. Sin embargo, no
existe un criterio simple que indique si un grafo es o no Hamiltoniano.
217
Una Introduccin a las Matemticas Discretas y Teora de Grafos
n(n 1)
= 45 m = 20 n = 10
2
Tal como mencionamos con anterioridad el grafo contar con el siguiente circuito
Hamiltoniano:
(9, 10, 7, 5, 8, 3, 1, 2, 6, 4, 9)
218
Captulo 6. Generacin Automtica de Grafos
1 2
3 4 5
6 7 8
10 9
Figura 6.15. Las 10 aristas iniciales que conforman un Circuito Hamiltoniano
para un grafo de 10 vrtices y 20 aristas (Vase el texto para detalles).
nodea = getNextInteger(n) + 1
nodeb = getNextInteger(n) + 1
219
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 2
3 4 5
6 7 8
10 9
Figura 6.16. Un Grafo Hamiltoniano no dirigido conformado por 10 vrtices y 20 aristas.
220
Captulo 6. Generacin Automtica de Grafos
(6, 3, 1, 4, 5, 2, 6)
1 2
6 3
5 4
Figura 6.17. Las 6 aristas iniciales que conforman un Circuito Hamiltoniano
para un grafo dirigido de 6 vrtices y 10 aristas (Vase el texto para detalles).
221
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 2
6 3
5 4
Figura 6.18. Un Grafo Dirigido Hamiltoniano conformado por 6 vrtices y 10 aristas.
222
Captulo 6. Generacin Automtica de Grafos
maxedges = n * (n - 1)
if directed = false then
maxedges = maxedges / 2
end-of-if
numedges = 0
numedges = numedges + 1
// Se agrega la arista (nodea, nodeb).
E(G) = E(G) {(nodea, nodeb)}
223
Una Introduccin a las Matemticas Discretas y Teora de Grafos
f : V (G ) V ( H )
De manera que cualesquiera par de vrtices u y v son adyacentes en G si y slo si f(u) y f(v)
son adyacentes en H. Si existe un Isomorfismo entre dos grafos sabemos que stos son
Isomorfos. Si se da el caso en que los grafos G y H son el mismo grafo, entonces se dice
que se tiene un Automorfismo.
224
Captulo 6. Generacin Automtica de Grafos
a b
5 6
c d
1 2
8 7 e f
4 3
g h
G H
Figura 6.19. Dos grafos simples, G y H, Isomorfos.
a si n =1
b si n=2
c si n=3
d si n=4
f ( n) =
e si n=5
f si n=6
g si n=7
h n=8
si
Se verificar si los grafos G y H, de la Figura 6.19, son grafos Isomorfos. Para ello, se
determinar en primer lugar si toda arista de G es efectivamente una arista de H utilizando
la funcin f. A travs de la Tabla 6.17 podemos verificar que efectivamente el punto
planteado es cierto.
225
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Dado que la funcin f fue definida como biyectiva entonces existe la funcin inversa
-1
f tal que f o f -1 y f -1 o f son funciones identidad. De hecho, f -1 est dada por:
1 iff n=a
2 iff n=b
3 iff n=c
1 4 iff n=d
f ( n) =
5 iff n=e
6 iff n= f
7 iff n=g
8 n=h
iff
226
Captulo 6. Generacin Automtica de Grafos
Por lo tanto, para los grafos dados, de la Figura 6.19, se ha demostrado que toda
arista de G es una arista de H, y viceversa, mediante la biyeccin f. Por lo tanto, los grafos
G y H son Isomorfos.
Array map[1, , n]
227
Una Introduccin a las Matemticas Discretas y Teora de Grafos
228
Una Introduccin a las Matemticas Discretas y Teora de Grafos
7. Grafos:
Algoritmos Bsicos
Una Introduccin a las Matemticas Discretas y Teora de Grafos
230
Captulo 7. Grafos: Algoritmos Bsicos
A
Vrtice Listas de adyacencias
A B, C, D
C B D B A, E, F
C A, F
D A
F E G E B, F, G
F B, C, E
G E, H
H H G
Figura 7.1. Un grafo con su representacin por listas de adyacencias.
La lista de espera para la Bsqueda por Profundidad ser una pila (stack). La idea
general detrs del algoritmo, iniciando por el vrtice A, es como sigue:
Primero se procesa el vrtice inicial A.
Entonces se procesa cada vrtice X a lo largo de una ruta P que comienza en A; es decir,
se procesa a un vecino de A, despus a un vecino de un vecino de A y as
sucesivamente.
Despus de llegar a un punto muerto, es decir, a un vrtice sin vecinos no procesados,
se retrocede sobre la ruta P hasta que se contina a lo largo de otra ruta P' y as
sucesivamente.
El retroceso es controlado mediante una pila que contiene vrtices es espera los cuales
sern utilizados para definir posibles futuras rutas. El valor STATUS indica el estatus
actual de cualquier vrtice a fin de evitar el procesar a un vrtice en ms de una ocasin.
En el Algoritmo 7.1 se presenta nuestra implementacin de la Bsqueda por Profundidad.
La pila es controlada a travs de las bien conocidas funciones Push y Pop. Tambin se
mencionan las funciones IsEmpty e Initialize que determinan si una pila est vaca y que
inicializan una pila vaca, respectivamente.
El Algoritmo 7.1 slo procesara aquellos vrtices que estn conectados al vrtice
inicial A, es decir, aquellos vrtices a los que se puede llegar a partir de A. Por ejemplo, la
Bsqueda por Profundidad aplicada al grafo de la Figura 7.2, iniciando desde el vrtice 1,
nunca procesar al vrtice 3 debido a que no existe una ruta entre ellos.
231
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 2
4 3
Figura 7.2. Un grafo desconectado para el cual la Bsqueda por Profundad
nunca descubre al vrtice 3 por no existir una ruta que lo conecte con el vrtice inicial 1.
STATUS(A) = 2
Push(S, A) // Se introduce el vrtice inicial A en la pila S.
Considrese que al grafo presentado en la Figura 7.1 se le aplica una Bsqueda por
Profundidad iniciando por el vrtice A. Los vrtices sern procesados por el algoritmo en el
siguiente orden:
A, D, C, F, E, G, H, B
Especficamente, en la Tabla 7.2 se muestra la secuencia de listas de espera en la
pila y en la Tabla 7.1 el procesamiento de los vrtices junto con sus estados en cada
iteracin, denotada por T. Cada vrtice, excluyendo al inicial A, es obtenido de una
vecindad y por lo tanto tal vrtice y el vrtice propietario de la vecindad definen una arista
en el grafo. Estas aristas forman un rbol de G el cul es presentado en la Figura 7.24 (los
nmeros indican el orden en que las aristas fueron agregadas al rbol).
232
Captulo 7. Grafos: Algoritmos Bsicos
0 A
1 A D, C, B
2 D C, B
3 C F, B
4 F E, B
5 E G, B
6 G H, B
7 H B
8 B
A
2 1
7
C B D
3
5
F E G
4
6
H
233
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Ahora se aplicar al mismo grafo de la Figura 7.1 una Bsqueda por Profundidad
pero iniciando por el vrtice F. Los vrtices sern procesados por el algoritmo en el
siguiente orden:
F, E, G, H, B, A, D, C
En las Tablas 7.3 y 7.4 se muestran los correspondientes procesamientos de los vrtices y el
estado de la pila durante cada iteracin del algoritmo, respectivamente. Ntese que el rbol
obtenido, y presentado en la Figura 7.4, es diferente al de la Figura 7.3. El primer rbol
proporciona informacin respecto a qu vrtices son alcanzables desde el vrtice A,
mientras que el segundo muestra los vrtices alcanzables desde F. En ambos casos todos
los vrtices del grafo son alcanzables desde A o F ya que el grafo original es conectado.
Tabla 7.4. Estado de la lista de espera (pila) en cada iteracin T de la Bsqueda por Profundidad
aplicada sobre el grafo de la Figura 7.1. El vrtice inicial es F.
0 F
1 F E, B, C
2 E G, B, C
3 G H, B, C
4 H B, C
5 B A, C
6 A D, C
7 D C
8 C
234
Captulo 7. Grafos: Algoritmos Bsicos
A
6
5
C B D
7 4
F E G
1 2
3
H
Figura 7.4. rbol generado por la Bsqueda por Profundidad
aplicada sobre el grafo de la Figura 7.1 con el vrtice inicial F (los nmeros indican el orden
en que las aristas fueron agregadas al rbol).
235
Una Introduccin a las Matemticas Discretas y Teora de Grafos
STATUS(A) = 2
Enqueue(Q, A) //Se introduce el vrtice inicial A en la cola Q.
A, B, C, D, E, F, G, H
236
Captulo 7. Grafos: Algoritmos Bsicos
Tabla 7.6. Estado de la lista de espera (cola) en cada iteracin T de la Bsqueda por Amplitud
aplicada sobre el grafo de la Figura 7.1. El vrtice inicial es A.
0 A
1 A D, C, B
2 B F, E, D, C
3 C F, E, D
4 D F, E
5 E G, F
6 F G
7 G H
8 H
A
2 3
1
C B D
5 4
6
F E G
7
H
Figura 7.5. rbol generado por la Bsqueda por Amplitud
aplicada sobre el grafo de la Figura 7.1 con el vrtice inicial A (los nmeros indican el orden
en que las aristas fueron agregadas al rbol).
Ahora se aplicar al mismo grafo, de la Figura 7.1, una Bsqueda por Amplitud
iniciando por el vrtice F. Los vrtices sern procesados en el siguiente orden:
F, B, C, E, A, G, D, H
237
Una Introduccin a las Matemticas Discretas y Teora de Grafos
En las Tablas 7.7 y 7.8 se muestran los correspondientes procesamientos de los vrtices y el
estado de la cola durante cada iteracin del algoritmo, respectivamente. En la Figura 7.6 se
muestra el correspondiente rbol de Bsqueda por Amplitud.
Tabla 7.8. Estado de la lista de espera (cola) en cada iteracin T de la Bsqueda por Amplitud
aplicada sobre el grafo de la Figura 7.1. El vrtice inicial es F.
0 F
1 F E, C, B
2 B A, E, C
3 C A, E
4 E G, A
5 A D, G
6 G H, D
7 D H
8 H
A
6
4
C B D
2 1
F E G
3 5
7
H
Figura 7.6. rbol generado por la Bsqueda por Amplitud
aplicada sobre el grafo de la Figura 7.1 con el vrtice inicial F (los nmeros indican el orden
en que las aristas fueron agregadas al rbol).
238
Captulo 7. Grafos: Algoritmos Bsicos
G T1
T2 T3
Figura 7.7. Tres rboles de expansin para el grafo G.
239
Una Introduccin a las Matemticas Discretas y Teora de Grafos
A 8 B
7 3
7
C 4
5 D
6 4
7
E F
Consideremos el grafo G presentado en la Figura 7.8. Para este grafo se tiene que:
V(G) = {A, B, C, D, E ,F}
E(G) = {(B,C), (A,F), (A,C), (B,E), (C,E), (B,F), (A,E), (D,F), (B,D)}
w(B,C) = 8 w(A,F) = 7 w(A,C) = 7 w(B,E) = 7 w(C,E) = 6
w(B,F) = 5 w(A,E) = 4 w(D,F) = 4 w(B,D) = 3
Aristas (B,C) (A,F) (A,C) (B,E) (C,E) (B,F) (A,E) (D,F) (B,D)
Peso 8 7 7 7 6 5 4 4 3
Eliminar? Si Si Si No No Si
A B
3
7
C 4
D
6 4
E F
Figura 7.9. Un rbol de expansin mnimo de peso 24 para el grafo de la Figura 7.8.
240
Captulo 7. Grafos: Algoritmos Bsicos
Aristas (B,D) (A,E) (D,F) (B,F) (C,E) (A,C) (A,F) (B,E) (B,C)
Peso 3 4 4 5 6 7 7 7 8
Agregar? Si Si Si No Si No Si
A B
3
C 4
D
6 4
7
E F
Figura 7.10. Un segundo rbol de expansin mnimo de peso 24 para el grafo de la Figura 7.8.
T=G
nT = m
241
Una Introduccin a las Matemticas Discretas y Teora de Grafos
return T
end-of-procedure
(a S )(a R a)
(a, b S )(a R b b R a)
( a, b, c S )( a R b b R c a R c )
242
Captulo 7. Grafos: Algoritmos Bsicos
0 1 2 3 4 5 6 7
243
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Despus de aplicar la operacin Union(4, 6) se tiene ahora una particin de 7 clases. Vase
la Figura 7.12.
0 1 2 3 4 6 5 7
Figura 7.12. El conjunto de la Figura 7.11 una vez que se aplica la operacin Union(4, 6).
0 1 3 2 4 6 5 7
Figura 7.13. El conjunto de la Figura 7.12 una vez que se aplicaron Union(0, 1) y Union(2, 6).
for k = 1 until n
if (A[k] = A[j]) then
A[k] = A[i]
end-of-if
end-of-for
244
Captulo 7. Grafos: Algoritmos Bsicos
De acuerdo a lo anterior, Find slo debe recorrer el rbol al que pertenece i comenzando
desde tal vrtice hasta alcanzar al nodo raz. Vase el Algoritmo 7.4. En el caso de Union,
en primer lugar se debe obtener la raz del rbol al que pertenece i as como la raz del rbol
al que pertenece j. Si las races son distintas entonces i y j estn en rboles diferentes. En
consecuencia, los rboles se mezclan haciendo que la raz de i sea ahora el padre de la raz
de j. Ntese que esta nueva asignacin garantiza que el grafo obtenido siga siendo un rbol.
Vase el Algoritmo 7.5.
1 2 3 4 5 6 7 8 9
245
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 2 3 4 5 7 8 9
Figura 7.15. El bosque de la Figura 7.14 una vez que se aplic Union(4, 6).
1 3 4 5 7 8 9
2 6
Figura 7.16. El bosque de la Figura 7.15 una vez que se aplic la operacin Union(1, 2).
Ahora se aplicar Union(2, 6). De acuerdo al Algoritmo 7.5 se tiene que Find(2) = 1 y
Find(6) = 4. Se hace parent[4] = 1 por lo se obtiene el bosque de la Figura 7.17.
Recalcamos nuevamente que la manipulacin de un conjunto de rboles mediante la
estructura de datos Conjunto Disjunto garantiza que los grafos generados son libres de
circuitos.
1 3 5 7 8 9
2 4
Figura 7.17. El bosque de la Figura 7.16 una vez que se aplic la operacin Union(2, 6).
246
Captulo 7. Grafos: Algoritmos Bsicos
20 40 30 20
30
3 6 4
40 40
Figura 7.18. Un grafo pesado al que se le determinar su rbol de expansin mnimo.
247
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Para tal grafo se tendr el bosque, arreglo parent y conjunto T iniciales presentados en la
Figura 7.19.
parent[1] = 1
parent[2] = 2
parent[3] = 3
1 2 3 4 5 6 T=
parent[4] = 4
parent[5] = 5
parent[6] = 6
a) b) c)
Figura 7.19. Inicializacin del algoritmo de Kruskal. a) Un bosque con 6 vrtices,
b) su correspondiente arreglo parent y c) el rbol de expansin mnimo T actual: el conjunto vaco.
Al ordenar de manera ascendente a las aristas respecto a su peso se tiene que los elementos
de EWT(G) estarn listados de la siguiente manera:
Se procede secuencialmente a analizar cada arista del grafo (Vase la Tabla 7.9):
248
Captulo 7. Grafos: Algoritmos Bsicos
249
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Tabla 7.9. Procesamiento de las aristas (1, 2), (2, 4), (3, 5), (1, 5) y (1, 6)
del grafo de la Figura 7.18 por medio del Algoritmo de Kruskal.
Arista Bosque Conjunto T
20
1 2
1 3 4 5 6
(1,2)
20
1 2
1 3 5 6
(2,4) 20
2 4
4
20
1
5 1 2
3 6
(3, 5) 20 20
2 4 5
3 4
30 20
1
5 1 2
3 6
(1, 5) 20 20
2 4 5
3 4
30 20
1 3
5 1 2
(1, 6) 20 20
30
6 2 4 5
3 6 4
El rbol de expansin mnimo con peso 120 ha sido encontrado (Vase la Figura
7.20). El conjunto T contiene las aristas de tal rbol: T = {(1, 2), (2, 4), (3, 5), (1, 5), (1, 6)}.
30 20
5 1 2
20 20
30
3 6 4
Figura 7.20. El rbol de expansin mnimo asociado al grafo de la Figura 7.18.
250
Captulo 7. Grafos: Algoritmos Bsicos
El ltimo rengln de la Tabla 7.9 nos permite verificar que el rbol de expansin
mnimo y el rbol descrito por el arreglo parent no son iguales. Por lo general as ser para
cualquier grafo G. Ello se debe a que la estructura de Conjunto Disjunto slo es un auxiliar
que nos permite decidir si una arista se agrega o no al conjunto T. Es decir, se tiene una
equivalencia en el sentido de que un arista se agrega a T si y slo si los dos vrtices que la
conforman estn en rboles diferentes. Pero ello no se traduce necesariamente en que los
rboles finales sean iguales. De hecho, ntese que en el rbol bajo conjuntos disjuntos se
tienen aristas que no estn en G, vase, por ejemplo, la arista (1, 4).
A B C
E F G
Figura 7.21. Un grafo Euleriano (todos sus vrtices son de grado par)
sobre el que se aplicar el Algoritmo de Fleury.
251
Una Introduccin a las Matemticas Discretas y Teora de Grafos
A B C
(A, B) A B
D
E F G
(A,B,C)
A C
(B, C)
Puente Otra opcin D
de seleccin no A B C
disponible
E F G
(A,B,C,D)
A C
A B C
(C,D) D
D
E F G
252
Captulo 7. Grafos: Algoritmos Bsicos
A C
A B C
(D,E) D
D
E F G
E
(A,B,C,D,E,A)
A C
A B C
(E,A) D
D
E F G
E
(A,B,C,D,E,A,C)
A C
A B C
(A,C)
E F G
253
Una Introduccin a las Matemticas Discretas y Teora de Grafos
D
(C,G)
A B C
Puente Otra opcin
de seleccin no
E F G
disponible.
D
E G
(A,B,C,D,E,A,C,G,E)
A B C
D
(G,E) D
E F G
E G
(A,B,C,D,E,A,C,G,E,F)
A B C
(E,F)
Puente Otra opcin D
de seleccin no D
disponible
F G
E F G
254
Captulo 7. Grafos: Algoritmos Bsicos
A B C
(F,G)
Puente Otra opcin D
de seleccin no D
disponible
G
E F G
(A,B,C,D,E,A,C,G,E,F,G,D)
A B C
(G,D) A
Puente Otra opcin
de seleccin no D
disponible
D
E F G
(A,B,C,D,E,A,C,G,E,F,G,D,A)
A B C
(D,A)
Puente Otra opcin
de seleccin no D
disponible
E F G
255
Una Introduccin a las Matemticas Discretas y Teora de Grafos
C D
B F
C D
B F
Figura 7.23. Remocin de la arista (C, D) del subgrafo factible de la Figura 7.22.
Se separa en dos componentes.
256
Captulo 7. Grafos: Algoritmos Bsicos
257
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Sea G un grafo pesado. Se requiere encontrar la ruta P entre dos vrtices v0 y vk tal
que sta tenga la distancia mnima. El Peso o Distancia de una Ruta P = (v0, v1, , vk) es
la suma de los pesos de sus aristas constituyentes:
k
w( P) = w(vi 1 , vi )
i =1
La ruta ms corta entre el vrtice u y el vrtice v es entonces definida como cualquier ruta P
con peso w(P)= (u, v) . El siguiente Teorema nos dice que dada una ruta ms corta P entre
dos vrtices, cualquier subruta dentro de P es tambin la ms corta entre sus
correspondientes vrtices inicial y final.
Teorema 7.1: Dado un grafo pesado G, sea P = (v0, v1, , vk) la ruta ms corta del
vrtice v0 al vrtice vk. Para cualquier i y j tales que 0 i j k, sea Pij = (vi, vi+1, , vj)
una subruta de P del vrtice vi al vrtice vj. Entonces Pij es la ruta ms corta del vrtice vi
al vrtice vj.
258
Captulo 7. Grafos: Algoritmos Bsicos
peso. Para ello, se utilizar una nueva ruta alternativa formada con la ruta R, que conecta a
root con u, y agregando la arista que conecta a u con v. Es decir, tenemos la ruta candidata
Q = (root, , u, v). El peso de tal ruta estar dado por d(u) + w(u, v). Recordemos que la
ruta original Q tiene peso d(v). Entonces, se evala la siguiente condicin:
Si la condicin es falsa entonces la ruta actual Q seguir siendo la mejor conexin entre
root y v. Pero, si la condicin es verdadera, ello implica que la nueva ruta propuesta, que
tambin conecta a root con v pero pasando por el vrtice u, es mejor, en trminos del peso,
a la que se tena originalmente. Por lo tanto, procedemos a relajar al vrtice v al asignarle
como nuevo estimado la suma del estimado del vrtice u y el peso de la arista (u, v) que los
conecta. El nuevo estimado d(v) ahora hace referencia a la nueva ruta Q.
Ntese que todo vrtice no procesado v en T debe ser relajado por vrtices ya
procesados que tambin son sus vecinos. Si estamos en la situacin de que todos los
vecinos ya procesados de v lo han relajado, o intentado relajar, y adems v tiene el estimado
mnimo comparado con los restantes vrtices en T, entonces, por el Teorema 7.1, ello
implica que v de hecho debe ser ya caracterizado como un vrtice procesado debido a que
su estimado d(v) ya no puede ser mejorado. Si d(v) pudiese ser an mejorado, considerando
todas las condiciones anteriores, ello implicara que hay al menos un vecino ya procesado
de v cuyo estimado an se puede mejorar, pero ello es una contradiccin ya que asumimos
que todo vrtice ya procesado tiene exactamente el valor, y no una cota superior, del peso
de la ruta ms corta partiendo de root. De hecho, debe ser claro que el primer vrtice del
grafo caracterizado como procesado es root con d(root) = 0 ya que el peso de la ruta ms
corta de este vrtice hacia s mismo es cero y por consecuencia no puede ser relajado.
259
Una Introduccin a las Matemticas Discretas y Teora de Grafos
todas las rutas ms cortas a partir del vrtice inicial root hacia todos los vrtices alcanzables
por ste. Ello implica, primero, que el algoritmo slo recibir como entrada al grafo G y al
vrtice inicial root, y por otro lado, se tendr que todos los vrtices, excepto root, sern
relajados hasta donde sea posible de manera que sus estimados contengan el peso exacto de
la ruta ms corta. Para ello, slo basta con terminar la ejecucin del algoritmo cuando todos
los vrtices de G sean caracterizados como procesados, es decir, cuando T = .
1
B C
1 5
3 2 3
5
4
A D
F 4 6 E
260
Captulo 7. Grafos: Algoritmos Bsicos
Considrese el grafo de la Figura 7.24. Formalmente, para tal grafo se tiene que:
V(G) = {A, B, C, D, E, F}
E(G) = {(A,B), (A,D), (A,E), (B,C), (B,E), (B,F), (C,F), (C,E), (C,D), (D,F), (D,E)}
Los pesos de sus aristas:
Se buscarn las rutas ms cortas del vrtice A a los restantes vrtices de G, entonces
root = A. En la fase de inicializacin se tiene que T = V(G) = {A, B, C, D, E, F} mientras
que los estimados y el arreglo Parent quedan como:
d(A) = 0 Parent[A] = -1
d(B) = Parent[B] = -1
d(C) = Parent[C] = -1
d(D) = Parent[D] = -1
d(E) = Parent[E] = -1
d(F) = Parent[F] = -1
En las Tablas 7.14 y 7.15 se muestran, para cada iteracin t efectuada por el ciclo
while del Algoritmo 7.8, la evolucin de los estimados de los vrtices, del arreglo Parent y
del conjunto de vrtices no procesados T. En la iteracin t = 6 se tiene que T = y la
bsqueda de rutas ms cortas finaliza. El arreglo Parent denota una relacin entre los
vrtices u y v de forma que Parent[u] = v se interpreta como v es padre de u o v se conecta
con u. Si Parent[u] = -1 entonces se tiene que el vrtice u es el inicio de una ruta. Por
ejemplo, si se desea conocer la secuencia de vrtices que forman la ruta ms corta entre el
vrtice root y F, una vez finalizada la ejecucin del algoritmo, se tendr:
Parent[F] = B
Parent[B] = A
Parent[A] = -1
261
Una Introduccin a las Matemticas Discretas y Teora de Grafos
262
Captulo 7. Grafos: Algoritmos Bsicos
1
B C
1 5
3 2 3
5
4
A D
F 4 6 E
263
Una Introduccin a las Matemticas Discretas y Teora de Grafos
alcanzables desde root. Dado que en este punto todo vrtice en T tiene estimado entonces
cualquiera puede ser usado para relajar a los restantes vrtices. Sea u el primer vrtice no
alcanzable desde root que ha salido del conjunto T. Sea v uno de los vecinos de u. Ntese
que se evaluar como siempre si d(v) > d(u) + w(u, v). Pero d(v) = d(u) = . Por lo tanto, v
nunca ser relajado y conservar su estimado . De hecho, y por la misma razn, ninguno
de los vrtices restantes tampoco podr ser relajado. Ello quiere decir que el Algoritmo de
Dijkstra terminar con un conjunto de vrtices para los cuales su estimado es y su valor
en el arreglo Parent ser -1. Es claro que esta salida es consistente con la definicin del
peso de la ruta ms corta que se present al inicio de esta seccin y por tanto los valores
de los estimados nos indican para cuales vrtices del grafo no existe una ruta que los
conecte con root.
Por ejemplo, considrese el grafo dirigido de la Figura 7.26. Debido a que existe
slo una ruta de s a a, de hecho la ruta (s, a), entonces (s, a) = w(s, a) = 3. De manera
similar existe slo una ruta de s a b tal que (s, b) = w(s, a) + w(a, b) = 3 + (-4) = -1.
Ahora bien, es claro que existe un nmero infinito de rutas (no necesariamente simples) de
s a c: (s, c), (s, c, d, c), (s, c, d, c, d, c) y as sucesivamente. Debido a que el circuito (c, d, c)
tiene peso 6 + (-3) = 3 > 0, la ruta ms corta de s a c es (s, c) con un peso
(s, c) = 5. De manera similar, la ruta ms corta de s a d es (s, c, d) con peso
(s, d) = w(s, c) + w(c, d) = 11. Ntese que tambin existe un nmero infinito de rutas de
s a e: (s, e), (s, e, f, e), (s, e, f, e, f, e) y as sucesivamente. Debido a que el circuito
(e, f, e) tiene un peso 3 + (-6) = -3 < 0 es que entonces no existe una ruta ms corta de s a e.
Ello se debe a que al recorrer el circuito de peso negativo (e, f, e) un nmero arbitrario de
veces se pueden encontrar rutas de s a e con pesos negativos cada vez ms pequeos: (s, e)
tiene peso 2, (s, e, f, e) tiene peso -1, (s, e, f, e, f, e) tiene peso -4, (s, e, f, e, f, e, f, e) es de
peso -7, y as sucesivamente. Por lo tanto (s, e) = -. De manera similar, (s, f) = -.
Debido a que g es alcanzable desde f, se pueden encontrar rutas con pesos cada vez ms
pequeos de s a g, pasando por el circuito (e,f,e), por lo tanto tambin se tiene que
264
Captulo 7. Grafos: Algoritmos Bsicos
(s, g) = -. En esta situacin, con el grafo de la Figura 7.26 como entrada, el Algoritmo de
Dijkstra terminar su ejecucin, sin embargo, los estimados que se proporcionarn en la
salida, todos diferentes de -, debern caracterizarse an como cotas superiores de los
pesos de las rutas ms cortas. En tal caso, se debera contar con un mecanismo para saber si
G cuenta o no con un circuito de peso negativo alcanzable desde el vrtice inicial root y
con ello tomar las consideraciones necesarias respecto a los estimados obtenidos.
-4
a b
6
4
3
5 -3 8
s c d g
3
2
7
-6
e f
265
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Ahora, una vez que cada vrtice de G ha sido procesado en n-1 ocasiones, el
algoritmo de Bellman-Ford efecta un intento ms de relajacin para cada vrtice. Si existe
un vrtice v, alcanzable desde root, cuyo estimado puede ser todava relajado, entonces ello
implica que el vrtice es de hecho alcanzable desde un circuito de peso negativo que
conecta a root con v. Y de hecho, si se intentar una (n+1)-sima relajacin, sta sera
exitosa. Es claro que tal vrtice puede ser relajado entonces un nmero infinito de veces. Si
esta situacin se presenta, el Algoritmo 7.9 retorna como salida False, indicando la
existencia de un circuito de peso negativo alcanzable desde root. En este caso, los valores
de los estimados obtenidos deberan ser considerados cotas superiores. Por otro lado, si
todo vrtice de G no pudo ser relajado una vez ms, ello implica que sus estimados no
pueden ser mejorados y por tanto representan los valores exactos de las rutas ms cortas
con vrtice inicial root. El algoritmo de Bellman-Ford retorna entonces True.
266
Captulo 7. Grafos: Algoritmos Bsicos
-2
t x
6 -3
8
s 2 7
-4
7
y z
9
Figura 7.27. Un grafo dirigido pesado con algunas aristas de peso negativo.
Sea root = s. Ahora se inicializan los estimados de cada vrtice y el arreglo Parent que
servir para reconstruir las rutas ms cortas. De tal manera que despus de este proceso se
tendr:
d(s) = 0 Parent[s] = -1
d(t) = Parent[t] = -1
d(x) = Parent[x] = -1
d(y) = Parent[y] = -1
d(z) = Parent[z] = -1
Ahora se procede a relajar los vrtices. El nmero de veces que un vrtice ser procesado
para intentar relajarlo ser n 1 = 4. En las Tablas 7.16 a 19 se muestran las 4 iteraciones
realizadas y por cada iteracin i se muestra la evaluacin para cada arista a fin de
determinar si la relajacin de su vrtice final es posible o no. Tambin se muestran los
estados de los estimados y el arreglo Parent al finalizar cada una de estas 4 iteraciones.
267
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Tabla 7.16. Iteracin 1 de la Aplicacin del Algoritmo de Bellman-Ford para el grafo de la Figura 7.27.
?
i d(v) > d(u) + w(u,v) (u,v) E(G)
?
d(v) Parent
268
Captulo 7. Grafos: Algoritmos Bsicos
Tabla 7.17. Iteracin 2 de la Aplicacin del Algoritmo de Bellman-Ford para el grafo de la Figura 7.27.
?
i d(v) > d(u) + w(u,v) (u,v) E(G)
?
d(v) Parent
269
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Tabla 7.18. Iteracin 3 de la Aplicacin del Algoritmo de Bellman-Ford para el grafo de la Figura 7.27.
?
i d(v) > d(u) + w(u,v) (u,v) E(G) d(v) Parent
?
(s,t): d(t) > d(s) + w(s, t)
?
2.0 > 0.0 + 6.0: Falso
No hay cambio
?
(s,y): d(y) > d(s) + w(s, y)
?
7.0 > 0.0 + 7.0: Falso
No hay cambio
?
(t,x): d(x) > d(t) + w(t, x)
?
4.0 > 2.0 + 5.0: Falso
No hay cambio
?
(t,y): d(y) > d(t) + w(t, y)
?
7.0 > 2.0 + 8.0: Falso
No hay cambio
?
(t,z): d(z) > d(t) + w(t, z)
?
2.0 > 2.0 + -4.0: Verdadero d(s) = 0.0
Parent[s] = -1
d(z) = -2.0 d(t) = 2.0
Parent[t] = x
d(x) = 4.0
3 ? Parent[x] = y
(x,t): d(t) > d(x) + w(x, t) d(y) = 7.0
Parent[y] = s
? d(z) = -2.0
2.0 > 4.0 + -2.0: Falso Parent[z] = t
No hay cambio
?
(y,x): d(x) > d(y) + w(y, x)
?
4.0 > 7.0 + -3.0: Falso
No hay cambio
?
(y,z): d(z) > d(y) + w(y, z)
?
-2.0 > 7.0 + 9.0: Falso
No hay cambio
?
(z,s): d(s) > d(z) + w(z, s)
?
0.0 > -2.0 + 2.0: Falso
No hay cambio
?
(z,x): d(x) > d(z) + w(z, x)
?
4.0 > -2.0 + 7.0: Falso
No hay cambio
270
Captulo 7. Grafos: Algoritmos Bsicos
Tabla 7.19. Iteracin 4 de la Aplicacin del Algoritmo de Bellman-Ford para el grafo de la Figura 7.27.
?
i d(v) > d(u) + w(u,v) (u,v) E(G)
?
d(v) Parent
271
Una Introduccin a las Matemticas Discretas y Teora de Grafos
De donde es posible obtener las rutas ms cortas partiendo del vrtice s (Vase la
Figura 7.28):
(s, t) = d(t) = 2.0 con la ruta (s, y, x, t)
(s, x) = d(x) = 4.0 con la ruta (s, y, x)
(s, y) = d(y) = 7.0 con la ruta (s, y)
(s, z) = d(z) = -2.0 con la ruta (s, y, x, t, z)
5
-2
t x
6
-3
8
s 2 7
-4
7
y z
9
Figura 7.28. Las rutas ms cortas del grafo de la Figura 7.27 con el vrtice inicial s.
272
Captulo 7. Grafos: Algoritmos Bsicos
salidas proporcionadas por una Bsqueda por Profundidad podran ser aquellas presentadas
en la Figura 7.30. Vemos que los vrtices de todos los rboles generados son precisamente
aquellos del grafo original.
1 2
4 3
Figura 7.29. Un grafo dirigido fuertemente conectado.
5 5 5
1 2 1 2 1 2
4 3 4 3 4 3
5 5
1 2 1 2
4 3 4 3
273
Una Introduccin a las Matemticas Discretas y Teora de Grafos
1 2
4 3
Figura 7.31. El grafo dirigido de la Figura 7.29
al que le han sido removidas las aristas (4, 1) y (3, 2).
4 3 4 3
a) b)
Figura 7.32. Dos rboles de Bsqueda por Profundidad asociados al grafo dirigido de la Figura 7.31.
a) El rbol generado al usar al vrtice 3 como vrtice inicial.
b) El rbol generado al usar al vrtice 4 como vrtice inicial.
Sea E(G) el conjunto de aristas del grafo fuertemente conectado G el cual se forma
por n vrtices y m aristas. Las aristas se asume estn arbitrariamente etiquetadas de 1 a m.
El siguiente procedimiento permite encontrar su grafo mnimo equivalente. La idea es
generar de manera directa un grafo candidato. Si se presenta la situacin en que tal
candidato tiene exactamente n aristas entonces el algoritmo termina debido a que el grafo G
de hecho tena un circuito Hamiltoniano. En caso contrario se procede a generar nuevos
grafos candidatos, si alguno de stos representa una mejora respecto a la solucin candidata
actual entonces sta es reemplazada con la nueva solucin encontrada:
274
Captulo 7. Grafos: Algoritmos Bsicos
Considrese el grafo dirigido de la Figura 7.33. Los nmeros en cada arista denotan
la etiqueta que se les ha asignado.
1
4 3
2 3
2
6 4
8
10
9 7
1 5
5
Figura 7.33. Un grafo dirigido fuertemente conectado.
Sus aristas se encuentran etiquetadas.
Se procede a examinar a cada arista (i, j) del grafo de la Figura 7.33. Tal arista es
eliminada del grafo si existe una ruta alternativa que conecte al vrtice i con el vrtice j. Si
es el caso, entonces (i, j) es agregada al conjunto F. Inicialmente tenemos que F = y
S = E(G).
275
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Arista 1: (4, 3)
o Existe una ruta alternativa: (4, 2, 1, 3). F = {(4, 3)}. S es actualizado. Vase la
Figura 7.34.a.
Arista 2: (4, 2)
o No existe una ruta alternativa que conecte al vrtice 4 con el vrtice 2 ya que
precisamente el vrtice 4 tiene como arista de salida nicamente a (4, 2). Vase
la Figura 7.34.a.
Arista 3: (3, 2)
o Existe una ruta alternativa: (3, 5, 4, 2). F = {(4, 3), (3, 2)}. S es actualizado.
Vase la Figura 7.34.b.
Arista 4: (3, 5)
o No existe una ruta alternativa ya que el vrtice 3 tiene como arista de salida
nicamente a (3, 5) (Figura 7.34.b).
Arista 5: (5, 1)
o Existe una ruta alternativa que conecta al vrtice 5 con el vrtice 1: (5, 4, 2, 1).
F = {(4, 3), (3, 2), (5, 1)}. S es actualizado, Figura 7.34.c.
Arista 6: (1, 4)
o Existe una ruta alternativa: (1, 3, 5, 4). F = {(4, 3), (3, 2), (5, 1), (1, 4)}. S es
actualizado tal y como se presenta en la Figura 7.34.d.
Arista 7: (5, 4)
o No existe una ruta alternativa ya que el vrtice 4 tiene como arista incidente
nicamente a (5, 4) (Figura 7.34.d).
Arista 8: (2, 1)
o No existe una ruta alternativa debido a que el vrtice 2 tiene como arista de
salida nicamente a (2, 1). Vase la Figura 7.34.d.
Arista 9: (1, 3)
o No existe una ruta alternativa que conecte al vrtice 1 con el vrtice 3 debido a
que el vrtice 1 tiene como arista de salida nicamente a (1, 3). Vase la Figura
7.34.d.
276
Captulo 7. Grafos: Algoritmos Bsicos
4 3 4 3
2 3 2
2 2
6 4 6 4
8 8
10 10
9 7 9 7
1 5 1 5
5 5
a) b)
4 3 4 3
2 2
2 2
6 4 4
8 8
10 10
9 7 9 7
1 5 1 5
c) d)
4 3
2
2
4
8
9 7
1 5
e)
Figura 7.34. Proceso de construccin del grafo mnimo equivalente
asociado al grafo dirigido de la Figura 7.33 (Vase el texto para detalles).
En este punto se tiene que han sido inspeccionadas las 10 aristas del grafo dirigido
original (Figura 7.33). Se tiene entonces:
F = {(4, 3), (3, 2), (5, 1), (1, 4), (5, 2)}
S = {(4, 2), (3, 5), (5, 4), (2, 1), (1, 3)}
Se tiene que la cardinalidad de S es Card(S) = 5 = n. Por lo tanto, el grafo mnimo
equivalente ha sido encontrado y el procedimiento finaliza.
277
Una Introduccin a las Matemticas Discretas y Teora de Grafos
6
1 4
2
1 4
7
5
2 3
3
Figura 7.35. Un grafo dirigido fuertemente conectado.
Sus aristas se encuentran etiquetadas.
6
1 4
2
4
7
5
2 3
3
Figura 7.36. Resultado de la primera fase de la construccin del grafo mnimo
equivalente asociado al grafo dirigido de la Figura 7.35 (Vase el texto para detalles).
278
Captulo 7. Grafos: Algoritmos Bsicos
279
Una Introduccin a las Matemticas Discretas y Teora de Grafos
F=
S = {(1, 2), (2, 3), (2, 4), (3, 2), (4, 1), (4, 2)}.
Vase la Figura 7.37.e. Se procede a examinar a aquellas aristas con etiquetas mayores a
k = 2.
Arista 3: (2, 3)
o No existe una ruta alternativa: la arista (2, 3) es la nica arista incidente al
vrtice 3.
Arista 4: (2, 4)
o No existe una ruta alternativa.
Arista 5: (3, 2)
o No existe una ruta alternativa: la arista (3, 2) es la nica arista de salida en el
vrtice 3.
Arista 6: (4, 1)
o No existe una ruta alternativa.
Arista 7: (4, 2)
o Existe una ruta alternativa: (4, 1, 2). La arista es removida de S y agregada en
F. Se tiene entonces S = {(1, 2), (2, 3), (2, 4), (3, 2), (4, 1)} y F = {(4, 2)}.
Vase la Figura 7.37.f.
Ahora se tiene que F = por lo tanto se cumple una condicin para terminar el
procedimiento. El conjunto S queda de la siguiente forma (la cual corresponde a la ltima
actualizacin S = S efectuada previamente):
S = {(1, 2), (2, 3), (2, 4), (3, 2), (4, 1)}
Esta es de hecho la mejor solucin encontrada. Por lo tanto el grafo mnimo equivalente
asociado al grafo dirigido de la Figura 7.35 es el presentado en la Figura 7.38.
280
Captulo 7. Grafos: Algoritmos Bsicos
6 6 6
1 4 1 4 1 4
2
1 4 1 4 1 4
7 7
5 5 5
2 3 2 3 2 3
3 3 3
a) b) c)
6 6 6
1 4 1 4 1 4
2 2
1 4 1 4 1 4
7 7
5 5 5
2 3 2 3 2 3
3 3 3
d) e) f)
6
1 4
2
1 4
7
5
2 3
3
g)
281
Una Introduccin a las Matemticas Discretas y Teora de Grafos
6
1 4
1 4
5
2 3
3
Figura 7.38. El grafo mnimo equivalente asociado al grafo dirigido de la Figura 7.35.
B E
A D H
C F
Si un grafo conectado cuenta con una arista (i, j) que al ser removida trae como
consecuencia que el grafo obtenido ser desconectado, entonces se dice que a tal arista se le
llama puente (bridge). En el grafo de la Figura 7.40 la arista (D, F) es un puente.
B E
A D F
C H
Figura 7.40. Un grafo simple con un puente: la arista (D, F).
Intuitivamente se podra pensar que los vrtices que conforman a un puente son
puntos de corte. De hecho, considerando el puente (D, F) en el grafo de la Figura 7.40
tenemos que efectivamente los vrtices D y F son puntos de corte. Sin embargo, en general
282
Captulo 7. Grafos: Algoritmos Bsicos
u x y U V
w
a) b)
Los vrtices de un puente son puntos de corte si sus grados son mayores o iguales a 2.
Un puente se puede formar por dos vrtices de grado 1 (que no son puntos de corte).
Un puente se puede formar por un vrtice de grado 1 (que no es punto de corte) y por
un punto de corte.
283
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Nuestro procedimiento evidentemente termina cuando todos los vrtices de G han sido
inspeccionados.
h
a d
c f g
b e
i
Figura 7.42. Un grafo simple conectado para el que se determinarn todos sus puentes y puntos de corte.
284
Captulo 7. Grafos: Algoritmos Bsicos
Vrtice b:
o Se obtiene G \ b. Vase la Figura 7.43.c. Una bsqueda por profundidad sobre
G \ b retorna el rbol de la Figura 7.43.d indicando que G \ b no es un grafo
desconectado, por lo tanto el vrtice b no es un punto de corte. Debido a que
deg(b) 1 entonces no se efecta ninguna actualizacin.
Vrtice c:
o Se obtiene G \ c. Vase la Figura 7.43.e. Una bsqueda por profundidad sobre
G \ c retorna al mismo G \ c pero indicando que es de hecho un bosque. Por lo
tanto el vrtice c es un punto de corte. Se efectan las siguientes
actualizaciones:
C = {c}
(a, c): b(a, c) = 1
(b, c): b(b, c) = 1
(d, c): b(d, c) = 1
(e, c): b(e, c) = 1
Vrtice d:
o Se obtiene G \ d. Vase la Figura 7.43.f. Una bsqueda por profundidad sobre
G \ d retorna el rbol de la Figura 7.43.g indicando que G \ d no es un grafo
desconectado, por lo tanto el vrtice d no es un punto de corte. Debido a que
deg(d) 1 entonces no se efecta ninguna actualizacin.
Vrtice e:
o Se obtiene G \ e. Vase la Figura 7.43.h. Una bsqueda por profundidad sobre
G \ e retorna el rbol de la Figura 7.43.i indicando que G \ e no es un grafo
desconectado, por lo tanto el vrtice e no es un punto de corte. Debido a que
deg(e) 1 entonces no se efecta ninguna actualizacin.
Vrtice f:
o Se obtiene G \ f. Vase la Figura 7.43.j. Una bsqueda por profundidad sobre
G \ f retorna el bosque de la Figura 7.44.a. Por lo tanto el vrtice f es un punto
de corte. Se efectan las siguientes actualizaciones:
C = {c, f}
(d, f): b(d, f) = 1
(e, f): b(e, f) = 1
(g, f): b(g, f) = 1
285
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Vrtice g:
o Se obtiene G \ g Vase la Figura 7.44.b. Una bsqueda por profundidad sobre
G \ g retorna el bosque de la Figura 7.44.c. Por lo tanto el vrtice g es un punto
de corte. Se efectan las siguientes actualizaciones:
C = {c, f, g}
(f, g): b(f, g) = 2
(h, g): b(h, g) = 1
(i, g): b(i, g) = 1
Dado que b(f, g) = 2 se ha encontrado el primer puente: B = {(f, g)}.
Vrtice h:
o Se obtiene G \ h. Vase la Figura 7.44.d. Una bsqueda por profundidad sobre
G \ h retorna el rbol de la Figura 7.44.e indicando que G \ h no es un grafo
desconectado, por lo tanto el vrtice h no es un punto de corte. Debido a que
deg(h) = 1 entonces la nica arista que le es incidente, (g, h), es un puente:
Se ha encontrado un segundo puente: B = {(f, g), (g, h)}.
Vrtice i:
o Se obtiene G \ i. Vase la Figura 7.44.f. Una bsqueda por profundidad sobre
G \ i retorna el rbol de la Figura 7.44.g indicando que G \ i no es un grafo
desconectado, por lo tanto el vrtice i no es un punto de corte. Debido a que
deg(i) = 1 entonces la nica arista que le es incidente, (g, i), es un puente:
Se ha encontrado un tercer puente: B = {(f, g), (g, h), (g, i)}.
o b(f, g) = 2
o b(h, g) = 1
o b(i, g) = 1
o b(d, f) = 1
o b(e, f) = 1
o b(a, c) = 1
o b(b, c) = 1
o b(d, c) = 1
o b(e, c) = 1
o b(a, b) = 0
286
Captulo 7. Grafos: Algoritmos Bsicos
h h
d d
c f g c f g
b e b e
i i
h h
a d a d
c f g c f g
e e
i i
h h
a d a
f g c f g
b e b e
i i
h h
a a d
c f g c f g
b e b
i i
h h
a d a d
c f g c g
b b e
i i
Figura 7.43. Primera parte del procesamiento de los subgrafos y rboles de bsqueda por profundidad
asociados al grafo G de la Figura 7.42 a fin de determinar sus puentes y puntos de corte
(vase el texto para detalles).
287
Una Introduccin a las Matemticas Discretas y Teora de Grafos
h h
a d a d
c g c f
b e b e
i i
h
a d a d
c f c f g
b e b e
i i
a d h
a d
c f g
c f g
b e
i b e
h
a d
c f g
b e
Figura 7.44. Segunda parte del procesamiento de los subgrafos y rboles de bsqueda por profundidad
asociados al grafo G de la Figura 7.42 a fin de determinar sus puentes y puntos de corte
(vase el texto para detalles).
288
Captulo 7. Grafos: Algoritmos Bsicos
9 4 9 4
G 8 T 8
6 2 6 2
Figura 7.45. Un grafo G y uno de sus rboles de expansin T.
9 4
G-T 8
6 2
Figura 7.46. El grafo G \ T. G y T fueron presentados en la Figura 7.45.
9 4 4
8 8
6 2 2
Figura 7.47. El conjunto fundamental de circuitos del grafo G correspondiente al rbol T.
G y T fueron presentados en la Figura 7.45.
289
Una Introduccin a las Matemticas Discretas y Teora de Grafos
9 4
T* 8
6 2
9 4
G \ T* 8
6 2
Figura 7.49. El grafo G \ T*. G y T* fueron presentados en las Figuras 7.45 y 7.48 respectivamente.
290
Captulo 7. Grafos: Algoritmos Bsicos
Paso 1:
o Seleccionar un vrtice u en V(G) como la raz del rbol a generar. Sea
T = {u}. El conjunto T contendr a los vrtices del grafo que ya forman parte del
rbol de expansin.
Paso 2:
o Sea x cualquier vrtice en T V(G). Si V(G) = entonces el procedimiento
finaliza.
Paso 3:
o Considerar de manera secuencial a cada arista (x, j) tal que j N(x).
Si j est en T entonces:
Obtener un circuito al incluir a la arista (x, j) junto con la nica ruta que
conecta al vrtice x con el vrtice j en el rbol.
Si j no est en T entonces:
Agregar la arista (x, j) al rbol e incluir el vrtice j en el conjunto T.
Eliminar la arista (x, j) del conjunto E(G). Remover de V(G) aquellos
vrtices que se aslen al remover la arista (x, j).
Una vez que todas las aristas han sido procesadas se retorna al paso 2.
Ntese, en el Paso 2 del procedimiento antes presentado, que todo vrtice v que no
est en T V(G) puede ser caracterizado de dos maneras:
v est en T pero no en V(G). Ello quiere decir que el vrtice ya forma parte del rbol de
expansin y todas sus aristas incidentes ya fueron previamente evaluadas y por lo tanto
removidas de E(G), tal como lo indica el Paso 3. Tales remociones provocan que en un
momento dado el vrtice v quede aislado, lo cual implica que fue removido en su
momento de V(G).
291
Una Introduccin a las Matemticas Discretas y Teora de Grafos
2 3
1 6
4 5
Figura 7.50. Un grafo conectado de 6 vrtices
al que se le determinar su conjunto fundamental de circuitos.
Paso 1:
o V(G) = {1, 2, 3, 4, 5, 6}
o u=1
o T = {u} = {1}
Paso 2:
o T V(G) = {1} {1, 2, 3, 4, 5, 6} = {1}
o x=1
Paso 3:
o Aristas (x, j) a considerar con x = 1: (1, 2), (1, 3), (1, 4), (1, 5), (1, 6)
o Arista (1, 2), j = 2
2 T F. Entonces:
T = T {2} = {1, 2}
Se agrega la arista (1, 2) al rbol.
Se remueve la arista (1, 2) del grafo G.
Vase la Figura 7.50.a.
o Arista (1, 3), j = 3
3 T F. Entonces:
T = T {3} = {1, 2, 3}
Se agrega la arista (1, 3) al rbol.
Se remueve la arista (1, 3) del grafo G.
Vase la Figura 7.50.b.
o Arista (1, 4), j = 4
4 T F. Entonces:
T = T {4} = {1, 2, 3, 4}
Se agrega la arista (1, 4) al rbol.
Se remueve la arista (1, 4) del grafo G.
Vase la Figura 7.51.c.
292
Captulo 7. Grafos: Algoritmos Bsicos
Todas las aristas incidentes al vrtice x = 1 han sido procesadas. Por lo tanto se retorna al
paso 2.
Paso 2:
o T V(G) = {1, 2, 3, 4, 5, 6} {2, 3, 4, 5, 6} = {2, 3, 4, 5, 6}
o x=2
Paso 3:
o Aristas (x, j) a considerar con x = 2: (2, 3), (2, 6)
o Arista (2, 3), j = 3
3 T V. Entonces:
Se forma un circuito con la arista (2, 3) y la nica ruta en T que
conecta al vrtice 2 con el vrtice 3: (2, 3, 1, 2).
Se remueve la arista (2, 3) del grafo G.
Vase la Figura 7.52.c.
o Arista (2, 6), j = 6
6 T V. Entonces:
Se forma un circuito con la arista (2, 6) y la nica ruta en T que
conecta al vrtice 2 con el vrtice 6: (2, 6, 1, 2).
Se remueve la arista (2, 6) del grafo G.
El vrtice 2 queda aislado, por lo tanto:
o V(G) = V(G) \ {2} = {3, 4, 5, 6}
Vase la Figura 7.52.d.
Todas las aristas incidentes al vrtice x = 2 han sido procesadas. Por lo tanto se retorna al
paso 2.
Paso 2:
o T V(G) = {1, 2, 3, 4, 5, 6} {3, 4, 5, 6} = {3, 4, 5, 6}
o x=3
293
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Paso 3:
o Aristas (x, j) a considerar con x = 3: (3, 4), (3, 5)
o Arista (3, 4), j = 4
4 T V. Entonces:
Se forma un circuito con la arista (3, 4) y la nica ruta en T que
conecta al vrtice 3 con el vrtice 4: (3, 4, 1, 3).
Se remueve la arista (3, 4) del grafo G.
Vase la Figura 7.53.a.
o Arista (3, 5), j = 5
5 T V. Entonces:
Se forma un circuito con la arista (3, 5) y la nica ruta en T que
conecta al vrtice 3 con el vrtice 5: (3, 5, 1, 3).
Se remueve la arista (3, 5) del grafo G.
El vrtice 3 queda aislado, por lo tanto:
o V(G) = V(G) \ {3} = {4, 5, 6}
Vase la Figura 7.53.b.
Todas las aristas incidentes al vrtice x = 3 han sido procesadas. Por lo tanto se retorna al
paso 2.
Paso 2:
o T V(G) = {1, 2, 3, 4, 5, 6} {4, 5, 6} = {4, 5, 6}
o x=4
Paso 3:
o Aristas (x, j) a considerar con x = 4: (4, 5)
o Arista (4, 5), j = 5
5 T V. Entonces:
Se forma un circuito con la arista (4, 5) y la nica ruta en T que
conecta al vrtice 4 con el vrtice 5: (4, 5, 1, 4).
Se remueve la arista (4, 5) del grafo G.
El vrtice 4 queda aislado, por lo tanto:
o V(G) = V(G) \ {4} = {5, 6}
Vase la Figura 7.53.c.
Todas las aristas incidentes al vrtice x = 4 han sido procesadas. Por lo tanto se retorna al
paso 2.
Paso 2:
o T V(G) = {1, 2, 3, 4, 5, 6} {5, 6} = {5, 6}, x=5
Paso 3:
o Aristas (x, j) a considerar con x = 5: (5, 6)
o Arista (5, 6), j = 6
6 T V. Entonces:
Se forma un circuito con la arista (5, 6) y la nica ruta en T que
conecta al vrtice 5 con el vrtice 6: (5, 6, 1, 5).
Se remueve la arista (5, 6) del grafo G.
Los vrtices 5 y 6 quedan aislados, por lo tanto:
o V(G) = V(G) \ {5, 6} =
Vase la Figura 7.53.d.
294
Captulo 7. Grafos: Algoritmos Bsicos
Todas las aristas incidentes al vrtice x = 5 han sido procesadas. Por lo tanto se retorna al
paso 2.
Paso 2:
o V(G) = . El procedimiento finaliza.
2 3 2 3
1 6 1 6
4 5 4 5
G T
a)
2 3 2 3
1 6 1 6
4 5 4 5
G T
b)
2 3 2 3
1 6 1 6
4 5 4 5
G T
c)
Figura 7.51. Proceso de identificacin del conjunto fundamental de circuitos del grafo de la Figura 7.50
(Primera parte, vase el texto para detalles).
295
Una Introduccin a las Matemticas Discretas y Teora de Grafos
2 3 2 3
1 6 1 6
4 5 4 5
G T
a)
2 3 2 3
6 1 6
4 5 4 5
G T
b)
2 3 2 3
6 1 6
4 5 4 5
G T
c)
3 2 3
6 1 6
4 5 4 5
G T
d)
Figura 7.52. Proceso de identificacin del conjunto fundamental de circuitos del grafo de la Figura 7.50
(Segunda parte, vase el texto para detalles).
296
Captulo 7. Grafos: Algoritmos Bsicos
3 2 3
6 1 6
4 5 4 5
G T
a)
2 3
6 1 6
4 5 4 5
G T
b)
2 3
6 1 6
5 4 5
G T
c)
2 3
1 6
4 5
G T
d)
Figura 7.53. Proceso de identificacin del conjunto fundamental de circuitos del grafo de la Figura 7.50
(Tercera parte, vase el texto para detalles).
297
Una Introduccin a las Matemticas Discretas y Teora de Grafos
298
Una Introduccin a las Matemticas Discretas y Teora de Grafos
Bibliografa
Discrete Mathematics with Combinatorics
James A. Anderson
Prentice Hall, Segunda Edicin, 2003.
Introduction to Algorithms
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest y Clifford Stein.
MIT Press, Segunda Edicin, 2001.
Discrete Mathematics
Richard Johnsonbaugh
Prentice Hall, Segunda Edicin, 2000.
Discrete Mathematics
Seymour Lipschutz, Marc Lipson
Schaums Outline Series (McGraw Hill), Segunda Edicin, 1997.
300