Кіріспе

Санды көбейтіндіге жіктеу

Сандар теориясында бүтін санды факторлау – оң бүтін санды бүтін сандардың көбейтіндісіне жіктеу. 1-ден үлкен кез келген оң бүтін сан екі немесе одан көп бүтін сан көбейткіштерінің көбейтіндісі болып табылады, мұндай жағдайда ол құрама сан деп аталады, ал егер олай болмаса, онда ол жай сан деп аталады. Мысалы, 15 – құрама сан, себебі 15 = 3 · 5, ал 7 – жай сан, өйткені оны осылай жіктеуге болмайды. Егер көбейткіштердің бірі құрама болса, оны кіші көбейткіштердің көбейтіндісі түрінде жазуға болады, мысалы, 60 = 3 · 20 = 3 · (5 · 4). Бұл процесті барлық көбейткіштер жай сан болғанға дейін жалғастыру жай санға жіктеу деп аталады; нәтижесі жай санға жіктеу теоремасы бойынша көбейткіштердің ретіне қарамастан бірегей болады. Шағын бүтін санды n-ді санау арқылы немесе қалам мен қағазды қолданып жіктеу үшін ең қарапайым әдіс – сынамалы бөлу: санды 2, 3, 5 және т.б. жай сандарға бөлінетінін тексеру, n-нің квадрат түбіріне дейін. Үлкен сандар үшін, әсіресе компьютерді пайдаланғанда, түрлі күрделі факторлау алгоритмдері тиімдірек. Жай санға жіктеу алгоритмі әдетте әрбір көбейткіш табылған сайын оның жай сан екенін тексеруді қамтиды. Сандар жеткілікті үлкен болғанда, тиімді кванттық емес бүтін санды факторлау алгоритмі белгісіз. Алайда, мұндай алгоритмнің жоқ екені дәлелденген жоқ. Бұл мәселенің қиындығы криптографияда қолданылатын RSA ашық кілт шифрлауы және RSA цифрлық қолтаңбасы сияқты алгоритмдер үшін маңызды. Математика мен компьютерлік ғылымның көптеген салалары, соның ішінде эллипстік қисықтар, алгебралық сандар теориясы және кванттық есептеулер осы мәселеге тартылды. Берілген ұзындығы бар сандардың бәрі де бірдей қиындықпен факторланбайды. Бұл мәселелердің ең қиын мысалдары (қазіргі таңдағы белгілі әдістер үшін) – екі жай санның көбейтіндісі болып табылатын жартылай жай сандар. Егер екеуі де үлкен болса, мысалы, екі мың биттен асатын ұзындығы бар, кездейсоқ таңдалған және шамамен бірдей мөлшерде (бірақ, мысалы, Ферма факторлау әдісімен тиімді факторлаудан аулақ болу үшін тым жақын емес), тіпті ең жылдам компьютерлердегі ең жылдам факторлау алгоритмі іздеуді практикалық емес ететіндей уақытты қажет етеді; яғни, факторланатын бүтін санның цифрларының саны артқан сайын, кез келген компьютерде факторлауды орындау үшін қажетті операциялардың саны күрт өседі. Көптеген криптографиялық протоколдар үлкен құрама сандарды немесе осымен байланысты мәселені (мысалы, RSA мәселесін) факторлаудың қиындығына негізделген. Кез келген бүтін санды тиімді факторлайтын алгоритм RSA негізделген ашық кілт криптографиясын қауіпсіз етеді.

Бастапқы ыдырау

Арифметиканың негізгі теоремасы бойынша, әрбір оң бүтін санның бірегей жай көбейткіштерге жіктелуі бар. (Дәстүр бойынша 1 – бос көбейтінді.) Сан жай ма екенін тексеру, мысалы, AKS жайлық тесті арқылы, полиномиалдық уақытта жүзеге асырылуы мүмкін. Дегенмен, егер сан жай болмаса, полиномиалдық уақыттық тесттер оның көбейткіштерін қалай алуға болатыны туралы ешқандай түсінік бермейді. Бүтін сандарды жіктеудің жалпы алгоритмі болған жағдайда, кез келген бүтін санды осы алгоритмді қайталап қолдану арқылы оның жай көбейткіштеріне жіктеуге болады. Бірақ, ерекше мақсаттағы жіктеу алгоритмдерімен жағдай күрделірек, олардың артықшылықтары жіктеу барысында алынған көбейткіштер үшін толыққанды пайдаланылмауы мүмкін. Мысалы, егер n = 171 × p × q болса, мұнда p < q өте үлкен жай сандар болса, жай тексеру әдісі 3 және 19 көбейткіштерін жылдам анықтайды, бірақ келесі көбейткішті табу үшін p бөліске қажет болады. Керісінше, мысалы, егер n 13729, 1372933 және 18848997161 жай сандарының көбейтіндісі болса, онда 1 = 13729 × 1372933 = 18848997157, Ферманың жіктеу әдісі бірден мынаны береді және осылайша көбейткіштер 1 = a − b = 18848997157 және 1 = a + b = 18848997161 табылады. Бұлар жай және жай болмаған сандар екені анық болғанымен, Ферма әдісі жай болмаған санды жіктеуге көбірек уақыт жұмсайды, себебі a үшін бастапқы мән 1372933-тен 10 есеге үлкен.

Қазіргі заманғы техниканың жай-күйі

b бит сандарының ішінде, қолданыстағы алгоритмдерді пайдаланып факторлау ең қиын болып табылатындары – факторлары шамамен бірдей мөлшердегі жартылай жай сандар. Сондықтан, олар криптографиялық қолданыстарда қолданылатын бүтін сандар болып табылады. 2019 жылы Фабрис Будот, Пьеррик Гаудри, Ауроре Гильевич, Надя Хенингер, Эммануэль Томе және Пол Циммерман 240 таңбалы (795 бит) санды (RSA 240) шамамен 900 ядро жылдық есептеу қуатын қолдана отырып, факторлады. Зерттеушілер 1024 биттік RSA модулін факторлауға шамамен 500 есе көп уақыт кетеді деп есептеді. Осы сияқты ең үлкен жартылай жай сан – RSA 250, ол 829 биттік және 250 ондық таңбадан тұрады, ол 2020 жылдың ақпан айында факторланды. Жалпы есептеу уақыты 2.1 ГГц жиілігіндегі Intel Xeon Gold 6130 процессорларын пайдалана отырып, шамамен 2700 ядро жылды құрады. Барлық соңғы факторлау рекордтары сияқты, бұл факторлау да жүздеген машиналарда жұмыс істейтін жалпы сандық егіздің жоғары сапалы оңтайландырылған нұсқасымен аяқталды.

Уақыт күрделілігі

Қандай да бір алгоритм бүтін сандардың барлығын полиномиалдық уақытта, яғни b бит саны n-ді уақытпен көбейте алатыны жарияланбаған. Мұндай алгоритмдердің болуы немесе болмауы дәлелденбеген, бірақ олардың жоқ екені күдіктенуде. Барлық оң ε үшін O((1 + ε)^b) жылдамдығынан артық алгоритмдер жарияланды, яғни экспоненциалды емес. 2022 жылға дейін теориялық асимптотикалық жұмыс істеу уақыты бойынша ең жақсы алгоритм – жалпы сандық өріс ілгіші (GNFS), ол алғаш рет 1993 жылы жарияланған және b бит саны n үшін келесі уақытта жұмыс істейді:

Қазіргі компьютерлер үшін GNFS үлкен n үшін (400 биттен асатын) ең жақсы жарияланған алгоритм болып табылады. Дегенмен, кванттық компьютер үшін Питер Шор 1994 жылы оны полиномиалдық уақытта шешетін алгоритмді тапты. Шор алгоритмі b биттік кіріс үшін O(b^3) уақыт және O(b) жад алады. 2001 жылы Шор алгоритмі алғаш рет жеті кубит беретін молекулаларға NMR техникаларын қолдану арқылы іске асырылды. P, NP және co NP сияқты күрделілік сыныптары туралы сөз қозғалғанда, мәселе шешім проблемасы ретінде қойылған болуы керек. Ол NP және co NP кластарына жатады, яғни «иә» және «жоқ» жауаптары полиномиалдық уақытта тексеріле алады. «Иә» жауабы d ≤ k болатын көбейткіштерді көрсету арқылы расталады. «Жоқ» жауабы n-нің k-дан үлкен әртүрлі жай сандарға көбейткіштерге жіктелуін көрсету арқылы расталады; олардың жайлығын AKS жайлық тестісі арқылы тексеруге болады, содан кейін оларды көбейту арқылы n алуға болады. Арифметиканың негізгі теоремасы тек бір ғана өсу ретімен жай сандар тізбегінің қабылданатынын кепілдейді, бұл мәселенің UP және co UP кластарына жататынын көрсетеді. Шор алгоритмінің арқасында ол BQP класына да жатады. Мәселенің P, NP-толық және co NP-толық күрделілік сыныптарының сыртында екені күдіктенуде. Сондықтан ол NP аралық күрделілік класына үміткер. Керісінше, «n – құрама сан ба?» (немесе эквивалентті: «n – жай сан ба?») деген шешім проблемасы n-нің көбейткіштерін анықтау мәселесінен әлдеқайда оңай болып көрінеді. Құрама/жай мәселесі AKS жайлық тестісімен полиномиалдық уақытта (n сандарының b саны) шешіледі. Сонымен қатар, егер қателік мүмкіндігін өте аз деңгейге дейін қабылдауға дайын болса, жайлықты өте жылдам тексеруге мүмкіндік беретін бірнеше ықтималдық алгоритмдер бар. Жайлықты тексерудің қарапайымдығы RSA алгоритмінің маңызды бөлігі болып табылады, өйткені оны бастау үшін үлкен жай сандарды табу қажет.

Жалпы мақсаттағы

Жалпы мақсаттағы факторлау алгоритмі, сонымен қатар 2-санатты, екінші санатты немесе Крайтчик отбасы алгоритмі деп аталатын, Сейсен мен Ленстраның алгоритмі, олар бұл алгоритмді тек дәлелденбеген жалпыланған Риманн гипотезасы негізінде ғана дәлелдеді.