Guía de preparación final: hoja de ruta hacia el IMO

La escala ISL C1–C7: qué exige cada nivel

C1. Pigeonhole cuantitativo, doble conteo elemental, coloraciones de tableros. La solución tiene a lo sumo 3–5 pasos. Un estudiante de secundaria bien preparado puede resolverlo en 20–30 minutos. Aparece como P1 o P4 en el IMO.

C2. Grafos: matchings y Hall, caminos eulerianos, árboles de expansión. Combinatoria extremal básica (Turán para $K_3$). Requiere una idea no trivial. Tiempo en competencia: 60–90 minutos.

C3. Invariantes y semivariantes en procesos iterativos, doble conteo con biyecciones no triviales, Van der Waerden y Ramsey $R(3,3)$. Requiere identificar el invariante correcto, que no es obvio. Tiempo: 2–3 horas.

C4. Método probabilístico elemental (valor esperado, unión), teorema de Turán general, extremal de hipergrafos. Requiere combinar dos o tres ideas. Tiempo: 3–4 horas. Raramente aparece en el examen, sí en el Shortlist.

C5. Lovász Local Lemma, números de Ramsey $R(k,k)$, extremal con álgebra lineal sobre $\mathbb{F}_2$, Szemerédi en casos especiales. Requiere maquinaria no trivial. Tiempo: 4–6 horas incluso para expertos.

C6–C7. Resultados de investigación reciente adaptados para competencia: teoría de grafos espectrales en contexto combinatorio, segundo momento y concentración, Zarankiewicz y el problema de las ciudades. Estos problemas son asequibles en el examen del ISL pero no se ponen en el IMO. Representan la frontera entre olimpiadas e investigación.

Conjuntos de problemas esenciales por técnica

Ramsey (ISL C3–C5). Problemas fundamentales para estudiar: IMO 2007 P3 (Ramsey para triángulos en grafos con condición de grado), ISL 2011 C4 (Ramsey para hipergrafos), ISL 2015 C5 (Ramsey y coloración de grafos). Referencia de teoría: capítulos 1 y 2 de "Ramsey Theory" de Graham, Rothschild y Spencer.

Método probabilístico (ISL C4–C6). Problemas fundamentales: IMO 2016 P2 (primer momento en un contexto de elecciones), ISL 2009 C4 (LLL para coloración de hipergrafos), ISL 2018 C6 (concentración y grafos densos). Referencia: "The Probabilistic Method" de Alon y Spencer, capítulos 1–5.

Extremal de grafos / Turán y Zarankiewicz (ISL C2–C5). Problemas fundamentales: ISL 2013 C3 (Turán generalizado), ISL 2016 C4 (Zarankiewicz y el número $z(m,n;s,t)$), IMO 2014 P6 (extremal con condición funcional). Referencia: "Extremal Graph Theory" de Bollobás, capítulos 1–3.

Álgebra lineal en combinatoria (ISL C3–C5). Problemas fundamentales: ISL 2001 C4 (rango sobre $\mathbb{F}_2$ y subconjuntos), ISL 2010 C5 (vectores en $\mathbb{F}_2^n$), IMO 2019 P6 (la más elegante demostración de doble conteo lineal en la historia del IMO). Referencia: "Linear Algebra Methods in Combinatorics" de Babai y Frankl.

Juegos combinatorios (ISL C2–C4). Problemas fundamentales: IMO 2009 P5 (juego en tablero con estrategia de espejo), ISL 2012 C3 (juego en grafo con invariante de paridad), ISL 2017 C4 (juego de Nim generalizado con estructura de Nim-valor). Referencia: "Winning Ways for your Mathematical Plays" de Berlekamp, Conway y Guy.

Cómo construir la intuición combinatoria

La intuición combinatoria —la capacidad de ver instantáneamente la estructura de un problema— se construye de una sola manera: resolver muchos problemas y reflexionar sobre las soluciones. Pero no cualquier reflexión: hay tres preguntas que debes hacerte después de resolver cada problema.

Pregunta 1: ¿Cuál es la idea esencial? No la solución completa, sino la única línea sin la cual nada funciona. En el Teorema de Turán, es "los vecinos de $u$ y $v$ son disjuntos si no hay triángulo". En el método probabilístico de Erdős para Ramsey, es "la probabilidad de que un subconjunto sea monocrómático es $2^{1-\binom{k}{2}}$, demasiado pequeña para que la unión sea 1". Identifica esa línea.

Pregunta 2: ¿Hay una demostración más corta? La combinatoria tiene la propiedad de que casi siempre hay otra demostración. Busca la versión que uses un solo invariante, un solo valor esperado, o una sola biyección. La elegancia no es estética: es una señal de que entendiste la esencia.

Pregunta 3: ¿Cuál es el enunciado más general que admite esta demostración? Si la demostración funciona para $K_n$ sin triángulos, ¿funciona para $K_n$ sin $K_r$? (Sí: es el Teorema de Turán general.) Si el método probabilístico da $R(k,k) > 2^{k/2}$, ¿qué da para $R(k,3)$? (Erdős probó $R(k,3) = \Theta(k^2/\log k)$.) Generalizar te obliga a entender qué propiedades se usaron realmente.

La meta-habilidad: reconocer la técnica

En el IMO, los primeros cinco minutos de lectura de un problema son los más importantes: durante ese tiempo, el candidato debe clasificar el problema en un tipo y seleccionar la técnica. Los errores más frecuentes no son errores de cálculo sino errores de clasificación: empezar por inducción un problema que requiere el método probabilístico, o buscar un invariante en un problema de extremos.

Señales de que el problema pide el método probabilístico: el enunciado pide demostrar la existencia de un objeto sin dar una construcción explícita; los parámetros ($n$, $k$, $\Delta$) son asintóticos o crecientes; la solución constructiva parecería requerir una búsqueda exponencial.

Señales de que el problema pide un invariante: el enunciado involucra un proceso iterativo (operaciones repetidas, un juego, una secuencia de transformaciones); se pregunta por alcanzabilidad o por si cierto estado es posible; hay una conservación o monotonicidad implícita en el enunciado.

Señales de que el problema pide doble conteo: el enunciado involucra una suma o un número que debe calcularse; hay una incidencia entre dos tipos de objetos (vértices y aristas, puntos y rectas, subconjuntos y elementos); la fórmula del resultado parece un coeficiente binomial.

Señales de que el problema pide extremos: se pregunta por el máximo o mínimo de una cantidad; el enunciado tiene la forma "¿cuántos... puede tener como máximo?"; la construcción óptima tiene simetría (grafo bipartito completo, subconjunto de cardinalidad $n/2$).

Ejercicio final. Toma 10 problemas del Shortlist IMO de los últimos 3 años (categoría C) y, antes de ver la solución, clasifícalos según estas señales. Mide en cuántos aciertas la técnica. Un candidato IMO bien preparado debería acertar en al menos 7 de 10.

Palabras finales: la combinatoria como forma de pensar

La combinatoria olímpica no es un conjunto de fórmulas: es una forma de pensar. Es la capacidad de ver estructura donde aparentemente solo hay caos, de encontrar el par de objetos que siempre deben compartir algo, de construir el objeto cuya existencia parece imposible de demostrar.

Los seis capítulos de este módulo te han dado las herramientas. Los simulacros te han dado la práctica. Pero la competencia real se construye resolviendo problemas originales, sin ver la solución, con tiempo limitado, bajo presión. No hay atajo para eso.

Si llegaste hasta aquí, ya posees el fundamento técnico de un candidato sólido al IMO en la categoría de combinatoria. El paso final es el volumen: resuelve 200 problemas más del Shortlist. No todos, no necesariamente rápido, pero sí con reflexión profunda después de cada uno.

La combinatoria es el área donde la intuición y el rigor deben coexistir en su forma más pura. Cuando resuelvas tu primer C6 o C7 del Shortlist sin ver la solución, entenderás por qué Erdős decía que los matemáticos son máquinas de convertir café en teoremas. Buen camino.