Возвращаясь к детерминированности ECM (гарантирует ли отсутствие делителя в заданном диапазоне). В одной из статей
(на неё и вики ссылается) обнаружил фразу (внизу стр.98) :
Цитата:
Возвращаемое значение FAIL в алгоритме означает, что метод эллиптических кривых является вероятностным, и попытка нахождения нетривиального делителя по вышеописанному алгоритму не всегда даёт положительный результат.
Получается информация в разных источниках разнится.
Допускаю, что не информация разнится, а реализация.
Т. е. классической считается быстрая реализация (кривые выбираются случайно), но с возможным пропуском делителя.
А в Alpertron'е реализован другой подход, когда используется полный список кривых, гарантирующих отделение делителей, не превышающих определенной границы.
В пользу этой версии говорит не только возможность запустить копию Alpertron'а с указанного номера кривой, но и еще один факт.
Всякий раз, когда оставшийся составной множитель был не очень огромен (скажем до 80 знаков), Alpertron успешно находил его и ни разу не попал в оставшиеся 37%.