28 подписчиков

YAFU@home — распределённые вычисления для математики. На CPU

YAFU@home — это BOINC-проект, который занимается факторизацией больших чисел и исследованием aliquot-последовательностей.

Звучит академически, но на практике это один из немногих проектов, где CPU-время действительно превращается в проверяемый научный результат.

Что именно делает проект.

1. Факторизация больших чисел

Проект считает разложение чисел на множители, иногда размером в десятки и сотни цифр.

Это не проверка «простое или нет», а полноценное разложение, которое может занимать недели и месяцы CPU-времени.

2. Aliquot-последовательности

Берётся число n.

Считается сумма его собственных делителей.

Процедура повторяется снова и снова, образуя цепочку.

Такие цепочки могут:

– быстро завершаться

– входить в цикл

– расти и требовать огромных вычислительных ресурсов

Когда цепочку удаётся довести до логического конца, это считается полноценным научным результатом.

Почему это вообще кому-то нужно.

1. Алгоритмы факторизации

YAFU используется для тестирования и улучшения реальных алгоритмов факторизации (ECM, NFS и др.).

Это те же алгоритмы, которые лежат в основе оценки криптостойкости и анализа больших чисел.

2. Закрытие «белых пятен» в теории чисел

Многие aliquot-последовательности десятилетиями оставались незавершёнными просто потому, что их никто не мог досчитать.

Распределённые вычисления позволяют закрывать такие случаи не теоретически, а вычислительно.

3. Проверяемость результатов

Это не локальные эксперименты.

Результаты валидируются, сохраняются и используются дальше другими исследователями.

Куда попадают результаты.

– BOINC

Каждая задача проходит проверку, статус «terminated» означает корректное завершение расчёта.

История сохраняется в системе.

– FactorDB

Все найденные множители и статус последовательностей публикуются в открытой базе данных.

Этой базой пользуются математики по всему миру.

Это не витрина, а рабочий инструмент.

Примеры:

Почему проект актуален сейчас.

– не все задачи ускоряются GPU

– большие числа плохо ложатся на массовый параллелизм

– многоядерные CPU идеально подходят под такие вычисления

YAFU@home — редкий случай, когда:

– старые серверы не простаивают зря

– многопоточность реально даёт эффект

– результат остаётся навсегда, а не пропадает после перезапуска

Проект:

Новости BOINC — boinc.ru/...ifr

1 минута

20 января