20091115 cryptoprotocols nikolenko_lecture07

Ìåòîä Êðàé÷èêà
Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî

Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè

Ñåðãåé Íèêîëåíêî

Êðèïòîãðàôèÿ CS Club, îñåíü 2009

Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè

Ìåòîä Êðàé÷èêà Ââåäåíèå
Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà
Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè

Outline

1 Ìåòîä Êðàé÷èêà
Ââåäåíèå
2 Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî
Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî
Ðåøåíèå ëèíåéíîé ñèñòåìû
Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ



Èäåÿ

Ìû ñòðîèëè ñèñòåìû, ÷üÿ íàä¼æíîñòü îñíîâàíà íà çàäà÷àõ
ðàçëîæåíèÿ ÷èñåë íà ìíîæèòåëè è äèñêðåòíûõ
ëîãàðèôìàõ.
È ñ÷èòàëè áîëüøèì óñïåõîì, åñëè ïîëó÷àåòñÿ ñâåñòè
íàä¼æíîñòü ñèñòåìû ê ñëîæíîñòè ðåøåíèÿ òàêîé çàäà÷è.
Íî ÷òî åñëè ñàìè ýòè çàäà÷è îêàæåòñÿ ëåãêî ðåøèòü?
Ñåãîäíÿ ìû áóäåì ãîâîðèòü î òîì, êàê ðåøàòü çàäà÷è, íà
êîòîðûõ îñíîâàíà ñîâðåìåííàÿ êðèïòîãðàôèÿ.



Ïðîñòåéøèé ìåòîä

Ïðîñòåéøèé ìåòîä trial division áåð¼ì ïðîñòûå ÷èñëà îò
2 äî √n è äåëèì íà êàæäîå.
1977: â êîëîíêå Ìàðòèíà Ãàðäíåðà ïîÿâèëñÿ the RSA-129
challenge: ðàçëîæèòü 129-çíà÷íîå ÷èñëî íà ìíîæèòåëè è
òåì ñàìûì âçëîìàòü ñåêðåòíûé êîä. Ðèâåñò òîãäà æå
ïîäñ÷èòàë, ÷òî ðàçëîæèòü 125-çíà÷íîå ÷èñëî çàäà÷à íà
40 êâàäðèëëèîíîâ ëåò.
Îäíàêî ñåé÷àñ RSA-129 ìîæíî âçëîìàòü, è âîâñå íå
òîëüêî ïîòîìó, ÷òî êîìïüþòåðû ñòàëè áûñòðåå.



Çàäà÷êà

Íà÷í¼ì ñ çàäà÷êè. Ðàçëîæèòå íà ìíîæèòåëè ÷èñëî
6319



Çàäà÷êà

6319
Èäåÿ:
6319 = 6400 − 81 = 802 − 92 = 71 × 89.
×àñòî ëè íàì áóäåò òàê âåçòè?



Çàäà÷êà

6319
Òî æå ñàìîå ðàáîòàåò ñ ëþáûì íå÷¼òíûì ñîñòàâíûì
÷èñëîì: 2
a+b 2
a−b
ab =
2 − 2 .
Ýòî ìåòîä Ôåðìà åù¼ Ôåðìà åãî ïðåäëîæèë.



Ìåòîä Ôåðìà

Àëãîðèòì: áðàòü x 2 − n äëÿ ðàçíûõ x è æäàòü äðóãîé
êâàäðàò.
Íàïðèìåð, äëÿ ÷èñëà 6319 âñ¼ ïðîñòî: áëèæàéøèé êâàäðàò
ñâåðõó ýòî 6400, è êîãäà ìû âû÷èòàåì 802 − 6139 = 81,
ñðàçó ïîëó÷àåì êâàäðàò.
Íî çäåñü âåçåíèÿ íóæíî íå ìåíüøå, ÷åì äëÿ ïðîáíîãî
äåëåíèÿ.



Ñ äâóõ ñòîðîí

Ìåòîä ïðîáíîãî äåëåíèÿ õîðîøî ðàáîòàåò äëÿ î÷åíü
ãëàäêèõ ÷èñåë, êîãäà áûñòðî íàéäóòñÿ ïðîñòûå äåëèòåëè.
Ìåòîä Ôåðìà äëÿ ìàêñèìàëüíî ¾íåãëàäêèõ¿ ÷èñåë,
êîãäà äåëèòåëè áëèçêè ê √n.
Íî, êîíå÷íî, ñàìè ïî ñåáå îíè îäèíàêîâî óæàñíû.




1920s, Maurice Kraitchik, áåëüãèéñêèé ìàòåìàòèê.
Óëó÷øåíèå ìåòîäà Ôåðìà: âìåñòî òàêèõ u è v , ÷òî
u 2 − v 2 = n,
ìîæíî èñêàòü òàêèå u è v , ÷òî
u 2 − v 2 ≡ 0 (mod n).




Åñëè u ≡ ±v (mod n), òî èç
u2 − v 2 ≡ 0
mod n) (

òîæå ïîëó÷èòñÿ ðàçëîæåíèå: n äåëèòñÿ íà (u − v )(u + v ),
íî íå äåëèòñÿ íè íà u − v , íè íà u + v , ñëåäîâàòåëüíî,
ÍÎÄ(u − v , n) íåòðèâèàëüíûé äåëèòåëü n.




Àëãîðèòì: ïî-ïðåæíåìó áðàòü x 2 − n äëÿ ðàçíûõ x .
Íî òåïåðü íå æäàòü äðóãîé êâàäðàò, à ïûòàòüñÿ åãî
ïîñòðîèòü, óìíîæàÿ ïîëó÷åííûå ÷èñëà:
ðàññìîòðèì ïîñëåäîâàòåëüíîñòü ÷èñåë âèäà Q (x ) = x 2 − n;
åñëè
Q (x1 )Q (x2 ) . . . Q (xk ) = v 2 ,
òî ñðàçó ïîëó÷àåòñÿ, ÷òî
(x1 − n)(x2 − n) . . . (xk − n) = v 2 ,
2 2 2
ò.å.
u2 = x1 x2 . . . xk2 ≡ v 2 (mod n).
2 2



Ìåòîä Êðàé÷èêà: ïðèìåð

Ïðèìåð: ðàññìîòðèì n = 2041.
Çäåñü Q (x ) íà÷èíàåòñÿ ñ 462 = 2116. Ïîñëåäîâàòåëüíîñòü
Q (46), Q (47), . . .: 75, 168, 263, 360, 459, 560, 663, . . .
Êâàäðàòîâ ïîêà íåò, íî ìîæíî çàìåòèòü, ÷òî
75 = 3 × 52 , 360 = 23 × 32 × 5,
168 = 2 3 × 3 × 7, 560 = 24 × 5 × 7.

È, ïîèãðàâøèñü, âûòàùèòü èç ýòîãî êâàäðàò:
75 × 168 × 360 × 560 = 210 × 34 × 54 × 72 .
Òåïåðü
u = 46 × 47 × 49 × 51 ≡ 311 (mod 2041),
v = 25 × 32 × 52 × 7 ≡ 1416 (mod 2041),
îíè íàì ïîäõîäÿò, ÍÎÊ(1416 − 311, 2041) = 13, è
2041 = 13 × 157.


Ìåòîä Êðàé÷èêà: àëãîðèòì

Èòàê, âîò êàêîé àëãîðèòì èç ìåòîäà Êðàé÷èêà ïîëó÷àåòñÿ.
1 Âûïèñàòü ïîñëåäîâàòåëüíîñòü ÷èñåë âèäà Q (x ) = x 2 − n.
2 Ïîèãðàòüñÿ ñ ýòèìè ÷èñëàìè òàê, ÷òîáû â ïðîèçâåäåíèè
Q (x1 )Q (x2 ) . . . Q (xk ) ïîëó÷èëñÿ êâàäðàò v 2 .
3 Ðàçëîæèòü n ïðè ïîìîùè u = x1 x2 . . . xk è v , åñëè u ≡ ±v
(mod n).
Íî ÷òî çíà÷èò ¾ïîèãðàòüñÿ¿?



Ìåòîä Êðàé÷èêà: àëãîðèòì

Èòàê, âîò êàêîé àëãîðèòì èç ìåòîäà Êðàé÷èêà ïîëó÷àåòñÿ.
1 Âûïèñàòü ïîñëåäîâàòåëüíîñòü ÷èñåë âèäà Q (x ) = x 2 − n.
2 Ïîèãðàòüñÿ ñ ýòèìè ÷èñëàìè òàê, ÷òîáû â ïðîèçâåäåíèè
Q (x1 )Q (x2 ) . . . Q (xk ) ïîëó÷èëñÿ êâàäðàò v 2 .
3 Ðàçëîæèòü n ïðè ïîìîùè u = x1 x2 . . . xk è v , åñëè u ≡ ±v
(mod n).
Íî ÷òî çíà÷èò ¾ïîèãðàòüñÿ¿?
Âñ¼ ïðîñòî: ðåøèòü ñèñòåìó ëèíåéíûõ óðàâíåíèé íà
ñòåïåíè ìàëåíüêèõ ïðîñòûõ ÷èñåë.



Ãëàäêèå ÷èñëà

Ãëàäêîå ÷èñëî (smooth number) ÷èñëî, ó êîòîðîãî
òîëüêî ìàëåíüêèå ïðîñòûå äåëèòåëè; Y -ãëàäêîå çíà÷èò,
âñå äåëèòåëè ≤ Y .
Ïðîâåðÿòü íà Y -ãëàäêîñòü ìîæíî ïðîñòûì ïåðåáîðîì
ïðîñòûõ ÷èñåë äî Y ; à ìîæíî è ëó÷øå, íî îá ýòîì ÷óòü
ïîçæå.



Ãëàäêèå ÷èñëà äëÿ íàøåãî ïðèìåðà

Ó íàñ áûëè 7-ãëàäêèå ÷èñëà; äëÿ íèõ ìîæíî ââåñòè âåêòîð
ýêñïîíåíò ðàçìåðíîñòè, ñîîòâåòñòâóþùåé ê-âó ïðîñòûõ
÷èñåë äî 7, ïðè÷¼ì âåêòîðû íàì íóæíû òîëüêî mod 2:
v (75) = (0, 1, 2, 0) ≡ (0, 1, 0, 0) (mod 2),
v (168) = (3, 1, 0, 1) ≡ (1, 1, 0, 1) (mod 2),
v (360) = (3, 2, 1, 0) ≡ (1, 0, 1, 0) (mod 2),
v (560) = (4, 0, 1, 1) ≡ (0, 0, 1, 1) (mod 2),
Òåïåðü âèäíî, ÷òî ñóììà ýòèõ âåêòîðîâ ≡ (0, 0, 0, 0)
(mod 2), à çíà÷èò, ïîëó÷èòñÿ êâàäðàò.
Óïðàæíåíèå. Ìîæíî ðàññìàòðèâàòü è îòðèöàòåëüíûå
âñïîìîãàòåëüíûå ÷èñëà (x 2 − n äëÿ x √n). Íî êâàäðàò
îòðèöàòåëüíûì áûòü íå ìîæåò. Êàê ó÷åñòü ýòî â ìåòîäå?


Íåïðåðûâíûå äðîáè

Âìåñòî çíà÷åíèé Q (x ) = x 2 − n ìîæíî ðàññìàòðèâàòü
ïðèáëèæåíèÿ ê √n â âèäå íåïðåðûâíîé äðîáè ñ
ïîñëåäîâàòåëüíîñòüþ ïðèáëèæåíèé b . a i

Òîãäà ìîæíî çàìåíèòü Q (x ) íà Qi = ai2 − bi2n.
i

Äëÿ êâàäðàòíîãî êîðíÿ åñòü ïðîñòûå ñîîòíîøåíèÿ ìåæäó
ai è bi , √ òåîðèÿ íåïðåðûâíûõ äðîáåé äà¼ò íåðàâåíñòâî
à
|Qi | 2 n, â òî âðåìÿ êàê Q (x ) ëèíåéíî ðàñòóò.
È çà ñ÷¼ò ìåíüøèõ Qi ïðîâåðÿòü ãëàäêîñòü è ïîäáèðàòü
ñîîòíîøåíèÿ ñòàíîâèòñÿ ïðîùå.



Îöåíêà ñëîæíîñòè

Îáîçíà÷èì ÷åðåç ψ(X , Y ) êîëè÷åñòâî Y -ãëàäêèõ ÷èñåë îò
1 äî X . Âåðîÿòíîñòü òîãî, ÷òî ñëó÷àéíîå ÷èñëî ≤ X
ÿâëÿåòñÿ Y -ãëàäêèì, ðàâíà ψ(X ,Y ) .
X
Íàì íóæíî ðåøèòü ñèñòåìó èç π(Y ) óðàâíåíèé (ïî ÷èñëó
ïðîñòûõ); ÷òîáû ðåøèëàñü, íóæíî ïðèìåðíî π(Y )
íåèçâåñòíûõ (êîýôôèöèåíòîâ).
Ò.å. íóæíî íàéòè π(Y ) ïðîñòûõ ÷èñåë. Ïðîâåðèòü ÷èñëî íà
Y -ïðîñòîòó ýòî åù¼ π(Y ) øàãîâ. Èòîãî îæèäàåìîå
âðåìÿ ðàáîòû 2 π (Y )X
.
ψ(X , Y )




Ìû õîòèì äëÿ äàííîãî X ìèíèìèçèðîâàòü âûðàæåíèå
π2 (Y )X
ψ(X , Y )
√
Ïîïðîáóåì îöåíèòü ψ(X , Y ) äëÿ Y = X :
ψ(X , X 1/2 ) = X − X /p =
√
X p ≤ X
1  + O ( X ).
 

=X − 1 √ p log X
X p ≤ X



Ôàêòû èç òåîðèè ÷èñåë

Ìû áóäåì ïîëüçîâàòüñÿ ôàêòàìè èç òåîðèè ÷èñåë. Äëÿ
ýòîãî ïðèìåðà òåîðåìà Ìåðòåíñà:
1 = ln ln Y + γ + O 1 , ãäå γ ≈ 0, 261497...
p Y p log Y
Çíà÷èò,
1= 1− 1=
√ p p ≤X p √ p
X p ≤ X p≤ X
log log X −log log X +O ( 1 ) = log 2+O ( 1 ), è
√
√ √
log X log X
=

X
ψ(X , X 1/2 ) = ( −1 log 2)X + O ( log X ).


Ôàêòû èç òåîðèè ÷èñåë

Àíàëîãè÷íî, ψ(X , X 1/u ) = (1 − log u)X + O ( log X ) äëÿ
X
u ∈ [1, 2].
Åñòü îáîáùåíèå ýòîãî ðåçóëüòàòà, êîòîðîå íàì è íóæíî
(áåç äîêàçàòåëüñòâà): äëÿ ëþáîãî 0, åñëè X → ∞,
u → ∞, ïðè÷¼ì X 1/u (log X )1+ , òî
ψ(X , X 1/u )
= u −(1+o (1))u .
X



Òî, ÷òî ìû ìèíèìèçèðóåì

À íàì íóæíî ìèíèìèçèðîâàòü π2(XY,YX) , òî åñòü, âûðàçèâ
ψ(
)

Y = X 1/u , ïðèìåðíî u log2 (X 1 ) , ÷òî áóäåò
X2
X
/u

ìèíèìèçèðîâàòüñÿ ïðè
−u /u

u≈2
log X (ïðîâåðüòå!).
log log X




Èòàê, ìèíèìóì áóäåò äîñòèãàòüñÿ, êîãäà Y ïîðÿäêà
√
e 2√ log X log log X , à ñàì ìèíèìóì ïðè ýòîì ïîðÿäêà
1

e 2 log X log log X .
Çäåñü X ýòî ñðåäíèé ðàçìåð ÷èñëà, êîòîðîå ïîëó÷àåòñÿ
èç ìåòîäà; ýòî ïîðÿäêà 2√n äëÿ ìåòîäà íåïðåðûâíûõ
äðîáåé è n1/2+ äëÿ Q (x ) = x 2 − n (ìû áóäåì ïåðå÷èñëÿòü
x äî n + n ).
√

Èíà÷å ãîâîðÿ, îöåíêà ñëîæíîñòè ïîëó÷àåòñÿ ïîðÿäêà
√
e 2 log n log log n .



Ñëîæíîñòíûå îáîçíà÷åíèÿ

Â ýòîé òåîðèè ìåíÿþòñÿ òîëüêî äâå êîíñòàíòû, ïîýòîìó
ââîäÿò îáîçíà÷åíèå
Ln [s ; c ] = e c (log n) (log log n)
s 1−s
.

Äëÿ ñðàâíåíèÿ àñèìïòîòèêè íàäî ñíà÷àëà ñðàâíèòü s , à
åñëè îíè ðàâíû, òî c .
Íàøà îöåíêà ñëîæíîñòè äëÿ ìåòîäà Êðàé÷èêà â ýòèõ
îáîçíà÷åíèÿõ:
√ 1√
e 2 log n log log n = Ln ; 2 .
2



Î äîêàçàòåëüñòâàõ

Äîêàçàëè ëè ìû îöåíêó íà âðåìÿ ðàáîòû àëãîðèòìà (ïî
ìîäóëþ ôàêòîâ òåîðèè ÷èñåë, êîíå÷íî)?



Î äîêàçàòåëüñòâàõ

Äîêàçàëè ëè ìû îöåíêó íà âðåìÿ ðàáîòû àëãîðèòìà (ïî
ìîäóëþ ôàêòîâ òåîðèè ÷èñåë, êîíå÷íî)?
Âîâñå íåò! Ìû ïî÷åìó-òî ïðåäïîëîæèëè, ÷òî íàøè ÷èñëà
Q (xi ) ýòî ñëó÷àéíûå Y -ãëàäêèå ÷èñëà.
Ýòî íèîòêóäà íå ñëåäóåò. Êðîìå òîãî, ìû ïðåäïîëîæèëè,
÷òî íå áóäåì ïîñòîÿííî íàòûêàòüñÿ íà ¾íåèíòåðåñíûå¿
ïàðû (u, v ) (äëÿ êîòîðûõ u ≡ ±v (mod n)). Ýòî òîæå
íåèçâåñòíî ïî÷åìó.
Íî òóò íè÷åãî íå ïîäåëàåøü.


Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî
Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû

Outline

1 Ìåòîä Êðàé÷èêà
Ââåäåíèå
2 Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî
Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî
Ðåøåíèå ëèíåéíîé ñèñòåìû



Êàê óëó÷øèòü ìåòîä Êðàé÷èêà

Ñëîæíîñòü ìåòîäà Êðàé÷èêà áûëà ðàâíà
π2 (Y )X
.
ψ(X , Y )

×òî ìû çäåñü â ïðèíöèïå ìîæåì óëó÷øèòü, à ÷òî íåò?



Êàê óëó÷øèòü ìåòîä Êðàé÷èêà

Ñëîæíîñòü ìåòîäà Êðàé÷èêà áûëà ðàâíà
π2 (Y )X
.
ψ(X , Y )

×òî ìû çäåñü â ïðèíöèïå ìîæåì óëó÷øèòü, à ÷òî íåò?
Âåðîÿòíîñòü òîãî, ÷òî ïîïàä¼òñÿ ãëàäêîå ÷èñëî, íàì
íåïîäêîíòðîëüíà, ýòî ôàêò æèçíè.
À âîò π2(Y ) ýòî îöåíêà, êîòîðîé ìû îöåíèëè ñëîæíîñòü
ïðîâåðêè π(Y ) ÷èñåë íà Y -ãëàäêîñòü.
È ýòî íå ìàòåìàòè÷åñêàÿ òåîðåìà, à îöåíêà ñëîæíîñòè
î÷åâèäíîãî ìåòîäà. Êîòîðûé ìîæíî óëó÷øèòü.



Ðåøåòî Ýðàòîñôåíà

Ðåøåòî Ýðàòîñôåíà: ÷òîáû íàéòè ïðîñòûå ÷èñëà îò 2 äî n,
íóæíî âûïèñàòü âñå ÷èñëà:
2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, . . . ,
à ïîòîì âû÷¼ðêèâàòü òå, êîòîðûå äåëÿòñÿ íà 2, 3, 5, 7, . . .:
2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 . . .
2, 3, 4, 5, 6, 7, 8, 9, , 11, , 13, , 15 . . .
10 12 14

2, 3, 4, 5, 6, 7, 8, 9, , 11, , 13, , . . .
¡ ¡ 10 12 14 15
¡ ¡ ¡
¡ ¡
...

À êàê òàêèì æå ñïîñîáîì íàéòè Y -ãëàäêèå ÷èñëà?




Òî÷íî òàê æå, òîëüêî òåïåðü ìû íå ïðîñòî âû÷¼ðêèâàåì
÷èñëà, à çàìåíÿåì èõ íà ðåçóëüòàò äåëåíèÿ, è èíòåðåñóþò
íàñ òå ÷èñëà, êîòîðûå ïðåâðàòÿòñÿ â 1.
Êðîìå òîãî, ÷òîáû îòñëåäèòü ñòåïåíè, íóæíî äåëèòü íà
ïðîñòûå ÷èñëà íåñêîëüêî ðàç, ïðè êàæäîé ñòåïåíè.




Íàïðèìåð, íàéä¼ì 5-ãëàäêèå ÷èñëà:
ñíà÷àëà : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ..
íà 2 : 1 1 3 2 5 3 7 4 9 5 11 6 13 7 15 ..
íà 3 : 1 1 1 2 5 1 7 4 3 5 11 2 13 7 5 ..
íà 4 : 1 1 1 1 5 1 7 2 3 5 11 1 13 7 5 ..
íà 5 : 1 1 1 1 1 1 7 2 3 1 11 1 13 7 1 ..
íà 8 : 1 1 1 1 1 1 7 1 3 1 11 1 13 7 1 ..
íà 9 : 1 1 1 1 1 1 7 1 1 1 11 1 13 7 1 ..
5-ãëàäêèå : 1 2 3 4 5 6 8 9 10 12 15 ..



Ðåøåòî Ýðàòîñôåíà: óïðîùåíèÿ

Êàê áûñòðî-áûñòðî äåëèòü íà çàðàíåå çàäàííûå ÷èñëà?



Ðåøåòî Ýðàòîñôåíà: óïðîùåíèÿ

Êàê áûñòðî-áûñòðî äåëèòü íà çàðàíåå çàäàííûå ÷èñëà?
Áîëüøèíñòâî àëãîðèòìîâ äåëàþò òàê: ñ÷èòàþò î÷åíü
ãðóáûé log îò âñåõ ÷èñåë (íàïðèìåð, êîëè÷åñòâî áèòîâ).
Ïîòîì âìåñòî äåëåíèÿ ìîæíî âû÷èòàòü log 2, log 3 è ò.ä.
(òîæå ãðóáûå ëîãàðèôìû).
Ó êîãî â êîíöå êîíöîâ ïîëó÷èòñÿ îêîëî íóëÿ, òîò è
ãëàäêèé.
Êðîìå òîãî, îáû÷íî íå ïðîâåðÿþò ñòåïåíè ïðîñòûõ
÷èñåë íà ýòîì ìû ïîòåðÿåì íåêîòîðûå ãëàäêèå ÷èñëà,
íî íå ñëèøêîì ìíîãî.



Ðåøåòî Ýðàòîñôåíà: ñëîæíîñòü

Òàêàÿ ïðîâåðêà íà ãëàäêîñòü î÷åíü áûñòðî ïðîèñõîäèò.
Íàì íóæíî äëÿ êàæäîãî ïðîñòîãî ÷èñëà p Y ñäåëàòü N p
îïåðàöèé. Íà ýòî åñòü òåîðåìà Ìåðòåíñà:
1 = ln ln Y + γ + O 1 , ãäå γ ≈ 0, 261497...
p Y p log Y
Èíà÷å ãîâîðÿ, ìû ïðîâåðèì N ÷èñåë íà Y -ãëàäêîñòü çà
âðåìÿ O (N log log Y ).
Íî ó íàñ íå âñå ÷èñëà, à î÷åíü ñïåöèàëüíûå:
Q (x ) = x 2 − n. ×òî äåëàòü?



Êâàäðàòè÷íîå ðåøåòî

À òî æå ñàìîå. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü
Q (x ) = x 2 − n äëÿ x = x0 = n , x0 + 1, . . ..
√

Äëÿ êàêèõ çíà÷åíèé x Q (x ) áóäåò äåëèòüñÿ íà p?



Êâàäðàòè÷íîå ðåøåòî

À òî æå ñàìîå. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü
Q (x ) = x 2 − n äëÿ x = x0 = n , x0 + 1, . . ..
√

Äëÿ êàêèõ çíà÷åíèé x Q (x ) áóäåò äåëèòüñÿ íà p?
Åñëè n êâàäðàò ïî ìîäóëþ p, òî x 2 − n ≡ 0 (mod n) i
x ≡ a èëè b (mod p), ãäå a è b êîðíè èç n ïî ìîäóëþ p.
Åñëè n íå êâàäðàò (mod p), òî äåëèòüñÿ íèêîãäà íå
áóäåò.
Çíà÷èò, ìîæíî ïðîñòî òàê æå âû÷¼ðêèâàòü òå Q (x ), äëÿ
êîòîðûõ x äåëèòñÿ íà a èëè b.
Òî æå ñàìîå, êîíå÷íî, ðàáîòàåò äëÿ ëþáîãî äðóãîãî
ìíîãî÷ëåíà ñòåïåíè 2.




Â èòîãå ïîëó÷èëîñü, ÷òî âìåñòî π2(Y ) â ÷èñëèòåëå îöåíêè
ñòàëî π(Y ) log log X . Ñàìà îöåíêà ñëîæíîñòè:
π(Y )X log log X
;
ψ(X , Y )
àíàëîãè÷íûå ñîîáðàæåíèÿ íàñ÷¼ò Y = X 1/u ïðèâîäÿò íà
ýòîò ðàç ê
(2 + o (1)) log X
Y = e ( 2 +o (1)) log X log log X ,
1
q
u=
log log X ,

è îöåíêà ñëîæíîñòè äëÿ X = n 2 +o (1) ïîëó÷àåòñÿ
1

1 √
Ln ; 1 = e (1+o (1)) log n log log n .
2
√
Ìû ñýêîíîìèëè: âìåñòî Ln 1
2; 2 ïîëó÷èëè Ln 1
2; 1.


Î ðåøåíèè ëèíåéíîé ñèñòåìû

Ìû òóò âñ¼ âðåìÿ çàáûâàåì î ðåøåíèè ëèíåéíîé ñèñòåìû.
Íî îíà òîæå çàíèìàåò âðåìÿ. Êàêîå? Ó íàñ
π(Y ) ≈ Y / log Y óðàâíåíèé è íåèçâåñòíûõ.
Íàèâíûé ìåòîä Ãàóññà ðàáîòàåò O (n3); ýòî äëÿ íàøåãî√
Y = e ( 2 +o (1)) log X log log X äàñò e ( 2 +o (1)) log n log log n , ò.å.
1
q
3

áîëüøå, ÷åì Ln 2 ; 1 .
1

Çíà÷èò, íóæíû äðóãèå ìåòîäû.



Ìåòîä Ãàóññà

Âàðèàíò ìåòîäà Ãàóññà âñ¼ ðàâíî ïðèìåíÿåòñÿ íà ïåðâîì
ýòàïå, äëÿ óïðîùåíèÿ; íóæíî:
1 óäàëèòü âñå ñòîëáöû ñ ≤ 1 íåíóëåâûì ýëåìåíòîì è âñå
ñòðîêè, â êîòîðûõ ýòè íåíóëåâûå ýëåìåíòû áûëè;
2 ïîìåòèòü ñòîëáöû êàê ¾òÿæ¼ëûå¿ èëè ¾ë¼ãêèå¿, â
çàâèñèìîñòè îò ê-âà íåíóëåâûõ ê-íòîâ;
3 äëÿ êàæäîé ñòðîêè, ó êîòîðîé òîëüêî îäèí íåíóëåâîé ê-íò
±1 â ë¼ãêîì ñòîëáöå, ïîâû÷èòàòü å¼ èç äðóãèõ ñòðîê ñ
ê-íòàìè â ýòîì ñòîëáöå, îáíóëèâ âñå îñòàëüíûå ñòðîêè;
4 ïîâòîðèòü, ïîêà ìàòðèöà íå ñòàíåò äîñòàòî÷íî ìàëåíüêîé.
Ïðè ýòîì ìàòðèöà âñ¼ ðàâíî îñòàíåòñÿ ðàçðåæåííîé, è ñ
íåé ìîæíî ðàáîòàòü áîëåå áûñòðûìè àëãîðèòìàìè.



Àëãîðèòìû äëÿ ðàçðåæåííûõ ìàòðèö

Àëãîðèòì Ëàíöîøà (Lanczos) ïî÷òè íå èñïîëüçóåò
äîïîëíèòåëüíîé ïàìÿòè, êðîìå ìàòðèöû, äîêàçàòåëüñòâà
âåðõíåé îöåíêè íåò, íî íà ïðàêòèêå âñåãäà O (n2).
Àëãîðèòì Âèäåìàííà (Wiedemann) òîæå O (n2); ìû
àëãîðèòì ðàññìîòðèì.
Êîïïåðñìèò (Coppersmith): áëî÷íûé àëãîðèòì Âèäåìàííà.



Àëãîðèòì Âèäåìàííà

Çàäà÷à: íàéòè òàêîé âåêòîð w, ÷òî Aw = 0.
Ðàññìîòðèì ñëó÷àéíûå âåêòîðû x è z, à òàêæå y = Az.
Ðàññìîòðèì
x y, x Ay, x A2 y, x A3 y, . . .



Ìèíèìàëüíûé ìíîãî÷ëåí

Âñïîìíèì ëèíåéíóþ àëãåáðó: ó ìàòðèöû A ðàçìåðà n × n
åñòü ìèíèìàëüíûé ìíîãî÷ëåí p ñòåïåíè n0 ≤ n, äëÿ
êîòîðîãî p(A) = 0.
Ïóñòü ìèíèìàëüíûé ìíîãî÷ëåí p: n=0 pi Ai = 0. Çíà÷èò,
i
0

n0
pi x Ai y = 0,
i =0
è ýòîò ìíîãî÷ëåí òàêæå ïîðîæäàåò è íàøó
ïîñëåäîâàòåëüíîñòü.
Íî êîãäà ìû èçó÷àëè ïîòî÷íûå øèôðû, ó íàñ áûë
àëãîðèòì Áåðëåêàìïà-Ìåññè êàê ðàç äëÿ òîãî, ÷òîáû
íàõîäèòü ïîðîæäàþùèå ìíîãî÷ëåíû!


Àëãîðèòì Âèäåìàííà

Èòàê, ìû ïðèìåíÿåì àëãîðèòì Áåðëåêàìïà-Ìåññè è
ïîëó÷àåì òàêèå êîýôôèöèåíòû qi , ÷òî
n0
qi x Ai y = 0.
i =0
Ìû íàäååìñÿ, ÷òî ïðè ýòîì çàîäíî è
n0 n0
qi Ai y = 0, è, ò.ê. y = Az, M qi Ai z 0
= ,
i =0 i =0
è ìû íàäååìñÿ, ÷òî w = n=0 qi Ai z = 0, âåäü òîãäà ýòî è
i
0

åñòü ðåøåíèå.
Íàøè íàäåæäû ÷àñòî (ïî x è y) áóäóò îïðàâäûâàòüñÿ.


Èòîãè

Êàê áû òî íè áûëî, ìû ñ÷èòàåì, ÷òî íàøè àëãîðèòìû
ðåøåíèÿ ñèñòåì ðàáîòàþò çà O (n2).
È äëÿ q
êâàäðàòè÷íîãî ðåøåòà ïðè √
1 +o (1) log X log log X
= e ( 2 +o (1)) log n log log n
1
Y = e (2 )
√
ïîëó÷àåòñÿ êàê ðàç e (1+o (1)) log n log log n , ò.å. øàãè ðåøåíèÿ
ñèñòåìû è å¼ ïîñòðîåíèÿ ýêâèâàëåíòíû ïî ñëîæíîñòè.
Íà ïðàêòèêå îáû÷íî äåëàþò ñèñòåìó ïîìåíüøå, ò.ê. ðåøåòî
î÷åíü ëåãêî ðàñïàðàëëåëèòü, à ðåøåíèå ñèñòåìû íèêàê.



Ðåøåòî ÷èñëîâîãî ïîëÿ

Îäíàêî êâàäðàòè÷íîå ðåøåòî íå ïðåäåë ìå÷òàíèé.
Åù¼ ýôôåêòèâíåå îêàçûâàåòñÿ ìåòîä ðåøåòà ÷èñëîâîãî
ïîëÿ (number eld sieve).
Ïî ñóòè ìåòîä àíàëîãè÷åí êâàäðàòè÷íîìó ðåøåòó, íî
òåïåðü âñ¼ ïðîèñõîäèò íàä äðóãèìè êîëüöàìè.
Ìû ðàññìîòðèì òîëüêî îñíîâíóþ èäåþ, áåçî âñÿêèõ
äîêàçàòåëüñòâ.



Èäåÿ

Ìû õîòèì ðàçëîæèòü n. Ïðåäïîëîæèì, ÷òî ó íàñ åñòü
íåïðèâîäèìûé ìíîãî÷ëåí f (x ) è ÷èñëî m, òàêîå, ÷òî
f (m) ≡ 0 (mod n).
Ðàññìîòðèì êîìïëåêñíûé êîðåíü α ìíîãî÷ëåíà f (x ) è
êîëüöî Z[α].
f (m) ≡ 0 (mod n) è f (α) = 0, ñëåäîâàòåëüíî, åñòü
åñòåñòâåííûé ãîìîìîðôèçì êîëåö ϕ : Z[α] → Zn , êîòîðûé
îòîáðàæàåò α â m.



Èäåÿ

Òåïåðü ïðåäïîëîæèì, ÷òî ó íàñ åñòü ìíîæåñòâî òàêèõ ïàð
÷èñåë (a, b), ÷òî:
ïðîèçâåäåíèå âñåõ (a − αb) êâàäðàò â êîëüöå Z [α],
ñêàæåì, γ2 ;
ïðîèçâåäåíèå âñåõ (a − mb) êâàäðàò â Z, ñêàæåì, v 2 .
Çàìåíèì â âûðàæåíèè äëÿ γ α íà m; ïîëó÷èì ϕ(γ) ≡ u
mod n. Òåïåðü
u 2 ≡ ϕ(γ)2 = ϕ γ2 = ϕ (a − αb) =

= (ϕ (a − αb)) = mod n),
(a − mb) = v 2 (

è ìû òåì ñàìûì ñìîæåì ðàçëîæèòü n íà ìíîæèòåëè.


Ìíîãî÷ëåí f

Íî îòêóäà âçÿòü f ? Îí ñàì ñîáîé ïîÿâèòñÿ.
Âûáåðåì ñòåïåíü d , ïîëîæèì m = n1/d .
Çàïèøåì n ïî îñíîâàíèþ m: n = md + cd −1 md −1 + . . . + c0 .
Âîò è ìíîãî÷ëåí: f (x ) = x d + cd −1 x d −1 + . . . + c0 .
Îòäåëüíûé âîïðîñ: áóäåò ëè îí íåïðèâîäèìûì? Åñëè íå
áóäåò, òî n = f (m) = g (m)h(m), è ìû óæå (ñ âûñîêîé
âåðîÿòíîñòüþ) ðàçëîæèëè n. Òàê ÷òî áóäåò. :)



×èñëà a è b

Îòêóäà âçÿòü a è b? Èç òàêîãî æå ðåøåòà.
×òîáû (a − mb) áûëî êâàäðàòîì, íóæíî ðåøèòü
ëèíåéíóþ ñèñòåìó íà êîýôôèöèåíòû, êàê ðàíüøå.
×òîáû (a − αb) áûëî êâàäðàòîì, íóæíî ðåøèòü
ëèíåéíóþ ñèñòåìó íà êîýôôèöèåíòû â êîëüöå Z[α], åñëè
ýòî õîðîøåå êîëüöî (ñ åäèíñòâåííîñòüþ ðàçëîæåíèÿ).
Õîðîøåå êîëüöî ìîæíî äîáûòü (áåç ä-âà).
Òåïåðü ìîæíî ïðîñòî îáúåäèíèòü äâå ñèñòåìû íàì
íóæíî, ÷òîáû îáà ñâîéñòâà âûïîëíÿëèñü.




×åì õîðîøî ðåøåòî ÷èñëîâîãî ïîëÿ?
Íàøè îöåíêè áûëè îñíîâàíû íà X êîëè÷åñòâå ÷èñåë, èç
êîòîðûõ ìîæíî ñäåëàòü êâàäðàò.
Ó íàñ áûëî X = n1/2+ .
À â number eld sieve ïîëó÷àåòñÿ X = e c (log n)2 3(log log n)1 3 ,
/ /

÷òî äà¼ò îáùóþ îöåíêó ñëîæíîñòè
1
Ln ; c = e (c +o (1))(log n) (log log n) .
1 3 / 2 3 /

3
Òåîðåòè÷åñêèé ðåêîðä: c ≈ 1, 902, îáû÷íî èñïîëüçóþò
c ≈ 1, 923; íî ãëàâíîå îñíîâíàÿ àñèìïòîòèêà ñòàëà
ëó÷øå.


Ñïàñèáî çà âíèìàíèå!

Lecture notes è ñëàéäû áóäóò ïîÿâëÿòüñÿ íà ìîåé
homepage:
http://logic.pdmi.ras.ru/∼sergey/
Ïðèñûëàéòå ëþáûå çàìå÷àíèÿ, ðåøåíèÿ óïðàæíåíèé,
íîâûå ÷èñëåííûå ïðèìåðû è ïðî÷åå ïî àäðåñàì:
sergey@logic.pdmi.ras.ru, snikolenko@gmail.com
Çàõîäèòå â ÆÆ smartnik.


20091115 cryptoprotocols nikolenko_lecture07

More Related Content

What's hot (19)

Viewers also liked (20)

Similar to 20091115 cryptoprotocols nikolenko_lecture07 (20)

More from Computer Science Club (20)

20091115 cryptoprotocols nikolenko_lecture07