quinta edicién MATEMATICA discreta y sus aplicaciones beMatematica Discreta y sus Aplicaciones 5.° edicion Kenneth H. Rosen Laboratorios AT&T Traduccion: José Manuel Pérez Morales Investigador titular del CIEMAT Profesor asociado Universidad Carlos Il de Madrid Julio Moro Carrefio Titular de Universidad Departamento de Matematicas Universidad Carlos Ill de Madrid ‘Ana Isabel Lias Quintero Departamento de Matematica Aplicode Universidad Politecnico de Madrid Pedro Antonio Ramos Alone Departamento de Mateméticos Universidad de Alcala au MADRID + BUENOS AIRES + CARACAS * GUATEMALA + LISBOA + MEXICO NUEVA YORK PANAMA. SAN JUAN SANTAFE DE BOGOTA + SANTIAGO + SAO PAULO "AUCKLAND + HAMBURGO « LONDRES « MILAN « MONTREAL « NUEVA DELHI« PARIS ‘SAN FRANCISCO « SIDNEY « SINGAPUR + SAN LUIS + TOKIO + TORONTO-MATEMATICR DISCRETA ¥ SUS APLICACIONES (Quinta Bdicign No esti permitida la reproduccién total 0 parcial de este libro, ni su trata- ‘miento informético, nia transmision de ninguna forma 0 por cualquier medio, ‘ya sea electrénice, mecinico, por fotocopla, por registro u otros métodos, sin el permiso previo y por escrito de los ttulares del Copyright. DERECHOS RESERVADOS © 2004, respefto a la quints edicién en espafal, por McGRAW-HILL/INTERAMERICANA DE ESPANA, 8. A.U. Edificio Valrealy, 1." planta Basauri, 17 £26023 Aravaca (Madrid) ‘Traducido de la quinta edicién en inglés de Discrete Mathematics and Its Applications Copyright © MMI por the MacGraw-Hill Companies, Inc. ISBN: 0-07-242434-6 ISBN: 84-481-4075-2 Depésite legal: M. 24,968-2008 Etitora: Concepcion Ferninde Asistente editorial: Amelia Nieva Cublerta: CD-Form impreso en Nomos §.A. IMPRESO EN COLOMBIA - PRINTED IN COLOMBIAContenido Sobre el autor i ix Prilogo ... a ai La pagina web de ayuda ... xix Al estudiante .. xxi 1. Los fundamentos: légica y demostracion, conjuntos y funciones.. 1 Le : 1 Lz: Bits 19, Predlicados y cuantificadores 26 ‘Cuantificadores anidados .. 40 Métodos de demostracién 52 Conjuntos i Operaciones eon conjuntos. 9 1.8, Funciones: zs i all ‘Material fin del Capitulo. - 103 2. Los fundamentos: algoritmos, nimeros enteros y matrices , 109 2.1. Algoritmos fis 109 2, Crecimiento de funciones = on zs 120 2.3. Complejidad de algoritmos 132 2.4. Enteros y division 140 2 Enteros y.algoritmos ‘i 155. 2.6. Aplicaciones de la teoria de niimeros ... 167 2.7. Matrices coe 81 Material fin del Capitulo. 19h 3. Razonamiento matematico, induccién y reeursividad ........ 199 3.1. Estrategias de demosttacién ... ‘ 199 3.2. Sucesiones y sumatorios.. 210 3.3. Induccién matemitica ...... “ 222, 34, Definiciones recur is © induccidn estructural ...... jena ae 3.5. Algoritmos recursvos .. 255 3.6. Verificacién de programas 264 Material fin del Capitulo 270 Recuento. pean deaebdinmees a I 4.1. Fundamentos de combinatoria 219 4.2. Principios del palomar 290 443. Permutaciones y combinaciones 297 44, Cocticientes binomiales .. 303 Permutaciones y combinaciones generalizadas 3vi Contenido 9% 4.6. Generacién de permutaciones y combinaciones Material fin del Capitulo : Una introduccién a la probabilidad discreta 5.2, Teoria de la probabilidad 5.3. Valor esperado y varianza Material fin del Capitulo ‘Técnicas avanzadas de recuerdo. 6.1. Relaciones de recurrencia soo 6.2, Resoluci6n de relaciones de recurrencia .... . 6.3. _Algoritmos de divide y veneers y relaciones de recurrencia .. 64, Funciones generatrices 6.5. Principio de inclusién-exclusién .. 6.6. Aplicaciones del principio de inclusén exclusion Material fin del Capitulo Relaciones... 7.1. Relaciones y sus propiedades 7.2. Relaciones n- 7.3. Representacién de re 74, Cierre de reluciones 7.5. Relaciones de equivalencia 7.6, Ordenes parciales Material fin del Capitulo ... as y sus aplicaciones mes Grafos. Introducei6n a tos grafos ... Terminologia en teoria de grafos Representacién de grafose isomorfismo de grafos Conexisn Caminos eurelianos y hamiltonianos . ‘Caminos de longitud minima. Grafos planos ... Coloreado de grafos. Material fin del Capitulo Arboles 9.1. Introduecién a os éboles. 9.2. Aplicaciones de los drboles 8.3. Recorrdos en dtbotes 9.4, Arboles generadores 9.5. Arbol generador minimo Material fin del Capitulo 320 324 329 329 336 352 366 373 373 384 396 405 433 439 439 449, 456 463 473 481 495 503 503 SIL 531 S40 554 564 523 581 589 589 601 615 628 641 646Contenido vii 10. Algebra de Boole .... 683 10.1, Funciones booleanas 7 653 10.2, Representacién de funciones hooeaas i ee to eal, 103. Puertas légicas..... san 664 10.4. Minimizacién de circuitos 670 ‘Material fin del Capitulo .. 684 11. Modelos de computacién ss 689 TA. Lenguajes y gramiticas snus 689 11.2. Méquinas de estado finito con salida 700 11.3, Méquinas de estado finito sin salida...... 706 11.4, Reconocimiento de lenguaies ...... 713 115. Maquinas de Turin = ee ee “ sence, TED Material fin del Capitulo : 79 APENDICES A-1. Funciones exponencial y logaritmica si niap TSS A-2. Pseudocédigo 739 Lecturas recomendadas .... 745 Respuestas a los problemas impares See T Fotografias ares nee 5 329 Indice onoméstico 3 331 fnidicetanielftt ca acest ct anatncratcreaccriicnenon 833Sobre el autor seri H. ROSLN es un miembro distinguido det personal téenico de los Laboratorios K (T&T en Middletown, Nueva Jersey, Estados Unidos, joctor Rosen se gradué en Matemticas en la Universidad de Michigan, Ann Arbor (1972) y se doctors en el M.LT. Boston) en 1976, donde escribié su tesis en el frea de teoria de riimeros bajo la direzcién de Harold Stark. Antes de ingresar en los Laboratorios Bell en 1982, fue associate professor de matemsticas en la Universidad de Colorado, Boulder; la Universidad del Estado dé Ohio, Columbus, y en la Universidad de Maine, Orono, Mientras trabajaba en los La boratorios AT&T, Ken fue profesor en la Universidad de Monmouth, donde enseiié matemtica discreta, teoria de codificacidn y seguridad en datos. El doctor Rosen ha publicado numetosos articulos en revistas profesionales de las dreas de teo- tia de ndimeros y modelado matemitico, Es autor de los libros de texto Elementary Number The- ‘ory and fis Applications, actwalmente en su cuarta ediciGn, publicado por Addison-Wesley, y Ma- temética discreta y sus aplicaciones, en su quinta edicién, publicado por McGraw-Hill. Amibos li- bros se han usado ampliamente en centenares de universidades. Es coautor de UNIX: The Complete Reference, UNIX System V Releave 4: An Introduction y Best UNIX Tips Ever. publi- ‘eados por Osbome McGraw-Hill, Estos libros han vendido més de cien mil copias, con taduc- Giones al chino, alemn, espanol ¢ italiano, Ken es también editor del Handbook of Discrete and Combinatorial Mathematics, publicado en 2000 por CRC Press, y es supervisor de ediciGn de la setie CRC de libros sobre matemitica discreta, Ken también estd interesado en 1a integracién del sofware matemitico en entoros profesionales y didécticos y ha trabajado en proyectos con el pro- ‘grama MAPLE de la empresa Waterloo en estas areas. En Jos Laboratorios Bell, y actualniente en ATACT, el doctor Rosen ha colaborado en un amplio abanico de proyectos, entre los que se incluyen estudios sobre investigacién operativa y planificacisn de lineas de produccién para ordenadores y equipos para comunicacién de datos, Ha ayudado en la planificacion de los futuros productos y servicios de AT&T en el drea de mul- timedia, como vomunicacién de video o reconoeimiento y sintetizado de vor, asf como en dis tribuci6n de imagenes. Ha evaluado nuevas tecnologias para su aplicacion en AT&T. Ha i ventago numerosos servicios nuevas y ha tegisirado o tiene en proceso mas de sesenta y cinco. ppatentes, Uno de sus proyectos mas interesantes estd relacionado con la evaluacién de tecnolo- gia para AT&T en el Centro EPCOT.