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).
Nivel de dificultad: 3370
13.
Llamamos primos a dos conjuntos finitos de enteros y si
• y tienen el mismo número de elementos,
• y son disjuntos, y
• los elementos de se pueden emparejar con los elementos de de modo que los dos elementos de cada par difieran exactamente en
Por ejemplo, y son primos. Supongamos que el conjunto tiene exactamente primos. Halla el menor número de elementos que puede tener el conjunto .
Call finite sets of integers and cousins if
• and have the same number of elements,
• and are disjoint, and
• the elements of can be paired with the elements of so that the elements in each pair differ by exactly
For example, and are cousins. Suppose that the set has exactly cousins. Find the least number of elements the set can have.
Solución:
Un conjunto primo es la imagen de una inyección que envía cada a o cayendo fuera de Si entonces no tiene a dónde ir, así que todo bloque maximal de elementos consecutivos de tiene tamaño o Un bloque doble está obligado a aplicarse en mientras que un bloque unitario elige o 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 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 unitarios produce imágenes distintas, una cadena que contiene un doble produce exactamente y una cadena con dos dobles produce Patrones distintos dan conjuntos distintos y las elecciones en cadenas diferentes son independientes, así que el número de primos es el producto de sobre las cadenas totalmente unitarias.
Necesitamos minimizando a la vez el número de elementos (las cadenas con dobles solo desperdician elementos). Reemplazar un factor compuesto por los dos factores reduce estrictamente el costo, porque Así que el óptimo usa la factorización en primos: realizada por cinco cadenas de unitarios, series de enteros alternos, colocadas muy separadas.
El menor número posible de elementos es
A cousin is the image of an injection sending each to or landing outside If then has nowhere to go, so every maximal block of consecutive elements of has size or A double block is forced to map to while a singleton chooses or 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 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 singletons produces distinct images, a chain containing one double produces exactly and a chain with two doubles produces Distinct patterns give distinct sets and choices in different chains are independent, so the number of cousins is the product of over the all-singleton chains.
We need while minimizing the element count (chains with doubles only waste elements). Replacing a composite factor with the two factors strictly lowers the cost, because So the optimum uses the prime factorization: realized by five chains of singletons — runs of every-other integer — placed far apart.
The least possible number of elements is
El Problema 13 en otros años
1997 AIME · 1998 AIME · 1999 AIME · 2000 AIME I · 2000 AIME II · 2001 AIME I · 2001 AIME II · 2002 AIME I · 2002 AIME II · 2003 AIME I · 2003 AIME II · 2004 AIME I · 2004 AIME II · 2005 AIME I · 2005 AIME II · 2006 AIME I · 2006 AIME II · 2007 AIME I · 2007 AIME II · 2008 AIME I · 2008 AIME II · 2009 AIME I · 2009 AIME II · 2010 AIME I · 2010 AIME II · 2011 AIME I · 2011 AIME II · 2012 AIME I · 2012 AIME II · 2013 AIME I · 2013 AIME II · 2014 AIME I · 2014 AIME II · 2015 AIME I · 2015 AIME II · 2016 AIME I · 2016 AIME II · 2017 AIME I · 2017 AIME II · 2018 AIME I · 2018 AIME II · 2019 AIME I · 2019 AIME II · 2020 AIME I · 2020 AIME II · 2021 AIME I · 2021 AIME II · 2022 AIME I · 2022 AIME II · 2023 AIME I · 2023 AIME II · 2024 AIME I · 2024 AIME II · 2025 AIME I · 2025 AIME II · 2026 AIME I