Факториза́цией натурального числа называется его разложение в произведение простых множителей. Существование и единственность (с точностью до порядка следования множителей) такого разложения следует из основной теоремы арифметики.

В отличие от задачи распознавания простоты числа, факторизация предположительно является вычислительно сложной задачей.

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

В зависимости от сложности алгоритмы факторизации можно разбить на две группы. Первая группа — экспоненциальные алгоритмы, сложность которых экспоненциально зависит от длины входящих параметров (то есть от длины самого числа в бинарном представлении). Вторая группа — субэкспоненциальные алгоритмы, для обозначения сложности которых принята L-нотация:

где N — число подлежащее факторизации, и c — некоторые константы.

Вопрос о существовании алгоритма факторизации с полиномиальной сложностью на классическом компьютере является одной из важных открытых проблем современной теории чисел. В то же время факторизация с полиномиальной сложностью возможна на квантовом компьютере с помощью алгоритма Шора (класс BQP).

Экспоненциальные алгоритмы

• Перебор возможных делителей — наиболее тривиальный алгоритм факторизации с вычислительной сложностью .
• Метод факторизации Ферма
• ρ-алгоритм Полларда имеет сложность ;
• p-1 алгоритм Полларда;
• p+1 алгоритм Вильямса;
• метод квадратичных форм Шенкса имеет сложность ;
• метод Лемана имеет сложность

Субэкспоненциальные алгоритмы

• алгоритм Диксона имеет сложность ;
• метод непрерывных дробей (CFRAC) имеет сложность ;
• метод квадратичного решета имеет сложность ;
• метод эллиптических кривых имеет сложность , где — наименьшее простое, которое делит .

Решето числового поля

В настоящее время самыми эффективными алгоритмами факторизации являются вариации решета числового поля:

• Специальный метод решета числового поля со сложностью (метод применим для факторизации чисел только специального вида);
• Общий метод решета числового поля со сложностью (метод применим ко всем числам).

Применение в криптографии

Предполагаемая большая вычислительная сложность задачи факторизации лежит в основе криптостойкости некоторых алгоритмов шифрования с открытым ключом, таких как RSA.

Ссылки

• Варновский Н. П. Проблема P =? NP, классы сложностей и криптография, 2005.
• Д. Кнут Раздел 4.5.4. Разложение на простые множители // Искусство программирования = The Art of Computer Programming. — 3-е изд. — М.: Вильямс, 2007. — Т. 2. Получисленные алгоритмы. — С. 425—468. — 832 с. — ISBN 0-201-89684-2
• Ю. И. Манин, А. А. Панчишкин. I.2.3. Разложение больших чисел на множители // Введение в теорию чисел. — М.: ВИНИТИ, 1990. — Т. 49. — С. 72—106. — 341 с. — (Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления».).
• Ю. В. Нестеренко. Глава 4.7. Как раскладывают составные числа на множители // Введение в криптографию / Под ред. В. В. Ященко. — Питер, 2001. — 288 с. — ISBN 5-318-00443-1