Soluciones en Enteros Positivos

Teoría

El problema de encontrar cuántas soluciones en enteros positivos tiene la ecuación $x_1 + x_2 + \dots + x_k = n$ es algo fundamental en el análisis combinatorio. En este contexto, vas a repartir $n$ objetos idénticos (que a veces te imaginas como "estrellas") en $k$ recipientes distintos (las variables), con la condición de que cada recipiente debe tener al menos un objeto ($x_i \ge 1$). Esto hace que el problema sea diferente al caso general de enteros no negativos, donde permites que los recipientes estén vacíos.

Este concepto es una aplicación específica de la técnica de "Stars and Bars". Es muy común encontrarlo en matemáticas de competencia, como el AMC 12 y el AIME, en problemas sobre particiones, composiciones de enteros y situaciones de repartición. La idea principal es visualizar los $n$ objetos en una fila y determinar de cuántas formas puedes poner "separadores" o "barras" entre ellos para crear grupos distintos. Como cada variable debe ser al menos 1, no puedes poner separadores en los extremos de la fila ni uno junto al otro; tienes que ponerlos estrictamente en los huecos que hay entre los objetos.

Entender esta técnica te permite resolver rápido ecuaciones diofánticas lineales con restricciones. Además, muchos problemas de conteo complejos con restricciones de límite inferior (por ejemplo, $x_i \ge c_i$) los puedes reducir a esta.