पूर्णांक गुणनखंडन

From alpha
Jump to navigation Jump to search
Unsolved problem in computer science:

Can integer factorization be solved in polynomial time on a classical computer?

संख्या सिद्धांत में, पूर्णांक गुणनखंड एक समग्र संख्या का छोटे पूर्णांकों के उत्पाद (गणित) में अपघटन है। यदि ये विभाजक आगे अभाज्य संख्याओं तक सीमित हैं, तो प्रक्रिया को अभाज्य गुणनखंडन कहा जाता है।

जब संख्याएँ पर्याप्त रूप से बड़ी होती हैं, तो कोई कुशल एक कंप्यूटर जितना | गैर-क्वांटम पूर्णांक गुणनखंड एल्गोरिथ्म ज्ञात नहीं होता है। हालाँकि, यह सिद्ध नहीं हुआ है कि ऐसा कलन विधि मौजूद नहीं है। आरएसए (क्रिप्टोसिस्टम) | आरएसए पब्लिक-की एन्क्रिप्शन और डिजिटल हस्ताक्षर एल्गोरिथम जैसे क्रिप्टोग्राफी में उपयोग किए जाने वाले एल्गोरिदम के लिए इस समस्या की अनुमानित कम्प्यूटेशनल कठोरता धारणा महत्वपूर्ण है।[1] गणित और कंप्यूटर विज्ञान के कई क्षेत्रों को समस्या पर ध्यान देने के लिए लाया गया है, जिसमें अण्डाकार वक्र, बीजगणितीय संख्या सिद्धांत और क्वांटम कंप्यूटर शामिल हैं।

2019 में, Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé और Paul Zimmermann ने लगभग 900 कोर-वर्ष की कंप्यूटिंग शक्ति का उपयोग करते हुए 240-अंक (795-बिट) संख्या (RSA-240) बनाई।[2] शोधकर्ताओं ने अनुमान लगाया कि 1024-बिट आरएसए मापांक लगभग 500 गुना अधिक समय लेगा।[3] दी गई लंबाई की सभी संख्याएँ समान रूप से गुणनखंड करने में कठिन नहीं होती हैं। इन समस्याओं के सबसे कठिन उदाहरण (वर्तमान में ज्ञात तकनीकों के लिए) semiprime हैं, जो दो अभाज्य संख्याओं का गुणनफल है। जब वे दोनों बड़े होते हैं, उदाहरण के लिए दो हजार अंश से अधिक लंबे, बेतरतीब ढंग से चुने गए, और लगभग एक ही आकार के (लेकिन बहुत करीब नहीं, उदाहरण के लिए, फ़र्मेट के गुणनखंडन विधि द्वारा कुशल गुणन से बचने के लिए), यहां तक ​​​​कि सबसे तेज़ प्राइम फ़ैक्टराइज़ेशन एल्गोरिदम सबसे तेज कंप्यूटर खोज को अव्यावहारिक बनाने के लिए पर्याप्त समय ले सकते हैं; अर्थात्, जैसे-जैसे पूर्णांक के अंकों की संख्या बढ़ती जाती है, वैसे-वैसे किसी भी कंप्यूटर पर गुणनखंड करने के लिए आवश्यक संचालन की संख्या में भारी वृद्धि होती है।

कई क्रिप्टोग्राफ़िक प्रोटोकॉल बड़े समग्र पूर्णांकों या संबंधित समस्या के फैक्टरिंग की कठिनाई पर आधारित होते हैं - उदाहरण के लिए, RSA समस्या। एक एल्गोरिद्म जो किसी मनमाने पूर्णांक को प्रभावी ढंग से कारक बनाता है, वह RSA (एल्गोरिदम) आधारित सार्वजनिक-कुंजी क्रिप्टोग्राफ़ी को असुरक्षित बना देगा।

प्रधान अपघटन

n का अभाज्य अपघटन = 864 as 25 × 33

अंकगणित के मूलभूत प्रमेय के अनुसार, प्रत्येक धनात्मक पूर्णांक का एक अद्वितीय अभाज्य गुणनखण्ड होता है। (परंपरा के अनुसार, 1 खाली गुणनफल है।) प्रधानता परीक्षण क्या पूर्णांक प्राइम है, बहुपद समय में किया जा सकता है, उदाहरण के लिए, एकेएस प्रारंभिक परीक्षण द्वारा। यदि समग्र, हालांकि, बहुपद समय परीक्षण कारक प्राप्त करने के तरीके में कोई अंतर्दृष्टि नहीं देते हैं।

पूर्णांक फ़ैक्टराइज़ेशन के लिए एक सामान्य एल्गोरिथ्म को देखते हुए, किसी भी पूर्णांक को इस एल्गोरिथम के बार-बार उपयोग से उसके घटक प्रमुख कारकों में फ़ैक्टर किया जा सकता है। स्थिति विशेष-उद्देश्य गुणनखंड एल्गोरिदम के साथ अधिक जटिल है, जिनके लाभों को अपघटन के दौरान उत्पन्न कारकों के साथ भी या बिल्कुल भी महसूस नहीं किया जा सकता है। उदाहरण के लिए, अगर n = 171 × p × q कहाँ p < q बहुत बड़ी अभाज्य संख्याएँ हैं, परीक्षण प्रभाग शीघ्रता से गुणनखंड 3 और 19 उत्पन्न करेगा लेकिन अगला गुणनखंड ज्ञात करने के लिए p विभाजन लेगा। एक विपरीत उदाहरण के रूप में, यदि n 13729, 1372933, और 18848997161 अभाज्य संख्याओं का गुणनफल है, जहां 13729 × 1372933 = 18848997157, Fermat की गुणनखंडन विधि से शुरू होगी जो तुरंत फल देता है और इसलिए कारक ab = 18848997157 और a + b = 18848997161. जबकि इन्हें आसानी से क्रमशः मिश्रित और अभाज्य के रूप में पहचाना जाता है, फ़र्मेट की विधि समग्र संख्या को कारक बनाने में अधिक समय लेगी क्योंकि प्रारंभिक मान for a 1372933 के आसपास कहीं नहीं है।

कला की वर्तमान स्थिति

बी-बिट नंबरों में, मौजूदा एल्गोरिदम का उपयोग करने के अभ्यास में कारक के लिए सबसे कठिन वे हैं जो समान आकार के दो प्राइम के उत्पाद हैं। इस कारण से, ये क्रिप्टोग्राफ़िक अनुप्रयोगों में उपयोग किए जाने वाले पूर्णांक हैं। फरवरी 2020 में इस तरह का सबसे बड़ा सेमीप्राइम आरएसए संख्या #RSA-250|RSA-250, 250 दशमलव अंकों के साथ एक 829-बिट संख्या थी। इंटेल स्काईलेक (माइक्रोआर्किटेक्चर) का उपयोग करके कुल गणना समय लगभग 2700 कोर-वर्ष कंप्यूटिंग था। #Xeon Gold (क्वाड प्रोसेसर) 6130 2.1 GHz पर। हाल के सभी गुणनखंडन रिकॉर्डों की तरह, यह गुणनखंडन सैकड़ों मशीनों पर चलने वाली सामान्य संख्या फ़ील्ड छलनी के अत्यधिक अनुकूलित कार्यान्वयन के साथ पूरा हुआ।

कठिनाई और जटिलता

कोई एल्गोरिदम प्रकाशित नहीं किया गया है जो सभी पूर्णांकों को बहुपद समय में गुणनखंडित कर सकता है, अर्थात, जो समय में बिग ओ अंकन में बी-बिट संख्या n को कारक बना सकता है (बीk) कुछ स्थिर k के लिए। इस तरह के एल्गोरिदम का न तो अस्तित्व है और न ही गैर-अस्तित्व साबित हुआ है, लेकिन आम तौर पर यह संदेह है कि वे मौजूद नहीं हैं और इसलिए यह समस्या कक्षा पी में नहीं है।[4][5] समस्या स्पष्ट रूप से कक्षा एनपी में है, लेकिन आम तौर पर यह संदेह है कि यह एनपी-पूर्ण नहीं है, हालांकि यह सिद्ध नहीं हुआ है।[6] ऐसे प्रकाशित एल्गोरिदम हैं जो O((1 + ε) से तेज़ हैंb) सभी सकारात्मक ε के लिए, यानी समय जटिलता#उप-घातीय समय|उप-घातीय। As of 2022सबसे अच्छा सैद्धांतिक असिम्प्टोटिक रनिंग टाइम वाला एल्गोरिदम सामान्य संख्या क्षेत्र छलनी (जीएनएफएस) है, जिसे पहली बार 1993 में प्रकाशित किया गया था।[7] समय में बी-बिट नंबर एन पर चल रहा है:

वर्तमान कंप्यूटरों के लिए, GNFS बड़े n (लगभग 400 बिट्स से अधिक) के लिए सबसे अच्छा प्रकाशित एल्गोरिथम है। हालाँकि, क्वांटम कम्प्यूटिंग के लिए, पीटर शोर ने 1994 में एक एल्गोरिथ्म की खोज की जो इसे बहुपद समय में हल करता है। यदि क्वांटम संगणना स्केलेबल हो जाती है तो क्रिप्टोग्राफी के लिए इसका महत्वपूर्ण प्रभाव पड़ेगा। शोर का एल्गोरिदम केवल ओ लेता है (बी3) बी-बिट संख्या इनपुट पर समय और O(b) स्थान। 2001 में, शोर के एल्गोरिदम को पहली बार 7 क्विबिट प्रदान करने वाले अणुओं पर परमाणु चुंबकीय अनुनाद तकनीकों का उपयोग करके लागू किया गया था।[8] यह ज्ञात नहीं है कि किस जटिलता वर्ग में पूर्णांक गुणनखंडन समस्या की निर्णय समस्या होती है (अर्थात: करता है n से छोटा कारक है k?)। यह एनपी (जटिलता) और सह-एनपी दोनों में जाना जाता है, जिसका अर्थ है कि बहुपद समय में हां और ना दोनों उत्तरों को सत्यापित किया जा सकता है। हाँ के उत्तर को गुणनखंड प्रदर्शित करके प्रमाणित किया जा सकता है n = d(n/d) साथ dk. नहीं के उत्तर को अलग-अलग अभाज्य संख्याओं में n के गुणनखंडन को प्रदर्शित करके प्रमाणित किया जा सकता है, सभी k से बड़े; कोई एकेएस प्रारंभिक परीक्षण का उपयोग करके उनकी प्रारंभिकता को सत्यापित कर सकता है, और फिर उन्हें n प्राप्त करने के लिए गुणा कर सकता है। अंकगणित का मौलिक प्रमेय यह गारंटी देता है कि बढ़ती हुई प्राइम्स की केवल एक ही संभावित स्ट्रिंग है जिसे स्वीकार किया जाएगा, जो दर्शाता है कि समस्या यूपी (जटिलता) और सह-यूपी दोनों में है।[9] शोर के एल्गोरिदम के कारण यह बीक्यूपी में जाना जाता है।

समस्या जटिलता वर्गों पी, एनपी-पूर्ण, और सह-एनपी-पूर्ण तीनों के बाहर होने का संदेह है। इसलिए यह एनपी-मध्यवर्ती जटिलता वर्ग के लिए एक उम्मीदवार है। अगर यह एनपी-पूर्ण या सह-एनपी-पूर्ण साबित हो सकता है, तो यह एनपी = सह-एनपी, एक बहुत ही आश्चर्यजनक परिणाम होगा, और इसलिए इन दोनों वर्गों के बाहर होने के लिए पूर्णांक कारक व्यापक रूप से संदेह है।

इसके विपरीत, निर्णय समस्या क्या n एक समग्र संख्या है? (या समतुल्य: क्या n एक अभाज्य संख्या है? ) n के गुणनखंडों को निर्दिष्ट करने की समस्या से कहीं अधिक आसान प्रतीत होती है। एकेएस प्राइमलिटी टेस्ट के साथ बहुपद समय (एन के अंकों की संख्या बी में) में समग्र / मुख्य समस्या को हल किया जा सकता है। इसके अलावा, कई यादृच्छिक एल्गोरिदम हैं जो अभ्यास में बहुत जल्दी परीक्षण कर सकते हैं यदि कोई त्रुटि की एक छोटी सी संभावना को स्वीकार करने के लिए तैयार है। प्रारंभिक परीक्षण में आसानी आरएसए (एल्गोरिदम) एल्गोरिथम का एक महत्वपूर्ण हिस्सा है, क्योंकि इसके साथ शुरू करने के लिए बड़ी अभाज्य संख्याओं को खोजना आवश्यक है।

फैक्टरिंग एल्गोरिदम

विशेष-उद्देश्य

एक विशेष-उद्देश्य फैक्टरिंग एल्गोरिदम का रनिंग टाइम फैक्टरिंग की जाने वाली संख्या के गुणों पर या उसके अज्ञात कारकों में से किसी एक पर निर्भर करता है: आकार, विशेष रूप, आदि। चलने का समय निर्धारित करने वाले पैरामीटर एल्गोरिदम के बीच भिन्न होते हैं।

विशेष-उद्देश्य फैक्टरिंग एल्गोरिदम का एक महत्वपूर्ण उपवर्ग श्रेणी 1 या प्रथम श्रेणी एल्गोरिदम है, जिसका चलने का समय सबसे छोटे प्रमुख कारक के आकार पर निर्भर करता है। अज्ञात रूप के एक पूर्णांक को देखते हुए, इन विधियों को आम तौर पर छोटे कारकों को हटाने के लिए सामान्य प्रयोजन के तरीकों से पहले लागू किया जाता है।[10] उदाहरण के लिए, भोली ट्रायल डिवीजन एक श्रेणी 1 एल्गोरिथम है।

सामान्य-उद्देश्य

एक सामान्य-उद्देश्य फैक्टरिंग एल्गोरिथम, जिसे श्रेणी 2, द्वितीय श्रेणी, या मौरिस क्रैचिक परिवार एल्गोरिथम के रूप में भी जाना जाता है,[10]चलने का समय होता है जो पूरी तरह से पूर्णांक के आकार पर निर्भर करता है। यह एक प्रकार का एल्गोरिथम है जिसका उपयोग RSA संख्याओं को गुणनखंड करने के लिए किया जाता है। अधिकांश सामान्य-उद्देश्य वाले फैक्टरिंग एल्गोरिदम वर्ग विधि की सर्वांगसमता पर आधारित होते हैं।

अन्य उल्लेखनीय एल्गोरिदम

  • शोर का एल्गोरिदम, क्वांटम कंप्यूटर के लिए

ह्यूरिस्टिक रनिंग टाइम

संख्या सिद्धांत में, कई पूर्णांक फैक्टरिंग एल्गोरिदम हैं जो कि अनुमानित रूप से समय की जटिलता की अपेक्षा करते हैं

बिग ओ नोटेशन में|लिटिल-ओ और एएल अंकन। उन एल्गोरिदम के कुछ उदाहरण दीर्घवृत्तीय वक्र विधि और द्विघात छलनी हैं। ऐसा ही एक अन्य एल्गोरिथम Schnorr द्वारा प्रस्तावित वर्ग समूह संबंध विधि है,[11] सेसेन,[12] और लेनस्ट्रा,[13] जिसे उन्होंने केवल अप्रमाणित सामान्यीकृत रीमैन परिकल्पना | सामान्यीकृत रीमैन परिकल्पना (जीआरएच) मानते हुए सिद्ध किया।

कठोर चलने का समय

Schnorr-Seysen-Lenstra संभाव्य एल्गोरिथम को Lenstra और Pomerance द्वारा कठोरता से सिद्ध किया गया है[14]चलने के समय की उम्मीद है मल्टीप्लायरों के उपयोग के साथ जीआरएच धारणा को बदलकर। एल्गोरिथम द्विघात रूप के विविक्तकर के धनात्मक द्विआधारी द्विघात रूपों के आदर्श वर्ग समूह का उपयोग करता है Δ जिसे G द्वारा निरूपित किया जाता हैΔ. जीΔ पूर्णांकों (a, b, c) के त्रिगुणों का समुच्चय है जिसमें वे पूर्णांक सापेक्ष प्रधान होते हैं।

स्चनोर-सेसेन-लेनस्ट्रा एल्गोरिथम

एक पूर्णांक n दिया गया है जिसका गुणनखंड किया जाएगा, जहाँ n एक निश्चित स्थिरांक से बड़ा एक विषम धनात्मक पूर्णांक है। इस फैक्टरिंग एल्गोरिथम में विवेचक Δ को n के गुणक के रूप में चुना जाता है, Δ = −dn, जहाँ d कोई धनात्मक गुणक है। एल्गोरिदम उम्मीद करता है कि एक डी के लिए जी में पर्याप्त चिकनी संख्या रूप मौजूद हैंΔ. लेनस्ट्रा और पोमेरेन्स दिखाते हैं कि चिकनी परिणाम की गारंटी के लिए डी की पसंद को एक छोटे से सेट तक सीमित किया जा सकता है।

पी द्वारा निरूपित करेंΔ क्रोनकर प्रतीक के साथ सभी प्राइम क्यू का सेट . G के एक समूह के जनरेटिंग सेट का निर्माण करकेΔ और अभाज्य रूप चq जी काΔ पी में क्यू के साथΔ जनरेटर और f के सेट के बीच संबंधों का एक क्रमq उत्पादित है। क्यू के आकार से घिरा जा सकता है कुछ स्थिर के लिए .

जिस संबंध का उपयोग किया जाएगा वह शक्तियों के गुणनफल के बीच का संबंध है जो G के समूह (गणित) के बराबर हैΔ. इन संबंधों का उपयोग जी के तथाकथित अस्पष्ट रूप के निर्माण के लिए किया जाएगाΔ, जो जी का एक तत्व हैΔ Δ के संबंधित गुणनखंड की गणना करके और एक महानतम सामान्य विभाजक लेकर, यह अस्पष्ट रूप n का पूर्ण अभाज्य गुणनखंड प्रदान करता है। इस एल्गोरिथ्म में ये मुख्य चरण हैं:

मान लें कि गुणनखंड की जाने वाली संख्या n है।

  1. चलो Δ के साथ एक नकारात्मक पूर्णांक हो Δ = −dn, जहाँ d एक गुणक है और Δ किसी द्विघात रूप का ऋणात्मक विविक्तकर है।
  2. पहले अभाज्य संख्याओं को लें , कुछ के लिए .
  3. होने देना G का एक यादृच्छिक अभाज्य रूप होΔ साथ .
  4. G का जनरेटिंग सेट X खोजेंΔ
  5. सेट X और के बीच संबंधों का एक क्रम लीजिए {fq : qPΔ} संतुष्टि देने वाला:
  6. एक अस्पष्ट रूप का निर्माण करें वह एक तत्व f ∈ G हैΔ Δ के सबसे बड़े विषम भाजक का सहअभाज्य गुणनखंड प्राप्त करने के लिए 2 को विभाजित करने के क्रम में
  7. यदि अस्पष्ट रूप n का गुणनखंड प्रदान करता है तो रुकें, अन्यथा n का गुणनखंड मिलने तक एक और अस्पष्ट रूप खोजें। बेकार अस्पष्ट रूपों को उत्पन्न होने से रोकने के लिए, साइलो प्रमेयों का निर्माण करें|2-साइलो समूह Sll2(Δ) जी (Δ) का।

किसी भी सकारात्मक पूर्णांक को फैक्टर करने के लिए एक एल्गोरिथ्म प्राप्त करने के लिए, इस एल्गोरिथम में कुछ चरणों को जोड़ना आवश्यक है जैसे कि ट्रायल डिवीजन और एडलमैन-पोमेरेंस-रूमली प्राइमलिटी टेस्ट।

अपेक्षित चलने का समय

जैसा कि कहा गया है कि एल्गोरिथ्म एक संभाव्य एल्गोरिथम है क्योंकि यह यादृच्छिक विकल्प बनाता है। इसका अपेक्षित चलने का समय अधिकतम है .[14]


यह भी देखें

  • ऑरिफ्यूइलियन कारककरण
  • उनके गुणनखंडों के साथ यादृच्छिक संख्या उत्पन्न करने के लिए बाख का एल्गोरिथ्म
  • एक सकारात्मक पूर्णांक का विहित प्रतिनिधित्व
  • गुणनखंडन
  • गुणक विभाजन
  • पी-एडिक वैल्यूएशन|-एडिक वैल्यूएशन
  • विभाजन (संख्या सिद्धांत) - सकारात्मक पूर्णांकों के योग के रूप में संख्या लिखने का एक तरीका।

टिप्पणियाँ

  1. Lenstra, Arjen K. (2011), "Integer Factoring", in van Tilborg, Henk C. A.; Jajodia, Sushil (eds.), Encyclopedia of Cryptography and Security, Boston, MA: Springer US, pp. 611–618, doi:10.1007/978-1-4419-5906-5_455, ISBN 978-1-4419-5905-8, retrieved 2022-06-22
  2. "[Cado-nfs-discuss] 795-bit factoring and discrete logarithms". Archived from the original on 2019-12-02.
  3. Kleinjung; et al. (2010-02-18). "Factorization of a 768-bit RSA modulus" (PDF). International Association for Cryptologic Research. Retrieved 2010-08-09. {{cite journal}}: Cite journal requires |journal= (help)
  4. Krantz, Steven G. (2011), The Proof is in the Pudding: The Changing Nature of Mathematical Proof, New York: Springer, p. 203, doi:10.1007/978-0-387-48744-1, ISBN 978-0-387-48908-7, MR 2789493
  5. Arora, Sanjeev; Barak, Boaz (2009), Computational complexity, Cambridge: Cambridge University Press, p. 230, doi:10.1017/CBO9780511804090, ISBN 978-0-521-42426-4, MR 2500087
  6. Goldreich, Oded; Wigderson, Avi (2008), "IV.20 Computational Complexity", in Gowers, Timothy; Barrow-Green, June; Leader, Imre (eds.), The Princeton Companion to Mathematics, Princeton, New Jersey: Princeton University Press, pp. 575–604, ISBN 978-0-691-11880-2, MR 2467561. See in particular p. 583.
  7. Buhler, J. P.; Lenstra, H. W. Jr.; Pomerance, Carl (1993). Factoring integers with the number field sieve (Lecture Notes in Mathematics, vol 1554 ed.). Springer. pp. 50–94. doi:10.1007/BFb0091539. hdl:1887/2149. ISBN 978-3-540-57013-4. Retrieved 12 March 2021.
  8. Vandersypen, Lieven M. K.; et al. (2001). "Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance". Nature. 414 (6866): 883–887. arXiv:quant-ph/0112176. Bibcode:2001Natur.414..883V. doi:10.1038/414883a. PMID 11780055. S2CID 4400832.
  9. Lance Fortnow (2002-09-13). "Computational Complexity Blog: Complexity Class of the Week: Factoring".
  10. 10.0 10.1 David Bressoud and Stan Wagon (2000). A Course in Computational Number Theory. Key College Publishing/Springer. pp. 168–69. ISBN 978-1-930190-10-8.
  11. Schnorr, Claus P. (1982). "Refined analysis and improvements on some factoring algorithms". Journal of Algorithms. 3 (2): 101–127. doi:10.1016/0196-6774(82)90012-8. MR 0657269. Archived from the original on September 24, 2017.
  12. Seysen, Martin (1987). "A probabilistic factorization algorithm with quadratic forms of negative discriminant". Mathematics of Computation. 48 (178): 757–780. doi:10.1090/S0025-5718-1987-0878705-X. MR 0878705.
  13. Lenstra, Arjen K (1988). "Fast and rigorous factorization under the generalized Riemann hypothesis" (PDF). Indagationes Mathematicae. 50 (4): 443–454. doi:10.1016/S1385-7258(88)80022-2.
  14. 14.0 14.1 Lenstra, H. W.; Pomerance, Carl (July 1992). "A Rigorous Time Bound for Factoring Integers" (PDF). Journal of the American Mathematical Society. 5 (3): 483–516. doi:10.1090/S0894-0347-1992-1137100-0. MR 1137100.


संदर्भ


बाहरी संबंध