UNA PRIMERA LECCIN DE COMBINATORIA

Francisco Bellot Rosado

Seminario de Problemas, Valladolid, 16-17 de octubre de 2012

Algunas formas de explicar cuestiones de Matemticas, expuestas por

buenos profesores, te impresionan de tal forma que, desde que las
ves, las utilizas de manera sistemtica. Eso me ocurri en octubre de
1964, cuando tuve el privilegio de seguir, siendo su alumno becario,
el desarrollo de la Combinatoria presentado en el Instituto
Cervantes por el Profesor D. Jos Ramn Pascual Ibarra.

Para empezar, un problema

La figura sobre estas lneas representa idealizado el plano de una

ciudad, con manzanas de casas exactamente iguales. Se pretende ir
del vrtice inferior izquierdo al superior derecho, por las calles, y de
manera que el camino recorrido tenga longitud mnima. Cuntos
caminos de estas caractersticas hay?

(La exigencia de ser de longitud mnima implica en este caso que

solamente se pueda ir, horizontalmente, de izquierda a derecha; y
verticalmente, de abajo a arriba).

Se observa fcilmente que los caminos posibles tienen todos 4 tramos

verticales y 9 horizontales. Pero llegar a saber cuntos son no parece
demasiado sencillo (si no se conoce el problema, naturalmente).

Sern ms o menos de 100 los caminos? (Podemos hacer una

votacin)

Al cabo de unos momentos, se puede sugerir a los alumnos

que sigan el consejo de Plya: Si un problema plantea una
situacin muy complicada, estdiese el mismo problema en un
contexto ms sencillo

La figura siguiente est tomada de un libro de Plya, Notes on

Introductory Combinatorics.

Por conveniencia hemos dispuesto la figura con otra orientacin, y

ahora se trata de hallar el nmero de caminos que van del vrtice
superior al inferior del cuadrado.

Cuntos caminos llevan al vrtice marcado con un asterisco? Y con

dos?

Compliquemos la figura un poco ms:

Hasta que, finalmente, la completamos :

Si aplicamos el procedimiento descrito al problema original,
obtendramos 715 caminos: demasiados para dibujarlos todos y
contarlos despus.

Este primer ejemplo pertenece a lo que se llama Combinatoria

enumerativa, o si se quiere, al Arte de contar sin enumerar. A
continuacin trataremos de profundizar un poco ms en lo que hay
detrs del problema.

Nomenclatura

Imaginemos, como se indica en la figura siguiente, que se tiene de

nuevo un rectngulo en su posicin normal, con caminos que constan
de n segmentos, de los que k de ellos van hacia arriba:
Sera importante disponer de una frmula que permitiera calcular el
nmero de caminos, en funcin de k y de n, para no tener que repetir
el procedimiento pedestre, pero eficaz, empleado para el clculo en
los casos particulares. Por lo de pronto vamos a utilizar el smbolo
siguiente para representar ese nmero:

n n
C = .
k k

La C no es exactamente por caminos, pero viene bien en esta

ocasin. El smbolo de la derecha lo leemos como n sobre k.

Es evidente, segn la figura anterior, que el nmero de caminos

mnimos para ir de A a B es la suma de los que van desde A a B1 ms
los que van desde A a B2.

Con la notacin que hemos elegido, hemos llegado a

n n 1 n 1
=
+ .
k k k 1

Esta igualdad es lo que se llama una frmula de recurrencia; para

calcular el valor del primer miembro necesitamos conocer todos los
valores anteriores (es lo que hemos hecho antes para calcular el
nmero de caminos).

Si k=0, el rectngulo se reduce a un segmento horizontal de longitud

n. Para ir de un extremo a otro solamente hay un camino, lo cual se
puede expresar mediante

n
= 1.
0
Si el segmento fuera vertical con k=n tambin tendramos un nico
camino, de modo que

n
= 1.
n

Estas dos son las condiciones iniciales de la recurrencia.

Por otro lado, con la interpretacin de los caminos que estamos

haciendo, se ve que tambin se verifica

n n
= ,
k nk

porque eso es tanto como decir que giramos el rectngulo 90

alrededor de un vrtice: los tramos horizontales antes, ahora son
verticales.

n
Los nmeros reciben el nombre de coeficientes binomiales o
k
nmeros combinatorios. Si observamos los nmeros que van
apareciendo al calcular los caminos, pero sin la cuadrcula,
obtenemos el llamado tringulo aritmtico, tringulo de Tartaglia o
tringulo de Pascal:

Del que, naturalmente, slo podemos mostrar una parte, porque

tiene infinitas filas.
El nombre coeficientes binomiales se debe a que son los coeficientes
que se obtienen cuando se calcula el desarrollo de

(1 + x ) ,
n

para valores de n=0,1,2,3, como se comprobar dentro de poco.

Una expresin explcita para los coeficientes binomiales

n
La definicin clsica de es la de contar el nmero de
k
subconjuntos con k elementos de un conjunto que tiene n elementos
(no se permiten repeticiones, por eso hablamos de conjuntos). No se
considera, tampoco, el orden en que aparezcan los elementos.

El siguiente procedimiento para obtener explcitamente n sobre k en

funcin de n y k est tomado de otro excelente libro: A First Course
in Discrete Mathematics, de Ian Anderson (Springer, 2000).

Supongamos que hemos de elegir un equipo de k jugadores de un

grupo de n personas, uno de los cuales ser el capitn. Esto se puede
n
hacer eligiendo primero el equipo y hay formas de hacerlo y
k
luego elegir el capitn y hay k maneras de hacerlo. Luego en total
n
tenemos k maneras de conseguirlo. Pero, en vez de eso, podemos
k
primero elegir el capitn y hay n formas de hacerlo y despus
n 1
elegir al resto del equipo y hay formas, con lo que en
k 1
n 1
definitiva tenemos de este otro modo n equipos posibles con su
k 1
capitn. Es decir, que se tendr que cumplir

n 1 n
n = k ,
k 1 k

con lo que

n n n 1
= .
k k k 1

Reiterando el procedimiento obtenemos

 n n n 1 n n 1 n 2
= =
k k k 1 k k 1 k 2

y continuando de este modo, llegaremos a

n n n 1 n n 1 n 2 n ( n 1) ( n ( k 2 ) ) n ( k 1)
= = ==
k k k 1 k k 1 k 2 k ( k 1) 2 1

m
y como = m , se tiene la frmula explcita que buscbamos:
1

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

El razonamiento anterior es una buena muestra de lo fructfero que

puede ser contar la misma cosa de dos maneras distintas.

Esta frmula se puede escribir de una manera ms compacta si

utilizamos el concepto de factorial y su correspondiente smbolo.

Si n es un entero mayor que 0, se define el factorial de n y se

representa por n! al producto de los n nmeros enteros que van de 1
a n:

n! = n(n-1)(n-2)3.2.1

Si n = 0, para que las dos condiciones iniciales de la recurrencia

anterior sigan valiendo, se admite por convenio que 0! = 1.

Utilizando los factoriales, la frmula para n sobre k se escribe como

n n!
= .
k k !(n k )!

Si esta expresin se toma como definicin, es posible demostrar la

relacin de recurrencia de los coeficientes binomiales haciendo
operaciones en el segundo miembro de dicha recurrencia.

La frmula del binomio de Newton

Como decamos antes, observando el desarrollo de las potencias

sucesivas de x + y obtenemos
 ( x + y) =
0
1
( x + y ) =x + y
1

( x + y ) =x 2 + 2 xy + y 2
2

( x + y ) =x3 + 3x 2 y + 3xy 2 + y 3
3

y los coeficientes son los trminos de las diferentes filas del tringulo
de Tartaglia. Vamos a demostrar que

n n n n 1 n n 2 2 n n n
n
( x + y=
) x + x y + x y + + = r x nr
y r , (*)
n
y
0 1 2 n r =0

que se conoce como frmula del binomio de Newton.

Demostracin

Es claro que (x+y)n = (x+y)(x+y)(x+y), donde hay n parntesis.

Por lo tanto el coeficiente de xn-ryr en el desarrollo final es el nmero

de formas de obtener xn-ryr cuando se multiplican los n parntesis.
Cada trmino del desarrollo es el producto de un sumando de cada
parntesis; por lo tanto xn-ryr se obtiene tantas veces como podamos
elegir y de r de los n parntesis (y x de los n-r restantes). Pero esto
es precisamente el nmero de maneras de elegir r de los n
n
parntesis, es decir, .
r

Identidades combinatorias mediante el desarrollo del binomio

Entre la literatura matemtica sobre Combinatoria est el casi

exhaustivo Combinatorial Identities, de John Riordan (Krieger, 1968).
En esta seccin solamente veremos algunas identidades que se
deducen con ayuda del binomio de Newton.

Haciendo en (*) x = y = 1 obtenemos

n n n
2n ,
+ + + =

0 1
n

identidad que tiene una interpretacin conjuntista: Un conjunto de n

elementos tiene 2n subconjuntos, incluyendo el conjunto vaco (que
tiene 0 elementos) y el propio conjunto dado.

Haciendo en (*) x = 1, y = -1 obtenemos

 n n n n
+ + (1) = 0 (n > 0)
0 1 n

Consideremos la identidad algebraica

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

que escribimos desarrollando ambos miembros

n n n n n n n n n 2n r
+ x + + x + x + + x = x .
0 1 n 0 1 n r =0 r

Igualando los coeficientes de xn en cada miembro de la identidad

tenemos

n n n n n n 2n
+ + + = ,
0 n 1 n 1 n 0 n

que se puede escribir, ya que cada sumando del primer miembro est
formado por coeficientes binomiales iguales, en la forma (ms
sofisticada)
2 2 2
n n n 2n
+ + + = ,
0 1 n n

y que es un caso particular de la llamada identidad de Vandermonde.

En otro libro clsico (y excelente) de Combinatoria, de Chen y Koh,

Principles and Techniques in Combinatorics, (World Scientific, 1992)
las identidades combinatorias ocupan buena parte de su captulo 2.

Como curiosidad, la portada de este libro muestra el tringulo

aritmtico en chino:
El nmero de soluciones de algunas ecuaciones en enteros no
negativos y su relacin con la enumeracin combinatoria

Cul es el nmero de soluciones enteras no negativas, de la

ecuacin

x1 + x2 + x3 + x4 =
6?

Y el de la ecuacin

x1 + x2 + + xk =
n?

De los varios mtodos para resolver este problema elegimos buscar

caminos en un retculo rectangular. Por razones que en seguida
aparecern, elegimos un retculo con 4 calles horizontales y seis
movimientos hacia la derecha, como se ilustra en la figura siguiente:
Si el nmero de movimientos en la fila i es xi, las dos imgenes
ilustran dos de las soluciones de la primera ecuacin. Claramente hay
una correspondencia biunvoca entre los caminos mnimos y las
soluciones de la ecuacin, y por consiguiente el nmero de soluciones
9
coincide con el de caminos, que en nuestro caso es = 84 .
3

En el caso de la segunda ecuacin, la cuadrcula debe tener k calles

horizontales y n movimientos hacia la derecha. Un camino mnimo en
este caso tiene n+k-1 movimientos, de los que cualesquiera k-1
deben ser hacia arriba. Por lo tanto el nmero de soluciones es
n + k 1
.
k 1

La siguiente tabla muestra el nmero de formas de elegir k objetos

de entre n, segn que se permitan o no repeticiones y se considere o
no el orden:
Elegir k de entre n ordenados No ordenados

Sin repeticiones n! n
= n(n 1) ( n k + 1)
( n k )! k

Con repeticiones nk n + k 1

k

De izquierda a derecha, y de arriba abajo, las cuatro expresiones de

la tabla cuentan el nmero de las variaciones sin repeticin,
combinaciones sin repeticin, variaciones con repeticin y
combinaciones con repeticin, de n elementos, tomados de k en k.

Permutaciones con repeticin y coeficientes multinomiales

El ejemplo que sigue es del libro de Plya, antes citado.

Sean n casas iguales. Se van a pintar, r de ellas de rojo; s de ellas de

amarillo y las restantes t, de verde. De cuntas maneras se pueden
asignar colores a las casas?

n
Primero elegimos las que sern pintadas de rojo: hay maneras de
r
elegirlas; quedan n r casas, de las que s van a ser pintadas de
nr
amarillo, para lo que hay formas de elegirlas; y ya no hay ms
s
que una forma de elegir las que quedan, que sern verdes, ya que
n n r
n = r + s + t . Por la regla del producto, en total tendremos
r s
formas de pintar las casas. Se tiene

n n r n! ( n r )! =n !
=
r s r !( n r ) ! s !( n r s ) ! r ! s !t !

que es simtrica con respecto a r, s y t, como no poda ser menos,

pues el problema original lo es.

Esta expresin cuenta el nmero de permutaciones con repeticin de

n elementos, de los que r son iguales entre s, s son iguales entre s y
t son iguales entre s, con r+s+t=n. Para ese nmero se utiliza la
notacin
 n n!
=
r s t r ! s !t !

que recibe el nombre de coeficiente multinomial.

Un segundo ejemplo, tomado del libro de Victor Bryant Aspects of

Combinatorics (Cambridge U.P. 1993):

Cuntos nmeros de 10 cifras se pueden formar escribiendo,

en algn orden, las cifras 4,4,4,4,3,3,3,2,2 y 1?

Supongamos, por un momento, que las cifras fueran todas distintas,

por ejemplo pintando los cuatros con 4 colores diferentes, los treses
con tres colores diferentes y los doses con 2 colores diferentes.
Entonces tendramos 10! nmeros, muchos de ellos repetidos si no se
tuviera en cuenta los colores. Si los cuatros los barajamos entre s,
de todas las maneras posibles, hay 4! nmeros que, cuando dejemos
de imaginar los nmeros coloreados, dan lugar al mismo nmero. Por
10!
lo tanto despus de esto hay nmeros donde ya no es posible
4!
distinguir los cuatros. Repitiendo el razonamiento con los treses
10!
llegamos a nmeros con los 4s y 3s indistinguibles. Y repitindolo
4!3!
10!
con los doses hay nmeros con 4s,3s y 2s indistinguibles.
4!3!2!
10!
Como solamente hay una cifra 1, este nmero coincide con ,
4!3!2!1!
es decir, 12600 nmeros en las condiciones del problema.

Otra forma alternativa de resolver el problema es la siguiente: Se

eligen 4 posiciones de entre las diez disponibles para colocar los
10
cuatros: esto se puede hacer de maneras; a continuacin, las
4
tres posiciones para los treses de entre las seis que quedan:
6
maneras; luego las dos posiciones para los doses de entre las tres
3
3
que quedan, lo que da maneras; y finalmente, en la nica
2
1
posicin que todava falta, se coloca el 1: manera. El principio de
1
la multiplicacin (o de los pastores) da el resultado final:
 10 6 3 1
= 12600 .
4 3 2 1

En general, si r 2 y k1 , k2 , , kr son enteros positivos cuya suma es n,

entonces el nmero de formas de colocar n cosas en r cajas, con k1
cosas en la primera caja, k2 en la segunda, , kr en la r-sima se
representa mediante

n n!
=
k1 k2 kr 1 kr k1 !k2 ! kr !

que es el coeficiente multinomial. La justificacin en este caso general

de la frmula anterior es la misma que la empleada antes en el
ejemplo.

Los coeficientes multinomiales aparecen en la llamada frmula de

Leibniz para la potencia de un polinomio:

n k1
( a1 + a2 + + ar ) =
n
a1 ar
kr

n k1
k1 ++ kr = k2 kr 1 kr

en donde la suma se extiende a todos los ki mayores o iguales que 0

cuya suma es n. El argumento para justificar la frmula de Leibniz es
el mismo que el empleado en la demostracin de la frmula de
Newton, mutatis mutandis, y no lo repetimos.

Bibliografa

Anderson, I. A first Course in Discrete Mathematics (Springer,

2001)

Briant, V. Aspects of Combinatorics (A wide-ranging

introduction) (Cambridge U.P. 1993)

Chen,C-C & Koh, K-M. Principles and Techniques in

Combinatorics (World Scientific, 1992)

Plya, G. & Tarjan,R. & Woods,D. Notes on Introductory

Combinatorics (Birkhuser, 2010)