Caminos en cuadrículas sin obstáculos
Un problema clásico: ¿cuántos caminos hay desde la esquina inferior izquierda hasta la esquina superior derecha de una cuadrícula, si solo se puede mover hacia la derecha (D) o hacia arriba (A)?
Todo camino consiste en exactamente movimientos D y movimientos A, en total movimientos. El camino queda determinado eligiendo en qué de los pasos se mueve a la derecha. Luego el número de caminos es .
Recurrencia alternativa: sea el número de caminos de a . Como el último movimiento fue D (llegando desde ) o A (llegando desde ):
, con .
Esta es la recurrencia del triángulo de Pascal: . El triángulo de Pascal y las cuadrículas son la misma estructura combinatoria vista desde ángulos distintos.
Caminos con un obstáculo: el principio de reflexión
Ahora supongamos que cierto punto del interior está bloqueado (no se puede pasar por él). ¿Cuántos caminos de a evitan ?
Respuesta directa: total de caminos caminos que pasan por .
Los caminos que pasan por son los que van de a multiplicados por los que van de a : .
Luego los caminos que evitan son .
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.
Caminos de Catalan: no cruzar la diagonal
Un camino de Catalan (o camino de Dyck) de longitud es un camino de a 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 -ésimo número de Catalan:
.
Los primeros valores son , , , , , .
Prueba por reflexión (de André, 1887): el número de caminos "malos" de a que tocan la línea (cruzan la diagonal) es igual al número total de caminos de a , que es . Luego:
.
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".
Recurrencias en tableros: coberturas y coloraciones
Los tableros ya aparecieron en la lección 6.1 (coberturas con fichas). Para tableros , el conteo de coberturas con fichas (dominós) también satisface una recurrencia. Sea el número de coberturas del tablero con dominós.
Si el último dominó cubre las columnas y en horizontal (dos dominós horizontales, uno arriba y otro abajo), queda el tablero por cubrir: opciones. Si el último dominó es vertical (cubre las dos casillas de la columna ), queda el tablero : opciones. Luego , con y . Estos son los números de Fibonacci: .
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 estados posibles, la recurrencia tiene 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 ), el número de caminos satisface una recurrencia que se puede calcular paso a paso.
Ejemplo: ¿cuántos caminos hay de a en la cuadrícula usando solo movimientos D y A, sin cruzar la recta (es decir, sin que el número de pasos A supere al número de pasos D en ningún momento)? Este es exactamente .
Para resolver con recurrencia en lugar de la fórmula de Catalan: define como el número de caminos de a que satisfacen la restricción en todo punto. La restricción impone cuando . Los casos base y la recurrencia (con el cero forzado cuando ) 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 ( habitualmente), calcular la tabla a mano es factible y da la respuesta exacta.