Цитата:
Извиняюсь, что возвращаюсь...стало интересно. Если не ошибся, то будет верно для 56
различных натуральных чисел, не больше 1000. Через попарные разности. В массиве M(1 то 999) записываем сколько раз встречается соответствующая разность. Т.е значение
-сколько раз встречается разность
. Всего пар 1540 - это будет и сумма всех элементов массива. Если существует
все ясно. Если все
, то будут по крайней мере 541 двойки. И если все они сформированы только из трех элементов исходного множества, то эти элементы должны образовать арифметическую прогрессию:
Но тогда существует индекс
, а разность такой прогрессии не может быть болше 500.
Извините, что возвращаюсь, но и это явно не оптимальный результат. И метод неоптимален. Для оптимума надо брать не все попарные разности, а только несколько "близких". Для примера докажу, что все верно и при 52 не более чем трехзначных числах
. Рассмотрим разности
при
. Всего их набралось 51+50+49+48+47=245. Если хотя бы одна разность встретилась трижды, то всё ясно. Если каждая не более двух раз, то сумма рассмотренных разностей не меньше, чем
. Но эта сумма равна
, то есть заведомо меньше, чем
, откуда
.
Противоречие.
Это тоже, скорее всего, не лучший результат, я просто метод хотел показать... (Когда-то эту задачу Эрдёш решал, кажется, так что моей заслуги в этом методе никакой нет.)