Factorizarea fracției continue

În matematică , în special în teoria numerelor , metoda factorizării prin fracție continuă (în limba engleză „  continue fraction factorization method  ” , prescurtat cfrac ) este o metodă a teoriei numerelor care determină doi divizori ai unui număr natural , cu condiția să nu fie un număr prim . Prin aplicarea repetată a metodei obținem descompunerea în produs a factorilor primi ai acestui număr. Metoda este generală în sensul că se aplică tuturor numerelor întregi, indiferent de o anumită formă sau proprietăți.

Metoda de factorizare prin fracție continuă a fost publicată în 1931 de Derrick Henry Lehmer și Ralph Ernest Powers  (în) , un matematician amator cunoscut și pentru rezultatele sale de calcul în teoria numerelor. A fost folosit doar târziu, deoarece mașinile de calcul nu erau suficient de rapide. În 1975, Michael A. Morrison și John Brillhart au programat metoda pe un computer mai mare și au reușit să obțină factorizarea celui de-al șaptelea număr Fermat . Metoda de factorizare a fracției continue a rămas metoda standard de factorizare a unor numere întregi „mari” care, în anii 1980, aveau până la cincizeci de zecimale. În 1990, un nou algoritm, metoda sitei pătratice a înlocuit metoda fracției continue.

Complexitatea timp a factorizare fracție continuă a unui întreg este în .

Principiu

Algoritmul caută o congruență a formei

.

Pentru a face acest lucru, înmulțește congruențe adecvate ale formei . Folosind aceste congruențe, obținem o factorizare a lui N prin metoda factorizării Dixon . x 2  ≡  y 2  (mod  N ).

Metoda folosește, pentru a găsi aceste congruențe, expansiunea continuă a fracției de . Această extindere oferă cele mai bune aproximări ale sub formă de fracții . Fiecare aproximare oferă o congruență a formei căutate , cu și . Deoarece fracția este o aproximare mai bună a , întregul este mic și este, cu o probabilitate ridicată, friabil și sunt necesare astfel de congruențe.

Elemente istorice

Primul pas către metoda continuării fracțiilor este metoda de factorizare Fermat descrisă de Pierre de Fermat în 1643. Acesta constă în găsirea a două pătrate și astfel încât . La fel , numerele întregi și sunt apoi divizori ai .

În 1798, Adrien-Marie Legendre și-a publicat cartea Eseu despre teoria numerelor . Există o dezvoltare a metodei Fermat, în care diferența este un multiplu arbitrar al  ; numerele și trebuie să îndeplinească condițiile , și . În conformitate cu aceste ipoteze, divizați și CMD și sunt divizori ai .

Note și referințe

  1. Lehmer și puterile 1931 .
  2. Morrison și Brillhart, 1975 .
  3. Pomerance 1996 .

Bibliografie

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">