Construcciones voraces, inductivas y recursivas.
Los algoritmos combinatorios en las matemáticas de competencia son métodos constructivos que usas para resolver problemas de existencia, optimización y configuración. A diferencia de la combinatoria enumerativa, que pregunta "¿cuántos?", la combinatoria algorítmica suele preguntar "¿es posible?" o "¿cuál es la configuración óptima?". La idea principal es que definas un procedimiento específico —un conjunto de reglas o pasos— que construye una solución o transforma un sistema. Luego, compruebas que la solución es válida demostrando que el algoritmo termina y da el resultado que buscas. Esta área conecta la teoría de gráficas, la teoría de números y la teoría de juegos.
Dos paradigmas dominantes en este campo son los Algoritmos Voraces (Greedy Algorithms) y las Construcciones Recursivas/Inductivas. Un algoritmo voraz toma la opción localmente óptima en cada paso con la esperanza de encontrar un óptimo global. Por ejemplo, en problemas de cambio de monedas o coloración de gráficas, un enfoque voraz elige la denominación más grande o el primer color disponible. Aunque las estrategias voraces son intuitivas, no siempre funcionan; para demostrar que son correctas, a menudo tienes que mostrar que un movimiento "voraz" nunca impide llegar a una solución final (el argumento de intercambio).
Las construcciones recursivas e recibes inductivas arman una solución para un problema de tamaño $n$ basándose en soluciones de casos más pequeños. Esto es fundamental para demostrar propiedades de sucesiones o