🔢 mathematics

Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$

Este artículo investiga la existencia y unicidad de particiones del conjunto $\{1, \dots, n\}$ en subconjuntos de tamaño como máximo $m$ con sumas que son potencias de $m$ , demostrando que, si bien tales particiones fallan para infinitos valores de $n$ cuando $m > 3$ , es probable que existan para todo $n$ cuando $m = 3$ (sujeto a restricciones específicas sobre posibles contraejemplos) y estableciendo recuentos exactos para el número de tales particiones para diversos valores de $n$ .

Autores originales: Vladimir Gurvich, Mariya Naumova

Publicado 2026-07-17

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Vladimir Gurvich, Mariya Naumova

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un maestro arquitecto encargado de construir una ciudad utilizando exactamente $n$ ladrillos únicos, numerados del 1 al $n$ . Tu objetivo no es solo apilarlos; debes agruparlos en vecindarios (llamados "partes") donde se aplican dos reglas estrictas. Primero, ningún vecindario puede estar demasiado concurrido; puede albergar como máximo $m$ ladrillos. Segundo, el "peso" total de los ladrillos en cualquier vecindario debe ser una potencia perfecta de un número mágico específico $m$ (como $m^0=1$ , $m^1=m$ , $m^2$ , etc.). Este rompecabezas pertenece al mundo de la combinatoria, una rama de las matemáticas que estudia cómo se pueden disponer, contar y agrupar los números. Es como resolver un Sudoku gigante e infinito donde las reglas cambian según el tamaño de la cuadrícula. A los matemáticos les importa esto porque comprender cómo los números pueden descomponerse y reensamblarse revela secretos profundos sobre la estructura de las matemáticas mismas, muy parecido a cómo comprender cómo los átomos se unen ayuda a construir nuevos materiales.

El artículo que estás a punto de leer aborda una versión específica y complicada de este rompecabezas; los autores, Vladimir Gurvich y Mariya Naumova, fijaron el número mágico $m$ en 3. Esto significa que están tratando de dividir los números del 1 al $n$ en grupos de tamaño 1, 2 o 3, donde la suma de cada grupo sea una potencia de 3 (1, 3, 9, 27, etc.). Ya sabían que para $m=2$ , siempre hay exactamente una forma de hacerlo para cualquier $n$ . También sabían que para un $m$ mayor que 3, el rompecabezas es imposible para infinitos valores de $n$ . Pero para $m=3$ , la respuesta era un misterio. Los autores sospechan (conjeturan) que una solución existe para cada número $n$ , sin importar cuán grande sea.

Para probar esto, no se limitaron a adivinar; construyeron una red de seguridad matemática. Demostraron que si una solución no existe para algún número $n$ , ese número "malo" debe tener una forma muy específica y extraña. Debe verse como $n = 3t + 3k + 2$ , y debe evitar otros patrones específicos. Piensa en esto como un detective diciendo: "Si ocurrió un crimen, el sospechoso debe llevar un sombrero rojo, tener una cojera y ser zurdo". Si encuentras un sospechoso que no encaja con esa descripción, sabes que no es el culpable. Los autores usaron esta lógica para descartar enormes bloques de números. También ejecutaron simulaciones por computadora para verificar cada número hasta el 844 y, en cada caso, se encontró una solución. Incluso exploraron una versión ligeramente más laxa del rompecabezas llamada "cuasi-partición", donde se permite usar un número dos veces, y demostraron que existen soluciones allí también. Aunque aún no han probado que el rompecabezas sea resoluble para cada $n$ , han reducido la búsqueda de un contraejemplo a una lista muy pequeña y específica de números, y están seguros de que para casi todos los demás números, la solución no solo es posible, sino que a menudo es única.

El Gran Juego de Agrupación de Números

Imagina que tienes una bolsa de fichas numeradas, desde el 1 hasta algún número grande $n$ . Tu trabajo es clasificar estas fichas en pilas. ¡Pero hay reglas!

La Regla del Tamaño: Cada pila puede tener como máximo 3 fichas.
La Regla de la Suma: Los números en cada pila deben sumar una "potencia de 3". Esto significa que la suma debe ser 1, 3, 9, 27, 81, etcétera.

Este es el problema de la "partición 3-buena". Los autores se preguntan: ¿Podemos siempre hacer esto, sin importar cuántas fichas tengamos al principio?

Durante mucho tiempo, los matemáticos supieron la respuesta para las particiones "2-buenas" (donde las pilas tienen como máximo 2 fichas y las sumas son potencias de 2). Resulta que siempre hay exactamente una forma de hacerlo. Pero para 3, las reglas se vuelven complicadas. Los autores sospechan que la respuesta es "Sí, siempre es posible", pero necesitaban probarlo.

Los Sospechosos "Críticos"

En lugar de intentar probar que funciona para cada número (lo cual es difícil), los autores decidieron buscar a los "malos"; los números donde el proceso falla. Razonaron que si existe un número $n$ donde no puedes hacer las pilas, este debe ser un número "crítico".

Demostraron que si tal número crítico existiera, no podría ser cualquier número aleatorio. Debe usar un disfraz muy específico. Debe ser de la forma:
$n = 3t + 3k + 2$
Y tiene que satisfacer algunas condiciones adicionales sobre qué tan grande es $k en comparación con $t$ .

Piensa en esto como un guardia de seguridad en un club. El guardia dice: "Si intentas entrar sin boleto, debes llevar un sombrero verde y cargar un bolso azul". Si ves a alguien con un sombrero rojo, sabes con certeza que no es el intruso sigiloso. Los autores demostraron que cualquier número que no encaje con esta descripción de "sombrero verde" está a salvo; sabemos cómo agrupar esos números. Esto elimina una cantidad masiva de posibilidades.

La Verificación de la Computadora

Incluso con su ingeniosa matemática, todavía quedaban algunos números que encajaban con la descripción del "sombrero verde". Para estar seguros, los autores (con la ayuda de un programador de computadoras llamado Dmitry Rybin) escribieron un programa para revisar cada número hasta el 844.

El Resultado: Para cada número del 1 al 844, encontraron una forma de agrupar las fichas perfectamente.
La Conclusión: La computadora no encontró ni un solo "mal número". Esto respalda fuertemente su suposición de que el rompecabezas es resoluble para todos.

El Giro de las "Cuasi-particiones"

Los autores también probaron un juego ligeramente diferente. ¿Qué pasaría si permitiéramos usar un número dos veces? A esto lo llaman una "cuasi-partición". Imagina que tienes una ficha de repuesto del número 3, así que puedes usarla en dos pilas diferentes.
Demostraron que para un rango específico de números, siempre puedes resolver esta versión del rompecabezas, y el número 3 (específicamente $3^t$ ) es el que se usa dos veces. Esto fue un paso útil para comprender el problema más difícil.

¿Cuántas Formas Hay?

Una de las partes más divertidas del artículo es contar cuántas formas diferentes hay de agrupar los números.

Para algunos números (como 1, 2, 3, 4 y muchos otros), hay exactamente una forma de hacerlo. Es como una cerradura con una sola llave.
Para el número 13, y para números como $3t - 3$ , hay exactamente dos formas.
Para casi todos los demás números, sospechan que hay más de dos formas.

Incluso encontraron una regla especial (Proposición 2) que dice que si conoces cuáles son los grupos de tres números (tríos) que están en la solución, puedes descifrar todo el rompecabezas. Es como decir: "Si conoces quiénes son los tres mejores amigos en una habitación, conoces toda la dinámica social".

La Conclusión

Los autores aún no han resuelto el rompecabezá para cada número del universo. Todavía quedan algunos números complicados (como 35, 38, 89 y 101) que no han sido totalmente despejados por su matemática. Sin embargo, han demostrado que si una solución no existe, debe ser uno de estos números muy específicos y raros.

Están seguros de que la "partición 3-buena" existe para cada número $n$ . Han descartado los fallos fáciles, han verificado los primeros 844 números con una computadora y han encontrado que el rompecabezas siempre tiene solución. El misterio no es si podemos agrupar los números, sino cuántas formas podemos hacerlo para los números realmente grandes. El viaje para probarlo para cada número individual continúa, pero el camino ahora es mucho más claro.

Resumen Técnico: Sobre la partición del conjunto [n] en subconjuntos de tamaño máximo m tal que todas las sumas sean potencias de m

Planteamiento del Problema
El artículo aborda un problema de partición combinatoria definido sobre el conjunto de los primeros $n$ números naturales, $[n] = \{1, \dots, n\}$ . Dados los enteros $m > 1$ y $n > 0$ , se define un subconjunto de $[n]$ como $m$ -bueno si su cardinalidad es como máximo $m$ y la suma de sus elementos es una potencia de $m$ (es decir, $m^t$ para algún entero $t \ge 0$ ). Una partición de $[n]$ es $m$ -buena si cada parte de la partición es un conjunto $m$ -bueno.

Los autores investigan la existencia y unicidad de tales particiones. Se establece que:

Para $m=2$ , existe una única partición 2-buena para cada $n$ .
Para $m > 3$ , existen infinitos $n$ para los cuales no existe una partición $m$ -buena (específicamente, para $n = 2(m^t + 1)$ ).
El caso $m=3$ es el foco principal, donde la existencia de una partición 3-buena para cada $n$ no es inmediatamente obvia y sigue siendo objeto de conjetura.

Metodología
Los autores emplean una combinación de pruebas constructivas, reducciones recursivas y verificación computacional.

Técnicas de Reducción: La metodología central involucra "reducciones", donde se construye una partición de $[n]$ añadiendo partes específicas a una partición conocida de un conjunto más pequeño $[n']$ . Los autores definen fórmulas de reducción específicas para diversas formas de $n$ (por ejemplo, $n = 3t + 3k$ , $n = 3t + 3k + 1$ ) que permiten la construcción de una partición 3-buena para $n$ basada en una partición para un $n'$ más pequeño.
Intervalos Simétricos: El artículo utiliza particiones de intervalos enteros simétricos $[-\ell; \ell]$ para facilitar las reducciones. El Lema 1 demuestra que tales intervalos admiten particiones 3-buenas (usando tríos que suman 0) cuando $\ell \equiv 0, 1 \pmod 3$ .
Cuasi-particiones: Para manejar los casos donde las particiones estándar son difíciles de construir, los autores introducen cuasi-particiones 3-buenas. Estas son familias de subconjuntos que cubren todos los números en $[n]$ exactamente una vez, excepto por un número específico (específicamente $3^t$ ) que es cubierto dos veces.
Algoritmos Recursivos: Para las pruebas de unicidad, los autores utilizan un algoritmo recursivo (atribuido a Oleg Polubasoff) que determina la ubicación del número libre más grande $i$ . Si $i$ es una potencia de 3, debe ser un elemento único; de lo contrario, debe emparejarse con $3^j - i$ (donde $3^{j-1} < i < 3^j$ ).

Contribuciones Clave y Resultados

Conjetura de Existencia (Conjetura 1): Los autores conjeturan que una partición 3-buena de $[n]$ existe para cada entero positivo $n$ .
Caracterización de Contraejemplos Mínimos (Teorema 1): Asumiendo que existe un contraejemplo, los autores demuestran que el contraejemplo mínimo $n$ $n$ debe satisfacer condiciones estrictas:
- $n = 3^t + 3k + 2$ para $t > 0$ .
- $0 \le k < \frac{3^{t-1}-1}{2}$ .
- $k \neq \frac{3^\ell-1}{2}$ para cualquier entero no negativo $\ell < t$ .
- Equivalentemente, $n \equiv 2 \pmod 3$ , $3k+2 < \frac{3^{t+1}+1}{2}$ , y $3k+2 \neq \frac{3^{\ell+1}+1}{2}$ .
- Esto reduce significativamente el espacio de búsqueda para posibles contraejemplos.
Existencia de Cuasi-particiones (Teorema 2): Los autores demuestran que para cualquier $n$ que satisfaga las condiciones del Teorema 1 (es decir, la forma potencial de un contraejemplo), existe una cuasi-partición 3-buena donde el número $3^t$ es cubierto dos veces. Esto sugiere que la obstrucción a una partición estándar es mínima.
Resultados de Unicidad (Teorema 3): El artículo establece la unicidad de las particiones 3-buenas para rangos específicos de $n$ $n$ :
- Existen particiones únicas para $n \in \{1, 2, 3, 4\}$ y para $n$ de la forma $3^t - 4, 3^t - 2, 3^t - 1, 3^t, 3^t + 1, 3^t + 2, 3^t + 3, 3^t + 5$ (para $t \ge 2$ ).
- Existen exactamente dos particiones 3-buenas para $n = 3^t - 3$ y para $n = 13$ .
- Los autores conjeturan que para todos los demás $n$ (excluyendo 13), el número de particiones 3-buenas es mayor que 2.
Verificación Computacional: Utilizando código escrito por Dmitry Rybin, las conjeturas relativas a la existencia y el conteo de particiones fueron verificadas para todo $n \le 844$ .

Significancia y Reivindicaciones
El artículo afirma proporcionar los primeros resultados parciales rigurosos respecto a la existencia de particiones 3-buenas para todo $n$ . Al caracterizar la forma de cualquier potencial contraejemplo mínimo, los autores restringen significativamente el espacio del problema. La introducción de las cuasi-particiones sirve como un paso intermedio crítico, demostrando que incluso en los casos más difíciles (donde una partición estándar podría fallar), existe una estructura muy cercana a una solución.

Los autores reconocen que, si bien los métodos de reducción generalizados (sugeridos por Oleg Polubasoff) amplían el rango de casos demostrables, sigue siendo una pregunta abierta si estos métodos son suficientes para probar completamente la Conjetura 1 para todo $n$ . El artículo no pretende haber resuelto el problema general de existencia, sino que proporciona un marco estructural y una fuerte evidencia que respalda la conjetura.