SlideShare a Scribd company logo
Ìåòîä Êðàé÷èêà
Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî




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



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

      Êðèïòîãðàôèÿ  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.



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

More Related Content

What's hot

Ala too 2_fevral_2010
Ala too 2_fevral_2010Ala too 2_fevral_2010
Ala too 2_fevral_2010Inash Azim
 
20091129 cryptoprotocols nikolenko_lecture09
20091129 cryptoprotocols nikolenko_lecture0920091129 cryptoprotocols nikolenko_lecture09
20091129 cryptoprotocols nikolenko_lecture09Computer Science Club
 
Ruder tipographica
Ruder tipographicaRuder tipographica
Ruder tipographicaEdutainment
 
20081109 auctions nikolenko_lecture08
20081109 auctions nikolenko_lecture0820081109 auctions nikolenko_lecture08
20081109 auctions nikolenko_lecture08Computer Science Club
 
Inflatorni kosmološki modeli
Inflatorni kosmološki modeliInflatorni kosmološki modeli
Inflatorni kosmološki modeliMilan Milošević
 
20080928 introductorycourse itsykson_lecture02
20080928 introductorycourse itsykson_lecture0220080928 introductorycourse itsykson_lecture02
20080928 introductorycourse itsykson_lecture02Computer Science Club
 
Ky Nang Dam Phan
Ky Nang Dam PhanKy Nang Dam Phan
Ky Nang Dam PhanThuong HL
 
Bai Giang 6
Bai Giang 6Bai Giang 6
Bai Giang 6nbb3i
 
10 best hotel chains îð÷óóëãà
10 best hotel chains îð÷óóëãà10 best hotel chains îð÷óóëãà
10 best hotel chains îð÷óóëãàLha Bolorerdene
 
Chuong 4,6 ktdc
Chuong 4,6 ktdcChuong 4,6 ktdc
Chuong 4,6 ktdcJung Lee
 
Tài Liệu Quản Trị Học Tham Khảo
Tài Liệu Quản Trị Học Tham Khảo Tài Liệu Quản Trị Học Tham Khảo
Tài Liệu Quản Trị Học Tham Khảo
nataliej4
 
Chong doi ngheo o Chau A va Thai Binh Duong
Chong doi ngheo o Chau A va Thai Binh DuongChong doi ngheo o Chau A va Thai Binh Duong
Chong doi ngheo o Chau A va Thai Binh Duong
foreman
 
Phương pháp số và lập trình - Tính sai số
Phương pháp số và lập trình - Tính sai sốPhương pháp số và lập trình - Tính sai số
Phương pháp số và lập trình - Tính sai sốHajunior9x
 

What's hot (19)

Ala too 2_fevral_2010
Ala too 2_fevral_2010Ala too 2_fevral_2010
Ala too 2_fevral_2010
 
20091129 cryptoprotocols nikolenko_lecture09
20091129 cryptoprotocols nikolenko_lecture0920091129 cryptoprotocols nikolenko_lecture09
20091129 cryptoprotocols nikolenko_lecture09
 
2009 3
2009 32009 3
2009 3
 
Ruder tipographica
Ruder tipographicaRuder tipographica
Ruder tipographica
 
20081109 auctions nikolenko_lecture08
20081109 auctions nikolenko_lecture0820081109 auctions nikolenko_lecture08
20081109 auctions nikolenko_lecture08
 
Inflatorni kosmološki modeli
Inflatorni kosmološki modeliInflatorni kosmološki modeli
Inflatorni kosmološki modeli
 
20080928 introductorycourse itsykson_lecture02
20080928 introductorycourse itsykson_lecture0220080928 introductorycourse itsykson_lecture02
20080928 introductorycourse itsykson_lecture02
 
Soril3
Soril3Soril3
Soril3
 
Ky Nang Dam Phan
Ky Nang Dam PhanKy Nang Dam Phan
Ky Nang Dam Phan
 
Bai Giang 6
Bai Giang 6Bai Giang 6
Bai Giang 6
 
10 best hotel chains îð÷óóëãà
10 best hotel chains îð÷óóëãà10 best hotel chains îð÷óóëãà
10 best hotel chains îð÷óóëãà
 
Toiuu Tk
Toiuu TkToiuu Tk
Toiuu Tk
 
06
0606
06
 
Xs 036
Xs 036Xs 036
Xs 036
 
Chuong 4,6 ktdc
Chuong 4,6 ktdcChuong 4,6 ktdc
Chuong 4,6 ktdc
 
Tài Liệu Quản Trị Học Tham Khảo
Tài Liệu Quản Trị Học Tham Khảo Tài Liệu Quản Trị Học Tham Khảo
Tài Liệu Quản Trị Học Tham Khảo
 
Chong doi ngheo o Chau A va Thai Binh Duong
Chong doi ngheo o Chau A va Thai Binh DuongChong doi ngheo o Chau A va Thai Binh Duong
Chong doi ngheo o Chau A va Thai Binh Duong
 
Cam nang
Cam nangCam nang
Cam nang
 
Phương pháp số và lập trình - Tính sai số
Phương pháp số và lập trình - Tính sai sốPhương pháp số và lập trình - Tính sai số
Phương pháp số và lập trình - Tính sai số
 

Viewers also liked

Zakaznicka pece v socialnich sitich (2011)
Zakaznicka pece v socialnich sitich (2011)Zakaznicka pece v socialnich sitich (2011)
Zakaznicka pece v socialnich sitich (2011)
Oleg Vojtisek
 
steven
stevensteven
certifikat komputer
certifikat komputercertifikat komputer
certifikat komputer
Indra Kurniawan
 
MIchal Bláha: Nové trendy v péči o zákazníka
MIchal Bláha: Nové trendy v péči o zákazníkaMIchal Bláha: Nové trendy v péči o zákazníka
MIchal Bláha: Nové trendy v péči o zákazníkaKISK FF MU
 
La ley pulpín nos perjudica a todos
La ley pulpín nos perjudica a todosLa ley pulpín nos perjudica a todos
La ley pulpín nos perjudica a todos
Albert Parsons
 
Traffic Evaluation DONE
Traffic Evaluation DONETraffic Evaluation DONE
Traffic Evaluation DONE
James E. Jones
 
Mapping the Milky Way from Space
Mapping the Milky Way from SpaceMapping the Milky Way from Space
The Bottom Line's Home Repair Rip-Offs!
The Bottom Line's Home Repair Rip-Offs!The Bottom Line's Home Repair Rip-Offs!
The Bottom Line's Home Repair Rip-Offs!
Michael Brown
 
Failing to care 12 may 2015 NFWI Resolution
Failing to care 12 may 2015 NFWI ResolutionFailing to care 12 may 2015 NFWI Resolution
Failing to care 12 may 2015 NFWI Resolution
Helen Tyrrell
 
Intervencion 2015 02
Intervencion 2015 02Intervencion 2015 02
Intervencion 2015 02
Universidad de los Andes
 
To be in past gen net
To be in past gen netTo be in past gen net
To be in past gen net
alejandraaleida2
 
First Contact Resolution: svatý grál zákaznické péče
First Contact Resolution: svatý grál zákaznické péčeFirst Contact Resolution: svatý grál zákaznické péče
First Contact Resolution: svatý grál zákaznické péče
Oleg Vojtisek
 
Sniply Tutorial / Step by Step Guide
Sniply Tutorial / Step by Step GuideSniply Tutorial / Step by Step Guide
Sniply Tutorial / Step by Step Guide
chairmanarnold
 
Clima d_aula_ppt_ct
Clima d_aula_ppt_ctClima d_aula_ppt_ct
Clima d_aula_ppt_ct
emmsantboi
 
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADORREGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
Sabrina Tenorio
 
Horno AEG BP331302FM
Horno AEG BP331302FMHorno AEG BP331302FM
Horno AEG BP331302FM
Alsako Electrodomésticos
 
One piece volume 24(217-226)
One piece volume 24(217-226)One piece volume 24(217-226)
One piece volume 24(217-226)
Marcos Donato
 
Nevera Balay 3FA4665X
Nevera Balay 3FA4665XNevera Balay 3FA4665X
Nevera Balay 3FA4665X
Alsako Electrodomésticos
 
19.2.2009_Peter_Weisenbacher
19.2.2009_Peter_Weisenbacher19.2.2009_Peter_Weisenbacher
19.2.2009_Peter_WeisenbacherKISK FF MU
 

Viewers also liked (20)

Zakaznicka pece v socialnich sitich (2011)
Zakaznicka pece v socialnich sitich (2011)Zakaznicka pece v socialnich sitich (2011)
Zakaznicka pece v socialnich sitich (2011)
 
steven
stevensteven
steven
 
certifikat komputer
certifikat komputercertifikat komputer
certifikat komputer
 
MIchal Bláha: Nové trendy v péči o zákazníka
MIchal Bláha: Nové trendy v péči o zákazníkaMIchal Bláha: Nové trendy v péči o zákazníka
MIchal Bláha: Nové trendy v péči o zákazníka
 
La ley pulpín nos perjudica a todos
La ley pulpín nos perjudica a todosLa ley pulpín nos perjudica a todos
La ley pulpín nos perjudica a todos
 
Traffic Evaluation DONE
Traffic Evaluation DONETraffic Evaluation DONE
Traffic Evaluation DONE
 
Mapping the Milky Way from Space
Mapping the Milky Way from SpaceMapping the Milky Way from Space
Mapping the Milky Way from Space
 
The Bottom Line's Home Repair Rip-Offs!
The Bottom Line's Home Repair Rip-Offs!The Bottom Line's Home Repair Rip-Offs!
The Bottom Line's Home Repair Rip-Offs!
 
Failing to care 12 may 2015 NFWI Resolution
Failing to care 12 may 2015 NFWI ResolutionFailing to care 12 may 2015 NFWI Resolution
Failing to care 12 may 2015 NFWI Resolution
 
Soap Midia Internet
Soap Midia InternetSoap Midia Internet
Soap Midia Internet
 
Intervencion 2015 02
Intervencion 2015 02Intervencion 2015 02
Intervencion 2015 02
 
To be in past gen net
To be in past gen netTo be in past gen net
To be in past gen net
 
First Contact Resolution: svatý grál zákaznické péče
First Contact Resolution: svatý grál zákaznické péčeFirst Contact Resolution: svatý grál zákaznické péče
First Contact Resolution: svatý grál zákaznické péče
 
Sniply Tutorial / Step by Step Guide
Sniply Tutorial / Step by Step GuideSniply Tutorial / Step by Step Guide
Sniply Tutorial / Step by Step Guide
 
Clima d_aula_ppt_ct
Clima d_aula_ppt_ctClima d_aula_ppt_ct
Clima d_aula_ppt_ct
 
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADORREGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
REGLAMENTO GENERAL DE ALOJAMIENTO EN ECUADOR
 
Horno AEG BP331302FM
Horno AEG BP331302FMHorno AEG BP331302FM
Horno AEG BP331302FM
 
One piece volume 24(217-226)
One piece volume 24(217-226)One piece volume 24(217-226)
One piece volume 24(217-226)
 
Nevera Balay 3FA4665X
Nevera Balay 3FA4665XNevera Balay 3FA4665X
Nevera Balay 3FA4665X
 
19.2.2009_Peter_Weisenbacher
19.2.2009_Peter_Weisenbacher19.2.2009_Peter_Weisenbacher
19.2.2009_Peter_Weisenbacher
 

Similar to 20091115 cryptoprotocols nikolenko_lecture07

Эмиль Рудер, Типографика
Эмиль Рудер, ТипографикаЭмиль Рудер, Типографика
Эмиль Рудер, Типографика
Edutainment
 
20081005 auctions nikolenko_lecture01
20081005 auctions nikolenko_lecture0120081005 auctions nikolenko_lecture01
20081005 auctions nikolenko_lecture01Computer Science Club
 
Eegii 230 bie daalt
Eegii 230 bie daaltEegii 230 bie daalt
Eegii 230 bie daalt
erka_1213
 
Pm519 standart
Pm519  standartPm519  standart
Pm519 standartuserjigmee
 
Tuyen tap he hay
Tuyen tap he hayTuyen tap he hay
Tuyen tap he hay
Vui Lên Bạn Nhé
 
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh TuấnTuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
Dương Ngọc Taeny
 
Mongolia 123
Mongolia 123Mongolia 123
Mongolia 123turoo
 
Garchgiin jagsaalt
Garchgiin jagsaaltGarchgiin jagsaalt
Garchgiin jagsaaltgereloyun
 
20091213 cryptoprotocols nikolenko_lecture11
20091213 cryptoprotocols nikolenko_lecture1120091213 cryptoprotocols nikolenko_lecture11
20091213 cryptoprotocols nikolenko_lecture11Computer Science Club
 
Econo freedom 2008
Econo freedom 2008Econo freedom 2008
Econo freedom 2008guestf7c7a1
 
Negdugeer buleg
Negdugeer bulegNegdugeer buleg
Negdugeer buleg
togosoo
 
20090510 hardnessvsrandomness itsykson_lecture11
20090510 hardnessvsrandomness itsykson_lecture1120090510 hardnessvsrandomness itsykson_lecture11
20090510 hardnessvsrandomness itsykson_lecture11Computer Science Club
 
Garchgiin jagsaalt
Garchgiin jagsaaltGarchgiin jagsaalt
Garchgiin jagsaaltEnhchimeg28
 

Similar to 20091115 cryptoprotocols nikolenko_lecture07 (20)

2010 4
2010 42010 4
2010 4
 
Эмиль Рудер, Типографика
Эмиль Рудер, ТипографикаЭмиль Рудер, Типографика
Эмиль Рудер, Типографика
 
20081005 auctions nikolenko_lecture01
20081005 auctions nikolenko_lecture0120081005 auctions nikolenko_lecture01
20081005 auctions nikolenko_lecture01
 
2010 2
2010 22010 2
2010 2
 
2010 9
2010 92010 9
2010 9
 
2009 11
2009 112009 11
2009 11
 
Saw baglaa boodol st
Saw baglaa boodol stSaw baglaa boodol st
Saw baglaa boodol st
 
Eegii 230 bie daalt
Eegii 230 bie daaltEegii 230 bie daalt
Eegii 230 bie daalt
 
Pm519 standart
Pm519  standartPm519  standart
Pm519 standart
 
Tuyen tap he hay
Tuyen tap he hayTuyen tap he hay
Tuyen tap he hay
 
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh TuấnTuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
Tuyển chọn 410 Hệ phương trình ver2 Nguyễn Minh Tuấn
 
Mongolia 123
Mongolia 123Mongolia 123
Mongolia 123
 
06
0606
06
 
Garchgiin jagsaalt
Garchgiin jagsaaltGarchgiin jagsaalt
Garchgiin jagsaalt
 
Soril5
Soril5Soril5
Soril5
 
20091213 cryptoprotocols nikolenko_lecture11
20091213 cryptoprotocols nikolenko_lecture1120091213 cryptoprotocols nikolenko_lecture11
20091213 cryptoprotocols nikolenko_lecture11
 
Econo freedom 2008
Econo freedom 2008Econo freedom 2008
Econo freedom 2008
 
Negdugeer buleg
Negdugeer bulegNegdugeer buleg
Negdugeer buleg
 
20090510 hardnessvsrandomness itsykson_lecture11
20090510 hardnessvsrandomness itsykson_lecture1120090510 hardnessvsrandomness itsykson_lecture11
20090510 hardnessvsrandomness itsykson_lecture11
 
Garchgiin jagsaalt
Garchgiin jagsaaltGarchgiin jagsaalt
Garchgiin jagsaalt
 

More from Computer Science Club

20141223 kuznetsov distributed
20141223 kuznetsov distributed20141223 kuznetsov distributed
20141223 kuznetsov distributed
Computer Science Club
 
Computer Vision
Computer VisionComputer Vision
Computer Vision
Computer Science Club
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
Computer Science Club
 
20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs
Computer Science Club
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
Computer Science Club
 
20140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture1220140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture12Computer Science Club
 
20140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture1120140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture11
Computer Science Club
 
20140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture1020140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture10Computer Science Club
 
20140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture0920140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture09Computer Science Club
 
20140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture0220140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture02Computer Science Club
 
20140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture0120140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture01Computer Science Club
 
20140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-0420140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-04Computer Science Club
 
20140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture0120140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture01Computer Science Club
 

More from Computer Science Club (20)

20141223 kuznetsov distributed
20141223 kuznetsov distributed20141223 kuznetsov distributed
20141223 kuznetsov distributed
 
Computer Vision
Computer VisionComputer Vision
Computer Vision
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
 
20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
 
20140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture1220140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture12
 
20140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture1120140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture11
 
20140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture1020140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture10
 
20140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture0920140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture09
 
20140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture0220140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture02
 
20140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture0120140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture01
 
20140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-0420140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-04
 
20140223-SuffixTrees-lecture01-03
20140223-SuffixTrees-lecture01-0320140223-SuffixTrees-lecture01-03
20140223-SuffixTrees-lecture01-03
 
20140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture0120140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture01
 
20131106 h10 lecture6_matiyasevich
20131106 h10 lecture6_matiyasevich20131106 h10 lecture6_matiyasevich
20131106 h10 lecture6_matiyasevich
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
20131013 h10 lecture4_matiyasevich
20131013 h10 lecture4_matiyasevich20131013 h10 lecture4_matiyasevich
20131013 h10 lecture4_matiyasevich
 
20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich
 
20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich
 

20091115 cryptoprotocols nikolenko_lecture07

  • 1. Ìåòîä Êðàé÷èêà Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè Ñåðãåé Íèêîëåíêî Êðèïòîãðàôèÿ CS Club, îñåíü 2009 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 2. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Outline 1 Ìåòîä Êðàé÷èêà Ââåäåíèå Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè 2 Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 3. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Èäåÿ Ìû ñòðîèëè ñèñòåìû, ÷üÿ íàä¼æíîñòü îñíîâàíà íà çàäà÷àõ ðàçëîæåíèÿ ÷èñåë íà ìíîæèòåëè è äèñêðåòíûõ ëîãàðèôìàõ. È ñ÷èòàëè áîëüøèì óñïåõîì, åñëè ïîëó÷àåòñÿ ñâåñòè íàä¼æíîñòü ñèñòåìû ê ñëîæíîñòè ðåøåíèÿ òàêîé çàäà÷è. Íî ÷òî åñëè ñàìè ýòè çàäà÷è îêàæåòñÿ ëåãêî ðåøèòü? Ñåãîäíÿ ìû áóäåì ãîâîðèòü î òîì, êàê ðåøàòü çàäà÷è, íà êîòîðûõ îñíîâàíà ñîâðåìåííàÿ êðèïòîãðàôèÿ. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 4. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ïðîñòåéøèé ìåòîä Ïðîñòåéøèé ìåòîä trial division áåð¼ì ïðîñòûå ÷èñëà îò 2 äî √n è äåëèì íà êàæäîå. 1977: â êîëîíêå Ìàðòèíà Ãàðäíåðà ïîÿâèëñÿ the RSA-129 challenge: ðàçëîæèòü 129-çíà÷íîå ÷èñëî íà ìíîæèòåëè è òåì ñàìûì âçëîìàòü ñåêðåòíûé êîä. Ðèâåñò òîãäà æå ïîäñ÷èòàë, ÷òî ðàçëîæèòü 125-çíà÷íîå ÷èñëî çàäà÷à íà 40 êâàäðèëëèîíîâ ëåò. Îäíàêî ñåé÷àñ RSA-129 ìîæíî âçëîìàòü, è âîâñå íå òîëüêî ïîòîìó, ÷òî êîìïüþòåðû ñòàëè áûñòðåå. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 5. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Çàäà÷êà Íà÷í¼ì ñ çàäà÷êè. Ðàçëîæèòå íà ìíîæèòåëè ÷èñëî 6319 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 6. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Çàäà÷êà Íà÷í¼ì ñ çàäà÷êè. Ðàçëîæèòå íà ìíîæèòåëè ÷èñëî 6319 Èäåÿ: 6319 = 6400 − 81 = 802 − 92 = 71 × 89. ×àñòî ëè íàì áóäåò òàê âåçòè? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 7. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Çàäà÷êà Íà÷í¼ì ñ çàäà÷êè. Ðàçëîæèòå íà ìíîæèòåëè ÷èñëî 6319 Òî æå ñàìîå ðàáîòàåò ñ ëþáûì íå÷¼òíûì ñîñòàâíûì ÷èñëîì: 2 a+b 2 a−b ab = 2 − 2 . Ýòî ìåòîä Ôåðìà åù¼ Ôåðìà åãî ïðåäëîæèë. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 8. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Ôåðìà Àëãîðèòì: áðàòü x 2 − n äëÿ ðàçíûõ x è æäàòü äðóãîé êâàäðàò. Íàïðèìåð, äëÿ ÷èñëà 6319 âñ¼ ïðîñòî: áëèæàéøèé êâàäðàò ñâåðõó ýòî 6400, è êîãäà ìû âû÷èòàåì 802 − 6139 = 81, ñðàçó ïîëó÷àåì êâàäðàò. Íî çäåñü âåçåíèÿ íóæíî íå ìåíüøå, ÷åì äëÿ ïðîáíîãî äåëåíèÿ. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 9. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ñ äâóõ ñòîðîí Ìåòîä ïðîáíîãî äåëåíèÿ õîðîøî ðàáîòàåò äëÿ î÷åíü ãëàäêèõ ÷èñåë, êîãäà áûñòðî íàéäóòñÿ ïðîñòûå äåëèòåëè. Ìåòîä Ôåðìà äëÿ ìàêñèìàëüíî ¾íåãëàäêèõ¿ ÷èñåë, êîãäà äåëèòåëè áëèçêè ê √n. Íî, êîíå÷íî, ñàìè ïî ñåáå îíè îäèíàêîâî óæàñíû. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 10. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà 1920s, Maurice Kraitchik, áåëüãèéñêèé ìàòåìàòèê. Óëó÷øåíèå ìåòîäà Ôåðìà: âìåñòî òàêèõ u è v , ÷òî u 2 − v 2 = n, ìîæíî èñêàòü òàêèå u è v , ÷òî u 2 − v 2 ≡ 0 (mod n). Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 11. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà Åñëè u ≡ ±v (mod n), òî èç u2 − v 2 ≡ 0 mod n) ( òîæå ïîëó÷èòñÿ ðàçëîæåíèå: n äåëèòñÿ íà (u − v )(u + v ), íî íå äåëèòñÿ íè íà u − v , íè íà u + v , ñëåäîâàòåëüíî, ÍÎÄ(u − v , n) íåòðèâèàëüíûé äåëèòåëü n. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 12. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà Àëãîðèòì: ïî-ïðåæíåìó áðàòü 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 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 13. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà: ïðèìåð Ïðèìåð: ðàññìîòðèì 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. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 14. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà: àëãîðèòì Èòàê, âîò êàêîé àëãîðèòì èç ìåòîäà Êðàé÷èêà ïîëó÷àåòñÿ. 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). Íî ÷òî çíà÷èò ¾ïîèãðàòüñÿ¿? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 15. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ìåòîä Êðàé÷èêà: àëãîðèòì Èòàê, âîò êàêîé àëãîðèòì èç ìåòîäà Êðàé÷èêà ïîëó÷àåòñÿ. 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). Íî ÷òî çíà÷èò ¾ïîèãðàòüñÿ¿? Âñ¼ ïðîñòî: ðåøèòü ñèñòåìó ëèíåéíûõ óðàâíåíèé íà ñòåïåíè ìàëåíüêèõ ïðîñòûõ ÷èñåë. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 16. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ãëàäêèå ÷èñëà Ãëàäêîå ÷èñëî (smooth number) ÷èñëî, ó êîòîðîãî òîëüêî ìàëåíüêèå ïðîñòûå äåëèòåëè; Y -ãëàäêîå çíà÷èò, âñå äåëèòåëè ≤ Y . Ïðîâåðÿòü íà Y -ãëàäêîñòü ìîæíî ïðîñòûì ïåðåáîðîì ïðîñòûõ ÷èñåë äî Y ; à ìîæíî è ëó÷øå, íî îá ýòîì ÷óòü ïîçæå. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 17. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ãëàäêèå ÷èñëà äëÿ íàøåãî ïðèìåðà Ó íàñ áûëè 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). Íî êâàäðàò îòðèöàòåëüíûì áûòü íå ìîæåò. Êàê ó÷åñòü ýòî â ìåòîäå? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 18. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Íåïðåðûâíûå äðîáè Âìåñòî çíà÷åíèé Q (x ) = x 2 − n ìîæíî ðàññìàòðèâàòü ïðèáëèæåíèÿ ê √n â âèäå íåïðåðûâíîé äðîáè ñ ïîñëåäîâàòåëüíîñòüþ ïðèáëèæåíèé b . a i Òîãäà ìîæíî çàìåíèòü Q (x ) íà Qi = ai2 − bi2n. i Äëÿ êâàäðàòíîãî êîðíÿ åñòü ïðîñòûå ñîîòíîøåíèÿ ìåæäó ai è bi , √ òåîðèÿ íåïðåðûâíûõ äðîáåé äà¼ò íåðàâåíñòâî à |Qi | 2 n, â òî âðåìÿ êàê Q (x ) ëèíåéíî ðàñòóò. È çà ñ÷¼ò ìåíüøèõ Qi ïðîâåðÿòü ãëàäêîñòü è ïîäáèðàòü ñîîòíîøåíèÿ ñòàíîâèòñÿ ïðîùå. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 19. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Îöåíêà ñëîæíîñòè Îáîçíà÷èì ÷åðåç ψ(X , Y ) êîëè÷åñòâî Y -ãëàäêèõ ÷èñåë îò 1 äî X . Âåðîÿòíîñòü òîãî, ÷òî ñëó÷àéíîå ÷èñëî ≤ X ÿâëÿåòñÿ Y -ãëàäêèì, ðàâíà ψ(X ,Y ) . X Íàì íóæíî ðåøèòü ñèñòåìó èç π(Y ) óðàâíåíèé (ïî ÷èñëó ïðîñòûõ); ÷òîáû ðåøèëàñü, íóæíî ïðèìåðíî π(Y ) íåèçâåñòíûõ (êîýôôèöèåíòîâ). Ò.å. íóæíî íàéòè π(Y ) ïðîñòûõ ÷èñåë. Ïðîâåðèòü ÷èñëî íà Y -ïðîñòîòó ýòî åù¼ π(Y ) øàãîâ. Èòîãî îæèäàåìîå âðåìÿ ðàáîòû 2 π (Y )X . ψ(X , Y ) Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 20. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Îöåíêà ñëîæíîñòè Ìû õîòèì äëÿ äàííîãî 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 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 21. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ôàêòû èç òåîðèè ÷èñåë Ìû áóäåì ïîëüçîâàòüñÿ ôàêòàìè èç òåîðèè ÷èñåë. Äëÿ ýòîãî ïðèìåðà òåîðåìà Ìåðòåíñà: 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 ). Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 22. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ôàêòû èç òåîðèè ÷èñåë Àíàëîãè÷íî, ψ(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 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 23. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Òî, ÷òî ìû ìèíèìèçèðóåì À íàì íóæíî ìèíèìèçèðîâàòü π2(XY,YX) , òî åñòü, âûðàçèâ ψ( ) Y = X 1/u , ïðèìåðíî u log2 (X 1 ) , ÷òî áóäåò X2 X /u ìèíèìèçèðîâàòüñÿ ïðè −u /u u≈2 log X (ïðîâåðüòå!). log log X Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 24. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Îöåíêà ñëîæíîñòè Èòàê, ìèíèìóì áóäåò äîñòèãàòüñÿ, êîãäà 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 . Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 25. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Ñëîæíîñòíûå îáîçíà÷åíèÿ  ýòîé òåîðèè ìåíÿþòñÿ òîëüêî äâå êîíñòàíòû, ïîýòîìó ââîäÿò îáîçíà÷åíèå 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 Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 26. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Î äîêàçàòåëüñòâàõ Äîêàçàëè ëè ìû îöåíêó íà âðåìÿ ðàáîòû àëãîðèòìà (ïî ìîäóëþ ôàêòîâ òåîðèè ÷èñåë, êîíå÷íî)? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 27. Ìåòîä Êðàé÷èêà Ââåäåíèå Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè Î äîêàçàòåëüñòâàõ Äîêàçàëè ëè ìû îöåíêó íà âðåìÿ ðàáîòû àëãîðèòìà (ïî ìîäóëþ ôàêòîâ òåîðèè ÷èñåë, êîíå÷íî)? Âîâñå íåò! Ìû ïî÷åìó-òî ïðåäïîëîæèëè, ÷òî íàøè ÷èñëà Q (xi ) ýòî ñëó÷àéíûå Y -ãëàäêèå ÷èñëà. Ýòî íèîòêóäà íå ñëåäóåò. Êðîìå òîãî, ìû ïðåäïîëîæèëè, ÷òî íå áóäåì ïîñòîÿííî íàòûêàòüñÿ íà ¾íåèíòåðåñíûå¿ ïàðû (u, v ) (äëÿ êîòîðûõ u ≡ ±v (mod n)). Ýòî òîæå íåèçâåñòíî ïî÷åìó. Íî òóò íè÷åãî íå ïîäåëàåøü. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 28. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Outline 1 Ìåòîä Êðàé÷èêà Ââåäåíèå Ìåòîä Êðàé÷èêà Ãëàäêèå ÷èñëà è îöåíêà ñëîæíîñòè 2 Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 29. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Êàê óëó÷øèòü ìåòîä Êðàé÷èêà Ñëîæíîñòü ìåòîäà Êðàé÷èêà áûëà ðàâíà π2 (Y )X . ψ(X , Y ) ×òî ìû çäåñü â ïðèíöèïå ìîæåì óëó÷øèòü, à ÷òî íåò? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 30. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Êàê óëó÷øèòü ìåòîä Êðàé÷èêà Ñëîæíîñòü ìåòîäà Êðàé÷èêà áûëà ðàâíà π2 (Y )X . ψ(X , Y ) ×òî ìû çäåñü â ïðèíöèïå ìîæåì óëó÷øèòü, à ÷òî íåò? Âåðîÿòíîñòü òîãî, ÷òî ïîïàä¼òñÿ ãëàäêîå ÷èñëî, íàì íåïîäêîíòðîëüíà, ýòî ôàêò æèçíè. À âîò π2(Y ) ýòî îöåíêà, êîòîðîé ìû îöåíèëè ñëîæíîñòü ïðîâåðêè π(Y ) ÷èñåë íà Y -ãëàäêîñòü. È ýòî íå ìàòåìàòè÷åñêàÿ òåîðåìà, à îöåíêà ñëîæíîñòè î÷åâèäíîãî ìåòîäà. Êîòîðûé ìîæíî óëó÷øèòü. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 31. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà Ðåøåòî Ýðàòîñôåíà: ÷òîáû íàéòè ïðîñòûå ÷èñëà îò 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 -ãëàäêèå ÷èñëà? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 32. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà Òî÷íî òàê æå, òîëüêî òåïåðü ìû íå ïðîñòî âû÷¼ðêèâàåì ÷èñëà, à çàìåíÿåì èõ íà ðåçóëüòàò äåëåíèÿ, è èíòåðåñóþò íàñ òå ÷èñëà, êîòîðûå ïðåâðàòÿòñÿ â 1. Êðîìå òîãî, ÷òîáû îòñëåäèòü ñòåïåíè, íóæíî äåëèòü íà ïðîñòûå ÷èñëà íåñêîëüêî ðàç, ïðè êàæäîé ñòåïåíè. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 33. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà Íàïðèìåð, íàéä¼ì 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 .. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 34. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà: óïðîùåíèÿ Êàê áûñòðî-áûñòðî äåëèòü íà çàðàíåå çàäàííûå ÷èñëà? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 35. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà: óïðîùåíèÿ Êàê áûñòðî-áûñòðî äåëèòü íà çàðàíåå çàäàííûå ÷èñëà? Áîëüøèíñòâî àëãîðèòìîâ äåëàþò òàê: ñ÷èòàþò î÷åíü ãðóáûé log îò âñåõ ÷èñåë (íàïðèìåð, êîëè÷åñòâî áèòîâ). Ïîòîì âìåñòî äåëåíèÿ ìîæíî âû÷èòàòü log 2, log 3 è ò.ä. (òîæå ãðóáûå ëîãàðèôìû). Ó êîãî â êîíöå êîíöîâ ïîëó÷èòñÿ îêîëî íóëÿ, òîò è ãëàäêèé. Êðîìå òîãî, îáû÷íî íå ïðîâåðÿþò ñòåïåíè ïðîñòûõ ÷èñåë íà ýòîì ìû ïîòåðÿåì íåêîòîðûå ãëàäêèå ÷èñëà, íî íå ñëèøêîì ìíîãî. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 36. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî Ýðàòîñôåíà: ñëîæíîñòü Òàêàÿ ïðîâåðêà íà ãëàäêîñòü î÷åíü áûñòðî ïðîèñõîäèò. Íàì íóæíî äëÿ êàæäîãî ïðîñòîãî ÷èñëà 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. ×òî äåëàòü? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 37. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Êâàäðàòè÷íîå ðåøåòî À òî æå ñàìîå. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü Q (x ) = x 2 − n äëÿ x = x0 = n , x0 + 1, . . .. √ Äëÿ êàêèõ çíà÷åíèé x Q (x ) áóäåò äåëèòüñÿ íà p? Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 38. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Êâàäðàòè÷íîå ðåøåòî À òî æå ñàìîå. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü 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. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 39. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Îöåíêà ñëîæíîñòè  èòîãå ïîëó÷èëîñü, ÷òî âìåñòî π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. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 40. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Î ðåøåíèè ëèíåéíîé ñèñòåìû Ìû òóò âñ¼ âðåìÿ çàáûâàåì î ðåøåíèè ëèíåéíîé ñèñòåìû. Íî îíà òîæå çàíèìàåò âðåìÿ. Êàêîå? Ó íàñ π(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 Çíà÷èò, íóæíû äðóãèå ìåòîäû. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 41. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ìåòîä Ãàóññà Âàðèàíò ìåòîäà Ãàóññà âñ¼ ðàâíî ïðèìåíÿåòñÿ íà ïåðâîì ýòàïå, äëÿ óïðîùåíèÿ; íóæíî: 1 óäàëèòü âñå ñòîëáöû ñ ≤ 1 íåíóëåâûì ýëåìåíòîì è âñå ñòðîêè, â êîòîðûõ ýòè íåíóëåâûå ýëåìåíòû áûëè; 2 ïîìåòèòü ñòîëáöû êàê ¾òÿæ¼ëûå¿ èëè ¾ë¼ãêèå¿, â çàâèñèìîñòè îò ê-âà íåíóëåâûõ ê-íòîâ; 3 äëÿ êàæäîé ñòðîêè, ó êîòîðîé òîëüêî îäèí íåíóëåâîé ê-íò ±1 â ë¼ãêîì ñòîëáöå, ïîâû÷èòàòü å¼ èç äðóãèõ ñòðîê ñ ê-íòàìè â ýòîì ñòîëáöå, îáíóëèâ âñå îñòàëüíûå ñòðîêè; 4 ïîâòîðèòü, ïîêà ìàòðèöà íå ñòàíåò äîñòàòî÷íî ìàëåíüêîé. Ïðè ýòîì ìàòðèöà âñ¼ ðàâíî îñòàíåòñÿ ðàçðåæåííîé, è ñ íåé ìîæíî ðàáîòàòü áîëåå áûñòðûìè àëãîðèòìàìè. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 42. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Àëãîðèòìû äëÿ ðàçðåæåííûõ ìàòðèö Àëãîðèòì Ëàíöîøà (Lanczos) ïî÷òè íå èñïîëüçóåò äîïîëíèòåëüíîé ïàìÿòè, êðîìå ìàòðèöû, äîêàçàòåëüñòâà âåðõíåé îöåíêè íåò, íî íà ïðàêòèêå âñåãäà O (n2). Àëãîðèòì Âèäåìàííà (Wiedemann) òîæå O (n2); ìû àëãîðèòì ðàññìîòðèì. Êîïïåðñìèò (Coppersmith): áëî÷íûé àëãîðèòì Âèäåìàííà. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 43. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Àëãîðèòì Âèäåìàííà Çàäà÷à: íàéòè òàêîé âåêòîð w, ÷òî Aw = 0. Ðàññìîòðèì ñëó÷àéíûå âåêòîðû x è z, à òàêæå y = Az. Ðàññìîòðèì x y, x Ay, x A2 y, x A3 y, . . . Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 44. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ìèíèìàëüíûé ìíîãî÷ëåí Âñïîìíèì ëèíåéíóþ àëãåáðó: ó ìàòðèöû 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 è ýòîò ìíîãî÷ëåí òàêæå ïîðîæäàåò è íàøó ïîñëåäîâàòåëüíîñòü. Íî êîãäà ìû èçó÷àëè ïîòî÷íûå øèôðû, ó íàñ áûë àëãîðèòì Áåðëåêàìïà-Ìåññè êàê ðàç äëÿ òîãî, ÷òîáû íàõîäèòü ïîðîæäàþùèå ìíîãî÷ëåíû! Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 45. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Àëãîðèòì Âèäåìàííà Èòàê, ìû ïðèìåíÿåì àëãîðèòì Áåðëåêàìïà-Ìåññè è ïîëó÷àåì òàêèå êîýôôèöèåíòû 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) áóäóò îïðàâäûâàòüñÿ. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 46. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Èòîãè Êàê áû òî íè áûëî, ìû ñ÷èòàåì, ÷òî íàøè àëãîðèòìû ðåøåíèÿ ñèñòåì ðàáîòàþò çà 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 , ò.å. øàãè ðåøåíèÿ ñèñòåìû è å¼ ïîñòðîåíèÿ ýêâèâàëåíòíû ïî ñëîæíîñòè. Íà ïðàêòèêå îáû÷íî äåëàþò ñèñòåìó ïîìåíüøå, ò.ê. ðåøåòî î÷åíü ëåãêî ðàñïàðàëëåëèòü, à ðåøåíèå ñèñòåìû íèêàê. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 47. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ðåøåòî ÷èñëîâîãî ïîëÿ Îäíàêî êâàäðàòè÷íîå ðåøåòî íå ïðåäåë ìå÷òàíèé. Åù¼ ýôôåêòèâíåå îêàçûâàåòñÿ ìåòîä ðåøåòà ÷èñëîâîãî ïîëÿ (number eld sieve). Ïî ñóòè ìåòîä àíàëîãè÷åí êâàäðàòè÷íîìó ðåøåòó, íî òåïåðü âñ¼ ïðîèñõîäèò íàä äðóãèìè êîëüöàìè. Ìû ðàññìîòðèì òîëüêî îñíîâíóþ èäåþ, áåçî âñÿêèõ äîêàçàòåëüñòâ. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 48. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Èäåÿ Ìû õîòèì ðàçëîæèòü n. Ïðåäïîëîæèì, ÷òî ó íàñ åñòü íåïðèâîäèìûé ìíîãî÷ëåí f (x ) è ÷èñëî m, òàêîå, ÷òî f (m) ≡ 0 (mod n). Ðàññìîòðèì êîìïëåêñíûé êîðåíü α ìíîãî÷ëåíà f (x ) è êîëüöî Z[α]. f (m) ≡ 0 (mod n) è f (α) = 0, ñëåäîâàòåëüíî, åñòü åñòåñòâåííûé ãîìîìîðôèçì êîëåö ϕ : Z[α] → Zn , êîòîðûé îòîáðàæàåò α â m. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 49. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Èäåÿ Òåïåðü ïðåäïîëîæèì, ÷òî ó íàñ åñòü ìíîæåñòâî òàêèõ ïàð ÷èñåë (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 íà ìíîæèòåëè. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 50. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ìíîãî÷ëåí 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. Òàê ÷òî áóäåò. :) Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 51. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ ×èñëà a è b Îòêóäà âçÿòü a è b? Èç òàêîãî æå ðåøåòà. ×òîáû (a − mb) áûëî êâàäðàòîì, íóæíî ðåøèòü ëèíåéíóþ ñèñòåìó íà êîýôôèöèåíòû, êàê ðàíüøå. ×òîáû (a − αb) áûëî êâàäðàòîì, íóæíî ðåøèòü ëèíåéíóþ ñèñòåìó íà êîýôôèöèåíòû â êîëüöå Z[α], åñëè ýòî õîðîøåå êîëüöî (ñ åäèíñòâåííîñòüþ ðàçëîæåíèÿ). Õîðîøåå êîëüöî ìîæíî äîáûòü (áåç ä-âà). Òåïåðü ìîæíî ïðîñòî îáúåäèíèòü äâå ñèñòåìû íàì íóæíî, ÷òîáû îáà ñâîéñòâà âûïîëíÿëèñü. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 52. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Îöåíêà ñëîæíîñòè ×åì õîðîøî ðåøåòî ÷èñëîâîãî ïîëÿ? Íàøè îöåíêè áûëè îñíîâàíû íà 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; íî ãëàâíîå îñíîâíàÿ àñèìïòîòèêà ñòàëà ëó÷øå. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè
  • 53. Ìåòîä Êðàé÷èêà Ðåøåòî Ýðàòîñôåíà è êâàäðàòè÷íîå ðåøåòî Ðåøåòî êâàäðàòè÷íîå è íå òîëüêî Ðåøåíèå ëèíåéíîé ñèñòåìû Èäåè ðåøåòà ÷èñëîâîãî ïîëÿ Ñïàñèáî çà âíèìàíèå! Lecture notes è ñëàéäû áóäóò ïîÿâëÿòüñÿ íà ìîåé homepage: http://logic.pdmi.ras.ru/∼sergey/ Ïðèñûëàéòå ëþáûå çàìå÷àíèÿ, ðåøåíèÿ óïðàæíåíèé, íîâûå ÷èñëåííûå ïðèìåðû è ïðî÷åå ïî àäðåñàì: sergey@logic.pdmi.ras.ru, snikolenko@gmail.com Çàõîäèòå â ÆÆ smartnik. Ñåðãåé Íèêîëåíêî Ðàçëîæåíèå ÷èñåë íà ìíîæèòåëè