ndice General

Prlogo iv
1 Algoritmos 1
1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Algoritmos y mquina de Turing . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Lenguaje algortmico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Anlisis de algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Comparacin de algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Clasificacin de algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

Enumeracin 25

2 Combinaciones y permutaciones 27
2.1 Selecciones ordenadas y no ordenadas . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Algunos ejemplos de aplicacin . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3 Propiedades de los coeficientes binomiales . . . . . . . . . . . . . . . . . . . . 38
3 Principios bsicos de enumeracin 49
3.1 Cardinales de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.2 Principio de inclusin-exclusin . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3 Biyecciones. Nmeros de Catalan. Particiones . . . . . . . . . . . . . . . . . . 58
3.4 Elprincipio del palomar yel teorema deRamsey . . . . . . . . . . . . . . . . 64
4 Funciones generadoras 73
4.1 Ecuaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.2 Funciones generadoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.3 Ecuaciones de recurrencia lineales . . . . . . . . . . . . . . . . . . . . . . . . 84
4.4 Nmeros combinatorios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
ii ndice General

Teora de grafos 101

5 Grafos y digrafos 103

5.1 Definiciones bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.2 Caminos, conectividad ydistancia . . . . . . . . . . . . . . . . . . . . . . . . 106
5.3 Operaciones entre grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.4 Digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.5 Representacin matricial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.6 Grafos yredes de interconexin . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.7 Planaridad: la frmula deEuler . . . . . . . . . . . . . . . . . . . . . . . . . . 115
5.8 Caracterizacin de los grafos planares . . . . . . . . . . . . . . . . . . . . . . 117
6 rboles 123
6.1 rboles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
6.2 rboles generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
6.3 Nmerode rboles generadores . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.4 Obtencin de todos los rboles generadores . . . . . . . . . . . . . . . . . . . 132
6.5 rboles generadores de costemnimo . . . . . . . . . . . . . . . . . . . . . . 133
7 Circuitos y ciclos 141
7.1 Grafos eulerianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
7.2 Ciclos hamiltonianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
7.3 Ciclos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
7.4 Anlisis de redes elctricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
8 Flujos, conectividad y apareamientos 173
8.1 Redesde transporte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
8.2 El teorema delflujomximocortemnimo . . . . . . . . . . . . . . . . . . . 177
8.3 Conectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
8.4 Los teoremas deMenger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
8.5 Apareamientos en grafos bipartitos . . . . . . . . . . . . . . . . . . . . . . . . 184
8.6 El teorema deHall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185

Estructuras algebraicas 191

9 Introduccin a las estructuras algebraicas 193
9.1 Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
9.2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
ndice General iii
9.3 Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
9.4 Estructuras algebraicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
10 Grupos 215
10.1 Definiciones ypropiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
10.2 Grupos abelianos finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
10.3 Grupos de permutaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
10.4 Digrafos deCayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
10.5 Enumeracin dePlya . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
11 Anillos y cuerpos 257
11.1 Definiciones ypropiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257
11.2 El anillo de los polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
11.3 Cuerposfinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
12 Estructuras combinatorias 289
12.1 Diseos combinatorios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
12.2 Geometras finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305
12.3 Cuadrados latinos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
ndice de materias 331
Prlogo v

Prlogo
La matemtica discreta es una rama de las matemticas que trata las
estructuras finitas y numerables.
Esta definicin, forzosamente imprecisa, queda mejor delimitada cuando se
da una
descripcin de sus contenidos. A grandes rasgos, las lineas bsicas de las
que se ocupa la matemtica
discreta son las tcnicas de enumeracin, las estructuras combinatorias, la
teora de
grafos y las estructuras algebraicas. Asimismo, la algortmica es una
herramienta imprescindible
para la construccin de soluciones a los problemas que se tratan.
Aunque histricamente stas eran reas que no formaban un cuerpo
estructurado, el progreso
de la informtica y de las tcnicas de computacin les ha dado un impulso
decisivo y las
ha convertido en una de las ramas de la matemtica aplicada con ms
vitalidad.
Este impulso ha influido tambin en el diseo de los curricula en las
enseanzas de ingeniera
y matemticas alrededor del mundo. En este sentido, en nuestro pas, la
implantacin de
nuevos planes de estudio y la reforma de los existentes hace que la
matemtica discreta haya
sido introducida como un elemento importante de la formacin bsica.
El libro de texto que se propone ha sido pensado para servir de soporte a
cursos bsicos
de matemtica discreta. As, los conocimientos de matemticas que se
presuponen en el lector

son los que corresponden a unos primeros cursos universitarios de lgebra y

clculo. El texto
contiene material ms que suficiente para cubrir dos cuatrimestres lectivos,
y facilita as una
cierta flexibilidad en la eleccin de los temas a explicar. Desde el punto de
vista pedaggico
se ha hecho un esfuerzo especial para presentar los temas de una forma
simple