Алгоритм Полига — Хеллмана

Алгоритм Полига — Хеллмана (также называемый алгоритм Сильвера — Полига — Хеллмана) — детерминированный алгоритм дискретного логарифмирования в кольце вычетов по модулю простого числа. Одной из особенностей алгоритма является то, что для простых чисел специального вида можно находить дискретный логарифм за полиномиальное время.

ИсторияПравить

Данный алгоритм был придуман американским математиком Роландом Сильвером (англ. Roland Silver), но впервые был опубликован другими двумя американскими математиками Стивеном Полигом (англ. Stephen Pohlig) и Мартином Хеллманом в 1978 году в статье «An improved algorithm for computing logarithms over GF(p) and its cryptographic significance», которые независимо от Роланда Сильвера разработали данный алгоритм.

Исходные данныеПравить

Пусть задано сравнение

$a^x\equiv <!--\; \equiv \; -->b(\mathrm{mod}p),$$a^{x}\equiv b{\pmod {p}},$

(1)

и известно разложение числа $p-<!--\; -\; -->1$$p-1$  на простые множители:

$p-<!--\; -\; -->1=\underset{i=1}{\overset{k}{\prod <!--\; \prod \; -->}}{q}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}.$$p-1=\prod\limits_{i=1}^{k}q_i^{\alpha_i}.$

(2)

Необходимо найти число $x,\;0\leq x < p-1$ , удовлетворяющее сравнению (1).

Идея алгоритмаПравить

Суть алгоритма в том, что достаточно найти $x$$x$  по модулям $q_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}$$q_i^{\alpha_i}$  для всех $i$$i$ , а затем решение исходного сравнения можно найти с помощью китайской теоремы об остатках.
Чтобы найти $x$$x$  по каждому из таких модулей, нужно решить сравнение:

$(a^x{)}^{(p-<!--\; -\; -->1)/q_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}}\equiv <!--\; \equiv \; -->b^{(p-<!--\; -\; -->1)/q_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}}(\mathrm{mod}p)$$(a^x)^{(p-1)/{q_i^{\alpha_i}}} \equiv b^{(p-1)/{q_i^{\alpha_i}}} \pmod{p}$ .

Описание алгоритмаПравить

Упрощённый вариантПравить

Лучшим путём, чтобы разобраться с данным алгоритмом, будет рассмотрение особого случая, в котором $p=2^n+1$$p = 2^n + 1$ .

Нам даны $a$$a$ , $p$$p$  и $b$$b$ , при этом $a$$a$  есть примитивный элемент $GF(p)$$GF(p)$  и нужно найти такое $x$$x$ , чтобы удовлетворялось $a^x\equiv <!--\; \equiv \; -->b(\mathrm{mod}p)$$a^x\equiv b\pmod{p}$ .

Принимается, что $0\le <!--\; \le \; -->x\le <!--\; \le \; -->p-<!--\; -\; -->2$$0\leq x \leq p-2$ , так как $x=p-<!--\; -\; -->1$$x=p-1$  неотличимо от $x=0$$x=0$ , потому что в нашем случае примитивный элемент $a$$a$  по определению имеет степень $p-<!--\; -\; -->1$$p-1$ , следовательно:

$a^{p-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->1\equiv <!--\; \equiv \; -->a^0(\mathrm{mod}p)$$a^{p-1}\equiv 1\equiv a^{0}\pmod{p}$ .

Когда $p=2^n+1$$p = 2^n + 1$ , легко определить $x$$x$  двоичным разложением c коэффициентами $\{q_0,q_1,\dots <!--\; \dots \; -->,q_{n-<!--\; -\; -->1}\}$$\{q_0, q_1,\dots, q_{n-1}\}$ , например:

$x=\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{q}_i{2}^i=q_0+q_1{2}^1+\cdots <!--\; \cdots \; -->+q_{n-<!--\; -\; -->1}{2}^{n-<!--\; -\; -->1}$$x = \sum\limits_{i = 0}^{n-1}q_i2^i=q_{0} + q_{1}2^1 + \cdots + q_{n-1}2^{n-1}$ 

Самый младший бит $q_0$$q_{0}$  определяется путём возведения $b$$b$  в степень $(p-<!--\; -\; -->1)/2=2^{n-<!--\; -\; -->1}$$(p-1)/2 = 2^{n-1}$  и применением правила

$b^{(p-1)/2}\pmod{p}\equiv \begin{cases}+1, & q_0 = 0\\ -1, & q_0 = 1. \end{cases}$ 

Вывод верхнего правила

Рассмотрим ранее полученное сравнение:

$a^{p-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->1(\mathrm{mod}p)\Rightarrow <!--\; \Rightarrow \; -->a^{(p-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->\pm <!--\; \pm \; -->1(\mathrm{mod}p)$$a^{p-1}\equiv 1\pmod{p}\Rightarrow a^{(p-1)/2}\equiv\pm 1\pmod{p}$ ,

но $a$$a$  в степени $(p-1)/2 < p - 1$  по определению принимает значение, отличное от $1$$1$ , поэтому остаётся только одно сравнение:

$a^{(p-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}p)$$a^{(p-1)/2}\equiv -1\pmod{p}$ .

Возведём сравнение (1) в степень $(p-<!--\; -\; -->1)/2$$(p-1)/2$  и подставим выше полученное сравнение:

$b^{(p-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->(a^x{)}^{(p-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->(a^{(p-<!--\; -\; -->1)/2}{)}^x\equiv <!--\; \equiv \; -->(-<!--\; -\; -->1{)}^x(\mathrm{mod}p)$$b^{(p-1)/2}\equiv (a^x)^{(p-1)/2}\equiv(a^{(p-1)/2})^x\equiv(-1)^x\pmod{p}$ 

Равенство $(-<!--\; -\; -->1{)}^x=1$$(-1)^x=1$  верно, если $x$$x$  чётное, то есть в разложении в виде многочлена свободный член $q_0$$q_{0}$  равен $0$$0$ , следовательно $(-<!--\; -\; -->1{)}^x=-<!--\; -\; -->1$$(-1)^x = -1$  верно, когда $q_0=1$$q_0 = 1$ .

Теперь преобразуем известное разложение и введём новую переменную $z_1$$z_{1}$ :

$b\equiv <!--\; \equiv \; -->a^x\equiv <!--\; \equiv \; -->a^{x_1+q_0}(\mathrm{mod}p)\Rightarrow <!--\; \Rightarrow \; -->z_1\equiv <!--\; \equiv \; -->b{a}^{-<!--\; -\; -->q_0}\equiv <!--\; \equiv \; -->a^{x_1}(\mathrm{mod}p)$$b\equiv a^x\equiv a^{x_1 + q_0}\pmod{p}\Rightarrow z_1\equiv ba^{-q_0}\equiv a^{x_1}\pmod{p}$ ,

где

$x_1=\underset{i=1}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{q}_i{2}^i=q_1{2}^1+q_2{2}^2+\cdots <!--\; \cdots \; -->+q_{n-<!--\; -\; -->1}{2}^{n-<!--\; -\; -->1}$$x_1 = \sum\limits_{i = 1}^{n-1}q_i2^i=q_{1}2^1 + q_{2}2^2 + \cdots + q_{n-1}2^{n-1}$ 

Понятно, что $x_1$$x_{1}$  делится на $4$$4$  при $q_1=0$$q_1=0$ , а при $q_1=1$$q_1=1$  делится на $2$$2$ , а на $4$$4$  уже нет.

Рассуждая как раньше, получим сравнение:

$z_1^{(p-1)/4}\pmod{p}\equiv \begin{cases}+1, & q_1 = 0\\ -1, & q_1 = 1, \end{cases}$ 

из которого находим $q_1$$q_{1}$ .

Оставшиеся биты получаются похожим способом. Напишем общее решение нахождения $q_i$$q_{i}$  с новыми обозначениями:

$m_i=(p-<!--\; -\; -->1)/2^{i+1}$$m_i=(p-1)/2^{i+1}$ 

$z_i\equiv <!--\; \equiv \; -->b\cdot <!--\; \cdot \; -->a^{-<!--\; -\; -->q_0-<!--\; -\; -->q_1{2}^1-<!--\; -\; -->\cdots <!--\; \cdots \; -->-<!--\; -\; -->q_{i-<!--\; -\; -->1}{2}^{i-<!--\; -\; -->1}}\equiv <!--\; \equiv \; -->a^{x_i}(\mathrm{mod}p)$$z_i\equiv b\cdot a^{-q_0 - q_{1}2^1 - \dots - q_{i-1}2^{i-1}}\equiv a^{x_i}\pmod{p}$ ,

где

$x_i=\underset{k=i}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{q}_k{2}^k$$x_i = \sum\limits_{k = i}^{n-1}q_k2^k$ .

Таким образом, возведение $z_i$$z_{i}$  в степень $m_i$$m_i$  даёт:

$z_i^{m_i}\equiv <!--\; \equiv \; -->a^{(x_i\cdot <!--\; \cdot \; -->m_i)}\equiv <!--\; \equiv \; -->{\left(a^{(p-<!--\; -\; -->1)/2}\right)}^{(x_i/2^i)}\equiv <!--\; \equiv \; -->(-<!--\; -\; -->1{)}^{x_i/2^i}\equiv <!--\; \equiv \; -->(-<!--\; -\; -->1{)}^{q_i}(\mathrm{mod}p)$$z_i^{m_i} \equiv a^{(x_{i}\cdot m_i)}\equiv\left(a^{(p-1)/2}\right)^{(x_i/2^i)}\equiv (-1)^{x_i/2^i}\equiv(-1)^{q_i}\pmod{p}$ .

Следовательно:

$z_i^{m_i}\pmod{p}\equiv \begin{cases}+1, & q_i = 0\\ -1, & q_i = 1, \end{cases}$ 

из которого находим $q_i$$q_{i}$ .

Найдя все биты, получаем требуемое решение $x$$x$ .

ПримерПравить

Дано:

$a=3,b=11,p=17=2^4+1$$a = 3,\;b = 11,\;p = 17 = 2^4 + 1$ 

Найти:

$x$$x$ 

Решение:
Получаем $p-<!--\; -\; -->1=2^4$$p-1 = 2 ^ 4$ . Следовательно $x$$x$  имеет вид:

$x=q_0+q_1{2}^1+q_2{2}^2+q_3{2}^3$$x = q_0 + q_{1}2^1 + q_{2}2^2 + q_{3}2^3$ 

Находим $q_0$$q_{0}$ :

$b^{(p-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->{11}^{(17-<!--\; -\; -->1)/2}\equiv <!--\; \equiv \; -->{11}^8\equiv <!--\; \equiv \; -->(-<!--\; -\; -->6{)}^8\equiv <!--\; \equiv \; -->(36{)}^4\equiv <!--\; \equiv \; -->2^4\equiv <!--\; \equiv \; -->16\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}17)\Rightarrow <!--\; \Rightarrow \; -->q_0=1$$b^{(p-1)/2} \equiv 11 ^ {(17 - 1)/2} \equiv 11 ^ {8} \equiv (-6) ^ 8 \equiv (36) ^ 4 \equiv 2 ^ 4 \equiv 16 \equiv -1 \pmod{17} \Rightarrow q_0 = 1$ 

Подсчитываем $z_1$$z_{1}$  и $m_1$$m_1$ :

$z_1\equiv <!--\; \equiv \; -->b\cdot <!--\; \cdot \; -->a^{-<!--\; -\; -->q_0}\equiv <!--\; \equiv \; -->11\cdot <!--\; \cdot \; -->3^{-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->11\cdot <!--\; \cdot \; -->6\equiv <!--\; \equiv \; -->66\equiv <!--\; \equiv \; -->-<!--\; -\; -->2(\mathrm{mod}17)$$z_1 \equiv b\cdot a^{-q_0} \equiv 11\cdot 3 ^{-1} \equiv 11 \cdot 6 \equiv 66 \equiv -2 \pmod{17}$ 

$m_1=(p-<!--\; -\; -->1)/2^{1+1}=(17-<!--\; -\; -->1)/2^2=4$$m_1 = (p-1)/2^{1+1}= (17 - 1)/2^2 = 4$ 

Находим $q_1$$q_{1}$ :

$z_1^{m_1}\equiv <!--\; \equiv \; -->(-<!--\; -\; -->2{)}^4\equiv <!--\; \equiv \; -->16\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}17)\Rightarrow <!--\; \Rightarrow \; -->q_1=1$$z_1^{m_1} \equiv (-2)^4 \equiv 16 \equiv -1 \pmod{17} \Rightarrow q_1 = 1$ 

Подсчитываем $z_2$$z_{2}$  и $m_2$$m_2$ :

$z_2\equiv <!--\; \equiv \; -->z_1\cdot <!--\; \cdot \; -->a^{-<!--\; -\; -->q_1{2}^1}\equiv <!--\; \equiv \; -->(-<!--\; -\; -->2)\cdot <!--\; \cdot \; -->3^{-<!--\; -\; -->2}\equiv <!--\; \equiv \; -->(-<!--\; -\; -->2)\cdot <!--\; \cdot \; -->6^2\equiv <!--\; \equiv \; -->(-<!--\; -\; -->2)\cdot <!--\; \cdot \; -->36\equiv <!--\; \equiv \; -->(-<!--\; -\; -->2)\cdot <!--\; \cdot \; -->2\equiv <!--\; \equiv \; -->-<!--\; -\; -->4\equiv <!--\; \equiv \; -->13(\mathrm{mod}17)$$z_2 \equiv z_1 \cdot a^{-q_{1}2^1} \equiv (-2) \cdot 3^{-2} \equiv (-2) \cdot 6^2 \equiv (-2) \cdot 36 \equiv (-2) \cdot 2 \equiv -4 \equiv 13 \pmod{17}$ 

$m_2=(p-<!--\; -\; -->1)/2^{2+1}=(17-<!--\; -\; -->1)/2^3=2$$m_2 = (p-1)/2^{2+1}= (17 - 1)/2^3 = 2$ 

Находим $q_2$$q_{2}$ :

$z_2^{m_2}\equiv <!--\; \equiv \; -->{13}^2\equiv <!--\; \equiv \; -->(-<!--\; -\; -->4{)}^2\equiv <!--\; \equiv \; -->16\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}17)\Rightarrow <!--\; \Rightarrow \; -->q_2=1$$z_2^{m_2} \equiv 13 ^ 2 \equiv (-4) ^ 2 \equiv 16 \equiv -1 \pmod{17} \Rightarrow q_2 = 1$ 

Подсчитываем $z_3$$z_{3}$  и $m_3$$m_3$ :

$z_3\equiv <!--\; \equiv \; -->z_2\cdot <!--\; \cdot \; -->a^{-<!--\; -\; -->q_2\cdot <!--\; \cdot \; -->2^2}\equiv <!--\; \equiv \; -->13\cdot <!--\; \cdot \; -->3^{-<!--\; -\; -->4}\equiv <!--\; \equiv \; -->13\cdot <!--\; \cdot \; -->9^{-<!--\; -\; -->2}\equiv <!--\; \equiv \; -->13\cdot <!--\; \cdot \; -->2^2\equiv <!--\; \equiv \; -->(-<!--\; -\; -->4)\cdot <!--\; \cdot \; -->4\equiv <!--\; \equiv \; -->-<!--\; -\; -->16\equiv <!--\; \equiv \; -->1(\mathrm{mod}17)$$z_3 \equiv z_2 \cdot a^{-q_{2}\cdot2^2} \equiv 13 \cdot 3^{-4} \equiv 13 \cdot 9^{-2} \equiv 13 \cdot 2^2 \equiv (-4) \cdot 4 \equiv -16 \equiv 1 \pmod{17}$ 

$m_3=(p-<!--\; -\; -->1)/2^{3+1}=(17-<!--\; -\; -->1)/2^4=1$$m_3 = (p-1)/2^{3+1}= (17 - 1)/2^4 = 1$ 

Находим $q_3$$q_{3}$ :

$z_3^{m_3}\equiv <!--\; \equiv \; -->1^1\equiv <!--\; \equiv \; -->1(\mathrm{mod}17)\Rightarrow <!--\; \Rightarrow \; -->q_3=0$$z_3^{m_3} \equiv 1 ^ 1 \equiv 1 \pmod{17} \Rightarrow q_3 = 0$ 

Находим искомый $x$$x$ :

$x=1+1\cdot <!--\; \cdot \; -->2^1+1\cdot <!--\; \cdot \; -->2^2+0\cdot <!--\; \cdot \; -->2^3\equiv <!--\; \equiv \; -->7$$x = 1 + 1\cdot 2^1 + 1 \cdot 2^2 + 0 \cdot 2^3 \equiv 7$ 

Ответ: $x=7$$x=7$ 

Основное описаниеПравить

Шаг 1 (составление таблицы).
Составить таблицу значений $\{r_{i,j}\}$$\{r_{i,j}\}$ , где
 $r_{i,j}=a^{j\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}},i\in <!--\; \in \; -->\{1,\dots <!--\; \dots \; -->,k\},j\in <!--\; \in \; -->\{0,\dots <!--\; \dots \; -->,q_i-<!--\; -\; -->1\}.$$r_{i,j}=a^{j\cdot\frac{p-1}{q_i}}, i\in\{1,\dots,k\}, j\in\{0,\dots,q_i-1\}.$ 

Шаг 2 (вычисление ${\log }_a<!--\; \; -->bmod{q}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}$$\log_a{b}\;\bmod{q_i^{\alpha_i}}$ ). 
Для i от 1 до k:
 Пусть
  $x\equiv <!--\; \equiv \; -->{\log }_a<!--\; \; -->b\equiv <!--\; \equiv \; -->x_0+x_1{q}_i+...+x_{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->1}{q}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->1}(\mathrm{mod}{q}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}),$$x\equiv\log_a{b}\equiv x_0+x_1q_i+...+x_{\alpha_{i}-1}q_i^{\alpha_{i}-1}\pmod{q_i^{\alpha_i}},$ 
 где
  $0\le <!--\; \le \; -->x_i\le <!--\; \le \; -->q_i-<!--\; -\; -->1$$0\leq x_i\leq q_i-1$ .
 Тогда верно сравнение:
  $a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x_0\cdot\frac{p-1}{q_i}} \equiv b^{\frac{p-1}{q_i}} \pmod{p}$ 

Вывод верхнего сравнения

Возведём левую и правую части сравнения (1) в степень $(p-<!--\; -\; -->1)/q_i$$(p-1)/q_i$ :

$a^{x\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x\cdot \frac{p-1}{q_i}} \equiv b ^ {\frac{p-1}{q_i}} \pmod{p}$ 

Подставим $x$$x$  и преобразуем сравнение:

$a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}+x_1\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)+x_2\cdot <!--\; \cdot \; -->q_i\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)+\cdots <!--\; \cdots \; -->+x_{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->1}\cdot <!--\; \cdot \; -->q_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->2}\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x_0 \cdot \frac{p-1}{q_i} + x_1\cdot(p-1) + x_2\cdot q_i \cdot(p-1) + \dots + x_{\alpha_i - 1} \cdot q_i^{\alpha_i - 2} \cdot (p-1)} \equiv b ^ {\frac{p-1}{q_i}} \pmod{p}$ 

$a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\cdot <!--\; \cdot \; -->a^{x_1\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)}\cdot <!--\; \cdot \; -->a^{x_2\cdot <!--\; \cdot \; -->q_i\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)}\cdot <!--\; \cdot \; -->\cdots <!--\; \cdots \; -->\cdot <!--\; \cdot \; -->a^{x_{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->1}\cdot <!--\; \cdot \; -->q_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->2}\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x_0 \cdot \frac{p-1}{q_i}}\cdot a^{x_1\cdot(p-1)} \cdot a^{x_2\cdot q_i \cdot(p-1)} \cdot \dots \cdot a^{x_{\alpha_i - 1} \cdot q_i^{\alpha_i - 2} \cdot (p-1)} \equiv b ^ {\frac{p-1}{q_i}} \pmod{p}$ 

Т.к. $a$$a$  - примитивный элемент, следовательно верны сравнения вида:

$a^{m\cdot <!--\; \cdot \; -->(p-<!--\; -\; -->1)}\equiv <!--\; \equiv \; -->1(\mathrm{mod}p),\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->\{0,1,\dots <!--\; \dots \; -->,p-<!--\; -\; -->1\}$$a^{m \cdot (p-1)} \equiv 1 \pmod{p},\;\forall m \in \{0,1, \dots, p-1\}$ 

Получаем

$a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\cdot <!--\; \cdot \; -->1\cdot <!--\; \cdot \; -->1\cdot <!--\; \cdot \; -->\cdots <!--\; \cdots \; -->\cdot <!--\; \cdot \; -->1\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x_0 \cdot \frac{p-1}{q_i}}\cdot 1 \cdot 1 \cdot \dots \cdot 1 \equiv b ^ {\frac{p-1}{q_i}} \pmod{p}$ 

$a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_i}}(\mathrm{mod}p)$$a^{x_0\cdot\frac{p-1}{q_i}} \equiv b^{\frac{p-1}{q_i}} \pmod{p}$ 

 С помощью таблицы, составленной на шаге 1, находим $x_0.$$x_{0}.$ 
 Для j от 0 до ${\mathrm{\alpha <!--\; \alpha \; -->}}_i-<!--\; -\; -->1$$\alpha_{i}-1$  
  Рассматриваем сравнение
   $a^{x_j\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\equiv <!--\; \equiv \; -->(b{a}^{-<!--\; -\; -->x_0-<!--\; -\; -->x_1{q}_i...-<!--\; -\; -->x_{j-<!--\; -\; -->1}{q}_i^{j-<!--\; -\; -->1}}{)}^{\frac{p-<!--\; -\; -->1}{q_i^{j+1}}}(\mathrm{mod}p)$$a^{x_{j}\cdot\frac{p-1}{q_i}} \equiv (ba^{-x_0-x_1q_i...-x_{j-1}q_i^{j-1}})^{\frac{p-1}{q_i^{j+1}}} \pmod{p}$ 
  Решение опять же находится по таблице
 Конец цикла по j
Конец цикла по i

Шаг 3 (нахождение ответа).
Найдя ${\log }_a<!--\; \; -->bmod{q}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}$$\log_a{b}\;\bmod{q_i^{\alpha_i}}$  для всех i, находим ${\log }_a<!--\; \; -->bmod(p-<!--\; -\; -->1)$$\log_a{b}\;\bmod\;(p-1)$  по китайской теореме об остатках.

ПримерПравить

Необходимо найти дискретный логарифм $28$$28$  по основанию $2$$2$  в $GF(37)$$GF(37)$ , другими словами найти $x$$x$  для:

$2^x\equiv <!--\; \equiv \; -->28(\mathrm{mod}37)$$2^x \equiv 28 \pmod{37}$ .

Находим разложение $\mathrm{\phi <!--\; \phi \; -->}(37)=37-<!--\; -\; -->1=36=2^2\cdot <!--\; \cdot \; -->3^2$$\varphi(37) = 37 - 1 = 36 = 2^{2}\cdot3^{2}$ .

Получаем $q_1=2,{\mathrm{\alpha <!--\; \alpha \; -->}}_1=2,q_2=3,{\mathrm{\alpha <!--\; \alpha \; -->}}_2=2$$q_{1} = 2, \alpha_{1} = 2, q_{2} = 3, \alpha_{2} = 2$ .

Составляем таблицу $r_{ij}$$r_{{ij}}$ :

$r_{20}\equiv <!--\; \equiv \; -->2^{0\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{2}}\equiv <!--\; \equiv \; -->1(\mathrm{mod}37)$$r_{20}\equiv 2^{0\cdot {\frac {37-1}{2}}}\equiv 1{\pmod {37}}$ 

$r_{21}\equiv <!--\; \equiv \; -->2^{1\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{2}}\equiv <!--\; \equiv \; -->2^{18}\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}37)$$r_{21}\equiv 2^{1\cdot {\frac {37-1}{2}}}\equiv 2^{18}\equiv -1{\pmod {37}}$ 

$r_{30}\equiv <!--\; \equiv \; -->2^{0\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->1(\mathrm{mod}37)$$r_{30}\equiv 2^{0\cdot {\frac {37-1}{3}}}\equiv 1{\pmod {37}}$ 

$r_{31}\equiv <!--\; \equiv \; -->2^{1\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->2^{12}\equiv <!--\; \equiv \; -->26(\mathrm{mod}37)$$r_{31}\equiv 2^{1\cdot {\frac {37-1}{3}}}\equiv 2^{12}\equiv 26{\pmod {37}}$ 

$r_{32}\equiv <!--\; \equiv \; -->2^{2\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->2^{24}\equiv <!--\; \equiv \; -->10(\mathrm{mod}37)$$r_{32}\equiv 2^{2\cdot {\frac {37-1}{3}}}\equiv 2^{24}\equiv 10{\pmod {37}}$ 

Рассматриваем $q_1=2$$q_{1} = 2$ . Для $x$$x$  верно:

$x\equiv <!--\; \equiv \; -->x_0+x_1{q}_1(\mathrm{mod}{q}_1^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i})\equiv <!--\; \equiv \; -->x_0+x_1\cdot <!--\; \cdot \; -->2(\mathrm{mod}{2}^2)$$x\equiv x_{0} + x_{1}q_{1} \pmod{q_{1}^{\alpha_i}} \equiv x_{0} + x_{1}\cdot 2 \pmod{2^2}$ 

Находим $x_0$$x_{{0}}$  из сравнения:

$a^{x_0\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_1}}\equiv <!--\; \equiv \; -->b^{\frac{p-<!--\; -\; -->1}{q_1}}(\mathrm{mod}p)\Rightarrow <!--\; \Rightarrow \; -->2^{x_0\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{2}}\equiv <!--\; \equiv \; -->{28}^{\frac{37-<!--\; -\; -->1}{2}}\equiv <!--\; \equiv \; -->{28}^{18}\equiv <!--\; \equiv \; -->1(\mathrm{mod}37)$$a^{x_{0}\cdot\frac{p-1}{q_{1}}} \equiv b^{\frac{p-1}{q_{1}}} \pmod{p}\Rightarrow 2^{x_{0}\cdot\frac{37 - 1}{2}} \equiv 28^{\frac{37-1}{2}} \equiv 28^{18} \equiv 1 \pmod{37}$ 

Из таблицы находим, что при $x_0=0$$x_{0}=0$  верно выше полученное сравнение.

Находим $x_1$$x_{1}$  из сравнения:

$a^{x_1\cdot <!--\; \cdot \; -->\frac{p-<!--\; -\; -->1}{q_i}}\equiv <!--\; \equiv \; -->(b\cdot <!--\; \cdot \; -->a^{-<!--\; -\; -->x_0}{)}^{\frac{p-<!--\; -\; -->1}{q_i^2}}\Rightarrow <!--\; \Rightarrow \; -->2^{x_1\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{2}}\equiv <!--\; \equiv \; -->(28\cdot <!--\; \cdot \; -->2^{-<!--\; -\; -->0}{)}^{\frac{37-<!--\; -\; -->1}{4}}\equiv <!--\; \equiv \; -->{28}^9\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}37)$$a^{x_{1}\cdot\frac{p-1}{q_{i}}} \equiv (b\cdot a^{-x_{0}})^{\frac{p-1}{q_{i}^{2}}} \Rightarrow 2^{x_{1}\cdot\frac{37 - 1}{2}} \equiv (28 \cdot 2 ^ {-0}) ^ {\frac{37 - 1}{4}} \equiv 28 ^ {9} \equiv -1 \pmod{37}$ 

Из таблицы получаем, что при $x_1=1$$x_{1} = 1$  верно выше полученное сравнение. Находим $x$$x$ :

$x\equiv <!--\; \equiv \; -->0+1\cdot <!--\; \cdot \; -->2\equiv <!--\; \equiv \; -->2(\mathrm{mod}4)$$x \equiv 0 + 1 \cdot 2 \equiv 2 \pmod{4}$ 

Теперь рассматриваем $q_2=3$$q_{2} = 3$ . Для $x$$x$  верно:

$x\equiv <!--\; \equiv \; -->x_0+x_1\cdot <!--\; \cdot \; -->3(\mathrm{mod}{3}^2)$$x \equiv x_{0} + x_{1}\cdot3 \pmod{3^2}$ 

По аналогии находим $x_0$$x_{{0}}$  и $x_1$$x_{1}$ :

$2^{x_0\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->{28}^{\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->{28}^{12}\equiv <!--\; \equiv \; -->26(\mathrm{mod}37)\Rightarrow <!--\; \Rightarrow \; -->x_0=1$$2^{x_0\cdot\frac{37 - 1}{3}} \equiv 28 ^ {\frac{37-1}{3}} \equiv 28^{12} \equiv 26 \pmod{37} \Rightarrow x_0 = 1$ 

$2^{x_1\cdot <!--\; \cdot \; -->\frac{37-<!--\; -\; -->1}{3}}\equiv <!--\; \equiv \; -->(28\cdot <!--\; \cdot \; -->2^{-<!--\; -\; -->1}{)}^{\frac{37-<!--\; -\; -->1}{3^2}}\equiv <!--\; \equiv \; -->{14}^4\equiv <!--\; \equiv \; -->10(\mathrm{mod}37)\Rightarrow <!--\; \Rightarrow \; -->x_1=2$$2^{x_1\cdot\frac{37 - 1}{3}} \equiv (28\cdot 2^{-1}) ^ {\frac{37 - 1}{3^2}} \equiv 14 ^ {4} \equiv 10 \pmod{37} \Rightarrow x_{1} = 2$ 

Получаем $x$$x$ :

$x\equiv <!--\; \equiv \; -->1+2\cdot <!--\; \cdot \; -->3\equiv <!--\; \equiv \; -->7(\mathrm{mod}9)$$x \equiv 1 + 2 \cdot 3 \equiv 7\pmod{9}$ 

Получаем систему:

$\{\begin{array}{l}x\equiv <!--\; \equiv \; -->2(\mathrm{mod}4)\\ x\equiv <!--\; \equiv \; -->7(\mathrm{mod}9)\end{array}$$\begin{cases} x \equiv 2 \pmod{4} \\ x \equiv 7 \pmod{9} \\ \end{cases}$ 

Решим систему. Первое сравнение преобразуем в равенство, которое подставляем во второе сравнение:

$x=2+4\cdot <!--\; \cdot \; -->t\Rightarrow <!--\; \Rightarrow \; -->2+4\cdot <!--\; \cdot \; -->t\equiv <!--\; \equiv \; -->7(\mathrm{mod}9)\Rightarrow <!--\; \Rightarrow \; -->4\cdot <!--\; \cdot \; -->t\equiv <!--\; \equiv \; -->5(\mathrm{mod}9)\Rightarrow <!--\; \Rightarrow \; -->$$x = 2 + 4 \cdot t \Rightarrow 2 + 4\cdot t \equiv 7 \pmod{9} \Rightarrow 4\cdot t \equiv 5 \pmod{9} \Rightarrow$ 

$t\equiv <!--\; \equiv \; -->5\cdot <!--\; \cdot \; -->(4{)}^{-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->5\cdot <!--\; \cdot \; -->(-<!--\; -\; -->2)\equiv <!--\; \equiv \; -->-<!--\; -\; -->10\equiv <!--\; \equiv \; -->8(\mathrm{mod}9)$$t \equiv 5\cdot (4)^{-1} \equiv 5 \cdot (-2) \equiv -10 \equiv 8 \pmod{9}$ 

Подставляем найденное $t$$t$  и получаем искомое $x$$x$ :

$x\equiv <!--\; \equiv \; -->2+4\cdot <!--\; \cdot \; -->8\equiv <!--\; \equiv \; -->34(\mathrm{mod}36)\equiv <!--\; \equiv \; -->34(\mathrm{mod}37)$$x \equiv 2 + 4 \cdot 8 \equiv 34 \pmod{36} \equiv 34 \pmod{37}$ 

Ответ: $x=34$$x = 34$ .

Сложность алгоритмаПравить

Если известно разложение (2), то сложность алгоритма является

$O\left(\underset{i=1}{\overset{k}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i\left({\log }_2<!--\; \; -->p+q_i^{1-<!--\; -\; -->r_i}(1+{\log }_2<!--\; \; -->q_i^{r_i})\right)\right)$$O\left(\sum\limits_{i=1}^{k}\alpha_{i}\left(\log_2{p} + q_{i}^{1 - r_i}(1 + \log_{2}{q_{i}^{r_{i}}})\right)\right)$ , где $0\le <!--\; \le \; -->r_i\le <!--\; \le \; -->1$$0\leq r_{i}\leq1$ .

При этом необходимо $O\left({\log }_2<!--\; \; -->p\underset{i=1}{\overset{k}{\sum <!--\; \sum \; -->}}\left(1+p_i^{r_i}\right)\right)$$O\left(\log_2{p}\sum\limits_{i=1}^{k}\left(1 + p_i^{r_i}\right)\right)$  бит памяти.

В общем случае сложность алгоритма также можно оценить как

$O\left(\underset{i=1}{\overset{k}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i{q}_i+\log <!--\; \; -->p\right)$$O\left(\sum\limits_{i=1}^{k}\alpha_i q_i + \log{p}\right)$ .

Если при обработке каждого q_i использовать ускоренные методы (например, алгоритм Шенкса), то общая оценка снизится до

$O\left(\underset{i=1}{\overset{k}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i\sqrt{q_i}+\log <!--\; \; -->p\right)$$O\left(\sum\limits_{i=1}^{k}\alpha_i \sqrt{q_i} + \log{p}\right)$ .

В указанных оценках подразумевается, что арифметические операции по модулю p выполняются за один шаг. На самом деле это не так — например, сложение по модулю p требует O(log p) элементарных операций. Но поскольку аналогичные уточнения имеют место для любого алгоритма, данный множитель часто отбрасывается.

Полиномиальная сложностьПравить

Когда простые множители ${\left\{q_i\right\}}_{i=1}^k$$\left\{q_{i}\right\}_{i=1}^{k}$  малы, то сложность алгоритма можно оценивать как $O\left(({\log }_2<!--\; \; -->p{)}^2\right)$$O\left((\log_2 p)^2\right)$ .

Алгоритм имеет полиномиальную сложность в общем виде $O\left((\log <!--\; \; -->p{)}^{c_1}\right)$$O\left((\log p)^{c_1}\right)$  в случае, когда все простые множители ${\left\{q_i\right\}}_{i=1}^k$$\left\{q_{i}\right\}_{i=1}^{k}$  не превосходят $(\log <!--\; \; -->p{)}^{c_2}$$(\log p)^{c_2}$ ,
где $c_1,c_2$$c_1, c_2$  — положительные постоянные.

ПримерПравить

Верно для простых $p$$p$  вида $p=2^{\mathrm{\alpha <!--\; \alpha \; -->}}+1,p=2^{{\mathrm{\alpha <!--\; \alpha \; -->}}_1}{3}^{{\mathrm{\alpha <!--\; \alpha \; -->}}_2}+1$$p=2^{\alpha} + 1,\;p=2^{\alpha_1}3^{\alpha_2} + 1$ .

Экспоненциальная сложностьПравить

Если имеется простой множитель $q_i$$q_{i}$  такой, что $q_i\ge <!--\; \ge \; -->p^c$$q_i\geq p^{c}$ , где $c\ge <!--\; \ge \; -->0$$c\geq 0$ .

ПрименениеПравить

Алгоритм Полига—Хеллмана крайне эффективен, если $p-<!--\; -\; -->1$$p-1$  раскладывается на небольшие простые множители. Это очень важно учитывать при выборе параметров криптографических схем. Иначе схема будет ненадёжной.

ЗамечаниеПравить

Для применения алгоритма Полига-Хеллмана необходимо знать разложение $p-<!--\; -\; -->1$$p-1$  на множители. В общем случае задача факторизации — достаточно трудоёмкая, однако если делители числа — небольшие (в том смысле, о котором сказано выше), то это число можно быстро разложить на множители даже методом последовательного деления. Таким образом, в том случае, когда эффективен алгоритм Полига-Хеллмана, необходимость факторизации не усложняет задачу.

ЛитератураПравить

на русском языке

1. Н. Коблиц. Курс теории чисел и криптографии (рус.). — М.: Научное издательство ТВП, 2001. — 254 с.
2. О. Н. Василенко. Теоретико-числовые алгоритмы в криптографии (рус.). — М.: МЦНМО, 2003. — 328 с. — 1000 экз. — ISBN 5-94057-103-4. Архивная копия от 27 января 2007 на Wayback Machine

на английском языке

1. S. C. Pohlig and M. E. Hellman. An Improved Algorithm for Computing Logarithms Over GF(p) and its Cryptographic Significance (англ.) // IEEE Transactions on Information Theory. — 1978. — Vol. 1, no. 24. — P. 106-110.
2. A. M. Odlyzko. Discrete logarithms in finite fields and their cryptographic significance (англ.) // T.Beth, N.Cot, I.Ingemarsson Proc. of the EUROCRYPT 84 workshop on Advances in cryptology: theory and application of cryptographic techniques. — NY, USA: Springer-Verlag New York, 1985. — P. 224-314. — ISBN 0-387-16076-0. (недоступная ссылка)
3. J. Hoffstein, J. Pipher, J. H. Silverman. An Introduction to Mathematical Cryptography (англ.). — Springer, 2008. — 524 p. — ISBN 978-0-387-77993-5.