फ़र्मेट प्राइमैलिटी परीक्षण: Difference between revisions
(Created page with "{{for|the test for determining whether a Fermat number is prime|Pépin's test}} फ़र्मेट प्राइमैलिटी परीक्षण यह निर...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{for|the test for determining whether a Fermat number is prime|Pépin's test}} | {{for|the test for determining whether a Fermat number is prime|Pépin's test}} | ||
फ़र्मेट प्राइमैलिटी परीक्षण यह निर्धारित करने के लिए | फ़र्मेट प्राइमैलिटी परीक्षण यह निर्धारित करने के लिए [[यादृच्छिक एल्गोरिदम]] परीक्षण है कि कोई संख्या संभावित अभाज्य है या नहीं। | ||
==अवधारणा== | ==अवधारणा== | ||
| Line 6: | Line 6: | ||
:<math>a^{p-1} \equiv 1 \pmod{p}.</math> | :<math>a^{p-1} \equiv 1 \pmod{p}.</math> | ||
यदि कोई यह परीक्षण करना चाहता है कि क्या पी अभाज्य है, तो हम ऐसे यादृच्छिक पूर्णांक चुन सकते हैं जो पी से विभाज्य नहीं हैं और देख सकते हैं कि समानता कायम है या नहीं। यदि समानता a के मान के लिए मान्य नहीं है, तो p समग्र है। यदि p समग्र है तो यह सर्वांगसमता यादृच्छिक a के लिए टिकने की संभावना नहीं है।<ref name="PSW">{{cite journal |author1 = Carl Pomerance |author-link1 = Carl Pomerance |author2 = John L. Selfridge |author-link2 = John L. Selfridge |author3 = Samuel S. Wagstaff, Jr. |author-link3 = Samuel S. Wagstaff, Jr. |title=The pseudoprimes to 25·10<sup>9</sup> |journal=Mathematics of Computation |date=July 1980 |volume=35 |issue=151 |pages=1003–1026 |url=//math.dartmouth.edu/~carlp/PDF/paper25.pdf |jstor=2006210 |doi=10.1090/S0025-5718-1980-0572872-7 |doi-access=free }}</ref> इसलिए, यदि समानता a के | यदि कोई यह परीक्षण करना चाहता है कि क्या पी अभाज्य है, तो हम ऐसे यादृच्छिक पूर्णांक चुन सकते हैं जो पी से विभाज्य नहीं हैं और देख सकते हैं कि समानता कायम है या नहीं। यदि समानता a के मान के लिए मान्य नहीं है, तो p समग्र है। यदि p समग्र है तो यह सर्वांगसमता यादृच्छिक a के लिए टिकने की संभावना नहीं है।<ref name="PSW">{{cite journal |author1 = Carl Pomerance |author-link1 = Carl Pomerance |author2 = John L. Selfridge |author-link2 = John L. Selfridge |author3 = Samuel S. Wagstaff, Jr. |author-link3 = Samuel S. Wagstaff, Jr. |title=The pseudoprimes to 25·10<sup>9</sup> |journal=Mathematics of Computation |date=July 1980 |volume=35 |issue=151 |pages=1003–1026 |url=//math.dartmouth.edu/~carlp/PDF/paper25.pdf |jstor=2006210 |doi=10.1090/S0025-5718-1980-0572872-7 |doi-access=free }}</ref> इसलिए, यदि समानता a के या अधिक मानों के लिए मान्य है, तो हम कहते हैं कि p संभावित अभाज्य है। | ||
हालाँकि, ध्यान दें कि उपरोक्त सर्वांगसमता तुच्छ है <math>a \equiv 1 \pmod{p}</math>, क्योंकि सर्वांगसमता संबंध मॉड्यूलर अंकगणित#गुण है। यह भी तुच्छ रूप से मान्य है <math>a \equiv -1 \pmod{p}</math> यदि p विषम है, तो उसी कारण से। यही कारण है कि कोई आमतौर पर अंतराल में | हालाँकि, ध्यान दें कि उपरोक्त सर्वांगसमता तुच्छ है <math>a \equiv 1 \pmod{p}</math>, क्योंकि सर्वांगसमता संबंध मॉड्यूलर अंकगणित#गुण है। यह भी तुच्छ रूप से मान्य है <math>a \equiv -1 \pmod{p}</math> यदि p विषम है, तो उसी कारण से। यही कारण है कि कोई आमतौर पर अंतराल में यादृच्छिक ए चुनता है <math>1 < a < p - 1</math>. | ||
कोई भी ऐसा कि | कोई भी ऐसा कि | ||
| Line 21: | Line 21: | ||
मान लीजिए हम यह निर्धारित करना चाहते हैं कि n = 221 अभाज्य है या नहीं। यादृच्छिक रूप से 1 < a < 220, मान लीजिए a = 38 चुनें। हम उपरोक्त समानता की जाँच करते हैं और पाते हैं कि यह कायम है: | मान लीजिए हम यह निर्धारित करना चाहते हैं कि n = 221 अभाज्य है या नहीं। यादृच्छिक रूप से 1 < a < 220, मान लीजिए a = 38 चुनें। हम उपरोक्त समानता की जाँच करते हैं और पाते हैं कि यह कायम है: | ||
:<math>a^{n-1} = 38^{220} \equiv 1 \pmod{221}.</math> | :<math>a^{n-1} = 38^{220} \equiv 1 \pmod{221}.</math> | ||
या तो 221 अभाज्य है, या 38 | या तो 221 अभाज्य है, या 38 फ़र्मेट झूठा है, इसलिए हम और लेते हैं, मान लीजिए 24: | ||
:<math>a^{n-1} = 24^{220} \equiv 81 \not\equiv 1 \pmod{221}.</math> | :<math>a^{n-1} = 24^{220} \equiv 81 \not\equiv 1 \pmod{221}.</math> | ||
तो 221 समग्र है और 38 वास्तव में | तो 221 समग्र है और 38 वास्तव में फ़र्मेट झूठा था। इसके अलावा, 24 221 की समग्रता के लिए फ़र्मेट गवाह है। | ||
==एल्गोरिदम== | ==एल्गोरिदम== | ||
एल्गोरिथ्म को इस प्रकार लिखा जा सकता है: | एल्गोरिथ्म को इस प्रकार लिखा जा सकता है: | ||
:इनपुट: ''एन'': प्रारंभिकता के परीक्षण के लिए | :इनपुट: ''एन'': प्रारंभिकता के परीक्षण के लिए मान, ''एन''>3; ''k'': पैरामीटर जो प्रारंभिकता के परीक्षण के लिए समय की संख्या निर्धारित करता है | ||
:आउटपुट: ''मिश्रित'' यदि ''एन'' समग्र है, अन्यथा ''संभवतः अभाज्य'' | :आउटपुट: ''मिश्रित'' यदि ''एन'' समग्र है, अन्यथा ''संभवतः अभाज्य'' | ||
:''k'' बार दोहराएं: | :''k'' बार दोहराएं: | ||
| Line 42: | Line 42: | ||
==दोष== | ==दोष== | ||
किसी भी आधार a>1 के लिए अनंत रूप से कई फ़र्मेट स्यूडोप्राइम हैं।{{r|PSW|p=Theorem 1}} | किसी भी आधार a>1 के लिए अनंत रूप से कई फ़र्मेट स्यूडोप्राइम हैं।{{r|PSW|p=Theorem 1}} | ||
इससे भी बुरी बात यह है कि [[कारमाइकल संख्या]]एं अनंत हैं।<ref name="Alford1994">{{cite journal |last1=Alford |first1=W. R. |author-link=W. R. (Red) Alford |last2=Granville |first2=Andrew |author-link2=Andrew Granville |last3=Pomerance |first3=Carl |author-link3=Carl Pomerance |year=1994 |title=कारमाइकल संख्याएँ अनन्त रूप से अनेक हैं|journal=[[Annals of Mathematics]] |doi=10.2307/2118576 |volume=140 |issue=3 |pages=703–722 |url=http://www.math.dartmouth.edu/~carlp/PDF/paper95.pdf |jstor=2118576 }}</ref> ये संख्याएं हैं <math>n</math> जिसके लिए <u>सभी</u> मान <math>a</math> साथ <math>\operatorname{gcd}(a, n) = 1</math> फ़र्मेट झूठे हैं. इन संख्याओं के लिए, फ़र्मेट प्राइमैलिटी परीक्षण का बार-बार उपयोग कारकों के लिए | |||
इससे भी बुरी बात यह है कि [[कारमाइकल संख्या]]एं अनंत हैं।<ref name="Alford1994">{{cite journal |last1=Alford |first1=W. R. |author-link=W. R. (Red) Alford |last2=Granville |first2=Andrew |author-link2=Andrew Granville |last3=Pomerance |first3=Carl |author-link3=Carl Pomerance |year=1994 |title=कारमाइकल संख्याएँ अनन्त रूप से अनेक हैं|journal=[[Annals of Mathematics]] |doi=10.2307/2118576 |volume=140 |issue=3 |pages=703–722 |url=http://www.math.dartmouth.edu/~carlp/PDF/paper95.pdf |jstor=2118576 }}</ref> ये संख्याएं हैं <math>n</math> जिसके लिए <u>सभी</u> मान <math>a</math> साथ <math>\operatorname{gcd}(a, n) = 1</math> फ़र्मेट झूठे हैं. इन संख्याओं के लिए, फ़र्मेट प्राइमैलिटी परीक्षण का बार-बार उपयोग कारकों के लिए सरल यादृच्छिक खोज के समान ही कार्य करता है। जबकि कारमाइकल संख्याएँ अभाज्य संख्याओं की तुलना में काफी दुर्लभ हैं (कारमाइकल संख्याओं की संख्या के लिए एर्डोज़ की ऊपरी सीमा<ref> | |||
{{cite journal |author = Paul Erdős | {{cite journal |author = Paul Erdős | ||
|date=1956 |title=On pseudoprimes and Carmichael numbers | |date=1956 |title=On pseudoprimes and Carmichael numbers | ||
|journal=Publ. Math. Debrecen |volume=4 |pages=201–206|author-link=Paul Erdős }}</ref> अभाज्य संख्या प्रमेय से कम है|अभाज्य संख्या फ़ंक्शन n/log(n) | |journal=Publ. Math. Debrecen |volume=4 |pages=201–206|author-link=Paul Erdős }}</ref> अभाज्य संख्या प्रमेय से कम है|अभाज्य संख्या फ़ंक्शन n/log(n)) उनमें से पर्याप्त हैं कि फ़र्मेट का प्राइमलिटी परीक्षण अक्सर उपरोक्त रूप में उपयोग नहीं किया जाता है। इसके बजाय, फ़र्मेट परीक्षण के अन्य अधिक शक्तिशाली एक्सटेंशन, जैसे बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट|बैली-पीएसडब्ल्यू, मिलर-राबिन प्राइमलिटी टेस्ट|मिलर-राबिन, और सोलोवे-स्ट्रैसेन प्राइमलिटी टेस्ट|सोलोवे-स्ट्रैसन का अधिक सामान्यतः उपयोग किया जाता है। | ||
सामान्य तौर पर, यदि <math>n</math> | सामान्य तौर पर, यदि <math>n</math> भाज्य संख्या है जो कारमाइकल संख्या नहीं है, तो सभी का कम से कम आधा | ||
:<math>a\in(\mathbb{Z}/n\mathbb{Z})^*</math> (अर्थात। <math>\operatorname{gcd}(a,n)=1</math>) | :<math>a\in(\mathbb{Z}/n\mathbb{Z})^*</math> (अर्थात। <math>\operatorname{gcd}(a,n)=1</math>) | ||
फ़र्मेट गवाह हैं। इसके प्रमाण के लिए आइए <math>a</math> | फ़र्मेट गवाह हैं। इसके प्रमाण के लिए आइए <math>a</math> फ़र्मेट गवाह बनें और <math>a_1</math>, <math>a_2</math>, ..., <math>a_s</math> फ़र्मेट झूठे हो. तब | ||
:<math>(a\cdot a_i)^{n-1} \equiv a^{n-1}\cdot a_i^{n-1} \equiv a^{n-1} \not\equiv 1\pmod{n}</math> | :<math>(a\cdot a_i)^{n-1} \equiv a^{n-1}\cdot a_i^{n-1} \equiv a^{n-1} \not\equiv 1\pmod{n}</math> | ||
| Line 58: | Line 59: | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
जैसा कि ऊपर बताया गया है, अधिकांश एप्लिकेशन मिलर-राबिन प्राइमलिटी टेस्ट|मिलर-राबिन या बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट|बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट का उपयोग प्राइमलिटी के लिए करते हैं। कभी-कभी प्रदर्शन में सुधार के लिए पहले फ़र्मेट परीक्षण (छोटे अभाज्यों द्वारा कुछ परीक्षण विभाजन के साथ) किया जाता है। संस्करण 3.0 के बाद से [[जीएनयू मल्टीपल प्रिसिजन अरिथमेटिक लाइब्रेरी]] ट्रायल डिवीजन के बाद और मिलर-राबिन परीक्षण चलाने से पहले बेस-210 फ़र्मेट परीक्षण का उपयोग करती है। [[लिबगक्रिप्ट]] फ़र्मेट परीक्षण के लिए आधार 2 के साथ | जैसा कि ऊपर बताया गया है, अधिकांश एप्लिकेशन मिलर-राबिन प्राइमलिटी टेस्ट|मिलर-राबिन या बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट|बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट का उपयोग प्राइमलिटी के लिए करते हैं। कभी-कभी प्रदर्शन में सुधार के लिए पहले फ़र्मेट परीक्षण (छोटे अभाज्यों द्वारा कुछ परीक्षण विभाजन के साथ) किया जाता है। संस्करण 3.0 के बाद से [[जीएनयू मल्टीपल प्रिसिजन अरिथमेटिक लाइब्रेरी]] ट्रायल डिवीजन के बाद और मिलर-राबिन परीक्षण चलाने से पहले बेस-210 फ़र्मेट परीक्षण का उपयोग करती है। [[लिबगक्रिप्ट]] फ़र्मेट परीक्षण के लिए आधार 2 के साथ समान प्रक्रिया का उपयोग करता है, लेकिन [[ओपनएसएसएल]] नहीं करता है। | ||
जीएमपी जैसे अधिकांश बड़ी संख्या में पुस्तकालयों के साथ व्यवहार में, फ़र्मेट परीक्षण मिलर-राबिन परीक्षण की तुलना में अधिक तेज़ नहीं है, और कई इनपुट के लिए धीमा हो सकता है।<ref>{{citation|author=Joe Hurd|date=2003|title=Verification of the Miller–Rabin Probabilistic Primality Test|page=2|citeseerx=10.1.1.105.3196}}</ref> | जीएमपी जैसे अधिकांश बड़ी संख्या में पुस्तकालयों के साथ व्यवहार में, फ़र्मेट परीक्षण मिलर-राबिन परीक्षण की तुलना में अधिक तेज़ नहीं है, और कई इनपुट के लिए धीमा हो सकता है।<ref>{{citation|author=Joe Hurd|date=2003|title=Verification of the Miller–Rabin Probabilistic Primality Test|page=2|citeseerx=10.1.1.105.3196}}</ref> | ||
अपवाद के रूप में, OpenPFGW संभावित प्राइम परीक्षण के लिए केवल फ़र्मेट परीक्षण का उपयोग करता है। प्रोग्राम का उपयोग आम तौर पर बहुत बड़े इनपुट के साथ अधिकतम गति के लक्ष्य के साथ बहु-हज़ार अंकों वाले इनपुट के साथ किया जाता है। | |||
अपवाद के रूप में, OpenPFGW संभावित प्राइम परीक्षण के लिए केवल फ़र्मेट परीक्षण का उपयोग करता है। प्रोग्राम का उपयोग आम तौर पर बहुत बड़े इनपुट के साथ अधिकतम गति के लक्ष्य के साथ बहु-हज़ार अंकों वाले इनपुट के साथ किया जाता है। अन्य प्रसिद्ध कार्यक्रम जो केवल फ़र्मेट परीक्षण पर निर्भर करता है वह [[काफ़ी अच्छी गोपनीयता]] है जहां इसका उपयोग केवल स्व-निर्मित बड़े यादृच्छिक मूल्यों के परीक्षण के लिए किया जाता है ( खुला स्रोत समकक्ष, [[जीएनयू गोपनीयता गार्ड]], मिलर-राबिन परीक्षणों के बाद फ़र्मेट प्रीटेस्ट का उपयोग करता है) . | |||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 08:33, 22 July 2023
फ़र्मेट प्राइमैलिटी परीक्षण यह निर्धारित करने के लिए यादृच्छिक एल्गोरिदम परीक्षण है कि कोई संख्या संभावित अभाज्य है या नहीं।
अवधारणा
फ़र्मेट का छोटा प्रमेय बताता है कि यदि p अभाज्य है और a, p से विभाज्य नहीं है, तो
यदि कोई यह परीक्षण करना चाहता है कि क्या पी अभाज्य है, तो हम ऐसे यादृच्छिक पूर्णांक चुन सकते हैं जो पी से विभाज्य नहीं हैं और देख सकते हैं कि समानता कायम है या नहीं। यदि समानता a के मान के लिए मान्य नहीं है, तो p समग्र है। यदि p समग्र है तो यह सर्वांगसमता यादृच्छिक a के लिए टिकने की संभावना नहीं है।[1] इसलिए, यदि समानता a के या अधिक मानों के लिए मान्य है, तो हम कहते हैं कि p संभावित अभाज्य है।
हालाँकि, ध्यान दें कि उपरोक्त सर्वांगसमता तुच्छ है , क्योंकि सर्वांगसमता संबंध मॉड्यूलर अंकगणित#गुण है। यह भी तुच्छ रूप से मान्य है यदि p विषम है, तो उसी कारण से। यही कारण है कि कोई आमतौर पर अंतराल में यादृच्छिक ए चुनता है .
कोई भी ऐसा कि
जब n मिश्रित होता है तो उसे फ़र्मेट लियार के रूप में जाना जाता है। इस मामले में n को आधार a के लिए फ़र्मेट स्यूडोप्राइम कहा जाता है।
यदि हम ऐसा कोई चुनते हैं
तब a को n की समग्रता के लिए फ़र्मेट गवाह के रूप में जाना जाता है।
उदाहरण
मान लीजिए हम यह निर्धारित करना चाहते हैं कि n = 221 अभाज्य है या नहीं। यादृच्छिक रूप से 1 < a < 220, मान लीजिए a = 38 चुनें। हम उपरोक्त समानता की जाँच करते हैं और पाते हैं कि यह कायम है:
या तो 221 अभाज्य है, या 38 फ़र्मेट झूठा है, इसलिए हम और लेते हैं, मान लीजिए 24:
तो 221 समग्र है और 38 वास्तव में फ़र्मेट झूठा था। इसके अलावा, 24 221 की समग्रता के लिए फ़र्मेट गवाह है।
एल्गोरिदम
एल्गोरिथ्म को इस प्रकार लिखा जा सकता है:
- इनपुट: एन: प्रारंभिकता के परीक्षण के लिए मान, एन>3; k: पैरामीटर जो प्रारंभिकता के परीक्षण के लिए समय की संख्या निर्धारित करता है
- आउटपुट: मिश्रित यदि एन समग्र है, अन्यथा संभवतः अभाज्य
- k बार दोहराएं:
- श्रेणी में यादृच्छिक रूप से a चुनें [2, n − 2]
- अगर , फिर समग्र लौटें
- यदि कंपोजिट कभी वापस नहीं किया जाता है: संभवतः प्राइम लौटाएं
ए मान 1 और एन-1 का उपयोग नहीं किया जाता है क्योंकि समानता क्रमशः सभी एन और सभी विषम एन के लिए होती है, इसलिए उनका परीक्षण करने से कोई मूल्य नहीं जुड़ता है।
जटिलता
मॉड्यूलर घातांक और बहुसटीक गुणन के लिए तेज़ एल्गोरिदम का उपयोग करते हुए, इस एल्गोरिदम का चलने का समय है O(k log2n log log n) = Õ(k log2n), जहां k वह संख्या है जितनी बार हम यादृच्छिक a का परीक्षण करते हैं, और n वह मान है जिसे हम प्रारंभिकता के लिए परीक्षण करना चाहते हैं; विवरण के लिए मिलर-राबिन प्राइमलिटी टेस्ट#जटिलता|मिलर-राबिन प्राइमलिटी टेस्ट देखें।
दोष
किसी भी आधार a>1 के लिए अनंत रूप से कई फ़र्मेट स्यूडोप्राइम हैं।[1]: Theorem 1
इससे भी बुरी बात यह है कि कारमाइकल संख्याएं अनंत हैं।[2] ये संख्याएं हैं जिसके लिए सभी मान साथ फ़र्मेट झूठे हैं. इन संख्याओं के लिए, फ़र्मेट प्राइमैलिटी परीक्षण का बार-बार उपयोग कारकों के लिए सरल यादृच्छिक खोज के समान ही कार्य करता है। जबकि कारमाइकल संख्याएँ अभाज्य संख्याओं की तुलना में काफी दुर्लभ हैं (कारमाइकल संख्याओं की संख्या के लिए एर्डोज़ की ऊपरी सीमा[3] अभाज्य संख्या प्रमेय से कम है|अभाज्य संख्या फ़ंक्शन n/log(n)) उनमें से पर्याप्त हैं कि फ़र्मेट का प्राइमलिटी परीक्षण अक्सर उपरोक्त रूप में उपयोग नहीं किया जाता है। इसके बजाय, फ़र्मेट परीक्षण के अन्य अधिक शक्तिशाली एक्सटेंशन, जैसे बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट|बैली-पीएसडब्ल्यू, मिलर-राबिन प्राइमलिटी टेस्ट|मिलर-राबिन, और सोलोवे-स्ट्रैसेन प्राइमलिटी टेस्ट|सोलोवे-स्ट्रैसन का अधिक सामान्यतः उपयोग किया जाता है।
सामान्य तौर पर, यदि भाज्य संख्या है जो कारमाइकल संख्या नहीं है, तो सभी का कम से कम आधा
- (अर्थात। )
फ़र्मेट गवाह हैं। इसके प्रमाण के लिए आइए फ़र्मेट गवाह बनें और , , ..., फ़र्मेट झूठे हो. तब
और सब कुछ के लिए फ़र्मेट गवाह हैं।
अनुप्रयोग
जैसा कि ऊपर बताया गया है, अधिकांश एप्लिकेशन मिलर-राबिन प्राइमलिटी टेस्ट|मिलर-राबिन या बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट|बैली-पीएसडब्ल्यू प्राइमलिटी टेस्ट का उपयोग प्राइमलिटी के लिए करते हैं। कभी-कभी प्रदर्शन में सुधार के लिए पहले फ़र्मेट परीक्षण (छोटे अभाज्यों द्वारा कुछ परीक्षण विभाजन के साथ) किया जाता है। संस्करण 3.0 के बाद से जीएनयू मल्टीपल प्रिसिजन अरिथमेटिक लाइब्रेरी ट्रायल डिवीजन के बाद और मिलर-राबिन परीक्षण चलाने से पहले बेस-210 फ़र्मेट परीक्षण का उपयोग करती है। लिबगक्रिप्ट फ़र्मेट परीक्षण के लिए आधार 2 के साथ समान प्रक्रिया का उपयोग करता है, लेकिन ओपनएसएसएल नहीं करता है।
जीएमपी जैसे अधिकांश बड़ी संख्या में पुस्तकालयों के साथ व्यवहार में, फ़र्मेट परीक्षण मिलर-राबिन परीक्षण की तुलना में अधिक तेज़ नहीं है, और कई इनपुट के लिए धीमा हो सकता है।[4]
अपवाद के रूप में, OpenPFGW संभावित प्राइम परीक्षण के लिए केवल फ़र्मेट परीक्षण का उपयोग करता है। प्रोग्राम का उपयोग आम तौर पर बहुत बड़े इनपुट के साथ अधिकतम गति के लक्ष्य के साथ बहु-हज़ार अंकों वाले इनपुट के साथ किया जाता है। अन्य प्रसिद्ध कार्यक्रम जो केवल फ़र्मेट परीक्षण पर निर्भर करता है वह काफ़ी अच्छी गोपनीयता है जहां इसका उपयोग केवल स्व-निर्मित बड़े यादृच्छिक मूल्यों के परीक्षण के लिए किया जाता है ( खुला स्रोत समकक्ष, जीएनयू गोपनीयता गार्ड, मिलर-राबिन परीक्षणों के बाद फ़र्मेट प्रीटेस्ट का उपयोग करता है) .
संदर्भ
- ↑ 1.0 1.1 Carl Pomerance; John L. Selfridge; Samuel S. Wagstaff, Jr. (July 1980). "The pseudoprimes to 25·109" (PDF). Mathematics of Computation. 35 (151): 1003–1026. doi:10.1090/S0025-5718-1980-0572872-7. JSTOR 2006210.
- ↑ Alford, W. R.; Granville, Andrew; Pomerance, Carl (1994). "कारमाइकल संख्याएँ अनन्त रूप से अनेक हैं" (PDF). Annals of Mathematics. 140 (3): 703–722. doi:10.2307/2118576. JSTOR 2118576.
- ↑ Paul Erdős (1956). "On pseudoprimes and Carmichael numbers". Publ. Math. Debrecen. 4: 201–206.
- ↑ Joe Hurd (2003), Verification of the Miller–Rabin Probabilistic Primality Test, p. 2, CiteSeerX 10.1.1.105.3196
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein (2001). "Section 31.8: Primality testing". Introduction to Algorithms (Second ed.). MIT Press; McGraw-Hill. p. 889–890. ISBN 0-262-03293-7.
{{cite book}}: CS1 maint: multiple names: authors list (link)
