Peržiūrėti šaltinį Šoro algoritmas

{{nocontext}}
'''Šoro algoritmas''' ({{En|Shor's algorithm}}) yra kvantinis [[algoritmas]] [[faktorizavimas|faktorizavimui]] [[pirminis skaičius|pirminiais skaičiais]] skaičiaus ''N'' (bitais) per laiką O(<math>(\log_2 N)^2</math>) ir užima O(<math>\log_2 N</math>) vietos (kubitų <math>n=\log_2 N</math>), pavadintas pagal Piterį Šorą. Klasikinis algoritmas užtruktų <math>O(2^{(\log_2 N)^{1/3}})</math> laiko. 

Algoritmas yra reikšmingas, kadangi numato, kad [[RSA]], populiarus viešo-rakto kriptografijos metodas, gali būti lengvai nulaužtas su pakankamai dideliu (daug [[Kvantinis kompiuteris#kubitas|kubitų]] turinčiu) [[kvantinis kompiuteris|kvantiniu kompiuteriu]]. [[RSA]] naudoja viešą raktą ''N'', kuris yra dviejų sudaugintų pirminių skaičių rezultatas. Vienas būdas nulaužti RSA yra skaičiaus ''N'' faktorizavimas, bet su klasikiniu algoritmu, faktorizavimas tampa vis daugiau ir daugiau laiko reikalaujantis, kai skaičius ''N'' didėja. Nėra žinomas klasikinis algoritmas kuris galėtų faktorizuoti ''N'' per laiką O((<math>\log_2 N</math>)<sup>''k''</sup>) su bet kuriuo ''k''. Tuo tarpu Šoro algoritmas gali nulaužti RSA per polinominį (per trumpą) laiką. Jei ''N'' labai didelis skaičius faktorizavimas su klasikiniu kompiuteriu užtruktų milijardus metų, tuo tarpu kvantinis kompiuteris tokį patį skaičių ''N'' faktorizuotų per keletą valandų. 

Kaip ir daugelis kvantinių algoritmų, Šoro algoritmas yra tikimybinis: jis duoda su didele tikimybe teisingą atsakymą, ir neteisingo atsakymo tikimybė gali mažėti kartojant algoritmą.

Greičiausias klasikinis faktorizavimo algoritmas užtrunka <math> e^{(\frac{64}{9})^{1/3}\cdot n^{1/3}\cdot (\log_2 n)^{2/3}}</math> laiko, kur <math>n=\log N</math>, [[Natūrinis logaritmas|e]] natūrinis logoritmas (<math>e\approx 2,7</math>). Kvantiniam faktorizavimo algoritmui tereikia <math>O(n^2\log_2 n \log_2\log_2 n)</math> laiko. Kur <math>n=\log_2 N</math> yra kubitų skaičius.
:Pavyzdžiui, su klasikiniu kompiuteriu faktorizuoti 512 bitų (154 skaitmenų) skaičių reikia
:<math>e^{(\frac{64}{9})^{1/3}\cdot 512^{1/3}\cdot (\log_2 512)^{2/3}}=e^{1.923\cdot 8\cdot 4.327}=e^{66.6}=8\cdot 10^{28}</math> laiko. 
:Jei kompiuteris dirba 1GHz dažniu ir išnaudoja apie <math>10^4</math> vartų, bei susideda is <math>10^4</math> procesorių, tai jis užtruks apie <math>10^{11}</math> sekundžių arba apie 10000 metų (gali būti, kad kai kuriais atvejais vietoje constantos <math>c=(\frac{64}{9})^{1/3}\approx 1.923</math> būna konstanta <math>(\frac{32}{9})^{1/3}\approx 1.526</math>, o vietoje <math>e=2.7</math> gali būti vis tik 2 ir tada tampa aišku, kodėl buvo faktorizuotas net >600 bitų skaičius).
:<math> e^{(\frac{32}{9})^{1/3}\cdot n^{1/3}\cdot (\log_2 n)^{2/3}}=e^{(\frac{32}{9})^{1/3}\cdot 512^{1/3}\cdot (\log_2 512)^{2/3}}=e^{1.526\cdot 8\cdot 4.327}=e^{52.8}=8.7\cdot 10^{22}\approx 10^{23}</math> laiko. Su 1 GHz, <math>10^4</math> „skaičiavimo vartų“ ir <math>10^4</math> procesorių, tai užtruks 870000 [[sekundė|s]] arba 10 dienų.
: Kvantiniui kompiuteriui reikia
: <math>n^2\log_2 n \log_2\log_2 n=512^2\log_2 512 \log_2\log_2 512=262144\cdot 9\cdot 3.17=7478968\approx 10^7</math> laiko.
: Akivaizdu, jog užtenka 1 MHz kvantinio kompiuterio, norint suspėti per 10 sekundžių.
: Norint faktorizuoti pirminiais skaičiais 1024 bitų skaičių, kvantiniam kompiuteriui reikia:
: <math>n^2\log_2 n \log_2\log_2 n=1024^2\log_2 1024 \log_2\log_2 1024=1048576\cdot 10\cdot 3.32=34812723\approx 3\cdot 10^7</math> laiko.
: Norint faktorizuoti 4096 bitų skaičių pirminiais skaičiais (4096 yra didžiausias naudojamas skaičiaus ilgis RSA saugume), kvantiniam kompiuteriui reikia:
<math>n^2\log_2 n \log_2\log_2 n=4096^2\log_2 4096 \log_2\log_2 4096=16777216\cdot 12\cdot 3.58=720749199\approx 7\cdot 10^8</math> laiko.
: 1 MHz kvantinis kompiuteris tam užtruktų apie valandą.

== Nuorodos ==
* http://www.senko-corp.co.jp/qcs/shor.html {{Webarchive|url=https://web.archive.org/web/20070705105933/http://www.senko-corp.co.jp/qcs/shor.html |date=2007-07-05 }}
* http://xxx.lanl.gov/pdf/quant-ph/9508027 {{Neveikianti nuoroda|date=gruodžio 2024 |bot=InternetArchiveBot |fix-attempted=yes }}
* http://feynman.mit.edu/ike/homepage/papers/NATURE-chuang-group-shor-factoring-experiment-v414-p883-20dec01.pdf {{Webarchive|url=https://web.archive.org/web/20070418141759/http://feynman.mit.edu/ike/homepage/papers/NATURE-chuang-group-shor-factoring-experiment-v414-p883-20dec01.pdf |date=2007-04-18 }}
* http://alumni.imsa.edu/~matth/quant/299/paper/node20.html

[[Kategorija:Algoritmai]]
[[Kategorija:Kvantinė informatika]]