- самый маленький квадрат, превосходящий
.
не является полным квадратом. Но уже
.
Отсюда
.
Это фактически повторяет "факторизацию числа по Ферма" (в данном случае число - примориал).
Разумеется.
Цитата:
Метод Ферма позволяет в первую очередь находить натуральные множители числа, наименее отличающиеся друг от друга
Как раз то, что нам нужно.
Цитата:
(независимо от числа их простых множителей и наличия среди них простого 2).
Нет, двойка в нечетной степени мешает. Но эта беда легко исправляется.
Цитата:
По-видимому, лучшего способа решить поставленную задачу (независимо от величины примориала), чем этот, не найти.
Угу.
Осталось выяснить, почему
ИСН, давно нашел ответ. А я, своим "лучшим способом" час мурыжил комп и снял задачу.
(Зато программку писал одну минуту
)
Конечно, можно существенно усовершенствовать метод Ферма, используя систему попарно взаимно простых модулей, дабы не пытаться миллиард раз проверять, является ли число квадратом. Но от самого миллиарда итераций все равно не уйти.
Так что, лучшим с практической точки зрения является комбинированный метод с отсечением бесперспективных ветвей и т.д.