Расширенный алгоритм Евклида - Википедия - Extended Euclidean algorithm

В арифметика и компьютерное программирование, то расширенный алгоритм Евклида является расширением Евклидов алгоритм, и вычисляет, помимо наибольший общий делитель (gcd) целых чисел а и б, а также коэффициенты при Личность Безу, которые являются целыми числами Икс и у такой, что

${ displaystyle ax + by = gcd (a, b).}$

Это алгоритм сертификации, потому что НОД - единственное число, которое может одновременно удовлетворять этому уравнению и делить входные данные. Это позволяет также вычислить, почти без дополнительных затрат, частные а и б по их наибольшему общему делителю.

Расширенный алгоритм Евклида также относится к очень похожий алгоритм для вычисления полиномиальный наибольший общий делитель и коэффициенты тождества Безу двух одномерные многочлены.

Расширенный алгоритм Евклида особенно полезен, когда а и б находятся совмещать. С этим положением, Икс это модульный мультипликативный обратный из а по модулю б, и у является модульным мультипликативным обратным к б по модулю а. Точно так же полиномиальный расширенный алгоритм Евклида позволяет вычислить мультипликативный обратный в расширения алгебраических полей и, в частности, в конечные поля непростого порядка. Отсюда следует, что оба расширенных алгоритма Евклида широко используются в криптография. В частности, вычисление модульный мультипликативный обратный является важным шагом в получении пар ключей в ЮАР метод шифрования с открытым ключом.

Описание

Стандартный алгоритм Евклида использует последовательность Евклидовы деления чьи частные не используются. Только остатки хранятся. Для расширенного алгоритма используются последовательные частные. Точнее, стандартный алгоритм Евклида с а и б в качестве входных данных состоит из вычисления последовательности ${ displaystyle q_ {1}, ldots, q_ {k}}$ частных и последовательность ${ displaystyle r_ {0}, ldots, r_ {k + 1}}$ остатков такие, что

${ Displaystyle { begin {align} r_ {0} & = a r_ {1} & = b & , , , vdots r_ {i + 1} & = r_ {i- 1} -q_ {i} r_ {i} quad { text {and}} quad 0 leq r_ {i + 1} <| r_ {i} | quad { text {(это определяет}} q_ {i}) & , , , vdots end {align}}}$

Это главное свойство Евклидово деление что неравенства справа однозначно определяют ${ displaystyle q_ {i}}$ и ${ displaystyle r_ {я + 1}}$ из ${ displaystyle r_ {i-1}}$ и ${ displaystyle r_ {i}.}$

Вычисление останавливается, когда достигается остаток ${ displaystyle r_ {k + 1}}$ который равен нулю; наибольший общий делитель - это последний ненулевой остаток ${ displaystyle r_ {k}.}$

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

${ displaystyle { begin {align} r_ {0} & = a & r_ {1} & = b s_ {0} & = 1 & s_ {1} & = 0 t_ {0} & = 0 & t_ {1} & = 1 & , , , vdots && , , , vdots r_ {i + 1} & = r_ {i-1} -q_ {i} r_ {i} & { text {and}} 0 & leq r_ {i + 1} <| r_ {i} | & { text {(это определяет}} q_ {i} { text {)}} s_ {i + 1} & = s_ {i-1} -q_ {i} s_ {i} t_ {i + 1} & = t_ {i-1} -q_ {i} t_ {i} & , , , vdots end {выровнены}}}$

Вычисление также останавливается, когда ${ displaystyle r_ {k + 1} = 0}$ и дает

• ${ displaystyle r_ {k}}$ является наибольшим общим делителем входа ${ displaystyle a = r_ {0}}$ и ${ displaystyle b = r_ {1}.}$
• Коэффициенты Безу равны ${ displaystyle s_ {k}}$ и ${ displaystyle t_ {k},}$ то есть ${ displaystyle gcd (a, b) = r_ {k} = as_ {k} + bt_ {k}}$
• Частные а и б по их наибольшему общему делителю даются ${ displaystyle s_ {k + 1} = pm { frac {b} { gcd (a, b)}}}$ и ${ displaystyle t_ {k + 1} = pm { frac {a} { gcd (a, b)}}}$

Более того, если а и б оба положительные и ${ Displaystyle НОД (а, Ь) neq мин (а, Ь)}$, тогда

${ displaystyle | s_ {i} | leq left lfloor { frac {b} {2 gcd (a, b)}} right rfloor quad { text {and}} quad | t_ { i} | leq left lfloor { frac {a} {2 gcd (a, b)}} right rfloor}$

за ${ Displaystyle 0 Leq я Leq K,}$ куда ${ displaystyle lfloor x rfloor}$ обозначает неотъемлемая часть из Икс, то есть наибольшее целое число, не превышающее Икс.

Это означает, что пара коэффициентов Безу, предоставляемая расширенным алгоритмом Евклида, является минимальная пара коэффициентов Безу, как единственную пару, удовлетворяющую обоим вышеупомянутым неравенствам.

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

Пример

В следующей таблице показано, как расширенный алгоритм Евклида обрабатывает ввод. 240 и 46. Наибольший общий делитель - это последняя запись, отличная от нуля, 2 в графе «остаток». Вычисление останавливается на строке 6, потому что остаток в ней равен 0. Коэффициенты Безу появляются в последних двух записях предпоследней строки. На самом деле легко проверить, что −9 × 240 + 47 × 46 = 2. Наконец, последние две записи 23 и −120 последней строки - это с точностью до знака частные входного 46 и 240 на наибольший общий делитель 2.

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

В качестве ${ Displaystyle 0 Leq r_ {я + 1} <| r_ {я} |,}$ последовательность ${ displaystyle r_ {i}}$ убывающая последовательность неотрицательных целых чисел (от я = 2 на). Таким образом, он должен остановиться на некоторых ${ displaystyle r_ {k + 1} = 0.}$ Это доказывает, что алгоритм в конечном итоге останавливается.

В качестве ${ displaystyle r_ {i + 1} = r_ {i-1} -r_ {i} q_ {i},}$ наибольший общий делитель одинаков для ${ Displaystyle (г_ {я-1}, г_ {я})}$ и ${ displaystyle (r_ {i}, r_ {i + 1}).}$ Это показывает, что наибольший общий делитель входа ${ displaystyle a = r_ {0}, b = r_ {1}}$ такой же, как у ${ displaystyle r_ {k}, r_ {k + 1} = 0.}$ Это доказывает, что ${ displaystyle r_ {k}}$ является наибольшим общим делителем а и б. (До этого момента доказательство такое же, как у классического алгоритма Евклида.)

В качестве ${ displaystyle a = r_ {0}}$ и ${ displaystyle b = r_ {1},}$ у нас есть ${ displaystyle as_ {i} + bt_ {i} = r_ {i}}$ за я = 0 и 1. Соотношение следует по индукции для всех ${ displaystyle i> 1}$:

${ displaystyle r_ {i + 1} = r_ {i-1} -r_ {i} q_ {i} = (as_ {i-1} + bt_ {i-1}) - (as_ {i} + bt_ { i}) q_ {i} = (as_ {i-1} -as_ {i} q_ {i}) + (bt_ {i-1} -bt_ {i} q_ {i}) = as_ {i + 1} + bt_ {i + 1}.}$

Таким образом ${ displaystyle s_ {k}}$ и ${ displaystyle t_ {k}}$ - коэффициенты Безу.

Рассмотрим матрицу

${ displaystyle A_ {i} = { begin {pmatrix} s_ {i-1} & s_ {i} t_ {i-1} & t_ {i} end {pmatrix}}.}$

Рекуррентное соотношение можно переписать в матричном виде

${ displaystyle A_ {i + 1} = A_ {i} cdot { begin {pmatrix} 0 & 1 1 & -q_ {i} end {pmatrix}}.}$

Матрица ${ displaystyle A_ {1}}$ - единичная матрица, и ее определитель равен единице. Определитель самой правой матрицы в предыдущей формуле равен −1. Отсюда следует, что определитель ${ displaystyle A_ {i}}$ является ${ displaystyle (-1) ^ {i-1}.}$ В частности, для ${ Displaystyle я = к + 1,}$ у нас есть ${ displaystyle s_ {k} t_ {k + 1} -t_ {k} s_ {k + 1} = (- 1) ^ {k}.}$ Если рассматривать это как личность Безу, это показывает, что ${ displaystyle s_ {k + 1}}$ и ${ displaystyle t_ {k + 1}}$ находятся совмещать. Соотношение ${ displaystyle as_ {k + 1} + bt_ {k + 1} = 0}$ что было доказано выше и Лемма евклида показывает, что ${ displaystyle s_ {k + 1}}$ разделяет б и ${ displaystyle t_ {k + 1}}$ разделяет а. Поскольку они взаимно просты, они до своего знака являются частными от б и а по их наибольшему общему делителю.

Для доказательства последнего утверждения предположим, что а и б оба положительные и ${ Displaystyle НОД (а, Ь) neq мин (а, Ь)}$. Потом, ${ displaystyle a neq b}$, и если ${ displaystyle a$, видно, что s и т последовательности для (а,б) в соответствии с EEA, с точностью до начальных нулей и единиц, т и s последовательности для (б,а). Затем определения показывают, что (а,б) случай сводится к (б,а) дело. Итак, предположим, что ${ displaystyle a> b}$ не теряя общий смысл.

Видно, что ${ displaystyle s_ {2}}$ равно 1 и ${ displaystyle s_ {3}}$ (который существует ${ Displaystyle НОД (а, Ь) neq мин (а, Ь)}$) - отрицательное целое число. После этого ${ displaystyle s_ {i}}$ чередуются по знаку и строго возрастают по величине, что индуктивно следует из определений и того факта, что ${ displaystyle q_ {i} geq 1}$ за ${ Displaystyle 1 Leq я Leq к}$, дело ${ displaystyle i = 1}$ держится, потому что ${ displaystyle a> b}$. То же верно и для ${ displaystyle t_ {i}}$ после первых нескольких сроков по той же причине. Кроме того, легко видеть, что ${ displaystyle q_ {k} geq 2}$ (когда а и б оба положительные и ${ Displaystyle НОД (а, Ь) neq мин (а, Ь)}$). Таким образом,

${ displaystyle | s_ {k + 1} | = left | { frac {b} { gcd (a, b)}} right | geq 2 | s_ {k} | qquad { text {и }} qquad | t_ {k + 1} | = left | { frac {a} { gcd (a, b)}} right | geq 2 | t_ {k} |.}$

Это в сочетании с тем, что ${ displaystyle s_ {k}, t_ {k}}$ по абсолютной величине больше или равны предыдущим ${ displaystyle s_ {i}}$ или же ${ displaystyle t_ {i}}$ соответственно завершили доказательство.

Полиномиальный расширенный алгоритм Евклида

За одномерные многочлены с коэффициентами в поле, все работает аналогично, евклидово деление, тождество Безу и расширенный алгоритм Евклида. Первое отличие состоит в том, что в евклидовом делении и алгоритме выполняется неравенство ${ Displaystyle 0 Leq r_ {я + 1} <| r_ {я} |}$ необходимо заменить неравенством о степенях ${ displaystyle deg r_ {i + 1} < deg r_ {i}.}$ В противном случае все, что предшествует этой статье, останется прежним, просто заменив целые числа полиномами.

Второе отличие заключается в ограничении размера коэффициентов Безу, обеспечиваемом расширенным алгоритмом Евклида, который более точен в полиномиальном случае, что приводит к следующей теореме.

Если a и b - два ненулевых многочлена, то расширенный алгоритм Евклида дает уникальную пару многочленов (s, т) такой, что

${ displaystyle as + bt = gcd (a, b)}$

и

${ Displaystyle deg s < deg b- deg ( gcd (a, b)), quad deg t < deg a- deg ( gcd (a, b)).}$

Третье отличие состоит в том, что в полиномиальном случае наибольший общий делитель определяется только с точностью до умножения на ненулевую константу. Существует несколько способов однозначного определения наибольшего общего делителя.

В математике принято требовать, чтобы наибольший общий делитель был монический многочлен. Чтобы получить это, достаточно разделить каждый элемент вывода на ведущий коэффициент из ${ displaystyle r_ {k}.}$ Это позволяет, если а и б взаимно просты, в правой части неравенства Безу получается 1. В противном случае можно получить любую ненулевую константу. В компьютерная алгебра, полиномы обычно имеют целые коэффициенты, и этот способ нормализации наибольшего общего делителя вводит слишком много дробей, чтобы быть удобным.

Второй способ нормализовать наибольший общий делитель в случае многочленов с целыми коэффициентами - разделить каждый вывод на содержание из ${ displaystyle r_ {k},}$ чтобы получить примитивный наибольший общий делитель. Если входные полиномы взаимно просты, эта нормализация также обеспечивает наибольший общий делитель, равный 1. Недостаток этого подхода состоит в том, что во время вычислений необходимо вычислять и упрощать множество дробей.

Третий подход заключается в расширении алгоритма подрезультатные последовательности псевдоостаточных остатков способом, аналогичным расширению алгоритма Евклида до расширенного алгоритма Евклида. Это позволяет, начиная с полиномов с целыми коэффициентами, все вычисляемые многочлены имеют целые коэффициенты. Более того, каждый вычисленный остаток ${ displaystyle r_ {i}}$ это подрезультант полином. В частности, если входные многочлены взаимно просты, то тождество Безу становится

${ displaystyle as + bt = operatorname {Res} (a, b),}$

куда ${ displaystyle operatorname {Res} (a, b)}$ обозначает результирующий из а и б. В этой форме тождества Безу в формуле нет знаменателя. Если все разделить на результирующее, получится классическая идентичность Безу с явным общим знаменателем для рациональных чисел, которые в нем появляются.

Псевдокод

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

Для простоты следующий алгоритм (и другие алгоритмы в этой статье) используют параллельные задания. В языке программирования, который не имеет этой функции, параллельные присвоения необходимо моделировать с помощью вспомогательной переменной. Например, первый,

(old_r, r): = (r, old_r - частное * r)

эквивалентно

prov: = r; r: = old_r - частное × prov; old_r: = prov;

и аналогично для других параллельных назначений. Это приводит к следующему коду:

функция Extended_gcd (a, b) (old_r, r): = (a, b) (old_s, s): = (1, 0) (old_t, t): = (0, 1) пока г ≠ 0 делать        частное: = old_r div r (old_r, r): = (r, old_r - частное × r) (old_s, s): = (s, old_s - частное × s) (old_t, t): = (t, old_t - частное × t) выход «Коэффициенты Безу:», (old_s, old_t) выход "наибольший общий делитель:", old_r выход "частные по НОД:", (t, s)

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

Наконец, обратите внимание, что в личности Безу ${ displaystyle ax + by = gcd (a, b)}$, можно решить для ${ displaystyle y}$ данный ${ displaystyle a, b, x, gcd (a, b)}$. Таким образом, оптимизация вышеуказанного алгоритма заключается в вычислении только ${ displaystyle s_ {k}}$ последовательность (которая дает коэффициент Безу ${ displaystyle x}$), а затем вычислить ${ displaystyle y}$ в конце:

функция extended_gcd (a, b) s: = 0; old_s: = 1 r: = b; old_r: = a пока г ≠ 0 делать        частное: = old_r div r (old_r, r): = (r, old_r - частное × r) (old_s, s): = (s, old_s - частное × s) если b ≠ 0 тогда        bezout_t: = частное (old_r - old_s × a, b) еще        bezout_t: = 0 выход «Коэффициенты Безу:», (old_s, bezout_t) выход "наибольший общий делитель:", old_r

Однако во многих случаях это не совсем оптимизация: в то время как первый алгоритм не подвержен переполнению при использовании с машинными целыми числами (то есть целыми числами с фиксированной верхней границей цифр), умножение old_s * а в расчете bezout_t может переполняться, ограничивая эту оптимизацию входными данными, которые могут быть представлены в менее чем половине максимального размера. При использовании целых чисел неограниченного размера время, необходимое для умножения и деления, увеличивается квадратично с размером целых чисел. Это означает, что «оптимизация» заменяет последовательность умножений / делений малых целых чисел на единичное умножение / деление, что требует больше вычислительного времени, чем операции, которые она заменяет вместе взятые.

Упрощение дробей

Фракция а/б находится в канонической упрощенной форме, если а и б находятся совмещать и б положительный. Эту каноническую упрощенную форму можно получить, заменив три выходные строки предыдущего псевдокода на

если s = 0 затем вывод "Деление на ноль"если s < 0 тогда s := −s;  т := −т   (для избежания отрицательных знаменателей)если s = 1 затем вывод -т        (чтобы избежать знаменателей, равных 1)выход -т/s

Доказательство этого алгоритма основано на том, что s и т два взаимно простых целых числа такие, что в качестве + bt = 0, и поэтому ${ displaystyle { frac {a} {b}} = - { frac {t} {s}}}$. Чтобы получить каноническую упрощенную форму, достаточно переместить знак минус, чтобы знаменатель был положительным.

Если б разделяет а равномерно алгоритм выполняет только одну итерацию, и мы имеем s = 1 в конце алгоритма. Это единственный случай, когда результат является целым числом.

Вычисление мультипликативных инверсий в модульных структурах

Расширенный алгоритм Евклида - важный инструмент для вычисления мультипликативные обратные в модульных конструкциях обычно модульные целые числа и расширения алгебраических полей. Ярким примером последнего случая являются конечные поля непростого порядка.

Модульные целые числа

Если п - натуральное число, кольцо Z/пZ можно отождествить с набором {0, 1, ..., п-1} из остатков Евклидово деление к п, сложение и умножение, заключающиеся в взятии остатка на п результата сложения и умножения целых чисел. Элемент а из Z/пZ имеет мультипликативный обратный (то есть единица измерения ) если это совмещать к п. В частности, если п является основной, а имеет мультипликативный обратный, если он не равен нулю (по модулю п). Таким образом Z/пZ является полем тогда и только тогда, когда п простое.

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

${ displaystyle ns + at = 1}$

Уменьшение этой идентичности по модулю п дает

${ Displaystyle в эквив 1 mod n.}$

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

Чтобы адаптировать расширенный алгоритм Евклида к этой проблеме, следует отметить, что коэффициент Безу п не требуется, и, следовательно, в вычислении не требуется. Также для получения положительного результата ниже п, можно использовать тот факт, что целое число т предоставленный алгоритмом удовлетворяет |т| < п. То есть, если т < 0, нужно добавить п к нему в конце. В результате получается псевдокод, в котором ввод п целое число больше 1.

 функция обратный (a, n) t: = 0; тритон: = 1 r: = n; новее: = а пока новинка ≠ 0 делать        частное: = r div newr (t, newt): = (newt, t - частное × newr) (r, newr): = (newr, r - частное × newr) если г> 1 тогда        возвращаться "а не обратимо" если т <0 тогда        т: = т + п возвращаться т

Простые алгебраические расширения поля

Расширенный алгоритм Евклида также является основным инструментом для вычисления мультипликативные обратные в простые алгебраические расширения поля. Важный случай, широко используемый в криптография и теория кодирования, это из конечные поля непростого порядка. Фактически, если п простое число и q = п^d, поле заказа q является простым алгебраическим расширением основное поле из п элементы, порожденные корнем неприводимый многочлен степени d.

Простое алгебраическое расширение L поля K, порожденный корнем неприводимого многочлена п степени d можно отнести к кольцо частного ${ Displaystyle К [X] / langle p rangle,}$, а его элементы находятся в биективное соответствие с многочленами степени меньше d. Добавление в L является сложением многочленов. Умножение в L это остаток от Евклидово деление к п произведения многочленов. Таким образом, чтобы завершить арифметику в L, осталось только определить, как вычислять мультипликативные обратные. Это делается с помощью расширенного алгоритма Евклида.

Алгоритм очень похож на приведенный выше для вычисления модульного мультипликативного обратного. Есть два основных отличия: во-первых, предпоследняя строка не нужна, потому что коэффициент Безу, который предоставляется, всегда имеет степень меньше, чем d. Во-вторых, наибольший общий делитель, который предоставляется, когда входные многочлены взаимно просты, может быть любыми ненулевыми элементами K; этот коэффициент Безу (полином обычно положительной степени) должен быть умножен на обратный элемент K. В следующем псевдокоде п - многочлен степени больше единицы, и а является многочленом. Более того, div - вспомогательная функция, которая вычисляет частное евклидова деления.

функция inverse (a, p) t: = 0; тритон: = 1 r: = p; новее: = а пока новинка ≠ 0 делать        частное: = r div newr (r, newr): = (newr, r - частное × newr) (t, newt): = (newt, t - частное × newt) если степень (г)> 0 тогда         возвращаться «Либо p не является неприводимым, либо a кратно p» возвращаться (1 / г) × т

Пример

Например, если многочлен, используемый для определения конечного поля GF (2⁸) является п = Икс⁸ + Икс⁴ + Икс³ + Икс + 1, и а = Икс⁶ + Икс⁴ + Икс + 1 - это элемент, для которого требуется инверсия, тогда выполнение алгоритма приводит к вычислению, описанному в следующей таблице. Напомним, что в полях порядка 2^п, надо -z = z и z + z = 0 для каждого элемента z в поле). Поскольку 1 - единственный ненулевой элемент GF (2), корректировка в последней строке псевдокода не требуется.

Таким образом, обратное Икс⁷ + Икс⁶ + Икс³ + Икс, что подтверждается умножение двух элементов вместе, а остаток на п результата.

Случай более двух чисел

Можно обрабатывать случай более двух чисел итеративно. Сначала покажем, что ${ displaystyle gcd (a, b, c) = gcd ( gcd (a, b), c)}$. Чтобы доказать это, позвольте ${ displaystyle d = gcd (a, b, c)}$. По определению gcd ${ displaystyle d}$ является делителем ${ displaystyle a}$ и ${ displaystyle b}$. Таким образом ${ displaystyle gcd (a, b) = kd}$ для некоторых ${ displaystyle k}$. по аналогии ${ displaystyle d}$ является делителем ${ displaystyle c}$ так ${ displaystyle c = jd}$ для некоторых ${ displaystyle j}$. Позволять ${ Displaystyle и = НОД (к, j)}$. По нашему построению ${ displaystyle u}$, ${ displaystyle ud | a, b, c}$ но с тех пор ${ displaystyle d}$ является наибольшим делителем ${ displaystyle u}$ это единица измерения. И с тех пор ${ Displaystyle ud = gcd ( gcd (a, b), c)}$ результат доказан.

Так что если ${ displaystyle na + mb = gcd (a, b)}$ тогда есть ${ displaystyle x}$ и ${ displaystyle y}$ такой, что ${ Displaystyle х gcd (a, b) + yc = gcd (a, b, c)}$ так что окончательное уравнение будет

${ Displaystyle х (Na + mb) + yc = (xn) a + (xm) b + yc = gcd (a, b, c). ,}$

Итак, чтобы обратиться к п числа используем индукцию

${ displaystyle gcd (a_ {1}, a_ {2}, dots, a_ {n}) = gcd (a_ {1}, , gcd (a_ {2}, , gcd (a_ { 3}, dots, gcd (a_ {n-1} ,, a_ {n}))), dots),}$

с уравнениями, следующими непосредственно.

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

• Евклидова область
• Теорема о линейном сравнении
• Kuṭṭaka

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

• Кнут, Дональд. Искусство программирования. Эддисон-Уэсли. Том 2, Глава 4.
• Томас Х. Кормен, Чарльз Э. Лейзерсон, Рональд Л. Ривест, и Клиффорд Штайн. Введение в алгоритмы, Второе издание. MIT Press и McGraw-Hill, 2001. ISBN  0-262-03293-7. Страницы 859–861 раздела 31.2: Наибольший общий делитель.

внешняя ссылка

• Источник формы алгоритма, используемого для определения мультипликативного обратного в GF (2 ^ 8)