2026 AIME II Problema 13

A continuación está la solución preparada profesionalmente para el Problema 13 del 2026 AIME II, de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2026 AIME II, o revisar la clave de respuestas.

Todos los problemas se usan con el permiso legal oficial de la Mathematical Association of America (MAA).

Conceptos:biyecciónfactorización en primosoptimización

Nivel de dificultad: 3370

13.

Llamamos primos a dos conjuntos finitos de enteros SS y TT si

SS y TT tienen el mismo número de elementos,

SS y TT son disjuntos, y

• los elementos de SS se pueden emparejar con los elementos de TT de modo que los dos elementos de cada par difieran exactamente en 1.1.

Por ejemplo, {1,2,5}\{1, 2, 5\} y {0,3,4}\{0, 3, 4\} son primos. Supongamos que el conjunto SS tiene exactamente 40404040 primos. Halla el menor número de elementos que puede tener el conjunto SS.

Call finite sets of integers SS and TT cousins if

SS and TT have the same number of elements,

SS and TT are disjoint, and

• the elements of SS can be paired with the elements of TT so that the elements in each pair differ by exactly 1.1.

For example, {1,2,5}\{1, 2, 5\} and {0,3,4}\{0, 3, 4\} are cousins. Suppose that the set SS has exactly 40404040 cousins. Find the least number of elements the set SS can have.

Solución:

Un conjunto primo TT es la imagen de una inyección que envía cada xSx \in S a x1x - 1 o x+1,x + 1, cayendo fuera de S.S. Si x1,x,x+1Sx - 1, x, x + 1 \in S entonces xx no tiene a dónde ir, así que todo bloque maximal de elementos consecutivos de SS tiene tamaño 11 o 2.2. Un bloque doble {a,a+1}\{a, a+1\} está obligado a aplicarse en {a1,a+2},\{a - 1, a + 2\}, mientras que un bloque unitario {a}\{a\} elige a1a - 1 o a+1.a + 1. Dos bloques solo pueden disputarse un valor cuando exactamente un entero los separa, así que agrupamos los bloques en cadenas: bloques consecutivos con huecos de exactamente uno. Dentro de una cadena los únicos patrones consistentes son "los primeros ii bloques se desplazan a la izquierda y el resto a la derecha", ya que un bloque que elige la derecha y su sucesor que elige la izquierda colisionarían; un bloque doble actúa a la vez como izquierda y derecha, forzando a que el cambio ocurra exactamente en él. Por lo tanto una cadena de kk unitarios produce k+1k + 1 imágenes distintas, una cadena que contiene un doble produce exactamente 1,1, y una cadena con dos dobles produce 0.0. Patrones distintos dan conjuntos distintos T,T, y las elecciones en cadenas diferentes son independientes, así que el número de primos es el producto de (ki+1)(k_i + 1) sobre las cadenas totalmente unitarias.

Necesitamos (ki+1)=4040=235101\prod (k_i + 1) = 4040 = 2^3 \cdot 5 \cdot 101 minimizando a la vez el número de elementos ki\sum k_i (las cadenas con dobles solo desperdician elementos). Reemplazar un factor compuesto f=ghf = gh por los dos factores g,h2g, h \ge 2 reduce estrictamente el costo, porque (g1)+(h1)<gh1.(g - 1) + (h - 1) \lt gh - 1. Así que el óptimo usa la factorización en primos: (f1)=1+1+1+4+100=107, \begin{aligned} &\sum (f - 1) \\ &= 1 + 1 + 1 + 4 + 100 \\ &= 107, \end{aligned} realizada por cinco cadenas de 1,1,1,4,1001, 1, 1, 4, 100 unitarios, series de enteros alternos, colocadas muy separadas.

El menor número posible de elementos es 107.107.

A cousin TT is the image of an injection sending each xSx \in S to x1x - 1 or x+1,x + 1, landing outside S.S. If x1,x,x+1Sx - 1, x, x + 1 \in S then xx has nowhere to go, so every maximal block of consecutive elements of SS has size 11 or 2.2. A double block {a,a+1}\{a, a+1\} is forced to map to {a1,a+2},\{a - 1, a + 2\}, while a singleton {a}\{a\} chooses a1a - 1 or a+1.a + 1. Two blocks can fight over a value only when exactly one integer separates them, so group blocks into chains: consecutive blocks with gaps of exactly one. Within a chain the only consistent patterns are "the first ii blocks shift left and the rest shift right," since a block choosing right and its successor choosing left would collide; a double block acts as both left and right, forcing the switch to happen exactly at it. Hence a chain of kk singletons produces k+1k + 1 distinct images, a chain containing one double produces exactly 1,1, and a chain with two doubles produces 0.0. Distinct patterns give distinct sets T,T, and choices in different chains are independent, so the number of cousins is the product of (ki+1)(k_i + 1) over the all-singleton chains.

We need (ki+1)=4040=235101\prod (k_i + 1) = 4040 = 2^3 \cdot 5 \cdot 101 while minimizing the element count ki\sum k_i (chains with doubles only waste elements). Replacing a composite factor f=ghf = gh with the two factors g,h2g, h \ge 2 strictly lowers the cost, because (g1)+(h1)<gh1.(g - 1) + (h - 1) \lt gh - 1. So the optimum uses the prime factorization: (f1)=1+1+1+4+100=107, \begin{aligned} &\sum (f - 1) \\ &= 1 + 1 + 1 + 4 + 100 \\ &= 107, \end{aligned} realized by five chains of 1,1,1,4,1001, 1, 1, 4, 100 singletons — runs of every-other integer — placed far apart.

The least possible number of elements is 107.107.

← Problema 12#12Examen completoProblema 14#14 →

El Problema 13 en otros años