WikiDer > Общее числовое поле сито

В теория чисел, то общее числовое поле сито (GNFS) наиболее эффективный классический алгоритм известен факторинг целых чисел больше, чем 10¹⁰⁰. Эвристически, его сложность для факторизации целого числа п (состоящий из ⌊журнал₂ п⌋ + 1 бит) имеет вид

${ displaystyle exp left ( left ({ sqrt [{3}] { frac {64} {9}}} + o (1) right) ( ln n) ^ { frac {1}) {3}} ( ln ln n) ^ { frac {2} {3}} right) = L_ {n} left [{ frac {1} {3}}, { sqrt [{3 }] { frac {64} {9}}} right]}$

(в L-обозначение), где пер это натуральный логарифм.^[1] Это обобщение сито со специальным номером: в то время как последний может множить только числа определенной специальной формы, сито общего числового поля может множить любое число, кроме основные силы (которые легко разложить на множители).

Принцип сита числового поля (как специального, так и общего) можно понимать как усовершенствование более простого рациональное сито или квадратное сито. При использовании таких алгоритмов множитель большого числа п, нужно искать гладкие числа (т.е. числа с малыми простыми множителями) порядка п^1/2. Размер этих значений экспоненциально равен размеру п (см. ниже). Сито общего числового поля, с другой стороны, позволяет искать гладкие числа, которые являются субэкспоненциальными по размеру п. Поскольку эти числа меньше, они с большей вероятностью будут гладкими, чем числа, проверенные в предыдущих алгоритмах. Это ключ к эффективности сита числового поля. Для достижения этого ускорения решето числового поля должно выполнять вычисления и факторизации в числовые поля. Это приводит ко многим довольно сложным аспектам алгоритма по сравнению с более простым рациональным решетом.

Размер входа в алгоритм журнал₂ п или количество битов в двоичном представлении п. Любой элемент заказа п^c для постоянного c экспоненциально в журналп. Время работы сита числового поля суперполиномиально, но субэкспоненциально зависит от размера входных данных.

Числовые поля

Предположим ж это k-степени полином по Q (рациональные числа) и р сложный корень ж. Потом, ж(р) = 0, который можно изменить, чтобы выразить р^k как линейная комбинация степеней р меньше, чем k. Это уравнение можно использовать для уменьшения любых степеней р с показателем е ≥ k. Например, если ж(Икс) = Икс² + 1 и р это мнимая единица я, тогда я² + 1 = 0, или я² = −1. Это позволяет нам определить сложный продукт:

${ displaystyle (a + bi) (c + di) = ac + (ad + bc) i + (bd) i ^ {2} = (ac-bd) + (ad + bc) i.}$

В общем, это приводит непосредственно к поле алгебраических чисел Q[р], который можно определить как набор комплексных чисел:

${ displaystyle a_ {k-1} r ^ {k-1} + ... + a_ {1} r ^ {1} + a_ {0} r ^ {0}, { text {where}} a_ { 0}, ..., a_ {k-1} { text {in}} mathbf {Q}.}$

Произведение любых двух таких значений можно вычислить, взяв произведение как многочлены, а затем уменьшив любые степени р с показателем е ≥ k как описано выше, давая значение в той же форме. Чтобы убедиться, что это поле действительно k-мерный и не коллапсирует до еще меньшего поля, достаточно, чтобы ж является неприводимый многочлен над рациональностью. Аналогичным образом можно определить кольцо целых чисел О_Q[р] как подмножество Q[р] которые являются корнями монические полиномы с целыми коэффициентами. В некоторых случаях это кольцо целых чисел эквивалентно кольцу Z[р]. Однако есть много исключений, например, для Q[√d] когда d равен 1 по модулю 4.^[2]

Метод

Два многочлены ж(Икс) и г(Икс) малых градусы d и е выбраны, которые имеют целые коэффициенты, которые несводимый над рациональные, и при интерпретации мод п, имеют общее целое число корень м. Оптимальная стратегия выбора этих многочленов не известна; один простой способ - выбрать степень d для полинома рассмотрим разложение п в база м (разрешая цифры от -м и м) для ряда различных м порядка п^1/d, и выберите ж(Икс) как многочлен с наименьшими коэффициентами и г(Икс) так как Икс − м.

Рассмотрим кольца числового поля Z[р₁] и Z[р₂], где р₁ и р₂ являются корнями многочленов ж и г. поскольку ж имеет степень d с целыми коэффициентами, если а и б целые числа, то так будет б^d·ж(а/б), которую мы называем р. Так же, s = б^е·г(а/б) является целым числом. Цель состоит в том, чтобы найти целые значения а и б которые одновременно делают р и s гладкий; плавный относительно выбранного базиса простых чисел. Если а и б маленькие, то р и s тоже будет маленьким, размером с м, и у нас больше шансов, что они будут плавными одновременно. Самый известный в настоящее время подход к этому поиску - решетчатое просеивание; Для получения приемлемых урожаев необходимо использовать большую факторную базу.

Имея достаточно таких пар, используя Гауссово исключение, можно получить продукты определенных р и соответствующих s одновременно быть квадратами. Требуется немного более сильное условие - что они нормы квадратов в наших числовых полях, но это условие может быть достигнуто и этим методом. Каждый р это норма а − р₁б и, следовательно, произведение соответствующих множителей а − р₁б квадрат в Z[р₁] с «квадратным корнем», который может быть определен (как произведение известных факторов в Z[р₁]) - обычно он будет представлен как иррациональный алгебраическое число. Аналогичным образом произведение факторов а − р₂б квадрат в Z[р₂] с «квадратным корнем», который также можно вычислить. Следует отметить, что использование исключения Гаусса не дает оптимального времени работы алгоритма. Вместо этого используются алгоритмы решения разреженных матриц, такие как Блок Ланцоша или Блок Видеманн используются.

поскольку м является корнем обоих ж и г мод п, есть гомоморфизмы из колец Z[р₁] и Z[р₂] на ринг Z/ пZ (целые числа мод п), которая отображает р₁ и р₂ к м, и эти гомоморфизмы будут отображать каждый «квадратный корень» (обычно не представленный как рациональное число) в его целочисленное представительство. Теперь продукт факторов а − мб мод п может быть получен в виде квадрата двумя способами - по одному для каждого гомоморфизма. Таким образом, можно найти два числа Икс и у, с участием Икс² − у² делится на п и снова с вероятностью не менее половины мы получим коэффициент п найдя наибольший общий делитель из п и Икс − у.

Улучшение выбора полинома

Выбор полинома может существенно повлиять на время выполнения оставшейся части алгоритма. Метод выбора многочленов, основанный на разложении п в базе м показанное выше является неоптимальным во многих практических ситуациях, что приводит к разработке лучших методов.

Один из таких методов был предложен Мерфи и Брентом;^[3] они вводят двухчастную оценку для полиномов, основанную на наличии корней по модулю малых простых чисел и на среднем значении, которое полином занимает площадь просеивания.

Лучшие зарегистрированные результаты^[4] были достигнуты методом Торстен Кляйнджунг,^[5] который позволяет г(Икс) = топор + б, и поиск по а состоит из малых простых множителей, сравнимых с 1 по модулю 2d и по старшим коэффициентам ж которые делятся на 60.

Реализации

Некоторые реализации ориентированы на определенный меньший класс чисел. Они известны как сито со специальным номером методы, такие как используемые в Каннингем проект. Проект под названием NFSNET работал с 2002 года.^[6] по крайней мере до 2007 года. Он использовал добровольные распределенные вычисления на Интернет.^[7]Пол Лейланд из объединенное Королевство и Ричард Вакербарт из Техаса.^[8]

До 2007 года реализация золотого стандарта представляла собой набор программного обеспечения, разработанного и распространяемого компанией CWI в Нидерландах, который был доступен только по относительно ограниченной лицензии.^{[нужна цитата]} В 2007, Джейсон Пападопулос разработали более быструю реализацию окончательной обработки как часть msieve, которая является общественным достоянием. Обе реализации имеют возможность распределяться между несколькими узлами в кластере с достаточно быстрым межсоединением.

Полиномиальный выбор обычно выполняется GPL программное обеспечение, написанное Kleinjung или msieve, и программное обеспечение решетчатого просеивания по GPL, написанное Franke и Kleinjung; они распространяются в GGNFS.

• NFS @ Home
• GGNFS
• pGNFS
• фактор по gnfs
• CADO-NFS
• решето (который содержит код окончательной обработки, полиномиальный выбор, оптимизированный для меньших чисел, и реализацию линейного сита)
• кмГНФС

Смотрите также

• Специальное числовое сито

Заметки

использованная литература