1986 AIME Problema 12

Intenta el Problema 12 del 1986 AIME a continuación y luego compara tu respuesta con la solución preparada profesionalmente de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 1986 AIME, o revisar la clave de respuestas.

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

12.

Se define la suma de un conjunto de números como la suma de sus elementos. Sea SS un conjunto de enteros positivos, ninguno mayor que 15.15. Supón que no hay dos subconjuntos disjuntos de SS con la misma suma. ¿Cuál es la mayor suma que puede tener un conjunto SS con estas propiedades?

Let the sum of a set of numbers be the sum of its elements. Let SS be a set of positive integers, none greater than 15.15. Suppose no two disjoint subsets of SS have the same sum. What is the largest sum a set SS with these properties can have?

Respuesta: 61
Conceptos:argumento extremalmediasubconjuntos
Nivel de dificultad: 3270
Pista pequeña:

Si SS tuviera seis elementos, compara la varianza de sus 6464 sumas de subconjuntos con la de 6464 enteros consecutivos

If SS had six elements, compare the variance of its 6464 subset sums with that of 6464 consecutive integers

Pista grande:

Después de acotar el tamaño de S,S, examina los subconjuntos de cinco elementos cuyas sumas superan el valor candidato

After bounding the size of S,S, inspect the five-element subsets whose sums exceed the candidate

Solución:

Primero, SS tiene a lo sumo cinco elementos. Si tuviera seis elementos s1,,s6,s_1,\ldots,s_6, sus 6464 sumas de subconjuntos serían todas distintas: una igualdad entre dos sumas, después de cancelar los elementos comunes, violaría la condición dada.

Elige uniformemente al azar un subconjunto y sea XX su suma. Entonces Var(X)=14i=16si214(102+112++152)=9554. \begin{gathered} \operatorname{Var}(X) =\frac14\sum_{i=1}^6s_i^2\\ {}\leq\frac14(10^2+11^2+\cdots+15^2)\\ {}=\frac{955}{4}. \end{gathered} Por otra parte, XX es uniforme sobre 6464 enteros distintos. La menor varianza posible para 6464 enteros distintos ocurre cuando son consecutivos, y es 642112=13654, \frac{64^2-1}{12}=\frac{1365}{4}, una contradicción.

Un conjunto con a lo sumo cuatro elementos tiene suma máxima 12+13+14+15=54.12+13+14+15=54. Solo hay siete subconjuntos de cinco elementos de {1,,15}\{1,\ldots,15\} cuyas sumas son al menos 62.62. Todos fallan, como muestran las siguientes sumas iguales:

{8,12,13,14,15}:\{8,12,13,14,15\}: 13+14=12+15.13+14=12+15. {9,11,13,14,15}:\{9,11,13,14,15\}: 11+13=9+15.11+13=9+15. {9,12,13,14,15}:\{9,12,13,14,15\}: 13+14=12+15.13+14=12+15.

{10,11,12,14,15}:\{10,11,12,14,15\}: 11+14=10+15.11+14=10+15. {10,11,13,14,15}:\{10,11,13,14,15\}: 11+13=10+14.11+13=10+14.

{10,12,13,14,15}:\{10,12,13,14,15\}: 12+13=10+15.12+13=10+15. {11,12,13,14,15}:\{11,12,13,14,15\}: 12+13=11+14.12+13=11+14.

Por tanto, la respuesta es a lo sumo 61.61.

El conjunto {8,11,13,14,15}\{8,11,13,14,15\} alcanza 61.61. Sus 3232 sumas de subconjuntos, en orden, son 0,8,11,13,14,15,19,21,22,23,24,25,26,27,28,29,32,33,34,35,36,37,38,39,40,42,46,47,48,50,53,61, \begin{gathered} 0,8,11,13,14,15,19,21,\\ 22,23,24,25,26,27,28,29,\\ 32,33,34,35,36,37,38,39,\\ 40,42,46,47,48,50,53,61, \end{gathered} todas distintas. Si dos subconjuntos cualesquiera tuvieran la misma suma, al eliminar su intersección se obtendrían dos subconjuntos disjuntos con la misma suma; por tanto, esto verifica la propiedad requerida.

First, SS has at most five elements. If it had six elements s1,,s6,s_1,\ldots,s_6, then its 6464 subset sums would all be distinct: equality between two subset sums, after cancelling their common elements, would violate the given condition.

Choose a subset uniformly at random and let XX be its sum. Then Var(X)=14i=16si214(102+112++152)=9554. \begin{gathered} \operatorname{Var}(X) =\frac14\sum_{i=1}^6s_i^2\\ {}\leq\frac14(10^2+11^2+\cdots+15^2)\\ {}=\frac{955}{4}. \end{gathered} On the other hand, XX is uniform on 6464 distinct integers. The least possible variance for 6464 distinct integers occurs when they are consecutive, and is 642112=13654, \frac{64^2-1}{12}=\frac{1365}{4}, a contradiction.

A set with at most four elements has sum at most 12+13+14+15=54.12+13+14+15=54. There are only seven five-element subsets of {1,,15}\{1,\ldots,15\} whose sums are at least 62.62. Each fails, as witnessed by the following equal sums:

{8,12,13,14,15}:\{8,12,13,14,15\}: 13+14=12+15.13+14=12+15. {9,11,13,14,15}:\{9,11,13,14,15\}: 11+13=9+15.11+13=9+15. {9,12,13,14,15}:\{9,12,13,14,15\}: 13+14=12+15.13+14=12+15.

{10,11,12,14,15}:\{10,11,12,14,15\}: 11+14=10+15.11+14=10+15. {10,11,13,14,15}:\{10,11,13,14,15\}: 11+13=10+14.11+13=10+14.

{10,12,13,14,15}:\{10,12,13,14,15\}: 12+13=10+15.12+13=10+15. {11,12,13,14,15}:\{11,12,13,14,15\}: 12+13=11+14.12+13=11+14.

Thus the answer is at most 61.61.

The set {8,11,13,14,15}\{8,11,13,14,15\} attains 61.61. Its 3232 subset sums, in order, are 0,8,11,13,14,15,19,21,22,23,24,25,26,27,28,29,32,33,34,35,36,37,38,39,40,42,46,47,48,50,53,61, \begin{gathered} 0,8,11,13,14,15,19,21,\\ 22,23,24,25,26,27,28,29,\\ 32,33,34,35,36,37,38,39,\\ 40,42,46,47,48,50,53,61, \end{gathered} all distinct. Equal sums from arbitrary subsets would, after deleting their intersection, give equal sums from disjoint subsets, so this verifies the required property.

← Problema 11#11
Examen completo

El Problema 12 en otros años