Separadores (Stars and Bars)

Teoría

Separadores (Stars and Bars) es una técnica combinatoria muy potente que te sirve para resolver problemas sobre cómo repartir objetos indistinguibles (idénticos) en recipientes distinguibles (distintos). Te da un método sistemático para contar de cuántas formas puedes agrupar $n$ objetos idénticos en $k$ categorías distintas. Este concepto es equivalente a encontrar el número de soluciones enteras de ecuaciones lineales de la forma $x_1 + x_2 + \dots + x_k = n$, dependiendo de las restricciones que tengan las variables $x_i$.

Esta técnica es fundamental en las matemáticas de competencia y aparece seguido en el AMC 12 y el AIME, porque muchos problemas de conteo los puedes reducir a este modelo. Por ejemplo, contar de cuántas formas puedes repartir 10 dulces idénticos entre 3 niños distintos es una aplicación directa. Te sirve como un puente entre problemas de acomodar objetos físicos y la teoría algebraica de números. A diferencia de las permutaciones donde el orden importa, o las combinaciones donde eliges objetos distintos, esta técnica maneja la selección de "multiconjuntos" donde puedes repetir elementos y el orden de selección no importa, pero el destino (el recipiente) sí.

La idea detrás del nombre viene de la representación gráfica del problema. Si acomodas los $n$ objetos idénticos en una línea (representados por estrellas, $*$), puedes dividirlos en $k$ grupos distintos poniendo $k-1$ divis