Logaritmlar uchun Pollards rho algoritmi - Pollards rho algorithm for logarithms - Wikipedia

Logarifmlar uchun Pollardning rho algoritmi tomonidan kiritilgan algoritmdir Jon Pollard hal qilish uchun 1978 yilda alohida logaritma shunga o'xshash muammo Pollardning rho algoritmi hal qilish tamsayı faktorizatsiyasi muammo.

Maqsad hisoblash ${ displaystyle gamma}$ shu kabi ${ displaystyle alpha ^ { gamma} = beta}$, qayerda ${ displaystyle beta}$ a ga tegishli tsiklik guruh ${ displaystyle G}$ tomonidan yaratilgan ${ displaystyle alpha}$. Algoritm butun sonlarni hisoblab chiqadi ${ displaystyle a}$, ${ displaystyle b}$, ${ displaystyle A}$va ${ displaystyle B}$ shu kabi ${ displaystyle alfa ^ {a} beta ^ {b} = alfa ^ {A} beta ^ {B}}$. Agar asosiy guruh tartibli tsiklik bo'lsa ${ displaystyle n}$, ${ displaystyle gamma}$ tenglamaning echimlaridan biridir ${ displaystyle (B-b) gamma = (a-A) { pmod {n}}}$. Ushbu tenglamaning echimlari Kengaytirilgan evklid algoritmi.

Kerakli narsalarni topish uchun ${ displaystyle a}$, ${ displaystyle b}$, ${ displaystyle A}$va ${ displaystyle B}$ algoritm foydalanadi Floydning tsikllarni topish algoritmi ketma-ketlikda tsiklni topish uchun ${ displaystyle x_ {i} = alfa ^ {a_ {i}} beta ^ {b_ {i}}}$, bu erda funktsiya ${ displaystyle f: x_ {i} mapsto x_ {i + 1}}$ tasodifiy ko'rinishga ega deb taxmin qilinadi va shuning uchun taxminan keyin tsiklga kiradi ${ displaystyle { sqrt { frac { pi n} {2}}}}$ qadamlar. Bunday funktsiyani aniqlashning usullaridan biri bu quyidagi qoidalardan foydalanishdir: Ajratish ${ displaystyle G}$ taxminan teng o'lchamdagi uchta ajratilgan kichik guruhlarga: ${ displaystyle S_ {0}}$, ${ displaystyle S_ {1}}$va ${ displaystyle S_ {2}}$. Agar ${ displaystyle x_ {i}}$ ichida ${ displaystyle S_ {0}}$ keyin ikkalasini ham ikki baravar oshiring ${ displaystyle a}$ va ${ displaystyle b}$; agar $S {1}} da { displaystyle x_ {i}$ keyin o'sish ${ displaystyle a}$, agar $S {2}} da { displaystyle x_ {i}$ keyin o'sish ${ displaystyle b}$.

Algoritm

Ruxsat bering ${ displaystyle G}$ bo'lishi a tsiklik guruh tartib ${ displaystyle p}$va berilgan ${ displaystyle alfa, beta in G}$va bo'lim ${ displaystyle G = S_ {0} kubok S_ {1} kubok S_ {2}}$, ruxsat bering ${ displaystyle f: G dan G} gacha$ xarita bo'ling va xaritalarni aniqlang ${ displaystyle g: G times mathbb {Z} to mathbb {Z}}$ va ${ displaystyle h: G times mathbb {Z} to mathbb {Z}}$ tomonidan

${ displaystyle { begin {aligned} g (x, n) & = { begin {case} n & x in S_ {0} 2n { pmod {p}} & x in S_ {1} n +1 { pmod {p}} va x in S_ {2} end {case}} h (x, n) & = { begin {case} n + 1 { pmod {p}} & x S_ {0} 2n { pmod {p}} va x in S_ {1} n & x in S_ {2} end {case}}} end {aligned}}}$

kiritish: a: ning generatori G       b: ning elementi Gchiqish: Butun son x shu kabi ax = byoki failInitialise a0 ← 0, b0 ← 0, x0 ← 1 ∈ Gmen ← 1pastadir    xmen ← f(xmen-1),     amen ← g(xmen-1, amen-1),     bmen ← h(xmen-1, bmen-1)    x2men ← f(f(x2men-2)),     a2men ← g(f(x2men-2), g(x2men-2, a2men-2)),     b2men ← h(f(x2men-2), h(x2men-2, b2men-2))    agar xmen = x2men keyin        r ← bmen - b2men        agar r = 0 qaytish muvaffaqiyatsizligi        x ← r−1(a2men - amen) mod p        qaytish x    boshqa // xmen ≠ x2men        men ← men + 1    tugatish agarso'nggi tsikl

Misol

Masalan, 2 modul tomonidan yaratilgan guruhni ko'rib chiqing ${ displaystyle N = 1019}$ (guruhning tartibi ${ displaystyle n = 1018}$, 2 modul 1019) birliklari guruhini hosil qiladi). Algoritm quyidagilar bilan amalga oshiriladi C ++ dastur:

# shu jumladan <stdio.h>konst int n = 1018, N = n + 1;  / * N = 1019 - asosiy * /konst int alfa = 2;            / * generator * /konst int beta-versiya = 5;             / * 2 ^ {10} = 1024 = 5 (N) * /bekor yangi_xab(int& x, int& a, int& b) {  almashtirish (x % 3) {  ish 0: x = x * x     % N;  a =  a*2  % n;  b =  b*2  % n;  tanaffus;  ish 1: x = x * alfa % N;  a = (a+1) % n;                  tanaffus;  ish 2: x = x * beta-versiya  % N;                  b = (b+1) % n;  tanaffus;  }}int asosiy(bekor) {  int x = 1, a = 0, b = 0;  int X = x, A = a, B = b;  uchun (int men = 1; men < n; ++men) {    yangi_xab(x, a, b);    yangi_xab(X, A, B);    yangi_xab(X, A, B);    printf("% 3d% 4d% 3d% 3d% 4d% 3d% 3d n", men, x, a, b, X, A, B);    agar (x == X) tanaffus;  }  qaytish 0;}

Natijalar quyidagicha (tahrir qilingan):

 ixab XA B ------------------------------ 1 2 1 0 10 1 1 2 10 1 1 100 2 2 3 20 2 1 1000 3 3 4 100 2 2 425 8 6 5 200 3 2 436 16 14 6 1000 3 3 284 17 15 7 981 4 3 986 17 17 8 425 8 6 194 17 19 ........... ................... 48 224 680 376 86 299 41249 101 680 377 860 300 41350 505 680 378 101 300 41551 1010 681 378 1010 301 416

Anavi ${ displaystyle 2 ^ {681} 5 ^ {378} = 1010 = 2 ^ {301} 5 ^ {416} { pmod {1019}}}$ va hokazo ${ displaystyle (416-378) gamma = 681-301 { pmod {1018}}}$, buning uchun ${ displaystyle gamma _ {1} = 10}$ kutilganidek echimdir. Sifatida ${ displaystyle n = 1018}$ asosiy emas, boshqa echim bor ${ displaystyle gamma _ {2} = 519}$, buning uchun ${ displaystyle 2 ^ {519} = 1014 = -5 { pmod {1019}}}$ ushlab turadi.

Murakkablik

Ish vaqti taxminan ${ displaystyle { mathcal {O}} ({ sqrt {n}})}$. Bilan birga ishlatilsa Pohlig-Hellman algoritmi, estrodiol algoritmning ishlash vaqti ${ displaystyle { mathcal {O}} ({ sqrt {p}})}$, qayerda ${ displaystyle p}$ ning eng katta asosiy omilidir ${ displaystyle n}$.

Adabiyotlar

• Pollard, J. M. (1978). "Indeksni hisoblash uchun Monte-Karlo usullari (mod p)". Hisoblash matematikasi. 32 (143): 918–924. doi:10.2307/2006496.
• Menezes, Alfred J.; van Oorshot, Pol S.; Vanstoun, Skott A. (2001). "3-bob" (PDF). Amaliy kriptografiya qo'llanmasi.