P. 1
1_pdfsam_Matemáticas_discreta_y_combinatoria-Ralph_Grimaldi

1_pdfsam_Matemáticas_discreta_y_combinatoria-Ralph_Grimaldi

4.0

|Views: 1.215|Likes:

More info:

Published by: Esteban Castiblanco Moncaleano on May 15, 2011
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

02/08/2015

pdf

text

original

TERCERA EDICION

,

MATEMATICAS~

DISCRETA

.. v ~.y

. COM~~NArOR~ . ~V\ ,

Una introduccion con aplicaciones

RALPH P. GRIMALDI

Rose-Hulman Institute of Technology

..;., Addison-Wesley Iberoamericana

Argentina· Chile· • Colombia. :Espaiia • Estados, Unfdos Me:dco • 'P&rU: .Puei1o Ricio • Venezuela

\I:ni6oenespaii6ldellloilraDiscrereandCombinotorill1MatIronatics.Anoppliedintroductior!, de RaIpb P. Grimaldi, publicada criginalmente en Ingles par Addison-Wesley Publishing Company, Inc., Reading, Massachusetts © 1994, por Addison-Wesley Company, Inc.

Esta edicidn en espaaol es III Unica autorizada,

ADDISON·WESLEY IBEROAMERlCANA

MalJIbia 2363-rG, Buems.Aire£ 142S. Argentina

Cluz 1469 Dq>tQ 21 __ S .. Iiajjo, Cbile

Apartado ~ 241-943 Santa fe de Bogod. Colombia Espal'" 3 bajo, Madrid 28014, ESpa;!a

1 Jocob Way, Readiog. Mass. 01867, E.U.A Apomdo """'" 22'()t2,. MOno., D.F. 14000,_

Jr. San AmoDio Esfe, n11m... 658, depto. D. Urb. 'vmror:a Rossi. LJma 25. Pm:i

1!l Moate MaD r pise, Dficina 19-8. Ave. Munoz Rivtnl. HaIo ReJ. 00918:. Puen:o Rico Apartado Postal 51454, Cereces Hl:5()'A. v...-.

© 1997 per ADDISON-WESLEY IBEJtOAMElUCANA, S.A. Wilmington, Delaware, B.UA

Impreso en Bstados Unidos, Printed in U.S.A.

ISBN 0-201-65376-1

123 4S 61891iJ-DOC-(ll 00999891

A mia madre

e alia memoria di mio padre con affetto e stima

Prefacio

LOS avances.recnnlogices de los ultimos veinticincc ados han producido varies cambios en el currfcuhrm de Iicenciarura. Estes cambios han apoyado el desarrollo de muchos curses de uno 0 varies semessres en los que se presenta 10 siguiente:

1. Metodos discreroa que subrayan )a aaruraleza finita inherente a muchos problemas y estructeras:

2. La. combinatoria: el algebra de la enumerscion 0 las tecnices para contar;

3. La teorfa de grefcs COD sus aplicaciones e interrelaciones con areas como las estructurns de datos y los metodos de optimizaci6n; y,

4. Las estructures algebraicas finitas que surgen juntc con disciplinas como la teorfa de codigos, 10. metodos de enumeracion, las redes de puertas Y los disenos combinatorios.

Una de las principales razones para el estudio de las materias de cualquiera de coos cuatro grandes temas es la abundancia de aplicaciones que se encuentran en las ciencias de la computacicn; en particular, en las areas de las estructuras de datos, la leona de los leoguajes de computaci6n y eI analisis de algoritmos. Tambien existen aplicaciones en mgeniena y en las ciencias ffsicas y biclogices. asr come en la estadfstica y las ciencias sociales, En consecuencia, las metemaucas discreta y combinatoria proporcionan un valioso material para los esrudiantes de otras kess, no 5610 para quienes se especiaiizan en matematicas oen-ciencias de Ia computacion,

EI propcsito principal de esta nueva edicicn es seguir ofreciendo una introducci6n a las matematicas discreta Y combinatoria. EI material mcluidc esta dirigido a .Jos principientes, por 10 que se ofrece Una gran cantidad de ejemplos con explkacinnes detalladas. (Los ejemplos se numeran per separado y so ha utilizado una lfnea gruesa para denotar el final de carla ejemplo.j Ademas, cuando se dan demostraciones, estes rambien se preseutan con el suficiente detalle (pensando en los principiantes).

El texto tiene los siguientes obietivos:

1. Presentar al estudiante de primer 0 segundo afio de Iiceaciatura, 0 de niveles previos, los temas y tecnicas de los metcdoe discretos y el razonamiento combinatoric. Los problemas del cceteo, 0 la enumeracion, neceaitan un analisis cuidadoso de la estrucrura (POl ejemplo, el heche de que sea necesario 0 no &1 orden a la repeticion) y

Prefacio

las posibilidades 16gicas. Incluso podria tratarse de una cuesticn de existencia en algunos casos. Al seguir ese analisis cuidadoso, veremos con frecuencia que la soluclon de un problema necesita tecnicas sencillas para comer los resultados posibles que surgen de la descomposicion del problema dado en subproblemas menores,

2. Ptesentar una amplia gama de aplicaciones, En este aspecto. donde se neceslten las esrructuras del algebra abstracta, s610 se desarrcllara la teorfa basica aecesaria para la aplicacirin. Ademas, las soluciones de algunas aplicaciones conducen por sf mismas a procedimientos iterativos que Ilevan a algoritrnos especificos. La aplicaci6n del enfoque algorttmico ala soluci6n de los problemas es fundamental en la matematica discreta, edemas de que refuerza los estrechcs lazos entre esta disciplina y el area de ciencias de la computaci6n.

3. Desarrollar 13 madurez matematica de] esrudiante a traves del estudlo de un area muy diferente de 10 que tradicionalmente se inehrye en el celculo y las ecuaciones diferenciajes. Aquf, por ejemplo, se presenta la oportunidad de establecer resultados a] contar cierto grupc de objetos en mas de una forma. Esto prcporciona 10 que se conoce como identidades combinatorias; tambien se introduce una nueva tecnica de demcstracion, En esta edicidn, la naturalcza de fa demosrracion. junto con 10 que constituye un argumento valido, se desarrolla en el capitulo 2, que rambien incluye Ias'Ieyes de la logica y las reglas de inferencia. Et analisis es en este case mas amplio que el de la segunda edicidn. Las demosrraciones por induccioa matemdtica (junto con las definicloaes recursivas) se preseraan en el capitulo 4 y despues se utilizan en todos los capuuios posredores.

Respccrc a los tecremas y sus demostraciones, en muchos casas se ha intentado derivarlos a partir de la observacion de ejemplcs especfficos. Asf mismc, cuando una situacion finita da como resulrado alga que no es cierto en el case infinite, se ba beebe hincepie en ella para que se examine con atencicn. Se han omitido Las demcstracioncs demas.iado Iargas 0 muy especializadas: sin embargo, se proporcicnan referencias para el lector inreresado en reviser Ia validaci6n de los resultados de las escasas demostraciones omitidas. (E1 enfasis puesto en las demostraciones depemlerade los objetivos de cada profesor y de sus esrudiantes.)

4. Presentar un analisis adecuado de los remas para el estudiante de ciencias de lacomputacion, quien tomara cursos mas avanzados en areas como las de esrructuras de datos, teorfa de Ienguajes de computaci6n y anansls de algoriunos. E1 estudio de los grupos, anillos. cuerpos y algebras booleanas tambien proporcionara una imroduccion aplicada para los estudianres de la carrera de matematicas que .deseen contlnuar su estudio del algebra abstracta,

El lector de este libro debe center, en primera instancia, con una base solida en maternaticas de nrvel bacbillerato y un interes per abordar y resolver distintos tipos de problemas. Si bien no se requiere una capacidad particular para la programacion, en la obra aparecen varies segmentos de programas (presentados principalmente en Pascal), disefiados y explicados para refcrzar algunos ejemplos particulates. Respecto el calculo, mas adelanto en este prefacio mencionaremos su alcance en los capfrulos 9 y 10.

Mi principal motivaci6n para escribir la primera y segunda ediciones de este libro fue el apoyo recibido, durante varies aaos, de mis alumnus y colegas, asf como de los eetumantes y profesores que usarun la primera edici6n del textc en diferentes universidadcs. Bsas dos ediciones reflejaban mis lnteeeses y los de mis a1umnos, asf como Las reccmcnda-

Prefacio

vii

Clones de] Commiuee on the Undergraduate Program in Mathematics y de la Association of Computing Machinery. Bsta tercera edicion sigue la misma linea y refleja ahora las recomeudaciones tanto de los protesoree como, en particular. de los eetudiantes que han utilizado 0 <stan utilizandc 1. segundo edicicn.

Caracteristlcas

A continuaci6n se describen brcvemente algunas de las principales caracterfsticas de la nueva edicicn, las cua1es tienen por objeto ayudar al leceor (estudiante, profesur, etc.) a aprender los fundamentos de las matemancas discrete y combinatoria.

Enfasis ell aigoritmos y aplicaciones. En todo el texto se presenten algoritmos y apiicaciones err muchas areas. Per ejemplo:

1. EI capitulo 1 Incluye '{arias situaciones paniculares en las que se necesiten los temas Inrroductorios de enumeracicn; en particular, un nuevo ejemplo estudia cl lema del recuentc excesivo.

2. La seccidn 7 del capfrulo 5 proporciona- una introduccien a la complejidad compuracicnal. Este materia] se usa despues en la seccioa 8 de dichc capitulo para analizar los uempos de ejecucion de algunos prcgramas elementales, uno de Los cua-. les trata de la generaci6n de los aemeros de Fibonacci.

3. EI material delcapjtulc 6 estudia los Jenguajes y las maquinas de estados finites.

Bsto introduce at lector a un area importante de Ias cteecias de la computacion: fa team de los Ienguajes de computacion.

4. Los capftulos 7 y 12 incluyen analisis de las aplicaciones y algoritmos que tratan de la ordenaci6n topclogica y las tecnlces de besqueda conccidas comc busqueda ell profundidad y biisqueda en anchura.

5. En el capftulo .10 se analiza el tema de las relacionca de recurrencia; se tratan aplicaciones sobre (a) la ordenacion poc e1 metoda de I. burbuja, (b) la busqueda bmaria, (c) los numerus de Fibonacci, (d) Ia curva cepe de nieve de Koch. (e) las redes de resistencia lineal. (I) 1. estructura de datos Ilamada pila, y (g) los arboles binaries.

6. EI capitulo 16 presecta las propiedades fundamentales de I. estructura ajgebraica Ilamada grupo. Aquf se muestra como se usa esta estrucrura en el estudio de la leona algebraica de codigos y en los problemas de conteo que requieren el metodo de enumeraci6n de Polya,

Explicaciones detaUadas. Ya sea en un ejemplo 0 en la demostraci6n de un teorema, las explicaciones pretenden ser cuidadosas y completes. La presentacion busca principalmente qtJe el lector que se micra en el estudio de estas meteries Jas comprenda mejor,

E,ierdcios. El papel de los ejercicics en cualquier texro de matematicas es primordial. La cantidad de tiempo invertida en ]05 ejercicios .inflnye en gran medida en el ritmo del curse, El profesor podra comprobar que el nempo de close utilizado en el analisis de los ejerciclos varera, dependlendc del mteres y los cnnocimientos maremancos de los alumnos.

viii

Prefado

En los 17 capftulos hay IUs de 1700 ejercicios, Los que aparecen a1 final de cada seccloa siguen, por 10 general) el orden en que se desarrcltd el material de la seccion Estes ejercicios estan disegados para (a) repasar los ccnceptos besicos de la seccion; (b) enlaaar las ideas presentadas en las primeras seccioncs del capltulc; y (c) presentar cccceptos ediclonales relacionados con los temas de la scccioe. Algunos ejercicios piden el desarrollo de un algoritmo. 0 la escritura de un programa de ccmputador: con frecuencia, para resolver cierta particularizacion de un problema general. Nonnalrnente esto s610 requiere un mfnimc de experiencia en programacion.

Carla capitulo concluye con un conjunto de ejercicios complementarios. Estes proporclonac un repaso adicional de las ideas presemadas en el capftulo 'I tambien urilizan material desarrcllado en capttulos anreriores.

At final del texto se proporcionan las soluciones de casl rodas las panes de los ejercicios de mimero impar.

Resiimenes de capitulo. La Ultima secclcc numerada de cada capitulo presenra un resumen y un.repaso hist6rico de las ideas principales de dicho capitulo. Esto riene per objero dar al lector un panorama del contenido del capitulo. asf como informacion para. un estudio mas profundo y sobre otras aplicaciones. Dicha profundizacion pucde basarse sin uingiln problema en la Iista de referencias proporcionada,

En particular, los resumenes que aparecen al fina1 de los capuulos 1, 5 Y 9 incluyen tables de las formulas de enumeracicn desarrolladas dentro de cada uno de estes capfrules. En algunos casos, estes tabtas incluyen resultados de capnulcs anteriores para compararlos y mostrar la forma en que los nuevos resultados amphan los. enteriores

Organizaci6n

Las mas de matematicas discrete y ccmbinatoria son en cierta medida nuevas para el curriculum de Iicenciatura, de modo que existen varies opciones acerca de los temas que deben estudiarse en los curses. Cada profesor y estudiame puede tener diferenres intereses. En ccnsecuencia, los aspectos que se abarcan en esta obra son bastante empties, como correspomle a un curse general. Aun asf siempre habra mas temas que algunos lectcres deseartan .incluir; asf-mismo, habra diferencias de opinion respectc a1 orden en que se presentan algunos temas en este texto.

En todo el textc se hace €nfasl$ en Ia naturaleza e importancia del enfoque algorrrmicn para la soluci6n de problemas. Las ideas y puntos de vista acerca de la resclucica de problemas se yen reforzados aun mas por las inrerrelaciones entre la enurneracicn y la estrucmra, dos de los ternas principales que proporcionan un enlace para el material desarrcllado en ellibro.

EI material se subdivide en cuatro areas principales. Los primeros siete capuulcs forman el micleo del librc y presenraa los fundamentos de {as matematicas discretas.Aqui se presenta eJ material suficienre para un curso de matemducas discretas con duracion de un trimestre 0 un semestre. EI materia1 del capitulo 2 puede ser revisadc por los cstudiarnes que ya tengan ccnccimientus de 16giC?- Para los interesados en el desarrollo y escritura de demostraciones, este material debe examinarse COn cuidado. Un segundo curse, que haga hincapie en Ia cornbinaroria, debe incluir los capftulos 8. 9 Y 10 (y si el riempo 10 permite, las secciones 1. 2, 3, 9,10 y II del capitulo 16). En el capitulo 9 se usan algunos resultados del calculc; a saber, los fuedamentos de la diferenciacicn y la desccmposicion en fraccio-

Prefacic

ix

ues simples. Sin embarg-o, aquellos que deseen saltarse/este capitulo, podran csrudiar las secciones 1,2,3,6 Y 7 del capitulo 10. A partir de 100 capftulos 11,12 Y 13 puede desarroIlarse un corso que ponga el enfasis en Ia teona y Ias aplicaciones de los grafos finites. Bsos capftulos forman la tercera subdivision principal del texto. Para un cursu de algebra aplicada, los capltulcs 14, 15, 16 Y 17 (la cuana y Ultima subdivisi6n) versan sabre Las estructuras algebraicas (grupo, anillo, algebra booleana y cuerpo) e incluyen aplicaciones relatives a las funcicnes de conmuracloa, 1a teoria algebraica de codigos, y los disefios comblnatonos. Por Ultimo, un curse acerca del papel de las estrucruras discretas en la ciencla de lacomputacien puede d.esarrollarse con cl material de los capftulos 11, [2,13 Y 15, Y las scccicnes 1 a g del caprtulo 16. En esta parte hay aplicaciones acerca de las funciones de conmutacion y Ia teorfa algebraica de codigos, asi como una introduccicn a Ia teorfa de grates y los arboles, y su papel en Ia optimizaclon.

Otros posibles cursos pueden desarrollarse con base en las siguientes relaciones de dependencla entre los capftulos.

Capilull> 1

2

3 4 5 6

Dependeneia de capituJos anteriores Sin dependencia

Sin dependencia (por 10 tanto. un instructor puede iniciar un cursu en matemsucss discretas con el esrudio de la logica 0 con una introduccion a la enumeracion.)

1,2

1,2,3

1,2,3

1.2,3.5 (La seccicn 6.1 tiene una dependencia menor de las seccicnes 4.1, 4.2)

1,2,3,5,6 (La seccion 1.2 tiene una dependencia menor de las secciones 4.1,4.2)

1, 3 (El ejemplc S.3 de la seccion 8.1 tiene una dependencia menor de la

seccion 5.3) -

1,3

1,3,4,5,9

I, 2, 3, 4, 5 (Aunque algunas ideas de la reorfa de grafos se mencionan en los capitulos 5, 6. 7, 8 y to, el material de este capitulo se desarrolla con independencia del material de teorfa de grafos dado en estes resultados ameriores.)

I, 2, 3, 4, 5, II 3,5,11, 12

2,3,4,5,7 (La funci6n phi de Euler ($) se usa en 10 seccioo 14.3. Esta funci6n se obtiene en ia seccion 8.1 pero el tesultadc puede usarse aqul, en el capitulo 14, sin estudfar el capitulo 8.)

2,3,5,7

1,2. 3,4, 5,7 2,3,4,5,7, 14

9 10 11

12 13 14

15 16 17

Ademas, el Indice de marerias se ha disefiadc cuidadcsarnente para haccr que e) rexto sea atin mas flexible. Los terminos se presentan con lisras principales y "arias listas secundarias. 'Iambien hay una buena cantidad de referencias cruzadas. Esta se ha heche COD el fin de ayudar al profesor q:ue desee modificar el orden-de presemacion y elegir uno propio.

'PretaclO

Cambios en la tercera edici6n

Los carnbios a Ja tercera edicidn de Matesruuicas discreta y combinatoric varian de ]0 mcderado a 10 amplio, Sin embargo, el tono y el propositc del texto se manti en en. Sigue siendo un oojerivo del autor proporcionar, deane de estas paginas, una inrroduccion solida, legible y comprensible a las matemauces discreta y combinatoria para el estudiarue que comienza, Coo base en los comentarios y crfticas de, los profesores y estudianres que usaron las dos primeras ediciones, se han hecho algunos cambios en la eercera edicion:

• Esta edici6n incluye Una introducci6n at usc de 13 notaci6n para la suma (sigma) en el caprmlo I, asi como para la notacioa del producto (pi) en el capitulo 4. Las ediciones anreriores presuponfan que cl lcctor estaba farniliarizado con este material.

• Se ha ampliado et tratamicnzo de la escr.tura de demostracicnes en eL capfrulo 2. En particular, la nueva sccciou 2.5 incluye material acerca de las reglas de especificacion universal y generalizacion universal y su papel en la escrirura de demosrraciones. Esto continua luegc en 1a primera scccicn del capitulo 3, donde se aplica para dernostrar teoremas relatives a conjunros Y subconjuntos .

.. En la segunda edici6n, las definiciones recursivas se desartellaron en la scccion 4.1, donde S6 introdujo el concepto de inducci6n matemarica. Aqui hemos dedlcado la seccion 4.2 a1 desarrollo del concepto de definicion recursiva. Esto nos ha permitidc presentar los ndmercs de Fibonacci y Los mlrneros de Lucas relacionados con ellos antes

(del capitulo 10). .

• Los mlmeros arm6nicos aparecen (pot primera vez) en la seccion 4.1 y se ha arnpliado el estudio de los nnmcros de Catalan en la scccion 10.5.

• Se han incluido rres apendices como ayuda al lcctor: 105 des primeros son un repaso de las funciones exponencial y Iogantmica, y una intrcduccion a las matrices. El lector vera que (a exposicidn en esta pane es adecuada para comprender el material del texto dande surgen esos conceptos. EI ultimo apendice estudia los conjuntos numerables y no numerables, para los que quieren algo mas de coujuntos y funcicnes. es decir; quienes deseen ampliar las ideas presentadas en los capftulos 3 y 5.

• Desde Ia publicacioa de la segunda edicion, el autor ha renido oportunidad de hablar con alwnnos que han estudiado las matemaricas en este Iibro. Estas charlas, junto can rcvlsiones de los profesores que han usado la segunda edicion, ban lIevado a aiiadir 87 nuevos ejemplos. El propesito de estes ejemplos es ayudar al estudiante en situaciones donde, tal vez, sienta la eecesidad de otro ejempln .

.. Hay mas de ,1700 ejercicios en esta nueva edicion. Esto representa un incremento de mas de 300 respecto de la segunda ediclcn.

• Muchos de los resumenes y repasos hist6ricos que aparecen aJ final de los capftulos han side ampliados, y la lista de referencias ba sido acrualizada. Ademas, cada resumen y repaso hist6rico incluye ahara al menos una Hustracion del matematlco mencionado en el repaso.

Preface

Agradecimientos

Si el espacic 10 permitiera. me gustarfa mcncionar a cede uno de los estudiames que me han ayudado y animado mientras escribfa las tres edicicnes de este libro. Sus sugerencias me sirvieron mucho para eliminar algunos errores y ambigeedades, y mejorar asf Ia exposici6n. Los que mas me-ayudaron en este aspecto fueron Paul Griffith, Meredith vannauker, Paul Barlcon, Byron Bishop, Lee Beckham, Brett Hunsaker, Tom Vanderlaan, Michael Bryan, John Breitenbach, Dan Johnson, Brian Wilson, Allen Schneider, John Dowell, Charles Wilson, Richard Nichols, Charles Brads, Jonathan Atkins, Kenneth Schmidt, Donald Stanron,Mark. Stremler, Stephen Smalley, Anthony Hinrichs y Kevin O'Bryant,

Agradezco a Larry Alldredge, Claude Anderson y Martin Rivers sus comentarios relativos al materia1 de ciencias de la computaci6n, y a Barry Farbrcther; Paul Hogan, Dennis Lewis, Charles Kyker, Keith Hoover y Jerome Wagner sUS instructivas observaciones 50- bre algunes d.e las aplicaciones.

Agradezco el emusiasruo y spoyo persistentes de] equipo de Addison-Wesley (tanto cr actual como el anterior); en particular. a Wayne Yuhasz, Thomas Taylor, Michael Payne, Charles Glaser, Mary Crittenden, Herb Merritt, Maria Szmauz, Adeline Ruggles, Stephanie Botvin, Jack Casteel y Deborah Schneider. Laurie Rosarone 'j Juliet Silveri merecen un reconocimieneo especial por so notable contribuci6n a esta tercera edicion.

Tambien estoy en deuda con mis colegas John Kinney. Robert Lopez, Nacer Abrouk.

Gary Sherman. George Berzsenyi y, particularmeate, Alfred Schmidt, pot su inreres y apoyo durante Ia elaboracion de esra obra y sus ediciones anteriores.

Dey mi agradecimiento y reconoclmiento a los sigulentes revisores de la primera. segunda y tercera ediciones

Norma E. Abel Larry Alldredge

Claude W. Anderson III V. K. Balakrishnan Robert Barnhill

Dale Bedgood

Jerry Beehler

K3:talin Bencsath

Allan Bishop

Monte Boisen

Samuel Councilman Robert Crawford

Ellen Cunningham, SP Carl DeVito

Carl Eckberg

Robert Geitz

James A. Glasenapp David S_ Hart Maryann Hastings W M""kHill Richard ntis Akihiro Kanamori John Konvalina

Digital Equipment Corporation Alsys.lnc.

Rose-Hulman Institute of Technology University of Maine at Orono University qf Utah

East Texas State University Tri-State University Manhattan College

Western: Illinois University Virginia Polytechnic Institute

California State University at Long Beach. Western: Kentucky University

Saint Mary-of"the-Woods College.

Naval Postgraduate School

San Diego State University

Oberlin College

Rochester Institute a/Technology Rochester Institute a/Technology Marymounr CJ/lege

Worcester Stale College Willanterte University

Boston University

University of Nebraska at Omaha

xii

Preface

Rochelle Leibowitz lames T~ Lewis Y-HsinLiu

Hugh Montgomery Ricbard Orr Edwin P. Oxford SoilnRa use n Martin Rivers Same. R Schmerl Paul S. Schnare Debra Dlny Scott Di'I!ton Tarwater

Jeff Iecosky-Felduran W. L Terwilliger Donald Thompson Thomas Upson

W. D. Wallis

Larry West YIXicZhang

Wheaton College

University of RIwde Island University of Nebraska at Omaha University of Michigan Rochester Institute ojTechnoJogy Baylor University

New Jersey Insuuae oJTec.:lmology Lexmark lntemational, Inc, Uniyersity of Connecticut

Eastern Kentucky University Unwersity of Wisconsin at Green Bay Te-xas Tech University

Harvard University

Bowling Green State University Pepperdine University

Rochester Institute of'Iechnology Southern Illinois University Virginia Commonwealth University University of Nebraskaat Omaha

Agradezcc particularmente a Douglas Shier de Clemson University el extraordinario trabajo que rcalizd rcvisando los manuscriros de las -tres ediciones.

La traduccion de la dcdicatoria es de Ia Dra. 'Yvonne Panaro de Northern Virgin a Community College. Gracias Yvonne. y gracias a Patter {Patricia 'Wickes Thurston) per su labor para conseguir la traducci6n.

Un texto de esta magnitud requlere el uso de muchas referencias. Los miembrcs del pcrsoeal de Ia bibliutcca del Rose-Hulman Institute of Technology siempre estuvieron disponib1es cuando se necesiraban libros y artjculos. esrque debo expresar mi aprecio por el esfucrzo de John Robson. Sondra Nelson y en especial Margaret Ymg.

Por ultimo. y con seguridad, la III<is iurpurtente nota de agradecimiente penenecede nuevo, a la sienrpre paciecze y animosa secretaria del departamento de matemeticas de Rose-Hulman.Ja senora Mary Lou McCUllough, Gracias por tercera vez, Mary Lou, iPor todo tu trabaiol

Desgraciadamente, los errores, ambigiiedades y comcnteios cquivocados restantes son responsabilidad exclusive del actor.

KEG,

Terre Hause, Indiana

Contenido

PARTE 1 Fundamento$ de las matematicas discretas

Prineipios fundamentales del contee 3 1.1 Las reglas de la suma y del producto 3

1.2 Permutaciones 6

1.3 Combinaciones: EI teorema del binomio 19

1.4 Combinaciones con repeticion: Distribuciones 33 1.5 Una aplicaci6n a las ciencias flsicas (Opcional) 43 1.6 Resumen y repaso hist6rico 44

2 Fundamentos de logica S 1

2.1 Conectivas basicas y tablas de verdad 51

2.2 Equivaiencia Iogica: Las leyes de la 16gica 61 2.3 Implicaci6n 16gica: Reglas de inferencia 77 2.4 El uso de cuamificadores 98

2.5 Cuantificadores, definiciones y la demostracion de teoremas 121 2.6 Resumen y repaso historico 137

3 Teoria de coniuntos 143

3.1 Conjuntos y subconjunros 143

3.2 Operaciones de conjuntos y las leyes de la teorfa de conjuntos 156 3.3 Tecnicas de conteo y diagramas de Venn 169

3.4 Unas palabras en cuanto ala probabilidad 172

3.5 Resumen y repaso bist6rico 176

4 PrDpieciades de los enteros: Indued6n matematica 183

4.1 El principio del buen orden: Inducci6n matematica 183

4.2 Definicinnes recursivas 201

4.3 EI algoritmo de la division: NUmeros primos 213

4.4 El maximo comdn divisor: EI aigoritmo de Euclides 225 4.5 EI teorema fundamental de Ia aritmetica 232

4.6 Resumen y repaso hlst6rico 238

xiii

dv

Contenido

5 Relaciones y funciones 245

5.1 Productos cartesianos y relaciones 246 5.2 Funciones: en general e inyectivas 251

5.3 Funciones sobreyectivas: Niimeros de Stirling del segundo tipo 260 5.4 Punciones espeeiales 267

5.5 EI principia del palomar 275

5.6 Composicion de funciones y funciones Inversas 280 5.7 Complejidad computacional 293

5.8 Analisis de algoritmos 297

5.9 Resumen y repaso historico 308

6 lenguajes: Maquinas de estados finitos 315

6.1 Lenguaje: La teorfa de conjuntos de las cadenas 316 6.2 Maquinas de estado finite: Un primer encuentro 327 6.3 Maquinas de esrado finite: Un segundo encuentro 335 6.4 Resumen y repaso histcrico 343

7 Relationes: La segunda vuelta 349

7. J Repaso de relacioncs: Propiedades de las relaciones 349

7.2 Reconocimiento per camputador: Matrices cere-uno y grafos dirigidos 357 7.3 Ordenes parciales: Diagramas de Hasse 371

7.4 Relaciones de equivalencia y particiones 382

7.5 Maquinas de esrado finito: EI proceso de minirnizacicn 388 7.6 Resumen y repasc hist6rico 394

PARTE 2 Tamas adicicnalas de conteo 401

8 EI principio de inclusion y exclusion 403

8.1 El principia de inclusion y exclusion 403

8.2 Generalizaciones del principio 413

8.3 Desordenes: Nada est! en el lugar correcto 418 8.4 Polinomios de torre 420

8.5 Disposiciones COD posiciones prohibidas 424 8.6 Resumen y repaso historico 428

9 Funciones generatrices 433

9.1 Ejemplos introductorios 433

9.2 Definiciones y ejemplos: Teceices de calculo 436 9.3 Particlcnes de enteros 445

9.4 La funci6n generatriz exponencial 449 9.5 EI operador d. sum. 454

9.6 Resumen y "'paso hist6rico 456

10 Relatione. de recurrentia 461

10.1 La relaci6n de recurrencia tineal de primer orden 461

10.2 La relacidn de recurrencia lineal homogen ea de segundo orden can

coeficientes constantes 471

10.3 La relaci6n de recurrencia no homogenea 482 10.4 EI metoda de las funciones generatrices 493

10.5 Un tipo especial de relacion de recurrencia no lineal (Opcional) 499 10.6 Algoritmos divide y venceras (Opcional) 511

10.7 Resumen y repaso hlstonco 521

Contenido

PARTE 3 leona de grafos y aplicadone.s 527

11 Una introduceion a la teoria de grafos 529

11.1 Definicion es y ejemplos 529

11.2 Subgrafos, complementos e isomorfismos de grafos ·537 11.3 Grado de un vertice: recorridos y circuitos eulerianos 550 11.4 Grafos planes 560

11.5 Carninos y ciclos hamiltonianos 578

11.6 Coloraci6n de grafos y polinomios cromaticos 588 11.7 Resumen y repaso historico 598

12 Arboles 607

12.1 Definiciones, propiedades y ejemplos 607 12.2 Arboles con rafz 614

12.3 Arboles y ordenaciones 634

12.4 Arboles ponderados y codigos prefijo 638

12.5 Componentes blconexas y puntos de articulacion 644 12.6 Resumen y re paso hist6rico 650

, 3 Optimi2acion yemparejamiento 657

13.1 Algoritmo del camino mas corto de Dijkstra 657

13.2 Amole, recubridores minirnales: Los algoritmos de Kruskal y Prim 665 13.3 Redes de transporte: EI teorema de flujo maximo y corte minimo 671 13A Teorfa de emparejamiento 683

13.5 Resumen y repaso historico 694

PARTE 4

gebra modema aplicada 699

14 Anillo. y aritmetica modular 701

14.1 La estructura de aniBo: defmici6n y ejemplos 701 14.2 Propiedades Y subestrucruras de un anillo 709

Contenido

143 Los enteros modulo n 717

14.4 Homomorfismos e isomorfismos de aniUo 722 14.5 Resumen y repaso histcricc 730

15 Algebra booleana y fundones de conmutaeien 735

15.] Funciones de intercambio: Formas normales disjuntiva y conjuntiva 735 15.2 Redes de puertas: Suma minimal de productos y mapas de Kamaugh 745 15.3 Aplicaciones adicionales: Condiciones de indiferencia 756

15.4 La estructura de un algebra booleana (Opcional) 762

15.5 Resumen y repaso histcrico 772

16 Grupos, teoria de la codificaci6n y metodo de enumeraci6n de Polya 777

16.1 Deflnlciones, ejemplos y propiedades elementales 777

16.2 Homomortlsmos, isomorfismos y grupos cfclicos 784

16.3 Oases laterales y teorema de Lagrange 791

16.4 Elementos de I. reorfa de la codificaci6n 793

16.5 La metrica de Hamming 798

16.6 La verificacicn de paridad y matrices generadoras 801

16.7 Codigos de grupo: Decodificacion con Iideres de close 806 16.8 Matrices de Hamming 810

16.9 Enumeraci6n y equlvaleecia: Teorema de Burnside 812 16.10 EI indice de ciclo 820

16.11 EI inventario de patrones: Metoda de enurneracion de Poly. 824 16.12 Resumen y repaso hist6rico 829

17 Cuerpos finitos y diseiios combinatorios 835

17.1 Anillos de polinomios 835

17.2 Polinomios irreducibles: Cuerpos finites 843 17.3 Cuadrados latinos 853

17.4 Geometrias finitas y planos afines 859

17.5 Disefios de bloques y planes proyectivos 865 17.6 Resumen y repaso historico 871

Apendice 1 Fun~iones exponenciales y logaritmicas A-l

Apendice 2 Matrices, operaciones con matrices y deten-ninantes A-13 Apendice 3 Conjuntos numerables y no numerables A-27

Soluciones 5-1

indice de materia. 1-1

PARTE

1

FUNDAMENTOS DE lAS MATEMATICAS DISCRETAS

1

Principias fundamentales del canteo*

La enumeracien, 0 conreo, puede parecer un prcceso obvio q ue un estudiante aprend~ al estudiar aritmetica por primeca vez. Pero luego, segnn parece, se presta poca atencion en 10 que se reficre a un desarrollo mas amplio del conteo conforme el estudiame pasa a

areas "mas dificiles" de las matemaricas, como el algebra, la geometrfa, la trigonometrfa y el calculo. En consecuencia, este primer capitulo debera servir como advertencia acerca de la seriedad y dificultad del "mero" conteo.

La enumeraci6n notenuina con la aritmetica. Tambien tiene aplicaciones en areas como lateorfa de c6digos, la probabilidad y estadfstica (en matemaricas). y el analisis de algoritrrtos (en ciencias de Ia compuracion). Los capitulcs posteriores mostraran algunos ejemplos especfficos de estes aplicaciones.

A medida que vayamos entrance en este fascinanre campo de las matematicas, nos encoetraremos con mucbos problemas que se pueden eaunciar en forma sencilla pero que son "duros" de resolver. As(~ asegurese de aprender y cumprender las formulas bastcas. pero no confte demasiado en ellas, ya que, sin el analisis de cada problema, el rnero conocimienro de las formulas es casi unitil. En vez de ello, acepte eI rete de resolver problemas poco usuales 0 diferentes de los problemas que ha visto en cl pas-ado. Busque soluciones con base en su propio analisis sin importer si es exactamente la que proporciona el actor. Can frecuencia existen varias vias para resolver un problema dado.

1.1

_ Reglas de la suma y del producto

Nuestro esrudio de las matematicas discrete y combinaroria comicnza con dos principios bdsicos de} conteo: las reglas de la suma y del picducto. Los enunciados }" aplicaciones iniciales de estas reglas parecen sencillos. AI analizar problemas mas complejos. a rnenudo podemos descomponerlos en panes que pueden resolverse mediante estos principles basicos. Queremos desarrollar la capacidad de "descomponer" dichos problemas y acomodar

... ED este teste se han uiiH:zado 'los ttrminos "ccereo", "recuemo" y "center' para traducir el termiao coU1lting~ (N. dt.l T.)

Capitulo 1 Principios fundamenta!es del contec

nuestras soluciones parciales para lleger a la respuesta 'final. Una buena forma de hacerlo ccnsiste en analizar y resolver muchos problemas distintos de enumeracion, romando nota. todoel tiempo, de los principios utilizados en la sotucion. Este es el metoda que seguiremos.

Nuestro primer principio del conteo puede expresarse de la forma siguiente:

Observe que cuando decimos que una ocurrencia particular, como una primera tarea, puede realizarse de m formas, se supone que estas m formes son distintas, a menos que se indique 10 contrerio. Bstc sera asf a 10 largo de todo el texto.

La biblioteca de una universidad tiene 40 Iibros de textc de sociologfa y 50 de amropologfa. Por la regia de la suma, un estudiante de este universidad puede elegir entre 40 + 50;;;;;; 90 Iibros de texto para aprender acerca de alguno de estes dos temas

La regla puede ampljarse a mas de dos tareas, siempre que ninguna pareja de tareaa pueda ocurrir en forma simultanea. Por ejemplo, un instructor de ciencias de La compuracion que tiene, digamos, cinco Iibros de nivel introductcrio acerca de. APL, BASIC, FORTRAN Y Pascal puede reccmendar cualquiera de estos 20 libros a un cstudiaere interesado en aprender un primer lengueje de prograruacion,

El instructor de ciencias de la computaci6n de-l ejemplc 1.2 ticne des cole gas. Uno de ellos . tiene tres Iibrcs de textc acerca del analisis de algorirmes y el otrc cuenta con cinco libros. Si n denora el numero maximo de libros diferentes sobre cl tema que el instructor puede pedirles prestados, entonces 5 :S n S 8, ya que ambos profesorespodrian tener capias del mismo Iibro (0 libros).

E1 siguieme ejemplo presenta nuestro segundo principia de coateo.

AI tratar de tomar una decision ecerca de la arnpiiaci6n de una planta, uo administredor organiza a 12 de sus empleados en dos comites. El comite A esta formado por 5 mierrrbros y esta encargado de investigar Los resultados favorables posibles de dicha arnpliacion. Los otros siete empleados, del comite B. revisaran todas las posibles repercusicnes desfavcrables. Si el adminlstrador decide hablar s610 con un comite antes de tamar su decision, entonces, por Ia regIa de 1a suma, cxistiran 12 empleados a los que puede Hamar. Sin embargo. para tener menor sesgo, antes de tomar una decisicn, decide hablar con un miem-

1.1 Reqlas de la suma y del producta

bro del ccmite A ellunes y cl manes COD un miembro del comite B. Mediante eI siguiente principio, vemos que puede elegir a esos dos empleados de 5 X 7 = 35 formes.

- - .. - - . -; -~- . . - . -'- - - - _ - '- -~ -. - ~-

- - - - - - -

- - - -

.. -- ~ - - = ~ - - ~.

- - _- . - ~ '. - . - . --:: - '_

~-~---:;-~ •• ----I. :.-. • - _~~~-~r.' .... ,:,~~ .... _

Esta regla se conoce tambien como el principia de eleccion:

El club de teatro de la Universidad Central realiza ensayos para una obra que se montara en primavera. Si seis hombres y echo nrujeres ensayan para los papeles principales (masculino y femenino), por la regia del producto, el directcrpuede elegit a, la pareja principal de 6 x 8 = 48 formes.

Ahora ejemplificaremos verias extensiones de la regla, examinando la fabricacioa de placas de autom6vil que constcn de. dos tetras seguidas por cuatro djgitos.

a) Si ninguna tetra 0 digito se puede repetir, habra 26 x 25 x 10 X 9 x 8 x 7 = 3,276,000 placas pesibles diferentes.

b) Si so permite repetir las letras y los dfgitos, sera posible tener 26 x 26 x 10 x 10 x 10 x 10 = 6,760,000 plac as diferente s.

c) Si se permiten las repedciones, come en Ia parte (b).l.cu3.ntas places tendran 501amente vocales (A, E, I. 0, U) y digitos pares? (0 es un entero par.)

En Ia memoria principal de un computador, la informaci6n se almacena en celdas de memoria. Para identificar las celdas de memoria principal del cumputador, cada celda tiene asignado un nombre unico conocido como su direcci6n.. En algunos cornputadores, una direccicu se represecta mediante una lista crdenada de echo srmbclos, en la que cada stmbolo es uno de los bits (de binary digits, drgitos binaries) 00]. Esta lista de ocho bits se denomina byte. Mediante la regla del prcducto, vemos que existen 2 X 2 x 2 x 2 X 2 X 2 x 2 X 2;;;; 2~ = 256 de coos bytes. Por lo tanto. teneincs 256 direcciones para las celdes

de memoria en las cuales ea poslbie almecenar informacion, '

Algunas maquinas (incluyendo Ia familia de la PDP 11 t utilizan direcciones de dos bytes. Tal direcci6n se forma con dos bytes consecurivos, 016 bits consecutivos, de modo quees posible almecenar hasta 25·6 x 256 = 211 X 21;;;; 210f0 = 65,536 piezas de inforrhacion. Otros computadores (induyendo el IBM PC/RI:j:) utilizan sistemas de direcctonemienro de cuatro byres. En este caso, so dispone de basta 2' x 2' x 2' x 2' = 2'" = 4,294,967,299 direcciones pant almacenar informacion en las celdas de memoria de 13 maquina.~ ~

-,

t ,LiI familia. de ecmcutadores POP-Lt es WI producto de Digital EquipmeDt Corporation. ~ El preeesadcr IBM PCJJrr MIti fabricado pot hl,temational. Business M<tCbines.

Capitulo 1 Prlncipios fundamentales del conteo

A veces es necesaric combinar varios tipos diferentes de principles de con teo en la soluci6n de un problema. Aquf veremos que neceshemos ambas reglas, la de Ia suma y la del producto, para obtener el resultado.

En algunas de las primeras versiones dellenguaje de programacion BAS]C~ el nombre de una variable consta de una sola letra (A, B, C,; ... ) 0 una sola letra seguida de un solo digito. Como el ccmputador no distingue entre las letras mayusculas y minuscules, a y A se consideran como el mismo nombre de variable. as! como tambien E7 y e7. Por la regla del prcducto, existen 26 x 10 = 260 nombres de variables que constan de una letra segulda por un dfgito: y como hay 26 nombres de variables que constan de una sola letra, por la regle de la suma existen 260 + 26 = 286 nombres de variables en este lenguaje de programaclon.

1.2 Permutaciones

Para seguir can el analisis de las aplicaciones de la regla del producto, ccntaremos ahora disposiciones lineales de objetos. tambien conocidas comb permutaciones cuando los objews SOn distintos, Desarrollaremos algunos metodos slsremaucos para el estudio de las disposiclones lineales, partiendc de un ejemplo bastante comnn.

En un grupo de 10 esrudiantes, se escogera a cinco y se les sentara en fila para una foto. ~Cuantas disposiciones lineales son posibles?

La palabra clave aquf cedisposicton. que indica la importanciadelorden. S:iA, B, C, '''' 1, J denoraa a los 10 estudlantes, entonces BCEB, CEFIa y ABCFG son tres disposiciones diferentes, aunque las cos primeras estan formadas por los mismos cinco estudiantes.

Para responder la pregnnta, analizamos Ias posiciones y cl numero posible de estudianres que podernos elegir para ocupar cada posicion. La ocupacidn de una posicion es una etapa de nuestro procedimiento. .

.10 X X X 7 x 6
prim.<;'f3 segunda 1~' cuarta qUInta
posio::i6n posicion pO$id6n posicion posici6n Cua1quiera de los 10 estudiantea puede OCUpaI" la primera posicion de Ia fila. Puesto que aqui no son pcsibles las repeticiones, s610 podemos elegit a uno de los demas estudiantes para que cccpe hi segunda posicion. Continuando de esta manera, SOlO [enemas sets estudianres de donde elegir para que ocupen la quinta y ultima posicion. Esto produce un total de 30,240 disposiciones posibles de cinco estudiantes selecclonados del grupo de 10

Se obtiene exactamente 13 misma respuesta si las posiciones se ocupan en el ordcn inverse (6 x 7 x 8 x 9 X 10). Si el ordcn seguido es 3", 1 ", 4"J 5" y 2" (es decir, se ocupa primero Ia tercera posici6n, luego la primera, luego la cuarta, fuego la quinta y por ultimo lasegunda), entonces larespuesta es 9 x 6 X 10 x 8 X 7.

1.2 Permutaciones

Como en el ejemplo 1.9, con frccucncia et producto de ciertos entercs positives consecutivos interviene en los problemas de enumeracicn. En consecuencia, La siguiente nomci6n resultara uti! al trabajar con dichcs problemas, ya que a rnenudo nos pcrmima expresar las respuestas en forma mas convenlenre.

Definicion 1.1

Para un entero n ~ O. n factorial (que se denota con n!) se define como

O! = 1.

n! = (n)(n -I)(n - 2)·· ·(3)(2)(1),

para n;:: 1.

Ast, l! ""' I, 2! = 2, 3! =6, 4!;;;; 24 y 5! = 120, Adernas, para cada » ~ 0, (n + I)! = (n + I) (n!l

Debemcs tamar nota de la rapidez con que crecen los valores de n!. Asl que. antes de proseguir, intenraremos tener una idea mas clara de fa velocidad con que crece Il!. Podemcs calcular que 10! ;;;; 3,628,800, y cstc es preclsameme el mirnero de segundos que hay en seis semanas. En consecuencia, II! es superior al mtmero de segundos que tiene un ano, 12! supera eJ numero que hay en 12 afios. y 13! sobrepasa la cantidad de segundos que tiene un siglo.

Y ahara, st utilizamosla notacion factorial, veremos que la respuesta del ejemplo 1.9 se puede expresar en forma mas compacta:

10 x 9 x 8 X 7 X 6 = 10 X 9 X g x 7 x 6 x 5 x 4 x 3 x 2 x 115°!! . 5X4x3x2xl

Definicion 1.2

Dada una coleccidn de n cbjetos distintos, cualquier disposicidn (lineal) de estes cbjetos se denomina permumcion de Ia coleccien.

Si partimcs de Jas letras a. b, c. veremos que hay scis fO(JT1as de disponerlas, 0 pennutarlas: abc. acb, bac, bca. cab. cba. Si solo estamos interesados en colocar dos lerras a la vez; habra seis.permutaciones de tamafio des para la cOleccion:" abo ba, ac, ca, be, ch.

ED ge~ si existenn objelos disnntos, que se denotan COD al.02; _. , ~ ~.' y res un entero, con i s r :s n, eareeces, pot la regia del produeto, el numero de permutaeiones de l3mafio r BglI'3.1os n objetes es

n X (n-I) x (n-2) X ... X (n-r+ 1.)=

pri~ s.egundil ~en r-eslma

poSi6Qn ~n ~ici6n P'O'Sk£6n

(n - rXn - r -1)' _. (3)(2)(1) n!

(11)(" -1)(n - 2) - - . (II - r + 1) X (n _ r)(n _ r -1)' _ .. (3)(2)(1) = (n _ r)! .

8

Capitulo 1 Principios fundarnentales del ccnteo

Denotamos este nemero con P(n, r). Para r = 0, P(I'l. 0) "" 1 = nU(71- O)!, de modo que Pen, r) =n!l(n -r)!, donde O:s r$ n. Un caso particular de este resultado es el ejemplo 1.9. I donde n = 10, r= 5 y P(10, 5)= 30,240. Cuando perrmuamos los n objetos de 1. coleccion, tenemos r=, n'J vemos q_ueP(n.n)=n~/O! = n!.

Observe, por ejemplo, que si n ~ 2, entouces P(n~ 2) = n!l(n - 2)! ; n(n - 1). Cuando n > 3, se tiene queP(n, n- 3)= .!/[. - (. - 3)]! = n!13! = (.x. -I)(n -2)··(5)(4).

EI numerc de permutacioues de camano r, donde 0 :s r :s n. de una coleccicn de n objetos es Ptn, r) =n!/(n - r)!. (Recuerde que pen, r) cuenta disposiciones (lineales} en las que los objetos no pueden repetirse.) Sin embargo, si se permiten las repeticicnes, entonces, pOT la regla de! productc, existen nr disposiciones posibles, con r 2: O.

El mimero de permutaciones en 1a palebra COMPUTER es 8!. Si s610 se utilizan cuarro de las lerras, el mimero de permutaciones (de tamafic cuatro) esP(8. 4);;;;;; 8!/(8 _4)1 ;;;;;; 8!f4! = 1680. Si se permiten repeticiones de las leu-as. el numero de secoencles posibles de 12 Ietras es 812 :: 6.872 X 10;!). t

A diferencia del ejemplo 1.]0. el mlmero de disposiciones (lineales) de-las cuatro letras de Ia palabra BALL es 12. no 4!, 024. La razdn es que no tenemos que. ordenar cuatro letras distintas. Para obrener las 12 disposiciones, podemos enumerarlas como se muestra en Ia tabla l.l (a).

Si las dos letras L se distiuguen como Lt. L~, entonces podemos utilizer nuestras ideas anteriores relatives a las permutacicnes de objetos disuntos; con los cuatro simbolos distintos B, A, Lh ~, tenemcs 4! = 24 perrnutaciones. Estas se enumeran en Ia tabla 1.1 (b).

Tabla 1.1

ABLL A B L,k A B 1" L,
ALBL A L, B 1" A 1" B L,
ALLB A L, kB A 1" L, B
BALL B A L,L, B A 1" L,
BLAL B L, AL, B 1" A L,
BLLA B L, 1" A B L, L, A
LABL L, AB1" 1" A B L,
LALB L, A L, B 1" A L, B
LBAL L, B AI., I., B A L,
LBLA L, B L, A I., B L, A
LLAB L, L,AB I., L, A B
LLBA L, L,BA L,L, B A 10)

(bl

+ E1 stmbclc ~ ==" se lee "es.eprcxlmadememe igual aTT•

1.2 Perrnutecicnes

9

La tabla Ll revela que a cada disposicicn en la que las letras L son Indistinguibles Ie correspomle una pareja de permu-aciones con letras L distintas. En consecuencia,

2 X (Ndmero de dispcsiciones de las lerras B, A, L, L)

~ (Ndmero de permutacicnes de los sfmbolos B, A, L1, L]),

y la respuesta al problema original de encontrar todas las disposiciones de las cuatro lerras que hay en BALL es 4!12 = 12.

Con la idea desarrollada en el ejemplo 1.11, aealizaremos ahora las disposiciones de las seis letr as de PEPPER.

Existen 3~ = 6 disposiciones con las. letras P distinguidas para cada disposicion en las. que las Jetras P no se distinguen. Por ejemplo, P~EP1P~R. PIEP3P2ER. P2EPIP~ER, P1EP)P1ER, P3EP1P,ER y P~EP~PJER corrcsponden a PEPPER cuando eliminamos los subindices de las letras P. Ademas, a la disposicidn P1EP2P,ER Ie corresportde ta pareja de permutaciones P1E1P.P~R. PIEc.P2P,E1R, cuando se distinguea las letras h. En ccnsecuencia,

(2!)(3!)(Numero de dispcsiciones de las lerras de PEPPER)

::= (Nrlmerc de permutaciones de los srmbolos p~, E1. Ps, PJ, E~, R).

de modo que el ndmero de disposiciones de Las seis lerras de PEPPER es 6!1(2! 3!) = 60.

Ames de enunciar un principio general para dispcsaciones con srmbclos repctidos, observe. que en los dos ejemplos previos rcsolvimcs un nuevo tipo de problema relacionando- 10 con los principios de. enumeracicn antericres. Esta practica es com tin en las. matematicas ·en general y aparece con frecuencia en la deducci6n de formulas discretas y combinatorias.

n!

de.un r-€si:mo ow. donde nr ~ 11:2. + ... +- n, = n. entooces.existen ~ disposi-

cioDes (Lineales) de.los a ebjetcsdados, (Losobjeios tfel miSmo tipo ;;:J~diSti~gu.ibles.)

La MASSASAUGA es una serpiente vcnenosa matron y blanca cnginaria de America de I Norte. AI ordenar todas las letras de MASSASAUGA, vemos que existen

__ 1_.0_! _ ~ 25 200

4! 3! 1! 1! 1! •

disposiciones posibles. Entre elias, hay

7!

3! I! I'll U ~ 840

10

Capitulo 1 Prlncipics fundamentales del contec

en las que csrau juntas las cuatrc letras A. Para obtener este ultimo resultado, consideramos todas las disposiciones de los siete simbolosAAAA (un sfrnbolo), S, S, S, M, U. G.

Determine e1 numero de trayectorias (escalonadas) del planoxyde {2, I) a (7) 4)~ cada trayectoria esra formada por escalones individuales que van una unidad hacia la dcrecha (R) o UD.3 unidad bacia arriba (U). Las llncas azules de la figura 1.1 muestran dos de estas trayecrorias.

Debejo de cada trayectoria de Ia figura 1. 'I enumeramos cada escalon. Por ejemplo. en lapane(a),la Iista R. U, R~ R, U, R.R U indica que a partir del punto (2. I), primero nos movemos una unidad hacia la derecha [a (3, 1)1. Iuego una unidad bacia arriba [a (3, 2»), luego dos unidades a la derecha {a (5, 2)], etc., basta alcanzar el punto (7,4). La trayectoria consta de j letras R para los movimientos a la derecha y 3 letras U para los mcvimientos hacia arriba.

y

I I I
I j I
I I I
I I I

(0) R,U,R,R,U,R.R.U (b) U.R.R,R,U.U.R,R Figura- 1.1

La trayectoria de la parte (b) de ,1& figura tambien esta fcrmada por 5 letras R y 3 letras

U. En general, el recorrido de (2. 1) a (7, 4) necesita de 7 - 2 = 5 mcvimienros horizontales ala deeecba y 4-1 = 3 movimienros verticales hacia arriba. En consecuencia, cada trayecLoria corresponde a una lista de 5 tetras R y 3 letras U, y la solucicn para cl mimero de trayectcrias resulta ser el ntimern de disposiclones de estas lerras, que es 8!/(5! 3!) = 56.

Haremos ahora aJga mas abstracto y demcsrraremcs que si 11 y tc son enreros positi vas con n = 2k, entcnces n!/2t es un entero. Como nuestro argumento se basa en Ia enumeraci6n, es un ejemplo de demostraciosi combinatoric.

Consideremos 10s n suebolos XIt.x1> Xli x~ •... , XI.'. x~. El numcro de formas en que pedernos ordenar estes n = 2k simbolos es un entero igual a

n! n!

2!2!·· -2! ='1-

~ k tactores de 2!

1.2 Permutadcnes

11

Por ultimo, aplicaremos 10 desarrol1ado hasra ahora a una situaci6n en la que las disposiciones no son Lineales.

Si scis personas, designadas como A, B, ...• F, se aientan en torno de una mesa redonda, l.cuantas dispcsiciones circulates diferentes son posibles, sl las disposicicnes se consideran iguales cuando una puede obtenerse de otra mediante una rotaci6n? {En la figura 1.12, las dispcsiciones (a) y (b) se consideran identicas, mientras que (b), (c) y (d) son rres disposiciones distintas.)

A C A D
'0' '0' '0' '0
C E E A c C F C
F B F B
(a) (b) (<) (d) Figura 1.2

Como en muchas circunstancias nuevas. hemos intentadc relacionar este problema con otros ameriores con 10:; que ya nos hernos topado. Partiendc de las figuras 1.2 (a) y (b). desde la parte superior de la circunferencia y movicndonos en el sentido de las manecillas del relej, enumeramos las disposiciones lineales difcrenres ABEFCD y CDABEF. que corresponden ala misma disposicion circular. Adcmes de esras des, otras cuatro disposiciones lineales (BEFCDA, DABEFC, EFCDAB y FCDABE) tambien correspcnden ala misrna disposicirin circular, como en (a) y (b). Asi, puesto que cada disposicicn circular corresponde a.seis disposicioncs lineales, renemos 6 x (Numero de dispcsicicnes circulares

de A, B, , F) ~ (Namero de disposiciones lineales de A, B, , F) = 6'_

En consecuencia, existen 6!16 "" 5!:;; 120disposiciones de A, B, ... , Fen tome a la mesa redonda.

Supongemos ahora que las sets personas del ejemplo l.l6 son tres parejas casadas y que A, Bye son las mujeres. Deseamos colccar a las seis personas en torno a la mesa redonda de modo que los sexes se altcrnen. (De nuevo, las disposiciones se consideran identlcas si una se puede obtener de la otra mediante una rcracion.)

Antes de ocupamos de estc problema, resclveremos el ejemplo J _l6 mediante un metedo alternative, el cual nos ayudara en le sclucion de nuestro problema actual. Si colocamos a.Aen la mesa como se muestra en Ia figura 1_3(a), faltan por llenar cinco lugares (en el senndo de las manecillas del reloj a partir de A)_ E] heche de ccupar estos lugares con B. C .... , F, es el problema de permurar B. C, ... , F de manera lineal, y esto puede hacerse de 5! ~ 120 fcrmas.

12

Capitulo 1 Principles fundamentales del ccnteo

A

501

4 2

A

M30Ml

F3 F2

M2

(a)

(b)

Figura 1.3

Para resolver el nuevo problema de alteroar los sexes, consideremos el metodo que se muestra en la flgura 1.3(b). A (una mujer) se coloca como antes. La siguiente posicion, en el sentido de las manecillas del reloj a partir de A, se marca como Ml (hombre 1) y puede ocuparse de tres fortnas. Si cnntinuamos en ra rnisma direccion • a partir de A. la posicion F2 (mujer 2) puede ocuparse de dos formes. Siguiendo de esta forma y. per la regla del producto, existen 3 X 2 x 2 x I xl;;;;;;] 2 formas en las que estas seis personas pueden ordenerse sin que dos hombres 0 dos mujeres se slentea juntos.

EJERCICIOS 1.1 Y1.2

1. Durante una cempena local, ochc candidates republicsnos '/ cinco demdcraras se nomlnan para presidentes del consejo escolar,

a) Si el. presidenre va a ser alguno de estes candidates, (.cuomtas posibilidades hay para cl posible ganador?

b) i,Cmintas posibilidades bay para que una pareja de candidates (uno de cada partido) se opongan entre sf en la elecciou final?

c) tQue principio del conteo se ... 00 en Ia parte (a)? ten la pane (b)?

2. Responda la parte (c) del ejemplo 1.6.

3. Los automdviles Buick se fabrican en 4 modelos, 12 colores, 3 tamanos de motor y 2 ripos de transmision.

a) l,CUmtlm: Buick distintos se pueden fabricar?

b) Si uno de los colores disponibles esel azul, i,cuantOS Buickazules diferenres sepueden fabricar?

4. a) El consejo directive de una empresa Iarmaceutica tiene 10 miembros. Se ha programadc una proxima reunion de accionistas para aprobar una nueva Iista de ejecurivos (elegidcs entre los 10 miembros del consejo). lCufntas Iistas diferentes, formadas per un presideme, un vicepresidente, un secreradc y un tesorero, puede presentar el consejo a los accionistas para su aprobacidn?

b) ires miembros del consejo de directores (de la pane a) SOn medicos. i,CUanlas listas de Ia pane (a) tienen

i) un medico nominadc para la presidencia? ii) exactamente un medico en Ja lista?

iii) al menos un medico en Ja Iista?

5. Un sabado, cuando man de compras. Juana y'Ieresa vieron a dos hombres alejarse en aurcmcvii de [a fachada de una joyerfa, justc antes de que sonara una alarma centra robes. Aunque todo ocurrid muy rapido, cuando fueron interrogadas las dos jovenes, pudieron dar a Ia pollcfa 13 siguieme informacion acerca de la pleca (que consraba de dos letras seguidas de cuatrc

1.2 Permutaciones

13

dfgitos) del auromovil que huyo. Teresa esteba segura de que La segunda Ietra de la placa era una 0 0 una Q. y que el ultirno dfgitc era un 3 0 un 8. Juanadijc que la primera letra de la place era una Co una G 'I que el primer dfgitc era definitivarnente un 7 . .i,Cuantas placas diferemes tendra que verificar la pclicfa?

6. Con ~1 fin de.juntar fondos para. una nueva alberca municipal.Ia camera de comercio de cierta ciudad pauocina una cerrera, Cada participame pega una CUOla de inscripcidn de $5 y tiene la probabilidad de ganar uno de los trofecs de disrinrc [ammo que se entregaran a los primeros ocho corredores que lleguen a la meta.

a) Si 30 personas entran a 13 carrera, ,:.de cuantas formes sera posible entregar los trofeos?

b) Si Roberta y Clara son des de los pamcipantes en la carrera, "de cuantas formes SI;: pueden otorgar los trofeos de modo que ellas queden entre los tres primeros lugares?

7. Un anuncio de hamburguesas indica que un cliente puede ordener su hamburguesa con algunc. con ninguno de los stguiemes ingrediemes 0 con rodos: catsup. mostaza, mayonesa, lechuga, tcmate, cebolla, pepinillos, queso 0 champincnes. iCuamas crdenes diferentes de hamburguesa 56 pueden servir?

8. Matias trabaja como operedcr de computador en una pequena uuiversidad. Una tarde. t':1 ve Que durante el dfa se han enviado 12 prcgramas para su prccesarruento por JOles. "De cuantas formas puedeordenar Matfas e! procesamiento de estes programas si: (a) no exlsren resrriccicnes? (b) el considera que cuatro de los prcgramas tienen pnoridad score los otro echo y desea procesarlos antes! (c) primerc separa 10:s. prcgramas en los cuarro de maxima prioridad, cinco de menor prioridad y Ires de mfnimaprioridad, y desea procesar los 12 programas de modo que 1»5 de maxima prioridad se procesen primero y los rres programas de mfnima prioridad se prucesen a1 final?

9. La cafeteria Paty tiene echo npos diferentes de pasreles y sets ttpos diferentes de belles Ademas de res piezas de pastelerta, es posable adquinr vases pequenos, medianos 0 grandee de las siguientes bebidas: cafe (negro. CDn crema, con azricar, 0 con crema y azncar), te {solo, con crema, con azucar, can crema y azucar, con limon. 0 con limen y azticarj, chocolate caliente y juga de naranja. Cuando Carolina va a Ia cafererfa Paty, i.de cuanras formas puede ordenar

a) una pieza de pasrelerfa y una bebida mediana para ella?

b) una pieza de pastelerfa y un vasa de cafe para ella. y un bello y un YaSO de b~ para su jefe,

lase-nora Duefias? .

c) una pieza de pasrelerfa y un vase de te para ella, unbcllo y un vaso de jugo de naranja para la senora Duenas y una pieza de pasteleria y un vaso de cafe para ceca uno de sus asisrenres. el senor Torres y Ia seiiora Oil?

10. Pamela tieae l5libros disrintos. i,De cuantas fcrmas puede colocar sus libros en des repisas de modo que haya al menos un libro en cada una? (Tenga en cueme que los libros, en cualquier disposicicn. estan ordenaccs uno junto a DUO, y el primer libra de cada repisa queda en el lade izquierdo de la misma.j

11. Tres pueblos, designados como A, B y C, eSI;1n intercomunicadce pot un sistema de carrereras de doble sentido, como se muestra en la figura 1.4.

a) i.De cuantas formes puede Elena ir del pueblo A al pueblo C?

b) lCuamos trayectos puede hacer Elena del pueblo A at pueblo C y de regreso a.l pueblo A?

c) i,Cu1mos de los trayectos completes de la pane (b) son [ales que el vieje de regresc (del pueblo C al pueblo A) es difereme, al menos parcialmente. de [a rura que rome Elena del pueblo A al pueblo C? (Por ejemplo, si Elena viaja del pueblo A al pueblo C per las carreteras R, y ~. para regresar podrfa tcmar las carrereras R~ y R), 0 las carreteras R~ y R5'O la R1 y Ia R2, D l.aR~, entre ctras posibilidades. perono viajando por las carrereras R.i yR,.)

14

Figural 1 ,014·

9i) ,vCciltmfas.-pemI~tad'Mes exJj,sten pam, las OC~D ]ett;~,·a'l' c, f, g!, i, 1:;, 'W' 1:..7' b) 'iCuawtas de, ,las :pemmUi~cj,o,nes, de ]a pwe ita) comienzaa con. 'ID~ I,etra. t?

q l Cuootas de las, ,pelmlU!t~eil~HteS' die ~:a ~pmrte. (a,l comli.renzml COli. lar letra ~ y ·[ieml'i.[lM (:00, la Ietra e,'?,

'114. lEv,alue ~flda: ~.illRQ. d\e; 10s. s~gu])entes. eases.

"l~,

) D/'"'I!' 2''')

a Jil:,\ "I' ".,

b'N iPj'Q' ,:11.\ i .lIl'~' ilJl;~1 'li1f"}'

d) P(12 3)

15". iDe. cn;b_tas :f.onnas es pls.ibJe pulemlar lo~ slDilioolds a, lot. ,t: d!; e, e, e, e, e de mode que ni ngu:na

oS .I1iiU~~\~! j" .·.·.,.,m:". "" iif1i~~~? w "*1 u~ .~~~ Q ~1!oJ,'I!II! ..

'1: itiL Para .. Ia tnlll$.;l1Ii;ftQD. d~ ~n8aJes. e~ ~n =;j~m:enm. de, com " Ii\] cac.io1illi' se usa un alfaibeb,,- de. ·40 SlBd;~)~0S., ,l,Cu:bltos mmsaj!e.s;.diSti__nlOS (Ii.sEa. de sbnbo]os} de 25 SrmooI,os puede.· generarel kaJJsmlsolM si Ios $trnJbDlos se puooen repeoI' en, el !lle':Ilsaje1 t'Cumto~", SI "fO de los 4.0 .sCmbQlos,

"'11[ .AI '. . c: ,"",1 .... - .'_ .... '110;" .... ] d '~I • . • .• . b . - ..

SOIJiQ pllsuen apa:recer Cil)fil(lf~] pnm~a 0, er 'w~mo Simw\ .'01, et :OU::'M:aje.. OJ en, am , 'a.S· p@($]Cti(me:s;

~ ':1. vez, los resltm~~· 30. sim.OOlOSj pueden 3!p'W'ecer en [~ua1qui~ pme~ Y':IDasl repetieioaes de 10-OOS .. ruos sfmbo·rn·Q&:.es.dn :p.ermji£;i(ias:1'

'1 '1,., '.En u~a implem,enlaci6n del mengu;~je de lU'iog4E'-amacitin Pascal, un iden~d:icad~r' consta de una s~le!f tetra] 01 de: 1m:;;ll .. sela letra se,guida! ·de· b~t~· siete srmiboIDo;t~ que p~tdefll serIetras o d~gir~s_, (Srum,p.l.ngam'0,s·· que.. d. orunpu~C'E: o;'Qi disilili!llgl!lle,' eQmre ~s. l:e'kb ma~;stUla;s. y mlQi!1IDscu:bs; 'bay. 261ett,~ ,'1 IDO dlig~'ros:) .. S"im..,e:mllargo(. ,ci:enas pa),mmscID,;a,.e 'e$taiu :resenadlas. para mas comsn'dO&; en Ic-onSJetn\en~ia? eseas 'pa:laJbras ClaW.·'iRflI! puooen usarse c'Qmo wdentjfi,QCiQ!t'!es., Sii esta ]mlll:~em;enmc.~6:n '[iiefie ],6. 'f1I~Jlab;ras resesvadas, ;lcll3n'lm~d,e.niliDcadoJes d~fereDtes ·so~ 'nn$JiiJ~es

w.-. IF" .~ ~.r • It'Y

en esta VeT.s~,Qn de.' :Pascal?

181. La 'p:rodueci6n de.D:rull. ~eza de.'Wl8 mlal'l~a.lC·o~<ta de: cllatro ¢i1ta,mU$ •. Hav seis Uneas d·e ensam-

, .. r. ',. it'"" ~'

hh~:.dispo~ibrnes p~a tl prim era. ~p-a; cuatm lineas. p~ la ,segunoo etapa, ,cinco p-afill.la tercera

y ;d~oo: pera .. la ulnmai. Determine la Icarrf~d!ad de, fawas dife,relltJe's en Iq!ge' 'moh~ pieza, _puede qwedx 'wta1i.1lleHi,e ~sambID()jd:a·e.o ei,te pracesQ de p~,n~t?k:i6iJl.

19.. Un .. profeser .' cieneias de la CDl1ipotati6~ld~lie ,~rrre Imo.$, de p[Q~ati~ aiferenres. emiIJ una e&lanterla Ire~ ,de los 'miblOS S9~.lde FOBlRAN~ Ios-otroseuann de BASi(! ... ,1.JOe ICUruwtas f~li;" m~e'llerle Qidenu el·~ofeso[.es:tos. hbro',$: (a) s~ ~Qlhay ·restricdQnes.1 (b) ;s~. ~os ~eDiiJllajes. se

1,2 Parmutadcnes

15

deben altemar'l, (c) sl rodos los Iibros de FORTRAN deben estar juntos? (d) si rcdos los Ii bros de FORTRAN deben estar juntos y los Libros de BASIC tambien?

20. i.~nQmbre deestado unplica mas disposiciones de las letras de su nombre; PENNSYLVAN_[A o MASSACHUSETIS'

21. a) tOe cuaetas maneras se puedeu colocar las lerras de VISmNG?

b) Para las. disposiciones de la parte (a). i,cumtas de ellas tienen 1M tres letras I juntas?

22. i,De cuanras fonnas se pueden cojocar las tetras de lapalabra POLY1JNSA'TURATED de modo que se mantenga el orden en que aparecen las vccales?

23. a) lCwintas disposlclones bay de todas las tetras de la palabra SOCIOLOGICAL?

b) ,En cuantas de las disposiciones de 13 parte (a) esran juntas la Ay 1130 G?

c) iEn cuantas de las disposiciones de 1;3. parte (a) estanjuntas todas las vccales?

24_ i,Cu4ntosenteros positives n se pueden formar con los digircs 3, 4, 4, 5, 5, 6. 7 si queremos que n sea mayor que 5.000,0001

25. Dcce platillcs (con forma identica) se ordenan en cuatro columoas verticales, como se muestra en la flgura 1.5. Hay cuatro de color rojc eo la pnmera columna. rres de color azul en la segunda columna. des grises en la tercera columna y Ires blanccs en la cuarta, Para enrrar et equipo de tiro de su universidad, Dora debe romper ]OS 12 platillos (con su pistole y $6]0 12 balas) y, para esto. siempre debe romper el platillo que queda en Ia parte inferior de la columna. En estes condiciones, i,de cuaeras formes puede disparar (y romper) 105 12 platiUos.?

26. Muestre que, para cualquier pareja de euteros n. r ~ 0, st n -+- 1 > r -entonces

Figura .1.5

( n+ 1 )

P(n+1,r)~ --1- P(n,r) n. + +r

27. Deterrmne el valor (0 los valores) dell en cada uno de los siguientes caws: (a)P(n, 2) =90. {b) P(n, 3) = 3p(n, 2), y [n] 2P(n, 2) + 50 ~ P(2n, 2).

28. LCulillUS trayectorias distintas hay de (0. 0) a (7. 7) en cl plano.ry si una trayectoria sc consrru)'e paso apaso, yendo ya sea un espacio a 13 derecha (R) '0 un espacio hacia arriba (U)? i.Cuinlas de estes trayectorias bay de{2, 7) a (9.14)1 i.Puede hecerse un enunciadc genera] que incorpore estes des resultados?

29, a) l"Ctcl.ntas trayectones diferentes hay de (-I, 2, 0) a (I, 3, 7) en el espacio euclrdeo tridimensional si cada movimienro es de uno de los siguientes ripos?

(H): (x,Y,z)_ (x + l,y, z); (A): (x,y,z)-(x,y,z + 1).

M: (x,y,z) (x,y + 1,z);

b) i,Cuantas de estes trayectorias existen de (I. O. 5) a (8,1. 7)?

c) Generalice los resultados de [as partes (a) y (b)

COiiJaJl t8t : ~' 01;

FOIl'! ,i : = 1 t 01 12 dOl noun t,e'r.' ~ = ,0 onn tee!" :For j ~ := ,5; t,o 10 do

Icount'En:" :~ = counter .+, 2,; '~""ir"" il., ~ :=: 15'~I;";'w,~t~,o.: 8,'.;' ...:II,..

[I( V ~1 D.:.I . . u.v. _ ~,~ . u,v

-f-' 1 ~

. ' f.

OJ.

h), tQle 'PMcipio de con~:o' esui ea juegc en la .parte (3)1

31' ~ ,Comid:ere el 'S.~ gu.lente se:~enl;D" de.llwgauna en :PasCil :~j,on4e i.] 'Y k son v'ariabfe:;s enteras.

Fler 1. ,:.= 1 t.o 12 ,~.o FQf j : ,_, .5 ·to 11[) do

FlO r k : = 151 d!ow:nt 0 8; do lIf"ri teln. (( 1. ,~ Ij,)* It,) ;.

3''':!!;

1~,S!

Uata serie de letras de Ia fomxa, ,a'bcball en ~.a, qne la ex,reSii6n no CWi'ilbia a1 :mvertlI Sill cfde:n -: es 'UJl·ejemi'Io de.~QI~~Jt,'G(m~ , ,~ cinec ].elJQS).

:a} Si olllllaJ :~eri:a·puede.~eCs.:rm4s, ~~ ~3. '~e::l::t'i.oirara:nws. :p;~ltl d1o.mo$;.den:~nc!i) Ietras se pueden

;t .... Trt"I~ ... " ~ ..:II"", -;;:!~;:O' "1""iii":il<Q'~''iI' .W!U'.L.LLUlalIJ,. (.1l,:II,,"," .,;!'I;,rl ... -.! .... 'IIIIl,Qi;lI ~

'b,~ .:Rleph,la pMte ·~)-cqn la condiCi6n de ,que)~~gmw.leU'a, ~p'are~caJ, :mn3s, ·~e IUQS, veees,

al' Determine e'] 11.iimeK" de. e;nJfterrotS de seis mr1to& -( eue DOl comt.eitl~]'ID. con. iOew.,). en los ~Ipe ("'ll)

- -. . :- ~ ~ . ~

min:gtin, ~g~m :s~ pu~ l~tmr.;. J(b) se, puedea ,fiepetir' :ruos digil[,@rS. Respooda ,~as P,air.tes ,( aj, y

(b) ,CIOn la oottmdicto'n ·8.drc~onaID, de. que, el eDteIO de :seis digj;to.s S:e3 O) par; (0) di:', is] ble emre 5:;. I irui) divmsib1c entre 4~

:3) :Prom.t')reione ·!lliI!R.·:argumento e.mnJb~m.i~o,riOf. pa:ta!:~m.OStl'.H' I~ue 'si fl.. 'v'l S~~, enle:rfDs 'p, ' os~[iv{o(l;; 'con

r-~. . ~ I .

Ir,z·= 31: ;f!;Hlontes., n U(.3 ~)it; es W, ellf,ero,.

'b) (J~eraJioe eJl res~t~t1itd: Ja :pa~ fa).

,ai) tOe.IDllOOi~s; ·form.e: puooe 'UD es:6mli:arnre respbnd-let· UJl ex~mM de ill 0 pregillI[[t~. dte verdadero:.faloo,1

, j") ~De. ,cuantaiS fbrmas :plm!ede: el e·smdiUie resp}nde.r ~cll ex~en de Ia parte. (i!3il si es posible dej~r Ulll,~p.I~~lta",$iD. :~e;s;p~,¢s~m p;ar:a e·wtar· 'q;oe Se penalice ~' resp'Ue5~. ~q~~I''IIoc)ldl;ai?

36l., i.. CUiutos ent-er.6s,' diSit~nil!0S de c~ro dfglto~" 156 pueden fODIlM coo: 'IOSI nd,meros, 1 ,3" 3',.: 7 '1' Y 8?

37.

,aI) "De: wm.t'as .fo:~, se p'l[IDooeo sentar sieee perscnas en torao.a 'Una mit'Sa Ic::irc'ol.ar?

'L-) 8'"00 ..:a I ._ ._ . - ~ ...... 1· • .•. -'b:~i ?

til, :, 1 ' ,S; i~e' . as per:SQWLS.lUlSIsre~ en .s~tltme~lootaiS ' ~~mnu, UifsposlcHme-s s:o:n posluies':

a) ilDe. cldn'ms 'fQOOL~8 se ,plled~e;Iil! sentar ,oofu!l) P,e.l:['SOf'las'r ,A" B, , .... f- ,0" 3!illre~.of die ]a mesa ,cuaw:a'~ de '[l~: .figtlf{l ·1.6, dqntfe ]:ais,' 'fj~T~' 'I .,I6(a) y 1 .. 1)(b) se CQ,m;jdelf,am, 'iigl:lrue'$ Jpero diStiHtas, dela figll(3J~ .L6I1c:) .

b) Si . dc'S 'de: las odho personas, lrupmOS.. A. ,:y: JB,. 0,0, S~ levan biea, i,·CIl3nitH, disposici.ijifles. drferentes en 1m, ,que A:y B no se 'si~n'l;e1IlJ jll;mbJ'S. '510ft poobles"l

c) i.~C'am~d~ las disPC?&~cjol!tes'd~ l~ 'paae 1(Ii) ievilan ,que A: Y'R se :si:eJ]ren.'~rno fre;~:M;I~ al ~tt:o?

1.2 Permutacicnes

17

A - B G H F G
"0' '0" '0"
G D , B D A
F E D C C "
Co) (b) Ce) Figura 1.6

39. Una implementaci6n particular del sistema operative UNIXt proporcicna La estructura de archives que se modele en Ja figura 1.7. En este case, ef i~llodo del archive contiene, entre otras infortnacicnes, los permisos de acceso para el archive. Esto va seguidc de datos que ccntienen informacion acerca de Ja posicion de] archive en: el dispositive de almacenamiento. Las pnmeras 10 esuradas son las cirecciones de ]00 bloques donde se almacenan los datos reales del archive. Si un bloque contiene 512 bytes de informacion, estes 10 bloques directos pueden almacenar hasra 512 x 10 =' 5120 bytes de daIOS.

Cuando el tamasc del archive es mayor que los 10 blcques, el dato ndmerc II proporciona el ecceso. 0 apunta. a un bloque indlrecto. Bste bloque Jndirecto contiene las direccicnes de oteos 128 bloq_ues donde se guardan los datos. Si se usa este bloque indirecto. el tamano del archive puede ser de hasza 10 + 128 = 138 bloques y contener basta 512 x 138 = 70,656 bytes de informacion.

a} Se necesita una entrada ntimero 12 si hay que utilizer mas de 138 bloques para el archivo.

Bsra entrada contiene la direccirin de un bloque doblemente indirectc que. a su vez, contiene las cirecciones de 128- bkques indirectos. Como ya se sefialo, cads uno de estes blcques indirectos contiene las direcciones de 128 bloques donde se almaceaan los datos. Si un archive usa 12 entradas en 51.1 i-nodo.lcua! es su tamanc maximo en terminos de blcques y bytes?

b) Si el archive debe ser mayor que el espacio proporcionado per 12 entradas, se necesira una entrada numero 13. Esta proporciona Ia direccion de un blcque triplemenre indirecto que apunta a 128 bloques doblemente indirectcs, como se muesrra en la figure '1.7. Determine el ta:mai'io maximo de archive, en terminos de bloques y bytes. para la implantaci6n de este sistema operative ~1X en estas condiciones.

40. Escriba un programa (0 desarrolle un algoritmo) para calcular n! para cualquier entero n ;:::: o.

41. Escriba lin programa (0 desarrclle un algorirmo) para calcular P(n. r} para cualquier pareja de: eeteros n. r ~ o.

42. Escr:iba un programs (0 desarmlle un algoritmo) para determiner si existe un enrero de Ires dfgiros abc ( = lOOa -+- lOb + c) donde abc = a! + b! + c!

t UNIX es una marca regisrrada de L.fl>.IlX Sofu\.1Ut: Laboratory.

18

Capltutc 1 Prindcics of

p fundamentales

del conteo

Rgura 1.7

La b~jla. BOnn:ru eonsta die 5"2 ~, OO"IDl, euatro p3llros:: 1t!r:~bDlies1 diamantes, [~)or~:z;ol)e~,)t

-. -.'5,~"' .. IC'" '.-0.-' , .... 1, .. " t';~" '113:'[" :oQ'F1it"",,;e;'" " ~~ ':l~ Ir"Ii ~i.(O 1£'.r.J.,." ',""" "'."

espo>ll~s,.,· a 2a, p~o !I..o:t:!l.e JL CQI.lI.~" as. .s: J, j ~ - • " '7' :t.' ~ >:>vtJ~ rewna Jf my ..

Si n,os "pmden saear '[res, cattas,· de. una 'baraj~, 'l},omh;alji una tras etta y sin sustitnitlas; entonces 'PJJI la resla de] '~T'\i'1AfuctO: exissen

,_ ' " " _ - - ,;::) _ ~",..-u:. _. __ ~. ~.

'., 52 I!: , " .. '

52 X 51 X 50 ~ ~'= P[I(52~ 3)

Ai~~ .

• '7"1l

"posibilidad[es~ 'wa.d1e las cu;ales'e5"AC (as.de corazones) 9T (AUe.'V!6,.de, ~b91Ie;s) .RD' (r:ey:. de diamantes). Si en 'Vel, de es.lOse:m.OCcNonam9s, tres Ic.arrtas ,aJ Ia vez die. modo qu,e em, o~den de sd,eccm,On de las "[c~:rUI'S: no sea im,P011oote , eUJt:on,oes Ias seis .pe~:nlml;t.acione~ A:C-9T--RD~ AC~~~T~ 9"T -i\C~,RD:'91:_'_~AC, RD-AC 9t RD'-;9T -:AIC correspondea s61e' a uaa fOlIlIlt3 (w.o .()rd~nada)1 de. se.leoci6n~ '£,11 coasecuencia, carla, ,se'~epci6n 0 tombi'~a:ci6;n, de tres cartes, s[in tener.en. Cilenfal let orden~\ Icoa.espoode a 31~, :permuLacio:n.es de 'tries eartas, E~ fbmla de ,ecu:aci6n~ e.S'i;O- se traduce eemo

(3 !,).x (N~melo de,'s-e],eccro;n,e;s, de, tamano tres de 'u,a,baraj~, de S2)

~,'I,~ 'Rmelt) de 'Inemlutacio:nes. de '[amaio 3 para, las 52,caltas

~ - ~ ! ~

~Un bue'D. COltlisejo,1 euan(h~1 se ttB[,~, de un 'pmbID,em,a. de ,c.o~lleo~ i~e1)emQ~ pregumamos aeerca de :b, lm!POmnclra dcl OIrOO.m, en le1 pro:o'iema& Cuand~ .eID, orden es necesano, pensa-

.r ? • 'd ' " - ~ m . ;f,~, )JI",.JI -.......;! C' . '!,

mos. len ttmI!lDOS' ,'}e pemI~.rq:tC:!tomes y ·d.[SjpOsicto:o,es y en ,1Il,a, '[:eg~ I~l pr.wtl.ctOl., ':'. 'uandlo e~,

C\Ild.eD 'DQ sea, neeessrio, las cQ:mmniaoio.ID6s·podrian, te~~ un :papelli importarnThJte en '~a '$,O'rnu: .. ,

~;;;t. .;II I' 'h,[l -

(.']u!liilJ, ae " pro r,lJ}ema.,

19

Capitulo 1 Prindplos fundarrentafes del conteo

Miriam quiere dar una fiesta para algunos miembros de su comite de caridad, Debido el tamafio de su casa, 5610 puede inviter a 11 de los 20 miembros de su comhe. El orden no es Jraporsame. de modo quepuedeinvilaralo, -U atortunaoos" <I.C(20, 11) =(l'/)=20!(11 !9!) ;;;; 167,960 formas. Sin embargo, una vez que lIeguen [as 11.1a forma en que ella los siente en tome de su mesa rectangular es WI problema de dispcsiciones. Por desgracia, ninguna parte de la teorra de combinacioues y permutacicnes puede ayudar a la anfitriona con los '''9 of en didos" que no fueron mvitados,

a) Un estudiante que realize un examen de bistoria recibc la instrucci6n de responder siete de 10 preguntas. Aquf DO importa el ordcn. per 10 que el estudiante puede responder d examen de

(10) = ~= 10 x 9 x 8 = 120 formes,

7 7! 3! 3 x 2 x 1

b) Si et estudiante debe responder tres preguntas de las primeras cinco y cuatro de las tlltimas cinco, pnede elegir tres preguntas de las primeras cinco de (5) ;;;;; 10 tonnas, y elegir las otras cuatro preguntas de (l)= 5 tormas. De modo que, ,por I. regle del producto, et esmdiante puede realizer el examen (n(~) = 10 X 5 = 50 forrnas.

c) Por ulrrmo, si Las indicaciones del examen dicen que debe responder siete de las 10 preguntas, de las cuales. al menos ttes debcran sec de las prim eras cinco, bay tres casas por considerar:

i) E1 esrudiante responde tres de las primeras cinco preguntas y cuatro de las rlltimas cinco: por ta regia del producto. esto puede ocurrir de (n(l) = 10 x 5 = 50 formes, como en I.a parte (b).

ill El estudiante elige cuatro de las primeras cinco preguntas y rres de las ukimas cinco: esto puede becerse de (~)G) = 5 x 10 = 50 formes, de nuevo, usando Ia regla del producto.

iii) EI estudiaete decide responder las cinco primeras preguntas y dos de las riltimas cinco: la regla del producto indica que este dlnmocaso puede ocurrir (~)(~) = 1 x 10 = [0 formas. •

Si comtdnamos los resultados de los casos (i), (ii) y (iii), pm la regia de Ia suma tenemos que el esnrdiante puede hacer (ll(lH' Cllm + mal = 50 + 51) + 10 = 110 se lecciones de siete (de 10) preguntas, cada una de las cuales incluye al menos Ires de las primeras cinco preguntas.

a) En una escuela secundana, la maestra de gimnasia debe elegir a nueve esrudlantes de segundo y tercer ana para el eqriipo de voleibol femeaino. Si bay 28 jovenes en segundo y 25 en tercerc, ella puede bacer la eleccion de (~) = 4,431,613,550 fonnas.

b) Si dos esnidiantes de segundo y una de tercero son las mejores rematedoras y deben estar en e1 equipo, enronces el resro del equipc podra elegirse de (~) = i5,890.7f;lO formes.

2.1

e1 .Pam:a cierto tomeol,ell. equjpo .. debe t~D,'~]F' CU$O esbldiantes de segunl!l~ :'llCiooo, de, lterobo 'La 'meS!ll'a nuooIe 'deoir a .~. euattllO e'stJl.uibmte~ de setO'I!UldD de eft) 'fmmas

,c.>"~.' ,I ,,'>'!' d,~:,--;.I>,~ I':,i:,-,_,I'~' ,,:1'_' ---:.- ., 1 ~-;-~ , ~-':.-'~"74,,,,,,~:_!~,I':~:,~

- . .~.~ .i~. d' '.11 ,., 'nl" m) J:' A..... 1 ~. '1: 'r.

P-ma .~, UFtll8 •• e.estas SeJiOOCIODeS,. ·e:ua, b.en.e rs;' rermas I~' e e,gn; a JJas-,CU1CO esta-

dialmJ~es, de;, i~roeE.~. :[P!OIJ(:J' t:ai~JI.o" '~~ fa :r~g1a del :P-I'OOmC®OI:;: :p,uede e,~egir' m eq~iPJ ¢IDe;, (~~)_ ;;;;;; 1.~!,QB,1 ~J8;3'~150 .f:01llli\S, ·:p,aat··ege: tomee :pmi~-Dlar~

.AJ01I~~,(}S' r-.~oblema:s ,00, ;n.u.ed.en~ an.mizar diesde, [el'lilhUIiID~o, de, vi~m de ~as, dis'~icion,es. 'I). de las c~ilt;ilQ1teS,;_ Jle.p~Ia lonna. en' qrue se [~~e lao sim.aci6n:. HI .si;i;nte. ej(~Qmo:

i,.:i ..... Jft'llilt'li;lO!!;~ .. ii"oi!'.i ,e·' sto UJ;i1:A~QV.-;I'-W~A, ." -.'-L:U!!;

~:a . .;:!)[

'~~. J.J"

·pararselOOcionwr los, CQitto l~i)ut~s~, de.~!(l$i. msUibuir :mlll.e'\i'[e le1t"a$.A~ Dne¥~' B\~ riueve "C,

-. ~ .' ~" ,r''Iir'" l~W!l.".. • u

.'f .mu~ve 'VI ,en, )·05 36,esmractO$~. EI Jl:tlme:ro; [de fQ:mrnas, eo. &ilu_e .00 '~uede baeeresto es ·el :fli~JO

;J' ,r ,; tlr' .-

- ~

,de dlspo{sk~ .~~i 36letfaS~(jjneQ)mprei]de nlleved~·'cada 'Ulila,.qe Ias le)nlSA" B~,'C, Y' D. :&1:e;

. es ,ahOla, eel ceaoddo pm'bfetna. ,de dfs_pomciooes: de objems no msttm[(os", '":I ];a iespuesii:al es

~ ., . .... . ,

'"l~~

[~,,,

E'1 ...... ~. _. ..;:I ..... :A:i - . ....~'. _. ...:it •• ,;I· ,- 1- .. . - de "1i"\iIi;.1!' lr· ,iII,··U ,;!Io 'rt."!C"C"I::' ..

\I, UUJ1IHUefO ~ wSpQmt,l)o.:Des. ~ ,t3iS etras 1 . _; .~W1_;,_.;.l~~ es

~'i'C: 'I."".c~'~!oi.'!i;"": 1...::1 ..... ,oCii~It"'!i''''''i ..fI~~"".·l·:""!J·;~·n-l!'>~ ·IIjIi;if'li··'~~;=Iim;;e- '1Ij1I1 Ietras A-'. ,",:,'~,,?:"!.Ji~:n_' "'r"'i"!!i:':? ~b , e: !i.I!!Q.U~ UJ.V ~~! ~"'.Il"",,:., '"'" ,'!UI\ .~' ,UIV 1Ii.::IIi!i.iIll:ll,. 1Ii~. _ !!;;o'Lil~ . a\U~,~ IJL.,~ ~

.22.

s: d' hill ·iII. "11 •. U.!at ~n;;1'O' ,(:. .~ . • ~

.IJonnas.···e :aa~ar !JJ'2JS !leWal$. restantes. .1 na U'!- estas ,j_v;o1: ... IOI:ill3S s:e, ·mm~·stra. ,en It,a, ~lgulen.te

fig,ur.a~ dODlde las U.e.clias. q-ue '\ra:n 'bacma arriba indican ·Il.uevle~posiciome$ posibfes para. las mes:.lettas .A.,

...

lIEr··,Er··$·T" ill' ll"S' Hr····

• ".' '\. 1 ' I ','

. .

m.'f-n 10m: + ~:T·'I. + d'm'+"""Ii'"' i, •• '. + it_"""''':= ."):' a ...

:II _ _ -. JI!'_'~~"l-Il.u ~

, 1

.1,) ~ a~ ~ 01 + a4. +. ,~ ,+ Q6 +-.Q :=. L.:QJ '-' ya lq]ue' ~a -. l\etta. i :m.o-'·~~eIle nada de especial,

.( .• ; .~·3

4 ~

.2.). ~;2:.= 12' +. -2'· 2; + ·'3·~· +. ,),tI.~. = '3' ':0' '=. ~ .1;-2 y' ill cue ~. = to' .

I.: ~ ,~~ " _ '__ 11 ~ .~. ~I [~1-, ._: ' __ ~u u-= .. "iI'

:t I .Ii: - '[II

iOO un '!l19!

31]1 ~ ,j = l]j +. t23 '. 1313 ,+ ,., ~ ~ .+ .UXP' =: I (j'.~ 1)3 ~ 'I (I .+. 1)1 ~

t;;;!llW j:::;:l:Z 1:·-11:0

• W

4) 2:' 2i =·2(7) + 2(~) + 2(9) + 2(10) - 68: :' .2(34,) = 2(1 ,+ 8·+ 91 + '110)1 :: iI i:

ii=7' f='l

3. ~ 2

S)t '~' /Z., =. a",: ==- ~ a·: 1" =. .~ .Q1: r-

LJ~ .~ .:J'.~ '!fi'- ~ -~.~ .~

,i=~; ,. i=4 i;:c::J

.10 ,.. 3;

6) ,~, a ~ Q~' + 0';0"+ ,:fin +. Q .. n. ~ ~"ai ~ '"!I"~' '~ Q~.J..-.' ~ ~ ,,'.!, ..... _,

:I .LJ."1 - , 'ollI 'f'!.~. ',u!!, 4J' . t ·'l!" ~ .LJ, "' -w- ]1 .~. !;!!..r-r

.F7 j-'I1f .i=:]] i I

5 <I ,.

?) 'L eli =. ~'~3' .+ ,b:11l,4 + bl.:~5 :~ b:6 ,+ ,"8' + buf ~ .2, .b2i~2~ '= L· ~~-.!C .• '

,1=3. '. ;=2 ·t=5

""-

+

2- '-:': ~.

5

:IQ I~a = Q' .-f' a~ + ;Q' .+ a + a =: :5'a~

i.o::::.~ .

.. Ade:m.~!. usaado IDa~not:acj.6n de :~!~ vemos ltlJ!l1~:·,pOO-emJ)s:e:x,presmr Ia respuesta de, '~a :p.me (:c;), d~i. ejemp~o: 1,.,lli'91 como

''[,jI'',~' '.h,- ·.lll , ..... ..J~. m .... ~ ... , ". '3' 'C n't ... , ... '~.i!t-:-6.'n 6]11 ('1o~O!I"'~;-''''·\ili!· ,iD3_i';;:;.ifMn'i1il"i; ,<!>_",1' ""' .... ~i 6ft m- nchas 'Ii',erei;It-v8 e:J! ~'Ii:iI' :~ ~L""" DiU:!.evc. Inl!v~~b-2n ~I '","W ~lII,,~.IUI:,,",I!IIW"'" !LrJ; ..... Jf!J!~Jt!SJu,~Iii:.II . .3\~. ""':V.L!I!:I:y "","u , ., .1I;lI • .:'.~,~

. .

otras 'parteS lde:~, reste del Iibm",

Je.1n "1:iJiLIO!' ,,::>_~if;,,,··.-jII1·;:"1"~I de 'I,~, 'liT'e:oft~I,:~:mla~~~:ilF,!](, de .,.,.ry:.fI'~'O:II"II.t:. l!W 'll~I.,te{);r.f~1 d' ,e 'lje;n'!0'1i;lla1e~, ,A,,.. .o.i\'\l,~n\u"~'t:"!;:·~ .

.!L:,u. l'U .... , .... ,.;.1I~wl!;lll, V".,. Ii.l!i. ,IY '!II, ,V.I;,.I;"" !IO![m10Q!U-.I;~I" •• !i;!l' U ~lC'v .... J JIi:€!! _ - ,,~ - .. -,~!!!~ ..... _.;!p.-,.;J.I' ~ - v~;u"lt"" ,,~"""'U'!I.'~l

i'",rylf:jl;!f"~~:e, ,vQ:n:;IoO:~, ";";,""'"1''':Ji'ii!' d' f~'o?Jlf'Iflf':;;;",;i~~~. '[II!'fifljlRi A',,:,'~ " v= ,It'I!'~-0:,~';:",ito _'iii! ~;";'ii';ffl1i~~~:~,~ :'ZIi' p:"lI'"1'~:jf.- de 'il~'iflln~~~~ ;',~n,

~U,~WI.J!..W~UJ .. l.)~, i3 !i.r.lWl,li_UfIlI~. ~r~i3iJl~,WJ'4.1jllllj,~~ , IJ~~~~ 'lr'~~~!I\~1IJ.I'J1 lVAL~iU@C~ ~, ~!U~- .. _:lip- ~JI:J. ~~~~J'V'

preserito de sfmbolos. ~rS:i e~: ,a~~aJbeto ya, de~ermiIDJad)Q' ICOMta Ide ~os s,imoo1l.os 0., I :y 2" per t1e~n:~,O'~ entonces 0,1" 11 ~ ll!!, :1.2 ''J' :20 son cmco de las If,eve ¢ad~D;8S de; lOll~\,i'tflit do\&..

;J .. ~T -... ,J' . .. .. Ci }..

EniIu las 21 cadenas ,dIG l.am,!:iwd, H:eS estin~OOij- 012" '202:, ].lO~,

~!'-i zeneral, 'C:;! ,M ii;!,oii!'. 'Iml:"' ;;0 ni!fli1i'i,\O, positive P or 1-:.;, "1II'".,)!j"u'li'ffll' .de:.J 'm~1rilf"~,"'" ,e''ii''ir~'~n.',3'',.!I! cad enas de .. .lCa!:!ll C,~lc~ m'!l! li:!I\.I ,,-[~ ~~,~ ~iJ,~, ~'WlIl. tL!' . ,_. U'~.IL. . - ,:II, Y Q ,1Ij1~!O"'~~ ... I, .rta,V~t~~l~~ . ~~9~==~ ~ .. ~';"lIJiIi~ U L ...

f!Jngj'm.d n ,Mao ·eJ ~dfabeto IO~ :i ":1" 2., ,Si x :=. X'~ X:'~: X3; ~ ., ., ~ es UM de esas eldell~" d~.:[inimos

oil!!Jl- ~~.!l'\.i'1I: de x' 'qulii<!!: C'I&!" '~~'D"""if''''1 ''I1i1i~iIj\if'!i;"i-'i j...,nl~i'.n;, 'll.'lIim'l"'-'lI1 _:_ 'F' .lL ''Ill'' ,+ 'If ..L ,j j •• , ,+111" 'IPIr'-l1i" pi-Am- j plo ~:.:"'U!!]' "'l,~

~' ,r-··~iJiU· . ~. ..;, .. I .u~ ia~ Ul~ .~~I ¥!I! ~1k~ .. '1~i ~~ll.W~. '~f. ~f~..-:Ir.~ - I~ I T ~2~ , ~~l -W. - ~~~ .. v.£. ~J!~ J:: ·1I;u-;. ."R~\ .~.z..J

-. ,3~ y wt{.21} = 4~ s~, 11. ,-, 2; wtl( 10 m) == 2~, ,\¥ttl :I{~) := -3 .1 \¥tt.222) .;;;;;. 6 P"'3, in ;;= :31

EmIDe 'mas,'3]~' cadenss de Ion ~irrud! 1 0: ~Iu;eremos: ,de1~ ,eJj JJlmnero de ,el~as q 'lUe 'tenp~n

'(~ .... , 1 t.I!~

'~:p' oQiIj ''-U''.I:IIJiiIo:iIi r1.. ..i'~'''lI; 'TQ.'l'lid:'-1 'OO~;:'!< ~'.:r, · .. ~~~~'rin>"'"'n' te caando'e 11 'n:"~+oifi, ~~!.6, 'i'~ri~ n~~e'· ~''?,1''Ii'~'~~;':''''''~:r ,,~'--:J<.I.~:,. GJIl.lll ... 1Il.ltD. ~au~~tU .. ~~)I-. :.l:~, 1'""_"'II!I:'.~u' r~ ~iiiI!w~JIJ~¥ 1ir.F .. ~ ,W ~'U u~ ~~ ~~ . l~~iI~ ~'A ~.~~

"'r'-'ft'Iili";ft!iI""""" (ljf~1J::1Y "",f'Io,~,,,,,~;~~~1I!' :",;.~~,.:'! ;<'Oo;l!!",Ii"i;C' ,1I,;,:YY"""lr,l!;>Jn;iit..::>c; :S. '~I 'li:!!ilj".,.,":,\;:I'~,1!'Iig ''¥_''',n''jfW 00-' - ,1!1i~~TII,Ii3, !I:I'n~·. ,;o:>]]:t'.iJ!"I'iiI'i"jj:IJ~

,1l~J~Uw.:Ii.I!Wv.,~ ·.::ILilU;,\.II IIJ.:t-UJ..I_~1ti1l~~UI!, ~~W1iJi! 'Iir?"~U.:Ji lllt,]Lrv.: 'Iir",LoI!~~ III . JIJ ,WQ ~iU..H~ . V . ",JIiYi~!d!.~ f~~V.~ifl ~ r~.!IHIj~~~

: ........ ,f,"lI U"'~I"'II' ..Iic.,ll~:~ 'II ~-m.f'o.siC;~o,:h{,Q,,,"' ;l1l .... , ~ '1IiII'1f"\iIiioA~, ~'9r: OC. "!l[l'p:.,.;I["i. i"'''Jii1'1l1 if'Ii!.iIf!;; ~. :\1. ~T"ll'aT)l!i<hJ' ~'"~,:,,,l 'nir, .... :A·'I-I'C·t-"')' ~~~, _ ~~.lI. ..... I~J ,u.,~v. .!1j,._.1Il.~.~~ U¥.d·lr.:~~.l~_fU~ .ra~ . ..~ ... ~ ~.u,L:~ U .. U ~"J'l .~-~I:l ... tI:¥c, ~ ~ .tt,:"·Jj.v.u~ .~~Vl:tJ

"~" ~:~,{It?i '.,' : ,c.<: .~ -I.. :C"I', 'lill d':~I' j , - ,.;ai ','.,; 'I ~~:. '. do ' 1''''1. ", ': 11, ::' 'Il -. '1I"IIfli :'''1".'::, i 1,',." ' II ' :~~l " ,_IjJ_ay .s. ue e.sas Caue:D,as~ iIlllMilluO~.wa. CafjU~:!lJ:3i. Co.nJIl.!lle:ffiJlIe , os ,mJl!.lIneros .II. J SUlS r .... '8111!.10meS .. puwen

elegirse de {~JI 'roIRtal$., 'Qna: v'ez ,eJ;egtdas, las tijIoo :pos~oi!otteS:t :hay' :2;~ 'fdOOas de, -coh;>car ,el 0

("iJ~jl "', ~'D ill'S',,p, , oe he ~iF1·ir:i;IO'II'JII;I;>·;,:", '1Ij!':;>C-f''":'"'i''I~''''>E'~. '1I),n-1IP' :I:ni,i"i!.'n;if: ... ,_ l!~' "'~, cadenas d. ~ neso 'p' ','i".i:i:" q' li'iif~. ~;0Ii?I~~A_, Ii;,lI ..... 1 ~ """ . JiU.::!l """""'" ru ,IF''''''.:;!! .... ".II!.,IL~ ....... ,::!I .II!.~~!W~~ .F'ILI',~. 1."'-1' 1!L,~J~'U'~ '!;,~,):.:i:,. ,,§!UII¥~j)i~'" _iY ,r"""'''''''') .~, _ ~'" fJ!o.'V',gl!lJ!:,V

'A - ~~_... '~"E11 r., ,..:I~ adl .. -.11'.-< 'Ill...... ""'b - s.e a't·~ ,.-.,""", .... ,....". "i'p.~ilire~ eo' la ttbla ill 2

lll~.uO!s, nw..i!.e:r.i!llS: .!l. ,ciL D'UDl.~Oi'~· c. eDl~S UJ:; ,111 ....... £· ~·!J.1II.0>.;U .yu..!U1...,~~.,:.p'.;.;y._ .o..:y, : !._'~':' .2:_.1 _'_.' .U! ".-

'T. Ib-I 1 ,'"" Ila:, a ' .. ,L

(,~.~w

I ''''~' 1(',10\M 'fiJ;J~'

:10

1('1,0')2'2,

c,'8,.'

1(19\ .,lO!}

IC'Q,H frecure:rilJcia~{ debemos iIi£;ner !CUli.dado oon el ,ree;~e~t'Q' ,~c,e$,illl.oI~, rSit-m3cion Iqlie, 'paroc'e :swgir.' en prold-em;$s decl@fltetl' :aparem~em.eut~ '$enciUcl$" 'BI ~;igllien,re ejempil(i deimuesfr~Ja

.f,'~.A ,. '!I '.'

terma en que paeee surrgu" ,ew, ,OOCilil.en.W, excesi V@.

24·

.'

a) SUl~o.njga.mos q,e Elena saea dnco cartas de una bm-aja e,s;ra~ de $2 cartas, l~

crwilitM. fermas paede resu~UIr q.me su semecc~6g ,mJQ tce:n,ga~ uleboles'? Aqui estamos .miteresados en o~,n.~ tedas las s~ll~cciolDes de einco cartes COUlD

'ii,) ssde oa~OD.eSt 'tres de ,e~pad~.; 'c.uaU',;q. de' espadas, seis de dmamalml~leS y la ~oUJ:

Ide, ,~mtW!~I~s. ..

D.l CiOClO de.espadas, siete de espadas, die:z de espadas, sle~e de diam:~rrtes, y el rey de· d~ammtes:,

Hi) dos de diamantes Des: de .dimn,m.tes seis de diamantes, diez de .diamantes y la

seta de diaro~·~es.,

,Si amaJilzamos esto oms· de cerca, veremos que Elena, de;be e.le.g« sus cinco cartas de las ,~.? cartas de Ia 'b~la que no sum ueboles~ En. consecuencia, pued'e hacer su sele.cci6n de. @) formas ..

'b) S'u:pomgamos atJom, ifjlDe qruer-eID:OS CO:D~ar el :nJlij.mer.o, de. selecciones q.l,e hace Elena

.;0!11 • ~ al a,,:' 111 -c:..... - '~i I

ee Cl.nC'rO canas que cootmeBill!et1J ,~. ..m.e~M· un Tcevo,ll~ ~tas SOn preclsan:u~.!n:te .[3.15. setec-

cio.n1es·que.00 s.e·lctnlil~Qti. en '8 p·ade; (a)~ 'y ,C()ID;O existen (Sf)' manes posibles die' cinco cartas en ~@ltal· ii~lte~05 que

(:. ~:2: )"... .(··3,·.inl):' '.

~. -I ,7 ~'2 S98 960 ~ S15 '151 .= 2 1023 2f.Kj

. 5,.. " 5 ./ .,"" .,' :;'~., . ,.,. ~ . '. . '~'" :.~ 0."

de 'Ladas las. mallO-s de cinco eertas 'lqJue;C;Q,RtWnen ,31 meoo~ tin riboL

,~~ l.Pbdemos 'o'btell,er ~~ .f~sulta;.d9, de l~. parte (b) de oua. ID,ofl.er;a? Pot Icj'e.m.:p,lc'!. comb EleDa, desea tener ,al menos un trelud en la ·~_o de cinco csrtas, b~gamos que.e na, seleccioae :~m~])O UD .rtfe~,oL Esto puede haCeI~se de l'~f) formas, 'Y' ,~lhora ella 60 tiene que ,preo.cU!palSe. por 10 que leHlg'a:en ~as o.[~ <;:uatto eanas.. Asi" d:e'SpJlis de eliminar el H.6ibot ele~:_ de sn tmaja. wilonn.al. pU100e seleecioner las otras ,c:uatto canes de v(~~) fO'OO$· P~r" 10 tanl,a .. por lao regl a, del .. p,fooucto~. em. ,D.Umc·[O .~ s.eleociones·· es ,

I("l~)(' ".'1')-1 """U x 249 !:IOO c "3,248 100

, :1 ,.' ,4' '. . ' .' . ~ .~. '. -'..' .~:, ".~

,i A~go .ag.m esta. defirnliMi'v,amen~,e mal!. :Esm canwtida\(m es mayof' qne la de la parte (WI., per mas de UD.lnjl~lo:n de malmlJOs· l.'Cometimos un error-en ·~a. parte (b)? iO halY ,~lllgu :i ncorrecto en, RueS'ITO ·r.a:.lcmami.eD~o a<Ctwa.rn·?

Por ,e]e:mpllol~ .s~p.Gnga:m:u)s que Elena selecciona p.l[~m.enj

el tres de ~reooles

el cinco de. tte\bol,es~

e~ .fey de tteb().~e8i,!. el siete ,de ceeazones ·w la sota d_e espadas ..

LJ.· .. ,

1.3

el ill,es de 'b"eholes . 'rey de. mebo.res~. el sie~l~ de. corazenes y Ia seta de. espadas,

,l,es esta selocc~oD rerument6 difererite de Ia anterior? POI' desgraeia, ~.n.c~ Y··e~. ,C3SIQ' en que ella elige pflmeta

! .... ,1 '~~c; 'd" 19' :7'd:Il;":",,·:te~. ~ ~ ~ ~ ~ • ~.~ ~ ~~.. ~ - I

'1·' ~~· ..... b I

6. . C1DCO !fij;:e tre ... 0' es,

eJ. siete. de corazones

s., ··~I ..... ~Il

Y ra seta ue'espiiwn3S

no es di istinto de. las att:a'S dOlE" ..... eleecinnes mencionadas ,;:Ii~i'!t;f'~co"

. ~ ~ '. ~~ " ,LV· . . . I ',,' • . liJ! ~11!Pr.~'fr!J.ru. ~~ UI:"~ . "-' _ -:.. .~ 'Q.Ltlli~'Iwr.O!I'

d.) ,Pe,rol existe otra fOml;aJ.-dle. 'lI1lfi-gal1l" a, lao respaesta de: la parte (b)? [Sf! Camo las. manes de cinco ,cart.a$· deben ~OD!~ene.[·:al menes un 11I-e[bO'rn- debemos oonsidemr ci 11100 cases., Es,tns apiucoo.D en Ia :tibbJ I .. 3.,' A ,padi:r de Ies 'resultadog, de ~~a "ta:blla vemos, .·PQ[' ej'e.mplQ~, que 'rna~ enen manos 'de cinco canas q~ Iconti~neD exactameme dos 'a'6-· boles. S(~, estarmos inr~eFesa'dos e~ t:en,er e:xaclam,e.t te tres mr¢lbc":J:es en Is mano, enhlllces Jos :res~d(ad'ps de I,a tab~a indican. Iqne hay (~)e:) de 'WtS nltifiOS.

Nume:FO d)e.:

t.Fit'tbo.lu·

Nfiimero·, , ie· I~DD:as; d~~oO.aT le.sle. :miiilnerP de :tt~le5

NriimeN de I~qu~ ~~sm1m1w~'

f;) (~)

1(·13' 3)

1(13')1

,,4

]1,

.4

2

3

2

.

,

1

(ll~):

" 1-. ~ .I

5

.

, .

0'

Ntimer'0 de f1iDD~ I~e:.sel~ioo.' ate

,_.::; ..... , - . d -,", '. 'uel!..~'res

lJihiUJllte:ro Ii: JiltJi:-:vv _

26

Capitulo 1 Prindpios Iundamentales del corrteo

Puesto que ninguna pareja de los casos de ta tabla 1.3 tiene una mana de cinco cartas en comun, el nnmero dcmanos que Elena puede seleccionar ccn al menos uu trebol es

(1:)e:) + (1:)(3;) + (~)e;) + (~)(3;) + c:)e;) ~ ~(l:)V~ i)

~ (13)(82,251) + (78)(9139) + (286)(741) + (715)(39) + (1287)(1) ~ 2,023,203.

Cerraremos esta secci6n con tres resultados relatives al concepto de combinaciones. Primero observemos que para Ii, r enteros con n 2:: r 2: (4 e) = (lI':')' Estc puede establecerse algebraicamente a partir de la f6rrnula para (~)~ perc preferimos hacer notar que, al analizar una seleccion de tamaiio T de una coleccion de n objetos distintos, el procesc de seleccion deja atras n - r objetos. En consecuencia, e) :. (~~;) afirma [a existcncia de una correspondencia entre las selecciones de tamaiio r (los objetos elegidos] y las selecciones de tamaiic n - r (los objetos dejados de .lado). Un ejemplo de esta correspondencia aparece en la tabla 1.4, donde n :;;;- 5, r"" 2 y los objetos distintos SOn 1,2, 3, 4 Y 5. Este tipo de correspondencia se definira mas fcrmalmente en el capitulo 5 ':! se usara en

otros cases de conteo. '

Tabla 1.4

1. 1,2 6.2.4 1. 3,4,5 6. 1,3,5
2. 1.3 7. 2,5 2.2,4,5 7. 1,3,4
3. 1,4 8. 3,4 3. 2,3,5 8. 1,2,5
4. 1,5 9.3,5 4. 2,3,4 9. 1,2,4
5. 2,3 10. 4,5 5. 1,4,5 10. 1,2,3 SdecciOMS de tamaDo r ,=:2 SeLecciones de tamaiitJo If - ""'" 3

(ebjeecs e1egidOlS) (objetos "jado:s de bdo)

Nuestro segundo resultado es un teorema relative a nuestra experiencia anterior en algebra.

TEOREMA 1.1

(El reOrema del binomio) Sj x y y son variables y n es un entero positive, entonces

Antes de reviser la demoscactoa general, analizaremos un caso particular. Si n = 4, el coeficiente de x2y.2 en e) desarrollo del producto

(x + y)(x + y)(x + y)(x + y)

prim~ segundO tercer cceno factor factor teeter tecror

es el mlmerc de fonnas en que podemos sclcccionar dos de las cuatro x, una de las cualcs esta disponible en cada factor. (Aunque las x son iguales en apariencia, Ias.distinguimos

27

Pia(:t:Q~ s~~'jouim :P"j

Faotli)Jiej;, ~f~Dad. .para Jt.

(1): 1 2 (1) 3',,4
,
(2) 1.. ,3 (2) Z~4
(3) 1 4 (3) 2,3
~
(4) z.s (4) 1·4
, - .
.(5) 24 ('5)' Ilt3
- ,-~' ._ - 6, '1.,.
'.
(6:) 3.,4 (6) i.z En consecaeaeia, 'e~ ,c:oeficieDlue de: # en. e , desairroUo de (x '+ )'fy4 es fj):==: ,6 el uu:mero d~ fermas de elegir dei, Q~bJe~,os. distimtoo· de Una co~.ee~rn.16.n.. de; cuabo IQ'bJet'qs, distintos, .AhoJa pasaremes ala dem:osB1lcioo de~~ caso ~!'e:neralL.

.. ~. " .- ~

D.emo.suaGi6n: En lei desm'oUo dlel: prOOncto,

(x +. "~lex' .+ ,y}(x- .+ y) ,. '. ~, (X' + y)

~~imer siegundo· t'en:~~r

:ac~hil' '"acror 'factor

W:i,.~imo. f~dOif

e Ico.efic.mem1l!;t:e. ... de ff,').ot'i _ -, l!. donde 0 :S -It ~ nil' es el n~ero·lde. formas dis;ul!1lta's en que. podemos ,elep k.lle·tms. x (y leu eonsecuencia l,n - Ii) lett$. y) de los. n facmres disponibles, (For ~jempIo"!1 una formaes ,e1legl['x de los prianeros k fsctores yy de' los 1ilt~mol5 n ,-,Ii; 'f~~lor:e~L) La caJudad. total de' seleecioaes de ~~amaio' k' de uaa 'oQilec-cwD de tamano~ es C~n;- k:) = (~)~ -de, 10 19,ne: se sigue el teorema del. binomiol .• ,

Ell vista, de e,SM reo.yema:f (1:) S6, conoce con :fre~QeD$. DOmo coefieienee binomial, O'bs.ellve que 'tamlbi.eri. es p(ls;~bJ)e !expres3l£ ei re.s~Itado de~ teorema L.. como

a) Del ~eomma.dle,1. bisomio se .. sigU!e que el cooficiemm:d!ex5y~ ,611. ;e~ d\esarroJ:rno de (x .+.y)?

e;~ (1\ .~ (1)' ,_ 2 .. '''] ~ \:S,) _, .~2 .- ,_'='"

1» E[ ooofiete:m~e ded'/r en el desar.ro1JQ (28 -30)' es (~'~(2.)5(~3)i~ IObte~emO.ses:~:o de< t·~ma. de 'bjiID~:rnrio'~ OQD, x ;;;;;;. La y y =:. ·~3\b';;

COROlLARIO '11 .. ,·

DemO$Jba,d'OD:' La, pmle _(:a)'sc sigee del ~eorema del 'bitlmnil?'.Cl!iIando ,x =, ~ :I ~ Cuando,r ~ ~l Y' ,y. = I, se',dbfiene la parte I(~).

TEOREMA ' .. ,2

d, ,'. de ,: ...... i ... ,-:, .. " .. --' ._- .-', '0" <::, I' ." ,-.~ . ..JI, .. II " ," <; t ' -, 'I 'T' ~ ,,~~ .. ,-' -' I

I ,om, e e~ If; es tDln, el~e.ro con" ~; ~ ~ n, PH3, ®uu,'o. ,~ l; =- ,: y n I: ~ nz, "n3'"*" ' + ,D,r ~ 11 e

1(' n ).

,111] ':0 ;112 :, ,in] ,', _, '.' ~ -I Ri,,'

Y se denomimaJ, ,c€ufPT:ienJe' ,muttino,Mfal.,

'3) Eft ,e~ desatroUo de (x -+ y + i'l~ 'se sigue. , del toorema Dl'ultinonrial 1 que. ,e) coeficiente de! ~; ,};l. i! es (!lJ) ~ 2 a~~! ;; ~21 o! 'miell'km; ,qMe el coeficie~re de, xy:t es (.I.:J ~'42 y el de'r;t,~ (i~)': ',~_~~,!"= 3\5.

b) Suponga.os- 'qlU'e; '~ie'oe Ia neeesidad de oon,o~.er el cooficienle de, az ,bl c2: Id~ en e:rn

'dle~n9 de .{a + 2b,~:3,c'i'-,;2d,+ 5)1;6,,, Si:,e.elDplazmnos a con V',~ 2h ,000 w~,-3'c COlli x- 2fJ ClQQ, J Y s: con ,4;'1 entonces podemos, (apti~, ~j teorem,a ,muliilMulmlal·.a OJ'" + W + 'x: +,' -i-'ZJE6, J dletermi:~':el, c,ce:6ciemte dre'v2~:r't',t' comOll.J.~5:4):= ,30Q""7'Di,,4tl~ ,ferrOi (1.~!~.!l) (a)~(2b1)'~(-~ 3~Jj:(2d)f'('5l' =, (~.a!2~~,.J( 1 Y:(2J~(=-:l)~(2~(5iY(dl /),J 2- d") :~

AI '':lH!li: o'9'1Id,,~.i ~ ~ ;i.:~ f.l1...Jj [iIIf,~lJ,rOI .. _ ~iiif:~'e:,wu 1ur- ~~ le-' a . 1111

''')"Eli, riit~

1 '.' Calcule (~:j; y veririqlll~ su t;esJ~lta ,enum~r:tmdo- bJda$, las seleceiones ide [ammo, dO's que se :pLI!ede~, haeer 00'0 lasletras a, b, ~~ dJ!, e :1 f:

2,,, IC~.O Dj~~a, debe :haccr '00 riaj~" de '~I 'h~ en flUtoWs" de ~o a Sill. e~e~~ tJeqi(fe, Uevu oo~gO cinco :relli'SitaiS ide W, 12 que su her.mua A~na., :Marfa acna. de ad!qDjfir~ ~ m~" fOoml13S puede Dianla' ba9'U su se~ecci,6n,?

3., Ey.alde cada uno de: los &i;piem:n.t,e:s 1!taSQiS...

a) C(l(ll" 4) b)~ (~f) c): C.(i4,~ 12) I.~ O~)

4. En: ,d,. s~s;tema. B,:{:3ri'Ue" 111), sfigTh:OO~o.,., oomG' una len :mirmmcula .. un s~gm.o ,de p'IlBtu:acio,n" un ~ufijo.~ etc." se eSlCrille~ resal~<lQ ,ail;, '.en~s uno de Ios pU1Dt~~S., ,de lia,~dli$po$j,ci6n de ,s.e_~s pitBr(i,tm que, :~e, l!i]'9J '~3: pme (a)1 de l~, figura L8., (t..as., seis ,posjq'l~~'. ~lle.~' $e!.-enDlme:t,an en e&\t~ parte Jete, 'rna, :f(gura,) P'iJ]{[ ej;emplo!., en IDa, ,m·e (b) Ie,s ~fr£t~,'de llas. po,sieiooes 1 y ,4, ,esUin rresalta:'" dies; 'J ~~, dI~:pos.irCi~, ~e SelS; ptmms. :~pres.mta, Ia lena e. &, 'liS partes, (c) y f(d) de, l~, figwE03l, lenemos., 'Ea&. :~e;~pl.i:ilO!lliLes..'de.las ~IDe.r,.a.S: m Y' t, :r~~j;,am;e:l1itue'. Ell anIomlo de'fmldo!iflhe,'" se ml1e5!tra en ~a 'parte. (e).,~ 'oienU'M; que: la, pane -(;0 a,llitl~mm.e,]» 'fomtai, ,rw-I, el, s.ufij'o ;O":OIWlf~ _ For o.rnnroo, el 'p~M' Y CO_a) (;,) i~~ en-la, dis posicion, del 's.ei~rpmrD!~ de la, :pm:ie ,(g), ·dn~de 1[00 :plJatns de Ias "p.O~~Qo.lles 1 'J 3' ,apinecen en rel'mev~,

1 .. .. ,4 • ,. [e . ' " I. !Ii; • • .1 ,... .'
2,'11' ·5, .. .. '!I!, iii .1 • • .. • "i • ..
3.,· -6 Iii '. el !III . [ ill! [e . ' !III • • '.'
(,ai) (b,) "'c (q ""1il1J'" !(i IN·,tl!:fi (e) ""fh tHI ,m' ,r;,'0!0~' I(Q~I ciY',,!!!,
, " _' e" Ii!
I
F1i:'g'tlIral 1.,8 a) l.CB!I!iintos, :sfmbo'tos dHe.re~tes 'podtunos, :~entar' en, ,e:~, sis.rema. B:ra1iUe1 h) to!w31nto5 stimbolQ$ ti~nm, ,exatt:antenre "lres P:IlI:Ul@& en. :n,~,li,eve'?;,

c) i,'Cllmtos s£moolo$, uenen '~R mtim~. pat de P«Rt(1iS, ea f,e'ilieve 1

Ill) i,Cumtos, g,nnbolos, denen aJ, meaos iOO~~. ,:pwnt!c)s en :l\eJ~ellle1;

5,~ a) i: Omootas. ,pe:r:mlIlacwnes: 00 bun. ,3:- 'pu.ed~, pnnducir~e roa las letas RI" :17.. a, f y t" 'b) BlumeJre. todas, 'mas oombin:a'c'~~ de 'm_do :3 '1t116i resultaa 100 Ias letrns m, r~ ail f,Y ,t

6., Si. n, es U;Il, ~nte.ro, ,P08~t~voi y n ,~, I, ,demUe51lie qae (;')+ (~lf)1 es un c~~[fo perfe-c~~

, -

7,. U'n coBb!: de 12 pedOO~S" se:d: elegid9 ensre m,o 'h~mbFes,:y 1,[0 mllj'eres~ ~De ouarntas 'ronn.'se ,mo;ooe 'barer Fa s.e.iec.cl,6;n s,j (a) :nfl h,y' :res~c.ci~n.e.s? ~)I d~be ,baOOr seis 'b,OJPbre,s y seis mnje,lies? (C:)I debe '~er Uil: :m;fimero' :pM de 'm:uj~res? [(d.) dere ,ba:ber mas mujetes que hOMbres,?' (e) debe :Imbel" al me/HM, oehe :hombres.?'

8.. G,Pe ou~w f1o~ '[p:l!Iede U~ jrugadtc'r ,f;;X1tfael" [cinco carras de ~M 'lbaJFaja comw 'Y' obt'enelf [{,a} '1.1m cOmO I, (ancO [cartas del :mtsmo 'pllor1' ~b).·cl:!ai~@1 ases,1 (l?) cnatt'Cl IC3Itas de] mmsmo tipo? ·(d) tres ases y des sotu11(e) tres ases y DO :pa.r? {:~ un 'rnIP (una lema y un :p.ar:)? (g), UrnID3J, '~l1a1 ·(I'~) de 0'''; p;~t'6!t'r?

::.:LI! . '.~ (_ 'itiIJIl.r •• al.

9., ilCuD.liOS. 'b~ ICiOn'r~lleooD [(a) ,exacta.ent.e, dos DOS? i{b }exacmmw.te! ,OO8!tto, UlIOS' (fl, le'xas:ia~ '.ente.: seis 'WlOS,? ,(d]; :am .. m.e:il:QS Sel'S. U~Os.,,!'

11ft ,~:ne !~tas :~onnas, se. I:1IlDlooe: Mrmrar un, ~n~,. de' 'balo~w.! de c:iilii.eo, 'jII'iP'D.lOlflaiS C.OIl 12, INMOi=

B I lr. . '" ~,l"':lr-'Io!" =- ,~. lr-.;o"~

'bmes, jupdlores,7 It-Ieu_tas opeiones hl(:'lIW;)'1en, lail j~pcm~r :~ 'de'bil :Y' al mas f~el!te,?'

30

Capitulo 1 PrindpJos fundementefes del ccnteo

11. Un esrudiante debe responder siete de las 10 pregunras de un examen. (.De cuantas formas pnede bacer su seleccion 5i (a) DO hay restricciones? (b) debe contestar las dos primeras preguntas? (c) debe responder al mencs cuarro de las primeras sets preguntas?

12. AI ordenar La comida del dia, un cliente puede elegir entre ires entradas y dos de sers verduras disponibles.

:a) ",Cuiml3s ccmidas diferentes puede clegir si (i) debe seleccionar des verduras diterentes? (ii) se le perrmte tener des portiones de 121 misma verdura?

b) Responda las partes (i) y (ii) de la pane (a) si tambien puede elegir entre jugc de tamale, juga de narenja 0 sopa de lentejas como apermvo.

13. loDe mantas formas es posible distribuir 12 libros diferentes entre cuatro nines de modo que (a) cada nino reciba tres Ii bros? (b) los des nifios mayores reciban cuatrc Iibros cada uno y los dus menores reciban dos libros cada uno?

14. En la pizzeria de Pedro, las pizzas se slrven en cuarro tamanos: pequena, mediana. grande y colcsal. Un clieme puede ordenar una pizza sencilla de que.so 0 pedir cualquier combinacicn de, los siguienres siere ingredienres adicionales: anchoas, pepinillos, champinones. aceinmas, cebolla, pepperoni y salchicha, Determine La cantidad de pizzas diferentes (a) de. tamano mediane y que tengan exactamenre dos lngredientes adicionales; (b) exactamente con dos ingredientes adicionales: (c) grandes 0 cclosales y exactamente con (res ingredienres adicionales.

15. <.Cudnlas disposiciones de las tetras de MISSISSIPPI no tie~en tetras S consecurivas?

16. Un entrenador debe elegir 11 esrudiantes de tercer ajo para juga! en un equipo de futbcl. Si puede elegir entre 12,316 formas, icu!ntos estudiantes de tercerc SOIl. elegibles?

17. a) En un plano se tlenen quince punros, de los cuales no hay tres que esren alineados. .Cuantas rectas dererminan?

b) Se tienen veimlncincopuutos en el espacio, de formaqee cuatrode elias no son coplanares. i.,.Cu;1nros triangulos determinan? i,CutntQS planes? i.Cuantos tetraedros (solidos piramidales con cuatrc caras triangulares)?

18. Determine el valor de cada una de las sumas stgutentes.

a) ,~(i' + 1) b) ,~,u' - 1)

"

c) 2;[1+(-1/]

i-I)

.

d) 2;(3'-2')

/-1)

.

ej 2: (-I)'

,_,

M

f) L (-1),*, donde n es un enrero posirivo impar.

,-_

19. Exprese 10 siguiente mediante Ia notacidn de suma (0 sigma). En las panes (b). (e), (f) y (g). n denote un emerc pcsirivo.

1 1 1 1 1 1

a) 1+2+3+4+5+6"+"'+17

1 1 1 1

b) 2!"+3!'+4i+"'+;;!' 1l2::2

c) 1 + 4+9+ 16+ 25+36+49

d) 13-_ 2' + 3' _43 + 5"~1i+ 7j

1 2 3 n + 1

e) -+--+--;- ... +--

n n+l "+2 2n

n+1 n+2 n+3 2n

f) n+--+--+--+···+--

. 21 41 6' (2n)1

g) n_(!!..::.!)+(n+Z)_(n+3)+ ... +(_lr(.2!...)

2! 4! 6! (2n)1

,

,21Lt Para. 't~, tademas· de. :~o~~.d ~.O d~; eje~plol :[.2,3·,., ,i,.owmt.u; 'tl.~ (a) cuatro ceres, tres u.~~ y

:tres ldoses'?; (b}.1 ai, ~eae~; ,00111) ·~~]lOS:?;' tIC) ,~P 4?'

2.1. 'Consitlm la QOlc:oci.Wll ,de i~ooas las eadeaas de lWlgitlld, 1.0 'Qrlre 'se .fo.mtaD. 00]] e1 aJIfa;be,to' 0, ~" :2

Y"3, .. ~'CtRmras de ·es:w cadenas, nelmB f:ViSO 3,; .;:a:I~'~tas, tieaem' eese 41;Cumnas, tien'm' ne~~ p,air"

L I. 'Q' . - - _". .... . .. _ . :t'''W '" c" . ~ ;.'. ,r~-'"I"!I" '~ ii.!Il·.·· . '- - IP'~~ ., f~

22~ En las eua:tto rl?m::e.s de 13; 'f:i:~1m '1 '9it· se 'hm ~do oCk(jl~·m.tos ,i!lilnjlTmtiim$lf;anltes. sobre :~a: cirKun:-

L~"II.' :l,~ ,r ... ···U':ll ~~ I" '0

f~n.cia, de' un clrcnlodad.a.,

ia) Psra las. p~ l(aJ'Y (1b) de ~a firma 1.9; ene.mos· lOOs 'lJIiiWploOS ,difereDrtes.· I(,aufilque' OOtll~, .gIVeftt1e&} Estos d)os 'rrbimplo:s (.qUe" se dimngoeB. medl~mrt~ sus vfl'tices)' s'P(g~, d~ Q(};S seleeeiones de: ·tamaful b'es de los 'v61ic,es ,A 81;1 I~ D~ B, F~ Gt 'n; l CoUtO! bUn~[ns,

. ..1i~:,.c.. ( ',"Ii ,~;I:I. ,~ ·b'· A.....it: .•• ,'1·;0 'II ~

,w~'crenres. :icong~t:e.~Hil,.OOi ¥~D1J'S' ~n nr ee esta ~.G1.'1Ba>en,~. IC1l00I1m;0?:

I-b) 'rI!""'L.,.l!:; ... ,' _,,'I! ....... 1 . .,ii::._,.,."".t ... .;:r",~ '. t) .... J: ... ,.""".,;.'1II"", ""

.. i. ~ilia!Uro-S; lwe; es 'm~:a,51_0S ue, ,11.3, :p~ ',:p ,SOD ]J~S,~'

e)1 .i~ CU~iOOS ,cuadtil~s d~fer.em;teS, ,potlemus msc-riro,i~ e '~ciocllb)1 us&ndlD los v:ertiees mart~:? (U:no ,die m1 __ K~S·cnadriti'tem:S 8pal'tOOe' en, Ia pam (e) de la, figura 1.'9.)

E,

~: ,[;_

'E

A

,A,

Itl!)

I (d)

1fiI) l Cu3nt~s:de las, tuarlJriJare-ms de la parte (Ie) ,StJl]1 O1l~dmd.OiS:~' i!~l:1iDtos de e.D0S 5,00 tee~-

A'lll~·m... ( ..".,~,..,;: .... ,_".::I )1

.' B.~'S.;no ~aJLLO~:".,

~) .Eo.la :patte· (d). de la :fi,l\1fa 1 ~'91 ~eoomos un :P.eutagOno :~~scrtlo ell nuestro cfireu~o·" _6:C'Jij'nlQs, pem~,gGnos, poiIemosinsc"dhir.en el cirC8~O dado 'USand\o1 los, v6fUoes- marcad(lllt?

:Q ,~,Cn&tos ,~onO$ dimrem.tles. "de: ·tmes. (f'mas ladoss, podemos in'5Ciibir en, el cir.wlo dado" 1!Il5~"d(}1 tres ,0 miis de:lns 'v~ioos :m~dOs 11

:2 3· .. , ·(.;C~ros 'IriiwlJpID.os.- qnoo'lrn dJei~aoos :por lQ$ v&Uoes del un poUgono fiegu]aI de R ~ados7· .LCUWDOOS ~. : •• .00 de Ios. ados. del P'QUgQ(HD debe.ser lUl_bdo de ~guniJ Ide 'lOiS' nianglliosi

:14,,, a) En, el,~l~,o ,cnmp:~eto de'(ll + ,bl 'T C + d)(;6 +-1+',8' + h}(,u +V +W + ,x T', +- Z)i' 9l~ten~mos; b,smna I~' ~uninos com(rasW":~ ,C/X J' agv'. ,,,CuOIOS de esos 'temD:n.o.s. ~p~eo. en e.s-re:

d~lo' 'co.,li"t~)i1. '

'Ii..\ C' lUl d 11 ... ~:.... ., , 1...:1' liill 'Ii . ..;I~-~ .. t' '\'1JI

U1 i~"U'm~ 'J~:,IO!S 1~"""lI:uJI.OS. s.1.gm,e:~s ~li1l' atpMteGen.M.e.uesMrOlwo oom,~eto:~ ~alPMle I!j,_litj.',.'

i) oJr; ii) ,bur;' iii) ch::_;, ,W)I ,eg,w; vi ep;, 'ri) .dfz.;:

:25. Determine d cotH~e:nte de;:~ ICQ l-os' de.&afi!il)m~,os, de (a) (x. T·,1)lt2J~.lb)'lr. +. ,2)jrB;~ y ~) ,(k,= 3f)u.

,.t!!' r.'_ .... , 'nl . 1111' . .:1' ..... ,1i'..;I'~, 'III ~l ·'k ..;;rr~l1 1~ ~ ...... 11

,r£/Q.'~ '~~eu:: ,~o.S:·ue~es· ~ ,w3. 'ue'1lIiiOSU'OC~ijn,'~m teo~ ~d-'lIlO'Rllm.,

,2,1. ,Demtmi De el ~cien!e Ide

!i'.ii,''lI, • il ~lI!IIl ('!ii"' + . + .,,\.11

'''''..I!! X)'~ _.!II I~ , Q

Ii! .• 74Yi en I(W' ,+ x + y +, iJ~ t) ryi to. (2l:' = , ,_ Z)'4.·

d). «Ieu(r ...... 2y"+'·]x.,,1.:t

tj' lV~t; ea (2~ - X ' •. ~y ,= ~;~

,28~ Dete~ ·e]_ coefjciente~ (Ie ]H,~~ leo ell ~Q:Jmo de .(a;) ('w' 'of- ~.+ Y' + t -+ ~.):~~~ (Il) (.2'w.= z. +

3· , "2,")'12.. .. i ',:" (: ",.. i\,_', , 5·' ~ 3~'):U

, + .z: ~ . .. '~I ,'1 I~$'J I VI "j-: W,_· LI. +: ,P +- . ,(;, +. _' .,

Zig"" Deltj'~ la>sll:tQ:ti td~ kld'l!l!S :rnMJS ~!Il)eijtru~~, de lies .d\esan;-bllo\S, ~e,

a), (~+ j)~ '1))1 I(X. _ + y)~:O

:e~ ~'+'y ~-t, ~:~O _ 1')1 (w + x- +, J ,+ it:

Ie) (23 _' 3;;'·¥ 5Q +}RI _, 1I1.1w· + h ,+ 2it~l~ .

3ill, ~'1il~tte .gl1~? 'P~ IDcitkts, los lentteoo$,.1i'· :>. 2~ 'fl!i';']) =, r;), ,~ ~'"

3:'11., 'Mu~stt.e ·~ue ',sf n es-un le;_o:rem :p:Q$i~vQ:o, ~oo~J;is

33:,., :M:.ucsttr:t. (j!llIDe, ,Pa1"a todos lfOiS, e~i,eml£: :PQISJ,MV1OO, ,~ y ,m;. ~ (~~I!) =. (m t, 1 x'~1:).,

,

- :3:5. :~',~, ,ur;njMe1O '~ y ,n.lllJL ,enreEo, :p'o$~ij;~'C~ :m;l!!l'esf~: ,~e,

:a) jl---: (1+ .t)"- (~~~(1l+:q"-1 + (;)li'1(i +.x)"-~- ••• + C-1t(:)x""

bJ 1 = ~+ .xr-(~I~ +1)(2 +rr-' + ~)(X + t?(2+rr~ - -_.

f' 111)' "If 11)'" (;' l'C.)1!I!

.+ \,-,.1' ~_ I~X' , ! '--,.

,~) 2"- (2 + xf - (~~f(1+ ",)1'-':1 +' (;Jl~':Z +:t'y~l- . " · +( -l)"(~lr".

ss, Oe~eJlll.i~e,.x:sit >~_ ~~~).~~':= ,;ilro~ ~

,;L,.,,:;:::Q ., ,_:..::_

:~1,., . all S~ I~ aic~ 4llj ,aj ~"OO_~, l]j~,ta.,dIe CJU]iIWQi :~_eoos Teames~,~,~ ql1i1i es: i~'al Z,(a~, - a~'='lj?'

:i=i1,

.) :Da:d!a:'Ma" listal, ,~, alt.' 'C{ID.! '. • .' " ~ ,~ ,g ..1." ID. iIlllilime-ros, reales, oo'nile n es ~n: ,elW~rlO pO's;i:tm'~6~

. 01' ,. 2:" ',il (" )

I:,<l!'~eh"", :'~"'=In'_ ",'"

~;.." /-' ... "' ._, 'I' ';;.1 ~-i1. ~

_" ,11,_;];, ']00

'ell. DEt,~.~ ne-el ~al'O'l d~ '~!)';~,l ,=,l., :'Ii,:

-I -- - ~:l!:, __ =!!!!!i - - . . . , ' _.6[~, "'l i+2, H-l J

38,. E: de:SRrr(DUol ~,.' . '-'I~ Itj IflS'UfiIj, ejem.p1'o"de,'ilmjn,a do.tole iSlJ!if~a~o, d,ibk ,m.maro.Tii«j. Aqu:tvemG~

_ :bj=J 'F, ,_

.1Cl~!['.e ~ l' v » ,='. "'\:", \ 'l t~,' iJ) ~ '~~ ,t{j +: :2)' T' 3fT ,4:~) = ~~~, 1. OJ,, 'd;6st,~e's de: desarrollar

It ,£ j=l' ,~] - .p.j,=(3 ~.Q~~~, ~].~, ~ ~}"4 ' .h

:~aJ, s:mna, :i~t'eriQ(r 'en. I~, v~,a;'ble i~ :L~e:g9' 1¢~~Um~5 IDa, :snml e:xteii:o:!"leo:faJ ·v,ariahilej':l '\.:e:m£ts

qwe ~'" 'ru:Oj = .1 oX~ . , j ==- 10(3 'T' ,4, ,~ $I 'or 6: + 7) :=: :25'0 .. POI' li~' bl1-tb~ ~'l ~'~ ifjr:=: 250C

. ,. ~j='l 'J::::lS' ... - ,LtF"3: ~'""] ,

ne:~li1'ii:ine~ el "!.raiIDor de:Cada, 'oo~, doe, "las ~~;guieores ,d,®;M~s '$L~ma.s .

.;;!, F

. a) ~L::E.ij

41, ;ii,

,-, 'Z-,-""··~,:.,,,.

""'~ "" ',: ~

"-," ." ....•• 11;.

,40,. ,il) :E$trruba, un 'p:rog~ (6' d!es;am:i'~lrn],e Uti :~ritmo) lque f:Dllmere todas ~:C1S, seleceiones -de

~ - .. .

'ItaD'l3Jilo., :2 -de lo:s ~j;elQS '1 ~ ~2~ 3.~ ~ .. :i~ J)..

1 4·'

I.t .

eu~d,g s-e~penni(e>n.llas repeticioaes; !h\eM,OS, '¥i8,[O'q[lll~~ pami,a, n obje~Ct5 d"~sn~jtOO, UlbJa<dis:p~"'" s,i~i"6n de, ~Q r die e;SJto~ dbjBiWicS ]p'l1lBde; obte;m,~e. 4en'i' fonnas, para, un ~1iI;ter9 r ~: O. Awon:r·anallizaremo5 el ,pmbleniJia C9IDparable parr, a las, cOmlbio.acienes .. ,!t de~m;utvo obten-

<~':"" ~ , (I - -:t.,;~.: .:': :l'c~,"'\,,,, ',.AI .. -c f')"-' ·~1' " ... ~ .. -' .. " ..... '" '" ~ .,~, .:,;;,,',.,.:, ' .. ,~"., .Ai, '. ,'.' J :, ••..... : ",,-', 'f

'!.,!I!YJ:~mOSJln pm~;,J!}e~are; amonau3 con leI, aatenor cu,a ,sl!l)l,mCl~!I, ,s.e~,:~q;gu'6, ee [tnB$ttos-,pn.HC~,-

. ~

- ., ~' .... ' ". - -'fa" - 'iI':a"";;,·· .

P,iH,,)S I~ c!ijn~O' UI~i~:res~

}i_, 11 FP,fi'p'!2'~'F 'fiI' oI""~€':Q~;;::>o[o-lII1i't~;';:;: .... de '~I'u'Ii'!!IJ p.~.f."''i[l'' ;ni'j;, ,Alp ,,...,g"FF\C>~'.""n· 'in:i ¢~'f!I'. 'P"l",P,1"P" ,P'I>"i'iI';JId' '~?!Fli1:"I'C" 1~.;Ji. '~·~,;;';~t,"l'-[ !I;o.'!o~ ~ ~VbJit.~Q.I, Hl~!ii4 U.~QLF-!Ir!!\r.I!tJ.! u. ...... r~u~, .lil-H~,* 'lrHI 1IJj~ ~H_I;;r.ll.:~oI!4d, ~ 'r~~~#.~ vl-~ ViIJII~~·w;.- J.II}~-l,W~ liI!!Ii;r." :U~l1u!'1~J ",Il~

..:I " . , ,. h'.1II .' .0 . .::1,.",.... A ... ,:.:I .:::I,~ ._.':::L... -..,. ~ , •.

uto, tse. 1~e!Ille:llen en Ull. ~resm~re lue 'CGDlfW#, mp'}~ nO:II~~~ 'UD.O paede 'Dom.er. l~ sr-

g:,Uj;.eD~::· 'wa, 'bambur,guesa eoa quesc, 'U.1l &.ot d.og~ -no: taco '01 '00: sandwich. de aloo". ,lIC~allit.a£

...-n,'FiI'i1iHFdillC' ~" .:!II::,.i"PIll"'@)nt=~, :!i'''';;IIl1I, '~c,;;;'bi'n1·;::::;,!I!'? ~'VA_~_ilJ¥.l~'~ !u.J_.Lr~ll~~~1 !ilI.(JlIl[lj ltI··~ ~UlJlJ.W~llJ ~

Sean q, _bj t]f ,P Ia hautbmrguesa'too q,m.ec'S0\ el hot (IDo~, el taco J .e1] sandwieh de ,atw1

~;:o,.~..;*~: ......... ,_eioi ~ t,..:!> 4q' . ... -:t-r.~ ~ - ~~. '~Ifo.~;::;;i11 - '.t~-:ro· '- de ...... _-:f .... IJo'!;~~ ~pm- .·~Ir.~ '~. riiifio .053,1' ,(\;' de '- q.:!>

JI.I~:':'; ·"';'LJ:.''''~!Jil)i"r;'D!;.L,..;.1 m Q...;..~,:~:m,l~iJf;~~,,j,_,.w, numet .. ·~ U' !ill,II!.!Ii";"u!!Ii~~' , ;:.u:~,l • ,. u~:. " il.l,V ""-il 'v:(u n. en l.iIU:"":

... , , .... ~ . .-. " ...

se ad)f1:ujdero:-liJ.~, dle modo que el pmbI.eJlG.il8 Jes (IDe .. seleeeioees o co.mb~nacicm.es' eon ;r:epe~mci6:m~

E~~~~llta:blli:aJ .. I .;6, ie{nlD'J)£:J'alm~~' a~gumas com;p,rc,as. ilosible:s len la col'llUnirta O~~) y ~l1lCO' ~me;dl~

...1!~...1,= ;&' Ia cel (iiL..)

,~ representer caoa, 'Ji!C«mla en la ClO '!m!m~a,." ~",.

Para-una CQMpr,aJ., de Ia.ltJl)tUDltbL3:, (b) die 'm:arm:abW:a LI6~, vemos que cad a xa ja, izquierdade

~a. prim~era"barta I( ,I ). tr'e:pre;setw~Jl [[lDa, q, caJa~, J e,ntr;e, :Ia :~fdm.el,~, y la seg~ndta. '~~~,s rep;reStrtta. :ml~ h, Ias :X.' ',elitr'e Ia ~Pilil.da. "y 'iteree.m, banas representan t:"J radIo x ,~ ma den~.iha. de 'rna 'tereera berra representa una p, Ptm' ej'emli~o- Ia tercera OOnlPn.t 'rieifi~ rn:n~s :b~ 'c;orn:tsoc'd~~,-'

•.. ".. . ~" - .~.' ••. •. ..,. - ;"., , . ~ . _' _ ,1 " • "';1 -- UII. - - -..= - - - L. . •• , -. --. .., -.. - • - -..... - .. r - ~

.·U";iI;1t' p,-",mn;p n ... A'~'A ,if'l\.t'ii;T1nnlil:-A :~In"il "b(n,t, <.A:nc~· nii ],:;OTll, '''~'''o- 'II."JI, .... """~c,q.· 'I'!liO 1~'""Iit~ ",,:111 nriinci-m']:.". de '~;;il' .... ~r1io'lii~ ... '~~,.1 ,. V.tIJ,~~I~~ ry'-~,~tllr' ~v.~r.~'V ~.iY. Hv.,~, ~~ ~ lll1l.~ ~-~¥"I' JIJ:!Gl: U'I:l,;.I! lIJd. : :U~ ~.3.II!.a. m r\'" ............. .1\1;:' ,v. . fj l~,a "'-..1lll.J!lllll_tJ.J:'!t.d

';"'nrnin~ '~"FII\,.-:I:':i ... ..,. 'ql'~I,j!j, . .,;,; ..... ifo';::'; ,"';:An'llmm'~ . ":;;:'rt:'t"!liFn, '~";riifI;'it..r.'liriij,m'N'e,ci;"'i<it "o'"'Iii"Io'n q';ue;sC(

r~~~,~~Jg ~UI~.~., ~~ lUflU''"''L~ l~~'~:lJ.~J L f~U~U ,H~~_- ~U~-~~.'~~':~~ ~1I.,i!' _ I.", '_ .~ .. ~'l, ••

De· 'rouevo" ,se 'hac es;tahlecjldo- una CQITes<pOffilJoencia entre d~ eolecesones-de- .()bjeli()S~, ,em. 'la J~-ue ~~bem'b~ ,C.6~DJJ"~CQ:rttar e~ 'ww1!in1l¥roJde' l!mni~ ecld;~oo~ 'Pm las '~pte-s~~'ta\C'IO;El~~S' d¢; '~~

, < .... '"

. 00lurnHl~';(b) de]a :Uib~a l)6~ e-sUilm'OS ,eIID9!iU1flteTarAdo 'torlas' 'mas; dispo,sicion,es de 10 ,simibalos

~qJ1e oonstul d,e sie»' ~e:tJ;aS, Je. y '~. b~l'l de nlQdjo que~, 'POll' ilJue~ cO:[E~p~n.a&nci~ el

'~~<:;'m' '~'~""J ~a., ";:~~~ifIo,,,,,;lII::'~~~I~De· ~!tf"JI ] ...... __ ~lIllii'·ii'li\'Io'i:'lo'a·· (~l,~c, nU i,. ~.I.'!!;;i' 'tiII~ !!JIJ:Il1,'UiJ!~~, 1ILII:~.lti;b~'''''''!I!~'i.~~,IY ...... a. ,0;, L~,!I!'ILI.I.!I!LlII: .. I~>i!iI!) '"'.3

, . ~

1 I'i, tnl '~ 'h' 'it'. '~'~ m

• ''':.I:''' '''1''' ,;Il~" , . Ji !I!.,. ,I"

'2' q' iiill q' fi1 l!.. "ti' P

, ': ~ ' .. ,,," ~;9! ,"~ '''1I~:l! ,1!1,~ I!.k" If'

'~ ,till I i!iiI n ,n A r,Jr 'iii, -.;iIt~· "'It 1":iI!'J' '''I."J 'lllI i ~"~li ,r.

,'~I 'b ;i' ,;t., "p" p! 'p" :p'

!1+,~ . ~ :L.-- Il-- ',,, -', ....• '

- - . ~ --::II -IJ., .~ ,

,S~. t,. t~ r, ,t~ t, ];),., 'm?

, .' ..... "0) 1 '.: I'

0;. t, t, '::II t, t,:l t, 'it

7 'p-' p 'p.;' 'Pi 'p 'p "P'"

• :~'."'~"'~:llli ... rl.'~'·

" ;'J",_ ,.,.... ~_, I!"., r6' .it'.

1., ·:X"X I, xx I x,x I x ~2,~ :x:xx:~ 1:1.: Ixl x

''1' ''IV 'v" ''V' 'V'X' ''V" III Lv ,..;.,~ .r.L ,A ,4 ,A.' '~l ~,a

,4·" ~ 'xl xx ~ x x 'XJ[ ~5L II,~ x X . .x~ x.II' X,J{ '6., II ~ x. :X. ,zx x x :X, [

'1 m ]. I~ I, ,X',I:. xx X;, X.X

3~·

En pnDa:l~ wando. quemm.as~I.!! €811 repetli;~ To de II ~distimos. !reIIWs;_~ (oQm(ken La mM'a IJ~) ~os ooru;ideJando ~JQ ~~anp <147 I~~ - n~l ,y~sn'lWmem,es

IH-;-l).

,lin ~nc~ d. n1ime.m 'Ie ~IDnes k • ~ ~ ae R!JJetia-iIIm!$;_, es C:(n -t- r - I, Ji.

La. :pre~]tdernim. Blena 'be[iThe;C~Dat:ill.O 'Wioepms;1dentas:: (l) Beatriz, ti) ICarmm~ (3) Marrfa Luisa ]I (41) ,Mom:c.a. :8e~tl~ d~~e1JJitSitr~ib,m'en::me eU~ $l.l~llgm. eije'qllJe~ .ijJe~,gra·fific~~i~i6n en navj~ da~; eada .c'ffil.~qu~ . .seri expooido :P0([ llil miitl:~lo de l10tll.

) CI '.:.:.\.,;.,..~: I ' ~;... .A..... 1M '·'"",'!,.;.,.;tA ' ~i ~I]

:QI. ,lim: se ~.'ll,ll!U1w.te eJJ. 1(:~O 'e;,WtIl que t;l!n3 '0 mas I~ .~3lfLVl~p,esbe__JJ1IW; 'n,~ IO,lb'te·n,i:3. 'IJa~~ ta

, "' . .!Ii~." -~~I . :u,,"~. - .' - - "Ik - - .•. ",' .~: -, "',;,1 ...... ; ~ In if ._. ~ - . ...)~:.... . • A .... oA .,;:i~,"" ston

p:F.es:~~n.m, DWJena ~jze 'Bill; se.L'ooc:aO(l't 'u·e; '~ano y I~Wl.e1 p0.r C~, ruBbJl!~;~ .~ ~" "

~ . ' .

. ~e uaa 'Qall~i~6b) de. ~o 4, fo~~ :v.irep'~esiij~ntMJ., f~PD ];-epetruci!6p~ Bsto pm:e>de.

h~(;erS~1de: 'Q(4 -t 10 - I, ,m.O) .= C(J.31~. 10) := 2.816 ·(OIml.B., ..

fj~ Si des.ea. q.~e\"\nal :liaya ,remntimi,eni~s; cada; vioo;pres:idcw debe ;[oobir.al meaos J ll~l

Con. ~MJ .. res:mrictl:.o:I]!~ Ia presi~ta Etma d.dJe barer all,eta· '~u. selec'Cii6n de tMW1aii.~ ,6, '. (l~: tesmJl~ seis ~mdl&s, de ·SliOO),de.1la :DBSUla. c,ale«i&D,£. tama-D,O 47:r '~3\$ .~pcloBis<

.~.if'r;," \':"~.~ 10(-._A· ..;L,"f _ 111 ~:~ rm, f,\:~ l~"~ fin'.ry~,~,i'j:>o'a,TIil'r,'IIl11n e:'-.!If!I1 este ~~.i(Io ·1. ... ,v.",'I'\t':::-·;)i::nrL:..., ''l;,~ 3'- i4:.

au~J.l, iItIlllYJi'u. UJ .I:.jj' -:~.- U lIJ, ~ u.:J ~\~!, tII)l1 O~!Il lll;~ 'UJl' ~J~y,Wu.l! . ~ ~w ~v J4. Vy'!P'IY~~1 -,.. ~ 'P . ., _ II

-, _ ..... " , ,;. . ~ V,1i _. :,.-=. [II!. ~ ....,~'I!, ',., .- • • ..'. I"I"_.,~' ..-: :-,"

'4~· 4 se l!)]Jterprem .. ~t Bea~ no. 'reclOO ooCia . .'~lC]o:naJ~ ya. qjU;~' '8()' bay n~ngulll It e~ tal

olmriO~l, Et2 de Ia ~ltC\tioD .. iBmca [gut, iCmmceurecibe' .s UK) adici(]Ila!~es,- Marla Luisa

lr'-~:- '_ .

'~);;jiL.~,. ''f~~''iI'1\;;;i''!li'I:1iii!:i"''''':jj~ '¢ 1:.iI'\ii'iJ; 'M~ ,~':::.~. 'I!n;~'ti""li. ~"~~F ~ .... ~? IT;'II[~' '1!--"li'\1' .P.n' '~';II ~p;]~:::f'-. 'nA~~~41~ .tIi~1.II1~ ~~~~UllJ~~II!~~~!l ~,I,utI~, ~~: lliililtl~ U1w-llVia! UY~ J ,M'Ii.P.i'1lJL~;J' ~~IIIJ ,~"!IJ!~ ~,lU,!J~IJ~, ~lt~U~

.8 :~ns. 'DeS 4~ . .el ~OO: de ,gmtiificaei.6tr~ M~6ma es-de $m.oo··f" 3($U1Q) .~ .$40;tll

'"," 'Ii: ~'~' ;i;",.,. . ..:I\~, vicenresid 'iI'!o'~'b'" .li~:L~ iil'~~;:b' *!r ~ 1i ·m· PID' .ri;c:" '!It'l['OO' ''\1' 'i&"A",~nl'·:r"~g, .,"'~~r'~lII'\e~';~lICo.TliI~"'" eiecu

~,)1 . 'i.JiJI. 'v-~ ... -, 'rr :tw·-~y.,w.~lIl,· 'IW"J;:I,La. U,-~tlC .,1Il'WV.lIJl ,D. ,W :Il ~ .• Ui=1Il ~ . .!I.'& I ~ e- ,j' l~~~~O '~ -~ ',LI~~r,Il.' ", T~'Ull~'I!Ir.rI.Ii~1 I," .~Y~-Lu.'='

~ti'Va:~. f:1~C;~be ~. m}e01Qs:. $5001" e<:I)t\:altl!ee;s, el 'D.:dmell'O de''iO'm:u.lS ~A que la, pres.ide'A!tai

Elema: :~·wede .dis:trjf.hml[ :lOS, idhesq,uts de gtmii6c;w:ioml. es .,. " .

'IC(S, 'T' 2 .: ~ '~~~) 'f Cr(SI + :] ,_ 1;; I) ,+ ,C{3 + 0. -" .I, 0) := ]['0 '=: C(4· ,+ 2 ~ 1~ ;2)1

...._~.",..,.... __ -".-·I I, . '''_ "___ 4-' '~ :::::w.;e .i~

M6,,~~ .U'~cr:li~ US£liIlU] 9 ]'a,

I~©tamenw '$7:00 - tocI'wiirnl Idle La: ~rrtcell))"

M6.ni~: ,fecibe· lexa&rn...~e :$.:5:00.

". :./.

~~~~~~~·:S.OO~L

~ J"'l.a ..,. :,e'. d d'" "'b' . _, - - -

~v cuao~u rormas po emos ,:; ]tn.~·. Wf siete maazanas y ~1S; nara:njl3S enue cuatro r.nt.i:os~

de-m~o [que cada uno reciba al l~eDOS 'U) . a,m3DUlimn~,~'

AJd."a cada·ruiiiJll'1l~a:mati.z_an~ tenemes C(~ +.3 -l~ 3) =: ·2Jn formas ded"smlbwr. Iss otras tres J[umzaoas y <;'(4, ..L 16, - m ~ ,6) == 84 fonaas de disnibuir' las seis n;uaJlJas~ AS..i: pOl' la [~gla. dlel. prOOm:c~o ba,y 20 ,x. &1..=:: 1680 fcnnas.de distribuir lafnna en las condioiones

,;I,(!jl~~!~ UHU.~'II'

'Un, meosaje esta fotmado per 12 simbolos [~ifer.enms y se vaa ttansmitir ,8 [raves ~·.e uro 'Canal d.e-,roM!UmicaeiOn., AdemWi de. los ,2, ,sfmoolos~, e1; 'trammISiOI tambiin enviara un tom:ru de 45 espaciosen 'bl~nco e:nJme Ius s:imbolos!, usan,d~ at ·menps tres espaeies entre cada par de simiooius cORs-ecu~tivos. ,iDe ,cuaU'ms :fio,OIDl$ puede eI transmisor env~ar' ese mensaje?

Hay 12 ~ formas de' co.'Woc~ los 12, sfm:d!~ol(}s m fer~nte-5 y ,p.~. cualq1,miem de es;ias dispo,~j~,WUDe::S' ha:y ],1. posicioces emre ].08 1.2 s.fmbo:~.~\& Debldo a, que debe'l.l.~lbe~' ,aJJ1 menos tres ·esp,acio'S efaH~ 10.5 sllnbomos COiQ,SecutiVO'S-= lit zzamos b3$~.3:· de ~·os 4:5 espacios.y disr"ri=

;'

bmmos,lo'S j 2. espaJ,CIDQ.IS lILe"stmues~ Esta es entooces Dna: seleccion, 'CQ~ , epeticion, de tam 3.-

fiOi' 12, OtgloS 'espacies) de, ana Ico!ec.ci6n lde 'tamaJD.o ,ID,:1 (las posici ones), y puede I\'e~d i.zar$e de C(ll ,+ :12 -1.; ti) = 1646-·646 fOITUM,.

ED eoasecueacia, por la leila ,demo prod: [ C'l:O~. 'el transmisor puede enviar ' _,e.s; mernls~j;i$ con ern, especio aecessrio de; (t2.·I)(i~} ':·"3;09"1 'x .1(J~'~ 'ronmJ~s.

Elm, el siguiente ejlemjp~O' se introduce una ,wd,e~ que, parooe. tenet. 'maS; [ - ue ver COl! Ja 't~().'~lfa, de :nfim~os q'ue eon las oool.biQaci~ne$ :Q '~as dlsposiciones, S,hm embargo, la soh 'c:r6a de

" . ., . I·· ,r.. , ,~1 1111 . di ill b'~ '.. . - . ~

este I~lle;mp' 0 s~r~ equl,VdJ.ieole am contec : i_ e. was; com unacicnes con repencien,

dond e 11:" :> O.

VltlJ· _ . ""'"11 = .

P"'lI''''''' toda l <:;,~ AI

A.l.B11L~ , IiiIiiiiiiio ~ - ~"l

D.oa soll\ltj:6~ de-Ieecuaelones Xl == J.,~, x~ ;;;;;; 3<'1 ,Xi ~ [O:~ .x~ = ,L (Es-ro es di'em-,ente de mna. ,s-oluci,6M <IDeID ,tipo!xu ~ Jl,~,X2: = 10,X3 -,3, ,)[4,;;' 31 aunqu:e.se utilicea Jos mismos cuatre enteros.t Unlj,} :p0s,iible 'mte':qJrel}l.ciO]l, de Ia so~oc:i,6n ,x] ';;;;; 3." ,~'~ ,~: 3". Xj ~ '0" )[4. :-- :1 es [gue esramos . ai$tt1bu:,ye~d,o siete monedas (objeOOLs identwC'Qs) [e:~tre cuatro n:",]l,OS (recipientes difereate(l!~'.y (IDe hemos'dsdc tres mcnedasa eada U~O-de:1 os despnmeros niftos, nada al ~eocef<O' y ~a, d]tim3 mo:nooa'·aJlI .. cua:n:pl. niiin, g,]i oogmm1e),s con esta .rn.n'~e,rp~(i6i!l-'"', vemos qJiIll,e cada SiolliilC'ion entera~.o negativa de, a ecuaci6n oarresPQnde anna sel,eOClQft .,··,crilll'e,pe.tic'iom ·d;e

- - _ 1 (iii,"", ...:I:.... -: . .1.; . ~ ) AI j. '~d »«: .AI (1' ._ . ..1': ~ .JJI

'tamano '. ",JHI)S, monenas ,~;Oie1UK'Q'S. oe iUll3: coieccron ae tmn...mo. ""+. '0.15 nmos aisnmes " ue.

modo ,qme.~ha·y C~4" iF, 7,' - 'I., 7) ;;;;;. 120 SOWmlCi~(fne~, ..

'~6' j" ..

\ 't"!l, -.o(~:::" ......... ,_.jj~;.. ~ - L .. ,""_: ~~~ _"-iE:" JiA' Ja ecuaCilirt I, III ,nw:um.Q (IG-..,OJLu\';!J:U.~ ~"'" ~ . ~

~ E, ~ ~,.l~iWes .eon~cletalll~~..a&jIJIJ

e) EI nmnettt:de f~eo que.~ ~~~)S1Jrtjiillii

pienres, i'JiSdftWs..

En t6I,rw 1·IDOS de distIibu€iones _ b pane (c) es 'valida ~Qto ~,d\6· '~(js r 6bjetos q.ue Sf

d~· ~b y' ~d"~ '" - ~ 'ill <.... ..," - Al::: .... :,_,- r"'!, do 11. bi - 11

. (min ..:'!;mytft "SQDl .. rc c;;ntroos Y 1l1();S, n EeCIp1C1UeS 'SOD, URiiulltoS., l~uan' ... : .. 1I!0$ T' ,(j~e1;os Y Ii.OS n

rec.ipleDtes SOil Cisttmtt,os, pOOemos, elegir (:UJtdiq!Ui.e.m de '10$ R reci.pieJlt¢s para cada ODD de los o~je:1OS, 'Y'Qb~ener l.'l.~"distribucio:Des, :mediante la, :regia. del pmdu.cto,.

CWlldo los obJetos ,SOD. d~~SIijjD.to5,· pero '),os rec.iip.ie~Btf:S ,$:IOD ideQttoo~~ .. reso~verem.os el problem,a lJIediante iQs nltilmetolS de Stidin,g' de .. ,segu.lldh tipo (cap .. S)m Para d rtlltimo ease,

i.~ .... ,_ .. ..1, .... , 'I, b ",. 1 '.' .. ~d" O~" 'iI," ~ d ~ ,. . d 1. .

c~ J.Q;S, o~:eto,s Y sos rOOlplent.es, sea :li·,enucos, I,a teona ':ere parb,cloaes. .' e "OS ,ellt'6TOS

(cap, 9) ~U~S d __ ' amgooos 'E-e:8,ultad\Qs, :necesari.ns.

,lDe cuau.'tas :foRll.H se pued~ dis, '1 Jb.uH:' 1:0 eanieas D,lm'Q\S, (ideu1ticasj en seis ~ipienle.s dif!Blt~ntes.'?

La soIDuci·6n de: este pro'b]~n:tat res: equm.v-aJeJ;Ilfe a ,~teorin.ar· elnUmelO de :solmdon.es enteras 110 n~:ab~u dIe ~a lecuadOtru :El .+ ,x~<"+ .. ' ~'.' 'of- ,XCi, = I ~l. Ese 'nume-Eo es la am:tidad de seleecioaes dS'lamai,0 1.1)11' -coo =~tiCi6D, de ~'a.,oo],roci6trQe,.WDa6.-o 16., jp;or 10 ·tantQ~ :Ia, .mspu:e.s,ta es C(6 + 10 I, I 0)1 .~ 3003~

A .. partir del e}emp;lo· 1:. ;J3'~1 ~05 que bay 3003; :s~)ll1c.iones eMaras no neptiv;as; .. para ]~ 'ecraaciou ,X:! +- ~ -+ ~ ,. ~ .+ X-(i = .. ~: O~. ,~C1llmtas s(nilnciones. enteras :00 'D~ptivas ~OJTetSpOnd.n, a 'Ia d.esigualdoo, ~[ +, ,x.~ +. ~;, ~ +',lj <: lOr?

Un. 'metoda que· Oo.drll3: ref ,adeeuado p_ am. ,aooIda!' esta desigHIdad consism.,eili,.·demer:mi(-

t'""... • ..

:iilai em nUmet:'O de s!olu~ciooe.s. enleras' .mo ne~gauv,as de Xl +- '~l + ,. ~ ,., + ,.It ~: ki d)ond'e, k. ·e.s UB:

entero 'y' 0 ·s· 11, ";:·9 Ann~' ue i*'illF";ti!ble . a ~~C'iitNlica· es pee :-", r,!> 'T"calism si se Rem-.j~aza 0 coo un

;~ " " J' . " . T ~ "til'. -a I~ .l~" , .!l' - , lill . . _ I '_' • U ~l • ,', _. • r - ,', '== - " - . r' . ' , .".. ,

'_ , '''.-

r.'l: 100' Ii:'il.:,_, .11........ . '11 _. I 3 11- ..I! .•• ;'II '" II 3 bll

DOO1I.efiO UD, taDt(jimraY'o~ OO~O . ::". '. ~ ,~, em~go~,£a IC.IJ '~J:eDljp1 0 '._:: '. I~ Ci.lfUt1mlI'Qi" e-Sla..I~Je ...

CCrem.os Bf.ita.lden:tidlad .oo·mb:marJOFia. q;~e nos ayurlarii .a,;obte:ner tina, spJ.uci6n: a]temativ:a. al

n:T, .... :'Lr-i',;;o.~mlame-..11·:: "':~, .. ~ este e:"'&'OOrmll,g.

Y""'v~U'lIi~ . , ,,~u;_~ ". - "Ull'-'1I'WII ... ,

Por eI momeD.~D 'tmB-sfutm:arremos e ,iProbte.ma..,observ,mdo~ta. o,()1n;~UmdeDCia,enbre :Ias

~ jI, .. ~r

11 ~ " . '.'". ;I~

SOr.tlJC]]OD~, IC;D:teras, no neganvas ~,

"- + " +- +1 .'. <"1l0~

X;m II X2' .. .,~. ii, -' X6' ., J::.'

(1)

y ~,fi oolliCio Ae8., eateras de

- - '%6' +1 ~-'. - '1'OJ-1

. _I !a I!! . . _ J' j'_

, ~ - '.' __: '.':I!'

,0' 1< '"~

. '-'~~I

(2)

B nUmeE~ de,·~sriluc.iQm,e;~ de (2) .~ el misdJo qlje' el nmm£ro' de. soI!acwo~me:s, ¢m1;1_e.tas~ 'ob .' negativas' de,]:, +Y2 -it- ,.,~,., +Y6 +}'1'=' 9~ donde Y,i = Xj'pM,a_ I $..i .s 16~ y Y , =X ,~' I es decir, C<7 ,+ ~n = II n'}I::: ,'~"I1IA~

"7 J;1-l- J~.

Btl, ,e~ dtesanDlq'[i hUlomja'~ de. (x' T'.Y:r,!, cada '~euuiD,O es de Ia forma, (kl~' t d'cm[~~9l que el 'mUme["Qt 'tQ:~-d~ "ermines. que :bay' en ei desarroUOi es.el nmner.o, de SQ[luci[rnes ,en'teras no ,ne,gali vas de ,n~ .i- ~ .~ n (n:! . es 'L!:'.l [c:xpolne:n,t.e "de L. n~ es el exponente de Y)'.· Esse nRilme:rc 'es

rv-» +- ." 1- n'''It ':n' _jj_ I

¥\~, - I ",-=' .,,1 r J .. ,=, ~.!.; ~' , ~

Tal. vez 'narlil?"-zca. '~U.e hemos Btitizado. un an:um,eBto ,muv rebuscado mi;:.:a, ebteaer este

Ir~·~ ~. 'IWr J.' t"E .... ..

Iesllitado. Muc!bas de nosetros estarfamos disp uestosa ereer en, .este resnillad.o con base. [em

. ,

naestra experiencia 31 deserrollar (~ + y )~~ pasavaries 'va1,~.lf:es ~qlleiiG\S de n,

,Aunque Ia experiellcia es utiJ emJ el reconocimiento 'de patrones, 'no siempre {~S' sufieiente para deterDlilnar urn, pri.ncipio ,general Em. esse case serfa de poco v,aior sl quisieramos wderminar la c3Dndad. de itetm:unos que hay en em des~tff()nO' de; (w ' x' + y + ,z) m~

Cada 'Ietm IB no, disti~lto esde ~3! fOI'ID:a t 'LA} ·,'i!.w1:il) XIli~"1.!!l':}·i~;..I,_ doade .0 ~ n. nsra I -c ~~. < 4,

-- - .. _. - .. . -' '_ -' . - ~!1tol'fl:~.!l.,;!l'4.)' .. .,§ . "'. . -. . ' 'JI" F . _'. ~. - .

'1 1!L +.~ +,~ 'i-,~ :=.10. Esta Wbma ecoaci6n puede resolverse de C(4 +. Io.,-1",}0). =:.28;6

, .'

formas, dJe. moih), que baev 286 oomUrnms,'e-I1 eJ des~m]o de ('w' -t x +y- +- '7,):fiO

• ' ~ •• ; ~1 .." • _' ~ . .' '~-;;7" " l. • • _ ...• • . _. _' ~;~.

'Y-:abOia 'eotru-a de :lill!ue\fO enju,eg'o el desaD"l.?Uo binomjai ya q~e' usaremos la pane ~a) de] coroJariO' L 1 ~

a) Det,tliTIllmemOS, fodas las founas pesihles en las qae podemcs escribir el 'nj~'n1iiro ·4, -,' come una $lIllDta, de enteros ,positm,vo5, ·em, la, que, e.,1 oi.iI;n de; los sumsndos Sf: considera Dec,esm,o." Bstas repres!el)taciones se ,denomma:o .co,f1.rposiiaiQn:es de 4 };r pu.edell

1)1 ,4,

.,2) :3+1

3) 1,+,3

4) 2'+.2

,51 2+'1+1 Ii) 1·+2,' 1 7)1 1 +<11 + 2,

~) ].+ 1, 1 r, I

.Aqul [DcIDufimos, ID31 suma que eonssa de ur~ solo sUin,an.do a siber: 4., Verem,os. q,alJe parael mmner1o' 4 h-ay ;~ho eomposiciones-en t"i)taJ,., I(S~ em, orden de los sumandes no 'nos preocapa, eDtJon~es ID$ repeesenraeiones ea (2) .y (~) ya' nQ se 'c{uls~dB.rara'll: 'di(~ I:eDJtes,. [u'~',cl!llmo, tampoeo.las representaciones d~ ,(5)!, (,fi) y (7)~ En estes cireunstancias, veite.m,os que hay einco ,pamcwn.cs del ,nnmer'9' 4t a, Saber:~ ,4" 3[ , 1 :;, 2: + .2- .2 + ] + 1. y I -t' 1. + I + L Apteud.eremos -, mas, acerca de Ias particienes- de c6.ntero.s .fOsil(i,v,os en Ia secci6n 3,· d:el'cap,fml:d '9 . .)

.1)' Sup9ng"aRtOS. ahora 'qu~ "rC)!Ueil?euw,o-s, co;niar el m6m,em, de. composieiones para, el nu-

'1' E' ', .... ..1 ... ,'"' ii, '·IIl,.·:II·',.!lIl~,.;;a " ,.~'Ii ~ "I

mero r. [ - n este caso no' qliIDere:Emu~'s: [enumer;ar tosas ras pqsl~l!IJJ]ll~es-, qu~: I ri!Ili:..~:u~'[emJ e.

1~;6 '+·l~ I + 6; 5 .. 2;. " + 2. :=- 4" 2:+ 4 + 1 y 3- + 1 -t 2 :f-' 1. P,.,3. CORmr todas esees oomp0~]C~o.~~ consideremos' ,~~ ndme:€o de, SDm.~d0.s; posibles"

38

,~),P.a Urnl, sumudo sOlo, ~:xism wa:a oOJD;I'Qsi'c.1Omt :a,,:sab~!T," ~

,iii) Si ¢.xiste~ IGQs, sumandos (Posidv,os}~ ':p-erem;(lS"ceQntar el n,l1imero de solueiones enteras de

'W:l + ~:z ~: 7" 'dO:Dd~ Wlt"""2 >, ill

Enn es i,g.mlm aJlnJimero de'.soluci,ones enteras de

J::l ,+ X2 -= .5-, dondeX:D]", x~ ~ o.

~ niimeFo de S,oIBc,.om,es.' de e~te ·up(.) es (l -Ii ~ ,-,1.) ~ Irl)~.

iii) ,lEft 'muesuo ,sj,guieote easo ,ualimr:em.os. Las, ~omposici!J?nes con itws,.8Dm~JI),d,(!Js; (ftn!siti¥DiS:)~ As] que aho:ta (iruemiliiUlS ,C,OBW leI mWnelio de ,slQbJ.c,i.ones. enteras

~ ~ .

p~si~i.~QS' de

'",

ESlte, 1e;5 i~}l~ 11 ail: DmmefO de so.lucione·s enteras no' n:e,:o:mivas die

. l511~ . . l!J."

ZJljI + "",r". +, Zl := ,4,

- ~6 I - .

" .

, , , ~,~":"",,,. ", ,(3'.1,4)-,j) 16,

Y e.se :miM:uwe,[o es, ~ - . .:: 'I =. :'1.4/.

R~llmimos l~ cases (~; (ii) "1 lew.)· y los oo-os cuk0 casos, len :Ia'tabla 1.,7,!. en la q~e' I-e.CiOnbmM· que l == (~). para el ,Ca,.s:OI (i) ..

tab,hl' 1 .. ,1

a =' IQlim@ftIi' de smmand:os o ~-compilil$id6:ll, i.e 7

(i) lJ '-'I ;(i)i
~. u • ____ , ," ,
- ....
(~)~ ,11 ,_ 2 (ii)
,_
.
fr] fmi)
'1m :n =-3
' ,,:1
~(iv) In -4 fV)
~I ••• (vi)

(, .'.') 'tVDo

39

La'S dos 'iliimQs, ejemp]os de. esta seceion 'son ,ap':[i:lc'a'~io'D!e del·.M~·de eiencias d:e m.a loom:p~taci6n: .. Adem:H~ elliltim,Q eje:mp,lu eoaduce auaa jmp.oItaJl~e fOnTI!ula. para Ia suma 'que lJb~~im6mo;5, en. muchos c'ap'lnulkl~ ptj'S~,erio[es.

'Cons.:idemmos ,eI. si,guiente ,se.gmenkl de~'UD pIn:grama ~n. Pascal donde i.] y ,k'.StQro \rar~~ble;s ,e1ideras~

F'or L : =: 1 ·to .210 dllD

For j c= .1 tQ i d,g :P'or k .: ~ 1 to jl do

·.'.r i te in I~ i ~ j ..=.. k.'~'.;

~'ICU'anms veces se ejecuta 13: p:ronnsici6n Writifiln en este seamento .de "I'l'[<oe:ram,a?'

b _ J (~-'Iio..It" I!iir ,f"'"' ~

lElI,tre las. epcil!l'Il'e$ pesibles de i, j 'Y·.k (-e1ilJ el ~r;dC;I1, i primero.] segundo y Jr., tercero) que

I os c.{lndl!m,~e.I1J a :~a·ejecuci6D, de Ia I'rop,osmcl6.l\'ru, Write,C~, eo,urnne:ramos. ('1) 1~ .~., :I; (2) 2~ 1" II (3) :S., 10" 1. .'l 1(4\) lS~ lO~, 7 ~ Ob$ervamDS qQl'Ee, i :;::;;. 1 O~, .i .:, M2; k :=- ,) :WiJ}q" res una de' IDas se!~cci!on,es. 'quertiebenin, ,consi,derarse., y.3. que i= "2 > TO:ii:i; i; esto 'vlola la co~di:cioln: ,estabIDecida, ell. ,e) , .. eg-nndo ,cic'~o For. Cada una de .1 . ~ •. custro selecciones anteriores ea mas que se ejecuta Ia proposicidn ~fFi'~e.tB' satisfaee Ia condic.i6n I. ~' It <, j ,:$ .1.. ::S;' ~2:0 .. De. :Ijtecbi)\~. Cmai'lmer. se1lec.ci6,~~ i.i ,b C' (~ ;S .,b;·s' ~c) rde'l\3maBO' 3. , '~D. ·repen.cion~, de Ia lista I. '- 2~ 3 ., .. 'I"-

20: ·"~..1lu.re l!.IDQ ;:..1,,,":' '1","'''' seleceieaes correetas ~ en este ease it:.-: a' J'~; ,0'= ~ i' ~IC', 'En eons ecuen-

Y. ,zrI.IUU. w. ~ ~ .. .. u:u.~ ~~~ III ..... U ~-il!P~ ~ ~.~.'- ' "ii Ii, _ j !Ij..-'!.liI['-~.~_

cia, re[ emmciado Wrileln ;S~ ejeeata'

('20 +, .3, - '1 )'" ('22)" _

.. 31 , ~ .. ,," 31' := 15401 veces,

Si b~b:h;:,ra.,. ~;~, 1.) [(dos FO'F en vez detres, Ja pmlDo~wcioIDru, 'Write..ll:tSe'Ilabria ejecutado

1(··;"0'·Oj- Il' -l~ 'VI""I"!\IP~

, r :I ~~

Aqui 'U_SaIelnl'J'S ei sigui~1ue segment\) de ~Pfl(Jgrama en Pascal para obtener 'Ulna fOm1~.iia 'nar,s '13 SUDlLa~ En ,esre sezmento ~dce ]p'i£omramIa,., I., variables, ,t.J~~ n." 'W' co'm~ueirscrll, variables

.It'" ~~''''&, 1!Ir' • . • -- ,,;}

eDllel1$.~ Hemos sJupoesnQ, queJ ·1e.D '1L.!W3., soocru6u. anterior ~,ell programa, Ie]. useario proporci:o-,

.ru$ 'On en.te'ror.:pos.i'b,'Y'O~ este dlJto e~lUlb~ec.~. ,tt. valor de ,itw

.... , ... ,"lj"I!.1! t·Q "i ~ ~ 11'1 ~ UW\;ilL.lhlll .'.~·I.III'- V iJl

For i, : =- 1 tp 1'1 rdD

~ .... ,~ J" ,,~ II' t·, .... ,,,..li·o

.~' ~ ~I .~ - ., ., ~ :.lim. LUI',.

ooun.t.er ::=; counter

'. 1 ~

, ',.

A. partir los Iiesultad:os: del ,eje.mpmo ~ ,"3 7'-. despaes de. qoe se eje.ClIte· este segmento, e~ valor de c,oMte:rseca (~ - .:.,_ ,) =. ( '~ ll~ (Es.!to es i,guaJ al D~me~Q.lde veces en .que Ia Jlrn3opos:ic~16n

se ejecu~ .. )

Este 'resuLtado rambi6n " ede ebtenease.eomo sigee; ,cuaindo.i'~· = I"j varia de' m a m. y '0") se ejecata 'una, vez; ,~ro1mdo i .recibe el va];u[ de 2", entonees j ",aia.:de 1 ,a.·.2" y (*) se ejeeuta dos ' eces.; j vartade 1 a 31 cuando. ic liene el ·Va].01·~3- :y (~) se ejecuta ttres veces; ~,D general, para. 1 :~: k < "i~: c uaado i : =. k; il!.m~oltces.lv,ma de ] a. t l' f@:) se ejecuta k veces .. En. eotal, Ia v,arifl;DWe co:~nt,e'(r se -iaci"eme'!Uu :['y tat propos.icion (*') se e] ecata] 1 ,+ 2 + . .3 .+ ~ .. " + n vooes ..

En consecuencia,

.~ . , . (n~ + 1) n: (n. 'T 1\1

~i·=1'+2+3+'···'~·+n= =---- .......... ~.;:;_)

: • .' -" '--0" "'...,1 2"

a~=.l .... . , .

'11 " rDe cwID;ta$ f:o . mas es :pe&ID[~ idistrib. '" r 10 moeedas Uderuicas) ensre cinco ~;·:si (a), no hal)/'

~ ~ . ,~

:re.s.rtriccione:s.?, (b) eada ~jtiQ. recibe 3]' menes iOO:a morneda? (c) e :nino mayor. recibe al menes

dOt·s. mOJ].eda:g2

eJER.C~CIOS " ~4

.'

2" t.-De: CllallW, fO:lilDi!11S, es ~Olsible dis; /'.' WI' 15 bw:rns d,e C'ftOGo~ate (i(1el;ticas) entre, dnoo~ nino"s ..

ae :mooo. q_ e el :m~ ·~ei:Q,~61olt'eciba.·wia o.,do.s?

3~ Detenmne Was 'fopnas en :q~e. ~Je :p:'J~en e1egii!lr 20 . ·'oo.eaas. ~e cuatto gramdes' recipienses que ~nrtie:EJlell. m~)!nw.as. de ·dIfe,,~\e. deonmJ , acion., (Cad~.· -ecipiie.nte cO'lilftie~e ~~ so]oti:P9 de' moneda.)

4m Una tl enda de :t.ie]ad~5 ~~ene di:s.poro:ib~es J 1. sab@['es; de. fue~ado.. i.D~ cuaiatas formas . e' puedle o(rdie.IlM u.a dacena de cenas ~e: b,ruadol si {a~ :00 (_[tH!;n:;m.QS d titi_o SB:'oo([' :m::is de una "!fe.z? (~) TIll "Sabot puede ordenarse basta 12 veces? {c) un saCo.r ~9 pee de ordenarse n~s de' J I. veoe:s?

.5' E a) l De • umU:as ·£;o.rmas es posible :seJecdQ<Ii af. cmCi!) :moned~s. de IIOO. co~eoc:i:6n de 10,. fomam

. ~ . ~ ~

POf OOf! moneda. de I ceeta e, [[03. mO\: e&. ne.,:5 eentavos una dle lOteirilitarv{l;S_ uaa de 15

,centavos" otca .de 5.0 aellWV()\t:y cinco d6Jares.. (j(fentjC()s }?'

b,1 ,De cuinw formas podemos selecc ·~o . 'm- n o.b)e~o5· de una· oolttcilQiIiiIl de. :moJlailg .2il: queconsra de n obj!€el0~ dis.um;los y ,n ,o.·bjetos :i~Dtic0S'?

Ifi. Resuelva el ejemp.b). 1,.3'1 pere, enestecase, los 2'sfmibo·IDits.quesev:m ,a: bransmidr''s<outMatro letras A"", C~latr;o B Y' cuamre, C~

"1 . Det~ne el ndmero de S:'Oluc~O:Des ,e~j[eta..'S no' negati vas de XI. +. ~r~ -;". ,Xj. - ~~. ~ 32" donae'

';rJiJ.\," x- ~ >, 0: " 1- -s:';,~),I1 '~.~,,', To .: >' ""1 1- <,j. ~ A.

~!J . _. - 11 . _. til - .~, UIJ. ~1iFlJ ,U'!J! . - [[In ,,~I ~[ii

c) Xt. k2 ~: 5 , .l::l X ;~: 7 ~ dl} Xlii ~ 8·:~ 1 'o<::.i ;;$ 4, .

. ~) Ai :~ - ... ~,. f ...:; i s. 4·~ f) X1.1,Xl~l:~ ,> OJ! [J <x~ .s: 25:~

"41

8~ ~De 0want~ fOm1M pll'OOe, di~duir un ,m;±iesllliip oC;ho dOEll35 de chocolate y .siere dOl;l:as:,gIas:ead~s; entre tres lesrudia~t($, si da unodesea a1. menes 1UJ~" 1_ona decs da 'tID,po ,;'

.!:t Co.'h;u:nba. tiene des d:o.cen~ de: IColecc]'Omtes. de .11: pt'eii:l:reciU'as de eoleres dI:terenlta" SJ' pnede, .. se~eccjl[p-Fl!'" 20 (peunj~endo re_pe:riciones, de IClOlores) de :~~O~230 forma's Ii. 6~ es ~et wilil( d~~I?

11Iil'• i.,De CU~Iis. formas puede ,ti!~ .Lisa '1:00 dRd~s {id~ -, ftico s) .. ~,e 'mooo que calgan at lmenO~S tres dados de. cads eara diiereo[\e:'!'

1 '1,~ Dns enteros de rz'digi:M:s . se,pellnite:rr c.e[U;s a1 prb:tdpl~)) se eonsideran ~,uhralen~es, si uno es I]m .. redi:spo:s~ci6n Ide: etro, (Por..ejemjplo, los enie:r{)S"d...: . inco dftf~9S ~203,,,,~ '0-3.31 J 1~1[~32 se consideran e~ldval1!~'[&S..)1

a) l Cuwros; e.~'ros de ~rnDOO tm(gittJS no 'S~D ,~q~rnv;aien.t~:1'

b) 51. Ios dfgi.1ios. I; 3 Y 1 puedlen a.pal'!e.Cu cuando mueho una vez, i,lcuant()\S emeros no' :_- va-

, emes de' ~wn'C'O rutil!O':;;, e-xistm?

'1 ,2~ D"etermdile el odmero de schJciQnes en~s: de'xm .+ Xl ,'.X:~,.of-)."4 .L, x~ -c 40. .. d~nde'

) >10 1;<:' "<C:

,3 ,;t" """"'-., \" .,~,I: -.;;j..,.

1I!L 6De' cu1iuas .fonm~ S¢ plI.!I););ieo disnmbujr ,ocbll] bQ'~aJs. .. 'bl3;nc~ idenlrncag en euatre r,er;ipien'tes diSlrnto\S,.de modo que (a) ,ificotln reCii:pi,eDte quede vacfo.? (b~ ~ill euasto recipiente eomenga un illiLumero impn de bola$.1'

'114.. a) :E~ot.H~ill'tre ',eI cceficiente die v.'1,~~ et1 ~l d';o.sa~:l'tdJo. de (3v + .. 2\11' -t--x of- J 'f- .~y~.: 'b) I~C~lo.S ~.nn.in:o,~ dis.tin'l:o~, arparepe:D en, ei d£~&:rO'Uo idle Ia parte, (a:.)'?

1',5., l.D'e: GU:3nt'aS fqrm,as.p'u~e coloear Betn 2 :Iibri?s difere'lles en cuatro repisas de n ode- que haifa ailll me-nos UJ] UbJ7'®1 en Catc!a 'fe.pin?'· (~malq,n!"em, de.estas dis;'pos:iciO'ne:!~lc. cl?!'ls,idere qee en cada repisa los' :'[ibr.os deben sercolocades UnQ junto ~l~tro~ y el :primer libra ala I 2: Qu"ietqa.,

'11,EL ,{.Pru:"a que~e]].tero positive ,n see '1,1' .'k que Is: ~c.u.tlciO: es

(1) ~1 ~.}IIl:' .x]: +- ,. ~ ,. + ,Xt~ =. n~ "'! (2) Y T' . .¥'Z + Y;3, + ~ ., ~ +", ,':"";;' n:

• .1" • • •

~ewJl,g;am. el mis I I ,0. ntlme.ro de ,soIncio:nes enteras positi vas'?

1'1,. iDe ma:n£JS1 fonnSS1 se puedefil CO'OCM 12 caascas del mis no !amMO en cineo recipienses dis. - + 1) AI 1.........· ? (iI!..,) ,~, ... ..'II e- .;;II d'· , ~ "'1i

tlII1ItOS: S~ ,a (O~~~, 'Can:I.C1JJS ·,SO:llilJ. negrasr . u;. "!i.;dU~. C3m.ca es ce .' l!St~_mo .color ;,

'1U!t Un maestre de qu1oojc~ tiene "sie~ c~$, I, ada una oo~ 36 tubes de I~:tlsa,yl~ con 'sustancias ~·d~s.'Co!tlcddas~ ~,iJl]:11 e.:-,perimen ~,:-elabOmiorio~ Las, 36;.·SiII!l!SllaJ_- ctls'de. ~aprime'.m c~j.a,cotnj'e-. nell c;Dat~ QQmp~~ms . [:rere~dqooap'$'OOen.,5,~ ~2~ . y ['2·veoes.- respeetivameme, i,De 'cUirllas,

It· ....;;II dO' '··b· i'l _ • ..1 AI _ o· 'II'L._ ..... d ~"~ :IOfliilillias se ,ptl!l.we 'J!sm Jut' eJJ OOlllle.auo Ui.-e 'elm caja entre CUlm ~aU'Urat()nos , e qulmica?

'19L, ,1.De:cu mms ionnai es .pBsThbk dl~:stri,blIDllr una meneda .de 25 eesta -o8.,.otra de: I n. ott-a deS ,:",' 25 monedas 'de nn c£:t'Wtv,o 'entre eince :mD.\i)S (a) .s~m. resmccrones:? (0'\ de modo qne el IIi QO' mj .

. I. :- ...

gr:andle reelba 20 0:25,00 tav06?

L.. • :- : ..

2'0[. ,a) ,~:Cumms Sloludo,oe~ ,ecn;t~~ :00 neg~ \~~ bene t~, p~eja die ecuacioaes XI. +.I;1 "T ,Xl' ,.Ii. ., •• 'T.x,. ,~, '37 ~ Xl .-t-. X:~ +-..'lr.!i = 6:'

1b] .,Cutjillrt~s de las wluc;;io:nes, de '13: ,pane (a) '.~ en en Xl" ~:!!l' x.r- :> 011

21. i. . .cUatnlflS ~'~. se ejecu~a la p.mposicitiH W;ril.eln en, el si,gurienle segmemo ~e pm grn.m:a: eJJ_l ~caI? 1(E;n este Ca$O- i""j.,, k:Yl m son variables enteras.)

FlOr 1. : = .1 'tOI 20 do

For' ,j: ~ = 1 to i .' '0

F'ow':It :: ~ 1 t,o .j do. .For.. III :: = 1 to :~ do:

'~r',i teln ({i j). - (,k *. m) ) ;

counter : = 10;

Far i := lto 15 do

For j ~ = t to 15 do

Foc k : - j to 15 do counter: = counter + 1;

Capitulo 1 Principios fundamsntales del ccntec

.22. ED el siguiente segmento de programs en PiI.SCal. i,j, k Y counter sou variables enteras. Determine el valor de counter despues de ejecutarse el segmeeto de programa.

23. Determine el valor de la variable sum cespues de ejecutarse el siguieme segrnento de programs en Pascal. (En este case, i, J, 1.:,. increment y sum son variables eoreras.)

increment : = 0: sum .= 0:

For i : = 1 to 10 do

For j : = 1 ·to i do For k : = 1 to j do Begin

increment t = inorement + 1:

sum: = sum + increment End:

24. Considers el siguienre segmentode P!:Qg.r,0:m4 en Pascal, dondei,j, k,n y counter SOD variables enteras. En una parte anterior del programa, el usuaric ha.dado el entero positive queestablece el valor de It para esa ejecucion particular del progeama

counter : = 0;

For L ~ = 1 ton do

Fa I'" j ; = 1 to i do For k : - 1 to j do

counter: = counter + 1~

Determinaremos, de des modes distintos, el mimero de veces que la proposici6n

counter- ~ = counter + 1

se ejWJta. (Este es tambien el valor de cQunter~6; de la ejecucion del segmentc de programa.) A partir del resultado del ejemplo 1.37. sabemos que Ia proposicicn se ejecuta ("+rl) = (";2) veces, Para un valor fijo dei, Ios ciclos Forrelativos aJy k producen e'tl) ejecuciones de Is: proposicion donde se incrementa counter, En consecuencie, {"t:l.) = 2:;=I('t~} Use este resultado para deducir una f6rmula para la suma de 12 + 2l + 3' + ... + n.l ~ L:~_P-

25. a) Use las ideas. del ejemplo 1.38 y eL ejercicic 24 para expUcar per que (ltr3)= 2::1 (Jt2).

b) Use el resnltado de la parte fa) para obtener una f6nnula para 1a suma .

26. Muestre que el numero de formes de colocar n objetos distintos en T recipientes diferernes, con los objetos ordenados en cadarecipienre, es p(,. + n - 1. r- "I).

27. a) Dadcs m, n enreros positives con m;;: n, muestre que el mimero de formes de distribuir m cbjetos identicos en n recipientes distinros • sin que quede lin recipiente vacio, es C(m - I, m.-n)=C(m- i.II-1)

1.5 Una epjicecicn 0 las dendas flsicas (opcional)

43

b) Muestre que el nrimeru de distnburiones de la parte (a), donde cada reclpiente condene al menos r cbieros (m;:: n.r). es C(m - 1 + (1- r)i'I, 1'1-1).

28. Escnba un programa (0 desarrolle un algoritmo) para calcular las soluciones enteras de

29. Escriba un pmgrama (0 desarrolle un algoritmo) para calcular las sclucicnes enteras de

30. ESCIiba un programa (0 desarrolle un algoritmo) para calcular las solucicnes enreeas de

XJ+X2+x,+:c.:=4, -2:S;.:tj, 1.sis4.

1.5

Una aplicaci6n a las ciencias f.fsicas (opcional)

En esta secci6n analizaremos una aplicaci6n de las tecnicas para center desarrolladas en este capitulo. Esta aplicacion surge en mecanica estadistica y rermodinamica estadfstica. Enestas areas. nos hemos iereresedo enel mbnerode fortnas en querpartfculassubat6micas pueden distribuirse entre n estados de energfa distintos.

En 01 modele de Maxwell-Boltzmann se supone que las partfculas son distintas y que cuelquier cantidad de elIas puede estar en cua1quier estado de energfa. Obtenemos n' disrribu.ciones posibies debido a que existen n estados de energfa posibles pam cada una de las rpartfculas. (La teorfa modema de mecanica cuantica ha demostrado que este modelo no es adecuado para las particu1as subaI6micas conocidas haste el momento.)

Otros dos modelos con mas exho son los de Bose-Eiastein y Fermi-Dirac, que se basaron en un principia en los mementos angulares intrfnseoos de las partfcules.

El modele de Bose-Einstein requiere que las r panjculas sean identicas, y cualquier cantidad de elias puede estar en eualquier estado de energia. EI numero de distribuciones diferentes en este caso es el numero de solucionesenteras no negatives de x, +X2 + ... +x" = r, igual a C(n + r-l, r). Las panCculas con espfn entero (en unidades de (hJ2a:J. dondeh es la coestante de Planck) siguen este modele. Dicbas parnculas.Ilamadas bcrenes, incluyen a los fotones, los mesones pi y las parejas de electrones de conduccion en el material superconductor. como el plomo 0 el estado.

Para las partfculas con espfn semfenrero, como los protones, electrones y neurrcnes. el modele de, Fenni-Dirac es raas adeccado. ''1 las partfculas se conocee comofermion~s. En este modele, las T pertfculas son de nuevo identicas, pero un estado de energfa puede conrener at menos una partfcula En consecuencia, en este caso T :S n y el mlmero de distribuciones posibles es C'). (Este modele es bastante titil en el estudio de la leona de bandas semiconductoras.)

11,,6

Re.sumenl y'if'lepaSa ihi:,s'tori:COi

:En I~s.le ·prime.r c3tpil1u~:ol pl:'eseotamOs. )os fooaameIl:t'os del COOleD' de IcomhiD_acione~t .Jle1D1buta;cioFte·s :"1' disposiciones len ,nlllChos· tipos de :pro&lemas~ La descom:posllChin de los problemas 1M compenentes ''l;lre reqgiereu f6aoulu :~guates 0. diifierentes para s.o solutii6.n,

• J:. - .:iI1 'ii 11:._ d . . ...e~..,,:, 'II.. • •

pro'pof.-CIO~ii iUl.B 3ceIeanueoto C.JJl3iwe a .. was' di-em;, . e maTem-.ml.!Icas .uiscreta 'y' COJFJlul:na10n,a

. II '. . • - -

Este-es sim". ar al enfoq,~ ducendeiiJ~,.p8la e:~ . .desmono de aJgflritmos en un Ienguaj:e. de

preg:ramacid:1I 'e8lt1t1Ctomda eemo Pascal ED, es.!e caso, SiC desmoUa el al,go~tbDo :,am re ... · solver lUH1J pilllQbJema diftcil :a.Jb~:rdaDdo, ,dme:r.oot m.gumos sabprobl.ema8 :pri.mc~palesi ·qUe de-

b ~ 'irIi"",:;'" ",,;111-. 11.::1 ·~M·nn ( 'b..!l~i··":'f '·....11

. eo IeSO.Im.v~ ... ,;Ub;SPUe.s,. esees SU1JiJl:Pl"0IJJ,\I.!e,mu se !'i!;1'~"~~ tse SlI: ··w.Vlu:en en tareas ee pro .. ·

~ , ... . I - ti'""I' ... ...1I .. , '. "m! . .:1 '~', • . 1 idad ,. . .. ". .

grawac.,~o6u mas, maneJ aJbi.rn.~)., '~]iJilve,~. ,tJI.e~.refiiml.mtli:eJn:to· mCJom Ia c art _I,~.' ,pr.eC.ISIOU J ,e,1

robje1tii.vo del 31go.riitnlOl~ has,la. q!Ue. se .pllooe 1l»dnCH fac:ihneDiEe .31 ,c6dig'o del. le:sgu:aje de

- .' .- -. .~,."'': (Ual!..!l'- .... , ... ,, . .iI:-i'o ...:It .... 11.-· ... iI·' ~,..,.,..,. '. : . ·· ........ ~111-.... . ,-' -. -·v·. '~l .. ):.

pro,g!l:a:rnaC;IOO~ IIl:Jl.~MU!emro:S mas UY. LOS ~gonjll.llIDO.s, en ~Pl~WI!!IJ,S po;st:enOresl~.

La tabla.l~:S: Ies~e :las.·principa1es fonn·~tas..,am,.coifltar·desarroDadas basta ab~ra. 5n, eSlte easo uti1izaml(lSi UIlI.'" oolec~idil de n. rQQjet,os "dtistinrIDQs~ Las fOnuulias. cu;e.·ntaD, el nWB.eto Ide fonnas :para. ,se1:eeeion;u', u ,t!Jmeuoc-, con n simi liepe1i~GirQn=" ,1'" de estes ,11: o·~jletos,". Los 'reswlme~es Ole, Ios c;~itll[OS S y' 9. '~n(:'lul1eJl, 'Otral$, ttiblas sio.~iilm'es l!'!ilUle ~!~c:eJciD. )oonforme·

~.~ _ _;;."... _ I;}" . .., ~1IIrIiAI,~~ • :-

wayamoS! ,a.nq?tiudo· . nuestro, eS"Llld~o de otros.metodoo. de. Ic~~te:o'.,

. ·11:..11 110 TaulliiI _~iQ'

-...

"J...Tn! N:" ;0.· ... , r- .... m·il..tii,n~."..i:A.'i'II

.1,"~~ '\.zJILl ~ _lIjJI1jJ~.~!W'.I~~"J.

No Sf (:'Qmbmacioo cos fepeDci~D.

P(" .) -'1C(' , ."). III

" .".,-_1:, 11_'-" I'

__ . n~ r:. _·.n ~ ,!". , .• ,.~ .

O~''''--'ii!tl ~'If'~'[r'"

P'-"a-:'IlIIQ I iil ~7

1(' ,n -+ ,.r - f)""

, n;"f'>'O

, .r.

Pigjml34.

AI~ oon,ti:D1lK :mJOeSilFo estUdlcil SObT~ otros priDcipio~ de eDmmeraciOm." ~'f' como· sobr~ ~as. l6StmCt..:as mml€-miocu disCfe~' pam .apJicacio,Ite$ en :~at teBl1il .de J~,Mi.E:OS'l' .ma. len·lIllll.era~

~'A \11 ,... ·'.A 1 . de dl• • r ..I' ..... ·1..... ....(

Cbj~lI.a o:p~JI!ml)zaclQin!y' os e&l!wemas.:' e Of· )enllJ1uentt). en Cl'eB<:tm, ceia oomp&taclu"D., ·DOg.

im-;.,"",.,,, ill. ,. ,;,iIi L~,..,),....1 . .......,.,.. _'iJ . ~.dI - .. ' : ........ ~:i

J~mtem.os· en las; :mue'as: l'w~~ruefti((Ues, pr.~DWuas. eo este 1C3pJ!JI£IlO~

EJ] oorooop.rG de 'meromrdmcion:s.e ouooe "MiCOotraf' len Fa obEa beDrea ,~Je,. Yetzil"ah 1(:£1

.. _, _', .. .lr-:-- . ~. " ,.' .. - - ,r-I ..•.• ,_ ••• _ - • _'.- • I _ .. _ ~", Il~~~., !.I ' 1.,.1

.Oc d' iII' ~" '.. '. .•.. <,» .• , I - ;'\M 'J'..:i::'Ji"ILII"iii S'

libm' .~t! ~a crellCtoli~, 'iIllDI ma.uscn:to, ,csrnm:-o pOI un mI$DCO !eDtre '!CI, .ano ~W' Y' et mru ... ··.nt'll

. '.

emb.irPiO~ es inteFesante. SUb~1flJ.' eue va antes un ,1':esu:mtadCI de .Xen&mt.es, db, Ca~cred.on~~a.

~~ [';]J .,. Jl .. ..

(39'6=-3-1 ~ a.,IC.) podtla.c.onmD~ "el primer lD,t;OOlo' pgr:~e:gisttar la"soillcion. de U.D problema

dBit]] tte pelrmn~'Clo{n.~s .Y' Icombi~aciones~'_ Para .mas· detaill~es;j' ye~. la .. pj:gjna. 3,l91 de!'

d· '1: L H' .. I. [3]'" 1J..."·" ';1' "J! ..:!II 'II ... -"it'. 11 '":,, N' L 0- . [ -, [1 ill '~.

'texto., _ e.'! ', .. L, .,.lreaiJll~ 1,'Vas"loomol m ".gIn .iJ·~, ue.ll ·iiHU~I!l.LP;U~' x.. ':""'~Iggs 'IJlI-, una. ·"'.-JJI.OSa:

faenre de .inform.aci6n scerca de. la, ms~ona. de b. CmlumemciOR,. ·HI. p .. rlmer'~.ibro die texI,e. i1 ue

o ~J

1.6 Resumen y repasc hist6rico

45

estudia algc del material analizado en este capitulo fue An Conjectandi, del matcmatico suizo Jakob Bernoulli (1654-1705). uno de los echo destacados matematicos de Ia familia Bernoulli. El texto fue publicado en forma p6stwna, en 1713. y contiene una reimpresicn del primer rratado formal de probabilidad. Est. tratado fue escrrto en. 1657 por Chrisriaan Huygens (1629-1695). fisico, matematico 'i astronomo holandes que descubrio los anillos deSatumo.

EI teorema binomial para. 11·"" 2 aparece en la ohm de Euclides (300 aC.); no obstante. el t~rmino "coeficiente binomial" fue introducido en realidad por Michel Slifer (1486- 1567) en el siglo XVI. En 5D Arirhmetica Integra (1544), Stifer da los coeflciemes binomiales basta el ordeu Ii "" 17 .), En sus investigaciones acerce de la probabilidad, Blaise Pascal (1623-1662) publico, en Iadecada de 1650, un tratado acerca de las relaciones entre los coeficientes binomiales, las cornbinaciones y los pelinomios. Estes resultados fueron utilizadcs por Jakob Bernoulli para demostrar la forma general del teorema del binnmio, en una forma similar a la presentada en este capftulo. EI uso del sfmbolo (~) se Iniclc en el siglo XIX. cuando foe utilizado par Andreas von Ertinghausen (1796- 1878).

Brai.e Pascal (1623-1662)

Sin embargo. solo en eJ siglo xx, cop. el adveuimiento de los computadores, fue posible el analisis sistematico de los procesos y algoritmos utilizados para generar perrnutaclones y ccmbinaciones. En la seccion 10.1 examinaremos uno de esos algoritmos.

EI primer libro de texto que trata amphamente los temas de combinaciones y permutaciones fue escrieo por W. A. Whitworth [1O}. El material de oeste capjmlo rambien se analiza en 01 capitulo 2 de, D. Cohen [2], el capitulo 1 de C. L. Liu (4). el capitulo 2 de, F. S. Roberts [6], .1 capitulo 4 de K. H. 'Rosen m, el.capftulo 1 de H. J. Ryser [8] y el capitulo 5 deA. Tucker [9J. Para mas informaci6n acerca de las ideas de mecanica esradfstica y rcrmodinamlca estadfstica, consulre el libro de texro de R. Reed y R. Roy [5].

46

,O!

IBIBUOGRAFfA

I,. Biggs, ~·-O~ L, I~~e RQots, qfCo.m.bm~'O·ria;":, ,HisJ.:oi'ia Ma[l~"t~~ti'Ca:·6. 197\9., lnigs\L 100,=;· m3'~L

2 .. Cohen, Da.cll~ A .. , 1J:as.it l"e:cmiqzre:s of Co.:m bina·tori'a I Th.e:ory" ·Nueva. Y~r.\·, 'Wlley, 197.8~ 3,. "e.ft!ili~ Tho. IS' Lltt]e·. ,A,. Hi~~'oty 0/ GFe:et; MCdhe11Wtics~! "lot m" reimpresrn6~ •. e bl' emci6n de. m,192l, '~rne~ yort. Docver' hbHcmQ;ns~ 1981.

·4~ :L;'u, CUI L.~ .1)ilr.atJucli(ln·.~O' Coml!ind'1lin.ai Malhemit!ics:, ': ueva Yoi~. M'cGraw-HEU, '1'958.

5.. R,eoo Robert D, y It. :R., RQy~ S{;aJis:tival Ph}~tk'$;' for Stude.n(<s of Scielu;::e' .gn'fi En:gJn'eerin,g" S'~Ot:ll!, Pa, ]Jn~x;t Ed:ui:itio:pBl' Pub~i$hei$" 197'1.

6,.. Robe-m~ F:~d s., , Appli~d COlfib/JUJto.rics, Bng!ewo£1id ai«$~ .:- .. J,. P.refi'ticie~HaJ[ru.. 19'84-~

1 ~ 'ROSi~ ~h :H~~, Dis'C.~~e Mathematics uwl.' ells Applicalit)ns.,"21;· ett Nuer!l8 York, M,cGr.a:w.Hilll, 1.99 J:;;

8,.. Ry"OOt, H~ J. ~ tCaml)iR(it'On.a.JUl:uJu:nw11e$~ pllbID~carlo, 'par Ja :Mramematr~ A:S~cIDMii9n ~f.America N:I1¢\{,8; Yo[k~ VfiIf~~ .~ 963...

I~t, Tucl"et"" A.la1oJ~ ,App,~ied Cqmh~w;o,rics", 2* ed., ·Nttre.-v,a. Yook" Wiley:~ ll9,I;S5'.

10. ·\\,1hitvt,ortl1.r.·V, ~ ,A~,~ ChoIce. and Ch~e re~re.si6Fl! de: ]a :00ici6nde; ~ '001 ",:~ uev,a~Yor:k .Hafner,

.' . .

:['9615~

1 ~ 'ED. Ia fabrica.c:DiO,n de aenQ' Ij_pC 'de ,a tL()m61VU~ JllJilede~ ·,apare.Ur oum-Ol upos de d.efeot!os Ii ,,~yo:res y . ."s.~ete 'lipos de defeetos 'WenOf¢$;., ~.l3!s s~gac:wne8 en ·Ias ~e re.em:e . se presearau ]05, defectos, ,~de c~ms' fiDlil!las- 'pllede .Jilaber ~l d!ob].e: de de.fectos meaores. que de may'ates?

2:~ Una a1q~~na. ti.e ,e: aueve ctiferen es ' ,. seos, Gada. ~n CUD cinco .p.:nmnWiOli 'efi(_ii etad.o$ c;ODiJ.J o.~ .1 J 2!!' .3 ,)14~

a) ~Jl)e' C"Q,:m.tas. fonnrus. se pueden co:nfi~m todas 1~$, cisoos de. la " 'i\'Cj;'IllIIma,'?

til Si 10'3. uueve discos ~e o.rdle'n~ e Wla, !mea, eo. Iii. p,an,~ SlIl3Jperi'or. de J:8) fiaqUtft" .. 1.,Cll;811taS de las. CO{ITfigumd9J.1i1m de 'illa '~~rum :00 ~leae dos ·d~sooo adyooemles con el r "smopru-ametro?

e ;;,C _c~J1l)OO de los ~panim ~ttotS, de Ia p:aIte (bJ solO tiD> ]j:im] 'O·~ J2 ,41 come pu4metros,'eJ} :hls'di$;cos?"'

3:~ B .. ~ft.~· 'p.~ pIiOCaamientor·de ~bnu ·IM cien:o iniC'ioc'cmpl1~a:dQr permite ~cbivos Cl!yos nombees lrul,gan de' _ no 'a, echo caracteres .. C.da c.am.Cler .' ,ed\e ser ,a],gunOi de. Ius 36' 'c~cre.f.es a1fau~cos, (26, leu,a\S,}.t 1 0 d~gitQ:s) 0 l,?ualq1l.h~:r~ de orielS. lS sfrmffij~;I,oo detem·nados· .. (Parca.;w$;

:nom:bre~ de a:rc: ivo· eel ,COllIputad.or :[00 '~\OO~S las Ietras como :ma,yuscnIas, .sin :imI,p<lrtm ;s~ se esenbea CO[llllHl maydscuJas'o 1IDBuscmlas.) Tambien ~,posibJe ,afiaG:[[ 31 nOOOlbr!e. del. ar,cJ\ti~"O '~R, e.lUen ion, de Hdri. ve 100pC~(i.na1., .:Es:t:a se obiieae at

, , .

eSlCii:bilf' tnt ·~oo 'Y Ide 00 31, tres earacreres ,altanumJ~'ijiC'OS, 'm··";:"" n ... ·r· 'I'"" '1'3IItO <l!i!l"~'~ ru\<:i!...:'ft~n~l.r;;. .... de' 'D e ~'b ... es de! arcbrn'v.n. il' o n

,~~!I' .!f'"J.u "~ l_ . ~ ~ 1~'¥.!L!I.1! I~J~.J'it"'\~,.U.3l. , _ V'~ .. ~,~ i _ ~.;;yv .

I{l) TAXI (2) PRESPTO.! (l),Al3B41~n. (4) IN 6RES.O. 87 ~

(~",) CI.1l '11' 'II1i!:' .~. = r ("6) Z"::i I':::' 'P12 iii:;'" ~l r ., 1

\-" ~1Ii:-.l!1·5 :y \.:. ';)J .• ,:' re: JIi..Aj·s 'Y;!lhJlit!IDS; tres 'eJempi ~I.S

. , .

tl1izatt.la ~xtenst6n de=a.oc.fu.ivc O'pd,cnal~

:a) l.,Cumtos.·,ombres de ardJiv.o um:ili.~. solamente los .36., ,caractereii a:lfafDDmedo~s,. sin extea.-smon?,

bl)1 ,~Cujnj*OS de los nomd~~-es d~'arc'hlvo de Ia parte .a} roftefJ:!~n 00'0, dos letra5, A?

~) .~ OI3mllitQLS "ombre,s de: archffiv:o ~san. exm]iJ!~iones, (iOn tres caraeteres aifmwlu~ricOs', e actamen~,e?~

4L La direC!mO!ta de un eero _debe el.e~ seis :b"j mnes P~r:a ,d ,Si~\"iciQ,'re:ligi-iOtSq ~ri.i.m.ic;al .. mrua [ie~~lre:; libtos de: 'himnils I' cadi?! U,DO· de 10,$ ensles oontiene :25 liru:mnJ()$l (en. ~iOtaJI]· haJji" 7'5' ·hr• "'as· <tistin.t()s.)~ i.·De lC"uintas formas p'u~d:e-e~egwf 10.$ 'mmnos ~j dlesem eJegb'.( a) d~. h[mniO'~ de, eada nlbro? : b) .at m,emQS un, ffimimlilo de csda ]ibro~

is. l:l:!i!e :Cllb~S funnasi es po$jble' ,cQlocar :ZS' banderas d~~ fe'f.eD;tes. em. mo :3:St~: DlllliMer.adcals si el orden de ~as ballnLOOraS en un asea (a) i.o.' es sj~lficai.tivo? (b) ,sf ](U~S.?' (c) si es ;sllgnj~, fioo:vo Y'~ <;.;adar asta ondea_~ rnenos una. bmdera1

47

6. Una :~O,!l!1e.d:a, se Iasza 60 veees, dand~; como reseltsio 4S. CalI!aJS ,. '15 crueea, i,De cua,Hta:s :~onn~s 'p",drfCl, haber oc.umlfo.: esto de. Modo que ao hu biera cruces cOil1sec~ti~

ii)~E'"9 'W:.~~.

". Hay '12, 'hQu:ibres. en UD bailie. {a) i'De j!waiDJ1tis io:cm_a,s.,

..- . .. w ..

:pden SCI' megidoo oeho de ,enos para fOnDac un gru:po Ide

:Iillmpieza,? (b)1 ~J)e. [cujntH fermas se pueden :~O'r.~ ,p~as., ~ ocb~, mIEwjeres. q,Ulc' kll¥ en ~l baile :,' tDc~ho' de [~t~$,'12

iIl.:;....;.;.;lIl.. fIIo :li:l!ilnlJlllJres-!

I.; ,i,~mb$ seeaeaeias 01!a~ de~~~~gioos lro, ~ ,,:1 3) lfiM.eD, exaaamentlt: r lIDQS?

.,9\, iFDe [CilfWootas, fomJ.,~ ,00: ,I[luoo&n eolecar ~~, letms de WOND:ERlNG de :.00.Q. g;u .tengaa exactameneedos voeales, OOl!llSc~fi.V3!S?

'11. '(In disolvtm~ o~oo see: haee me,ieWando seis corn.Pies[[M HquidQ:s ld!iie;~Qle.s- ~pu6s de 'qj.ue WID primer compu-es.to se viette en un !fec~piem,e. .. los. ldemti oompues10t$, se 8Jkg:mNm WlDl. lo:men, 'p,~'denniDadom Se 'pm.ebim. ~od~s·lo.s '6i1~ po,sib1~, .para.:detenniQU·e-], major ~ultadol. i:Cu.aB-

f,lOl;e :1!'II1'!IiIi;:o,1:.. ... ~ ... Ii!' ..... _- ~ '''ill

l~ ,If· ....... enas ~EI. necesanasr

11 ,i, Ds.wid tiene un co~ju~to - de tEO bmOq~es, dlslillro~,. ~j) mlU de estes bloqDes, ~t' heeho de Mitde:ra [0. :piIastico . ¥1iene e~ aJguna de'tres; :UrrtJaiio\S, (~,qu¢ii_jJ~ ·m.e(iooJO· gr[tm.~· ne).~ ,d~.oo ··coI.Ol'es (rojO~b~CD, ~] - a.matino~ verde). y se~$, .(canas Oritan,g1!ll~ar . ,cuadrndio!, .re·cirian,gulK .. tlexago,na] ,00000onal,. c:b',cW]ar) •. i. Cl!ll'an'tos de IDDS' bruo~s d~ este con.loom tftli~emm

.:a)1 del 'bW.oque,eq~~,. mja,. Ide mtill£rn~" cuad.w;ado.',eD ex~actairQeDlc ·mIa. fo-ga? l{r-nr eje:.plc~, elli bmo~ue. pequeiW" rqjoty de.p".tieo~ ICut.li1r.-adU es mlO de~ eses

bWo.q]l1!les . .) -

u) cffisl DE.oq~oe .. gnm;de,. ami. de pld$tioo~ ~goiwl e~ ,eD~emte dos {QQmiis:1 (p{f£ ejemP.JJO'~. el bloque p.::equefi,~!, 'roi()~ de ·.p,kl:stico~ hex(Jg~al es' 'WiL.'Ol de esos bloq es.)

~,L Ell ~r.y b, :ren~m:~e~ ,d:esean. Iq~i su hiJa renen nacj~ :tenga ~us tres iru.,tim~ .(Do~wibre~ ~:gundQ fi~m:~ ~l apeJidc,) en [O'f,d!en. amf~Mtico ,$1D que se ~pi.n:f!!na iniciaJ.Z.Cuimms, de. estas ~i'J1aS de iniciwes paeQe-D; ·aJ.P~-eT· enl estas cirrc.:umtarncias;?'

13L, l.:D~ enan~, ·fo~. :puoom. pintarse 100 UJ :clb.m1os· ~fiilioos, de ]10 'CaRIIsel. de modb q~e. tres de elles sean. ma~ tres bl;meDS Y lcumtro negros;:?

'14::. :lDe c.umt~ f~; tr~e di's'lriibuil:' un maestrol l2, li=· hros: :di[eren~es·de'ciencla emre 16, estil!ldiantes·,dl~.odD qne .. ~.3) :DiniiUiIil esw91am~ tooiba m4ts d~. um:m. -illiJbro? (p): rei lemu:~·

oF • _ .. _ _ •

diipnite de·~, edad. rec~b~ d:os Ubi;~ perc. ningtm otiolle,~m-,

di~-rec1.ba,mh. de DO :Iilboo:?'

" ~i-. De 'Ia ·s~gMdmte. '6i~ Ie el~ge:B ,~natt''01 mu_me.fOS: ~S, --4 . ..-a;l: -2~ =l,J., ~, 3~ ,4" (~~, iD.e. wan~i 'foap..a5 se .pu~e·:bace ...

~a se'I..occ.ion de modo [que; el :P[C~cro die los ceatro 'mime:IUS sea 'positirvo y 0) .~O$· ·iliiulm.e:ros sean dis:tin'tos1 (i~)i eada nUIDero ~uoo~. re'~e!irse iittst.a. C~3J~O' ~ec.e.~f! fwi~i) cada nl1Jj~ mere pueda !~le~ cuar.u:llol ~iJjl:tCfi]:o [res veces? {b, Respondala. parte (a:). cumd:o. el producm de los euetre mume .. res es .neg·aid WI~

161. Unacasa :pan esmdilOtes deuna llmiru'!tefmd~d funeiona b.ajQI 'mat .s¢,isioillilJ. d'cl! .. seiiD.f· :M'ors' es La easa tiene tres pises, eada lIm.O de l~cuaifes: est! (ijv~ d~doen cnatm seccio.DeS .. EJ.IJroxfiMw'-afi~) . e:~. seno:r' 'MLoI'des ~dta ·ID . .2: esltUdjanleS· I(unll':para eada Q9a-d.e-.~~ ID2. Sa;ClO-['e,S). Entr.e los, 12Itstu:= dimlieij, bay c.:aatij),d~ remEr ~\Qi (Dame.m" Femaado, Ii:li,llg,o 'Y "f.ni'Ol. (Los [~urIGS -oobo esmdiantes s·e:rin neevos ·en e:1 ICUrs0, die O'EonQ y se designen cemo de primer dJO~,)1 i,De'c'itiI~jntas .Ionnas :PJll[ede: ;~~gnrar el.~e:~or :M;o.nd.'es las seceienes 'aJ :IIQ5 12 'eS:1Il.d~amnes sl

... 3) D(IF h.~y ieS{m[ooi.oailDes.?'

b) D~l'U' 'F~manoo de,ben ser as:g 'adn: jimn[os al

J _ ~

. priimer pi.ool?

[cjt Hugp' _ "Uono Idebe.D. ser asignadosa plsos diferenre~?

:frl) Tona ~debe; see asignsde 2. un 'piso qee q. ede ,arrrj:ba d.e~ ;;t1dgnado a Hug'~;?

'e:~' n~[el· Fema~oo :'1 Hugo deb-e!fl~·ser as~gmid'(~s ;31. pises dr feremtes?

1'1,., .a] [~.'Ctu~nt(ts- de ]!(IFS 9000 'eJJIrerCl$; d\e [ooa_:rr:o dlgito,s 1000 ~ (Irn ~ lIlrom: -e __ • 9998,~ 9999 tienen .cuatro d£g:it~'s. ,di:ferenle-s ~ ue· son ereciemes ·C<.tmo ell. 1 ~~47' :'1 167:~9) o de,creeie.rites (cOmo. em 64_ 1 Y S(553)?

b) ~-:::CumlO$ de los 90'00' enite:fOOi de cuatro d'i~hofS.

'" .....

ill (lJ().O'1 l 00 1 'I 1. 002.. .. .. . , 999'8, 9999 tie.l:m.e~ cuaJt{fJ'

!d(gftcO;~ 'que son ~o de;,&reciGft.tes (cpm.o .. eo :]147 12~6., y' .... ,,8,) o no creelemes I.C~.O' e,]] 64:21 . 6~22 Y 9881)1

'18., 31)

IDete.rmilne el coeficiente de xit'Z~: en e.~. d)esaT.r:o~]e

de [(~/2) T',' = 3z]~' - .'

b l.CtJ.btos. ~rirmino.s ·d]stini1i!QIS;··~ay [. el desm:r.oUo co.mpl~OO]I de

,~) ,l,CU:ruJ es bi ~WII.{i. Qle. 'ltKI.o:s· los Icoofic~e.~t~s ,del desa:ITC~UOI co.mp lato?

"'91',. 3) i'De CiI!iIlmt.as fomms· s-e pueden. se:ll.t:tt 1. 0 per'so~ denoud~, com.Q ~ B" .. ... • .. y~ I.. eD. 'fomo de ii, m~til :mcl'mglil'.ar· q:u~. se ':truJ.l'estra. reD. ta figp:ra . rn -1 ct, ti,i las fi~ l ~ 1 O{~l Y' m ... 1 O(b} se ·oonsmde.ran:' 1911,a/~s ,entre ":sf. peR) d.i.ter.entes de:La tigura l..UJI'(c)?

48

Capitulo 1 Principios fundamentales del contec

A a F G I J
'0' '0" "0'
I D D I G B
H E C J F C
G f B A E D
(a) (b) (c) Figura 1.1'0

b) ~En mantas de las dispostctones de la pane (a) quedan A Y B senrados en los jades mas largos de Ia rnesa, uno enfrentc del ctro?

20. a) Determine el nrlmcro de soluciones enteras no negativas de la pareja de ecuaciones

II +.r2 +x] = 6, Xl + X:;;: + ... +Xs = 15.

Xj20, 1:5;:5>5.

b) Responde la parte (a), reemplazandc las des ecuaciones por las des desigualdades

X1+Xl+,IlS6, .%) +.t:z_+ ···+x5::;;;15, X,' ii:: 0, 1.:o;;,j::::::5.

21. tDe cuanras formas es posible distribuir una docena de manzanas entre cinco nifios de modo que rungdn nifio tenga mas. de siete manzanas?

22. En cualquier set de un romeo de tenia, el oponerue A puede veneer a B de siete formas diferentes. (En 6-6 juegan a mcerte subita.) El primer oponente en ganar tres sets gana el torneo. (a) i.De cuanras formas se pueden registrar los marcadores en que A gana en cinco sets? (b) iDe cuantas formas pueden regisrrarse marcadores en que el romeo necesite al mencs cuatro sets?

23. Sea. n un mimero impar. ,Decu~ntas formas podcmos ordenar n uncs y r ceres CQn una fila (lista de sfmbclos consecurivos identicos) de exactamente k unos, conk S n < 2k?

24. Dados n cbjetcs distintcs. determine de cuantas formas es posible ordenar r de estes objeros en un cfrculc: des disposicienes se consideran iguales si una se puede obteeer de la otra mediante una rotacion.

25. Para cualquier enterc positive n, rnuestre que

26. a) i,De cuantes formas se pueden crdenar las ietras de UNUSUAL?

b) Para las disposiciones de 1a parte (a). icuamos de ellos tfenen las tres letras U juntas?

c) .:,Culintas de las dispcsiciones de 13 pane (a) no rienen lerras U consecutivas?

27. Francisca tiene 20 Hbros diferentes perc en la repisa de su dormitorio solo caben 12 de cllos.

a) "De cuantas formes puede colocar Franctsca 12 de estes libros en la repisa?

b) "l.Cuant3S de las dispcsicicnes de la pane (a) inclu-

yell Los Ires Hbros de tenis de Prancisca?

28. Determine el valor de la variable entera counUr desputs de la ejecuci6n del siguiente segmenro de programa de Pascal. (En este case, i, j, k, I, m y Ii son variables enteras Las variables 1"; S Y 1 !ambien son variables enteras; sus VOl]O-

·.49

res "r- ,~ l ,~s ~.5 ,',it":"2 7) Sf: han ,as,jP-~do.,m~ de. La ,ej:eeo.cffion Ide; esme;segWil!leJillt~ d.e :prltr~a.)

count . er ,.' - 1'0 '.

-yl,'!.if.!'-&~ _ ~,~ ~. _, _.' ".:_' !II

'~',;'l>'If'" '1 ., ,=. 1 bn l,!!i), d,' ~

!r-'V,r.d:J ,.. ~ _ _'~ .G ~

:fo·:r ,j: ~~:~ 1. t.o r do

'C:O'llIll t er ::,' = e oun t.e:r +- 2, .::

F\il·t k; r= ·ilS 't 0 :~. do 'f-e'r ,I t.= :3 to k. do

Ic:'loun:tl;!::r :. :=: ~()iul'rt..er. -+ <4\::

F'-or' m :: ~' ,5, to ,12 do

c@unt~I" ::'~ ,oO"ij):fite~ ~ 6'.; ,~·O>r. 'lI :: ~ t ,doiwn t,le 1" do, oount~r :~ c~uoter ~ S;

~g' a) ~~~enitre el num~o de, ftO·r.m~ to qlJJ~.~·,p~e' ,~~lIbiH ~,1 C,{)1110 una $.ll1ma: de. unos :Y' doses lSi em I(((OO~J1i es s~g~.cativ('j-,

bJ' :~~p@rD,dta l~ '(tarte (:a) :p~. 1:8, en '\l'e~rde l'1,~

'irJl IGe'Rernl£Qe I~ sesulrados del~, pm(;S, (~) :~1"(b:)1 paria I/i[I :~mpar Y pal,a n Pal.,

31,. a). ,pe: CJ:[anitas, formas es posible eseribir 17 ~O]l[:lIDI 'l1!n~, Si!!lima Idle doses ::to treses ~~. vet erden de los ~;~m~dos: (0 no, es S'ru~ific:a:lill'li'~" (i~J gle~. ~~goifl:-' e~dv,~!~'

b)R.esp-Oll1d:~l bl, pa«e·(a.) patra 1.8 Ifill, vex de 1'1.

jt,~ a) St n y" rson emeros po,s~·ti¥lns ~con. n' 2: r~, ic~m:rm!1 ~LDdo~~ de~e

-

(IDoode',caG!a Xi es un eruero posili","()" pM,a 1 ~ i' -< r1'

'b' (Jle' c:uiant~, formas es pooible eseribir 00, entere p.tI~lti·v,~ ~: cQ!m,o, h'f suma de r SU01:ln'doo enteros :pu!Sit]V!!O~r ('~ ,< ,¥,,' :< n.) si el iDl(d'e:o: d:~ los" 'siu{m3liltdOs,es.,

""~:nn!ii'~:;F-~:I;';,Vi""''':I .;;lI • .JI~JL],,,,""""Y; .... ,"

32.. :a~ ~D:e.·r(;1llm:~s, fOml~ es :~si'b~e '!;':¢iOOF:re1f el :pl~ ~1 desde fl, '2) ar(:5'~, '9!) si ceda m01i,\'i:m:1.,e;_I!Im, es de ~gu:~. '00 de los ~i~'e.a~ dpos:

;(8): (~, ,) -+ (x -t'"I ~ ,l; (V).:: (x, y).~ I(~:~ 1 .+ ~)?' ,h~1 .Ries,po:mdia la..p~'(~) si tambi~ es plIJ-s~i'bllie'un tercer m0'Vim]ento~dffiag.~. (D);, (~ J~) ,~, -{x -+ I 'j' }' -9- l)~.

!rJ .. a) ~J)~i:tu;lri~, fQ~!3J~ se.puede m(nr,~r una !pati1~tI1Ia:, em: ~ .plooj) zy d:esde el {nig~Q, al ]fUIll1\b (1'~4) ~i: Ips mi(I'wmr[~131M' ~erm[[jdos son Ole lei, forma

·~tU"'ri.,. (V-' ,~), ~ ('.,." .L 1-' 'ui\~ ·(,n ... C'''''' ''ti), ~ It.,." 'U' t· \1,~? 1!Ic-I\I~:J" \.3.;<,;',1: . '\~ II __ '~IJ;~'J, "', .~' .~ •• , 1A:.t:'i..Y,~· . ~~'l..r: T ~J ~I

:b)1 l"OtiiD.taE"delu tra.)1'!e&to:ci:as- de~ hi :pa1d:e ~a.) mH) u[.ili-, ~D. ~a ;tm;](OCt@:ria de 1(2;, 2) a [1. 2) ,a It4~, '2} ,a, (4~' ,3) q~e ;~ m~tm en, la fiiJU'[l1, 1,,]_ 'n ?

-
, .
I ~ I l I I
I 1 1 I I
I I I I I I ,
II '1

3 .~ ',5 6

.~

::7'

i

FJiQ liIfra '11,1 "

'~,"'''iClji _. - - ,_. - _..- y -, • • ~, ,

~~'" ,!m;1.~. $~~ieDle'~~~I;ciO :m,"lln::~tr:aniIl,:~mrp~ntmte 'meJtooo para

c-O']]lai(j eiijr]J.ooidQ cq_mo, pyi:Flcfrf:@,~~o d!e_ ~jJ~ll., En este case, UIIEJ. ~~;~,')wla, :.se maeve en el 'lfilan'o' JI't:!I.! de' acueroo CiID(]]: ]00$

r-" ,~ ,

U·.· (.-. "\ ,( ..i.]-' .L. 11 ') ,. ~;,m, nt~' :~m. T' . ~ ,~, ""'!J~

"If • ilI"_, .), ,f . ' .-b. l' . ' _ ·~)I'. ,.!Il.,..;.. '\ m. , ,ir;! -i!' ~,~ ,! ,,L]! n JIll'

rtlitmd.'t.m,:y)']: soneateros, J?'1'- ,n, ,~. (L Em. Ias 'ngu[iil:5: 1 . .1 2, (:a), y l ~'12 (b)~ tenemos dO's: de tales trayectori as, de. fij,~ ,]) ,a.~ (7 i ,2} ..

21)1 .~ C'~~w, de: estas fiay'ectoJw!3!s fuiay de (O~ .3) a (1' 2:) 'con estes :~[th;ciQ]1~?

b) L;~ 'fl;guroLS/'ru a, ll(c), y .r .t Udl de~u.es:rmn ]ia :S[gJlillle~;.-' :1lei~ea aceeea de: ']:;u, 1trar}"ecitQ~as;.de las parnes. Ita: ."1' l(b~ ~e la '£1\2;lll!fal-. ;t,e~etd'value'n~e- Ctl~dQr una tr;a~·

. -: ~ ~t:' ..... .-

1,e'Ctooi, de (J))" .3) a,(7:~ 2) toea ,0 cnJ_,Z~, lel eJe' X,. h;a,y

m1I:a Itmyectod~ ra.on:e.s"p~ndier~'[t; d!e (ft_...,3) a (7 ~ 2.) '(Mbtemdat al TeJ1~ia.fI'" d st,gtne];!!(O 1 nicltd 'db la tray,ec$,.oFia Mt~5- £:I~ ,q:~.e: roqlE~: JC~I Cmce ,e'ru 1~1e x - '[i,se

">-- L.. - .£' . de " . 11 » > 'd'l

<!e~~a ,oU'.$~N,aC1'1!J!'n.:1])~la -,-~fIlU'nlM ,e:~ .l'Imm,eIV "e t~,~

y,~'[,[Dri:as, de (OI~'3),a ri.. 2.) q~.e tocane emzan fil~,~je .r M ,m~IlOS; u-na '~~_

·c') ~ CIl,ums lfay,~~od$ de (O~.3) ~. (7. .. .2) :~:"lln.c.@, tecan

',(1, c;ruzin, ,d e~e~ i? . -,

F' :,;I'

~,~, Ci'i'~""T'<!i:"" .Ai..,. ,pC'''''''' ... '~rv..:>'-;"t\i"io· ..:II e '[ ,~). ,lfOi "'iI ~

UJ j;;, ~i;Ulh.~"" U;,.. eseas Y: ~;~ .... cronas ee ~ :_ '" .~.' a (0.,. 4~1 1111;j1.n~

,CaJ '[.oeM 0 cruzan el ej~ x?'

@) Debii.d.o a . .su s exrmo:~din:af:i:as; noras, 'D~ ana y .'.Ca[a~

/ . ~

Un~ son las·H[[llia]j~im"¥.l~;o.blt¢ner,e].lffidrO, de: esm-

dlanite $Uibresal~eftl:e: de:1:~sJi(:3: (e~ $!~ d.a-Sie;J. 'Un co~~re: ~le 14\. pr.aiesore-s· 5e:~eociO:ill:n~ a iY,m:ti de ]3,& rc.aflO'i:'d!~ :p~ ~er lao g~ado:r;a jJ' ,OOrlot::ttrn, :S)[] '11;:"000 en HIla uma. SgPO]illj~O~, q~~e CatauIi"t13, ,retj:be 9 voms" _Dji"[l)'a. :nt'1CI.be: $. iDe: cuant:as fDrmJ~S p~e-

Y'

",

,2 1~~--+-----ftIr---+-~

l'

l X

7

I

,4 :5 ,1(5

,-'1 ---~

-,2 I~-f-----+--+--===E-!==-e-----II

1

,3

'J
I II I ~
II I II I ,
I II Vi.'
I I VI "'
~ ~ --,.'" I JI '
'~ 2 ,3' 4 5 6 7
'/
I n ;1'- ,
~!' ".
/ I
"J I
l/
""111.1,1' ""
I ... 2

~'1

R'Sru:ra 1 ~" :2,

Idm ~aaerse, IDS; 'VcOt0S, ,de la urna, de llmo- en 'Uiitll~, de modo nilE·'s.ltm~ bays, mas voros ,eu, :farv,Ot. de

', "' "i:_ [t;~~ , . - ..

Ca:tw:ajn:al~ Esk' es 'D, case n~TiIt'itu1n de 'no nroble-

• • .•. l~.. • ~ - - _ •• _. - ~~ •• - 'It'''. .

x

~I ~,

I I I I
'" I I
" -
"I" I /
" ,
r-, V'
r "~'0 . - -
1 2, 4.!S 15 '1'
I I t I
I I
I - I
- JI ~ I I' 2

"

1

='1 =,2 ='3'

_""'I """Ii'

4_·

.'

,~
- I .. II
I I ~
~'
II L ""
I ~, ~//'~~"V~,~ I
1 ,6 ']'
~" n
I ~ .,': I
~
lL'~
,
'.If I
I'
II
I I ~ 1

'':;ji -",

x

ma g~g;e:fa:1 Hamnadn , en forma :adecuada~ ei pTobID~ '~~, d,e '~a, Qma.. Este prQblema· fue resu e,:'ho pOI .jo~p'h Lo<ui:s. Pnm'?Jis Be:mramn;d I( t8,12-.']_I~)~,

2

fun.damentos de 16gica

En el ejemplo 1.38 (seccien lA) del primer capitulo obrcvimos una formula para la suma. Esta f6nnu1a se obtuvo contando la misma cojeccion de objetos (las proposicicnes que ejecutamos en cicrto segmento deprograma) de dos formes distintas e igualandc luego los

resultados. En ccesecuencia, decimos que la formula file establecida mediante una demosrracidn combinatoria. Esta es una de las multiples teenicas para obteeer una demostracion con las que trabajeremos en redo el texto,

En este capitulo daremos un vistazo a 10 que es un argumento valido y una demostracion mas convencional. Cuando un matematico desea ofrecer una demostracion de una situacloe dada, debe utilizar un sistema de ldgica. Esto tambien es cierto para un cientffico de la computaci6n que desarrolla los aIgoritmos neceserios para un programa 0 sistema de programas. La lcgica de las matemaricas se aplica para decidir si una proposicion se sigue.

o es consecuencia logica de una 0 mas proposiciones,

Algunas de las reglas que rigen este proceso se describen en este capitulo. Usaremos despues estas reglas en Jas demostraciones (propcrcionedas en el textc y solicitadas en los ejercicios} que eperccen en los siguientes capirulos. Sin embargo, en ningdn momenta hemos pensado llegar a un punta en el que apliquemos las reglas de modo automatico. Como ha ocurrido ceo la aplicaci6n de las ideas de la enumeraci6n analizadas en el capftulu 1, siempre deberemos analizar y tratar de comprender Ia situacion dada Estc pide atributos que no podemos aprender en un Iibro, como la inspiraci6n 0 la creatividad. El solo heche de aplicar las formulas 0 utilizer las reglas no DOS permitira avanzar en la demostracion de resultados (como es el caso de Iosteoremas) ni resolver problemas de enumeraci6n.

2.1 Conectivas basieas y tablas de verdad

En el desarrollo de cualquier teona, se hacen afinnaciones eo fonna de oraciones. Tales afirmaciones, Uamadas enunciados (0 prcpostciones). son oraciones dedarativas Que son verdaderae Q falsas (perone ambas). Por ejemplo. las siguientes son proposiciones ,/, para representadas, utilizar-emos las .letras minusculas (como p, q Y r).

51

p: La combinaloria es un curse obligatorio para el segundo afio de bachillerato.

q: Margaret Mitchell escribi6 1.0 que el viento se tlevo. r: 2+3=5.

52

Cepltulc 2 Furtdamentos de lcqica

Por otro 'lado, no consideramos como prcposiciones algo como Ia exclamecion iQU~ bonita tarde!

o eJ mandatot

Levantate y haz tus ejercicios.

Las proposiciones anreriures, representadas per las tetras p, q y 1; se considcran proposicioncs primitivas, ya que no hay forma de descornponerlas en algc mas scncillo. Es posible obtener nuevas proposici.ones, a partir de otras existentes, de dos maeeras.

1) Transformando una proposicicn p en la proposicion -'P, que denota su negaci6n y se lee como "no p".

Para la proposici6n anterior P. =p es la proposicion "La combinatoria no es un curse obligatorio para el segundo ana de bacbillerato". (No conslderamos la negaci6n de una proposici6n primitiva como una proposici6n primitiva.) .

2) Combinando dos 0 mas proposiciones en una propostcion compuesta mediante las siguientes conectivas logicas.

a) Conjuncion. La conjuncion de dos proposiciones P. q se denote como p 1\ q, que se lee como "p y rl', En nuestro ejemplo, la proposici6n compuesta p " q se lee como 'La combinatoria es un curso obligatorio para el segundo afic de bacbillerato y Margaret Mitchell escribic Lo que el viemo se Revo",

b) Disyuncion: La cxpecsioa p V q denota I> disyuncion de cualquier par de proposiciones P. q Y se lee como "p 0 q". Por lo tanto, "La combinatcna es un curso obligatorio para el segundo anD de bacbillerato 0 Margaret Mitchell escribio 1.0 que et viemo se llevo" es Ia traducci6n verbal de p V q cuando P. q son las propusiciones ya mencionadas, Usamos la palabra "c" en el scntidc inclusive. En consccueecla.p V q es verdadero si una 0 (a orra o.ambasPJQpOsiciones p, q son veedaderas. En espaaol, a veces se escribe "y/o" para subrayar este heche. La "0" exclusive se denota como py__q. La proposicion compuesta p xq es verdadera si una u otra, perc no ambas proposlciones son verdaderas. Una fonna de expresar P:l q para este ejemplo es "La combinatoria es un curse obligatoriu para el segundo aDo de bechillerato 0 Margaret Mitchell escribi6 Lo que el viemo se llevo, perc no- ambos",

c) Implicacidn: Declmos que "p implica q" y cscribanos p ..... q para designar la proposici6n que es Ia impliClJCwn de q par P+ En forma alternative, podemos dear (i) Si p, entonces q; {ii) pes suficiente para q; (ill) p es una condicien suficiente para q; (iv) p 56]0 si q; (v) q es necesario para p; y (vi) q es una condicion necesaria para p. Unatradnccicn verbal de p ~ q usando nuestro ejemplo es "Si la combinatoria es un curse obbgatorio para el segundo arlo de bachillerato, entcoces Margaret Mitchell escribio zc que et viento se llevo", La

tEl rermino ccmmamftambi6n se traduce como "comaado". (N <iIll E_)

2.1 Conectivas basices y tablas de verdad

S3

proposicirin p se conoce como la hip6te.sis de la implicacion, y q como la CQnciusion: Cuando se ccmbinan las propcsiciones de esta forma. no es neceseno que haya una relaci6n causal entre 'las proposicioues para que 1a implicecicn sea verdadera,

d) Bicondictnnal: Por ultimo, la bicondictonat de dos proposicicnes P. q se denota como p ~ q. 10 cual se lee como "p si Y s610 si q'\ 0 "p es necesario y suficiente para q". Para las proposiclcnes p. q d,a~ en el ejemplo, "La combtnaroria es un curso obligatorio para el segundo aiio de bachilleratc, si y 5610 S1 Margaret Mitchell escribi6Loque el viento se llevo" tiene el significado de p H q, A veces abreviamos"p si y 8610 si q" como"p sii q".

En nuestro aruilisis posterior de 16gica debemos tener presente que un enunciado como EJ mimero x es uu entem

no es una proposicien ya que su vaiorde verdad (verdedero 0 falso) no puede determinarse si DO se asigna un valor numericc ax. Si asignamcs ax el valor de 7, cl resuhado serfa una proposicinn verdadera, Sin embargo. si a x le asignamos valcres como Ih. J2 0 Jr. tendrfamos una proposiclon falsa. En las secciones 2.4 y 2.5 de este capitulo encontraremos de nuevo esre tipo de situaci6n.

En el anslisis anterior, mencionamos las circunstancias en las cuales las prcposiciones compuestas p V q, pY. q se consideran verdaderas, COn base en La verdad de sus componentes p. q. Esta idea de que la verdad 0 falsedad de una proposicion compuesta s610 depende de los valorcs de verdad de sus compcnentes requiere un estudio mas profundo. Las ublas 2.1 y 2.2 resumen los valores de verdad de la negacion de los diferentes tipos de proposicicnes compuestas, COD base en los valoecs de verdad de sus componentes. AI construir estas tablas de verdad, hemos usedo el "0" para falso y ef "! ,~ para verdadero.

tabla 2.2

, q pA, PVq I'Yq p-q p"',
0 0 0 0 0 1 1
0 1 0 1 1 1 a
1 0 a 1 1 0 a
1 1 1 1 a 1 1 Las cuatro asignaciones pcsibles de verdad para PI q pueden enumerarse en cualquier orden. El orden particular que presentamos en este case sera util en nuestro rrabajo posterior.

Vemos que las columnas de los valores de verdad de p Y ""p son opuestas entre si. La proposicien p A q es verdadera s610 cuando p, q son verdaderas, mientras que p V q es falsa solamenrc cuando las des proposiciones compcnenres son falsae. Como ya habremcs observado, p Y. q es verdadera exactamente cuando una de las dos es verdadera.

Para Ja implicacion p ~.q" el tesultado es verdadero en todos los caws, excepto cuandop es verdadero y q es false. No queremos que una prcposicion verdadera nOS conduz.ca a pensar en alga que es false. Sin embargo, conssderemos como verdaderas las prcposiciones "Si 2 + 3 ~ 6, entcnces 2 + 4 ~ T'. aunque las prcposicioees ''2 + 3 :: 6'~ y "2 + 4 ~ 7" sean ambas falsas.

Porutumo.Ia bicondicicnal pH qes verdadera cuando las propnsiciones p~ q tienen eL mismo valor de verdad, y falsa en los demas cases.

a) (t A --'u) ~ S~ Si la luna esra brillando y 110 csta nevando, emonces Felipe sale a dar un paseo.

b) t....o? (...,u ~ s): Si la luna esta brillando, entonces si no esta nevando, Felipe sale a dar un paseo. [Asi, =u -+ s se enriende como (""u) ~ s Y no como ""(u ~ 5).)

c) ...... (s ~ (u V z)}: No ccurre que Felipe salga a dar un paseo si y $610 si esta nevandc

o la luna esta brillando. .

54

capitulo 2 Fundamentcs de l6grca

Ahora que he-mos preseutado algunos conceptos, estudiaremos COn mas detalle estes ideas iniciales acerca de las conectivas, Nuestros primeros dos ejemplos seran ritiles para nuestro estudio.

Sean s, r y u las siguientes proposiciones primirivas: s: Felipe sale a dar un paseo. t: La luna esta brillando.

u: Esta nevendo.

Las siguientes oractones ofrecen algunas traducciones pcsibles para Las proposiciones compuestas simbolicas dadas.

Ahara trabajaremos en orden inverse y examinaremcs la noraclcn Iogica (o simbclica) para las siguientes tres frases:

d) "Felipe saldra a dar un pasco si y solo si 1. luna csta brillando''. Aquf, las palabras "si y solo si" indican que estamcs trabajando COn una bicondicional, En forma simb6Lica, esto se convierte en 5 H t.

e) "Si csra nevando y la luna DO esta brillando, entonces Felipe no saldra a dar un pasco". Esta proposiciou compuesta es una implicaci6n, en la que la hipotesis es a SU vez una proposici6n compuesta, Podriamos expresar esta proposicion en forma sunbotica como (u A --.t) ---t ....,S.

o "Este nevando perc, aun asf, Felipe saldra a dar un paseo". Ahora nos encontramcs con una nueva ccnectiva: pero. En nuestro estudio de la logica, seguiremos La convencicn de que las conecdvas pero e y tienen el mismo significado. En consecuencia, esta frase puede representarse como It A s.

Ahora regresemos a los resultados de la tab1a 2.2~ en particular. la sexta columna. Porque SI es esta la primera vez que eL lector se encuentracon la tablade verdad de la implicacidn p -+ q, entonces podria ser dffici1 que acepte 10s datos de dicha tabla, particularmente los resultados de los dos primeros cases (donde p tiene cl valor de verded 0). EI siguiente ejemplo puede ayudarle a comprender y aceptar estas asignaciones de valcres de verdad,

Consideremos la siguiente situacion. Estamos a casi una semana antes de Navidad y Penelope ira a varias fiestas en esta semana. Como esta preocupada por su peso, ha decidido no pesarse basta el dfa despues de Navidad. Pensando en las consecuencias que esas

2.1 Conectivas basicas y ta~la'i deverdad

55

fiestas podnan tener con su figara, ha decidldc 10 siguiente para el ilia 26: "Si peso mas de 6p. kilogramos, entoeces me mscribire en una clasc de educacion ffsica".

Aquf barcmos que p y q deeoren las proposiciones (primitivas)

p: Peso mas de 60 kg.

q: Me inscriblre en la clase de educaci6n fisica.

Entonces la posicion de Penelope (una implicacicn) esta dada par P ---) q.

Consideraremos los valores de verdad de este ejemplo particular de p ~ q respecto a las filas de la tabla 2.2; en primer lugar, los casos mas sencillos, las files 4 y 3.

• Fila 4: p y q dene eI valor de verdad 1. EI 26 de diciembre, Penelope pesa mas de 60 kilogramos y se inscribe rapidamente en la clare de educacidn ffsica, justo como ]0 babia dicho, Aquf p -+ q es verdadera y se le asigna cl valor de verdad I.

• Fila 3: p tiene el valor de verdad I, q tiene el valor de verdad O. EI 26 de diciembre, Penelope pesa mas de 60 kilogramos, perc decide no entrar al curse de cducacion fisica. En este case, vemos que Penelope haroto su promesa;. en otras palabras, la implicacidn

p --> q e. fal sa (y tiene el valor de verdad OJ. .

Los casos de las fllas 1 y 2 podrian no coincidlr inmediatamente con nuesrra intuicidu, perc el ejemplc nos ayudara a aceptar los resultados.

• Fila I: p y q tienen el valor de verdad O. EI26 de diciembre Penelope tiene un peso menor 0 igual que 60 kilogramas y no se inscribe en cl curse de educaci6n ffsica. EUa no ha violado su resolucicn: consideramos entocces que la proposici6np -----j- q es verdadera y le asignsmos el valor de verdad I.

• Fila 2: p tiene el valor de verdad 0, q tiene el valor de verdad 1. En este ultimo case, Penelope pesa 60 kllngramos 0 menos e126 de diciembre, pew arin as! se inscribe en e1 curse. Es probable que pese 59 0 60 kilos y siente que esto es demasiado. 0 bien, es probable que desee inscrib1rse porque piensa que es bueno pam SU salud. Sin importer la razon. ella no va en contra de su resoluci6n p ---t q. Una vez mas, aceptamos esta proposici6n compuesta como verdadera, y le asignamos el valor de verdad 1.

Nuestro siguiente ejempIo analiza un concepto relacionado con 10 anterior: Ia estructufa de decision (0 sel.ecci6n) en la programacinn de computadores.

En las ciencias de Ia computacion, aparecen las estructuras de decision si-enronces y sientonces-o en tenguajes como BASIC y Pascal. La hipotesis pes con frecuencia una expresion relacional como x > 2.Esta expresion se convierte entcnces en una proposicien (logica) que neee el valor de verdad. 0 0 I, segtin cl valor de la variable x en ese.punto del programa, La condusi6n q podria ser un "enunciado ejecutable" para que el programa tome ctra direcci6n 0 para una impresion. (Asf q no es una de las proposiciones logicas que hernos estado anaJizando.) AI trabajar con "Si p entonces q", en este contexte, el

56

Capftulo 2 Fundementos de 16gica

computador ejecuta q s610 en el caso de que p sea verdadero, Si p es false, el computador pasa a la sigutente instruccicn en Ia secuencia del programa. En el case de la estructura de decision "Si p entonces q. 0 r", q se ejecura cuando p es verdadera, y r se ejecuta cuando pes false,

Antes de. continuar, una advertencia: tenga cuidado at usar los sfmbolos ~ y H. La implicacion y la bicondicional no SOD iguales, como 10 muestran las dlrimas dos columnas de la tabla 2.2.

Sin embargo, en el Ienguaje cotidiano, con trecuencta se utiliza una nnplicacion COD Ia intencidn real de una biconditional. Per ejemplo, considerernos las siguientes implicaciones que un padre dirige a su hijo.

$""" t: Si haces to tarea, enronces iras al juego de beisbol. t --; s: Ires al juego de beisbol s610 si baces 13 tarea.

• Caso 1; La implicacion s -) t. Cuando el padre le dice al hijo "Si baces tc tarea, entonces iras al juego de beisbol", intenta darle un punto de vista positive hacienda hincapie en la diversion de ver un juego de beisbol. .

• Case 2: La implicaclon t ~ s. Aqui enconrramos el punta de vista negative y el padre que advierte a1 hijo al decir "Iras al juegc de beisbol 5610 si haces Ia tarea". Esre padre pone enfasls en eL castigc (carencia de diversion) en que se puede incurrir,

Sin embargo, en ambos cases, el padre desea que su irnplicacicn. ya sea s ----) tot ~ s, se entienda com-o Ia bicondicional 5 H t. Ya que en el primer caso, el padre da indicics del casngo a le vez que promete un premio; en el case 2, en cl que se utiliza el castigo (tal vez para amenazar), si el chico realmente hare la tarea, entonces definitivamente teedra la oportunidad de disfrutar el juegc de beisbcl.

En los escritos ciennficos. debemcs hacer eI maximo esfuerzo para no ser ambiguc: cuando se da una implicacion. generalmente no puede, ni debe, inrerpretarse come una bicondicional. Las definiciones son una notable excepcidn que analizaremos en la seccton 2.S.

Antes de conrinuar daremos uu paso atras.Af resumir el material que produjo las tablas 2.1 y 2.2. tal vez no pusimos suficiente enfasis en que los resultados son clertos para cualquier par de prcposiciones P. q. Y no s610 para proposiciones primitives P, q Los ejemplos 2.4 a 2.6 nos ayudaran a reforzar eseo.

Examinemos la tabla de verdad de la proposiclon compuesra: "Margaret Mitchell escribio La que ei viauo se llev6 y si 2 + 3 ;# S, entonces Ia combinatcria es un curso obligatorio para ei segundo ano de bachilleraro". En notacion simbclica, esta proposicion se escnbe como q 1\ (~r-) pl. donde P. q Y r representan las proposiciones priminvas que imrcdujimos al principia de esta seccion. La ultima columna de la tabla 2.3 comlene los val ores de verdad de este resultado. Obtuvimos estes valores de verdad recurricndo a1 heche de que la conjuncidn de dos proposiciones es verdadera si y s610 si ambas proposiciones son verdaderas. Esto es 10 que dijimos antes. en la tabla 2.2; ahora una de nuestras proposicio-

2.1 Conectivas baskes y tables de verd~d

57

nes {la implicacicn .... r -+ p) es definitivamente una proposicion compuesta y no una primitiva, Las columnas 4) 5 Y 6 de esta tabla muestran Ia forma de construir la tabla de verdad, considerando partes mas pequeiias de la proposicion compuesta y usando los resultados de las tablas 2.1 y 2.2.

Tabla 2.3

p q , .." -'T-p q/\("~P •
0 0 0 1 0 0
0 0 1 0 I a
0 1 0 I 0 a
0 1 1 0 1 1
1 0 0 1 1 0
1 a 1 0 1 0
1 1 0 1 1 1
1 1 1 0 1 1 En la tabla 2.4 desarrcllamos las tablas de verdad de las proposiciones compuestas p V (q" r)(columna5)y(p V q) /I. r(columna 7).

Tabla 2.4 .

p q r ql\, PV(ql\,) PVq (pVq)l\r
0 0 0 0 a 0 0
0 0 1 0 0 0 a
0 1 a 0 0 1 0
0 1 1 1 1 1 1
1 0 0 0 ] 1 0
1 a 1 0 1 1 1
1 1 0 0 1 1 0
1 1 1 1 1 1 1 Como los valores de vcrdad de las columnas 5 y 7 difieren (en las fi1as 5 y 7), debernos evitar escribir una proposicion compuesta como p V q A r. Si no disponemos de los parentesis que indiquen cum de las conectivas logicas 1\ u V debe aplicarse primero, DQ tendremos idea de si estamos rrabajando conp V (q A r) o con (p V q_) A r.

EI ultimo ejemplo de esta seccioe ilustra dos tipos particulares de proposiciones,

Los resultados de las columnas 4 y 7 de la tabla 2.5 muestran quo la proposicionp .... (p V g) es verdadera y que la proposicion p A (""p A q) es falsa en el case de todas las asignaciones de valores de verdad p3.(3 las proposiciones componentes p. q.

58

capitulo 2 Iundarnentcs de logica

"labia 2.5

p q PVf p-(pVq) "p -,pAq p/\(-,p/\q)
0 0 0 1 1 0 a
0 1 1 1 1 1 0
1 0 1 1 0 0 0
1 1 1 1 0 0 0 Definici6n 2.1

Una proposici6n compuesta es UDa tautologta si es verdadera para todas las asignacicnes de valorcs de verda.d para sus propcsiciones ccmponenres. 5j una proposici6n compuesta es false para todas estas asignaciones, entonces es una conirodiccion,

En este ceprnno usaremcs el sfmbolo T(I para denotar una tautologra y el sfrabolo FQ para denotar una coneadiccion.

Podemas usar las ideas de tautologfa e implicaciou para describir 10 que enteudemcs por un argumento valido. Estc tendra un interes primordial para nosotros en la seccion 2.3. y nos ayudara a desarrollar la capacidad necesaria para demostrar teoremas metemancos. En general, un argumento comienza con una lista de proposicionessaces llamadaspremisa.5 y una proposici6n que se conoce Como la conclusion del argumento. Debemos examinar estas preuusas, Ph P2. P~ ••.• , PI!! e inrentar demostrar que Ia conclusion q se sigue logicamente de estas proposiciones dadas; es decir, .intentamos demostrar que si carla 'Una de Las premisas Ph /'7.. P'5' ..• ~ PIC es una proposici6n verdadera, emonces la proposicion q tarnbi~n es verdadera. Una forma de heccr estc consiste en analizar la implicaci6n

(PI I\p,/\p,/\ ... /\P.)t- q,

doade la hip6tesis es la conjunci6n de las n premisas. Si cuajquiera de las premisas PI' Pl. PJI' .• P .. es falsa, entonces no importa el valor de verded de q, pues, en este caso, Ia implicacidn (PI A p,_ A PJ 1\ ... A pJ ---t q es verdadera. En consecuencla, si partimos de las premises Pl. p-, Pl •...• Pn (cada una con valor de verdad 1) y vemcs que en esras clrcunstancias q tambien tiene el valor 1, entonces La implicacicn

es una tasuologia y tenemos un argume.mo vdiido.

:JERCICIOS 2.1

1. Determine caales de las siguientes oraciones sen propcsiciones.

a) En 1990. George Bush era el presidente de Estadcs Unidos.

b) x + 3 es un entero positive.

e) jSi todas las mananas fueran tan soleadas y despejadas como estal

t .En este momento, s610 aabajamos COD la conjunci6n de dos proposiciooes, as! que debemos senalar ~ ]a coujunci6n PI "P2 It. p,. A ... A P. de- n proposiciones es veroadera si y s6lo s:i ceda p;. I :S i :S. II. es vetdade.:a An.alizaIemos coo de'talLe esta cOlIjunci6n generalizeda eo eI ejemplo 4, 14 de La seccicn 4.2.

2.1 Ccnectivas basicas y tables de verdad

59

II) Quince es un numerc par;

e) Si Josefina tarda en Heger a La fiesta.su prime Zacarias podrfa enojarse. J) i.Que hora es?

g) De la corte de Moctezuma a las playas de Tripoli.

b) Basta el 30 dejunio de 1986, Christine Marie Evert habra ganado el ablerto de Francia siete veces.

2. ldentiiique las proposiciones primitivas en el ejercicic 1.

3. Sean P. q proposiciones primitivas para las que la implicacicn p 4 q es falsa. Determine los valores de verdad de

a) pAq

b) 'PVq

0) q ..... p

4. Sean P. q, r, s Ias siguientes proposicicees: p: Termino de escribir mi programa de com putacton antes de la comida; o: Jugare rents en la tarde; r: EI sol esm brillando; s: La humedad es baja. Escriba 10 siguieere en forma simbolica.

a) Si el sol esta brillando.jugare tenis esre tarde.

b) Tttminardeescribir:mi pmgrama antes de laccmidaes necesario paraqaejuegue tenis este tarde.

c) La bumedad baja y el 501 brillante son suflcienres para que juegue tenis esta tarde.

5_ Sean p, q. r las siguientes proposicicnes acerca de un triangulo ABC particular. p: El triangulc ABC es Isosceles: q: El t:riangulo,ABC es equilarerc; rt El rriangulc ABC e$ equiangular. 'Iracuzca cada una de las siguientes proposiciones en una frase en espenol.

a) q_p b) =o+>« c) q_r

d) p Iv-vq e) T-P

6. Determine el valor de verdad de cada una de las siguienres implicaciones.

a) 5i 3 + 4 = 12.entoDces3 +2=6.

b) Si 3 +3=6.entonces3+6=9.

c) Si3+3:=6,emonces3+4=9.

d) Si Thomas. Jefferson file el tercer presidente de Estados Unidos, enronces 2 + 3 = 5.

7. veelva a escribir ceda una de las sigulenres prcposiciones como unaimplicacion de 13 forma sl-entonces.

a) La pracnca diana de Sll servicic es una condici6n suficiente para que Daniela tenga una buena posibilidad de ganar el rorneo de rents.

b) Arregle rni eire acondicionadc 0 00 pagare la renta.

c) Marfa puede subir a la morocicleta de Luis sdlo si usa el casco.

8. Ccnstruya una tabla de v erdad para ceda de las signientes proposiciones compuestas; p, q. r denoten proposicicnes primirivas.

a) ,(pV,q)-,p b) p~(q_r)

d) (p_q)_(q ..... p) e) [pA(p ..... q)]_q

g) q"('PV-.q) b) [(p-q)A(q-r)l-(p-r)

9. i,CuaJ.es de las proposiricnes compuestas del ejercicio 8 son teurologfas?

10. Verifique que [p ~ (q ~ r)] --i' ((p ~ q) -4 (p ~ r)J es una tautologfa.

1 1 _ a) iCu;inoo fibs se necesitan para la tabla de verdad de la proposicion compuesta (p V -.q) H [(-.r A s) -4 II, dondep. q. r, s y r son propesiciones primiti v as?

b) Seanpl,P2 •... ,p. proposiciones primitives. Seap una propcstcion compuesta que conriene al menos una ocurrencia de cada Pi. para 1 :.; i :s n (1 p no contiene otra proposicicn primitival.j.Cuantas fllas se necesitan para ccnsrrurr La tabla de verdad de p?

c) (p-q) ..... r f) (pAq)_p

12. Determme todas Las asignacicoes de valcres de verdad, si es que existen, para las propcstciones prirnitivasp, Q. r, S.! que hacen que 100as las siguieates proposicicnes compuesras seanfalsas .

. a) [(pAq)Ar] ..... ($Vt)

b) [pA(qAr)]_(s" t)

60

capftulo 2 Fundamerrtns de logica

13. a) Si 13 proposicidn q delle el valor de verdad 1. determine todas las asignaciones de valores de verdad para. las prcposiciones primitivas p. J' Y s para las que el valor de verdad de [a proposicirin

es igual a L

b} Respcnda 10 parte ra) si qtiene el valor <I< verdad O.

14. Al Inicic de cieno programa en Pascal. la variable entera R recibe el valor de '7. Determine el valor de Ii despues de enconrrar rada uno de los siguientes emmciados. sucesivos durante La ejecucidn del programa.. [En este caso, el valor de n despues de Ia ejecucton de'lenundado de la ~ (a) se convterte en cl valor de n pi!Ia el encnciado de la parte (b). etcetera, hasta el enunciadc de Ia parte (e). Laoperacion Dtv en Pascal devuelve Iaparte entera de un cociente:

PO' ejemptc, 6 Di" 2 = 3,7 Div 2 = 3 y 8 Thv 3 = 2.) 8) If' 0>5 'then n := n+2;

b) H' «n+2=8) or 1a.-3=B)) then tI:"" 2.n+l;

e) It' {{n~3=16) and. en Div 6=1)) thea. D.:= 1l.+3;

d) If {{n<>211 and (n-7=15)) then n := D-4;

e) If {(Il Div 5""2) or (n+l=20)) the-n n :=1l+1;

, S. Las variables ecteres m y n reciben los velcres de 3 y 8, respectlvamente, durante 13 ejecucion de ciertoprograma en Pascal. Durante le ejecucion del programa. se eecueecaa los siguientes enunciados sucesivos. [Aquf, ]05 Valores de in-. n despots. de la ejecucicn del enunciado de la parte {a) secouviertenee 105 valores dem. ~ para el enunciado de la:parte'{b). eeeera. hasta el enunciadc de la parte (g).] lCuoUes son tOS valcres de m," despOOi. de eecontrar eeda uno de estes enunciados?

a.) If n-II.",:,5 then D := n-2;

b) If ((2*III=n) and InD,iv4=1)) tb:enn:= 4.111-3}·

c) If ((n<8) or \IIDi,," 2=2n then n r = ~*.II

efee II := 2-D;

d) If 111II<:20} and (n Div 6=1)) 'then 11:= lI-n-5;

e) If ((0.-2*41) Of (.n Div 2=511 then _ := :11+2;

f) It I In DiY :3=31 a.a.d: (lli Diy 3 <> 1) J then _ ~= n:

g) If" lrI*n <> 35 tban n ~= g"m+7;

16. En el s.iguientesegmento de un programa en Pascal. i.i. m y n son variables eeteras. EL usuario propordona los valores de m y n en una parte anterior de la ejecncicn (total) del programa-

For i : - 1 to II do For j ~ - 1 t-o n do It i -c» j then

"riteln ('7h-e S\LII. of i and: j is ", i + j);

LCuMtas. veces apareceel emmciadc Writcln en cl segmentc ejecotado- cuando (a)m == lq.n"'" 10; (b) m = 20,. = 20; (0) m = 10," = 20; ~~) m ='20, n = to?

17. Parael sfguienre programa en 8ASlC i.~tas veces seejecuta la proposicics PRINT de la linea 40?

10.X=10

20 FOR 1=1 TO 7

30 FOR J"" 1 TO 1+3

<10 IF ((X>S) O~ (1)5 AND 0<10)) 'fI$IPlUN'l' X

50 NEXT J"

60 X-X-l

70 NEXT :I

60 E:IID

2.2 Equivalencia 16gi1A: las leyes de la logica

61

18. Un segmento de un programs en Pascal conoeee UJ1 ciclo Repeat-Until esrructurado de la forma siguiente:

Repeat

Until ((x <> 0) and \y>On Dr (not (\ .. :>0) and (t=;,}));

En el casc de cada una de las siguientes asignacionespara las variahles x. y, 11' y r, determine si termina 0 no el ciclo.

a) r~7,y~2,w~5,t~3 c) x=O,y=-1.w=1,t=3

b) %~O.y~2,w~-3.t~1 d) x=1,y=-1,w=l,r=3

19. Despces de homear un pastel para sus des schrinas y des sobrinos que vienen a visitarla, Ia tIa Natalia deja el pastel en Ia mesa de la cocina para que se enfrfe. Leego, ella va at centre comercial para cerrar su tienda durante el resro del dis. Al regresar; deecubrc que atguien se ha eomido una cuarta parte del pastel (e incluso hJVO el zesceo de dejar 5U plato sucic junco al resto del pastel), Puesro que nactie estuvo en sn casa ese dfa (excepto los cuatro visitantesj.Ja da Natalia se pregunta emil de sus sobrinos se comerfa esa parte del pastel. Los CI,I..$ro .... sospechosos=Je dicen ]0 siguiente:

Carlos: Jimeaa se collli6 el trozo de pastel.

Delia: Yo no we 10 eoml

Jimeoa: Tbtlo selc corniO.

Tofio: Jimena minti6 cuando dijo que yo me habra oemido el pastel.

Si 56100 una de estas proposiciones es verdadera y s610 uno de ellos coeenc el terrible crimen. lquien es el culpable at que la ua Natalia debe castigar severamente?

2.2 Equivalencia 16gica:

Las I.eyes de la 16gica

En todas las areas de las merematicas, necesnamos saber cuando las entidades que estudiamos SOD iguales 0 esencialmeere las mismas. Por ejemplo. en aritmetica y algebra sabemos que dos nnmeros reales distintos de cera son iguales cuando tienen Ia misma magnitud y signo algebraico, Per 10 tanto, para dos mimeros reeles cualesquierax y, distintos de cere, teaemos que r ~ y si I % I ~ I y I y xy > 0, y viceversa (es decir, si x = y, entonces 1% I = I y I y xy > 0). Cuando analizamos rrilingulos en geometna, surge el concepto de ccngrueucia, En este caso, el triangulc ABC y el triangulo DliF son congruentes si, por ejemplc, sus lados correspondientes son iguales (es decir.Ia longitud delladoAB es igua1 a la longitud delladoDE, 10 longitud dell.doBCes igual a I. delladoEF; y ladel lado Ca es igual a Ia del !ado FD).

Nuestro estudio de 1a 16gica se concce con frecuencia como algebra de proposiciones <en opcsicien al algebra de los mimetus reales). Aquiutilizaremos las rablas de verdad de los enunciados, 0 prcposiciones. para desarrollar una idea acerca de cuando las des entidades son esencialmente la misma. Comencemos con un ejemplo.

Para las prcposiciones primiti vas p r q. 10 tabla 2.6 proporeiona Ias tablas de verdad d. las . proposiciones compuestas """Ip V q Y P ~ q. Aquf vemos que las tables de verdad correspcndientes de las des proposiciones ""P V q Y P ~ q son exactamenre iguales,

62

capitulo 2 Fundamentos de 16gfca

Tabla 2.6

p q ,p "'pVq p-q
0 0 1 1 1
0 1 1 1 1
I 0 0 0 0
I 1 0 I 1 Esta situacion nos lleva a Ia idea siguiente.

D<!finici6n 2.2

Dos proposlclones 510 s~ son /6gicamenM eqnivalentes. y escribimos .rl <=> Sl. cuando 13 prcpcsicien Sl es verdadera (respectivamente, falsa) si y solo si la proposic-cn S2es verdadcra (respectivamente, falsa).

Observe que cuando s. ¢:::) S2. las proposiciones 51 Y $2 dan lugar a las mismas tablas de verdad ya que s., S2 tiencn los mismos velores de verdad' para todas las opciones de valores de verdad de sus componentes primitives.

Como resultado de esre concepto, vemos que podemos expresar la conectiva para la irnplicacicn {de proposiciones primitivas} en rerminos de La negaci6n y la disyuncidn; es decir, (p ~q) <=> ...... p V q. De la misma manera, e) rcsultado de la tabla2_7 indica que (p ... q) '"'" (p .... q) 1\ (q .... p); esto ayuda a validar el uso del termino bicondicional. Si usamos la equivalencia lcgica de la tabla 2.61 vemos que tambjen podemos escribir (p of-:! q) ¢::} (-'p V q) f\. {""q V p). Enconsecuencia, si ast lo queremos. podemos eliminar las conecrivas ~ Y H de las proposiciunes compcesees.

Si examinamos la tabla 2.8, tenemos que Ia negaci6n y las conectivas 1\ y V son todo 10 que necesitamos para reemplazar Ia conectiva 0 exclusive, y. De hecbo, podrfamos Incluso climinar una de las conectivas /\ y V. Sin embargo, para las aplicaciones relacionadas con este tema y que queremos estudiar mas adelanto en este rexto, necesitaremos tanto A y V como ~a negacion.

Tabl.2.7

p q p-q q-p (p-q)lI(q_p) r=«
0 0 1 1 1 1
0 1 1 0 0 0
1 0 0 1 0 0
1 1 1 I 1 1 T<>bl.2.8

p q p:t.q pVq pllq -,(pllq) (pVq)II-,(p!lq)
0 0 0 0 0 1 0
0 1 1 1 0 1 1
1 0 1 1 0 1 1
1 1 0 1 I 0 0 2.2

63

Ahora usaremos la idea de equivalencia 16gica para examinar algunas de Las propiedades importantes que se cumplen en eI algebra de las proposiciones.

Para cualquier par de mimeros reales a, b, .. bemos que -(a + b) ~ (-a) + (-b). i.E.;, te un tesultado similar para las proposicion es primitives p, q?

En la tabla 2.9 hemos construido las tablas de verdad para las proposiciones ~(p f\ q), ""p V =e. .... (p V q} y ""p A -'q. donde p, q son proposiciones primitives. Las columnas

l:iIbl.2.9

I' q pAq -'(I'Ag) -'1' '9 -'pV-,q PV'I -'(I'Vq) -"1\-,,
0 0 0 1 1 1 1 () 1 1
0 1 0 1 1 0 1 1 0 0
1 0 0 1 0 1 1 1 () 0
1 1 1 a 0 0 0 1 0 () 4 Y 7 muestran que ~(p f\ q).,. ~p V -q; las columnas 9 y IOmuestran que -(p V q) "'" ""p A =q- Bstosresultados se conocen como las [eyes de De Morgan. Son similares a la conocida propiedad correspondiente de los nl1meros reales,

-(a +b)=(-a)+(-b),

ya comentada, que muestra que el negative de una suma es igual a la suma de los negativos, Sin embargo. aquf surge una diferencia crucial: la negacion de fa cunjunci6n de des proposiciones primitivas p. q produce la disyuncion de sus negaciones =». -'q, rnientras que la negacicn de ladisyunci6n de las mismas proposicionesp, q es logicamente equivalente a la conjuncion de las negaciones =p, -'q.

Aunque en el ejemplo anterior P. q eran propcstcicnes primitives, pronto veremos que las leyes de De Morgan son vcllidas pam cualquier par de proposiciones.

En la aritmetica de los niimeros realest las opereciones de soma y multip1icaci6u esren re1acionadas por la Hamada propiedad distributiva de la multiplicaci6n scbee la suma; si a. b. c son mimeros reales,

a X (b + c) ~ (a X b) + (a "c).

El siguiente ejemplc muestra una propiedad similar para las proposiciones primitivas, Tambien existe otta ley relacienada con esro (para las proposiciones prhnitrvas) que QO. tiene su contrapartida en fa arienenca de los ndmeros reales.

La tabla 2.10 conriene las tablas de verdad de las proposiciones p " (q V r), (p f\ q) V (p f\ r~ p V (q 1\ r) y (p V q) f\ (p V r). De I. tabla so sigue que para P. q Y r proposicicnes primitivas,

4

Capitulo 2 Fundamentos de logica

La propiedad distributiva de " sabre V La propledad distribuuva de v sobrc 1\

pt\(qvr)¢'>(pAq)V{p Ar) PV(q t\r)¢'>(PVtj)t\(pvr) labl.2.10

p q r pll(qV') (pllq)V(pA,) pV(qA,) (I'Vq)lI(pvr)
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 ] 0 0 0 0 0
0 1 ] 0 0 ] 1
1 0 0 0 0 ] 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 I 1 1 1 La segunda ley distributive no tiene su connapartida en 13 aritmetica de los mhncros reales.

Es decir, Does cieec que para tcdos lcs numeros reelesc, by C,o+ (b X c) "" (a +b) x (a+ c). Por ejemplo, para e e Z, b = 3 y c= 5, a + (b x c) = 17 pero (a ... b) x (a + c) = 35.

Antes de prcseguir, observe-mas que, en general. si s" S2 son proposiciones y S:i ~ 51 es una tautologra, entonces r, 'I s2debeo tener los mismos valores de verdad correspondientes (es decir, para cada asignacion de valores de verdad a las proposiciones primitives en Sl Y $2. SI es verda.derasi y s61,? sl $2 es verdadera y 51 es falsa si y s610 si r, es faIsa) y $1 =- 52- Cuando s, Y SL son proposicioaes lcgicamente equivelentes (es decir; 51 {;;} 52), entonces la proposiclon ccmpuesta 9. H $1 es una tautologfa. En este caso, tambien es cierto que ""SI <=> ""S2 Y ""SI H ...,s~ son tautologies.

Sis., ~l y 51 sonproposiciones tales que s, ¢;;:;o SlY $1 ¢::> S,3.. entcnces s, ~ S}. Cuando dos proposiciones 51 y ~ no Son 16gicamente equivalentes, podemos escribir $, ¢ 5~ para designar esta slmecioe.

Con los conceptos de equivalencia logica, tautologfa 'I contradiccion, enunciamos la siguiente lista de propiedades del algebra de proposiciones.

Las J.,. de Ia I6gica

PlIIlI ~ proposiciooes primiIi¥3S p. q. r. coaIquier tauIOkIgia T. Y cuaJqoje<

00IIIl3dicci6n F.. .

1) '"1p¢'.>P

2) '(PVq)¢'>-,pt\~q ,(p t\q)e-=.p V""lfl

3) pVq¢'>qVp .pt\q@qt\p

4) PV(qVry¢'>(PVq)vrt p I\(q Ar)@(pt\q)t\r

t Observemos que, debidc a las Ieyes esoclauvas, no bay ambiguedad en las propcstcicnes de la forma pVqVropl\qllr.

2.2 Equivafenda 16gica: las leyes de la 16gica

65

S) PV(ql\T)~(PVq)I\(PVr) p/\(qV~~(J!/\q)v(p/\r)

6) PVp¢!>p p/\p¢;>p

7) PVJf,~p 1!1',r,,~p

8) PV--.p~1;, pl\,p~F. ') pvTo~1;, pI\Fo~Jf,

141) PV(pl\q)~p p/\(PVq)~p

Abora vamos a demcstrar todas estas propiedades. AI hacerlo nOS deremos cuenta de que simple mente podrfamos construir las tablas de verdad y comparar los resultados de Jos valores de verdad correspondientes en cede case, como 10 hiclmos en los ejemplos 2.8 y 2.9. Sin embargo, antes de comeezar a escribir, revisemos de nuevo este lista de 19 leyes, las cuales. excepto per Ia ley de la doble negacion, se agrupaa oatur.a1mente por pares. Bsta idea de] apareamientc nos ayudara despues de analizar el slguiente concepto,

Iiefiniei6n 2.3

Seal unaproposicion. Si s no contienc coeectivas logices distintas de 1\ y V, entonces el dual de s, que se denota como s', es la proposicicn que se obtiene de s at reemplazar cada ocurrencia de A y V con V e ". respectivamente, y cada ccurrencia de To y Fo con Fo Y To. respectivamente.

Si p es una proposicion primitiva, entonces II es igual a p; es decir, el dual de una proposicicn primiriva es simplemente Ia misma propcsidon primitiva Y (""'PY es igual a -'p. Las proposiciones p V =P Y P A -'p son duales una de otra euando p es primitive;

por 10 tanto. tambien 10 son las prcposiciones p V To Y P A F 0- •

Dadas las proposiciones primitivas p, q, r y Ia proposici6n compuesta

s: (p/\--.q)V(r/\T,),

vemos q1le el dual de.s es

s': (p V--.q)/\ (rvFo). (Observe que ~q no cambia al pasar de s a s'.)

Abora estableceremos y utilizaremcs un teorema sin demostrario. Sin embargo, en el capitulo 15 jusrificaremns el resuttado que aparece aqui,

TEOREMA2.1

(£I principia de dualidad) Sean s y r proposiciones como las descritas en ladefinicidn 2.3. Si s <:=} t, entcnces s4 <=:> F.

Como resultado, las propiodades 2 • !O de nuestra lista puedcn ser establecidas mediante Ia demostraci6n de una de las propiedades de cada par y recurriendo luego a este principia.

Capitulo 2 Fundamentos de l6gica

Tambitn vemos que es posiblc obtener mochas otras equivalencies logicas, Por ejemplo, si q) ;(, S SOD proposiciones primitives, los resultados de las cclumnas 5 y '7 de la tabla 2.11 nos muesrran que

(7 1\.)-> q~,(, I\s) V q

o que [(r A s} --> q) <-> [~(, A s) V q) es una tautologta, Sin embargo. en vez de construir carla vez mas tablas de verdad (y. por desgracia, cada vez mas grandes) serfa buena idea

lObi. 2.11

q 7 , rA, (r!\s)-q ,(,1\,) ..,(rA')Vq
0 0 0 0 1 1 1
0 0 1 0 1 1 1
0 1 0 0 1 1 1
0 1 1 I 0 0 0
1 0 0 0 1 1 1
1 0 1 0 1 1 1
1 1 a 0 1 1 1
1 1 1 1 1 0 1 a) De Ia primera de las leyes de De Morgan, sebemos que para cuajesquiera proposiciones primitivas P. q, Ia proposici6n ccmpuesta

recorder el ejemplo 2-.7, en el cual se establece que para q.P proposiciones primitivas, la proposici6n compuesta

(p-->q)<-> (,pVq)

es una teutologta, Si reemplazamos carla ocurrencia de esta proposicidn primitiva p par ]a proposici6n compuesta r A s. entonces obtendrfamos Ia tautclogta anterior

[(,1\.)_ q]++ [0(, !\s)V q].

Lo que ha ocurrido aquf muestra Ia primera de las siguientes regtas de susriruci6n:

1) Suponga que la proposici6n compuesta P es una tautologfa, Si p es una proposickm primitiva que aparece en P y reemplazamos cada ccurrencia de p par lamisma pwposicion q, entcnces la proposici6n compuesta resultante PI tambien es una tautologia.

2) Sea Puna proposici6n compuesta donde p es una proposici6n arbitraria que aparece en P, y sea q una proposici6n tal que q ~ p. Supongamos que en P reemplazamos una 0 mas ocurrencias de ppm q. Entonces esre reemplazo produce la proposicion compuesta PI. En ese caso, PI <;;;;- P.

Estes reglas se ilustran en los siguiente.s dos ejemplos.

1': "'(PVq)<->(..,pl\..,q)

es una tautologfa. Cuando reemplazamos cada ocurrencia dep por r A s, se sigue, a panic de la primera regJa de sustitucron, que

P,: ..,[(rl\s)vq]-[,(rl\s)!\,q]

2.2 Equwaencie 16grca: las leyes de la l6gica

67

tambien es una tautologfa. S1 extendemos un poco mas este resnltadc, podemcs reemplazar esta ocurrencia de q por t ~ u. La misma regia de sustiruci6n produce ahora la tautologfa

P,: ..,[(r /\S) V (1--> u») .... [..,(r As) /\..,(1- u)),

y~ por 10 tanto, por las observaciones que aparecen un poco despues del ejemplo 2.9, la equivalencia logica

..,[(r As) V (1- u )]¢}[o(r /\s) A ",(1--> u»).

b) la segunda ley de dominacion indica que. para cualquier proposicion primitiva p, Ia propcsictoe compueste

P: (p/\Fo)-Fo

es una tautclogfa. Si reemplazamos p por la prcpcsicidn [(q V r) ~ s), entonces la mlsma primers regla de sustituci6n produce Ia nueva tautologfa

P,: ([(qvr)-s]/\Fo)-Fo, y poe ~o tanto la equivalencia 16gica

[(q vr)--+s)/\F,~ 1\,.

c) Para las proposiciones priaiitivas p, q. vimos en la Ultima columna de latabla 2.12 que la proposicion ccmpuesta [p A (p ~ q)] 44 es una tautologfa. En consecuencia. si r, s, r, u son cualesquiera prcposiciones arbitrarias, entonces, por la primers regla de sustituci6n obtenemos la nueva tautologta

[(r-s) /\[(r--> s) -> (,IV U Hl- (o/V u) cuandoreernplazamos cadaaparici6n dep por r~.! y cada aparicicn de qpor -n V u,

lobi. 2.12

p q p-q pf\(p_q) [P!\(p-d]-q
0 0 I 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1 a) Como aplicacion de la segunda regla de sustitucion, sea P la prcposicion compues·ta(p .... q)_ r. Como (p .... q) <=> ~p V q(como se rcuestra en el ejemplo 2.7 y en ta tabla 2.6)7 si Pl denota la prcposicion compuesra (~p V q) -t r. entonces PI ~ P. (Tambien tenemos que [(p .... q) .... r] .... [( =p V q) .... r] es una tautologfa.)

b) Ahora see Pta proposici6n ccmpuesta (en realidad, es una tauto!ogia)p --> (p V q).

Como ........... p~ p.Ia propoaicicn compuestaPl:p 4 (-'-'P V q) se obtiene de Pal reemplazar Unicamente la segundo oparicion (perono la primera}dep pOt -. -'p. La segunda reglade sustituci6n todavia implica que P, ~ P. [Observe queP~:.., ..... p "-7

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->