Módulos / combinatoria-1 / Capítulo 6 — Recursiones combinatorias / Lección 6.4

Tableros y caminos en cuadrículas

Lección 6.4·Capítulo 6 — Recursiones combinatorias·12 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Contar caminos en cuadrículas $m \times n$ usando coeficientes binomiales, establecer recurrencias para caminos con obstáculos, aplicar el principio de reflexión de Lindström-Gessel-Viennot en casos simples, y resolver problemas olímpicos regionales que involucran movimientos en tableros o conteo de trayectorias con restricciones.

Caminos en cuadrículas sin obstáculos

Un problema clásico: ¿cuántos caminos hay desde la esquina inferior izquierda (0,0)(0,0) hasta la esquina superior derecha (m,n)(m,n) de una cuadrícula, si solo se puede mover hacia la derecha (D) o hacia arriba (A)?

Todo camino consiste en exactamente mm movimientos D y nn movimientos A, en total m+nm + n movimientos. El camino queda determinado eligiendo en qué mm de los m+nm+n pasos se mueve a la derecha. Luego el número de caminos es (m+nm)\binom{m+n}{m}.

Recurrencia alternativa: sea f(i,j)f(i,j) el número de caminos de (0,0)(0,0) a (i,j)(i,j). Como el último movimiento fue D (llegando desde (i1,j)(i-1,j)) o A (llegando desde (i,j1)(i,j-1)):

f(i,j)=f(i1,j)+f(i,j1)f(i,j) = f(i-1,j) + f(i,j-1), con f(i,0)=f(0,j)=1f(i,0) = f(0,j) = 1.

Esta es la recurrencia del triángulo de Pascal: f(i,j)=(i+ji)f(i,j) = \binom{i+j}{i}. El triángulo de Pascal y las cuadrículas son la misma estructura combinatoria vista desde ángulos distintos.

Caminos de (0,0) a (m,n)=(m+nm)\text{Caminos de } (0,0) \text{ a } (m,n) = \binom{m+n}{m}

Caminos con un obstáculo: el principio de reflexión

Ahora supongamos que cierto punto (a,b)(a,b) del interior está bloqueado (no se puede pasar por él). ¿Cuántos caminos de (0,0)(0,0) a (m,n)(m,n) evitan (a,b)(a,b)?

Respuesta directa: total de caminos - caminos que pasan por (a,b)(a,b).

Los caminos que pasan por (a,b)(a,b) son los que van de (0,0)(0,0) a (a,b)(a,b) multiplicados por los que van de (a,b)(a,b) a (m,n)(m,n): (a+ba)((ma)+(nb)ma)\binom{a+b}{a} \cdot \binom{(m-a)+(n-b)}{m-a}.

Luego los caminos que evitan (a,b)(a,b) son (m+nm)(a+ba)(m+nabma)\binom{m+n}{m} - \binom{a+b}{a}\binom{m+n-a-b}{m-a}.

Este razonamiento se generaliza a múltiples obstáculos usando el PIE: restar los caminos que pasan por algún obstáculo, sumar los que pasan por dos obstáculos a la vez, etc.

(m+nm)(a+ba)(m+nabma)\binom{m+n}{m} - \binom{a+b}{a}\binom{m+n-a-b}{m-a}

Caminos de Catalan: no cruzar la diagonal

Un camino de Catalan (o camino de Dyck) de longitud 2n2n es un camino de (0,0)(0,0) a (n,n)(n,n) que nunca cruza por debajo de la diagonal principal (es decir, nunca tiene más pasos A acumulados que pasos D acumulados en ningún prefijo). El número de tales caminos es el nn-ésimo número de Catalan:

Cn=1n+1(2nn)C_n = \frac{1}{n+1}\binom{2n}{n}.

Los primeros valores son C0=1C_0 = 1, C1=1C_1 = 1, C2=2C_2 = 2, C3=5C_3 = 5, C4=14C_4 = 14, C5=42C_5 = 42.

Prueba por reflexión (de André, 1887): el número de caminos "malos" de (0,0)(0,0) a (n,n)(n,n) que tocan la línea y=x+1y = x + 1 (cruzan la diagonal) es igual al número total de caminos de (1,1)(-1, 1) a (n,n)(n, n), que es (2nn1)\binom{2n}{n-1}. Luego:

Cn=(2nn)(2nn1)=1n+1(2nn)C_n = \binom{2n}{n} - \binom{2n}{n-1} = \frac{1}{n+1}\binom{2n}{n}.

Los números de Catalan cuentan también: triangulaciones de polígonos convexos, expresiones con paréntesis balanceados, árboles binarios, y muchas otras estructuras. En problemas olímpicos aparecen siempre que hay una condición de "no cruzar" o "no exceder".

Cn=1n+1(2nn)C_n = \frac{1}{n+1}\binom{2n}{n}

Recurrencias en tableros: coberturas y coloraciones

Los tableros 1×n1 \times n ya aparecieron en la lección 6.1 (coberturas con fichas). Para tableros 2×n2 \times n, el conteo de coberturas con fichas 1×21 \times 2 (dominós) también satisface una recurrencia. Sea TnT_n el número de coberturas del tablero 2×n2 \times n con dominós.

Si el último dominó cubre las columnas n1n-1 y nn en horizontal (dos dominós horizontales, uno arriba y otro abajo), queda el tablero 2×(n2)2 \times (n-2) por cubrir: Tn2T_{n-2} opciones. Si el último dominó es vertical (cubre las dos casillas de la columna nn), queda el tablero 2×(n1)2 \times (n-1): Tn1T_{n-1} opciones. Luego Tn=Tn1+Tn2T_n = T_{n-1} + T_{n-2}, con T0=1T_0 = 1 y T1=1T_1 = 1. Estos son los números de Fibonacci: Tn=Fn+1T_n = F_{n+1}.

Para coloraciones de tableros con restricciones (por ejemplo, no dos casillas adyacentes del mismo color), también se establecen recurrencias similares según el "estado" de la última columna o fila.

La estrategia unificadora: definir el "estado" que resume la información necesaria de la configuración parcial, y escribir la recurrencia en términos de los estados posibles. Si hay kk estados posibles, la recurrencia tiene kk variables y puede representarse como una multiplicación de matrices (técnica de nivel superior, pero la idea es accesible desde el nivel regional).

Problemas de caminos con obstáculos múltiples y recurrencias

Cuando hay una "barrera" diagonal (por ejemplo, el camino no puede tocar la recta y=x+ky = x + k), el número de caminos satisface una recurrencia que se puede calcular paso a paso.

Ejemplo: ¿cuántos caminos hay de (0,0)(0,0) a (4,4)(4,4) en la cuadrícula usando solo movimientos D y A, sin cruzar la recta y=x+1y = x + 1 (es decir, sin que el número de pasos A supere al número de pasos D en ningún momento)? Este es exactamente C4=14C_4 = 14.

Para resolver con recurrencia en lugar de la fórmula de Catalan: define f(i,j)f(i,j) como el número de caminos de (0,0)(0,0) a (i,j)(i,j) que satisfacen la restricción jij \le i en todo punto. La restricción impone f(i,j)=0f(i,j) = 0 cuando j>ij > i. Los casos base y la recurrencia f(i,j)=f(i1,j)+f(i,j1)f(i,j) = f(i-1,j) + f(i,j-1) (con el cero forzado cuando j>ij > i) permiten llenar la tabla. Este método es completamente elemental y eficiente para problemas olímpicos con restricciones complicadas.

Principio general: cuando la fórmula cerrada no es obvia, construye la tabla de valores con la recurrencia. Para tableros de tamaño olímpico (n10n \le 10 habitualmente), calcular la tabla a mano es factible y da la respuesta exacta.

Problemas del Capítulo 6 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

C1-6.1

¿De cuántas formas se puede cubrir una tira 1×81 \times 8 usando fichas 1×11 \times 1 y fichas 1×21 \times 2?

C1-6.2

Demuestra por inducción que k=1nk=n(n+1)2\sum_{k=1}^{n} k = \dfrac{n(n+1)}{2} para todo entero n1n \ge 1.

C1-6.3

¿Cuántos caminos hay desde (0,0)(0,0) hasta (4,3)(4,3) en la cuadrícula entera, usando solo movimientos hacia la derecha (D) y hacia arriba (A)?

C1-6.4★★

¿De cuántas maneras se pueden distribuir 55 premios distintos entre 33 estudiantes distintos de modo que cada estudiante reciba al menos un premio?

C1-6.5★★

Demuestra por inducción fuerte que todo entero n2n \ge 2 se puede escribir como producto de números primos.

C1-6.6★★

¿Cuántos caminos hay desde (0,0)(0,0) hasta (5,5)(5,5) en la cuadrícula entera, usando solo movimientos D y A, que no pasen por el punto (2,3)(2,3)?

C1-6.7★★★Estilo ONEM Perú regional

Sea ana_n el número de cadenas de longitud nn con letras del conjunto {0,1,2}\{0, 1, 2\} que no contienen dos dígitos iguales consecutivos. Halla una recurrencia para ana_n y calcula a5a_5.

C1-6.8★★★Estilo ONEM Perú regional

Demuestra por inducción que el número de caminos desde (0,0)(0,0) hasta (n,n)(n,n) que no cruzan la diagonal (es decir, en todo prefijo del camino el número de pasos D es mayor o igual al número de pasos A) es igual al nn-ésimo número de Catalan Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}\dbinom{2n}{n}.