Está en la página 1de 131

La Universidad del Zulia Facultad Experimental de Ciencias Departamento de Matemtica y Computacin a o

Teor Combinatoria a

Jos Heber Nieto Said e

Maracaibo, 1996

TEORIA COMBINATORIA ISBN 980-232-573-2 autor: Jos H. Nieto e Departamento de Matemtica y Computacin a o Facultad Experimental de Ciencias La Universidad del Zulia - Apartado Postal 526 Maracaibo, Venezuela Fax: 58 61 515390 direccin electrnica: jhnieto@luz.ve o o c La Universidad del Zulia, 1996.

Indice General
1 Conceptos bsicos a 1.1 Qu es la Combinatoria . e 1.2 Or genes y evolucin de la o 1.3 Los principios bsicos . . a 1.4 Ejercicios . . . . . . . . . 2 Las 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 1 1 2 4 10 13 13 15 15 16 17 19 21 21

. . . . . . . . Combinatoria . . . . . . . . . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

conguraciones clsicas a Arreglos . . . . . . . . . . . . Arreglos con repeticin . . . . o Permutaciones . . . . . . . . Permutaciones con repeticin o Combinaciones . . . . . . . . Combinaciones con repeticin o Algoritmos combinatorios . . Ejercicios . . . . . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

3 Coecientes binomiales y multinomiales 25 3.1 Los coecientes binomiales . . . . . . . . . . . . . . . . . . . . 25 3.2 Coecientes multinomiales . . . . . . . . . . . . . . . . . . . . 32 3.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4 Principio de Inclusiones y Exclusiones y aplicaciones 4.1 El Principio de Inclusiones y Exclusiones . . . . . . . . . 4.2 Funciones sobreyectivas . . . . . . . . . . . . . . . . . . 4.3 Desarreglos . . . . . . . . . . . . . . . . . . . . . . . . . 4.4 Aplicaciones a la teor de nmeros . . . . . . . . . . . . a u 4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . iii 39 39 41 42 43 45

. . . . .

. . . . .

. . . . .

5 Relaciones de recurrencia y funciones generatrices 5.1 Nmeros de Fibonacci . . . . . . . . . . . . . . . . . u 5.2 Funciones generatrices . . . . . . . . . . . . . . . . . 5.3 Relaciones de recurrencia lineales . . . . . . . . . . . 5.4 Nmeros de Catalan . . . . . . . . . . . . . . . . . . u 5.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 6 Permutaciones y particiones 6.1 Permutaciones . . . . . . . . . . . . . . . . . . . 6.2 Nmeros de Stirling de primera clase . . . . . . . u 6.3 Aplicacin al anlisis de algoritmos . . . . . . . . o a 6.4 Particiones, nmeros de Stirling de segunda clase u de Bell . . . . . . . . . . . . . . . . . . . . . . . . 6.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . 7 Teoremas de existencia 7.1 El Teorema de Ramsey . . . . . . . . 7.2 Aplicaciones a la teor de grafos . . a 7.3 Una aplicacin geomtrica . . . . . . o e 7.4 El Teorema de Graham - Rothschild 7.5 Conjuntos parcialmente ordenados . 7.6 Sistemas de representantes distintos 7.7 Ejercicios . . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

47 47 50 53 58 62

. . . y . .

65 . . . . . . 65 . . . . . . 69 . . . . . . 73 nmeros u . . . . . . 75 . . . . . . 82 85 . 86 . 89 . 92 . 94 . 96 . 99 . 100 103 104 107 112 114

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

8 Enumeracin bajo accin de grupos o o 8.1 Accin de un grupo sobre un conjunto o 8.2 La Accin de Polya . . . . . . . . . . . o 8.3 Enumeracin de grafos no isomorfos . o 8.4 Ejercicios . . . . . . . . . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

iv

Prefacio
Este libro naci a partir de las notas de varios cursos de matemtica discreo a ta y de combinatoria dictados por el autor en la Facultad de Ciencias de la Universidad del Zulia durante los ultimos diez aos, para estudiantes de ma n temtica y de computacin. Una versin parcial del texto [N1] fu utilizada a o o e por estudiantes de esos y otros cursos. En 1988 esta obra fu seleccionada e entre las ganadoras del Concurso de Textos Universitarios auspiciado por el Vice-Rectorado Acadmico de LUZ. Sin embargo, dicultades de orden e tipogrco retardaron y nalmente impidieron su oportuna publicacin. La a o presente edicin se debe a la iniciativa del profesor Gustavo Oquendo, quien o A prepar la versin en L TEX en tiempo record. o o Esta obra se beneci de los aportes y comentarios de mis alumnos y de o varios colegas del Departamento de Matemtica de la F.E.C., en particular a del profesor Genaro Gonzlez, con quien sostuve largas conversaciones sobre a temas combinatorios. Deseo expresar aqu mi agradecimiento a todos ellos, as como al profesor Gustavo Oquendo y al Instituto de Clculo Aplicado a de la Facultad de Ingenier de LUZ, en cuyas instalaciones se realiz el a o trabajo de composicin del texto. Debo aclarar sin embargo que cualquier o posible error es de mi exclusiva responsabilidad. As mismo agradezco al Vice-rectorado Acadmico de LUZ el apoyo brindado a la presente edicin. e o Jos Heber Nieto Said e Maracaibo, 14 de febrero de 1996.

vi

Introduccin o
En los ultimos aos el inters por la Combinatoria ha aumentado conside n e rablemente. En gran parte esto se debe al desarrollo de la Ciencia de la Computacin, en la cual juega un rol central el concepto de algoritmo. Para o estimar la eciencia de un algoritmo es necesario contar el nmero de veces u que se ejecutar cada paso del mismo, y esto es un t a pico problema combinatorio. Asimismo la Combinatoria tiene aplicaciones en las ciencias f sicas (ver por ejemplo la discusin del modelo de Ising en [P1]). Por otra parte o las tcnicas combinatorias son ampliamente usadas en toda la Matemtica, e a desde la Teor de Grupos hasta la Teor de Probabilidades. La demostraa a cin de Wielandt del teorema de Sylow (ver [H3]) y la teor de paseos al o a azar (ver [F1]) son dos hermosos ejemplos de lo armado. Otros ejemplos se encuentran en geometr combinatoria (ver [H1]), teor de grafos (ver [B2], a a [H2]), optimizacin combinatoria (ver [F2]), etc. o Sin embargo, no abundan las obras dedicadas a la exposicin sistemtio a ca de los principios fundamentales de la Combinatoria. Por ese motivo es frecuente encontrar, en libros dedicados a diversas ramas de la matemtia ca, estad stica y computacin, secciones ms o menos extensas en las cuales o a se desarrollan los conceptos y tcnicas combinatorias requeridos por cada e autor. Se trata sin embargo de exposiciones parciales, ms o menos circunsa criptas a ciertas necesidades espec cas. En idioma castellano, en especial, las obras de Combinatoria son muy escasas y de dif obtencin. Estas concil o sideraciones nos motivaron a preparar este trabajo, en el cual tratamos de armar la unidad de la Combinatoria desarrollndola a partir de un pequeo a n nmero de principios bsicos. No pretendemos sin embargo realizar una exu a posicin exhaustiva de los innumerables problemas, resultados y teor que o as comprende la Combinatoria, sino ms bien exponer sus fundamentos y prea sentar un buen nmero de tpicos representativos de las diversas direcciones u o que ha tomado la investigacin en el rea. La seleccin hecha inevitableo a o

mente reeja de algn modo las preferencias e intereses del autor, aunque u hemos hecho un esfuerzo por inclu un conjunto variado y equilibrado de rer sultados, que puedan ejemplicarse con aplicaciones a diferentes campos de la matemtica (algebra, geometr teor de grafos, probabilidades, teor a a, a a de nmeros, etc.) u La exposicin trata de enfatizar en todo momento el enfoque t o picamente combinatorio de los problemas tratados, aunque tambin se explican (y e utilizan cuando es necesario) otros mtodos. Los nmeros de Stirling, por e u ejemplo, se denen por su propiedad de contar el nmero de permutaciones y u particiones de determinada clase, y no de la manera usual como coecientes de ciertos cambios de base en un espacio vectorial de polinomios. Al nal de cada cap tulo se incluyen ejercicios y problemas que ilustran o ampl el material tratado y brindan al lector la oportunidad de poner an a prueba su comprensin del texto. En un Apndice se proporcionan soluo e ciones y sugerencias, pero las mismas no deber ser consultadas antes de an haber hecho un serio esfuerzo para solucionar cada problema. Este tipo de actividad es fundamental para aprovechar cabalmente este o cualquier otro libro de matemtica. a Los prerrequisitos para comprender este libro no son muchos, siendo suciente lo que suele ensearse en un curso de matemticas generales de n a nivel universitario. Las excepciones se encuentran en el Cap tulo 8, que presupone cierta familiaridad con la teor de grupos, y en algunos ejemplos a y ejercicios. El texto puede ser usado de varias maneras. Los tres primeros cap tulos son de naturaleza elemental y proporcionan una introduccin a la combinao toria adecuada para cursos universitarios de matemtica general, algebra, a probabilidad y otros que lo requieran. Los cap tulos 4, 5 y 6 contienen material algo ms sosticado y son apropiados para cursos de matemtia a ca discreta, en especial para carreras de computacin, por sus aplicaciones o al anlisis de algoritmos. Los dos ultimos cap a tulos requieren una mayor madurez matemtica, y estn dirigidos fundamentalmente a estudiantes y a a profesores de esta disciplina.

viii

Cap tulo 1

Conceptos bsicos a
La matemtica es rica en tcnica y argumentos. En esta gran a e variedad de situaciones una de las ms esenciales herramiena tas de trabajo es el conteo. Y sin embargo, aunque parezca extrao, es una de las cosas ms dif n a ciles. Al hablar de conteo, a lo que queremos referirnos es al proceso de saber en forma precisa cuntas son las posibilidades en situaciones altamente a complejas. I.N. Herstein [H3] pag. 8788.

1.1

Qu es la Combinatoria e

Si se les pregunta qu es la Combinatoria, la mayor de los matemticos e a a respondern algo as como el arte y ciencia de contar. Sin embargo esta a denicin es inadecuada, pues t o picos problemas combinatorios como el de describir todos los grafos con un cierto nmero de vrtices o el de la exisu e tencia de cuadrados latinos ortogonales, quedar fuera de su alcance. Si an bien los mtodos de recuento forman parte esencial de la Combinatoria, sta e e contempla tambin otros aspectos. Adems de contar el nmero de rboe a u a les con n vrtices, por ejemplo, interesa tambin describirlos, decir cules e e a son. En este sentido Claude Berge [B1] propone denir la Combinatoria como el estudio de las conguraciones formadas con los elementos de un conjunto nito, entendiendo por tales las aplicaciones del conjunto en otro (posiblemente provisto de cierta estructura) que satisfagan unas restricciones determinadas. Dentro de esta concepcin pueden considerarse varios o aspectos, entre ellos: el estudio de conguraciones conocidas, el estudio de

Jos H. Nieto e

la existencia de ciertas conguraciones, el conteo del nmero de congurau ciones de un tipo dado, la enumeracion o descripcin de conguraciones, la o optimizacin combinatoria, es decir la determinacin de las conguraciones o o que maximizan o minimizan una funcin dada, etc. o Otros autores, como Aigner [A1], distinguen dentro de la Combinatoria varias reas principales, tales como los problemas de enumeracin, el estudio a o de estructuras de orden en conjuntos nitos, los teoremas de existencia tipo Ramsey, Sperner, etc. y el estudio de conguraciones. En cualquier caso el campo abierto a la Combinatoria es amplio y fascinante, repleto de bellos resultados e interesantes problemas abiertos.

1.2

Or genes y evolucin de la Combinatoria o

En cierto sentido la combinatoria puede considerarse tan vieja como la propia Matemtica, ya que la operacion bsica de contar los elementos de un a a conjunto est ligada al origen mismo del concepto de nmero en los tiempos a u prehistricos. o Los matemticos griegos no prestaron mucha atencin a los problemas a o combinatorios, si exceptuamos el estudio de los nmeros poligonales realiu zado por los pitagricos. Segn Bourbaki [B3] la frmula n = n(n1) ya o u o 2 2 era conocida en el siglo III de nuestra era. En el siglo XII el matemtico a hind Bhaskara conoc ya la frmula general para n y Lev Ben Gerson u a o p (12881344) realiz un estudio ms detallado de las permutaciones, arreglos o a y combinaciones de un conjunto de objetos. Sin embargo sus escritos aparentemente no alcanzaron mucha difusin, y varios de sus resultados fueron o redescubiertos varias veces por los matemticos de los siglos siguientes. a Cardano (15011576) mostr que el nmero de partes de un conjunto de o u n elementos es 2n . Nicolo Fontana de Brescia, contemporneo de Cardano y a ms conocido como Tartaglia, estudi un rectngulo aritmtico equivalente a o a e al tringulo que posteriormente recibir el nombre de Pascal y que aparea a ci en su obra (en parte pstuma) Tratado general sobre el nmero y la o o u medida (15561560). Pascal y Fermat, en el curso de sus estudios sobre los juegos de azar y en particular sobre el problema de la divisin de la apuesta (planteado por el o caballero de Mer) volvieron a encontrar la frmula para n . Dichos estudio e o p constituyeron, por otra parte, el punto inicial del clculo de probabilidades a moderno. Pascal parece haber sido el primero en relacionar los nmeros n u p con el teorema del binomio (el cual en alguna forma era ya conocido por los

Teor Combinatoria a

a rabes en el siglo XIII y por los chinos en el siglo XIV). Public su clebre o e Tratado del tringulo aritmtico en 1665 y aunque dicho tringulo ya era a e a conocido por matemticos anteriores como Tartaglia, Stevin y Stifel, desde a entonces es conocido con su nombre. Leibniz (16461716) dedic bastante atencin a la Combinatoria, no slo o o o desde el punto de vista matemtico sino tambin desde una perspectiva a e losca. En un ensayo de juventud (De Arte Combinatoria, 1666) escribe: o . . . todo brota interiormente de la teor de las variaciones, la a cual conduce al esp ritu que a ella se conf casi por s mismo, a, a travs de la totalidad innita de los problemas, abarcando en e s la armon del universo, la estructura ms a a ntima de las cosas y toda la serie de las formas. Hacia 1676 obtuvo la frmula para los coecientes multinomiales, redescuo bierta y publicada por De Moivre veinte aos ms tarde. n a Newton extendi el teorema del binomio al caso de exponentes fraccionao rios. De Moivre (16671754) us por primera vez funciones generatrices para o resolver la relacin de recurrencia xn = xn1 + xn2 , la cual tiene su origen o en el problema de la multiplicacin de los conejos tratado por Leonardo de o Pisa (Fibonacci) en su Liber abaci hacia el ao 1202. n Bernoulli extendi la teor de combinaciones en su Ars Conjectandi o a (1713), el primer libro de importancia dedicado al clculo de probabilidaa des. Euler (17071783) hizo aportes fundamentales. Debemos destacar su solucin al problema de los siete puentes de Knigsberg usando argumentos o o combinatorios, que lo convirtieron simultneamente en el padre de la Topoa log y de la Teor de Grafos. Tambin desarroll el mtodo de las funciones a a e o e generatrices, aplicndolo al problema de las particiones (entre otros). a Cailey (18211895) atac el problema de determinar el nmero de ismeo u o ros de los hidrocarburos saturados Cn H2n+2 , para cualquier valor de n, lo cual equivale a un problema de enumeracin de cierto tipo de rboles. o a En el presente siglo F. P. Ramsey (19031930) descubri un importante o teorema combinatorio de existencia trabajando en el contexto de la lgica o matemtica. En la dcada de 1930 Paul Erds y otros matemticos hngaros a e o a u dieron un nuevo impulso a la Combinatoria. De hecho Erds ha sido, hasta o el presente, uno de los investigadores ms prol a cos en este campo. Motivado en problemas de la teor de grafos con origen en la qu a mica, como Cailey, George Polya [P2] desarroll en 1937 una poderosa tcnica o e (en parte anticipada por J. H. Redeld [R1]) para resolver problemas de

Jos H. Nieto e

enumeracin. Su mtodo, basado en la teor de grupos, ha tenido gran o e a inuencia en el desarrollo contemporneo de la Teor combinatoria. a a En la actualidad la Combinatoria pura evoluciona en la direccin de o buscar principios y teor unicadoras que permitan ordenar y sistematizar as el gran nmero de resultados existentes, aparentemente dispersos e inconeu xos. Ejemplo de tales teor son: el estudio combinatorio de los conjuntos as parcialmente ordenados (ver [A1]) y en particular la extensin a estos cono juntos de las funciones de Mbius y frmulas de inversin (ver [R7], [RS1] y o o o [G2]), la teor de matroides (ver [A1]), los tableaux (ver [B1] y [R4]) y la a teor de especies combinatorias (ver [M2]). Al mismo tiempo, tiene lugar a un gran desarrollo de las ramas ms ricas en aplicaciones inmediatas, tales a como la optimizacin combinatoria. o

1.3

Los principios bsicos a

Denotaremos Nn al conjunto de los nmeros naturales entre 1 y n, es deu cir Nn = {1, 2, . . . , n} = {i N : 1 i n}. Dos conjuntos A y B se dicen coordinables si existe una funcin biyectiva f : A B. En este cao so escribiremos A B. Un conjunto A es nito si es vac o si existe un o nmero natural n tal que A Nn . En este caso, si f : Nn A es biyecu tiva, poniendo ai = f (i) para i = 1, . . . , n podemos denotar el conjunto A como {a1 , a2 , . . . , an }. Los conjuntos nitos pueden caracterizarse tambin e intr nsecamente por la propiedad de no ser coordinables con ninguno de sus subconjuntos propios (ver por ejemplo [R3]). Denotaremos mediante |A| al nmero de elementos (o cardinal ) del conjunto nito A. Si A es vac u o, entonces |A| = 0, y si A Nn entonces |A| = n. En todo lo que sigue, salvo mencin expresa en sentido contrario, consio deraremos solamente conjuntos nitos. Principio de correspondencia. 1.3.1. Si A B entonces |A| = |B|. Demostracin. Si A = y A B entonces B = y |A| = |B| = 0. Si o |A| = n y f : Nn A y g : A B son biyectivas, entonces la composicin o g f : Nn B es biyectiva, lo cual prueba |B| = n = |A| El principio de correspondencia es usado muy frecuentemente en Combinatoria. A pesar de su sencillez permite resolver muchos problemas de conteo

Teor Combinatoria a

de manera sorprendente, como en el ejemplo siguiente: Ejemplo: En un campeonato de bisbol jugado por el sistema de eliminae torias se enfrentan n equipos. En cada ronda los equipos perdedores salen del torneo. Al formar los pares de equipos que se van a enfrentar puede eventualmente quedar un equipo sin jugar; ste descansa y pasa a la ronda e siguiente. Se desea saber cuntos juegos se realizarn durante el campeonaa a to. Aparentemente una forma de resolver este problema ser contar el nmea u ro de juegos en cada ronda y sumar. Pero este clculo se complica por la a posibilidad de tener un nmero impar de equipos en algunas rondas, y un u nmero par en otras. El caso ms simple se da cuando el nmero de equipos u a u participantes es una potencia de 2, digamos n = 2k . Entonces evidentemente habr k rondas, y el nmero total de juegos ser 2k1 + 2k2 + + 1, a u a o sea 2k 1 = n 1. Usando el principio de correspondencia podemos demostrar que, en general, el nmero de partidos ser siempre n 1. En u a efecto, al nalizar el campeonato tendremos un equipo campen y n 1 o equipos eliminados. Cada uno de ellos fue eliminado en algn partido (y u slo en uno), y en cada partido fue eliminado un equipo. Esto signica que o la correspondencia que asigna a cada partido jugado el equipo eliminado en dicho partido, es biyectiva. Por lo tanto se jugaron tantos partidos como equipos resultaron eliminados, esto es n 1. Principio de la suma. 1.3.2. Si A B = entonces |A B| = |A| + |B|. Demostracin: Este principio es obvio, pero si se desea una demostrao cin rigurosa puede procederse de la siguiente manera: sean f : Nm A y o g : Nn B ambas biyectivas. Entonces la funcin h : Nm+n A B deo nida del modo siguiente: h(i) = f (i) si i m g(i m) si m < i m + n.

es biyectiva, probando as que |A B| = m + n = |A| + |B|. El principio de la suma se enuncia a veces en los trminos siguientes: Si un e suceso A puede ocurrir de m maneras y otro suceso B puede ocurrir de n maneras, y no pueden ocurrir ambos simultneamente, entonces el suceso A a o B puede ocurrir de m+n maneras. Este enunciado puede parecer un poco impreciso, pero es posible convertirlo en una proposicin matemticamente o a

Jos H. Nieto e

aceptable mediante el modelo siguiente: sea X un conjunto cuyos elementos representan los posibles resultados de un cierto experimento E. Llamemos sucesos a los subconjuntos de X. Si A es un suceso y el resultado x del experimento E pertenece al conjunto A, entonces diremos que ocurri el o suceso A. Sea B otro suceso. Es claro que el suceso A o B ocurre cuando el resultado del experimento E est en A B, y decir que A y B no pueden a ocurrir simultneamente signica que A B = . Asimismo la frase A a puede ocurrir de m maneras no signica otra cosa que |A| = m. Vemos entonces que el enunciado del principio de la suma en trminos de sucesos, e bajo esta interpretacin, arma que si |A| = m, |B| = n y AB = entonces o |A B| = m + n, lo cual no es ms que el enunciado original. a Veamos algunas consecuencias del principio de la suma: Proposicin 1.3.3. Si A B entonces |A| |B|. o Demostracin: Si A B entonces B = A (B\A) y A (B\A) = , por o lo tanto |B| = |A| + |B\A| |A| Proposicin 1.3.4. Si f : A B es inyectiva entonces |A| |B|. o Demostracin. Si f es inyectiva entonces A f (A), por lo tanto |A| = o |f (A)| |B|. Proposicin 1.3.5. Si f : A B es sobre entonces |A| |B|. o Demostracin. Para cada elemento b B escojamos una preimagen suya o g(b) en A. De este modo resulta una funcin g : B A inyectiva, ya que o g(b) = g(b ) implicar b = f (g(b)) = f (g(b )) = b . Entonces por 1.3.4 a tenemos |B| |A|. Proposicin 1.3.6. Si A1 , . . . , An son disjuntos dos a dos entonces: o |A1 An | = |A1 | + + |An |. Demostracin. Esta generalizacin del principio de la suma se prueba o o fcilmente por induccin. a o (Ms adelante veremos una generalizacin an mayor de este resultado: el a o u principio de inclusiones y exclusiones) Principio del producto (versin 1) 1.3.7. |A B| = |A| |B|. o

Teor Combinatoria a

Demostracin. Este principio puede visualizarse disponiendo todos los o elementos del producto cartesiano A B en una tabla. Suponiendo que A = {a1 , . . . , am } y B = {b1 , . . . , bn } entonces los elementos de A B son los pares ordenados: (a1 , b1 ) (a2 , b1 ) . . . (a1 , b2 ) (a2 , b2 ) . . . ... ... . . . (a1 , bn ) (a2 , bn ) . . . (am , bn )

(am , b1 ) (am , b2 ) . . .

Se ve claramente que el cuadro tiene m las y n columnas, y por lo tanto m n = |A| |B| elementos. Una demostracin ms rigurosa podr seguir las siguientes lineas: si A o a a o B son vac entonces A B es vac y se cumple |A B| = 0 = |A| |B|. os o En caso contrario sean f : Nm A y g : Nn B biyectivas y denamos h : Nmn A B de la manera siguiente: dado i Nmn sean q y r el cociente y el resto respectivamente de la divisin entera de i 1 entre m. o Entonces, h(i) = (f (r + 1), g(q + 1)) la funcin h as denida es biyectiva: su inversa es o h1 (f (k), g(j)) = (j 1)m + k lo cual prueba que |A B| = m n. Un enunciado algo ms general del principio del producto es el siguiente: a Principio del producto (versin 2) 1.3.8. Si un primer objeto puede o escogerse entre m posibles, y despus de realizada esta seleccin puede ese o cogerse un segundo entre n posibles, entonces pueden escogerse m n pares diferentes. Demostracin. En esta versin el conjunto de objetos entre los cuales se o o puede seleccionar el segundo puede depender del primer objeto elegido. La situacin puede representarse en el cuadro: o (a1 , b11 ) (a2 , b21 ) . . . (a1 , b12 ) (a2 , b22 ) . . . ... ... . . . (a1 , b1n ) (a2 , b2n ) . . . (am , bmn )

(am , bm1 ) (am , bm2 ) . . .

8 y vemos que tambin aqu el nmero total de pares es m n. e u

Jos H. Nieto e

El principio del producto puede generalizarse fcilmente para varios faca tores: Principio del producto (versin 3) 1.3.9. o |A1 A2 An | = |A1 | |A2 | |An | Demostracin: induccin en n, basndonos en (1.3.7). o o a La generalizacin correspondiente de la segunda versin del principio o o ser la siguiente: a Principio del producto (versin 4) 1.3.10. Si un primer objeto puede o escogerse entre n1 posibles, y para cada seleccin puede escogerse un segundo o objeto entre n2 posibles, y luego un tercero entre n3 posibles, etc., hasta un k-esimo objeto que se puede escoger de nk maneras, entonces el nmero de u grupos ordenados de k objetos que pueden seleccionarse es n1 n2 nk . Demostracin: Induccin en k, basndonos en (1.3.8). o o a Ejemplo: Si en la serie armnica 1 + 1/2 + + 1/n + (que como o se sabe es divergente) se suprimen todos los trminos en cuyo denominador e aparezcan uno o ms sietes (tales como 1/7, 1/17, etc.) la serie resultante a converge o diverge?. Para responder a esta pregunta calculemos en primer lugar la cantidad de nmeros de n cifras entre cuyos d u gitos no aparece el 7. La primera cifra puede escogerse de ocho maneras, ya que no puede ser ni 7 ni 0. Cada una de las restantes puede escogerse de 9 maneras. La cantidad buscada es entonces 8 9n1 . Todos los trminos de la serie en cuestin con denominador de n e o cifras son menores que 10(n1) por lo tanto la serie se puede acotar por la serie geomtrica: e 8+8 9 10 +8 9 10
2

+ + 8

9 10

n1

+ = 80

por lo cual la serie propuesta es convergente. Este resultado puede parecer paradjico, pues aparentemente al quitar los trminos con 7 estamos quitano e do relativamente pocos trminos de la serie armnica. Pero es una ilusin e o o provocada por el examen de los nmeros de pocas cifras. De hecho, entre los u nmeros de n cifras la proporcin de nmeros sin sietes es (8/9)(9/10)n1 , u o u la cual tiende a cero al aumentar n.

Teor Combinatoria a

Ejemplo: De cuntas maneras pueden colocarse una torre blanca y a una torre negra en un tablero de ajedrez de modo que se ataquen? El tablero de ajedrez tiene 8 8 = 64 casillas, y este es el nmero de u maneras en que se puede ubicar la torre blanca. Una vez ubicada la torre blanca, la torre negra debe colocarse en una casilla de la misma columna o la ocupada por la torre blanca. Como el nmero de estas casillas es u 7 + 7 = 14 la respuesta al problema es 64 14 = 896. Observemos que si se tratase de colocar dos torres del mismo color, indistinguibles, defendindose mutuamente, entonces el nmero anterior deber e u a dividirse entre 2, resultando 448. Como otra aplicacin interesante del principio del producto demostrareo mos el siguiente resultado: Proposicin (Erds - Szekeres [ES1]) 1.3.11. Toda o o sucesin o de mn + 1 nmeros diferentes contiene una subsucesin creciente de longitud u o mayor que n o una subsucesin decreciente de longitud mayor que m. o Demostracin. Sea a1 , a2 , . . . , amn+1 la sucesin y denotemos li la longitud o o de la subsucesin decreciente ms larga que comience con ai . Anlogamente o a a sea Li la longitud de la subsucesin creciente ms larga que comience en ai . o a Supongamos por absurdo que li m y que Li n para i = 1, . . . , mn + 1. Sea f : Nmn+1 Nm Nn la aplicacin denida asi: f (i) = (li , Li ). o Esta funcin es inyectiva, ya que si i < j entonces o bien ai < aj o bien o ai > aj . En el primer caso anteponiendo el elemento ai a una subsucesin o creciente de Lj elementos que comience con aj obtenemos una subsucesin o creciente de primer elemento ai y Lj + 1 elementos, probando que Li > Lj . En el segundo caso se prueba por un razonamiento similar que li > lj , y entonces en cualquier caso se tiene que f (i) = f (j). Pero esto conduce a una contradiccin, ya que por (1.3.4) tendr o amos que |Nmn+1 | |Nm Nn |, o sea mn + 1 mn, lo cual es absurdo. El conjunto de todas las funciones de un conjunto A en otro B lo denotamos B A . Si A y B son nitos entonces el cardinal de B A viene dado por la siguiente proposicin: o Proposicin 1.3.12. |B A | = |B||A| . o Demostracin. Supongamos que |A| = n y sea f : Nn A biyectiva. Esta o funcin f nos permite denir una correspondencia T : B A B Nn poniendo o T (h) = h f para toda h B A . Esta correspondencia es biyectiva, ya que f

10

Jos H. Nieto e

lo es. Pero B Nn no es otra cosa que el producto cartesiano B B B (n factores) y entonces por (1.3.9) |B A | = |B Nn | = |B B B| = |B|n = |B||A| Proposicin 1.3.13. El conjunto de partes de un conjunto nito A tiene o |A| elementos. 2 Demostracin. A cada subconjunto X de A hagmosle corresponder su o a funcin caracter o stica fX : A {0, 1} denida as : fX (x) = 1 0 si x X en caso contrario

De este modo resulta una correspondencia entre subconjuntos de A y funciones de A en {0, 1}, y fcilmente se ve que se trata de una biyeccin. Por a o lo tanto en virtud de (1.3.12) el nmero de elementos del conjunto de partes u de A es |2A | = 2|A| Usaremos la notacin [x]n para indicar el producto de n factores decreo cientes x(x1)(x2) (xn+1), a veces llamado factorial inferior de x de orden n. Observemos que [n]n es el factorial ordinario n! = n(n1) 321. Adoptaremos adems la convencin [x]0 = 1. a o Proposicin 1.3.14. El nmero de funciones inyectivas de un conjunto A o u en otro B es [|B|]|A| . Demostracin. Sean n = |A| y m = |B|. Si n > m entonces por (1.3.4) no o hay funciones inyectivas de A en B y el producto m(m 1) (m n + 1) nos da el resultado correcto pues uno de los factores ser nulo. Supongamos a entonces que n m y sea A = {a1 , . . . , an }. Si queremos denir una funcin inyectiva de A en B, tenemos m posibilidades para elegir f (a1 ), o m 1 para f (a2 ), . . . , m n + 1 posibilidades para f (an ). Entonces, por el principio del producto, el nmero de funciones inyectivas de |A| en |B| es u m(m 1) (m n + 1) = [m]n .

1.4

Ejercicios

1. Pruebe que si A y B son conjuntos nitos entonces se cumple |A B| = |A| + |B| |A B|

Teor Combinatoria a

11

2. Sean A y B dos conjuntos nitos y f una funcin de A sobre B tal o 1 (b)| = k (constante) para todo b B. Pruebe que entonces que |f |A| = k |B| 3. (Principio de Dirichlet) Sean a1 , . . . ak enteros no negativos. Si n objetos se distribuyen en k cajas C1 , . . . , Ck y n a1 + . . . + ak k + 1 entonces para algn u i (1 i k) la caja Ci contiene al menos ai objetos. 4. En un acto deben hablar Luis, Mar Pedro, Pablo y Luisa. De a, cuntas maneras se puede confeccionar la lista de oradores con la cona dicin de que Luis hable antes que Pedro? Y si la condicin es que o o Mar hable inmediatamente despus que Luis? Y si deben alternarse a e oradores de distinto sexo? 5. De cuntas maneras se pueden seleccionar cuatro cartas de un mazo a de 52, de modo que haya una de cada palo? 6. De un mazo de 52 naipes se extraen diez al azar. Cul es la proa babilidad de no sacar ningn as? Y de sacar al menos un as? Y u exactamente uno? 7. Cul es la probabilidad de que al escoger un nmero de tres cifras al a u azar las tres cifras sean diferentes? 8. Supongamos que cada automvil se identica mediante una sucesin o o de tres letras seguidas de tres d gitos, y que las placas se otorgan en orden alfabtico-numrico comenzando con la AAA000. Las letras que e e se utilizan son las veintisis siguientes: e ABCDEFGHIJKLMNOPQRSTUVWXYZ Cuntas placas diferentes son posibles con este sistema? Cuntos a a carros se matricularon antes que el CGU735 ? 9. Cuntos pares ordenados de chas de domin pueden formarse de a o modo tal que liguen, es decir, que tengan al menos un d gito en comn? (Suponga que hay sucientes chas de todos los tipos.) u 10. De cuntas maneras pueden colocarse en un tablero de ajedrez tres a torres blancas idnticas de modo que no se ataquen? e

12

Jos H. Nieto e

11. De cuntas maneras pueden colocarse un all blanco y uno negro en a un tablero de ajedrez de modo que se ataquen mutuamente (es decir, que estn en una misma diagonal)? e 12. Pruebe que el nmero mximo de chas que se pueden colocar en un u a tablero cuadrado de n n sin que haya dos en una misma diagonal es 2n 2, y que el nmero de estas conguraciones maximales es 2n . u

Cap tulo 2

Las conguraciones clsicas a


combinar tr. Unir cosas diversas, de manera que formen un compuesto o agregado. Diccionario de la Lengua espaola 20a . edicin, n o Real Academia Espaola, 1984. n

Dado un conjunto de m objetos existen ciertas formas t picas de agrupar, distribuir o seleccionar sus elementos. En este cap tulo consideraremos esas conguraciones estudiadas por la teor combinatoria clsica, indicando a a tambin el punto de vista moderno. e

2.1

Arreglos

Se llaman arreglos de m objetos tomados de n en n a las sucesiones de n trminos diferentes que pueden formarse con los m objetos. As por ejemplo e los arreglos de las letras a, b, c tomadas de dos en dos son: ab, ac, ba, bc, ca, cb. Varios trminos se han usado como sinnimos de arreglos, entre ellos: e o variaciones, disposiciones, coordinaciones, etc. Observemos que si A = {a1 , . . . , an } entonces los arreglos de los elementos de A tomados de n en n no son otra cosa que las funciones inyectivas de Nn en A. For lo tanto en vista de (1.3.14) tenemos que: Proposicin 2.1.1. El nmero de arreglos de m elementos tomados de n o u en n es [m]n = m(m 1) (m n + 1). Regla de formacin recursiva de los arreglos 2.1.2. Para formar los o arreglos de m elementos tomados de n en n, suponiendo que ya han sido

14

Jos H. Nieto e

formados los de n 1 en n 1, se colocan a la derecha de cada uno de estos ultimos, sucesivamente, los elementos que no guran en ellos. Ejemplo Sea A = {a, b, c, d}. En el cuadro siguiente se ilustra la formacin de los o arreglos segn la regla anterior: u de 1 en 1 a de 2 en 2 ab ac ad b ba bc bd c ca cb cd d da db dc de 3 en 3 abc abd acb acd adb adc bac bad bca bcd bda bdc cab cad cba cbd cda cdb dab dac dba dbc dca dcb de 4 en 4 abcd abdc acbd acdb adbc adcb bacd badc bcad bcda bdac bdca cabd cadb cbad cbda cdab cdba dabc dacb dbac dbca dcab dcba

Es fcil probar por induccin que la regla enunciada es correcta. Si ya se a o ha formado una lista con todos los arreglos de m objetos tomados de n 1 en n 1 entonces dado cualquier arreglo de n en n, quitndole el ultimo a elemento queda un arreglo de n 1 en n 1 que debe estar en la lista. Esto garantiza la aparicin del arreglo dado al aplicar la regla. Adems o a no aparecen arreglos repetidos, ya que si en la lista son todos diferentes al

Teor Combinatoria a

15

aplicar la regla resultarn arreglos que, si no dieren en los primeros n 1 a elementos, diferirn en el ultimo. a De la regla de formacin se deduce que el nmero de arreglos de m o u objetos tomados de n en n, que denotaremos Am , satisface la relacin de o n recurrencia siguiente: Am = (m n + 1)Am n n1 ya que de cada arreglo de n 1 en n 1 se obtienen m (n 1) arreglos diferentes de n en n, agregando al nal cada uno de los m(n1) elementos que no guran en l. Puesto que obviamente Am = m esta relacin de e o 1 recurrencia nos da: Am = (m 2 + 1)Am = (m 1)m, 2 1

Am = (m 3 + 1)Am = (m 2)(m 1)m 3 2 y en general Am = (m n + 1) (m 1)m, en concordancia con nuestro n resultado anterior.

2.2

Arreglos con repeticin o

Se llaman arreglos con repeticin de m elementos tomados de n en n a o las sucesiones de n trminos que pueden formarse con los m elementos, e entendiendo que cada uno de ellos puede aparecer repetido. As por ejemplo los arreglos con repeticin de los elementos a, b y c tomados de dos en dos o son los siguientes: aa ab ac ba bb bc ca cb cc Proposicin 2.2.1. El nmero de arreglos con repeticin de m elementos o u o tomados de n en n es mn . Demostracin. Los arreglos con repeticin de m elementos a1 , a2 , . . . , am no o o son otra cosa que las funciones de Nn en el conjunto {a1 , a2 , . . . , am } y por lo tanto su nmero es mn como vimos en (1.3.12). u

2.3

Permutaciones

Los arreglos de n objetos tomados de n en n son llamados permutaciones de los n objetos. Se tiene obviamente que:

16

Jos H. Nieto e

Proposicin 2.3.1. El nmero de permutaciones de n objetos es n! o u Demostracin: En efecto, o [n]n = n(n 1) (n n + 1) = n(n 1) 2 1 = n! Regla de formacin de las permutaciones 2.3.2. o Puede particularizarse la regla de formacin de los arreglos, o seguir este o otro procedimiento: ya formadas las permutaciones de los n 1 elementos a1 , . . . , an agreguemos el elemento an a cada una de ellas, en todas las posiciones posibles. Ejemplo Formacin sucesiva de las permutaciones de {a}, {a, b} y {a, b, c}: o ab a ba bac bca cba abc acb cab

2.4

Permutaciones con repeticin o

Dados los elementos a1 , a2 , . . . , ar y nmeros naturales k1 , k2 , . . . , kr consiu deremos las sucesiones de n = k1 + k2 + + kr trminos que se pueden e formar con los ai de modo que a1 aparezca k1 veces, a2 aparezca k2 veces, . . . y ar aparezca kr veces. A estas sucesiones se les llama permutaciones con repeticin de los elementos dados (con multiplicidades k1 , . . . , kr ). Para o contar su nmero consideremos un conjunto A de n elementos, particionado u en clases disjuntas C1 , C2 , . . . , Cr tales que |Ci | = ki . Digamos que dos permutaciones f y g de los elementos de A son equivalentes si los elementos f (i) y g(i) pertenecen a la misma clase en A para i = 1, 2, . . . , n. Los elementos de Ci pueden permutarse entre si de ki ! maneras. Como esto ocurre para cada i de 1 hasta r es claro que para cada permutacin de los elementos o de A hay k1 ! k2 ! . . . kr ! permutaciones equivalentes. El nmero de clases de u equivalencia ser entonces el cociente entre el total de permutaciones de A a y este nmero k1 ! k2 ! . . . kr ! . Pero es claro que estas clases de equivalenu cia pueden ponerse en correspondencia biyectiva con las permutaciones con repeticin, por lo tanto hemos establecido que: o

Teor Combinatoria a

17

Proposicin 2.4.1. El nmero de permutaciones con repeticin de r eleo u o mentos con multiplicidades k1 , k2 , . . . , kr es: n! k1 ! k2 ! . . . k r ! siendo n = k1 + k2 + + kr . Ejemplo Determinemos cuntas palabras diferentes pueden formarse permutando a las letras de la palabra MATEMATICA. Tenemos d letras, que se reparten ez en tres A, dos M, dos T , una E una I y una C . Por lo tanto la respuesta se obtiene dividiendo 10! entre 3! 2! 2! 1! 1! 1! lo cual resulta ser 151200.

2.5

Combinaciones

Llamaremos combinaciones de m elementos a1 , a2 , . . . , am tomados de n en n a los subconjuntos de n elementos del conjunto {a1 , a2 , . . . , am }. Denotaremos el nmero de tales combinaciones mediante el s u mbolo m , notacin o n introducida por Andreas von Ettingshausen en su obra Die Combinatorische Analysi (Viena, 1826). Ejemplo Las combinaciones de los cuatro elementos a, b, c, d tomadas de dos en dos son : {a, b}, {a, c}, {a, d}, {b, c}, {b, d} y {c, d}. Por lo tanto 4 = 6. 2 Nota: Generalmente se escriben las combinaciones sin las llaves que se usan para denotar conjuntos. As en el ejemplo anterior tendr amos ab, ac, ad, bc, bd, cd. Sin embargo al usar esta notacin hay que tener en cuenta que o no importa el orden de los elementos dentro de cada grupo, a diferencia de lo que sucede con 1os arreglos. Para cada combinacin de m elementos tomados de a n formemos las o n! permutaciones posibles con sus elementos. De este modo se obtendrn a arreglos de m elementos tomados de a n. Es claro que todos los arreglos formados sern distintos, pues si provienen de combinaciones distintas dia eren en algn elemento, y si provienen de la misma dieren en el orden u de los elementos. Adems es evidente que se obtendrn todos los arreglos a a de los m elementos tomados de n en n. Puesto que cada una de las m n combinaciones origina n! arreglos resulta que m n! = [m]n y por lo tanto: n

18

Jos H. Nieto e

Proposicin 2.5.1. El nmero de combinaciones de m elementos tomados o u de n en n es: m n = [m]n m(m 1) (m n + 1) m! = = n! n(n 1) 3 2 1 n! (m n)!

Si ya se han escrito todas las combinaciones de m elementos tomados de n 1 en n 1, escribiendo a la derecha de cada una de ellas, sucesivamente, cada uno de los elementos que siguen a los que entran en la combinacin, se o obtienen todas las combinaciones tomadas de n en n. La comprobacin de la correccin de esta regla se deja como ejercicio. o o Nos limitaremos a ilustrarla con un ejemplo. Ejemplo Sea A = {a, b, c, d}. Las combinaciones que pueden formarse son: de 1 en 1 a de 2 en 2 ab ac ad bc bd cd de 3 en 3 abc abd acd bcd de 4 en 4 abcd

b c d

Las combinaciones pueden ser estudiadas tambin desde otro punto de e vista. Para ello introduzcamos un orden lineal estricto en el conjunto A = {a1 , a2 , . . . am } deniendo ai aj si y slo si i < j. Entonces podemos eso tablecer una correspondencia entre las funciones estrictamente crecientes de Nn en A y los subconjuntos de A con n elementos. En efecto, si f : Nn A es estrictamente creciente (es decir que i < j implica f (i) f (j)) hagmosle a corresponder su imagen Im(f ) = {f (1), f (2), . . . , f (n)}. Esta correspondencia es sobreyectiva, ya que dado un subconjunto B de A con n elementos, ordenmoslos y sean estos b1 e b2 bn . La funcin f : Nn A o denida como f (i) = bi es estrictamente creciente y se tiene obviamente Im(f ) = B. La correspondencia es tambin inyectiva pues si f y g son dos e funciones distintas de Nn en A, ambas estrictamente crecientes, sea j el menor nmero natural (entre 1 y n) tal que f (j) = g(j). Supongamos para u

Teor Combinatoria a

19

jar ideas que g(j) f (j). Entonces si 1 i < j se tiene f (i) = g(i) g(j), mientras que si j < i n entonces g(j) f (j) f (i) . En todo caso g(j) no pertenece a Im(f ) y por lo tanto Im(f ) = Im(g). La correspondencia biyectiva que se acaba de establecer nos permite armar que hay tantas funciones estrictamente crecientes de Nn en A como combinaciones de los elementos de A tomados de n en n. Ms en general a podemos substituir Nn por otro conjunto linealmente ordenado cualquiera. Adems los razonamientos hechos son vlidos tambin para funciones a a e estrictamente decrecientes. Por lo tanto podemos armar que: Proposicin 2.5.2. El nmero de funciones estrictamente crecientes o eso u trictamente decrecientes de un conjunto linealmente ordenado B de n elementos en otro A de m elementos es m . n

2.6

Combinaciones con repeticin o

Las combinaciones con repeticin de m elementos tomados de n en n son o los grupos de n elementos que pueden formarse con los m dados, sin tomar en cuenta el orden y admitiendo elementos repetidos. As por ejemplo las combinaciones con repeticin de los elementos a, b y c tomados de dos en o dos son las siguientes: aa, ab, ac, bb, bc, cc Una forma interesante de representar las combinaciones con repeticin o i1 i2 im donde el de m elementos a1 , a2 , . . . , am es en forma de monomio a1 a2 . . . am exponente de cada elemento aj indica el nmero de veces que dicho elemento u aparece en la combinacin. Es claro que de este modo se establece una coo rrespondencia biyectiva entre combinaciones con repeticin de m elementos o tomados de n en n y monomios de grado n en m variables, con coeciente unidad. Para contar el nmero de tales monomios hagamos corresponder u a cada uno de ellos una sucesin de ceros y unos, escribiendo para cada o variable una hilera de tantos unos como indique el exponente (ninguno si el exponente es cero) y usando ceros como elementos de separacin entre las o hileras de unos correspondientes a variables distintas. El resultado tendr el a siguiente aspecto: 1 1 0 1 1 0 0 1 1
i1 i2 im

20

Jos H. Nieto e

Si algn exponente es nulo la hilera correspondiente de unos ser vac u a a, apareciendo por consiguiente dos o ms ceros consecutivos. En cualquier a caso habr m 1 ceros y la longitud de la sucesin ser i1 + i2 + + im + a o a m 1 = n + m 1. Veamos como ejemplo algunos monomios de sexto grado en cuatro variables a, b, c, d y las sucesiones de ceros y unos asociadas: a2 bc2 d b 4 d2 d6 a6 1 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0

Es claro que la correspondencia establecida es biyectiva, y por lo tanto hay tantos monomios de grado n en m variables con coeciente unidad como sucesiones de n + m 1 trminos, de los cuales n son unos y m 1 son ceros. e El nmero de tales sucesiones es obviamente n+m1 pues una vez elegidas u n las n posiciones donde se van a poner los unos los m 1 puestos restantes deben llenarse con ceros. Quedan probadas entonces las dos proposiciones siguientes: Proposicin 2.6.1. El nmero de las combinaciones con repeticin de m o u o elementos tomados de n en n es n+m1 . n Proposicin 2.6.2. El nmero de monomios de grado n en m variables o u con coeciente unidad es n+m1 . n Una forma ms moderna de tratar las combinaciones con repeticin cona o siste en ordenar el conjunto A = {a1 , . . . , am } como lo hicimos antes y considerar las funciones crecientes (en sentido amplio) de Nn en A. Con razonamientos anlogos a los hechos para las combinaciones simples y las a funciones estrictamente crecientes puede verse que existe una correspondencIa biyectiva natural entre combinaciones con repeticin de m elementos o tomados de de n en n y funciones crecientes (en sentido amplio) de un conjunto linealmente ordenado de n elementos en otro de m elementos. Estos hechos se resumen en el siguiente enunciado: Proposicin 2.6.3. El nmero de funciones crecientes (o decrecientes) en o u sentido amplio de un conjunto linealmente ordenado de n elementos en otro de m elementos es n+m1 . n

Teor Combinatoria a

21

2.7

Algoritmos combinatorios

El problema de generar permutaciones, combinaciones y otros objetos combinatorios con el computador ha dado origen a una serie de interesantes algoritmos. Como ejemplo inclu mos a continuacin uno que genera las pero mutaciones de los nmeros del 1 al n en orden lexicogrco, comenzando u a por 1, 2, . . . , n y nalizando con n, n 1, . . . , 2, 1 . Cada permutacin se o representa mediante un arreglo a[1], a[2], . . . , a[n]. Usamos la echa hacia la izquierda para denotar la asignacin de un valor a una variable. o Algoritmo generador de permutaciones 2.7.1. Paso 1 (inicializar) Para i = 1 hasta n hacer a[i] i Paso 2 Imprimir a[1], a[2], . . . , a[n] Paso 3 Hallar el mayor i tal que a[i] < a[i + 1]. Si no se encuentra tal i el algoritmo naliza (esto ocurrir necesariamente luego de imprimir la a permutacin n, n 1, . . . , 3, 2, 1) o Paso 4 Hallar el menor a[j] con j > i y tal que a[j] > a[i] Paso 5 Intercambiar los valores de a[i] y a[j] Paso 6 Invertir la sucesin a[i + 1], . . . , a[n] o Paso 7 Volver al Paso 2. Para ms detalles sobre ste y otros algoritmos combinatorios vea [K1], a e [N3] y [R2].

2.8

Ejercicios

1. Cuntas banderas con tres franjas horizontales del mismo ancho y a distintos colores pueden formarse, si se dispone de tela amarilla, azul, verde, blanca y roja? 2. En el alfabeto Morse, usado en telegraf se emplean solamente dos a, signos: el punto y la raya. Cuntas palabras distintas pueden formara se compuestas de uno, dos, tres, cuatro o cinco signos? Generalice. 3. De cuntas maneras puede formarse una ronda con diez nios? a n

22

Jos H. Nieto e 4. Con diez cuentas de vidrio de distintos colores, cuntos collares difea rentes se pueden formar? 5. Cuntos nmeros mayores que 3000 y menores que 4000 pueden fora u marse con los d gitos 2, 3, 5 y 7 a) si cada cifra puede usarse slo una vez? o b) si cada cifra puede emplearse las veces que se desee?

6. Cuntas palabras diferentes pueden formarse con las letras de la paa labra POLINOMIO? 7. Si se forman todos los nmeros que resultan de permutar las cifras de u 123579 y se ordenan en forma creciente, qu lugar ocupar el nmero e a u 537192? 8. De un grupo de seis hombres y cuatro mujeres, a)Cuntas comisiones de tres personas se pueden formar? a b)Cuntas en las que haya exactamente un hombre? a c)Cuntas en las que haya al menos un hombre? a 9. Cuntos tringulos se pueden formar que tengan como vrtices los a a e vrtices de un decgono regular? e a 10. Si n puntos distintos situados en una circunferencia se unen de todas las maneras posibles, cuntos puntos de interseccin resultan, como a o mximo? a 11. En un plano hay n puntos, k de los cuales estn alineados. A excepcin a o de ellos no hay tres en l nea recta. Cuntas l a neas rectas diferentes resultan si se unen los n puntos dos a dos? 12. En cuntos puntos se cortan n rectas, k de las cuales son paralelas a entre s ? 13. Cuntas naranjas se necesitan para formar una pirmide de base a a triangular con n naranjas en cada lado de la base? 14. De cuntas maneras se pueden comprar diez frutas, si el frutero slo a o dispone de naranjas, mangos y n speros?

Teor Combinatoria a

23

15. De cuntas maneras se pueden colocar las guras blancas (un rey, a una dama, dos alles, dos torres y dos caballos) en la primera la del tablero de ajedrez? 16. De un total de N art culos de los cuales B son buenos y los restantes, D = N B son defectuosos se escoge al azar una muestra de n art culos. Cul es la probabilidad de que en la muestra haya x art a culos buenos (y n x defectuosos)? 17. Qu dimensin tiene el espacio vectorial de los polinomios de grado e o menor o igual a n en k variables? 18. Para escribir todos los nmeros naturales desde 1 hasta 1000000, cunu a tos ceros se necesitan? 19. En un acto deben hablar n mujeres y k hombres. De cuntas maneras a se puede ordenar la lista de oradores con la condicin de que no hablen o dos hombres consecutivamente? 20. (Kaplansky) Pruebe que el nmero de subconjuntos de Nn con k eleu mentos y sin enteros consecutivos es nk+1 . k 21. (Kaplansky) Pruebe que el nmero de subconjuntos de Nn con k eleu mentos y que no contienen enteros consecutivos ni a 1 y n simultneaa mente es: n nk nk k

24

Jos H. Nieto e

Cap tulo 3

Coecientes binomiales y multinomiales


La cantidad n se denomina coeciente binomial ; estos k nmeros tienen una cantidad extraordinaria de aplicaciones. u Son quiz las cantidades ms importantes que aparecen en el a a anlisis de algoritmos y, por tanto, se recomienda al lector que a se familiarice con ellos. D.E. Knuth [K1] vol.1 The binomial coecients are virtually ubiquitous in Combinatorial Theory and it would be folly to attempt to count anything without their aid. D.I.A. Cohen [C1]

3.1

Los coecientes binomiales

En el cap tulo anterior denimos m como el nmero de subconjuntos de u n cardinal n de un conjunto de m elementos. A continuacin veremos que o estos nmeros admiten tambin interpretaciones algebraicas y geomtricas u e e y estableceremos unas cuantas de sus propiedades. Teorema del binomio 3.1.1.
m

(x + y)

=
n=0

m n mn x y n

26

Jos H. Nieto e

Demostracin: (x+y)m es el producto de m factores (x+y). Al desarrollar o el producto se obtiene una suma de monomios de grado m en las dos variables x, y. El monomio xn y mn aparece tantas veces como formas haya de escoger n de los m parntesis para seleccionar la x en ellos. Este nmero es e u m justamente n . Nota: A ra de este teorema los nmeros m se denominan coecientes z u n binomiales, nombre que se remonta a M. Stifel (14861567). Es corriente demostrar el teorema del binomio por induccin, utilizando la frmula de o o Stifel (3.1.4) para justicar el salto inductivo. Sin embargo creemos que debe preferirse esta sencilla demostracin combinatoria pues adems de su o a brevedad permite deducir la frmula para el desarrollo del binomio, mientras o que la demostracin por induccin requiere conocer la frmula de antemano. o o o

Una interpretacin geomtrica de los coecientes binomiales o e Consideremos las poligonales P0 P1 . . . Pm en el plano cartesiano cuyos vrtices cumplen la condicin siguiente: Si Pi tiene coordenadas (x, y) ene o tonces Pi+1 tiene coordenadas (x + 1, y) o (x, y + 1). En otras palabras, se trata de poligonales cada uno de cuyos segmentos Pi Pi+1 es paralelo a uno de los ejes coordenados, tiene longitud unidad y est orientado igual que el eje a al cual es paralelo. Llamaremos a estas poligonales caminos ascendentes o simplemente caminos. Proposicin 3.1.2. El nmero de caminos ascendentes de longitud m que o u parten del origen es 2m . El nmero de caminos que parten del origen y u nalizan en el punto de coordenadas (n, k) es n+k . n Demostracin. Para construir un camino de longitud m partiendo del orio gen debemos elegir primeramente P1 , que solamente puede ser (0, 1) o (1, 0). Tenemos pues dos posibilidades. Una vez elegido P1 hay dos posibilidades para escoger P2 , y as sucesivamente. Por el principio del producto resulta entonces que pueden constru 2m caminos de longitud m. Para contar los rse caminos P0 P1 . . . Pm con P0 = (0, 0) y Pm = (n, k) observemos en primer lugar que debe ser m = n + k, pues cada vrtice Pi (1 i m) tiene o bien e su abscisa o bien su ordenada una unidad mayor que la del vrtice anterior e Pi1 . Por lo tanto, para ir desde (0, 0) hasta (n, k) un camino debe tener n segmentos paralelos al eje Ox y k segmentos paralelos al eje Oy, siendo su longitud m = n + k. Ahora bien, el camino queda determinado si conocemos

Teor Combinatoria a

27

cules de sus n + k segmentos son paralelos a Ox, pues los restantes sern a a necesariamente paralelos a Oy. El problema se reduce entonces a escoger n elementos de un total de n + k, lo cual puede hacerse de n+k maneras. n A continuacin estudiaremos una serie de proposiciones relativas a los o coecientes binomiales. Para cada una de ellas se pueden seguir al menos cuatro estrategias de demostracin : o 1. Estrategia combinatoria pura: consiste en interpretar m como el n nmero de subconjuntos de n elementos de un conjunto de m eleu mentos, y usar tcnicas de conteo. e 2. Estrategia aritmtica: consiste en calcular aritmticamente a partir de e e m m! la frmula n = n! (mn)! o 3. Estrategia algebraica: consiste en interpretar m como el coeciente n de xn y mn en el desarrollo de (x+y)m y realizar clculos y operaciones a algebraicas con polinomios. 4. Estrategia geomtrica: consiste en interpretar m como el nmero e u n de caminos ascendentes desde (0, 0) hasta (m n, n) y efectuar luego razonamientos geomtrico-combinatorios. e Para algunas de las proposiciones siguientes daremos cuatro demostraciones, correspondientes a las cuatro estrategias mencionadas. En otros casos proporcionaremos slo una demostracin (generalmente la que considerao o mos ms elegante) pero sugerimos al lector que construya demostraciones a alternativas siguiendo las estrategias restantes. Simetr de los coecientes binomiales 3.1.3. a m n = m mn

Demostracin combinatoria: Sea A un conjunto de m elementos. Llao memos Fk a la familia de todos los subconjuntos de A con k elementos y denamos f : Fn Fmn haciendo corresponder a cada miembro X de Fn su complemento en A, que tendr m n elementos y estar por lo tanto en a a Fmn . En s mbolos, f (X) = A\X. Es inmediato vericar que f es biyectiva: f (X) = f (Y ) A\X = A\Y X = Y , y si Y Fmn entonces X = A\Y Fn y f (X) = A\X = A\(A\Y ) = Y . Entonces por el principio m de correspondencia tenemos que |Fn | = |Fmn |, es decir: m = mn n

28 Demostracin aritmtica: o e m mn =

Jos H. Nieto e

m! m! = = (m n)! (m (m n))! (m n)! n!

m n

Demostracin algebraica: Basta comparar el coeciente de xn y mn en o el desarrollo de (x + y)m con el de y mn xn en el desarrollo de (y + x)m . Puesto que (x + y)m = (y + x)m , estos coecientes deben ser iguales, lo cual demuestra la proposicin. o Demostracin geomtrica: La simetr respecto a la bisectriz del primer o e a cuadrante (es decir la recta y = x) establece una correspondencia biyectiva entre los caminos ascendentes que parten del origen y llegan a (m n, n) y aquellos otros que partiendo del origen alcanzan el punto simtrico (n, mn). e Pero el nmero de estos ultimos es segn (3.1.2): u u n + (m n) mn = m mn

Frmula de Stifel 3.1.4. o m n = m1 m1 + n n1

Demostracin combinatoria: Sea A = {a1 , a2 , . . . , am }. Los subconjuno tos de n elementos de A pueden dividirse en dos clases: la de aquellos que no contienen al elemento am y la de los que s lo contienen. La primera clase est constitu simplemente por los subconjuntos de n elementos de a da {a1 , a2 , . . . , am1 } y su nmero es m1 . En cuanto a los subconjuntos u n que contienen al am observemos que quitndoles este elemento resulta un a subconjunto de n 1 elementos de {a1 , . . . , am1 }. Por lo tanto su nmero u m1 es n1 . Aplicando el principio de la suma queda entonces demostrada la proposicin. o

Teor Combinatoria a Demostracin aritmtica: o e m1 m1 (m 1)! (m 1)! + = + n n1 n! (m 1 n)! (n 1)![(m 1) (n 1)]! (m 1)! (m n) + (m 1)!n (m 1)!(m n + n)! m = = = n! (m n)! n! (m n)! n

29

Demostracin algebraica: o
m1

(x + y)m = (x + y)m1 (x + y) =

n=0

m 1 n mn1 x y n

(x + y)

Calculando ahora el coeciente de xn y mn en esta ultima expresin resulta o m1 m1 ser justamente n1 + n Demostracin geomtrica: m es el nmero de caminos ascendentes o e u n que partiendo del origen alcanzan el punto de coordenadas (m n, n). El penltimo vrtice de cualquiera de estos caminos debe ser necesariau e mente (m n 1, n) o (m n, n 1). Esto nos permite clasicar los caminos en cuestin en dos clases disjuntas. Los caminos con penltio u mo vrtice en (m n 1, n) son (mn1)+n = m1 , mientras que los e n n que tienen el penltimo vrtice en el punto (m n, n 1) son a su vez: u e (mn)+(n1) = m1 n1 n1 El tringulo aritmtico a e La frmula (3.1.4) permite calcular los coecientes binomiales recursivameno te: conocidos los coecientes con ndice superior m 1 se pueden calcular los de ndice superior m mediante simples sumas. Si disponemos los coecientes binomiales en una tabla triangular, como se indica a continuacin, o entonces cada uno de ellos es igual a la suma de los dos que estn en la la a inmediata superior, a su izquierda y a su derecha. Esta tabla se conoce con el nombre de tringulo aritmtico o tringulo de Pascal y posee muchas a e a propiedades interesantes. Una monograf de carcter elemental sobre este a a tringulo es la de Uspensky [U1]. a Obsrvese que los lados del tringulo slo contienen unos, puesto que e a o m = m = 1, para todo m 0. 0 m

30
0 0 1 0 2 0 3 0 4 0 4 1 3 1 4 2 2 1 3 2 4 3 1 1 2 2 3 3 4 4

Jos H. Nieto e

En el siguiente tringulo hemos calculado efectivamente todos los coea cientes binomiales con ndice superior menor o igual a diez. 1 1 1 1 1 1 1 1 1 1 1 10 9 45 8 36 120 7 28 84 210 6 21 56 126 252 5 15 35 70 126 210 4 10 20 35 56 84 120 3 6 10 15 21 28 36 45 2 3 4 5 6 7 8 9 10 1 1 1 1 1 1 1 1 1 1

Proposicin 3.1.5. o n n n + + + 0 1 n = 2n

Demostracin aritmtica: Por el teorema del binomio (3.1.1) el miembro o e izquierdo de (3.1.5) es igual a (1 + 1)n = 2n . Demostracin combinatoria: Sea A un conjunto de n elementos. Puesto o que n es el nmero de subconjuntos de A con k elementos, es claro que el u k miembro izquierdo de la igualdad a demostrar representa la cantidad total de subconjuntos de A, que ya sabemos que es 2n por (1.3.4).

Teor Combinatoria a

31

Demostracin geomtrica: El nmero de caminos ascendentes de longio e u n (3.1.2). Estos caminos se pueden clatud n que parten del origen es 2 sicar segn el punto de llegada, que debe ser de la forma (h, k) con h, k u enteros no negativos y h + k = n. Estos puntos estn alineados, y son a (0, n), (1, n 1), (2, n 2), . . . , (n, 0). Segn (3.1.2) el nmero de caminos u u que llegan a (h, n h) es n , por lo tanto una aplicacin del principio de la o h suma completa la demostracin. o Proposicin 3.1.6. Para todo n > 0 se tiene: o n n n n + + (1)n 0 1 2 n =0

Demostracin aritmtica: El miembro izquierdo es el desarrollo de o e (1 1)n y por lo tanto debe ser 0. Demostracin combinatoria: Escribiendo (3.1.6) en la forma siguiente: o n n n + + + = 0 2 4 n n + + ... 1 3

vemos que podemos darle la siguiente interpretacin combinatoria: para o todo conjunto nito no vac el nmero de sus subconjuntos con cardinal o, u par es igual al nmero de sus subconjuntos con cardinal impar. Para probar u esto sea A = {a1 , a2 , . . . , an } y consideremos la funcin f : 2A 2A denida o as si X A entonces f (X) = X {a1 }. En otras palabras, a X le hacemos : corresponder el subconjunto de A que resulta de agregarle a1 , si no lo ten a, o de quitrselo, si lo ten Esta funcin es biyectiva, ya que obviamente es a a. o su propia inversa, y transforma conjuntos de cardinal par en conjuntos de cardinal impar y viceversa. Por lo tanto hay tantos de una clase como de la otra. Proposicin 3.1.7. o n+1 k+1 = n n1 k + + + k k k

32

Jos H. Nieto e

Demostracin: Sea A = {a1 , a2 , . . . , an+1 } un conjunto de cardinal n + 1 o y sea Ci la clase formada por los subconjuntos de k + 1 elementos de A cuyo elemento con mayor sub ndice sea el ai . Tendremos as clases Ck+1 , . . . , Cn . Es fcil ver que |Ci | = i1 y entonces (3.1.7) se sigue del principio de la a k suma. (Otra demostracin de 3.1.7 puede obtenerse aplicando la frmula de Stifel o o (3.1.4) en forma sucesiva.) Identidad de Vandermonde 3.1.8. n+m r = n 0 m n + r 1 m n + r1 2 m n + + r2 r m 0

Demostracin algebraica: n+m es el coeciente de xr en el desarrollo o r de (x + y)n+m . Pero como (x + y)n+m = (x + y)n (x + y)m , si desarrollamos por separado (x + y)n y (x + y)m y luego hacemos el producto, el coeciente de xr resulta ser justamente el miembro derecho de (3.1.8). Demostracin combinatoria: Sean A = {a1 , . . . , an } y B = {b1 , . . . , bm } o dos conjuntos de cardinales n y m respectivamente. Entonces podemos interpretar el miembro izquierdo de (3.1.8) como la cantidad de subconjuntos de r elementos de la unin A B. Pero cada uno de esos subconjuntos o estar formado por un cierto nmero j de elementos de A y r j elementos a u de B. Por el principio del producto el nmero de conjuntos que pueden u m formarse con j elementos de A y r j elementos de B es n rj y sumando j estas cantidades para j entre 0 y r resulta (3.1.8).

3.2

Coecientes multinomiales

Dados un nmero natural m y enteros n1 , n2 , . . . , nk (k 2) sean X = u {x1 , x2 , . . . , xm } e Y = {y1 , y2 , . . . , yk } dos conjuntos de m y k elementos respectivamente. Denotaremos mediante el s mbolo m n1 n2 . . . nk

Teor Combinatoria a

33

al nmero de funciones f : X Y tales que |f 1 (yi )| = ni para i = u 1, 2, . . . , k. Llamaremos a estos nmeros coecientes multinomiales. Usanu do un lenguaje ms informal podr a amos denir estos nmeros como la cantiu dad de maneras de distribuir m objetos en k cajas rotuladas y1 , . . . , yk de manera tal que la caja yi contenga exactamente ni objetos, para i = 1, 2, . . . , k. Observemos que segn nuestra denicin si no se cumplen las condiciones u o ni 0 para i = 1, 2, . . . , k y m = n1 + n2 + + nk entonces m n1 n2 . . . nk =0

Proposicin 3.2.1. Si ni 0 para i = 1, 2, . . . , k y n1 + n2 + + nk = m o entonces m n1 n2 . . . nk = m! n1 ! n2 ! . . . nk !

Demostracin: Sean X = {x1 , x2 , . . . , xm } , Y = {y1 , y2 , . . . , yk }. Para o denir una funcin f : X Y tal que |f 1 (yi )| = ni para i = 1, 2, . . . , k o seleccionemos primero los n1 elementos cuya imagen ser y1 . Esta seleccin a o m podemos realizarla de n1 maneras. Luego escojamos entre los m n1 elementos restantes de X aquellos cuya imagen ser y2 . El nmero de formas a u de hacer esta segunda seleccin es mn1 y prosiguiendo de esta manera y o n2 aplicando el principio del producto llegamos entonces a que: m n1 . . . nk m n1 n2 m n1 nk1 ... nk n3 (m n1 )! (m n1 nk1 )! m! = n1 ! (m n1 )! n2 ! (m n1 n2 )! nk ! (m n1 nk )! m! = n1 ! n2 ! . . . n k ! = m n1 m n1 n2

Es posible dar una interpretacin algebraica a estos nmeros mediante o u la siguiente generalizacin del Teorema binomial (3.1.1): o Teorema multinomial 3.2.2. (x1 + x2 + + xk )m = m xn1 xn2 . . . xnk k n1 . . . nk 1 2

n1 +n2 ++nk =m

34

Jos H. Nieto e

(la sumatoria se extiende a todos los conjuntos ordenados de k nmeros u enteros no negativos tales que su suma sea m) Demostracin: Al desarrollar (x1 + + xk )m se obtienen k m monomios o de grado m en k variables x1 , . . . , xk . El nmero de veces que aparece uno u nk n1 n2 u de estos monomios, digamos x1 x2 . . . xk es igual al nmero de maneras de escoger n1 factores (x1 + + xk ) para seleccionar x1 , n2 factores para seleccionar x2 , . . . , nk factores para seleccionar xk . Pero esto puede hacerse justamente de m n1 . . . nk maneras, por la forma en que hemos denido estos nmeros. u Nota: El teorema que acabamos de demostrar justica el nombre de coecientes multinomiales que hemos dado a los nmeros que estamos estuu diando. Proposicin 3.2.3. o m n1 . . . nk = km

n1 ++nk =m

Demostracin: Es una consecuencia inmediata del teorema multinomial o si ponemos x1 = = xk = 1. La proposicin anterior puede probarse tambin as o e : sean X = {x1 , . . . , xm } e Y = {y1 , . . . , yk } conjuntos de m y k elementos respecm tivamente. n1 n2 ... nk es por denicin el nmero de funciones f : X Y o u tales que yi tiene exactamente ni preimgenes, para i = 1, 2, . . . , k. Por a lo tanto, si sumamos estos coecientes para todos los conjuntos ordenados posibles de nmeros no negativos n1 , . . . , nk que sumen m, tendremos el u nmero total de funciones de X en Y . El resultado, k m , coincide con el que u ya hab amos obtenido en (1.3.12). Ahora bien, si restringimos la sumatoria imponiendo la condicin de que todos los ni sean estrictamente positivos, es o claro que estaremos contando solamente aquellas funciones f : X Y tales que cada yi tiene al menos una preimagen, es decir, las funciones sobreyectivas. Queda as demostrada la siguiente proposicin. o

Teor Combinatoria a

35

Proposicin 3.2.4. El nmero de funciones sobreyectivas de un conjunto o u de m elementos en otro de k elementos es: m n1 . . . nk

n1 ++nk =m ni >0

Interpretacin geomtrica de los coecientes multinomiales o e La interpretacin geomtrica que dimos a los coecientes binomiales pueo e de generalizarse a los multinomiales. Para ello consideremos las poligonales en Rk con vrtices de coordenadas enteras P0 P1 . . . Pr tales que cada vece tor Pi Pi+1 coincida con alguno de los versores de la base cannica de Rk o (en otras palabras, las coordenadas de Pi+1 son iguales a las de Pi excepto una de ellas, que es una unidad superior). Llamemos a estas poligonales m caminos ascendentes en Rk . Entonces el coeciente n1 n2 ... nk cuenta el nmero de caminos ascendentes que partiendo del origen llegan hasta el u punto (n1 , n2 , . . . , nk ). Utilizaremos esta interpretacin geomtrica para demostrar la siguiente o e generalizacin de la frmula de Stifel: o o Proposicin 3.2.5. o m n1 n2 . . . nk = m1 n1 1 n2 . . . n k + m1 + n1 n2 1 . . . nk m + n1 n2 . . . n k 1

Demostracin: Los caminos ascendentes de longitud m que parten del o origen y llegan al punto (n1 , n2 , . . . , nk ) deben tener como penltimo vrtiu e ce uno de los k puntos: (n1 1, n2 , . . . , nk ), (n1 , n2 1, n3 , . . . , nk ), . . . , (n1 , n2 , . . . , nk 1), y es claro que quedan determinados al conocer sus primeros m 1 segmentos. El segundo miembro de la igualdad que queremos probar no es ms que la suma de la cantidad de caminos ascendentes de lona gitud m 1 que parten del origen y llegan a cada uno de dichos puntos, por lo cual una aplicacin del principio de la suma concluye la demostracin. o o

3.3

Ejercicios

1. Pruebe las identidades siguientes:

36 (a) k
n k

Jos H. Nieto e =n
n k n1 k1

(b) (n k) (c) (d)

n1 k m1 m m m+2 n1 + 2 n + n+1 = n+1 n n n n 1 + 2 2 + 3 3 + + n n

=n

= n2n1

2. Calcule las sumas siguientes : (a) (b) (c) (d) (f)


n 0 n 1 n 0 n 1

+ +

n 2 n 3 n 2 n 3

+ + + +
n 2

n 4 n 5 n 4 n 5

(e) 1 2 3 4 5 + 2 3 4 5 6 + + n(n + 1)(n + 2)(n + 3)(n + 4)


n 1

(g) (h)

n 3 n (1)k k 2 n k=1 k n 1 n k=1 k+1 k

+3

3. Para un valor dado de m, cual es el valor de n que hace mximo el a coeciente binomial m ? n 4. Demuestre el teorema del binomio por induccin matemtica, usando o a la frmula de Stifel. o 5. Cuntos caminos ascendentes van desde el punto de coordenadas ena teras (a, b) hasta el (c, d), en el plano? Generalice el resultado a Rn . 6. (Principio de reexin) Pruebe que si (a, b) y (c, d) son dos puntos del o plano cartesiano con coordenadas enteras situados a un mismo lado de la diagonal y = x entonces el nmero de caminos ascendentes que van u desde (a, b) hasta (c, d) tocando la diagonal y = x es igual al nmero u total de caminos ascendentes que van desde (b, a) hasta (c, d). 7. (Teorema de la votacin) Pruebe que si en una eleccin entre dos o o candidatos el ganador obtiene p votos y el perdedor q entonces la probabilidad de que al hacer el escrutinio el ganador vaya siempre pq adelante de su oponente es p+q . Sugerencia: represente cada escrutinio posible mediante un camino ascendente que parte del origen y llega hasta (p, q) y aplique luego el principio de reexin (Problema 6). o

Teor Combinatoria a

37

8. La entrada al teatro cuesta 50 Bs. Al abrir la taquilla la caja est vac a a. En una cola esperan turno para comprar su entrada n personas con un billete de 100 Bs cada una, y k personas con un billete de 50 Bs cada una. Cul es la probabilidad de que la cola avance u a damente, sin que la cajera tenga problemas para darle su vuelto a nadie? 9. Sea X = {0, 1}n . La distancia de Hamming entre dos puntos de X, a = {a1 , . . . , an } y b = {b1 , . . . , bn }, se dene como:
n

d(a, b) =
i=1

|ai bi |

Es claro que d(a, b) es igual al nmero de coordenadas en las cuales a u y b dieren, o bien (si a y b son interpretados como nmeros binarios u de n d gitos) el nmero de d u gitos binarios (bits) que a y b tienen diferentes. Un subconjunto W de X tal que la distancia de Hamming entre dos cualesquiera de sus puntos es mayor que 2r (para cierto natural r) se dice que es un cdigo corrector de orden r. Un tal subconjunto o W tiene la propiedad de que ningn elemento de X \ W puede estar u a distancia menor o igual que r de dos elementos diferentes de W . La utilidad de un cdigo tal consiste en que si una sucesin w W de o o n d gitos binarios es transmitida por un canal con ruido y se recibe una sucesin z W con r o menos errores, entonces es posible conoo cer cual fue el cdigo transmitido, a saber el unico elemento w W o tal que d(z, w) r. Sea M (n, r) el mximo nmero de palabras que a u puede tener un cdigo corrector W X de orden r. Pruebe que se o cumple la desigualdad siguiente: M (n, r)
n 0 n 1

2n + +

n r

(El miembro derecho es conocido como cota de Hamming) 10. De cuntas maneras pueden distribuirse 3n objetos en 3 cajas distina tas, de modo que cada caja reciba n objetos? 11. Cul es el coeciente de x4 yw6 en el desarrollo de (x + y + z + w)11 ? a 12. (a) Cuntas palabras distintas pueden formarse con las letras de la a palabra MISSISSIPPI ?

38

Jos H. Nieto e (b) Y con la condicin adicional de que no haya dos letras I conseo cutivas?

13. Pruebe que (n!)n divide a (n2 )!

Cap tulo 4

Principio de Inclusiones y Exclusiones y aplicaciones


4.1 El Principio de Inclusiones y Exclusiones

Si A y B son dos conjuntos disjuntos entonces el principio de la suma nos dice que |A B| = |A| + |B|. Sin embargo, si A y B no son disjuntos la frmula anterior deja de ser vlida porque los elementos de la interseccin o a o A B aparecen contados dos veces en la suma |A| + |B|. Esta situacin o se corrige fcilmente restando |A B|, y se obtiene as la frmula siguiente, a o vlida en todos los casos: |A B| = |A| + |B| |A B| . Una frmula similar a o puede obtenerse para tres conjuntos , a saber :
|A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|

En efecto, en la suma |A| + |B| + |C| los elementos de la unin A B C o que pertenecen a exactamente dos de los tres conjuntos estn contados dos a veces. Esto se corrige restando |A B|, |A C| y |B C|. Sin embargo esto deja fuera de la cuenta a los elementos que estn en los tres conjuntos, a puesto que aparecen contados tres veces y luego restados otras tres veces. Por eso se suma el trmino |A B C| equilibrando la frmula. Resulta e o bastante claro que estos razonamientos pueden generalizarse a uniones de n conjuntos. Dicha generalizacin constituye el llamado principio de incluo siones y exclusiones. Pero antes de enunciarlo y demostrarlo rigurosamente necesitamos una notacin adecuada: dados n conjuntos A1 , A2 , . . . , An y un o conjunto de ndices F Nn no vac denotaremos mediante AF a la intero seccin de los Ai tales que i F , en s o mbolos:AF = iF Ai . En particular A{i} = Ai y A{i,j} = Ai Aj . Si los conjuntos Ai estn todos contenidos en a

40

Jos H. Nieto e

un conjunto universal X y F = entonces siguiendo la convencin usual o A = X. Lema 4.1.1. Si I es un conjunto nito entonces a)
F I

(1)|F | = 0

b)
=F I

(1)|F | = 1

Demostracin: Si |I| = n entonces I tiene n subconjuntos de k eleo k mentos. La suma de los trminos (1)|F | correspondientes a estos sube conjuntos ser entonces (1)k n . Pero si sumamos estas expresiones para a k k = 0, 1, . . . , n el resultado es 0, como demostramos en (3.1.6) . As resulta la primera igualdad. Para obtener la segunda simplemente se pasa al segundo miembro el trmino correspondiente al conjunto vac que es (1)0 = 1. e o, Principio de inclusiones y exclusiones 4.1.2.
n

i=1

Ai | =

=F

Nn

(1)|F | |AF |

Demostracin: Sea A = o x Ai }. Entonces se tiene:


=F

n i=1 Ai .

Si x A denamos I(x) = {i Nn : (1)|F |


xAF

Nn

(1)|F | |AF | =

=F

Nn

1= 1 = |A|

xA =F I(x)

(1)|F | =

(1) =
xA xA

La justicacin de las igualdades anteriores es la siguiente: en primer o lugar substitu mos |AF | por una suma de tantos unos como elementos tenga AF . En la doble sumatoria resultante invertimos el orden de sumacin, de o modo que en la primera sumatoria x recorre A y en la segunda sumamos en aquellos conjuntos de ndices F Nn tales que F = y x AF . Pero esta ultima condicin es equivalente a decir que F I(x). Finalmente aplicamos o la segunda igualdad del Lema (4.1.1).

Teor Combinatoria a

41

Frmula de Sylvester 4.1.3. Si A1 , . . . , An son subconjuntos de un cono junto X entonces


n

i=1

Ai | =

Nn

(1)|F | |AF |

Observaciones: Ai es el complemento de Ai respecto a X, es decir X\Ai . En el miembro derecho de la igualdad F puede ser vac Segn la convencin o. u o A = X el trmino correspondiente en la sumatoria es (1)|| |A | = |X|. e Demostracin: o
n n n

i=1

Ai | = |X\

i=1

Ai | = |X| |
F

i=1

Ai | =

= |X| +

=F

Nn

(1)|F | |AF | =

Nn

(1)|F | |AF |

4.2

Funciones sobreyectivas

Como aplicacin del principio de inclusiones y exclusiones calcularemos el o nmero de funciones sobreyectivas de un conjunto nito A = {a1 , . . . , an } u en otro B = {b1 , . . . , bm }. Denotaremos mediante Sobre(A, B) el conjunto de las funciones de A sobre B. Proposicin 4.2.1. Si |A| = n y |B| = m entonces o
m1

|Sobre(A, B)| =

(1)k
k=0

m (m k)n = k

(1)k+m
k=1

m n k k

Demostracin: Sea Gi = {f : A B\{bi }} el conjunto formado por las o funciones de A en B que no toman el valor bi . Es claro que podemos escribir Sobre(A, B) = B A \(m Gi ). Observemos tambin que si F es un conjunto e i=1 de k ndices entre 1 y m entonces iF Gi son las funciones de A en B que no toman ningn valor bi con i F . Es decir que iF Gi son las funciones de u A en B\{bi : i F }, y por lo tanto su nmero es (|B| |F |)n = (m k)n . u

42

Jos H. Nieto e

Por ultimo, recordemos que para cada k entre 0 y m hay m subconjuntos k de Nm con k elementos. Estamos ya en condiciones de aplicar (4.1.3):
m

|Sobre(A, B)| =

Nn

(1)|F | |

iF

Gi | =

(1)k
k=0

m (m k)n k

En esta ultima sumatoria podemos hacer variar el ndice k desde 0 hasta m 1, puesto que el sumando correspondiente a k = m es nulo. Para obtener la segunda expresin para |Sobre(A, B)| basta efectuar el cambio de o variable h = m k en la frmula que acabamos de demostrar, recordando o m que mh = m h

4.3

Desarreglos

Un desarreglo de los nmeros del 1 al n es una permutacin de Nn tal que u o (i) = i , i = 1, . . . , n. En otras palabras los desarreglos son las permutaciones sin puntos jos. Aplicando el principio de inclusiones y exclusiones es posible calcular fcilmente el nmero de desarreglos. a u Proposicin 4.3.1. El nmero de desarreglos de los nmeros del 1 al n es o u u Dn = n! 1 1 (1)n 1 + + 1! 2! n!

Demostracin: Sea Sn el conjunto de todas las permutaciones de los no u meros del 1 al n. Denamos Ai como el conjunto de las permutaciones que dejan jo el nmero i, es decir Ai = { Sn : (i) = i}. Es claro que |Ai | = u (n 1)! , puesto que Ai se puede identicar con las permutaciones de un conjunto de n 1 elementos, a saber {j Nn : j = i}. Si F Nn entonces iF Ai son las permutaciones de Nn que dejan jos todos los elementos de F . El nmero de tales permutaciones es (n |F |)!. Nuevamente estamos en u condiciones de aplicar (4.1.3): |{ Sn : (i) = i i = 1, . . . , n}| = |
n F

iF

Ai | =
n k=0

Nn

(1)|F | (n |F |)! =

(1)k
k=0

n (n k)! = n! k

(1)k k!

Teor Combinatoria a

43

Observacin: De (4.3.1) se deduce que limn (Dn /n!) = e1 . Esto se puede o decir en lenguaje probabil stico as la probabilidad de que una permutacin : o de los nmeros del 1 al n escogida al azar sea un desarreglo tiende al valor u l mite e1 cuando n tiende a innito.

4.4

Aplicaciones a la teor de n meros a u

La funcin de Mbius se dene para cada nmero natural n > 1 de la o o u manera siguiente: (n) = (1)r 0 si n es producto de r primos diferentes si n es divisible por un cuadrado perfecto mayor que 1

Adems por convencin (1) = 1 . As por ejemplo tenemos que (2) = a o 1, (6) = 1, (12) = 0 y (30) = 1. Proposicin 4.4.1. Si n > 1 entonces o (d) = 0
d|n

Demostracin: Es claro que los unicos divisores de n que hace falta consio derar son el 1 y los que son producto de primos diferentes ya que los dems a (es decir los que sean divisibles por un cuadrado perfecto) no contribuirn a en nada a la suma. Sean p1 , . . . , pk los divisores primos de n. Aceptando por convencin que un producto vac (sin factores) es 1 , resulta claro que: o o (d) =
d|n

Nk

(
iF

pi ) =
F

Nk

(1)|F |

pero esta ultima suma es 0 en virtud de (4.1.1). Como una ultima aplicacin del principio de inclusiones y exclusiones o consideremos la siguiente cuestin: si se toman dos nmeros naturales al o u azar, cul es la probabilidad de que sean primos entre s La siguiena ?. te proposicin da un sentido preciso a esta pregunta y la correspondiente o respuesta.

44

Jos H. Nieto e

Proposicin (Lejeune Dirichlet) 4.4.2. Sea cn el nmero de pares oro u denados de nmeros naturales coprimos menores o iguales que n. Entonces u lim cn 6 = 2 2 n

Demostracin: La cantidad de mltiplos de un nmero natural a menoo u u res o iguales que otro natural n es la parte entera de n , que denotaremos a mediante n . En efecto, los mltiplos en cuestin son a, 2a, . . . , ta siendo t u o a el mayor entero tal que ta n, es decir que t = n . La cantidad de pares a ordenados de nmeros naturales menores o iguales que n y ambos mltiplos u u de a ser entonces, por el principio del producto, n 2 . Aplicando ahora el a a principio de inclusiones y exclusiones (4.1.3) resulta: cn = n2 Ahora bien, como n k resulta:
n k=1 2

p primo

n p

+
p<q primos

n pq

(k)
k=1

n k

n k

n n k k

n n + k k

<

2n k

(k) cn 1 2 = 2 k2 n n

(k)
k=1

n k

n k

<

2 n

n k=1

1 0 k

puesto que, como es bien sabido, n (1/k) = loge n + + o(1) (siendo k=1 la constante de Euler-Mascheroni. Ver [R3] pag. 314). Entonces: cn lim = n n2
k=1

(k) k2
2 n=1 (1/n )

Para sumar esta ultima serie multipliqumosla por e ner: (k) 1 (k) = = k2 n2 k 2 n2
k=1 n=1 m=1 kn=m m=1

para obte-

k|m

1 (k) 2 = 1 m

Teor Combinatoria a

45

puesto que todos los trminos de la ultima serie, excepto el primero, son e nulos en virtud de la Proposicin (4.4.1). Ahora bien, la suma de la serie o (1/k 2 ) es 2 /6. Este conocido resultado puede obtenerse fcilmente a k=1 evaluando en x = 0 el desarrollo en serie de Fourier de cosenos de la funcin o |x| en el intervalo (, ) y por varios otros mtodos (ver por ejemplo [C2]). e Por consiguiente: cn lim 2 = n n
k=1

(k) = k2

1
1 k=1 k2

6 2

4.5

Ejercicios

1. En un grupo de 100 hindes hay 40 que hablan hindi, 40 que hablan u bengal y 20 que hablan penjabi. Hay 20 que hablan hindi y bengal y 5 que hablan hindi y penjabi. Hay 31 que hablan al menos dos de las tres lenguas y 33 que no hablan ninguna de ellas. Cuntos hablan las a tres lenguas? 2. Cuntos nmeros del 1 al 1000000 no son ni cuadrados perfectos, ni a u cubos perfectos ni potencias cuartas perfectas? 3. Pruebe que si a1 , a2 , . . . , ar son nmeros naturales primos entre s enu tonces la cantidad de mltiplos de algn ai menores o iguales que n u u viene dada por:
r i=1

n ai

i<j

n ai aj

+
i<j<k

n n + + (1)r ai aj ak a1 . . . a r

4. Demuestre el principio de inclusiones y exclusiones usando el mtodo e de induccin matemtica. o a 5. Sea (n) el nmero de enteros positivos menores o iguales que n y cou primos con n ( se conoce con el nombre de funcin de Euler). Usando o el principio de inclusiones y exclusiones pruebe que si p1 , p2 , . . . , pk son los factores primos distintos de n entonces (n) = n 1 1 p1 1 1 pk

46

Jos H. Nieto e Pruebe tambin que es multiplicativa, es decir que si m y n son e coprimos entonces (mn) = (m)(n). Por ultimo pruebe que d|n (d) = n. 6. Una mesa redonda est dispuesta para 2n comensales. De cuntas a a maneras pueden sentarse n matrimonios con la condicin de que nino guna esposa est junto a su esposo? e 7. (Problema de los matrimonios) Una mesa redonda est dispuesta para a 2n comensales. De cuntas maneras pueden sentarse n matrimonios a con la condicin de que se alternen hombres y mujeres y ninguna esposa o est junto a su esposo? e 8. Dados n conjuntos nitos A1 , . . . , An pruebe que:
n

i=1

Ai | =

=F

Nn

(1)|F | |

iF

Ai |

9. (Frmula de la criba de Jordan) o Dados n conjuntos nitos A1 , . . . , An y un entero k, 0 k n, pruebe que el nmero de elementos que pertenecen a exactamente k conjuntos u es:

F n |F |k

(1)|F |k

|F | |AF | k

(Este resultado es una generalizacin de la frmula de Sylvester, la o o cual se obtiene como caso particular para k = 0.)

Cap tulo 5

Relaciones de recurrencia y funciones generatrices


5.1 N meros de Fibonacci u

En el Liber Abaci, obra escrita a comienzos del siglo XIII y que compendia el conocimiento aritmtico y algebraico de la poca, Leonardo de Pisa, e e tambin conocido como Fibonacci, plantea el siguiente problema: En un e patio cerrado se coloca una pareja de conejos para ver cuntos descendientes a produce en el curso de un ao, y se supone que cada mes a partir del segundo n mes de su vida, cada pareja de conejos da origen a una nueva. Fibonacci resuelve el problema calculando el nmero de parejas mes a mes, y expone u sus resultados en forma de tabla. Adems de las condiciones expresas en el a planteo del problema, supongamos que ningn conejo muere y que la pareja u inicial acaba de nacer. Llamemos Fn al nmero de parejas de conejos exisu tentes en el mes n. Entonces es claro que F1 = 1 y F2 = 1. En el tercer mes la pareja inicial alcanza su madurez sexual y por lo tanto engendra una nueva pareja. As tenemos F3 = 2. Es claro tambin que F4 = 3. En el e quinto mes, la pareja nacida en el tercer mes est tambin en condiciones a e de procrear por lo cual nacern dos nuevas parejas, y tendremos F5 = 5. a As podr amos continuar analizando el nmero de nacimientos mes a mes. u Observemos sin embargo que existe una manera muy sencilla de calcular el nmero de parejas en un mes determinado si se conoce el nmero de pareu u jas existente en los dos meses precedentes. En efecto, el nmero de parejas u nacidas en el mes n es igual al nmero de parejas que hab en el mes n 2, u a pues sas son las que en el mes n tendrn dos meses o ms de edad y por e a a

48

Jos H. Nieto e

lo tanto estarn en condiciones de procrear. A este nmero debemos sumar a u el de parejas existentes en el mes n 1 , ya que todas ellas (debido a la suposicin de que no hay decesos) seguirn viviendo en el mes n. Por lo o a tanto tenemos que para todo n 2 se verica la relacin Fn = Fn2 + Fn1 o la cual aparece expl citamente en los trabajos de Kepler, unos cuatrocientos aos despus de la aparicin del Liber Abaci. Aplicando esta relacin es n e o o fcil computar sucesivamente los trminos de la sucesin {Fn } , conocida a e o como sucesin de Fibonacci : F3 = F1 + F2 = 1 + 1 = 2, F4 = F2 + F3 = o 1 + 2 = 3, F5 = F3 + F4 = 2 + 3 = 5, F6 = F4 + F5 = 3 + 5 = 8, F7 = F5 + F6 = 5 + 8 = 13, F8 = F6 + F7 = 8 + 13 = 21, etc. Esta sucesin tiene muchas propiedades interesantes, y se le ha dedio cado una abundante literatura. Una interesante monograf de carcter a, a elemental, es la de N. Vorobyov [V2]. En Botnica los nmeros de Fiboa u nacci aparecen al estudiar la lotaxia, o sea la disposicin de las hojas en o los rboles, de los fol a culos en ores como la del girasol, de las escamas de la pia, etc. (ver [C3] y [C4]). La relevancia de los nmeros de Fibonacci n u para la teor de los algoritmos se puso de maniesto por primera vez en a 1844, cuando G. Lam la utiliz para analizar el nmero de divisiones que e o u se efectan en el algoritmo de Euclides (vea a este respecto el volumen 2 de u la obra de D. E. Knuth [K1].) El siguiente resultado se reere a las sucesiones en las cuales, como en la de Fibonacci, cada trmino est determinado por uno o varios de los e a trminos precedentes. e Proposicin 5.1.1. Sea X un conjunto, k un natural, f : X k X una o funcin y a1 , . . . , ak elementos de X. Entonces existe una unica sucesin o o {xn }n=1 de elementos de X tal que xi = ai para i = 1, . . . , k y xn = f (xnk , . . . , xn1 ) para todo n > k. Demostracin: Denamos xi = ai para i = 1, . . . , k. Una vez hecho esto, o denamos xk+1 como f (x1 , . . . , xk ) , xk+2 como f (x2 , . . . , xk+1 ), y as suce sivamente. Ms precisamente, si n > k y ya han sido denidos los trminos a e xi para i < n , entonces denimos xn como f (xnk , . . . , xn1 ). El principio de induccin matemtica garantiza que la sucesin {xn } est bien o a o a denida, y obviamente cumple las condiciones exigidas. Tambin es inmee diato probar la unicidad. En efecto, si {yn } es otra sucesin que satisface o las condiciones pedidas, entonces yi = ai = xi para i = 1, . . . , k. Para n > k, supongamos por induccin que yi = xi para todo i < n. Entonces o yn = f (ynk , . . . , yn1 ) = f (xnk , . . . , xn1 ) = xn

Teor Combinatoria a

49

Una relacin del tipo xn = f (xnk , . . . , xn1 ) es llamada relacin de recuo o rrencia. No es sin embargo el unico tipo de relacin de recurrencia posible; o ms adelante veremos algunos ejemplos ms complicados. Su importancia a a en Combinatoria proviene del hecho de que la mayor de los problemas de a conteo dependen de uno o ms parmetros enteros, por lo cual la solucin a a o general consiste en una sucesin (o una sucesin doble, triple, etc.) con esos o o parmetros como a ndices, resultando muchas veces ms fcil encontrar una a a relacin de recurrencia satisfecha por los trminos de esa sucesin que eno e o contrar una frmula expl o cita para calcularlos. Adems el conocimiento de a la relacin de recurrencia permite no solamente calcular cuntos trminos o a e se deseen de la sucesin, sino que muchas veces permite tambin deducir o e propiedades de la misma. Tomaremos como ejemplo para ilustrar esta armacin la propia sucesin de Fibonacci: o o Proposicin 5.1.2. Los trminos Fn de la sucesin de Fibonacci satisfacen o e o las desigualdades n2 Fn n1 para todo n 1, siendo = (1+ 5)/2. Demostracin: Observemos en primer lugar que el nmero (conocido o u como la razn urea) satisface la igualdad 2 = 1 + . La demostracin o a o procede por induccin. Se verica de inmediato que las desigualdades se o satisfacen para n = 1 y n = 2. Supongamos que k2 Fk k1 para todo k < n. Entonces: Fn = Fn2 + Fn1 n3 + n2 = n3 (1 + ) = n3 2 = n1 . Anlogamente: Fn = Fn2 + Fn1 n4 + n3 = a n4 (1 + ) = n4 2 = n2 . Los nmeros de Fibonacci estn relacionados con numerosas cuestiones u a combinatorias. Consideremos por ejemplo el problema de subir una escalera de n escalones, suponiendo que slo pueden darse pasos sencillos (subiendo o un escaln) o dobles (subiendo dos escalones). De cuntas maneras puede o a subirse la escalera? Llamemos En a ese nmero. Entonces obviamente E1 = u 1. Una escalera de dos escalones puede subirse con un solo paso doble o con dos pasos sencillos, por lo tanto E2 = 2. Para n = 3 hay tres posibilidades: tres pasos sencillos, uno doble seguido de otro sencillo y uno sencillo seguido de otro doble. Por tanto E3 = 3. Es fcil ver que la sucesin {En } satisface la a o misma relacin de recurrencia que los nmeros de Fibonacci. En efecto, los o u modos de subir una escalera de n escalones (con n > 2) pueden clasicarse en dos categor disjuntas: aquellos en los cuales se pisa el escaln n 1 (y que as o son obviamente En1 ) y aquellos en los cuales se llega al escaln n2 y luego o

50

Jos H. Nieto e

se da un paso doble. Estos ultimos son evidentemente En2 . Por el principio de la suma se tiene entonces que En = En1 + En2 . Esta sucesin no es o idntica a la de Fibonacci, ya que E2 = 2 mientras que F2 = 1. Sin embargo e entre ambas existe una relacin muy estrecha, a saber: En = Fn+1 . Esta o asercin se demuestra fcilmente por induccin. En efecto, E1 = 1 = F2 y o a o E2 = 2 = F3 . Aceptando ahora que Ek = Fk+1 para todo k < n , se tiene que En = En1 + En2 = Fn + Fn1 = Fn+1 . Podemos decir entonces que Fn es el nmero de maneras de subir una escalera de n 1 escalones, con u pasos dobles o sencillos. Utilizaremos esta interpretacin combinatoria para demostrar el siguieno te resultado, del cual pueden deducirse interesantes propiedades aritmticas e de los nmeros de Fibonacci (ver problemas al nal del cap u tulo). Proposicin 5.1.3. o Fn+m = Fn+1 Fm + Fn Fm1

Demostracin: Fn+m es el nmero de maneras de subir una escalera de o u n + m 1 escalones con pasos sencillos o dobles. Pero una tal escalera se puede subir o bien pisando el escaln nmero n o bien sin pisarlo. Hay o u En modos de llegar hasta el escaln n y Em1 modos de subir los m 1 o escalones restantes. Entonces, por el principio del producto, los modos de subir pisando el escaln n son En Em1 = Fn+1 Fm . Para subir la escalera o sin pisar el escaln n hay que llegar hasta el escaln n 1 (lo cual puede o o hacerse de En1 modos), dar un paso doble para situarse en el escaln n + 1 o y luego subir los m 2 escalones restantes (lo cual puede hacerse de Em2 modos). Entonces, por el principio del producto, el nmero de maneras u de subir sin pisar el escaln n es En1 Em2 = Fn Fm1 . Por el principio o de la suma el nmero total de maneras de subir la escalera es entonces u Fn+1 Fm + Fn Fm1 .

5.2

Funciones generatrices

Existir alguna frmula que nos d el n-simo trmino de la sucesin de a o e e o Fibonacci? Esta pregunta puede parecer un tanto ociosa, por cuanto una frmula para Fn no es en denitiva ms que una expresin simblica indio a o o cativa de las operaciones que deben ser realizadas, dado n, para calcular

Teor Combinatoria a

51

Fn . Pero ya conocemos un mtodo efectivo para calcular Fn , a saber la e aplicacin sucesiva de la relacin de recurrencia partiendo de los trminos o o e iniciales F1 = F2 = 1. Sin embargo, disponer de una frmula para Fn podr o a tal vez permitirnos obtener ms informacin sobre esta sucesin. Este proa o o blema fu resuelto por A. De Moivre unos quinientos aos despus de la e n e publicacin del Liber Abaci. El mtodo que utiliz se basa en el uso de o e o las llamadas funciones generatrices y tuvo gran importancia en el desarrollo de la Combinatoria y del Clculo de Probabilidades ya que puede ser a aplicado con xito a muy diversos problemas. e Supongamos que a0 , a1 , a2 , . . . es una sucesin de nmeros reales o como u plejos y consideremos la serie de potencias an z n . Si esta serie converge n=0 en algn entorno del origen a una funcin g(z) diremos que g(z) es la funu o cin generatriz de la sucesin dada. Anlogamente, si la serie de potencias o o a (an /n!)z n converge en algn entorno del origen a una funcin h(z) u o n=0 diremos que h(z) es la funcin generatriz exponencial de la sucesin {an }. o o 1 Por ejemplo, la funcin generatriz de la sucesin constante 1, 1, 1, . . . es 1z o o z. y su funcin generatriz exponencial es e o En el caso de la sucesin de Fibonacci {Fn }, deniendo F0 = 0 (lo cual o es compatible con la relacin de recurrencia Fn = Fn2 + Fn1 y hace que o sta sea vlida para todo n > 1) tenemos que su funcin generatriz es: e a o g(z) =
n=0

Fn z n = z + z 2 + 2z 3 + 3z 4 + 5z 5 + 8z 6 + 13z 7 +

(En virtud de la Proposicin (5.1.2) el radio de convergencia de esta serie es o 1 positivo, ms exactamente es ). a Proposicin 5.2.1. La funcin generatriz de la sucesin de Fibonacci es: o o o z g(z) = 1 z z2 Demostracin: o g(z) = z + z + = z + z2 + z
2 n=3 n=2

Fn z = z + z + Fn z n + z 2
n=1

(Fn1 + Fn2 )z n =

n=3

Fn z n = z + zg(z) + z 2 g(z)

Despejando g(z) se obtiene el resultado deseado.

52

Jos H. Nieto e

Ya estamos en condiciones de obtener una frmula para los nmeros de o u Fibonacci: Proposicin 5.2.2. o 5 Fn = 5 1+ 5 2
n

1 5 2

Demostracin: 1 z z 2 se factoriza como (1 z)(1 z) , siendo o = (1 + 5)/2 y = (1 5)/2. Por lo tanto la funcin generatriz de la o sucesin de Fibonacci se descompone en fracciones simples como: o A B z = + 2 1zz 1 z 1 z

para ciertas constantes A y B. La determinacin de estas constantes da o A = 5/5, B = 5/5 . Por lo tanto: 5 5 n n n n Fn z = g(z) = ( (z) (z) ) = ( n )z n 5 5
n=1 n=1 n=1 n=1

de donde Fn =

5 n 5 (

n ).

A continuacin utilizaremos la funcin generatriz para establecer una o o interesante relacin entre los nmeros de Fibonacci y los coecientes binoo u miales: Proposicin 5.2.3. o
n 2

Fn+1 =
k=0

nk k

Demostracin: o z z Fn z = =z = z n (1 + z)n = 1 z z2 1 z(1 + z) n=0 n=0


n

n=0 k=0

n n+k z =z k

n=0

n 2

k=0

nk n z k

Teor Combinatoria a

53

5.3

Relaciones de recurrencia lineales

En esta seccin trabajaremos en el campo de los nmeros complejos. Llao u maremos relacin de recurrencia lineal de orden k a una relacin de la o o forma: xn = c1 xn1 + + ck xnk + f (n) (5.1)

donde f es una funcin, c1 , . . . , ck son constantes y ck = 0 . Si no aparece o el trmino funcional f (n) diremos que la relacin es homognea. e o e Una solucin de la relacin (5.1) es cualquier sucesin numrica {zn } o o o e n=0 que satisfaga la igualdad: zn = c1 zn1 + + ck znk + f (n) para todo n k. En virtud de la Proposicin (5.1.1) cualquier conjunto o de valores iniciales z0 , . . . , zk1 determina una unica solucin {zn }. Muchos o problemas combinatorios se reducen al estudio de relaciones de recurrencia de este tipo, por lo cual su estudio tiene para nosotros especial importancia. Por otra parte estas relaciones permiten construir modelos apropiados para una gran diversidad de problemas cient cos. La teor de las relaciones de a recurrencia lineales presenta gran analog con la de las ecuaciones diferena ciales ordinarias lineales. De hecho las ecuaciones diferenciales pueden ser aproximadas por ecuaciones en diferencias (ver [L1]) cuya solucin, en el o caso ms simple, puede obtenerse por los mtodos que estudiaremos a contia e nuacin. Una monograf elemental dedicada a las relaciones de recurrencia o a lineales es [M1]. Numerosos ejemplos se encuentran en [T2]. Proposicin 5.3.1. Una progresin geomtrica {rn } de razn r es solucin o o e o o de la relacin lineal homognea de orden k : o e xn = c1 xn1 + + ck xnk si y slo si r es ra de la llamada ecuacin caracter o z o stica xk c1 xk1 ck = 0. Demostracin: Si r es ra de la ecuacin caracter o z o stica entonces: rk c1 rk1 ck = 0

54 y multiplicando por rnk se obtiene, para todo n > k : rn c1 rn1 ck rnk = 0

Jos H. Nieto e

Rec procamente, si {rn } es solucin de la relacin de recurrencia la igualo o dad anterior se verica para todo n > k y en particular para n = k con lo que resulta que r es ra de la ecuacin caracter z o stica. Proposicin 5.3.2. Si la ecuacin caracter o o stica de la relacin de recurreno cia lineal homognea de orden k: e xn = c1 xn1 + + ck xnk tiene k ra ces distintas r1 , . . . , rk entonces la solucin general de la relacin o o de recurrencia es:
n n {A1 r1 + + Ak rk }

siendo A1 , . . . , Ak constantes arbitrarias. Demostracin: Es muy fcil comprobar que la sucesin {A1 rn + + o a o Ak rn } es solucin de la relacin de recurrencia para valores cualesquiera o o n de las constantes A1 , . . . , Ak . En efecto, cada sucesin {ri } lo es (por la o Proposicin precedente) y por lo tanto se tiene que : o
n1 nk n ri = c1 ri + + ck ri , para todo n k y todo i = 1, . . . , k

Multiplicando estas k igualdades por A1 , A2 , . . . , Ak respectivamente y luego sumando se obtiene el resultado deseado. Rec procamente, debemos demostrar que toda solucin de la relacin o o de recurrencia es una combinacin lineal de las progresiones geomtricas o e n {ri } . Para esto es suciente mostrar que dada una solucin {zn } existen o constantes A1 , . . . , Ak tales que se satisfacen las siguientes igualdades :
0 0 A1 r1 + + Ak rk 1 A1 r1 k1 A1 r1

= = =

z0 z1 zk1

... ... ... ... ... ... ...


k1 + + Ak rk

+ +

1 Ak rk

n n a En efecto, si esto se logra entonces {A1 r1 + + Ak rk } y {zn } sern dos soluciones de la relacin de recurrencia que coinciden en sus primeros o

Teor Combinatoria a

55

k trminos, por lo tanto debern coincidir en todos los dems. Ahora bien, e a a las igualdades precedentes pueden ser consideradas como un sistema lineal de ecuaciones en las incgnitas A1 , . . . , Ak , el cual tiene solucin (nica) o o u si el determinante del sistema es no nulo. Pero ste es el bien conocido e determinante de Van der Monde: 1 1 r1 r2 2 2 r1 r2 k1 k1 r1 r2 1 rk 2 rk k1 rk

=
1i<jn

(rj ri )

que no es nulo por ser las ra ces r1 , . . . , rk todas distintas. Como ejemplo determinemos la solucin de la relacin de recurrencia o o xn = 5xn1 6xn2 con condiciones iniciales x0 = 4 , x1 = 7 . La ecuacin o caracter stica es x2 5x + 6 = 0 , que tiene ra ces r1 = 2 y r3 = 3. Por lo tanto la solucin general es xn = A 2n + B 3n . Para satisfacer las o condiciones iniciales deben determinarse A y B de modo tal que: A+B = 4 2A + 3B = 7 Resolviendo este sistema se obtiene A = 5 , B = 1 por lo cual la solucin o n 3n . buscada es xn = 5 2 Cuando la ecuacin caracter o stica tiene ra ces mltiples la forma de la u solucin general es algo ms complicada. Enunciaremos el resultado correso a pondiente sin demostracin. El lector interesado puede tratar de dar una o demostracin propia o consultar algn tratado sobre ecuaciones en difereno u cias nitas, por ejemplo [L1]. Proposicin 5.3.3. Si la ecuacin caracter o o stica de la relacin de recurreno cia lineal homognea de orden k: e xn = c1 xn1 + + ck xnk tiene ra ces r1 , . . . , rt con multiplicidades m1 , . . . , mt entonces la solucin o general de la relacin de recurrencia es: o
n n {P1 (n)r1 + + Pt (n)rt }

siendo Pi (n) un polinomio en n de grado menor que mi .

56

Jos H. Nieto e Determinemos por ejemplo la solucin general de la relacin: o o xn = 12xn1 57xn2 + 134xn3 156xn4 + 72xn5

Su ecuacin caracter o stica es: x5 12x4 + 57x3 134x2 + 156x 72 = 0 que tiene la ra triple r1 = 2 y la ra doble r2 = 3. Por lo tanto la solucin z z o 2 + Bn + C)2n + (Dn + E)3n . general es xn = (An Si se dan condiciones iniciales x0 , x1 , x2 , x3 , x4 entonces la solucin coo rrespondiente puede obtenerse resolviendo un sistema de cinco ecuaciones lineales en las incgnitas A, B, C, D y E. o Hasta el momento hemos considerado unicamente relaciones de recu rrencia lineales homogneas. Para resolver relaciones no homogneas no hay e e reglas jas infalibles. Sin embargo es muy importante el siguiente resultado, segn el cual para conocer la solucin general de una relacin lineal no hou o o mognea es suciente conocer una solucin particular y la solucin general e o o de la relacin homognea asociada. o e Proposicin 5.3.4. Si {zn } es una solucin de la relacin de recurrencia o o o xn = c1 xn1 + + ck xnk + f (n) entonces cualquier otra solucin es de la forma {zn + wn } siendo {wn } una o solucin de la relacin homognea : o o e xn = c1 xn1 + + ck xnk Demostracin: Dada una solucin {yn } tenemos que: o o yn = c1 yn1 + + ck ynk + f (n) , para todo n k y restando miembro a miembro la igualdad: zn = c1 zn1 + + ck znk + f (n) , para todo n k se obtiene: yn zn = c1 (yn1 zn1 ) + + ck (ynk znk ) Deniendo wn = yn zn es claro que {wn } es solucin de la relacin hoo o mognea , y que yn = zn + wn . Rec e procamente, es inmediato vericar que si a {zn } se le suma cualquier solucin {wn } de la relacin homognea se o o e obtiene una solucin de la relacin original. o o

Teor Combinatoria a

57

El siguiente problema proporciona un ejemplo muy sencillo, pero combinatoriamente interesante, de relacin de recurrencia lineal no homognea. o e Supongamos que en el plano se trazan n rectas en posicin genrica (es decir, o e tales que no haya dos de ellas paralelas ni tres concurrentes en un punto). En cuntas regiones queda dividido el plano? a Sea Rn el nmero buscado. Es inmediato vericar mediante un dibujo u que R1 = 2, R2 = 4, R3 = 7 y R4 = 11. Pero ya no es tan simple comprobar por mtodos grcos que R5 = 16, R6 = 22 y R7 = 29. Sin embargo no es e a dif obtener una relacin de recurrencia satisfecha por los Rn . Para ello cil o observemos que la recta n-sima debe intersectar a las n 1 anteriores en n 1 puntos diferentes, quedando ella misma dividida en n intervalos (n 2 segmentos y 2 semirrectas). Cada uno de esos n intervalos desconecta una de las regiones en que estaba dividido el plano por las primeras n 1 rectas. De este modo, al trazar la recta n-sima el nmero de regiones aumenta en u n , o dicho en s mbolos: Rn = Rn1 + n Esta relacin de recurrencia puede ser resuelta fcilmente sumando miembro o a a miembro las igualdades: R2 = R1 + 2, R3 = R2 + 3, . . . , Rn = Rn1 + n Luego de las cancelaciones, y tomando en cuenta que R1 = 2, se tiene que Rn = R1 + (2 + 3 + + n) = (n2 + n + 2)/2. Otra tcnica, que se puede emplear en general cuando el trmino funcioe e nal f (n) de una relacin de recurrencia lineal es un polinomio, consiste en o buscar soluciones particulares de tipo polinmico por el mtodo de los coeo e cientes indeterminados. Generalmente es suciente probar con polinomios de grado igual al de f (n) , pero a veces es necesario ensayar con polinomios de grado superior. En nuestro caso, ensayemos con polinomios de segundo grado An2 +Bn+C (por cuanto es evidente que no hay soluciones polinmio cas de primer grado). Se tiene: An2 + Bn + C = A(n 1)2 + B(n 1) + C + n de donde resulta (1 2A)n + (A B) = 0. Para que esta igualdad se cumpla para todo n debe ser 12A = 0 y AB = 0 , por lo tanto A = B = 1/2. La solucin general es entonces (n2 + n)/2 + C. Utilizando la condicin inicial o o R1 = 1 se determina que C = 1, llegando al mismo resultado obtenido anteriormente.

58

Jos H. Nieto e

5.4

N meros de Catalan u

Consideremos el problema de determinar el nmero Tn de triangulaciones u de un pol gono convexo, es decir el nmero de maneras de dividir el pol u gono en tringulos mediante diagonales que no se intersecten. Este problema ya a fu estudiado por Euler, quien lo resolvi utilizando el mtodo de las funcioe o e nes generatrices. Nosotros lo emplearemos para introducir una relacin de o recurrencia no lineal que se presenta en diversos problemas combinatorios. Es claro que T3 = 1 y T4 = 2. El pentgono admite cinco triangulaciones, a como se muestra en la siguiente gura:
. ....... .. ....... ... . . ... . ... . . ... ... . . ... ... .. .. ... ... . .. ...... ... .. .. ...... .. .. ... . . ... . . ... ... . . ... ... . . . ... . ... .. . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . .. . .. . .. . .. . .. . . . . . . . . . . . . . . .. .. .. .. .. .. .. ......................... . ........................ . . ...... ... ..... ... ...... ... ... ... ... ... ... ... ... ... ... .. .. ... ... ... .. ... . ..................................... ...................................... .. .... .. .. .... .... . . .... .... . . . ... . ... . . . ... . . ... .. . . . . . . ... . ... . . . ... . . ... . . . . ... ... . . . . . ... ... . . . . ... . . ... . . . ..... . . . .... . . .. .... . . ....................... .. ...................... .. . . ...... ....... ... .. ..... . . ... .. ..... ... ... . .... . .... . ... ... ... . . ... . . . ... ... ... ... . . . . ... . ... . ... ... . . .. . ... . . . .... . . . .. . . .. . . . ... . . . .. . . . .. . . . ... . . . . ... . . . ... . . . ... . . . . . ... . . . ... . . . ... . . . ... . . . . ... . . . .. ... . . ... . ... .. . . . . . ... .. . . ... . . . ... . . . ... . . . . ... . . .......................... .......................... . .. . . ...... . ....... ... . ...... ... . ...... ... . ... ... .. ... ... . ... ... .. ... . ... . ... ... ... . ... . ... ... ... . . .. .. ... ... . . . . . .. . . . . .... .... . . . . . ... . ... . . . . . ... . . ... .. . . . . . . . . . ... . . ... . . . . . ... . . . . . ... . . ... . .. . ... . .. . . .. ..... . . ..... . . . . . .. . . . . .... . . . .. . . . .. . .. .. .... . ......................... ......................... . . ...... ... ..... ... ...... ... ... ... ... ... ... ... ... ... ... .. ... ... ... .. ... . ... ..................................... ...................................... ... .... .... .. . .... ..... . ... . . .. . . .. . . ... . .. . . . ... . . ... . . . ... . ... . . . ... . . ... . . . . ... ... . . . . ... . ... . . . . ... ... . . . . ... . ... . . . .. .. .. . . . .......................... . . ......................... . .

Por lo tanto T5 = 5 . Para hallar una relacin de recurrencia satisfeo cha por los nmeros Tn consideremos un pol u gono convexo de n + 1 vrtices e v1 , . . . , vn , vn+1 (numerados recorriendo el borde del pol gono en sentido horario). Para cada triangulacin el lado v1 vn+1 debe pertenecer a uno y slo o o un tringulo, cuyo vrtice restante ser vk para algn k = 2, . . . , n. El a e a u nmero de triangulaciones que contienen al tringulo v1 vn+1 vn es evidenteu a mente igual al nmero de triangulaciones del pol u gono de vrtices v1 v2 . . . vn , e es decir Tn . Anlogamente el nmero de triangulaciones que contienen al a u tringulo v1 vn+1 v2 es tambin Tn . Si 2 < k < n entonces todas las triangua e laciones que contienen al tringulo v1 vn+1 vk pueden obtenerse combinando a una triangulacin del pol o gono de vrtices v1 v2 . . . vk con una triangulacin e o del pol gono de vrtices vk vk+1 . . . vn+1 . Por el principio del producto hay e entonces Tk Tnk+2 triangulaciones que contienen al tringulo v1 vn+1 vk . Haa ciendo variar k desde 2 hasta n y sumando se obtiene entonces que: Tn+1 = Tn + T3 Tn1 + + Tn1 T3 + Tn Aceptaremos por convencin que T2 = 1 , con lo cual la relacin anterior o o

Teor Combinatoria a puede escribirse en la forma:


n

59

Tn+1 =
k=2

Tk Tnk+2

Esta relacin es ms complicada que las que hemos considerado hasta ahora, o a ya que no es lineal y adems Tn+1 aparece relacionado con todos los trminos a e precedentes y no slo con un nmero determinado de ellos. Sin embargo es o u claro que esta relacin determina por completo a los Tn y permite calcular o cuntos trminos se deseen. Por ejemplo: a e T4 = T2 T3 + T3 T2 = 1 1 + 1 1 = 2 T5 = T2 T4 + T3 T3 + T4 T2 = 1 2 + 1 1 + 2 1 = 5 T6 = T2 T5 + T3 T4 + T4 T3 + T5 T2 = 1 5 + 1 2 + 2 1 + 5 1 = 14 A continuacin hallaremos una frmula expl o o cita para los Tn . Comencemos por observar que toda triangulacin de un pol o gono convexo de n vrtices e consta de n2 tringulos. En efecto, la suma de los ngulos internos de todos a a los tringulos de una triangulacin debe ser igual a la suma de los ngulos a o a internos del pol gono, que como es bien sabido es (n2). Y como la suma de los ngulos de cada tringulo es , el nmero de stos debe ser n2. Por otra a a u e parte el nmero de diagonales en cualquier triangulacin es n 3. En efecto, u o cada diagonal que se traza hace aumentar el nmero de regiones en una, por u lo cual para llegar a tener n 2 tringulos partiendo de una sola regin a o (el pol gono original) es necesario trazar n 3 diagonales. Contemos ahora el nmero total de diagonales que aparecen en todas las triangulaciones de u un pol gono convexo de n lados. Este nmero es naturalmente (n 3)Tn , u pero tambin puede obtenerse teniendo en cuenta que la diagonal v1 vk (para e 2 < k < n) aparece en Tk Tnk+2 triangulaciones. Por lo tanto T3 Tn1 + + Tn1 T3 es el nmero de apariciones de las diagonales v1 vk (k = 3, . . . , n 1) u en todas las triangulaciones. Si contamos de igual manera las diagonales con un extremo en vi para 1 = 2, . . . , n y sumamos llegamos a un total de n(T3 Tn1 + + Tn1 T3 ). Pero en esta expresin cada diagonal vi vj o est contada dos veces, una vez como diagonal con extremo en vi y otra a como diagonal con extremo en vj , por lo cual el nmero total de diagonales u en todas las triangulaciones es n (T3 Tn1 + + Tn1 T3 ). Por lo tanto: 2 (n 3)Tn = n (T3 Tn1 + + Tn1 T3 ) 2

60 Como por otra parte sabemos que: Tn+1 2Tn = T3 Tn1 + + Tn1 T3 se llega a que: Tn+1 = 2(2n 3) Tn n

Jos H. Nieto e

A partir de esta relacin ya es fcil encontrar la expresin que buscbamos o a o a para Tn : Proposicin 5.4.1. El nmero Tn de triangulaciones que admite un pol o u gono convexo de n lados viene dado por la frmula : o Tn = 2n 4 1 n1 n2
2(2n3) Tn , n

Demostracin: Como acabamos de ver Tn+1 = o

por lo cual:

Tn =

2(2n 5) (2n 4)(2n 5) Tn1 = Tn1 = n1 (n 1)(n 2)

(2n 4)(2n 5)(2n 6)(2n 7) (2n 4)! Tn2 = = (n 1)(n 2)(n 2)(n 3) (n 1)[(n 2)!]2 Consideremos ahora el problema de poner parntesis en un producto de n e factores (n 2) de tal manera que cada subproducto conste de exactamente dos factores, y llamemos Pn al nmero de maneras de hacerlo. Veamos u algunos ejemplos: P2 = 1 : (ab) P3 = 2 : ((ab)c), (a(bc)) P4 = 5 : (((ab)c)d), ((a(bc))d), ((ab)(cd)), (a((bc)d)), (a(b(cd))) Para hallar una relacin de recurrencia satisfecha por los nmeros Pn suo u pongamos que los n factores son x1 x2 . . . xn y observemos que el par de parntesis exteriores siempre indica el producto de dos subproductos de la e

Teor Combinatoria a

61

forma x1 . . . xk y xk+1 . . . xn . En el primer subproducto se pueden poner parntesis de Pk maneras, y en el segundo de Pnk maneras. Aceptemos e por convencin que P1 = 1 , para que lo anterior valga incluso cuando uno o de los dos subproductos conste de un solo elemento. Entonces, aplicando el principio del producto y luego sumando para k = 1, . . . , n 1 se tiene que :
n1

Pn = P1 Pn1 + P2 Pn2 + + Pn1 P1 =

Pk Pnk
k=1

Proposicin 5.4.2. El nmero de maneras de poner parntesis en un proo u e ducto x1 x2 . . . xn de n factores (n 2) de tal manera que cada subproducto conste de exactamente dos factores es: Pn = Tn+1 = 1 2n 2 n n1

Demostracin: Probaremos por induccin que Pn = Tn+1 . Para n = 1 se o o tiene P1 = 1 = T2 . Supongamos que Pk = Tk+1 para todo k < n. Entonces
n1 n1 n

Pn =
k=1

Pk Pnk =
k=1

Tk+1 Tnk+1 =
k=2

Tk Tnk+2 = Tn+1

1 Los nmeros Cn = n+1 2n son llamados nmeros de Catalan en hou u n nor a Eugene Charles Catalan (1814-1894) quien los encontr al resolver el o problema de los parntesis, aunque como hemos visto ya hab sido obsere an vados por Euler en conexin con el problema de las triangulaciones. Estos o nmeros estn relacionados con numerosos problemas combinatorios (ver los u a ejercicios al nal del cap tulo). La siguiente Proposicin resume las propiedades de los nmeros de Cao u talan y sus relaciones con Tn y Pn .

Proposicin 5.4.3. La sucesin {Cn } es la unica solucin de la relacin o o o o de recurrencia xn+1 = n xk xnk con condicin inicial x0 = 1. Adems o a k=0 Cn = Pn+1 = Tn+2 = 4n2 Cn1 . n+1

62

Jos H. Nieto e

Demostracin: Es obvio que dada la condicin inicial x0 la relacin de o o o recurrencia tiene una solucin unica. La sucesin {Cn } es solucin ya que: o o o
n n n+1

Ck Cnk =
k=0 k=0

Pk+1 Pnk+1 =
k=1

Pk Pnk+2 = Pn+2 = Cn+1

Como adems C0 = 1 , queda probada la primera armacin. La igualdad a o de Cn , Pn+1 y Tn+2 es consecuencia de las dos Proposiciones precedentes. La ultima igualdad se demuestra fcilmente a partir de la denicin de Cn a o o a partir de la propiedad correspondiente para Tn .

5.5

Ejercicios
n k=0 Fk

1. Pruebe que

= Fn+2 1.

2 2. Pruebe que Fn+1 Fn1 Fn = (1)n .

3. Pruebe que si n|m entonces Fn |Fm . 4. Pruebe que nmeros de Fibonacci consecutivos son coprimos. u 5. Pruebe que si d es el mximo comn divisor de n y m entonces el a u mximo comn divisor de Fn y Fm es Fd . a u 6. Pruebe que el nmero de maneras en que un rectngulo de dimensiones u a 2 n se puede dividir en n rectngulos de dimensiones 2 1 es Fn+1 . a 7. Pruebe que el nmero de subconjuntos de Nn que no contienen enteros u consecutivos es Fn+2 . 8. Pruebe que el desarrollo en fraccin continua de (1 + 5)/2 o es 1 + 1 1 1+ 1 + y que su n-simo convergente es
Fn+2 Fn .

9. Pruebe que cada entero positivo n se puede expresar de modo unico como una suma de nmeros de Fibonacci Fk1 + + Fkr con k1 u k2 kr 0 (r 1), donde i j signica i j + 2.

Teor Combinatoria a

63

10. Dos jugadores sacan alternativamente chas de un montn que inicialo mente contiene n. El jugador que comienza puede sacar una o ms a chas, pero no el montn completo. A partir de entonces, cada jugao dor puede sacar una o ms chas pero no ms del doble de las que a a sac el jugador anterior. Gana el que saque la ultima cha. Pruebe o que si n no es un nmero de Fibonacci, hay una estrategia ganadora u para el primer jugador. Si no, la hay para el segundo. 11. De las regiones en que queda dividido el plano por n rectas en posicin o genrica, cuntas son acotadas? e a 12. En cuntas regiones queda dividido el plano por n circunferencias a secantes dos a dos y tales que no haya tres concurrentes en un punto? 13. En cuntas regiones dividen el espacio n planos en posicin genrica a o e (es decir, tales que no haya dos paralelos ni tres que contengan una misma recta)? Cuntas de esas regiones son acotadas? a 14. (a) Halle el trmino general de la sucesin de Lucas {Ln }, denida e o por la relacin Ln = Ln1 + Ln2 y las condiciones iniciales L0 = o 2, L1 = 1. (b) Pruebe que Ln = Fn1 + Fn+1 para todo n 1. (c) Pruebe que el nmero de subconjuntos de Nn que no contienen u enteros consecutivos ni a 1 y n simultneamente es Ln . a

15. Si a = {an } es una sucesin sean Ga (z) = an z n y Ea (z) = o n=0 n=0 (an /n!)z n , que supondremos convergentes en algn entorno del u n=0 origen. Sea adems Ta la sucesin trasladada (T a)n = an+1 . Si a o b = {bn } es otra sucesin denamos a b y a b as (a b)n = o : n=0 n n ak bnk , (ab)n = n ak bnk . Pruebe que Ga+b = Ga +Gb , k=0 k=0 k Ea+b = Ea +Eb , Gab = Ga Gb , Eab = Ea Eb , GT a (z) = (Ga (z)a0 )/z y ET a = (Ea ) . 16. Halle la solucin de la relacin de recurrencia: o o xn = 3xn1 + 4xn2 12xn3 con condiciones iniciales x0 = 1, x1 = 27, x2 = 1. 17. Halle la solucin de la relacin de recurrencia: o o xn = 6xn1 12xn2 + 8xn3

64 con condiciones iniciales x0 = 4, x1 = 4, x2 = 24. 18. Dada la relacin de recurrencia: o xn = 7xn1 10xn2 + 12n2 70n + 53 (a) Halle una solucin particular de tipo polinmico. o o (b) Halle la solucin general. o

Jos H. Nieto e

19. De cuntas maneras un rectngulo de 3 n se puede dividir en a a rectngulos de 2 1 ? a 20. Resuelva la relacin de recurrencia An+1 = n Ak Ank con condio k=0 cin inicial A0 = a usando funciones generatrices. o 21. Dados 2n puntos en una circunferencia, de cuntas maneras pueden a unirse de a pares mediante n segmentos que no se intersecten? 22. Un rbol binario, segn la denicin recursiva dada por Knuth (ver a u o [K1]) es un conjunto nito de nodos que est vac o se compone de a o, una ra y de dos rboles binarios disjuntos, llamados subrboles de z a a la derecha y de la izquierda de la ra z. Haciendo abstraccin de la o naturaleza de los nodos, cuntos rboles binarios de n nodos hay? a a O en otras palabras, cuntas estructuras diferentes puede tener un a a rbol binario de n nodos? 23. Supongamos que en el Ejercicio 8 del Cap tulo 3 hay n personas con billetes de 50 Bs y n personas con billetes de 100 Bs. Pruebe que el nmero de ordenaciones de las 2n personas en la cola, para que sta u e pase sin contratiempos por la taquilla, es Cn .

Cap tulo 6

Permutaciones y particiones
Como todo lo que es o puede ser pensado est formado por a partes reales o, por lo menos, imaginarias, aquello que se distingue espec camente tiene necesariamente que distinguirse, bien por poseer otras partes o por contener las mismas, ordenadas de otro modo.

Leibniz, De arte combinatoria, (1666).

6.1

Permutaciones

Una permutacin de los nmeros del 1 al n es una aplicacin biyectiva del o u o conjunto Nn = {1, . . . , n} en s mismo. Estas permutaciones forman, con la composicin como operacin, un grupo que denotaremos Sn . Ya sabemos o o que |Sn | = n!. Las permutaciones Sn suelen representarse mediante la notacin siguiente: o = 1 2 ... a1 a2 . . . n an

la cual signica que (i) = ai para i = 1, 2, . . . , n. Un ciclo es un tipo especial de permutacin que describiremos a continuacin. Sean a1 , a2 , . . . , ak o o k nmeros naturales distintos entre 1 y n y consideremos la aplicacin u o : Nn Nn denida as : (ak ) = a1 (ai ) = ai+1 si 1 i < k (j) = j si j Nn \ {a1 , . . . , ak }

66

Jos H. Nieto e

Es claro que Sn . Diremos que es un ciclo y escribiremos = (a1 , . . . , ak ). La longitud de este ciclo es k (se dice tambin que es un e k-ciclo). Cuando k = 1 entonces el ciclo (a1 ) es la identidad. Si k = 2 entonces (a1 , a2 ) tiene el efecto de intercambiar los elementos a1 y a2 entre s por lo cual un 2-ciclo es llamado tambin transposicin. Observemos que , e o un ciclo de longitud k se puede escribir de k maneras distintas, permutando c clicamente sus elementos. En otras palabras: (a1 , a2 , . . . , ak ) = (a2 , . . . , ak , a1 ) = = (ak , a1 , . . . , ak1 ) Dos ciclos (a1 , . . . , ak ) y (b1 , . . . , bh ) se dicen disjuntos si {a1 , . . . , ak } {b1 , . . . , bh } = Es fcil ver que si y son ciclos disjuntos entonces conmutan, es decir a = . Para ello basta aplicar cada uno de los productos a un elemento cualquiera j de Nn . Proposicin 6.1.1. Toda permutacin Sn se puede descomponer en o o producto de ciclos disjuntos. Dichos ciclos estn un a vocamente determinados por . Demostracin: Comencemos por denir una relacin en Nn as o o : j k si y slo si existe un entero i tal que k = i (j) o Es inmediato vericar que es una relacin de equivalencia, y por lo tanto o Nn queda particionado en clases de equivalencia. Dado a Nn consideremos la sucesin innita a, (a), 2 (a), . . . . Es claro que esta sucesin debe o o tener elementos repetidos. Digamos que i (a) = j (a), con i < j. Entonces ji (a) = a , y j i > 0. Sea m el menor nmero natural tal que m (a) = a. u Entonces los elementos a, (a), . . . , m1 (a) son todos distintos y estn en a la clase de equivalencia de a. De hecho cualquier nmero equivalente con a u est en la lista anterior, ya que si a b entonces b = t (a) para algn entero a u t, y efectuando la divisin entera de t entre m tendremos t = qm + r con o 0 r < m, y por lo tanto b = qm+r (a) = r (a). En conclusin, la clase de o equivalencia del elemento a es C(a) = {a, (a), . . . , m1 (a)}. Observemos tambin que el ciclo (a, (a), . . . , m1 (a)) acta igual que sobre C(a). Si e u para cada clase de equivalencia formamos un ciclo de acuerdo al procedimiento anterior obtendremos un conjunto de ciclos disjuntos 1 , . . . , s tales que = 1 2 s . En efecto, cada j Nn aparece en uno y slo uno o

Teor Combinatoria a

67

de los ciclos i (aquel que corresponde a la clase de equivalencia de j) y para ese ciclo se tiene i (j) = (j), mientras que los ciclos k con k = i (por ser disjuntos de i ) dejan jos a los elementos j y (j). Por otra parte es fcil a ver que en cualquier descomposicin de en ciclos disjuntos stos deben o e estar constitu dos por los elementos de una misma clase de equivalencia, y como cada ciclo acta sobre sus elementos igual que resulta que quedan u un vocamente determinados. Observacin: Al escribir una permutacin como producto de ciclos disjuntos o o se suelen omitir los ciclos de longitud 1, ya que son la identidad y no afectan el producto. Sin embargo nosotros los escribiremos siempre expl citamente porque su nmero tiene importancia combinatoria. u Ejemplo Dada la permutacin o = 1 2 3 4 5 6 7 8 3 7 5 4 8 1 2 6

tenemos que (1) = 3, (3) = 5, (5) = 8, (8) = 6 y (6) = 1 . Por lo tanto la clase del 1 es {1, 3, 5, 8, 6} y el ciclo correspondiente (1,3,5,8,6). Del mismo modo se encuentran los ciclos (2,7) y el 1-ciclo (4). Por lo tanto = (1, 3, 5, 8, 6)(2, 7)(4). Denotaremos mediante i (s) al nmero de ciclos de longitud i que apau recen en la descomposicin de en producto de ciclos disjuntos. o Proposicin 6.1.2. Si Sn entonces o
n i=1 ii ()

=n

Demostracin: El producto ii () nos da la cantidad de elementos en las o clases de equivalencia de cardinal i, por lo tanto al sumar desde i = 1 hasta n tenemos el total de elementos en Nn . Proposicin 6.1.3. Si 1 , . . . , n son enteros no negativos que satisfacen o la relacin n ii = n entonces el nmero de permutaciones Sn con o u i=1 i ciclos de longitud i para i = 1, . . . , n viene dado por: n! 1 1 2 2 nn 1 !2 ! n !

68

Jos H. Nieto e

Demostracin: Los ciclos que aparecen en la descomposicin de una pero o mutacin Sn son unicos, pero no lo es la manera de escribirlos. De o hecho, cada ciclo de longitud i se puede escribir de i maneras, y adems a los ciclos pueden permutarse entre ellos. Si adoptamos la convencin de o escribir primero los ciclos de longitud 1, luego los de longitud 2 y as su cesivamente entonces el nmero de maneras de escribir la descomposicin u o correspondiente a una permutacin con i () = i ser: o a 11 22 nn 1 !2 ! n ! En efecto, el factor k k corresponde al nmero de maneras de rotar los u elementos de cada uno de los k k-ciclos, mientras que el factor k ! corresponde al nmero de maneras de permutar entre s esos mismos ciclos. u Hagamos ahora una lista con las n! permutaciones de los nmeros del 1 al u n escritas como sucesiones de n elementos, y pongamos parntesis del modo e siguiente: 1 pares de parntesis encerrando a cada uno de los 1 primeros e elementos de cada entrada de la lista, 2 pares de parntesis encerrando e de a pares a los 22 elementos siguientes, y as sucesivamente. La condi cin 1 + 22 + + nn = n asegura que el ultimo parntesis cerrar a o e a la derecha del ultimo elemento. En la lista resultante aparecern todas las a permutaciones Sn tales que i () = i para i = 1, . . . , n ,pero de acuerdo con nuestra discusin inicial es claro que cada una de ellas apao recer 11 22 nn 1 !2 ! n ! veces. Para obtener el nmero de estas a u permutaciones dividimos n! (el total de entradas en la lista) por la cantidad de veces que aparece repetida cada una de ellas, obteniendo el valor deseado.

Como un caso particular de la Proposicin que acabamos de demostrar o se obtiene que el nmero de permutaciones de Nn que constan de un unico u ciclo de longitud n es (n 1)!. Estas son las llamadas permutaciones circulares de la Combinatoria clsica. Otra situacin interesante se presenta a o cuando n es par y nos preguntamos por el nmero de permutaciones que se u descomponen en producto de n/2 = m transposiciones disjuntas, sin puntos jos. En este caso 2 = n/2 y i = 0 para i = 2. Por lo tanto el nmero u buscado es n!/(2m m!) = (n 1)(n 3) 3 1 = (n 1)!!.

Teor Combinatoria a

69

6.2

N meros de Stirling de primera clase u

Llamaremos nmero de Stirling de primera clase n a la cantidad de peru k mutaciones Sn que se descomponen en producto de exactamente k ciclos disjuntos. Si n > 0 es claro que n = 0. Aceptaremos por convencin que o 0 0 0 o 0 = 1 y n = 0 , n > 0 (esta convencin se justica si se considera que S0 es el conjunto de biyecciones del conjunto vac en s mismo y tiene un o solo elemento, a saber la funcin vac la cual se descompone en producto o a, de 0 ciclos).Lamentablemente no existe acuerdo sobre la notacin para los o k nmeros de Stirling (se usa s(n, k), sn,k , Sn , etc.) Muchos autores asignan u incluso un signo negativo a la mitad de estos nmeros. Nosotros adoptamos u la notacin de Knuth ([K1]), pues enfatiza la interesante analog existente o a entre estos nmeros y los coecientes binomiales. u A continuacin demostraremos varias propiedades de estos nmeros. o u Proposicin 6.2.1. Para todo n > 0 se cumple: o n = 1, n n = (n 1)!, 1 n = n1 n 2

Demostracin: Si Sn se descompone en n ciclos disjuntos, todos ellos o deben ser 1-ciclos y por lo tanto es la identidad. Esto prueba la primera igualdad. En cuanto a la segunda observemos que si Sn se descompone en un solo ciclo, esto signica que es un n-ciclo. Entonces aplicando la Proposicin 6.1.3 con 1 = = n1 = 0, n = 1, se obtiene que el nmero o u de n-ciclos es (n 1)!. Para demostrar la tercera igualdad observemos que si Sn se descompone en producto de n 1 ciclos disjuntos todos ellos deben ser de longitud 1 salvo uno, que ser de longitud 2. Esto signica a n que es una transposicin. Por lo tanto n1 representa el nmero de o u transposiciones en Sn . Pero una transposicin queda determinada por el o par de elementos que transpone, por lo tanto hay tantas como pares de elementos en Nn , es decir n . 2 Proposicin 6.2.2. Para todo n > 0 y k > 0 se cumple: o n n1 n1 = (n 1) + k k k1

70

Jos H. Nieto e

Demostracin: Entre las n permutaciones de Nn que se descomponen o k en producto de k ciclos disjuntos contemos aquellas que dejan jo el elemento n. Su nmero debe ser n1 , pues si dejan n jo deben permutar u k1 los elementos {1, . . . , n 1} entre s y descomponerse en producto de k 1 ciclos en Sn1 para completar con el 1-ciclo (n) el total de k ciclos. En las permutaciones que no dejan jo a n este elemento debe aparecer en algn u ciclo acompaado al menos de otro elemento. Eliminando a n de ese ciclo n resulta una permutacin de Nn1 que se descompone en producto de k ciclos o disjuntos. Por este procedimiento se pueden obtener en verdad todas estas permutaciones, pero cada una de ellas aparecer repetida n 1 veces porque a el elemento n puede reinsertarse en n 1 posiciones diferentes. Por lo tanto el nmero de permutaciones de Nn que se descomponen en k ciclos disjuntos u y que no dejan jo a n es (n1) n1 . Una aplicacin rutinaria del principio o k de la suma completa la demostracin. o La relacin que acabamos de demostrar, parecida a la frmula de Stifel o o para los coecientes binomiales, permite calcular los nmeros de Stirling de u primera clase recursivamente y construir un tringulo similar al de Pascal: a n\k 0 1 2 3 4 5 6 0 1 0 0 0 0 0 0 1 1 1 2 6 24 120 2 3 4 5 6

1 3 11 50 274

1 6 35 225

1 10 85

1 15

Los lados del tringulo se llenan con ceros y unos en virtud de las iguala 0 dades n = 0, n > 0 y n = 1, n 0. Las entradas restantes se n obtienen sumando el nmero que se halla en la la superior un lugar a la u izquierda con el que est arriba multiplicado por su nmero de la. Por a u 5 ejemplo en la la 5 y columna 3 tenemos 3 = 11 + 6 4 = 35. Proposicin 6.2.3. Para todo n 0 se cumple: o
n

x(x + 1) (x + n 1) =

k=0

n k x k

Teor Combinatoria a

71

Demostracin: Lo probaremos por induccin en n. La igualdad se cumple o o para n = 0 (interpretando el producto vac a la izquierda como igual a 1) y o para n = 1, en cuyo caso se reduce a x = x. Puesto que x(x+1) (x+n1) es un polinomio de grado n en la variable x lo podemos escribir en la forma An,0 + An,1 x + + An,n xn . Sea n > 0. Nuestro objetivo es probar que An,k = n . Supongamos inductivamente que An1,k = n1 . Como el k k polinomio x(x + 1) (x + n 1) se anula en x=0 y tiene el coeciente de xn igual a 1 es claro que An,0 = 0 = n y An,n = 1 = n . Ahora bien, 0 n
n k=0

An,k xk = (x(x + 1) (x + n 2)) (x + n 1)


n1

=
k=0 n

An1,k xk
k

(x + (n 1))
n1

=
k=1

An1,k1 x + (n 1)
n1

An1,k xk
k=0

= xn +
k=1

(An1,k1 + (n 1)An1,k ) xk

Por lo tanto si 0 < k < n se tiene: An,k = An1,k1 + (n 1)An1,k = n1 n1 n + (n 1) = k1 k k

siendo las dos ultimas igualdades consecuencia de la hiptesis inductiva y o de la Proposicin (6.2.2). o Proposicin 6.2.4. Para todo n 0 se cumple: o
n

x(x 1) (x n + 1) =

(1)nk
k=0

n k x k

Demostracin: Basta substituir x por x en la Proposicin 6.2.3 y mulo o n. tiplicar luego ambos miembros por (1) Diremos que la sucesin de nmeros reales a1 , a2 , . . . , an presenta un o u m nimo de izquierda a derecha en la posicin i si se cumple que aj > ai para o todo j < i. Los nmeros de Stirling de primera clase estn relacionados con u a este concepto del modo siguiente:

72

Jos H. Nieto e

Proposicin 6.2.5. El nmero de permutaciones de Nn que al ser escrio u tas en forma de sucesin presentan exactamente k m o nimos de izquierda a derecha es n . k Demostracin: Diremos que la descomposicin en producto de ciclos diso o juntos de una permutacin Sn est escrita en forma cannica si se o a o satisfacen las dos condiciones siguientes: 1. Cada ciclo est escrito comenzando por su menor elemento. a 2. Los ciclos estn ordenados de izquierda a derecha en orden decreciente a de sus primeros elementos. Es claro que toda permutacin puede escribirse de acuerdo a estas reglas, o y de una unica manera. Por ejemplo : = 1 2 3 4 5 6 7 8 2 4 5 1 7 8 3 6 = (6, 8)(3, 5, 7)(1, 2, 4)

La ventaja de la forma cannica es que si quitamos los parntesis que encieo e rran a cada ciclo, la permutacin original puede ser reconstru abriendo o da parntesis antes de cada m e nimo de izquierda a derecha. En efecto, el primer elemento de un ciclo en una descomposicin escrita en forma cannica o o es menor que el primer elemento de cualquier ciclo que lo preceda y por lo tanto menor que cualquier elemento de ese ciclo. En consecuencia, el primer elemento de cada ciclo es un m nimo de izquierda a derecha, y obviamente no hay otros m nimos. Construyamos ahora una aplicacin f : Sn Sn o del modo siguiente: a cada Sn la descomponemos en producto de ciclos disjuntos, escribimos la descomposicin en forma cannica, quitamos los o o parntesis e interpretamos el resultado como una permutacin escrita en fore o ma de sucesin. Por ejemplo si es la permutacin del ejemplo precedente o o entonces f () = 1 2 3 4 5 6 7 8 6 8 3 5 7 1 2 4

La posibilidad de reconstruir una permutacin a partir de la sucesin de o o elementos que aparecen en su forma cannica nos muestra que f es una o biyeccin, y adems hace corresponder a cada permutacin que se descomo a o ponga en k ciclos disjuntos otra con k m nimos de izquierda a derecha. Una aplicacin del principio de correspondencia naliza la demostracin. o o Otro tratamiento de este tema puede verse en [N2].

Teor Combinatoria a

73

6.3

Aplicacin al anlisis de algoritmos o a

El algoritmo que analizaremos a continuacin es muy sencillo, y consiste o en examinar secuencialmente un arreglo numrico x[1], x[2], . . . , x[n] para e hallar el m nimo elemento. Al nalizar, la variable min contendr el valor a del menor elemento del arreglo y la variable j su correspondiente ndice. Supondremos, para mayor sencillez, que todos los elementos del arreglo son distintos. PASO 1. (Inicializacin) j 1; min x[1]; i 2 ; o PASO 2. Si i > n nalizar. PASO 3. Si x[i] > min ir al PASO 5. PASO 4. min x[i]; j i; PASO 5. i i + 1; Ir al PASO 2. El anlisis combinatorio de este algoritmo consiste sencillamente en cona tar el nmero de veces que se ejecuta cada paso del mismo. Esto es fcil, u a excepto para el PASO 4, cuya ejecucin depende de los datos de entrada o (los elementos almacenados en el arreglo). Como mximo este paso se ejea cutar n 1 veces, y esto ocurrir si y slo si x[1] > x[2] > > x[n]. Pero a a o tambin puede ocurrir que no se ejecute nunca, si los elementos del arreglo e son tales que x[1] < x[2) < < x[n]. En general, llamando A al nmero u de veces que se ejecuta el PASO 4, tendremos: PASO 1 2 3 4 5 veces que se ejecuta 1 n n-1 A n-1

El valor exacto de la cantidad A es inferior en una unidad al nmero de u m nimos de izquierda a derecha que presente la sucesin x[1], x[2], . . . , x[n]. o Puesto que a los nes de este anlisis no tienen importancia los valores aba solutos de los nmeros x[i] sino solamente las relaciones de orden entre ellos, u supongamos que x[1], x[2], . . . , x[n] son una permutacin de los nmeros del o u

74

Jos H. Nieto e

1 al n. Entonces la Proposicin (6.2.5) nos dice que el nmero de permutao u n ciones para las cuales A = k es k+1 . Si suponemos que las n! permutaciones son equiprobables como datos de entrada, entonces la probabilidad de que sea A = k es: pk = Prob(A = k) = 1 n n! k + 1

Para obtener el valor esperado y la variancia de A calculemos primero la correspondiente funcin generadora de momentos: o
n1

G(x) =
k=0

pk xk =

1 n!

n1 k=0

n 1 xk = (x + 1)(x + 2) (x + n 1) n! k+1

donde la ultima igualdad es consecuancia de (6.2.3). Calculemos la derivada logar tmica de G(x) : 1 1 1 G (x) = + + + G(x) x+1 x+2 x+n1 Como G(1) = 1, poniendo x = 1 en la expresin anterior resulta que el valor o esperado de A es: E(A) = G (1) = 1 1 1 + + + = Hn 1 2 3 n

siendo Hn la suma de los primeros n trminos de la serie armnica. e o Derivando una vez ms resulta: a G (x)G(x) (G (x))2 1 1 1 = 2 (x) 2 2 G (x + 1) (x + 2) (x + n 1)2 y calculando nuevamente en x=1 tenemos G (1) (G (1))2 = siendo Hn =
(2) n 2 k=1 (1/k ).

1 1 1 (2) 2 = 1 Hn 22 32 n

Ahora podemos calcular la variancia de A:

(2) Var(A) = G (1) + G (1) (G (1))2 = Hn Hn

Con esto naliza el anlisis estad a stico del algoritmo. Utilizando estas mismas ideas se puede analizar el algoritmo de ordenacin por seleccin (ver o o ejercicios al nal del cap tulo).

Teor Combinatoria a

75

6.4

Particiones, n meros de Stirling de segunda u clase y n meros de Bell u

Una particin de un conjunto X es una coleccin {Ai : i I} de subconjuno o tos no vac de X, disjuntos dos a dos y tales que su unin sea X. Cada os o particin de X permite denir una relacin de equivalencia en X en la o o cual x y si y slo si x, y Ai para algn i I. Rec o u procamente cada relacin de equivalencia en X induce una particin de X, a saber aquella o o constitu por las clases de equivalencia. Es claro que esta correspondencia da entre particiones de X y relaciones de equivalencia en X es biyectiva. Cada funcin f : X Y induce una relacin de equivalencia en o o su dominio deniendo a b si y slo si f (a) = f (b). A la particin de X o o determinada por esta relacin de equivalencia se le llama ncleo de la funcin o u o f . Si f es sobreyectiva y el conjunto Y tiene k elementos y1 , . . . , yk entonces el ncleo de f se compone tambin de k clases, a saber f 1 (y1 ), . . . , f 1 (yk ). u e El nmero de particiones (o lo que es lo mismo, el nmero de relaciones de u u equivalencia) que admite un conjunto de n elementos se denomina nmero u de Bell de orden n, y lo denotaremos Bn . Aceptaremos por convencin que o B0 = 1, aunque esto puede tambin justicarse observando que el conjunto e vac admite exactamente una particin, a saber la particin vac (es decir o o o a la particin sin miembro alguno). El nmero de particiones que admite un o u conjunto de n elementos con exactamente k clases se denomina nmero de u Stirling de segunda clase con ndices n y k y lo denotaremos mediante el s mbolo n . Es claro que si n > 0 entonces n = 0. Tambin es obvio que e k 0 si n < k entonces n = 0. Aceptaremos por convencin, o en virtud del o k mismo razonamiento que hicimos ms arriba para B0 , que 0 = 1. a 0 A continuacin demostraremos varias propiedades de los nmeros de o u Stirling de segunda clase. Proposicin 6.4.1. Para todo n > 0 se cumple: o n 1 = n n = 1, n 2 = 2n1 1, n n1 = n 2

Demostracin: Si X = {x1 , . . . , xn } es un conjunto con n > 0 elementos o entonces la unica particin de X con una sola clase es obviamente {X}. A o su vez, la unica particin de X con n clases es {{x1 }, . . . , {xn }} y as quedan o probadas las dos primeras igualdades. En cuanto a la tercera hagamos corresponder a cada subconjunto A de X , no vac y distinto del propio X, la o

76

Jos H. Nieto e

particin {A, X \ A}. De este modo se obtienen todas las particiones de X o en dos clases, pero cada una de ellas aparece dos veces puesto que A y X\A determinan la misma particin. Como X tiene 2n subconjuntos, descontano do y X y dividiendo entre dos resulta (2n 2)/2 = 2n1 1. Por ultimo, para probar la cuarta igualdad basta observar que cualquier particin de X o en n 1 clases debe constar de una clase de dos elementos y n 2 clases de un elemento cada una. Pero una particin de este tipo queda determinada o una vez que sabemos cual es la clase con dos elementos, para lo cual hay precisamente n posibilidades. 2 Proposicin 6.4.2. Para todo n > 0 y k > 0 se cumple: o n k = n1 n1 +k k1 k

Demostracin: Sea X = {x1 , . . . , xn }. Las particiones de X en k clases o pueden clasicarse en dos categor as: las que contienen la clase {xn } y las que no la contienen. Las primeras son n1 , puesto que si {xn } es una clase k1 debe haber k 1 clases adicionales, cuya unin ser {x1 , . . . , xn1 }. En las o a particiones de la segunda categor el elemento xn debe pertenecer a alguna a de las k clases, que contendr tambin algn otro elemento. Quitando xn rea e u sultar una particin de {x1 , . . . , xn1 } con k clases, de las cuales hay n1 . a o k Sin embargo aplicando este procedimiento cada particin de {x1 , . . . , xn1 } o en k clases se obtiene k veces, pues xn podr estar en cualquiera de las k a clases. De este modo resulta que el nmero de particiones en la segunda u categor es k n1 . a k La relacin que acabamos de demostrar, anloga a la frmula de Stifel para o a o los coecientes binomiales y a la Proposicin (6.2.2) para los nmeros de o u Stirling de primera clase, permite calcular los nmeros de Stirling de segunda u clase recursivamente y construir una tabla semejante al tringulo de Pascal: a n\k 0 1 2 3 4 5 6 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 2 3 4 5 6

1 3 7 15 31

1 6 25 90

1 10 65

1 15

Teor Combinatoria a

77

En este tringulo, luego de llenar los lados con ceros y unos, se obtiene a cada nmero sumando al que est en la la superior y un lugar a la izquierda, u a el que est encima multiplicado por su nmero de columna. En la la 5 y a u columna 3 se tiene por ejemplo 5 = 7 + 6 3 = 25. 3 Proposicin 6.4.3. o n+1 k+1
n

=
j=0

n j

j k

Demostracin: Sea X = {x1 , x2 , . . . , xn+1 }. En cada particin de X en o o k + 1 clases eliminemos la clase que contiene a xn+1 . Queda entonces una particin de un subconjunto B de {x1 , . . . , xn } en k clases. Rec o procamente si a una particin de un conjunto B {x1 , . . . , xn } en k clases le agregamos o la clase X \ B (que no es vac pues al menos contiene a xn+1 ) resulta una a particin de X en k + 1 clases. Las dos correspondencias que hemos denido o son claramente inversas una de la otra, por lo tanto aplicando el principio de correspondencia y luego el de la suma resulta que: n+1 k+1 =
B{x1 ,...,xn }

|B| k

Para concluir la demostracin basta observar que para cada j = 0, 1, . . . , n o hay exactamente n subconjuntos B de {x1 , . . . , xn } con j elementos. j Proposicin 6.4.4. El nmero de funciones sobreyectivas de un conjunto o u de n elementos en otro de k elementos es k! n . k Demostracin: En primer lugar probaremos que si dos funciones f y g o de un conjunto X en otro Y son sobreyectivas y tienen el mismo ncleo, u entonces existe una unica biyeccin : Y Y tal que f = g. En o efecto, si y Y sea x X tal que g(x) = y y denamos (y) = f (x). La denicin es buena pues si x es otro elemento de X tal que g(x ) = y o entonces g(x ) = g(x) y como g y f tienen el mismo ncleo resulta f (x ) = u f (x). Es claro que con esta denicin se cumple que g = f , y como g o es sobre es la unica funcin que satisface esta relacin. Como f es sobre o o resulta tambin que lo es. En cuanto a la inyectividad si (y1 ) = (y2 ) e sean x1 , x2 tales que g(xi ) = yi , i = 1, 2. Entonces (g(x1 )) = (g(x2 )) y por lo tanto f (x1 ) = f (x2 ), pero como f y g tienen el mismo ncleo resulta u

78

Jos H. Nieto e

que g(x1 ) = g(x2 ), es decir y1 = y2 . La propiedad de tener el mismo ncleo u induce obviamente una relacin de equivalencia en la familia de las funciones o de X sobre Y . Si |X| = n y |Y | = k entonces en virtud de lo que acabamos de probar cada clase de equivalencia debe tener k! elementos (tantos como biyecciones : Y Y ) y el nmero de clases de equivalencia ser igual al u a nmero de particiones de X en k clases, es decir n . Por lo tanto el nmero u u k n total de funciones de X sobre Y es k! k . Proposicin 6.4.5. o n k = 1 k! n n n 1 , . . . , nk

1 ++nk =n ni >0

Demostracin: Es consecuencia inmediata de las Proposiciones (6.4.4) y o (3.2.4). Proposicin 6.4.6. o n k 1 = k!


n1

(1)
j=0

k 1 (k j)n = j k!

(1)kj
j=1

k n j j

Demostracin: Es consecuencia inmediata de las Proposiciones (6.4.4) y o (4.2.1). Proposicin 6.4.7. o


n j=0

k j

n j! = k n j

Demostracin: Sean X e Y dos conjuntos tales que |X| = n y |Y | = k. o Toda funcin de X en Y es sobre algn subconjunto de Y . Como el nmero o u u total de funciones de X en Y es k n tenemos entonces que: |Sobre(X, B)| = k n

BY

Pero para cada j entre 0 y k hay k subconjuntos de Y con j elementos, y j el nmero de funciones de X sobre cada uno de ellos es j! n segn (6.4.4). u u j Una aplicacin del principio de la suma concluye la demostracin. o o

Teor Combinatoria a Proposicin 6.4.8. o


n

79

x =
j=0

n [x]j j

Demostracin: El polinomio o
n

P (x) = xn

j=0

n [x]j j

se anula para cualquier entero positivo k por la Proposicin (6.4.7). Por lo o tanto, debe ser idnticamente nulo. e Proposicin 6.4.9. Supongamos que 1 , . . . , n son enteros no negativos o tales que 1 + 22 + + nn = n. Entonces el nmero de particiones de un u conjunto de n elementos con i clases de i elementos para i = 1, . . . , n es: n! (1!)1 (2!)2 (n!)n 1 !2 ! n ! Demostracin: Podemos suponer sin prdida de generalidad que el cono e junto de n elementos es Nn . Escribamos las n! permutaciones de los nmeros u del 1 al n en forma de sucesin y a cada una de ellas hagmosle corresponder o a una particin de Nn de la siguiente manera: con los primeros 1 elementos o formamos 1 clases de un elemento cada una; con los siguientes 2 pares de elementos formamos 2 clases de dos elementos cada una, y as sucesivamen te. Es claro que de este modo se obtienen todas las particiones de Nn con i clases de i elementos para cada i = 1, . . . , k, pero cada una de ellas aparece repetida (1!)1 (2!)2 (n!)n 1 !2 ! n ! veces. En efecto, para cada k = 1, . . . , n hay k clases de k elementos, y los elementos de cada una de estas clases pueden permutarse entre s de k! maneras. Esto da cuenta del factor (k!)k . Por otra parte las k clases de k elementos pueden permutarse entre s de k ! maneras. Proposicin 6.4.10. La funcin generatriz exponencial de los nmeros de o o u n t 1)k /k!. Stirling de segunda clase k para k 0 jo es (e

80 Demostracin: Utilizando (6.4.5) se tiene: o


n=k

Jos H. Nieto e

1 n n t = n! k =

n=k

1 n!k! n

1 ++nk =n

n tn n 1 , . . . , nk tn

1 k! 1 k!

n=k

n1 ++nk

1 n1 ! nk ! =n
k

t t2 t3 + + + 1! 2! 3!

(et 1)k k!

Proposicin 6.4.11. o
n

Bn =
k=0

n k

Demostracin: Clasique las particiones de un conjunto de n elementos o segn el nmero de clases que contengan, y aplique el principio de la suma. u u Proposicin 6.4.12. o
n

Bn+1 =
k=0

n Bk k

Demostracin: Todas las particiones de Nn+1 pueden obtenerse escogieno do primero el conjunto de elementos F Nn que acompaarn a n + 1 en n a su clase y efectuando luego una particin de Nn \ F . Por lo tanto: o
n

Bn+1 =
F n

Nn

Bn|F | =

=
k=0

n Bnk = k

k=0 F n |F |=k n k=0

Bnk

n Bk k

(la ultima igualdad es consecuencia de la simetr de los coecientes bino a miales).

Teor Combinatoria a

81

Proposicin 6.4.13. La funcin generatriz exponencial de los nmeros de o o u Bell es:


n=0

Bn n t t = ee 1 n!

Demostracin: Aplicando las Proposiciones (6.4.10) y (6.4.11) se tiene: o


n=0

Bn n t = n! =

n=0 k=0 n=k

1 n!

n k=0

n k

tn
k=0

1 n n t = n! k

1 t t (e 1)k = ee 1 k!

(Otras demostraciones de este resultado conocido como frmula de Bell o pueden verse en [R6], [B1] y [T1]. Vea tambin el Ejercicio 13). e

Tringulo de Bell a Los nmeros de Bell pueden obtenerse a partir del siguiente tringulo, en el u a cual Bn es el ultimo nmero de la la n. La regla de formacin de cada la u o es la siguiente: se coloca como primer elemento el ultimo nmero de la la u anterior, luego se suma este primer elemento con el nmero que est arriba u a suyo y el resultado se coloca como segundo nmero de la la, la suma de u ste con el que est arriba suyo es el tercero, y as sucesivamente. La la e a nmero 5 por ejemplo se obtuvo as su primer elemento es el ultimo de u : la la 4, es decir el 15. El segundo elemento es 15 + 5 = 20, el tercero 20 + 7 = 27, el cuarto 27 + 10 = 37 y el quinto y ultimo B5 = 37 + 15 = 52. El proceso comienza colocando B1 = 1 en la primera la. La justicacin o de este procedimiento se deja al lector (ver Ejercicio 16). n=1 n=2 n=3 n=4 n=5 n=6 n=7 n=8 1 1 2 5 15 52 203 877 2 3 7 20 67 255 ...

5 10 27 87 322

15 37 114 409

52 151 523

203 674

877

82

Jos H. Nieto e

Para nalizar, recomendamos al lector el interesante art culo de divulgacin de Martin Gardner [G1] sobre los nmeros de Bell. o u

6.5

Ejercicios

1. Pruebe que el nmero de Stirling de primera clase n es igual a la u k suma de todos los productos de n k nmeros distintos entre 1 y u n 1. Por ejemplo, 5 = 1 2 + 1 3 + 1 4 + 2 3 + 2 4 + 3 4 = 35. 3 Deduzca como corolario la siguiente acotacin: o n k n1 k1
2

(n k)!

2. (Algoritmo de ordenacin por seleccin) o o El siguiente algoritmo ordena el arreglo x[1], . . . , x[n] en forma ascendente: Paso 1. k 1 Paso 2. Si k > n 1 nalizar. Paso 3. j k; M x[k]; i j + 1 Paso 4. Si i > n ir al Paso 8. Paso 5. Si x[i] > M ir al Paso 7. Paso 6. M x[i]; j i Paso 7. i i + 1; Ir al Paso 4. Paso 8. x[j] x[k]; x[k] M ; k k + 1; Ir al Paso 2. Calcule el nmero de veces que se ejecuta cada paso distinto del Paso u 6. Pruebe que si x[1], . . . , x[n] es una permutacin de los nmeros del o u 1 al n tomada al azar entonces el valor esperado del nmero de veces u que se ejecuta el Paso 6 es (n + 1)Hn n. 3. Demuestre la Proposicin (6.4.9) a partir de la (6.1.3). o 4. Pruebe que 5. Pruebe que
n n2 n n3

= =

n 3 n 4

+3

n 4 n 5

+ 10

+ 15

n 6

Teor Combinatoria a

83

6. Pruebe que el nmero de particiones de Nn en k clases que no contenu gan elementos consecutivos es n1 . k1 Como aplicacin, muestre que el nmero de banderas con n franjas o u horizontales que se pueden pintar con k colores, de modo que aparezcan todos los colores y no haya franjas adyacentes del mismo color, es k! n1 . k1 7. Pruebe que para un k jo, la funcin generatriz de los nmeros de o u Stirling de segunda clase n+k es: k
n=0

n+k n 1 x = k (1 x)(1 2x) (1 kx)

8. Pruebe que el nmero de Stirling de segunda clase n es igual a la u k suma de todos los productos de n k factores entre 1 y k , donde puede haber factores repetidos. Por ejemplo, 5 3 = 1 1 + 1 2 + 1 3 + 2 2 + 2 3 + 3 3 = 25

9. Los polinomios [x]0 = 1, [x]1 = x, . . . , [x]n = x(x 1) (x n + 1) forman una base del espacio vectorial de los polinomios a coecientes reales y grado menor o igual a n , del mismo modo que los polinomios 1, x, x2 , . . . , xn . Exprese las matrices de cambio de una a otra base utilizando los nmeros de Stirling. Multiplicando una de estas matrices u por su inversa obtenga relaciones entre los nmeros de Stirling de u primera y segunda clase. 10. Si n > 1 es producto de k factores primos distintos, pruebe que el nmero de descomposiciones de n en producto de factores mayores u que 1 es Bk . 11. Pruebe que el nmero de particiones de Nn tales que cada clase tiene u al menos dos elementos es igual al nmero de particiones de Nn1 tales u que al menos una clase tiene exactamente un elemento. 12. Demuestre la Proposicin (6.4.12) a partir de las Proposiciones (6.4.3) o y (6.4.11).

84

Jos H. Nieto e

13. Obtenga la frmula de Bell multiplicando la funcin generatriz expoo o nencial de la sucesin {Bn } por el desarrollo en serie de ez y usando o la Proposicin (6.4.12). o 14. Demuestre la frmula de Dobinsky: o Bn+1 = 1 e 1n 2n 3n + + + 0! 1! 2!

15. Pruebe que el nmero de particiones de Nn tales que ninguna clase u contiene elementos consecutivos es Bn1 . 16. Justique la contruccin del tringulo de Bell. o a

Cap tulo 7

Teoremas de existencia
Mirando bien las cosas, parece que el matemtico debe tener a el valor de armar sus convicciones ntimas, lo que le llevar a a decir que las estructuras matemticas estn dotadas de una a a existencia independiente de la mente humana que las piensa. Esta existencia es, sin duda alguna, muy diferente de la existencia concreta y material del mundo exterior, pero no por eso deja de estar relacionada de manera sutil y profunda con la existencia objetiva. Ren Thom. e

En este cap tulo hemos agrupado algunos resultados que arman la existencia de algn tipo de objeto matemtico a partir de consideraciones comu a binatorias, entre ellos el teorema de Ramsey y algunas de sus consecuencias y el Teorema de Philip Hall sobre sistemas de representantes distintos. Inclu mos el teorema de Van der Waerden por cuanto creemos que pertenece a este mismo orden de ideas, aunque tambin podr ser considerado un e a resultado de teor de nmeros. Por ultimo aprovechamos la ocasin para a u o ilustrar la signicacin y las posibilidades de las estructuras de orden en o Combinatoria.

86

Jos H. Nieto e

7.1

El Teorema de Ramsey

El Teorema de Ramsey es una generalizacin profunda del llamado Princio pio de Dirichlet, por lo cual demostraremos en primer lugar este resultado. (Acotemos sin embargo que desde el punto de vista que hemos adoptado en esta obra el de Dirichlet no es un verdadero principio, sino una consecuencia ms o menos inmediata de los principios de correspondencia y de la a suma) Principio de Dirichlet 7.1.1. Sean a1 , . . . , ak nmeros enteros no negau tivos y sea n = a1 + + ak k + 1 . Si |X| n y X = A1 Ak es una descomposicin de X como unin de subconjuntos disjuntos, entonces o o para algn i (1 i k) se tiene |Ai | ai . u Demostracin: Supongamos por absurdo que |Ai | < ai para todo i = o 1, . . . , k. Entonces |Ai | ai 1 y por lo tanto |X| = |A1 | + + |Ak | (a1 1)+ +(ak 1) = n1, en contradiccin con la hiptesis |X| n. o o En lo sucesivo, si X es un conjunto y r un entero no negativo, Pr (X) denotar la coleccin de subconjuntos de r elementos del conjunto X, es a o decir Pr (X) = {A X : |A| = r}. Teorema de Ramsey 7.1.2. Sean r, a1 , . . . , ak enteros tales que 1 r ai para i = 1, . . . , k. Entonces existe un m nimo nmero entero u R(a1 , . . . , ak ; r) tal que si X es un conjunto con |X| R(a1 , . . . , ak ; r) y Pr (X) = A1 Ak es una descomposicin de Pr (X) en k subconjuntos o disjuntos entonces para algn i (1 i k) existe un subconjunto Y de X u con |Y | = ai y Pr (Y ) Ai . (Los nmeros R(a1 , . . . , ak ; r) cuya existencia u arma este Teorema se conocen como nmeros de Ramsey) u Demostracin: Si identicamos X con P1 (X) por medio de la biyeccin o o natural que lleva x en {x} el Principio de Dirichlet (7.1.1) nos muestra que este Teorema es vlido para r = 1. Ms an nos dice que: a a u R(a1 , . . . , ak ; 1) a1 + + ak k + 1 De hecho es fcil ver que se cumple la igualdad. Para k = 1 y r cualquiera a la demostracin es tambin fcil. En este caso se tiene R(a1 ; r) = a1 . En o e a efecto,si |X| a1 sea Y cualquier subconjunto de X con a1 elementos. Entonces Pr (Y ) Pr (X) = A1 , y obviamente a1 es el menor entero con esta propiedad.

Teor Combinatoria a

87

Ahora probaremos el teorema para k = 2. En primer lugar observemos que si R(a1 , a2 ; r) existe entonces tambin existe R(a2 , a1 ; r) y son iguales. e En efecto, si |X| R(a1 , a2 ; r) y Pr (X) = B1 B2 con B1 B2 = entonces escribiendo Pr (X) = B2 B1 y aplicando la propiedad que dene a R(a1 , a2 ; r) resulta que existe Y X tal que |Y | = a1 y Pr (Y ) B2 , o bien |Y | = a2 y Pr (Y ) B1 . Esto signica que R(a2 , a1 ; r) existe y es menor o igual que R(a1 , a2 ; r). Anlogamente se ve que R(a1 , a2 ; r) R(a2 , a1 ; r). a Tambin tenemos que R(a1 , r; r) = a1 . En efecto, si |X| a1 y Pr (X) = e A1 A2 , con A1 A2 = , hay dos posibilidades: 1) A2 = . En este caso A1 = Pr (X) y tomando cualquier Y X con a1 elementos tenemos Pr (Y ) Pr (X) = A1 . 2) A2 = . En este caso sea T A2 . Puesto que T es un subconjunto de X de r elementos, tenemos que Pr (T ) = {T } A2 . Esto prueba que R(a1 , r; r) a1 . Pero si |X| < a1 , escribiendo Pr (X) = Pr (X) vemos que no hay subconjuntos de X con a1 elementos, ni tampoco subconjunto Y alguno de r elementos con Pr (Y ) = {Y } . Por lo tanto R(a1 , r; r) = a1 . Por la simetr sealada anteriormente tambin se tiene R(r, a2 ; r) = a2 . a n e A continuacin demostraremos la existencia de los nmeros R(a1 , a2 ; r) o u por induccin en a1 , a2 y r, partiendo de la existencia ya demostrada para o r = 1 a1 , a2 , y para r cualquiera y a1 o a2 iguales a r. Supongamos entonces 1 < r < ai (i = 1, 2). Por hiptesis inductiva existen b1 = R(a1 o 1, a2 ; r) , b2 = R(a1 , a2 1; r) y R(b1 , b2 ; r 1). Sea m = R(b1 , b2 ; r 1) + 1 y sea X un conjunto tal que |X| m. Sea x un elemento cualquiera de X y sea T = X\{x}. Si Pr (X) = A1 A2 con A1 A2 = entonces podemos descomponer Pr (T ) como unin disjunta de dos subconjuntos B1 o y B2 denidos as : Bi = {Z Pr1 (T ) : {x} Z Ai }, (i = 1, 2) Como |T | = |X| 1 m 1 = R(b1 , b2 ; r 1) resulta que T tiene un subconjunto U con |U | = b1 y Pr1 (U ) B1 , o un subconjunto V con |V | = b2 y Pr1 (V ) B2 . Analizaremos solamente el primer caso, ya que el otro es anlogo. Sea Ci = Pr (U ) Ai , (i = 1, 2). Entonces Pr (U ) = C1 C2 a y C1 C2 = . Como |U | = b1 = R(a1 1, a2 ; r) entonces U contiene un subconjunto W con |W | = a1 1 y Pr (W ) C1 o un subconjunto Y con |Y | = a2 y Pr (Y ) C2 . En este ultimo caso estamos listos ya que C2 A2 . En el otro caso tomemos Y = {x} W , con lo cual |Y | = a1 . Probaremos ahora que Pr (Y ) A1 . En efecto, si un subconjunto de Y de r elementos no contiene al elemento x, entonces est en Pr (W ) y por lo tanto a

88

Jos H. Nieto e

en A1 . Los subconjuntos de Y de r elementos que contienen al elemento x son de la forma {x} Z con Z Pr1 (W ). Pero W U , de donde Z Pr1 (W ) Pr1 (U ) B1 y por la denicin de B1 tenemos entonces o que {x} Z A1 . Hemos probado as que existe un nmero m con la u siguiente propiedad: Si |X| m, Pr (X) = A1 A2 y A1 A2 = entonces existe Y X tal que |Y | = ai y Pr (Y ) Ai , para i = 1 o 2. Debe existir entonces un m nimo entero con esa propiedad, y se es R(a1 , a2 ; r). e Finalmente probaremos la existencia de R(a1 , . . . , ak ; r) para todo k 1 y 1 r ai , (i = 1, . . . , k), por inducin en k. Como ya lo heo mos probado para k = 1 y k = 2, supongamos entonces k > 2 y sea m = R(a1 , . . . , ak2 , R(ak1 , ak ; r); r). Sea X un conjunto con |X| m y Pr (X) = A1 Ak una descomposicin de Pr (X) en k subconjuntos o disjuntos. Agrupando Ak1 y Ak tenemos una descomposicin de Pr (X) en o k 1 subconjuntos disjuntos: Pr (X) = A1 Ak2 (Ak1 Ak ) Entonces por la denicin de m existe Y X tal que ocurre una de las dos o cosas siguientes: 1) Para algn i (1 i k 2) se tiene |Y | = ai y Pr (Y ) Ai u 2) |Y | = R(ak1 , ak ; r) y Pr (Y ) Ak1 Ak En el primer caso, ya est listo. En el segundo podemos escribir Pr (Y ) = a (Ak1 Pr (Y )) (Ak Pr (Y )) y entonces por la denicin de R(ak1 , ak ; r) o existe Z Y tal que |Z| = ak1 y Pr (Z) Ak1 , o |Z| = ak y Pr (Z) Ak . Esto prueba que R(a1 , . . . , ak ; r) existe, y ms an a u R(a1 , . . . , ak ; r) R(a1 , . . . , ak2 , R(ak1 , ak ; r); r)

Proposicin 7.1.3. o

i) R(a; r) = a (1 r a)

ii) R(a1 , . . . , ak ; 1) = a1 + + ak k + 1 (a1 , . . . , ak 1) iii) R(a, r; r) = R(r, a; r) = a (1 r a) iv) R(a, b; r) R(R(a 1, b; r), R(a, b 1; r); r 1) + 1 (a, b > r > 1) v) R(a, b; 2) R(a 1, b; 2) + R(a, b 1; 2) (a, b > 2)

Teor Combinatoria a vi) R(a1 , . . . , ak ; r) R(a1 , . . . , ak2 , R(ak1 , ak ; r); r) para k 3 y 1 r a1 , . . . , ak

89

Demostracin: Todos estos resultados han sido establecidos en el transo curso de la demostracin del Teorema de Ramsey (7.1.2), con excepcin de o o v), que es consecuencia inmediata de iv) y ii). Salvo por los casos triviales a que hacen referencia los puntos i), ii) y iii) de la Proposicin anterior son pocos los nmeros de Ramsey cuyo valor o u se conoce exactamente. Los valores conocidos de R(p, q; 2) se resumen en la tabla que aparece al nal del libro. Adems se sabe que R(3, 3, 3; 2) = 17. a (Vea tambin [W2]). e

7.2

Aplicaciones a la teor de grafos a

A continuacin haremos un resumen de las deniciones y conceptos bsicos o a de la teor de grafos que necesitaremos. El lector no familiarizado con esta a teor puede consultar [B2] o [H2]. Un grafo es un par G = (V, A) donde a V es un conjunto no vac y A es un conjunto de pares (desordenados) de o elementos distintos de V , es decir un subconjunto de P2 (V ). El grafo es nito si V lo es. Los elementos de V se llaman vrtices y los de A aristas. e Se llama extremos de una arista a los dos vrtices que le pertenecen. Dos e vrtices distintos son adyacentes si son extremos de una misma arista. Un e conjunto de vrtices W V es independiente si no contiene ningn par de e u vrtices adyacentes. Un vrtice y una arista son incidentes si el primero es e e un extremo de la segunda. La valencia o grado de un vrtice v V es el e nmero de aristas incidentes con v. La denotaremos mediante (v). Como u cada arista tiene dos extremos, para los grafos nitos se cumple la siguiente identidad debida a Euler: (v) = 2|A|
vV

de la cual se deduce que el nmero de vrtices con valencia impar debe ser u e par. El grafo G = (V, A) es completo si A = P2 (V ), es decir si todo par de vrtices distintos de V son adyacentes. Es claro que un grafo de n vrtices e e es completo si y slo si tiene n(n 1)/2 aristas. Un grafo G = (V , A ) es o subgrafo de G = (V, A) si V V y A A. Si G = (V, A) es un grafo y W V , entonces el subgrafo generado por W es H = (W, B), siendo B el

90

Jos H. Nieto e

conjunto de aristas de G con ambos extremos en W . El complemento del grafo G = (V, A) es el grafo G = (V, P2 (V )\A). Proposicin (Erds - Szekeres) 7.2.1. Dados enteros a, b 2 existe un o o m nimo entero N (a, b) tal que todo grafo con N (a, b) o ms vrtices contiene a e un subgrafo completo de a vrtices o un conjunto de b vrtices independiene e tes. Adems se cumple la desigualdad a N (a, b) a+b2 a1

Demostracin: La primera parte de esta proposicin resulta del teorema o o de Ramsey al tomar k = r = 2 y N (a, b) = R(a, b; 2). Para probar la desigualdad observemos que: (a + 2) 2 a1

N (a, 2) = N (2, a) = R(2, a; 2) = a =

Procediendo ahora por induccin tenemos que si a, b > 2 entonces: o

N (a, b) N (a 1, b) + N (a, b 1) (a 1) + b 2 a + (b 1) 2 + (a 1) 1 a1 = a+b2 a1

Una coloracin de las aristas de un grafo G = (V, A) con k colores es o una funcin f : A C siendo C un conjunto de k elementos (no imponemos o ninguna restriccin sobre los colores de aristas con un extremo comn). Un o u subgrafo de un grafo coloreado se dice monocromtico si todas sus aristas son a del mismo color. La existencia de los nmeros de Ramsey R(a1 , . . . , ak ; 2) u nos permite enunciar la siguiente proposicin: o Proposicin 7.2.2. Dados k nmeros a1 , . . . , ak 2 existe un m o u nimo entero N (a1 , . . . , ak ) tal que si las aristas de un grafo de N (a1 , . . . , ak ) o ms vrtices se colorean con k colores, entonces para algn i (1 i k) G a e u contiene un subgrafo monocromtico completo de ai vrtices. a e

Teor Combinatoria a

91

Proposicin 7.2.3. Si G = (V, A) es un grafo innito numerable, entonces o G contiene un subgrafo completo innito o un conjunto innito de vrtices e independientes. Demostracin: Sea F = {v V : (v) < } el conjunto de los vrtices o e con valencia nita. Distinguiremos dos casos: a) F es innito. En este caso sean u1 , u2 , . . . los vrtices con valencia nita. Construyae mos inductivamente una nueva sucesin de vrtices as sea v1 = u1 , y como o e : v2 tomemos el primer ui no adyacente a v1 . Como v3 tomamos el primer ui no adyacente a v1 ni a v2 , . . . y en general si ya hemos elegido v1 , . . . , vk entonces como vk+1 tomamos el primer ui no adyacente a ninguno de los vrtices v1 , v2 , . . . , vk . Esto siempre es posible por tener stos vrtices valene e e cia nita, mientras que los ui son innitos. Los vrtices vi as constru e dos constituyen un conjunto innito independiente. b) F es nito. En este caso V1 = V \F debe ser innito. Sea u1 un elemento cualquiera de V1 y sea U1 el conjunto formado por los vrtices de V1 adyacentes a u1 . e Es claro que |U1 | = ya que (u1 ) = y fuera de V1 hay slo un nmero o u nito de vrtices. Denamos ahora V2 como el conjunto de elementos de U1 e que son adyacentes a innitos vrtices de U1 . Si |V2 | < entonces se puede e aplicar al subgrafo de G generado por U1 el razonamiento que hicimos para el caso a) resultando en la existencia de un conjunto independiente innito. Por el contrario si |V2 | = escojamos u2 V2 y repitamos el proceso deniendo U2 como el conjunto de vrtices de V2 adyacentes a u2 , etc. Si e este proceso se detiene al resultar algn Vn nito, entonces existe un conjunto u innito independiente. Si por el contrario el proceso no se detiene, entonces la sucesin u1 , u2 , . . . genera un subgrafo innito completo. o La generalizacin correspondiente de (7.2.2) es la siguiente: o Proposicin 7.2.4. Si las aristas de un grafo completo con una innidad o numerable de vrtices se colorean con r colores, entonces existe un subgrafo e completo innito y monocromtico. a Demostracin: Por induccin en r. Para r = 1 es obvio, y para r = 2 o o es la Proposicin (7.2.3). Supongamos ahora que el resultado es cierto para o

92

Jos H. Nieto e

un r > 2. Dado un grafo completo innito numerable, si las aristas se colorean con r + 1 colores 1, 2, . . . , r + 1, identiquemos los colores r y r + 1. Entonces por la hiptesis inductiva existe un subgrafo completo innito con o las aristas de un mismo color i para algn i = 1, . . . , r 1, o un subgrafo u completo innito con las aristas coloreadas con los colores r y r + 1, el cual a su vez por la Proposicin (7.2.2) debe tener un subgrafo completo innito o monocromtico. a

7.3

Una aplicacin geomtrica o e

Se dice que un conjunto de puntos del plano est en posicin genrica si no a o e hay tres de ellos alineados. Proposicin (Erds - Szekeres) 7.3.1. Para cada entero m 3 existe o o un m nimo entero Nm con la propiedad siguiente: para cualquier conjunto de n puntos del plano en posicin genrica con n Nm hay m de ellos que o e son los vrtices de un pol e gono convexo. Demostracin: Es claro que N3 = 3 pues todos los tringulos son cono a vexos. N4 debe ser mayor que cuatro, ya que cuatro puntos dispuestos de modo que uno de ellos sea interior al tringulo determinado por los otros tres a no son los vrtices de un cuadriltero convexo. Probemos que N4 = 5. En e a efecto, la cpsula convexa de un conjunto de 5 puntos en posicin genrica a o e es un pentgono, un cuadriltero o un tringulo. En los dos primeros casos, a a a tomando cuatro vrtices de la cpsula convexa estamos listos. En el tercer e a caso dos de los puntos (digamos A y B) son interiores al tringulo detera minado por los otros tres (digamos C, D y E). La recta AB deja en un mismo semiplano a dos de los vrtices del tringulo (digamos a C y D) y en e a el semiplano opuesto al vrtice restante. Es fcil ver entonces que A, B, C y e a D son vrtices de un cuadriltero convexo. e a Ahora probaremos que si n puntos estn en posicin genrica y cuatro a o e cualesquiera de ellos son los vrtices de un cuadriltero convexo entonces los e a n puntos son los vrtices de un n-gono convexo. Para verlo sean P1 , . . . , Pm e los vrtices de la cpsula convexa, numerados en el orden en que aparecen al e a recorrer su per metro en uno de los dos sentidos posibles. Si m < n, entonces alguno de los puntos dados es interior a la cpsula convexa y por lo tanto a a alguno de los tringulos P1 P2 P3 , P1 P3 P4 , . . . , P1 Pm1 Pm . Pero entonces a tendr amos cuatro puntos tales que uno de ellos es interior al tringulo dea

Teor Combinatoria a

93

E
e e e e

e 2 222 e 222 t 22 e 222 222 e B t 2 2 2 2 e 2 2 A 222 e 222 e e e e

terminado por los otros tres, y no ser vrtices de un cuadriltero convexo an e a contradiciendo la hiptesis. Por lo tanto n = m, como quer o amos probar. Sean ahora m 4 y n R(m, 5; 4). Dado un conjunto X de n puntos del plano en posicin genrica descompongamos P4 (X) en la unin disjunta o e o de dos subconjuntos A y B, poniendo en A aquellas cuaternas de puntos de X que sean vrtices de un cuadriltero convexo, y en B las restantes. En e a virtud de la denicin de R(m, 5; 4) existen dos posibilidades: o a) Hay un subconjunto de X de m puntos tal que todos sus subconjuntos de 4 puntos estn en A. En este caso los m puntos son vrtices de un m-gono a e convexo, como probamos ms arriba. a b) Hay un subconjunto de X de 5 puntos tales que todos sus subconjuntos de 4 puntos estn en B. Pero esto es imposible, pues ya probamos que un a pentgono contiene al menos un cuadriltero convexo (N4 = 5). a a Entonces R(m, 5; 4) satisface la propiedad deseada. Por tanto hay un m nimo entero Nm R(m, 5; 4) con esta propiedad.

Los unicos valores conocidos de Nm son N3 = 3, N4 = 5 y N5 = 9. Se ha conjeturado que Nm = 2m2 + 1. La Proposicin (7.3.1) puede generalizarse a Rn (Ver ejercicio 9 al nal o del cap tulo).

94

Jos H. Nieto e

7.4

El Teorema de Graham - Rothschild

En lo que sigue, si a y b son nmeros enteros y a b, usaremos la notacin u o [a, b] para referirnos al conjunto de los nmeros enteros comprendidos entre u a y b, ambos inclusive. En otras palabras, [a, b] = {n Z : a n b}. Si x, y [0, t]m diremos que son t-equivalentes si sus componentes coinciden hasta la ultima aparicin de t (si la hay) inclusive. En otras palabras, o x = (x1 , . . . , xm ) y y = (y1 , . . . , ym ) son t-equivalentes si y slo si no existen o ndices i y j, 1 i j m, tales que: 1) xi = yi ; 2) xj = t o yj = t. Teorema de Graham - Rothschild 7.4.1. Para todo nmero natural r u existe un m nimo entero N (t, m, r) tal que si n N (t, m, r) y [1, n] se colorea con r colores, entonces existen naturales a, d1 , . . . , dm que satisfacen a + t m di n y tales que para cada clase de t-equivalencia E de [0, t]m i=1 el conjunto:
m

{a + es monocromtico. a

i=1

xi di : (x1 , . . . , xm ) E}

Demostracin: Llamaremos A(t, m) al enunciado de esta Proposicin. La o o idea de la demostracin es hacer una induccin doble en t y m, probando o o que: I) A(1, 1) es verdadero II) A(t, k) para k = 1, . . . , m A(t, m + 1) III) A(t, m) m 1 A(t + 1, 1) En primer lugar aclaremos el signicado de A(t, 1). Los elementos de [0, t]1 son simplemente los enteros del 0 al t, y las clases de t-equivalencia son solamente dos, a saber {0, 1, . . . , t 1} y {t}. Por lo tanto A(t, 1) se reduce a la armacin siguiente: Para todo natural r existe un m o nimo entero N (t, 1, r) tal que si n N (t, 1, r) y [1, n] se colorea con r colores existen naturales a y d que satisfacen a + td n y los conjuntos {a, a + d, . . . , a + (t 1)d)} y {a + td} son monocromticos. En otras palabras, a dados t y r si n es sucientemente grande y [1, n] se colorea con r colores hay una progresin aritmtica de longitud t con todos sus trminos del mismo o e e color. Este es un famoso teorema demostrado por primera vez por Van der Waerden [W1]. Procedamos ahora con la demostracin: o

Teor Combinatoria a

95

I) A(1, 1) en virtud de la discusin anterior es trivialmente verdadero (Basta o tomar N (1, 1, r) = 2). II) Para un r jo sean M = N (t, m, r) y M = N (t, 1, rM ), los cuales existen por la hiptesis inductiva. Sea C : [1, M M ] [1, r] una r-coloracin. o o M -coloracin C : [1, M ] [1, r]M del modo siguiente: Denamos una r o C (k) = (C((k 1)M + 1), C((k 1)M + 2), . . . , C(kM )) Por denicin de M deben existir a y d tales que a +td M y C (a +xd ) o es constante para x = 0, 1, . . . , t 1. Considerando el intervalo [(a 1)M + 1, a M ] y aplicndole A(t, m) vemos que existen a, d1 , . . . , dm a con (a 1)M + 1 a y a + t m di a M tales que C(a + m xi di ) es i=1 i=1 constante en las clases de t-equivalencia. Denamos di = di (1 i m) y dm+1 = d M . Entonces:
m+1 m

a+t
i=1

di = a + t
i=1

di + td M a M + td M = (a + td )M M M

Sean ahora (x1 , . . . , xm+1 ) y (y1 , . . . , ym+1 ) dos elementosde t-equivalentes de [0, t]m+1 . Sean:
m+1 m+1

X =a+
i=1

xi di , Y = a +
i=1

yi d i

Probaremos que C(X) = C(Y ). Si xm+1 o ym+1 valen t entonces por la denicin de t-equivalencia tendremos xi = yi para i = 1, . . . , m + 1 y o por lo tanto X = Y , de donde C(X) = C(Y ). En caso contrario xm+1 , ym+1 [0, t 1] y (x1 , . . . , xm ) es t-equivalente con (y1 . . . , ym ). Ahora bien, como C (a ) = C (a + xm+1 d ) resulta que C((a 1)M + j) = C((a + xm+1 d 1)M + j), j [1, M ]. Sean ahora
m m

X0 = a +
i=1

x i di , Y 0 = a +
i=1

yi d i

Por la hiptesis inductiva se tiene que C(X0 ) = C(Y0 ). Ahora bien, puesto o que X0 a (a 1)M +1 y X0 a+t m di a M entonces X0 se puede i=1 escribir como (a 1)M + h para algn h [1, M ], y X = X0 + xm+1 d M = u (a 1 + xm+1 d )M + h de donde resulta que C(X0 ) = C(X). Anlogamente a se ve que C(Y0 ) = C(Y ), y por lo tanto C(X) = C(Y ) como quer amos probar.

96

Jos H. Nieto e

III) Probaremos que N (t + 1, 1, r) existe y no supera a N (t, r, r). Si C : [1, N (t, r, r)] [1, r] entonces existen a, d1 , . . . , dr tales que a + t r di i=1 N (t, r, r) y C(a + r xi di ) es constante en cada clase de t-equivalencia. i=1 Entre los r + 1 vectores (0, . . . , 0), (t, 0, . . . , 0), (t, t, 0, . . . , 0), . . . , (t, . . . , t) de [0, t]r debe haber dos en los cuales la t aparece digamos u y v veces y son tales que C(a + t u di ) = C(a + t v di ). Supongamos u < v. Como i=1 i=1 ( t, . . . , t , x, . . . , x , 0, . . . , 0 ) y ( t, . . . , t , 0, . . . , 0 ) para cualquier x [0, t 1]
u vu rv u ru

son t-equivalentes se deduce que los t + 1 nmeros: u


u v

a+t
i=1

di + x
i=u+1

di , x = 0, . . . , t

tienen el mismo color. Es decir que hemos probado A(t + 1, 1). Teorema de van der Waerden 7.4.2. Para todo par de enteros positivos t y r existe un menor entero W (t, r) tal que si n W (t, r) y [1, n] se colorea con r colores entonces hay una progresin aritmtica monocromtica o e a de longitud t. Demostracin: Como ya observamos es un caso particular del teorema o anterior, para m = 1. Vea tambin [GR1]. e

7.5

Conjuntos parcialmente ordenados

Un orden parcial en un conjunto X es una relacin reexiva, antisimtrica o e y transitiva. En otras palabras es un orden parcial en X si y solamente si cumple: 1. x 2. x 3. x x , x X y, y y, y x x = y , x, y X z x z , x, y, z X

En lo que sigue supondremos que X es un conjunto nito, y que es un orden parcial en X. Si Y X diremos que z Y es el mximo de Y si a y z para todo y Y . Anlogamente w Y es el m a nimo de Y si w y para todo y Y . El mximo y el m a nimo pueden no existir, pero si existen son unicos. Dos elementos x, y X son comparables si x y o y x. Un

Teor Combinatoria a

97

subconjunto C de X es una cadena si todos los pares de elementos de C son comparables. Es fcil ver que una cadena nita siempre tiene mximo a a y m nimo. Una cadena es maximal si no est estrictamente contenida en a ninguna otra cadena. En otras palabras, la cadena C es maximal si para todo x fuera de C existe algn y C no comparable con x. Es claro que u toda cadena C en X est contenida en una cadena maximal, que se puede a obtener agregando a C uno a uno los elementos de X que sean comparables con todos los de C (este argumento no ser vlido si X fuese innito, pero a a el resultado sigue siendo cierto y se puede probar usando el Lema de Zorn). Un subconjunto T de X es una anticadena o transversal si no contiene ningn par de elementos comparables. Una anticadena es maximal si no u est estrictamente contenida en ninguna otra anticadena. Es fcil ver que a a una anticadena T es maximal si y slo si cualquier elemento de X que o no pertenezca a T es comparable con algn elemento de T , y que toda u anticadena est contenida en una anticadena maximal. a Denotaremos mediante c(X) al m nimo nmero de cadenas que puede u haber en una particin de X en cadenas, y mediante a(X) al mximo nmero o a u de elementos que puede tener una anticadena en X. Teorema de Dilworth 7.5.1. Para todo conjunto nito parcialmente ordenado X se cumple a(X) = c(X). Demostracin: Observemos en primer lugar que a(X) c(X), ya que si o T es una anticadena con a(X) elementos, en cualquier particin de X en o cadenas cada elemento de T debe pertenecer a una cadena distinta. Procederemos por induccin en el nmero de elementos de X. Si |X| = 1 o u entonces obviamente a(X) = c(X) = 1 y el resultado es cierto. Supongamos ahora que |X| = n > 1 y que el teorema es cierto para conjuntos con menos de n elementos. Sea C una cadena maximal en X y sea Y = X\C. Por la hiptesis inductiva se tiene a(Y ) = c(Y ). Adems es claro que a(Y ) o a a(X). Si esta ultima desigualdad es estricta entonces Y puede particionarse en c(Y ) = a(Y ) cadenas, y agregando C tenemos una particin de X en o a(Y ) + 1 a(X) cadenas, probando que c(X) a(X) y por lo tanto c(X) = a(X). Por el contrario, si a(Y ) = a(X) = m entonces sea T = {y1 , . . . , ym } una anticadena en Y con m elementos. Esta anticadena debe ser maximal tanto en Y como en X. Sean: X = {x X : x
+

yi para algn i = 1, . . . , m} u x para algn i = 1, . . . , m} u

= {x X : yi

98

Jos H. Nieto e

Como T es una anticadena maximal en X cualquier elemento de X es comparable con algn yi , por lo tanto se tiene que X = X X + . Sea x0 el u m nimo elemento de la cadena C y x1 el mximo. Entonces x0 X + , ya a que si yi x0 para algn yi entonces agregando yi a C se obtendr una u a . Por cadena, contradiciendo la maximalidad de C. Anlogamente x1 X a lo tanto X y X + son subconjuntos propios de X y se les puede aplicar la hiptesis de induccin. Como a(X ) = a(X + ) = m (pues ambos conjuntos o o contienen la anticadena T ) entonces X puede particionarse en m cadenas K1 , . . . , Km y X + en m cadenas L1 , . . . , Lm . Sin prdida de generalidad e podemos elegir la numeracin de manera tal que yi Ki y yi Li para o i = 1, . . . , m. Entonces yi es el mximo de Ki . En efecto, si x K1 , x = yi a entonces debe ser x yi pues de lo contrario, por ser Ki una cadena, ser a , y tendr yi x ; pero x yj para algn j, por denicin de X u o amos yi yj contradiciendo el hecho de ser T una anticadena. Anlogamente se a prueba que yi es el m nimo de Li . De aqu se deduce que Mi = Ki Li es una cadena para cada i = 1, . . . , m. Es fcil ver que estas cadenas Mi son a disjuntas. En efecto si i = j, puesto que Ki Kj = Li Lj = , se tiene que Mi Mj = (Ki Lj ) (Li Kj ). Pero si x Ki Lj entonces x yi , yj x lo cual conduce al absurdo yj yi . Por lo tanto Ki Lj es vac y de modo o, anlogo se prueba que Li Kj tambin lo es. a e Hemos probado entonces que M1 , . . . , Mm es una particin de X en cao denas, por lo cual c(X) m = a(X). El valor comn de a(X) y c(X) se denomina nmero de Dilworth del u u conjunto parcialmente ordenado X. Un grafo G = (V, A) se dice que es bipartito si el conjunto de vrtices V e es la unin de dos subconjuntos disjuntos independientes V1 y V2 . En este o caso todas las aristas de G tendrn un extremo en V1 y otro en V2 . Un pareo a del grafo bipartito G = (V1 V2 , A) es una funcin inyectiva f : V1 V2 tal o que {v, f (v)} A v V1 . Otra forma de pensar en un pareo es como un conjunto de aristas tales que cada vrtice de V1 es extremo de una y slo e o una de ellas, y ningn vrtice de V2 es extremo de ms de una de ellas. Si u e a W V1 denotaremos W al conjunto de vrtices adyacentes a algn vrtice e u e de W , es decir: W = {v V2 : {w, v} A para algn w W } u Teorema del matrimonio 7.5.2. Un grafo bipartito G = (V1 V2 , A) admite un pareo si y slo si |W | |W | para todo W V1 . o

Teor Combinatoria a

99

Demostracin: Si existe un pareo f : V1 V2 y W V1 entonces f (W ) o W y como f es inyectiva se tiene |W | = |f (W )| |W |. Supongamos ahora que se cumple la condicin |W | |W | para todo o W V1 . Denamos un orden parcial en el conjunto de vrtices V de G e poniendo u v si y slo si u = v o u V1 , v V2 y {u, v} A. o Sea T una anticadena en V y Ti = T Vi , i = 1, 2. Entonces T es la unin disjunta de T1 y T2 . Adems T1 V2 \T2 , por lo tanto o a |V2 | |T2 | = |V2 \T2 | |T1 | |T1 | y en consecuencia |T | = |T1 | + |T2 | |V2 |. Como por otra parte V2 mismo es una anticadena, tenemos que el mximo nmero de elementos en una a u anticadena es |V2 |. El teorema de Dilworth nos permite armar la existencia de una particin de V en |V2 | cadenas disjuntas. Es claro que cada una de o esas cadenas contiene uno y slo un elemento de V2 . Cada elemento u V1 o pertenece a una y slo una de esas cadenas, digamos {u, w} con w V2 o adyacente a u. Poniendo f (u) = w resulta un pareo. El teorema del matrimonio admite la siguiente interpretacin, que juso tica su nombre: sea V1 un conjunto de muchachas y V2 un conjunto de muchachos. Construyamos un grafo bipartito G = (V1 V2 , A) incluyendo una arista {u, w} cada vez que a la muchacha u le agrade el muchacho w. Un pareo no es ms que una forma de asignar a cada muchacha un muchacho a que sea de su agrado, de modo que ningn muchacho sea asignado a ms de u a una muchacha. El teorema (7.5.2) nos dice que existe un pareo si y slo si o para cualquier conjunto de n muchachas hay al menos n muchachos que son del agrado de por lo menos una de ellas.

7.6

Sistemas de representantes distintos

Sea X un conjunto y S = {S1 , . . . , Sm } una familia de subconjuntos de X. Un conjunto {x1 , . . . , xm } de elementos diferentes de X se denomina sistema de representantes distintos de S si xi Si , para i = 1, . . . , m. Teorema de Philip Hall 7.6.1. Si la familia S = {S1 , . . . , Sm } de subconjuntos de X satisface la condicin | iF Si | |F | F Nm entonces S o admite un sistema de representantes distintos. Demostracin: Sean V1 = S y V2 = X. Consideremos el grafo bipartito o con conjunto de vrtices V1 V2 y en el cual Si y x son adyacentes si y slo e o

100

Jos H. Nieto e

si x Si . Si F Nm y denimos W = {Si : i F } entonces W = iF Si . Por lo tanto |W | |F | = |W |. Se satisfacen entonces las hiptesis del o teorema del matrimonio (7.5.2) por lo cual existe un pareo f : V1 V2 . El conjunto {f (S1 ), . . . , f (Sm )} es claramente un sistema de representantes distintos. Sea Ln,m = {(i, j) : i = 1, 2, . . . , n , j = 1, 2, . . . , m}. A las las y columnas de Ln,m las denominaremos indistintamente hileras. Si A Ln,m llamaremos h(A) al m nimo nmero de hileras sucientes para cubrir u el conjunto A y t(A) al mximo nmero de elementos de A que puedan a u tomarse de modo que no haya dos con una coordenada igual. En trminos e ajedrec sticos L(n, m) es un tablero de n m y t(A) es el mximo nmero a u de torres que pueden colocarse en las casillas del conjunto A de modo que ningn par de ellas se ataquen. u Teorema de Knig-Frobenius 7.6.2. Para todo A Ln,m se tiene o h(A) = t(A). Demostracin: Tomemos un cubrimiento de A por medio de r las y s o columnas, con r + s = h(A). Como h(A) y t(A) son obviamente invariantes por permutaciones de las o de columnas podemos suponer que el cubrimeiento consta de las primeras r las y las primeras s columnas. Es claro que t(A) h(A) ya que si B A y |B| > h(A) entonces alguna hilera del cubrimiento debe contener dos o ms puntos de B. Para probar la desigualdad a contraria consideramos los conjuntos Si = {j : s + 1 j m y (i, j) A} para i = 1, . . . , r. Si F {1, . . . , r} entonces | iF Si | |F |, ya que de lo contrario podr amos obtener un cubrimiento de A con menos de h(A) hileras reemplazando las |F | las con ndices i F por columnas con ndices j iF Si . Por el teorema de Philip Hall (7.6.1) se concluye que S1 , . . . , Sr tienen un sistema de representantes distintos j1 , . . . , jr . Anlogamente se a prueba que los conjuntos Tj = {i : r + 1 i m y (i, j) A} para j = 1, . . . , s tienen un sistema de representantes distintos i1 , . . . , is . Es claro ahora que {(1, j1 ), . . . , (r, jr ), (i1 , 1), . . . , (is , s)} es un subconjunto de A con r + s = h(A) elementos de los cuales no hay dos en una misma hilera. Por tanto, h(A) t(A).

7.7

Ejercicios

1. Pruebe que R(3, 3; 2) = 6

Teor Combinatoria a

101

2. Pruebe que si R(a 1, b; 2) y R(a, b 1; 2) son ambos pares entonces R(a, b; 2) < R(a 1, b; 2) + R(a, b 1; 2) . 3. Pruebe que R(3, 4; 2) = 9 y R(3, 5; 2) = 14. 4. Pruebe que si k 2 y ai 3 para i = 1, . . . , k entonces: R(a1 , . . . , ak ; 2) R(a1 1, a2, . . . , ak ; 2) + R(a1 , a2 1, . . . , ak ; 2) + + R(a1, . . . , ak 1; 2) k + 2

Aplicacin: probar que R(3, 3, 3; 2) 17 . o 5. Pruebe que R(a1 + 1, . . . , ak + 1; 2)


a1 ++ak a1 a2 ... ak

6. Pruebe que en cualquier coloracin de las aristas del grafo completo o de n vrtices con dos colores hay por lo menos n(n 1)(n 5)/24 e tringulos monocromticos si n es impar y n(n 2)(n 4)/24 si n es a a par. 7. (Greenwood y Gleason) Pruebe que R(3, . . . , 3; 2) en! + 1
n

8. Pruebe que toda sucesin de nmeros reales tiene una subsucesin o u o estrictamente creciente, estrictamente decreciente o constante. 9. Pruebe que si los puntos del plano se pintan con r colores, entonces existe algn tringulo equiltero con los tres vrtices del mismo color. u a a e (Para r = 2 ste es un problema elemental pero interesante. Para e r cualquiera se puede demostrar a partir del Teorema de Van der Waerden 7.4.2) 10. Pruebe que si los puntos de coordenadas enteras de R2 se pintan con r colores, y si F es un conjunto nito de tales puntos, existe otro conjunto F af nmente equivalente a F y con todos sus puntos de un mismo color. 11. (Sperner) Pruebe que el nmero de Dilworth del conjunto de partes u de un conjunto de n elementos, ordenado parcialmente por inclusin, o es n . n
2

102

Jos H. Nieto e

12. Pruebe que el nmero de Dilworth del conjunto de particiones de Nn u ordenado por renamiento es mayor o igual que el mximo nmero de a u Stirling de segunda clase n . k

Cap tulo 8

Enumeracin bajo accin de o o grupos


Polya had a theorem (Which Redeld proved of old) What secrets sought by graphmen Whereby that theorem told! - Blanche Descartes

En muchas ocasiones al contar conguraciones se presenta la necesidad de considerar a algunas de ellas como equivalentes. Por ejemplo si se desea pintar un cubo de madera con dos colores, digamos rojo y azul, pintando cada cara de un solo color, puesto que hay dos modos de pintar cada cara y el cubo tiene seis caras llegamos a la conclusin de que existen 26 = 64 o coloraciones diferentes. Este resultado supone sin embargo que las seis caras del cubo son completamente distinguibles entre s como en efecto ocurrir si , a estuviesen numeradas o si el cubo estuviese montado en una posicin ja, que o nos permitiese reconocer cada cara por su orientacin. Si en cambio podemos o mover el cubo y rotarlo y las caras no se distinguen entre s excepto por su color, vemos que el nmero de coloraciones diferentes se reduce bastante. u En efecto, las seis coloraciones del cubo jo que tienen una cara roja y las otras cinco azules se vuelven indistinguibles. Asimismo las 6 = 15 2 coloraciones del cubo jo con dos caras rojas y las dems azules se reducen a a solamente dos: una en la cual las dos caras rojas son adyacentes y otra en la cual son opuestas. Prosiguiendo con este anlisis se ve fcilmente a a

104

Jos H. Nieto e

que hay solamente diez coloraciones esencialmente diferentes. El problema se complica bastante, sin embargo, si aumentamos el nmero de colores u disponibles o si sustitu mos el cubo por un poliedro ms complicado, como a por ejemplo un dodecaedro. En la teor de grafos se presentan numerosos a problemas semejantes, por ejemplo el de determinar el nmero de grafos no u isomorfos con un nmero dado de vrtices y aristas. u e En general, supongamos que un grupo de permutaciones acta sobre un u conjunto de conguraciones y que consideramos a dos conguraciones equivalentes cuando una permutacin del grupo lleva una en la otra. Entonces o nos planteamos el problema de contar el nmero de conguraciones no equiu valentes. En este cap tulo, luego de introducir algunas nociones bsicas sobre a accin de grupos, demostraremos algunos resultados que nos permitirn hao a cer tal cosa, especialmente el llamado Teorema de Polya. Los resultados fundamentales de esta teor fueron obtenidos en primer lugar por J. H. a Redeld (ver [R1]), como lo da a entender el poema de Blanche Descartes citado en el ep grafe, pero pasaron desapercibidos durante muchos aos hasn ta que Polya (ver [P2]), Bruijn y otros matemticos los redescubrieron y a enriquecieron.

8.1

Accin de un grupo sobre un conjunto o

Sean G un grupo y A un conjunto. Una accin de G sobre A es una aplicao cin : G A A tal que: o 1. (e, x) = x , x A (siendo e la identidad de G) 2. (g, (h, x)) = (gh, x) , g, h G, x A Se acostumbra simplicar la notacin escribiendo gx en lugar de (g, x). o Entonces las condiciones 1 y 2 pueden reformularse as : 1. ex = x , x A (siendo e la identidad de G) 2. g(hx) = (gh)x, g, h G, x A Dada una accin de G sobre A es posible denir una relacin de equivao o lencia R en A del siguiente modo: xRy si existe g G tal que y = gx La condicin 1 nos asegura que R es reexiva. Tambin es transitiva pues si o e xRy e yRz entonces existen elementos g, h G tales que y = gx, z = hy de

Teor Combinatoria a

105

donde z = h(gx) = (hg)x y por lo tanto xRz. Finalmente, R es simtrica e 1 es el elemento inverso de g en G entonces hy = pues si y = gx y h = g h(gx) = (hg)x = ex = x. A las clases de equivalencia determinadas por esta relacin se les llama o rbitas. La rbita de un elemento x A es el conjunto {gx : g G} o o que denotaremos Gx o bien x. Al conjunto de rbitas (es decir al conjunto o cociente de A por la relacin R) lo denotaremos A/R o simplemente A. o La accin de G sobre A es transitiva si cualquier par de elementos de A o son equivalentes, es decir si dados x, y A existe g G tal que y = gx. En este caso hay una sola rbita, el propio conjunto A. o Cada elemento g G induce una aplicacin g : A A denida meo diante g (x) = gx, x A. Al elemento identidad de G le corresponde obviamente la aplicacin identidad de A en A, es decir e = IdA . Adems o a si g, h G entonces se tiene: (gh) (x) = (gh)x = g(hx) = g (h (x)) = g h (x), x A. En otras palabras (gh) = g h . Si h = g 1 es el elemento inverso de g en G se tiene que g h = h g = e = IdA , y por lo tanto h es la aplicacin inversa de g . De aqu resulta en paro ticular que g es una biyeccin de A en A, es decir un elemento del grupo o S(A) de las permutaciones de A. La aplicacin : G S(A) que a cao da g G le hace corresponder g es un homomorsmo de grupos, ya que (gh) = (gh) = g h = (g) (h). Si es un monomorsmo, es decir si es inyectivo, se dice que la accin es efectiva. En este caso el grupo G puede o identicarse con un subgrupo de S(A). Es interesante observar que dado un homomorsmo : G S(A) existe una unica accin de G sobre A cuyo o homomorsmo inducido es precisamente , a saber la que viene dada por (g, x) = (g)(x). De hecho, algunos autores denen el concepto de accin o de un grupo G sobre un conjunto A como un homomorsmo de G en S(A). El estabilizador de un elemento x A es el conjunto Gx de elementos de G que dejan jo a x. En otras palabras : Gx = {g G : gx = x} Es claro que Gx es un subgrupo de G, ya que si g, h G entonces gx = hx = x y tenemos: (gh1 )x = (gh1 )hx = (gh1 h)x = gx = x Los estabilizadores de elementos de una misma rbita son subgrupos o conjugados. En efecto si y = hx entonces g Gy gy = y ghx = hx

106

Jos H. Nieto e

(h1 gh)x = x h1 gh Gx g hGx h1 , es decir que Ghx = hGx h1 . En el caso de que la accin sea transitiva, todos los estabilizadores son o subgrupos conjugados. Si g G entonces al subconjunto de A formado por los puntos jos de g lo denotaremos Ag . En s mbolos: Ag = {x A : gx = x} Observemos que x Ag si y slo si g Gx . o Ejemplos de accin de grupos sobre conjuntos o 1. Sea A el plano y G el grupo de las rotaciones alrededor de un punto O. La accin viene dada simplemente por gx = g(x). Las rbitas son las o o circunferencias de centro O. 2. Sea A el conjunto de vrtices de un pol e gono regular de n lados y G el grupo de simetr del pol as gono (este grupo se suele designar Dn ) . Si n 3 el homomorsmo : Dn Sn es inyectivo, ya que un movimiento del plano que deja jos tres puntos no alineados es la identidad. Esto prueba que Dn es isomorfo a un subgrupo de Sn . 3. El grupo de rotaciones de un poliedro lo podemos hacer actuar sobre el conjunto de vrtices, el de aristas o el de caras del poliedro. e 4. Sea G un grupo. Entonces la propia operacin binaria del grupo, como o aplicacin de G G en G, constituye una accin de G sobre s mismo. o o Otra accin de G sobre G es la llamada conjugacin, que viene dada por o o (g, h) = ghg 1 . A continuacin probaremos algunas proposiciones bsicas sobre accin o a o de grupos. Proposicin 8.1.1. Si G es un grupo nito que acta sobre un conjunto o u A, entonces |x| |Gx | = |G|, x A. Demostracin: Sea x = {x1 , x2 , . . . , xk } y sean g1 , g2 , . . . , gk elementos de o G tales que xi = gi x, i = 1, 2, . . . , k. Sean adems h1 , . . . , hr los elementos a de Gx . Armamos que los productos gi hj son todos distintos. En efecto, si gi hj = gs ht aplicando ambos miembros a x se obtiene gi x = gs x , es decir xi = xs de donde i = s. Multiplicando ahora ambos miembros de la igualdad

Teor Combinatoria a

107

1 gi hj = gi ht a la izquierda por gi resulta hj = ht y j = t. Los elementos de la forma gi hj son en total kr = |x| |Gx |. La demostracin quedar completa o a si probamos que los gi hj son en realidad todos los elementos de G. Para ello 1 sea g G. Para algn i debe ser gx = xi = gi x, de donde gi gx = x. Esto u 1 1 u signica que gi g Gx , es decir gi g = hj para algn j y g = gi hj .

Proposicin 8.1.2. Sea G un grupo nito que acta sobre un conjunto A, o u y sea Y un grupo aditivo. Supongamos que p : A Y es una funcin tal o que p(gx) = p(x), g G, x A (en otras palabras, p toma el mismo o valor en elementos equivalentes de A). Sea p : A Y la unica funcin tal que p(x) = p(x), x A. Entonces: |G| p(x) =
xA gG xAg

p(x)

Demostracin: o p(x) =
gG xAg xA gGx

p(x) =
xA

|Gx |p(x) =

(|G|/|x|)p(x)
xA xx

=
xA xx

(G/|x|)p(x) =
xA

|G|p(x) = |G|

p(x)
xA

Lema de Burnside 8.1.3. Si G es un grupo nito que acta sobre un conu junto A entonces el nmero de rbitas de A viene dado por: u o |A| = 1 |G| |Ag |

gG

Demostracin: Basta tomar en la Proposicin anterior Y = Z (los enteros) o o y como p : A Y la funcin constante p(x) = 1 x A. o

8.2

La Accin de Polya o

Sean D y C dos conjuntos y G un subgrupo de S(D). Sea A = C D el conjunto de todas las funciones de D en C. Denamos : G A A as : (g, f ) = f g 1 . Es inmediato vericar que es una accin, y es conocida o

108

Jos H. Nieto e

con el nombre de accin de Polya. Si pensamos en los elementos de D o como objetos a pintar y en los elementos de C como colores, entonces los elementos de A son coloraciones o maneras de pintar los elementos de D. En lo sucesivo utilizaremos este lenguaje. Proposicin 8.2.1. Sean D y C dos conjuntos nitos y G un subgrupo del o grupo de permutaciones de D. Consideremos la accin de Polya de G sobre o D . Entonces el nmero de rbitas viene dado por A=C u o 1 |G| |C|(g)

gG

siendo (g) el nmero de factores en la descomposicin de g en producto de u o ciclos disjuntos. Demostracin: Por el lema de Burnside (8.1.3) el nmero de rbitas es o u o (1/|G|) gG |Ag |. Ahora bien, Ag est constitu por todas las coloraa do ciones f : D C tales que f g 1 = f . Armamos que f g 1 = f si y slo si f asigna el mismo color a todos los elementos de cada ciclo de o g. En efecto, supongamos que f g 1 = f y sea (d1 , . . . , dt ) un ciclo de g. Entonces g(di ) = di+1 para 1 i < t y g(dt ) = d1 . En consecuencia, f (di ) = f (g 1 (di+1 )) = f (di+1 ) para 1 i < t y f (dt ) = f (g 1 (d1 )) = f (d1 ). Rec procamente si f es una coloracin constante en cada ciclo de g, o puesto que el elemento g 1 (d) est en el mismo ciclo que d para todo d D, a tendremos que f (g 1 (d)) = f (d). Esto signica que hay tantos elementos en Ag como formas de asignar un color de C a cada ciclo de g, y este nmero u es precisamente |C|(g) . Ejemplo: Coloracin del cubo con r colores o El resultado recin demostrado nos permite resolver con toda generalidad e el problema planteado al principio del cap tulo. El grupo de rotaciones del cubo est constitu por 24 rotaciones, que a do clasicaremos en 5 tipos: 1. La identidad. 2. Rotaciones de 120 y 240 alrededor de las diagonales del cubo. Como hay cuatro diagonales, hay 8 rotaciones de este tipo. 3. Rotaciones de 90 y 270 alrededor de los 3 ejes que pasan por los centros de caras opuestas del cubo. Son 6 rotaciones.

Teor Combinatoria a

109

4. Rotaciones de 180 alrededor de los mismos ejes que las del tipo anterior. Son 3 rotaciones. 5. Rotaciones de 180 alrededor de los ejes que pasan por los puntos medios de aristas opuestas. Hay 6 rotaciones de este tipo. Cada una de estas rotaciones induce una permutacin de las seis caras del o cubo que se descompone en ciclos de la manera siguiente: La identidad se descompone en seis 1-ciclos. Las rotaciones del tipo 2, en dos 3-ciclos cada una. Las del tipo 3, en dos 1ciclos y un 4ciclo (total: tres ciclos cada una.) Las del tipo 4, en dos 1ciclos y dos 2ciclos. (total: cuatro ciclos cada una.) Las del tipo 5, en tres 2ciclos cada una. Con la informacin anterior ya podemos armar que el nmero de colorao u ciones del cubo no equivalentes por rotacin viene dado por la frmula: o o 1 1 6 (r + 8r2 + 6r3 + 3r4 + 6r3 ) = r2 (r4 + 3r2 + 12r + 8) 24 24 la cual nos permite construir la tabla siguiente: nmero de u colores 1 2 3 4 5 6 7 8 9 10 20 30 40 50 nmero de coloraciones u no equivalentes 1 10 57 240 800 2226 5390 11712 23355 43450 2690800 30490050 171019200 651886250

110

Jos H. Nieto e

En lo que sigue supondremos, para simplicar la notacin, que C = o {1, 2, . . . , r} (esto equivale a numerar los colores). Sea Y = Q[x1 , x2 , . . . , xr ] el anillo de los polinomios en r variables con coecientes racionales. Denamos una funcin p : C D Y del modo sio guiente: p(f ) =
dD

xf (d) ,

f C D .

Es claro que p(f ) es un monomio de grado n = |D| en las variables x1 , . . . , xr , y que el exponente de xk en p(f ) corresponde al nmero de puntos de D u pintados con el color k en la coloracin f . o Observemos adems que p(gf ) = p(f ), g G, f C D . En efecto, a p(gf ) =
dD

xgf (d) =
dD

xf (g1 (d))

pero como g es una biyeccin de D en D, cuando d toma todos los valores o 1 (d). Por lo tanto el ultimo producto es igual a en D tambin lo hace g e p(f ) como quer amos probar. Esto signica que estamos en condiciones de aplicar la Proposicin (8.1.2) a la accin de Polya de G sobre A = C D , y o o obtenemos: |G| p(f ) =
f A gG f Ag

p(f )

Ahora bien, como vimos en la demostracin de la Proposicin anterior o o f Ag si y slo si f asigna el mismo color a los elementos de cada ciclo de o g. Por lo tanto si g G se descompone en ciclos c1 , . . . , c de longitudes a1 , . . . , a y si f asigna el color ij a los elementos del ciclo cj entonces a u p(f ) ser de la forma xa11 . . . xa . Ms an, p establece una correspondencia a i i biyectiva entre los monomios del tipo antedicho y las coloraciones f Ag . Por consiguiente: p(f ) =
f Ag
xa11 . . . xa i i

= (xa1 + + xa1 )(xa2 + + xa2 ) (xa + + xa ) r r r 1 1 1 = a1 a2 . . . a

siendo k las funciones simtricas k (x1 , . . . , xr ) = xk + + xk . Cada k e r 1 aparece en el producto a1 a2 . . . a tantas veces como ciclos de longitud

Teor Combinatoria a

111

k aparezcan en la descomposicin de g, es decir k (g). Hemos probado o entonces el siguiente teorema: Teorema de Polya 8.2.2. p(f ) =
f A

1 |G|

(x1 , . . . , xr )k (g)
gG k=1

Observaciones: 1) Deniendo el polinomio indicador de ciclos del grupo G (G subgrupo de S(D), con |D| = n) del siguiente modo: PG (x1 , . . . , xn ) = 1 |G| x1 1
gG (g)

. . . xn (g) n

el Teorema de Polya puede enunciarse as : p(f ) = PG (1 (x1 , . . . , xr ), . . . , n (x1 , . . . , xr ))


f A

2) Poniendo en el Teorema de Polya x1 = x2 = = xr = 1 se obtiene como caso particular la proposicin (8.2.1). o Ejemplo: El anlisis de las rotaciones del cubo realizado en el ejemplo anterior nos a permite escribir el polinomio indicador de ciclos de inmediato: PG (x1 , x2 , x3 , x4 , x5 , x6 ) = 1 6 (x + 8x2 + 6x2 x4 + 3x2 x2 + 6x3 ) 3 1 1 2 2 24 1

Supongamos que se va a colorear el cubo con dos colores, digamos rojo y azul. Calculando PG (1 , . . . , 6 ) con 1 = x + y, 2 = x2 + y 2 , 3 = x3 + y 3 , 4 = x4 + y 4 , resulta el polinomio x6 + x5 y + 2x4 y 2 + 2x3 y 3 + 2x2 y 4 + xy 5 + y 6 (hemos usado x, y en lugar de x1 , x2 para aligerar la notacin) El trmino o e 2x3 y 3 por ejemplo, nos dice que hay dos coloraciones con tres caras pintadas de rojo y las otras tres de azul.

112

Jos H. Nieto e

8.3

Enumeracin de grafos no isomorfos o

La teor de Polya puede ser usada para determinar el nmero de grafos no a u isomorfos con un nmero de vrtices y aristas dado. Para esto considereu e mos el grafo completo de n vrtices Kn . A cada coloracin de las aristas de e o Kn con dos colores, digamos rojo y azul, le podemos hacer corresponder el grafo cuyos vrtices son los mismos de Kn y cuyas aristas son las coloreae das de rojo. Es claro que cualquier grafo de n vrtices puede ser obtenido e de esta manera a partir de una bicoloracin de Kn . Observemos sin emo bargo que la correspondencia descripta no es inyectiva, ya que coloraciones diferentes pueden dar lugar a grafos isomorfos. Recordemos que dos grafos son isomorfos cuando existe una aplicacin biyectiva entre sus vrtices que o e preserva la relacin de adyacencia. Entonces dos coloraciones de Kn darn o a lugar a grafos isomorfos cuando ambas dieran en una permutacin de las o aristas de Kn inducida por una permutacin de sus vrtices. En s o e mbolos, si Kn = (V, A) y f : A (r, a) es una coloracin de A con dos colores r y a, el o grafo correspondiente a f es Gf = (V, Af ) siendo Af = {e A : f (e) = r}. Dos coloraciones f y g dan lugar a grafos isomorfos si existe una permutacin de V tal que {u, v} Af si y slo si {(u), (v)} Ag . Esto o o equivale a decir que f ({u, v}) = g({(u), (v)}), u, v V o ms simplea o mente f = g siendo la permutacin de A inducida por , a saber ({u, v}) = {(u), (v)} u, v V, u = v. Sea G el grupo de las permutaciones de A inducidas por permutaciones de V . Entonces la accin de Polya de G sobre las bicoloraciones de Kn induce o una relacin de equivalencia bajo la cual dos coloraciones son equivalentes si o y slo si les corresponden grafos isomorfos. El nmero de grafos no isomorfos o u de n vrtices ser entonces igual al nmero de rbitas, y puede obtenerse e a u o a partir del lema de Burnside. El teorema de Polya permite, ms an, a u calcular el nmero de grafos no isomorfos con n vrtices y m aristas. Pero u e para aplicar el teorema de Polya es necesario conocer como se descompone en ciclos cada elemento del grupo G. Sea una permutacin del conjunto o de vrtices V con i ciclos de longitud i, para i = 1, 2, . . . , n. Sea = {u, v} e una arista de Kn . Consideraremos varios casos: 1) Si u y v pertenecen a un mismo ciclo de de longitud impar 2k + 1 entonces la arista pertenece a un ciclo de de longitud 2k + 1, a saber {u, v}, {(u), (v)}, . . . , { 2k (u), 2k (v)}. Puesto que las 2k+1 = (2k + 1)k 2 aristas cuyos extremos son vrtices del ciclo se agrupan en ciclos disjuntos e de longitud 2k + 1 conclu mos que hay k de estos ciclos. Por lo tanto cada

Teor Combinatoria a

113

ciclo de longitud impar 2k + 1 en da origen a k ciclos de longitud 2k + 1 en . 2) Si u y v pertenecen a un mismo ciclo de de longitud par 2k entonces la arista puede estar en un ciclo de de longitud 2k o bien en uno de longitud k. Por ejemplo si consideramos el ciclo (1 2 3 4) entonces las aristas {1, 2}, {2, 3}, {3, 4} y {1, 4} pertenecen al 4-ciclo ({1, 2} {2, 3} {3, 4} {1, 4}), pero las aristas {1, 3} y {2, 4} pertenecen al 2-ciclo ({1, 3} {2, 4}). En general es fcil ver que el 2k-ciclo (v1 , . . . , v2k ) dar origen a un k-ciclo a a ({v1 , vk+1 } {v2 , vk+2 } . . . {vk , v2k }) y a k 1 2k-ciclos. 3) Si u pertenece a un r-ciclo de y v a un s-ciclo entonces la arista {u, v} nimo comn mltiplo de r u u estar en un ciclo de de longitud igual al m a t (u), t (v)} = {u, v} debe ser y s. En efecto para que se cumpla que { t (u) = u y t (v) = v (no puede ser t (u) = v y t (v) = u ya que u y v estn en ciclos disjuntos). Por lo tanto debe cumplirse que r|t y s|t, lo cual a implica m.c.m.(r, s)|t. El nmero de ciclos disjuntos en los cuales se dividen u las rs aristas con un vrtice en cada ciclo ser entonces rs/m.c.m.(r, s) = e a m.c.d.(r, s) (mximo comn divisor de r y s). a u Como consecuencia del anlisis anterior podemos armar que en la desa composicin de en producto de ciclos disjuntos tendremos: o 1) r (r 1)/2 r-ciclos, para cada r impar entre 1 y n. r r 2) r 2 -ciclos y 2 1 r-ciclos para cada r par entre 1 y n. 3) r s m.c.d.(r, s) m.c.m(r, s)-ciclos para cada par de nmeros distintos r, s u entre 1 y n, y r r r-ciclos , para cada r entre 1 y n (ya que existen r s 2 maneras de escoger un r-ciclo y un s-ciclo, si r = s, y r maneras de 2 escoger un par de r-ciclos distintos) Si aplicamos el Teorema de Polya (8.2.2) para dos colores, dando a la variable x1 el valor 1 y recordando que el nmero de permutaciones con i u ciclos de longitud i para i = 1, . . . , n es K(1 , . . . , n ) = resulta la siguiente: Proposicin 8.3.1. El nmero de grafos no isomorfos con n vrtices y m o u e aristas es igual al coeciente de xm en el polinomio que se obtiene sumando, para cada solucin de la ecuacin diofntica 11 + 22 + + nn = n un o o a n! 11 22 . . . nn 1 ! 2 ! . . . n !

114 trmino de la forma: e

Jos H. Nieto e

1 0 1 0 1 2 K(1 , . . . , n )[w1 1 w3 3 . . . ][(w1 w2 )2 (w2 w4 )4 (w3 w6 )6 . . . ] n! 1(1 ) 2(2 ) 3(3 ) r s mcd(r,s) [w1 2 w2 2 w3 2 . . . ] wmcm(r,s)
r=s

siendo wk el polinomio 1 + xk .

Excepto para pequeos valores de n el clculo manual del nmero de gran a u fos no isomorfos utilizando la ultima Proposicin es imposible, y se requiere o la ayuda del computador. En el Apndice 2 inclu e mos una tabla obtenida con un programa basado en la Proposicin (8.3.1), que muestra el nmero o u de grafos no isomorfos con n vrtices y m aristas para 1 n 12. e

8.4

Ejercicios

1. De cuntas maneras se puede pintar un tablero cuadrado de 2 2 con a r colores, pintando cada casilla de un color y considerando equivalentes las coloraciones que dieren en una rotacin del tablero? o 2. De cuntas maneras se pueden marcar con una X ocho de las diecisis a e casillas de un tablero cuadrado de 4 4, considerando equivalentes las conguraciones que se obtienen unas de otras por rotaciones o simetr del cuadrado? as 3. Determine el nmero de coloraciones de las caras de un poliedro regular u (tetraedro, cubo, octaedro, dodecaedro e icosaedro) con r colores, no equivalentes por rotaciones. 4. (Bruijn , [B4]) Sea G un subgrupo de S(D) y H un subgrupo de S(C). Considere la accin de G H sobre A = C D denida as o : (g, h)f = h f g 1 (g, h) G H, f A

Teor Combinatoria a

115

Pruebe que si C y D son nitos y |D| = n entonces el nmero de u o rbitas viene dado por la frmula siguiente: o 1 |G||H|
n gG hH k=1

|A| =

i|k

siendo i () el nmero de ciclos de longitud i en la descomposicin de u o la permutacin en producto de ciclos disjuntos. o

ii (h)

k (g)

116

Jos H. Nieto e

Bibliograf a
[A1] Aigner, M., Combinatorial Heidelberg-New York, 1980. [B1] theory, Springer-Verlag, Berlin-

Berge, C., Principles of combinatorics, Academic Press, New YorkLondon, 1971 (traduccin del original Principes de combinatoire, Duo nod, Paris, 1968.) Bollobas, B., Graph theory, Springer-Verlag, New York-BerlinHeidelberg-Tokyo, 1979. Bourbaki, Elementos de historia de las matemticas, Alianza Univera sidad, Madrid, 1976. Bruijn, N. G. de, Generalization of Polyas fundamental theorem in enumeration combinatorial analysis, Indagationes Math. 21(1959) 5969. Cohen, D., Basic techniques of combinatorial theory, John Wiley & Sons , New York, 1978. Courant, R., John, F., Introduccin al clculo y al anlisis matemtio a a a co, Limusa, Mxico, 1971. e Coxeter, H.S.M., Introduction to geometry, John Wiley & Sons, 1961 (hay traduccin: Fundamentos de geometr Limusa, Mxico, 1971) o a, e Coxeter,H.S.M., The golden section, phyllotaxis, and Wytho s game, Scripta Mathematica, 19(1953) p. 139.

[B2]

[B3]

[B4]

[C1]

[C2]

[C3]

[C4]

[ES1] Erds, P., Szekeres, G., A combinatorial problem in geometry, Como positio Math. 2(1935) 463470. 117

[F1]

Feller, W., Introduccin a la teor de probabilidades y sus aplicacioo a nes, Limusa, Mxico, 1973 (traduccin del original An introduction to e o probability theory and its applications, John Wiley & Sons, 1957.) Foulds, L.R., Combinatorial optimization for undergraduates, Springer-Verlag, New York-Berlin-Heidelberg-Tokyo, 1984.

[F2]

[G1] Gardner, M., Mathematical games, Scientic American, 238(5), may 1978. [G2] Gonzlez, G., Funcin de Mbius y teor de Polya, Notas de Maa o o a temtica y computacin Num. 2, F.E.C., Universidad del Zulia, Maa o racaibo, Venezuela, 1987. [GR1] Graham, R. L., Rothschild, B. L., A short proof of Van der Waerdens theorem on arithmetic progressions, Proc. Amer. Math. Soc. 42, (1974), 385386. [H1] Hadwiger, H., Debrunner, H., Klee, V. Combinatorial geometry in the plane, Holt, Rinehart and Winston, New York, 1964. [H2] Harary, F. Graph theory, Addison-Wesley, Reading, Mass., 1969. [H3] Herstein, I. N., Algebra moderna, Trillas, Mxico, 1976 (traduccin e o del original Topics in algebra, Blaisdell, Waltham, Mass., 1964.) [K1] Knuth, D. E. El arte de programar ordenadores (3 vol.), Revert, e Barcelona, 1980 (traduccin del original The art of computer proo gramming, 2nd ed., Addison-Wesley, Reading, Mass., 1973.) [L1] Levy, H., Lessman, F., Finite dierence equations, Macmillan, New York, 1961.

[M1] Markushvich, A. I., Sucesiones recurrentes, Mir, Mosc, 1981. e u [M2] Mndez, M., Teor de especies combinatorias, Octava Escuela Venee a zolana de Matemticas, Mrida, Venezuela, 1995. a e [N1] Nieto, J. H., Teor Combinatoria, Notas de Matemtica y compua a tacin Num. 4, F.E.C., Universidad del Zulia, Maracaibo, Venezuela, o 1987. 118

[N2] Nieto, J. H., Extremos en sucesiones, Divulgaciones Matemticas a 2(1), (1994), 59. [N3] Nijenhuis, S. A., Wilf, H. S., Combinatorial algorithms, Academic Press, New York-London, 1978. [P1] Percus, J. K.,Combinatorial methods, Springer-Verlag, New YorkHeidelberg-Berlin, 1971. Polya, G., Kombinatorische Anzahlbestimmungen fr Gruppen, Grapu hen, und chemische Verbindungen, Acta Mathematica 68 (1937) 145 254.

[P2]

[R1] Redeld, J. H., The theory of group-reduced distributions, American Journal of Mathematics 49(1927), 433455. [R2] Reingold, E. M., Nievergelt, J., Deo, N., Combinatorial Algorithms, Prentice-Hall, Englewood-Clis, 1977. [R3] Rey Pastor, J., Pi Calleja, P., Trejo, C. A., Anlisis matemtico (tomo a a I), Kapelusz, Buenos Aires, 1960. [R4] Rodr guez, J., Polya theory and tableaux, Notas de Matemtica No. a 67, Universidad de los Andes, Mrida, Venezuela 1984. e [R5] Rodr guez, J., Teor Combinatoria o el arte de contar, Tercera Esa cuela Venezolana de Matemticas, Mrida, Venezuela, 1990. a e [R6] Rota,G.-C. The number of partitions of a set Amer. Math. Monthly 71(1964), 498504. [R7] Rota, G.-C., On the foundations of combinatorial theory I: theory of Mbius functions, Z. Wahrscheinlichkeitsrechnung u. verw. Geb. 2 o (1964), 340-368. [RS1] Rota,G.-C., Smith, D. A., Enumeration under group action, Annali Scuola Normale Superiore - Pisa, serie IV, vol. IV, no.4 (1977), 637 646. [T1] Tomescu, Ioan, Introduction to combinatorics, Collets, London and Wellingborough, 1975. 119

[T2]

Tucker, A., Applied combinatorics, John Wiley & Sons, New York, 1980.

[U1] Uspenski, V. A., Tringulo de Pascal, Mir, Mosc, 1978. a u [V1] Vilenkin, N., De cuntas formas? Combinatoria, Mir, Mosc, 1972. a u [V2] Vorobyov, N. N., Los nmeros de Fibonacci, Limusa, Mxico, 1973. u e [W1] Van der Waerden, B. L., Beweis einer Baudetschen Vermutung, Nieuw Arch. Wiskunde 15, (1927), 212216. [W2] Whitehead, E. G., Jr., The Ramsey number N (3, 3, 3, 3; 2), Discrete Mathematics, 4(1973), 389396.

120

Indice de Materias
accin, 104 o de Polya, 108 Aigner, M., 2 ajedrez, 9, 11, 23 algoritmo de Euclides, 48 algoritmos, 21 anlisis de, 73 a combinatorios, 21 anticadena, 97 a rbol binario, 64 arreglos, 13 con repeticin, 15 o Ben Gerson, Levi, 2 Berge, C., 1 Bernoulli, 3 Bhaskara, 2 Bourbaki, 2 Bruijn, N. G. de, 104, 114 cadena, 97 Cailey, 3 caminos ascendentes, 26 Cardano, 2 cardinal, 4 Catalan, Eugene, 61 ciclo, 65 coecientes binomiales, 25 multinomiales, 32 cdigo corrector, 37 o 121 Cohen, D. I. A., 25 coloraciones, 108 combinaciones, 17 con repeticin, 19 o Combinatoria, 1 conguraciones, 1 conjunto de partes, 10 coordinables, 4 coordinaciones, 13 De Moivre, A., 3, 51 de Pisa, Leonardo, 3 desarreglo, 42 Descartes, Blanche, 103 Dirichlet, P.G.L, 44 disposiciones, 13 distancia de Hamming, 37 ecuacin caracter o stica, 53 enumeracin de grafos, 112 o Erds, Paul, 3 o Erds-Szekeres, 9, 90, 92 o estabilizador, 105 Ettingshausen, A., 17 Euler, 3, 58, 89 factorial, 10 factorial inferior, 10 Fermat, 2 Fibonacci, 3

Fibonacci, Leonardo, 47 nito, 4 frmula de o Bell, 81 Dobinsky, 84 la criba de Jordan, 46 Stifel, 28 Sylvester, 41 funcin o de Euler, 45 de Mbius, 43 o funciones crecientes, 20 estrictamente crecientes, 18 decrecientes, 19 generatrices, 51 inyectivas, 10 simtricas, 110 e sobreyectivas, 35, 41, 77 Gardner, Martin, 82 grafo, 89 Greenwood y Gleason, 101 Herstein,I.N., 1 Kaplansky, 23 Kepler, J., 48 Knuth, D. E., 25, 64, 69 Leibniz, 3, 65 Lema de Burnside, 107 Liber Abaci, 3, 47 Lucas, 63 m nimo de izquierda a derecha, 71 monomios, 19 Newton, 3 122

nmero u de elementos, 4 de Dilworth, 98 nmeros u de Bell, 75 de Catalan, 61 de Ramsey, 86 de Stirling de primera clase, 69 de segunda clase, 75 o rbita, 105 orden parcial, 96 parntesis, 60 e pareo, 98 particin, 75 o Pascal, 2 permutacin, 65 o permutaciones, 15 circulares, 68 con repeticin, 16 o Pisa, Leonardo de, 47 polinomio indicador de ciclos, 111 Polya accin de, 108 o Polya, G., 3, 104 principio de correspondencia, 4 de Dirichlet, 86 de inclusiones y exclusiones, 39 de la suma, 5 de reexin, 36 o del producto, 6 problema de los matrimonios, 46 Ramsey, F. P., 86 Ramsey, F. P., 3 Redeld, J. H., 104

Redeld, J. H., 3 relacin de recurrencia, 49 o lineal, 53 serie armnica, 8 o sistema de representantes distintos, 99 Sperner, 101 Stevin, 3 Stifel, 3, 26 frmula de, 28 o sucesos, 6 Tartaglia, 2 teorema del matrimonio, 98 multinomial, 34 teorema de Dilworth, 97 Graham - Rothschild, 94 Knig-Frobenius, 100 o la votacin, 36 o Philip Hall, 99 Polya, 111 Ramsey, 86 Van der Waerden, 96 Thom, Ren, 85 e transposicin, 66 o tringulo aritmtico, 29 a e Tringulo de Bell, 81 a triangulaciones, 58 Van der Monde, 55 identidad de, 32 variaciones, 13

123