WikiDer > Алгоритм Тонелли – Шанкса

В Тонелли-Шанкс алгоритм (называемый Шанксом алгоритмом RESSOL) используется в модульная арифметика решить для р в конгруэнтности формы р² ≡ п (мод п), куда п это основной: то есть найти квадратный корень из п по модулю п.

Тонелли – Шанкс нельзя использовать для составных модулей: поиск квадратных корней по модулю составных чисел является вычислительной проблемой, эквивалентной целочисленная факторизация.^[1]

Эквивалентная, но немного более избыточная версия этого алгоритма была разработанаАльберто Тонелли^[2][3]в 1891 году. Обсуждаемая здесь версия была разработана независимо Дэниел Шэнкс в 1973 году, который объяснил:

Мое опоздание с изучением этих исторических ссылок было вызвано тем, что я одолжил первый том Диксона История другу, и его так и не вернули.^[4]

По словам Диксона,^[3] Алгоритм Тонелли может извлекать квадратные корни из Икс по модулю простых степеней п^λ кроме простых чисел.

Основные идеи

Учитывая ненулевое значение ${displaystyle n}$ и нечетное простое число ${displaystyle p}$, Критерий Эйлера говорит нам, что ${displaystyle n}$ имеет квадратный корень (т. е. ${displaystyle n}$ это квадратичный вычет) если и только если:

${displaystyle n ^ {frac {p-1} {2}} Equiv 1 {pmod {p}}}$.

Напротив, если число ${displaystyle z}$ не имеет квадратного корня (не является вычетом), критерий Эйлера говорит нам, что:

${displaystyle z ^ {гидроразрыв {p-1} {2}} эквивалент -1 {pmod {p}}}$.

Найти такие ${displaystyle z}$, потому что половина целых чисел от 1 до ${displaystyle p-1}$ есть это свойство. Итак, мы предполагаем, что у нас есть доступ к такому невычету.

Делясь (обычно) на 2 несколько раз, мы можем написать ${displaystyle p-1}$ в качестве ${displaystyle Q2 ^ {S}}$, куда ${displaystyle Q}$ странно. Обратите внимание, что если мы попробуем

${displaystyle Requiv n ^ {frac {Q + 1} {2}} {pmod {p}}}$,

тогда ${Displaystyle R ^ {2} эквивалент n ^ {Q + 1} = (n) (n ^ {Q}) {pmod {p}}}$. Если ${displaystyle tequiv n ^ {Q} Equiv 1 {pmod {p}}}$, тогда ${displaystyle R}$ квадратный корень из ${displaystyle n}$. В противном случае для ${displaystyle M = S}$, у нас есть ${displaystyle R}$ и ${displaystyle t}$ удовлетворение:

• ${displaystyle R ^ {2} эквивалент {pmod {p}}}$; и
• ${displaystyle t}$ это ${displaystyle 2 ^ {M-1}}$-й корень из 1 (потому что ${displaystyle t ^ {2 ^ {M-1}} = t ^ {2 ^ {S-1}} эквивалент n ^ {Q2 ^ {S-1}} = n ^ {гидроразрыв {p-1} {2} }}$).

Если при выборе ${displaystyle R}$ и ${displaystyle t}$ для конкретного ${displaystyle M}$ удовлетворяющий вышеуказанному (где ${displaystyle R}$ не является квадратным корнем из ${displaystyle n}$), легко вычислить другой ${displaystyle R}$ и ${displaystyle t}$ за ${displaystyle M-1}$ так, чтобы выполнялись указанные выше соотношения, то мы можем повторять это, пока ${displaystyle t}$ становится ${displaystyle 2 ^ {0}}$корень -й степени из 1, т.е. ${displaystyle t = 1}$. В таком случае ${displaystyle R}$ квадратный корень из ${displaystyle n}$.

Мы можем проверить, есть ли ${displaystyle t}$ это ${displaystyle 2 ^ {M-2}}$-Корень 1-й степени из 1, возведя его в квадрат ${displaystyle M-2}$ раз и проверяем, равно ли 1. Если да, то ничего делать не надо, тот же выбор ${displaystyle R}$ и ${displaystyle t}$ работает. Но если это не так, ${displaystyle t ^ {2 ^ {M-2}}}$ должно быть -1 (потому что возведение в квадрат дает 1, и может быть только два квадратных корня 1 и -1 из 1 по модулю ${displaystyle p}$).

Чтобы найти новую пару ${displaystyle R}$ и ${displaystyle t}$, мы можем умножить ${displaystyle R}$ фактором ${displaystyle b}$, быть определенным. потом ${displaystyle t}$ необходимо умножить на коэффициент ${displaystyle b ^ {2}}$ хранить ${displaystyle R ^ {2} эквивалент {pmod {p}}}$. Итак, нам нужно найти фактор ${displaystyle b ^ {2}}$ так что ${displaystyle tb ^ {2}}$ это ${displaystyle 2 ^ {M-2}}$корень -й степени из 1 или эквивалентно ${displaystyle b ^ {2}}$ это ${displaystyle 2 ^ {M-2}}$корень -й степени из -1.

Хитрость здесь в том, чтобы использовать ${displaystyle z}$, известный без остатка. Критерий Эйлера, примененный к ${displaystyle z}$ показанный выше говорит, что ${displaystyle z ^ {Q}}$ это ${displaystyle 2 ^ {S-1}}$корень -й степени из -1. Итак, возведя в квадрат ${displaystyle z ^ {Q}}$ неоднократно у нас есть доступ к последовательности ${displaystyle 2 ^ {i}}$корень -й степени из -1. Мы можем выбрать подходящий, чтобы служить ${displaystyle b}$. Приведенный ниже алгоритм возникает естественным образом с небольшим обслуживанием переменных и упрощенным сжатием регистров.

Алгоритм

Операции и сравнения на элементах мультипликативная группа целых чисел по модулю p ${displaystyle mathbb {Z} / pmathbb {Z}}$ неявно модифицируются п.

Входы:

• п, прайм
• п, элемент ${displaystyle mathbb {Z} / pmathbb {Z}}$ такие, что решения сравнения р² = п существовать; когда это так, мы говорим, что п это квадратичный вычет мод п.

Выходы:

• р в ${displaystyle mathbb {Z} / pmathbb {Z}}$ такой, что р² = п

Алгоритм:

1. Вынося за скобки степени двойки, найдите Q и S такой, что ${displaystyle p-1 = Q2 ^ {S}}$ с Q странный
2. Искать z в ${displaystyle mathbb {Z} / pmathbb {Z}}$ который является квадратичным невычетом
   • Половина элементов в наборе будут квадратичными невычетами.
   • Кандидаты могут быть протестированы с Критерий Эйлера или найдя Символ Якоби
3. Позволять

   ${displaystyle {egin {выравнивается} M & стрелка влево S c & стрелка влево z ^ {Q} t & стрелка влево n ^ {Q} R & стрелка влево n ^ {frac {Q + 1} {2}} конец {выровнено}}}$

4. Петля:
   • Если т = 0, возврат р = 0
   • Если т = 1, возврат р = р
   • В противном случае используйте повторное возведение в квадрат, чтобы найти наименьшее я, 0 < я < M, так что ${displaystyle t ^ {2 ^ {i}} = 1}$
   • Позволять ${displaystyle bleftarrow c ^ {2 ^ {M-i-1}}}$, и установите

     ${displaystyle {egin {align} M & leftarrow i c & leftarrow b ^ {2} t & leftarrow tb ^ {2} R & leftarrow Rbend {align}}}$

После того, как вы решите сравнение с р второе решение ${displaystyle -r {pmod {p}}}$. Если хотя бы я такой, что ${displaystyle t ^ {2 ^ {i}} = 1}$ является M, то решения сравнения не существует, т.е. п не является квадратичным вычетом.

Это наиболее полезно, когда п ≡ 1 (мод.4).

Для таких простых чисел, что п ≡ 3 (mod 4), эта проблема имеет возможные решения ${displaystyle r = pm n ^ {гидроразрыв {p + 1} {4}} {pmod {p}}}$. Если они удовлетворяют ${displaystyle r ^ {2} Equiv n {pmod {p}}}$, это единственные решения. Если не, ${displaystyle r ^ {2} Equiv -n {pmod {p}}}$, п является квадратичным невычетом и решений не существует.

Доказательство

Мы можем показать, что в начале каждой итерации цикла следующие инварианты цикла держать:

• ${displaystyle c ^ {2 ^ {M-1}} = - 1}$
• ${displaystyle t ^ {2 ^ {M-1}} = 1}$
• ${displaystyle R ^ {2} = tn}$

Первоначально:

• ${displaystyle c ^ {2 ^ {M-1}} = z ^ {Q2 ^ {S-1}} = z ^ {frac {p-1} {2}} = - 1}$ (поскольку z является квадратичным невычетом по критерию Эйлера)
• ${displaystyle t ^ {2 ^ {M-1}} = n ^ {Q2 ^ {S-1}} = n ^ {гидроразрыв {p-1} {2}} = 1}$ (поскольку п квадратичный вычет)
• ${displaystyle R ^ {2} = n ^ {Q + 1} = tn}$

На каждой итерации с M ' , c ' , т ' , Р' новые значения заменяют M, c, т, р:

• ${displaystyle c '^ {2 ^ {M'-1}} = (b ^ {2}) ^ {2 ^ {i-1}} = c ^ {2 ^ {Mi} 2 ^ {i-1}} = c ^ {2 ^ {M-1}} = - 1}$
• ${displaystyle t '^ {2 ^ {M'-1}} = (tb ^ {2}) ^ {2 ^ {i-1}} = t ^ {2 ^ {i-1}} b ^ {2 ^ {i}} = - 1cdot -1 = 1}$
  • ${displaystyle t ^ {2 ^ {i-1}} = - 1}$ поскольку у нас есть это ${displaystyle t ^ {2 ^ {i}} = 1}$ но ${displaystyle t ^ {2 ^ {i-1}} уравнение 1}$ (я наименьшее значение такое, что ${displaystyle t ^ {2 ^ {i}} = 1}$)
  • ${displaystyle b ^ {2 ^ {i}} = c ^ {2 ^ {M-i-1} 2 ^ {i}} = c ^ {2 ^ {M-1}} = - 1}$
• ${displaystyle R '^ {2} = R ^ {2} b ^ {2} = tnb ^ {2} = t'n}$

Из ${displaystyle t ^ {2 ^ {M-1}} = 1}$ и тест против т = 1 в начале цикла, мы видим, что всегда найдем я в 0 < я < M такой, что ${displaystyle t ^ {2 ^ {i}} = 1}$. M строго меньше на каждой итерации, и поэтому алгоритм гарантированно останавливается. Когда мы попадаем в условие т = 1 и halt, из последнего инварианта цикла следует, что р² = п.

Порядок т

Мы можем альтернативно выразить инварианты цикла, используя порядок элементов:

• ${displaystyle operatorname {ord} (c) = 2 ^ {M}}$
• ${displaystyle operatorname {ord} (t) | 2 ^ {M-1}}$
• ${displaystyle R ^ {2} = tn}$ как прежде

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

Пример

Решение сравнения р² ≡ 5 (мод 41). 41 является простым числом, как требуется, и 41 ≡ 1 (mod 4). 5 - квадратичный вычет по критерию Эйлера: ${displaystyle 5 ^ {frac {41-1} {2}} = 5 ^ {20} = 1}$ (как и раньше, операции в ${displaystyle (mathbb {Z} / 41mathbb {Z}) ^ {imes}}$ неявно являются mod 41).

1. ${displaystyle p-1 = 40 = 5cdot 2 ^ {3}}$ так ${displaystyle Qleftarrow 5}$, ${displaystyle Sleftarrow 3}$
2. Найдите значение для z:
   • ${displaystyle 2 ^ {гидроразрыв {41-1} {2}} = 1}$, поэтому 2 - квадратичный вычет по критерию Эйлера.
   • ${displaystyle 3 ^ {frac {41-1} {2}} = 40 = -1}$, поэтому 3 - квадратичный невычет: set ${displaystyle zleftarrow 3}$
3. Набор
   • ${displaystyle Mleftarrow S = 3}$
   • ${displaystyle cleftarrow z ^ {Q} = 3 ^ {5} = 38}$
   • ${displaystyle tleftarrow n ^ {Q} = 5 ^ {5} = 9}$
   • ${displaystyle Rleftarrow n ^ {frac {Q + 1} {2}} = 5 ^ {frac {5 + 1} {2}} = 2}$
4. Петля:
   • Первая итерация:
     • ${displaystyle teq 1}$, так что мы еще не закончили
     • ${displaystyle t ^ {2 ^ {1}} = 40}$, ${displaystyle t ^ {2 ^ {2}} = 1}$ так ${displaystyle ileftarrow 2}$
     • ${displaystyle bleftarrow c ^ {2 ^ {M-i-1}} = 38 ^ {2 ^ {3-2-1}} = 38}$
     • ${displaystyle Mleftarrow i = 2}$
     • ${displaystyle cleftarrow b ^ {2} = 38 ^ {2} = 9}$
     • ${displaystyle tleftarrow tb ^ {2} = 9cdot 9 = 40}$
     • ${displaystyle Rleftarrow Rb = 2cdot 38 = 35}$
   • Вторая итерация:
     • ${displaystyle teq 1}$, так что мы еще не закончили
     • ${displaystyle t ^ {2 ^ {1}} = 1}$ так ${displaystyle ileftarrow 1}$
     • ${displaystyle bleftarrow c ^ {2 ^ {M-i-1}} = 9 ^ {2 ^ {2-1-1}} = 9}$
     • ${displaystyle Mleftarrow i = 1}$
     • ${displaystyle cleftarrow b ^ {2} = 9 ^ {2} = 40}$
     • ${displaystyle tleftarrow tb ^ {2} = 40cdot 40 = 1}$
     • ${displaystyle Rleftarrow Rb = 35cdot 9 = 28}$
   • Третья итерация:
     • ${displaystyle t = 1}$, и мы закончили; возвращаться ${displaystyle r = R = 28}$

Действительно, 28² ≡ 5 (мод 41) и (−28)² ≡ 13² ≡ 5 (мод 41). Таким образом, алгоритм дает два решения нашего сравнения.

Скорость алгоритма

Алгоритм Тонелли – Шанкса требует (в среднем по всем возможным входным данным (квадратичным вычетам и квадратичным невычетам))

${displaystyle 2m + 2k + {frac {S (S-1)} {4}} + {frac {1} {2 ^ {S-1}}} - 9}$

модульные умножения, где ${displaystyle m}$ количество цифр в двоичном представлении ${displaystyle p}$ и ${displaystyle k}$ - количество единиц в двоичном представлении ${displaystyle p}$. Если искомый квадратичный невычет ${displaystyle z}$ можно найти, проверив, является ли случайно выбранный номер ${displaystyle y}$ является квадратичным невычетом, требует (в среднем) ${displaystyle 2}$ вычисления символа Лежандра.^[5] Среднее значение двух вычислений символа Лежандра объясняется следующим образом: ${displaystyle y}$ квадратичный вычет со случайностью ${displaystyle {frac {frac {p + 1} {2}} {p}} = {frac {1+ {frac {1} {p}}} {2}}}$, что меньше, чем ${displaystyle 1}$ но ${displaystyle geq {frac {1} {2}}}$, поэтому в среднем нам нужно будет проверить, ${displaystyle y}$ является двукратным квадратичным вычетом.

По сути, это показывает, что алгоритм Тонелли – Шанкса работает очень хорошо, если модуль ${displaystyle p}$ является случайным, то есть если ${displaystyle S}$ не особенно велика по отношению к количеству цифр в двоичном представлении ${displaystyle p}$. Как написано выше, Алгоритм Чиполлы работает лучше, чем Тонелли – Шанкс, если (и только если) ${displaystyle S (S-1)> 8 мес. + 20}$Однако, если вместо этого использовать алгоритм Сазерленда для вычисления дискретного логарифма в 2-силовской подгруппе ${displaystyle mathbb {F} _ {p}}$, можно заменить ${displaystyle S (S-1)}$ с выражением, которое асимптотически ограничено ${displaystyle O (Slog S / log log S)}$.^[6] Явно вычисляется ${displaystyle e}$ такой, что ${displaystyle c ^ {e} эквивалент n ^ {Q}}$ а потом ${displaystyle Requiv c ^ {- e / 2} n ^ {(Q + 1) / 2}}$ удовлетворяет ${displaystyle R ^ {2} экв.}$ (Обратите внимание, что ${displaystyle e}$ делится на 2, потому что ${displaystyle n}$ является квадратичным вычетом).

Алгоритм требует от нас найти квадратичный невычет ${displaystyle z}$. Не существует известного детерминированного алгоритма, который работал бы за полиномиальное время для поиска такого ${displaystyle z}$. Однако если обобщенная гипотеза Римана верно, существует квадратичный невычет ${displaystyle z <2ln ^ {2} {p}}$,^[7] позволяя проверить каждый ${displaystyle z}$ до этого предела и найти подходящий ${displaystyle z}$ в полиномиальное время. Однако имейте в виду, что это наихудший сценарий; в целом, ${displaystyle z}$ обнаруживается в среднем в 2 испытаниях, как указано выше.

Использует

Алгоритм Тонелли – Шанкса может (естественно) использоваться для любого процесса, в котором необходимы квадратные корни по модулю простого числа. Например, его можно использовать для поиска точек на эллиптические кривые. Это также полезно для вычислений в Криптосистема Рабина.

Обобщения

Тонелли – Шанкса можно обобщить на любую циклическую группу (вместо ${displaystyle (mathbb {Z} / pmathbb {Z}) ^ {imes}}$) и к kкорни th для произвольного целого числа k, в частности, принимая kй корень элемента конечное поле.^[8]

Если в одной и той же циклической группе должно быть получено много квадратных корней, а S не слишком велик, таблица квадратных корней из элементов 2-го порядка может быть подготовлена ​​заранее, а алгоритм упростится и ускорится следующим образом.

1. Выносим за скобки степени 2 из п - 1, определяющий Q и S в качестве: ${displaystyle p-1 = Q2 ^ {S}}$ с Q странный.
2. Позволять ${displaystyle Rleftarrow n ^ {frac {Q + 1} {2}}, tleftarrow n ^ {Q} Equiv R ^ {2} / n}$
3. Находить ${displaystyle b}$ из таблицы так, что ${displaystyle b ^ {2} экв.}$ и установить ${displaystyle Requiv R / b}$
4. возвращаться р.

Алгоритм Тонелли будет работать по модулю p ^ k

Согласно «Теории чисел» Диксона^[3]

А. Тонелли^[9] дал явную формулу для корней ${displaystyle x ^ {2} = c ({mod {p ^ {lambda}}})}$^[3]

В справочнике Диксона приведена следующая формула квадратного корня из ${displaystyle x ^ {2} {mod {p ^ {lambda}}}}$.

когда ${displaystyle p = 4 * 7 + 1}$, или же ${displaystyle s = 2}$(s должно быть 2 для этого уравнения) и ${displaystyle A = 7}$ такой, что ${displaystyle 29 = 2 ^ {2} * 7 + 1}$

за ${displaystyle x ^ {2} {mod {p ^ {lambda}}} Equiv c}$ тогда

${displaystyle x {mod {p ^ {lambda}}} эквивалент pm (c ^ {A} +3) ^ {eta} * c ^ {(eta +1) / 2}}$ куда ${displaystyle eta Equiv a * p ^ {lambda -1}}$

Отмечая, что ${displaystyle 23 ^ {2} {mod {29 ^ {3}}} экв 529}$ и отмечая, что ${displaystyle eta = 7 * 29 ^ {2}}$ тогда

${displaystyle (529 ^ {7} +3) ^ {7 * 29 ^ {2}} * 529 ^ {(7 * 29 ^ {2} +1) / 2} {mod {29 ^ {3}}} эквивалент 24366equiv -23}$

Другой пример: ${displaystyle 2333 ^ {2} {mod {29 ^ {3}}} эквивалент 4142}$ и

${displaystyle (4142 ^ {7} +3) ^ {7 * 29 ^ {2}} * 4142 ^ {(7 * 29 ^ {2} +1) / 2} {mod {29 ^ {3}}} эквивалент 2333}$

Диксон также приписывает Тонелли следующее уравнение:

${displaystyle X {mod {p ^ {lambda}}} Equiv x ^ {p ^ {lambda -1}} * c ^ {(p ^ {lambda} -2p ^ {lambda -1} +1) / 2}}$ куда ${displaystyle X ^ {2} {mod {p ^ {lambda}}} Equiv c}$ и ${displaystyle x ^ {2} {mod {p}} Equiv c}$;

С помощью ${displaystyle p = 23}$ и используя модуль ${displaystyle p ^ {3}}$ математика следующая:

${displaystyle 1115 ^ {2} {mod {23 ^ {3}}} = 2191}$

Сначала найдите модульный модуль квадратного корня ${displaystyle p}$ что можно сделать с помощью обычного алгоритма Тонелли:

${displaystyle 1115 ^ {2} {mod {23}} экв 6}$ и поэтому ${displaystyle {sqrt {6}} {mod {23}} Equiv 11}$

И применив уравнение Тонелли (см. Выше):

${displaystyle 11 ^ {23 ^ {2}} * 2191 ^ {(23 ^ {3} -2 * 23 ^ {2} +1) / 2} {mod {23 ^ {3}}} экв 1115}$

Ссылка Диксона^[3] ясно показывает, что алгоритм Тонелли работает по модулям ${displaystyle p ^ {lambda}}$.

Примечания

Рекомендации

• Иван Нивен; Герберт С. Цукерман; Хью Л. Монтгомери (1991). Введение в теорию чисел (5-е изд.). Вайли. стр.110–115. ISBN 0-471-62546-9.
• Дэниел Шэнкс. Теоретико-пятизначные алгоритмы. Труды Второй конференции Манитобы по вычислительной математике. Стр. 51–70. 1973 г.
• Альберто Тонелли, Bemerkung über die Auflösung quadratischer Congruenzen. Nachrichten von der Königlichen Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen. Стр. 344–346. 1891 г. [1]
• Гаган Тара Нанда - Математика 115: Алгоритм RESSOL [2]
• Гонсало Торнария [3]