त्वरित उत्तर: व्यावहारिक उद्देश्यों के लिए कभी नहीं। यह वर्तमान में किसी भी व्यावहारिक उपयोग की नहीं है।
पहले, आइए हम व्यावहारिकता के प्रमाणों से "व्यावहारिक" सम्मिश्रण परीक्षण को अलग करते हैं। पूर्व लगभग सभी उद्देश्यों के लिए पर्याप्त है, हालांकि लोगों के परीक्षण के विभिन्न स्तर पर्याप्त हैं। 2 ^ 64 के तहत संख्याओं के लिए, 7 मिलर-राबिन परीक्षणों से अधिक नहीं, या एक निर्धारक उत्तर के लिए एक बीपीएसडब्ल्यू परीक्षण आवश्यक है। यह AKS की तुलना में बहुत तेज़ होगा और सभी मामलों में सही होगा। 2 ^ 64 से अधिक की संख्या के लिए, BPSW एक अच्छा विकल्प है, जिसमें कुछ अतिरिक्त यादृच्छिक-बेस मिलर-राबिन परीक्षण बहुत कम लागत के लिए कुछ अतिरिक्त आत्मविश्वास जोड़ते हैं। लगभग सभी प्रूफ मेथड इस तरह के टेस्ट के साथ शुरू होंगे (या उन्हें चाहिए) क्योंकि यह सस्ता है और इसका मतलब है कि हम केवल उन नंबरों पर कड़ी मेहनत करते हैं जो लगभग निश्चित रूप से प्राइम हैं।
प्रमाणों की ओर बढ़ना। प्रत्येक मामले में परिणामी प्रमाण के लिए किसी अनुमान की आवश्यकता नहीं होती है, इसलिए इनकी तुलना कार्यात्मक रूप से की जा सकती है। एपीआर-सीएल का "गोचा" यह है कि यह बहुत बहुपद नहीं है, और ईसीपीपी / फास्टईसीपीपी का "गोचा" यह है कि इसमें मौजूद संख्याएं हो सकती हैं जो अपेक्षा से अधिक समय तक होती हैं।
ग्राफ में, हम दो खुले स्रोत एकेएस कार्यान्वयन देखते हैं - पहला वी 6 पेपर से, दूसरा बर्नस्टीन और वोल्च से सुधार और बोर्नमेन से एक अच्छा आर / एस हेयुरिस्टिक। बहुपदीय गुणकों के लिए जीएमपी में ये द्विआधारी विभाजन का उपयोग करते हैं इसलिए बहुत कुशल होते हैं, और स्मृति का उपयोग यहां पर दिए गए आकारों के लिए एक गैर-मुद्दा है। वे लॉग-लॉग ग्राफ़ पर ~ 6.4 की ढलान के साथ अच्छी सीधी रेखाएं बनाते हैं, जो बहुत अच्छा है। लेकिन 1000 से अधिक अंकों के लिए एक्सट्रपलेशन करना हजारों से लाखों वर्षों के अनुमानित समय पर आता है, एपीआर-सीएल और ईसीपीपी के लिए कुछ ही मिनटों में। आगे के अनुकूलन हैं जो 2002 के बर्नस्टीन पेपर से किए जा सकते हैं, लेकिन मुझे नहीं लगता कि यह भौतिक रूप से स्थिति को बदल देगा (हालांकि जब तक इसे लागू नहीं किया जाता है) साबित नहीं होता है।
आखिरकार AKS ट्रायल डिवीजन को हरा देता है। BLS75 प्रमेय 5 (जैसे n-1 सबूत) विधि को n-1 के आंशिक फैक्टरिंग की आवश्यकता होती है। यह छोटे आकारों में बहुत अच्छा काम करता है, और यह भी कि जब हम भाग्यशाली होते हैं और n-1 कारक के लिए आसान होता है, लेकिन अंततः हम कुछ बड़े अर्ध-प्रधान कारक के लिए फंस जाएंगे। अधिक कुशल कार्यान्वयन हैं, लेकिन यह वास्तव में पिछले 100 अंकों को मापता नहीं है। हम देख सकते हैं कि AKS इस विधि को पारित करेगा। इसलिए यदि आपने 1975 में प्रश्न पूछा था (और तब AKS एल्गोरिथम वापस आ गया था) तो हम उस क्रॉसओवर की गणना कर सकते हैं जहां AKS सबसे व्यावहारिक एल्गोरिदम था। लेकिन 1980 के दशक के अंत तक, APR-CL और अन्य साइक्लोटोमिक विधियां सही तुलना थीं, और 1990 के दशक के मध्य तक हमें ECPP को शामिल करना होगा।
APR-CL और ECPP विधि दोनों खुले स्रोत कार्यान्वयन हैं। प्राइमो (मुक्त लेकिन खुला स्रोत ECPP) बड़े अंकों के आकार के लिए तेज़ होगा और मुझे यकीन है कि इसमें एक अच्छा वक्र है (मैंने अभी तक नया बेंचमार्किंग नहीं किया है)। APR-सीएल गैर बहुपद है लेकिन प्रतिपादक एक कारक है logloglogn जो के रूप में किसी को चुटकी ली "अनंत को जाता है लेकिन ऐसा करने के लिए कभी नहीं देखा गया है।" यह हमें यह विश्वास दिलाता है कि सिद्धांत रूप में एन के किसी भी मूल्य के लिए लाइनें पार नहीं होंगी जहां हमारे सूरज को जलाने से पहले एकेएस खत्म हो जाएगा। ECPP एक लास वेगास एल्गोरिथ्म है, जिसमें जब हमें उत्तर मिलता है कि यह 100% सही है, तो हम अनुमान O(log5+ϵ(n)) (ECPP) याO ( लॉग 4) में परिणाम की उम्मीद करते हैं)O(log4+ϵ(n))("fastECPP") समय, लेकिन संख्या हो सकती है जो अधिक समय लेती हैं। इसलिए हमारी अपेक्षा यह है कि लगभग सभी नंबरों के लिए मानक AKS हमेशा ECPP की तुलना में धीमा होगा (यह निश्चित रूप से 25k अंकों तक की संख्या के लिए खुद को दिखाता है)।
AKS में अधिक सुधार की प्रतीक्षा की जा सकती है जो इसे व्यावहारिक बनाता है। बर्नस्टेन की Quartic कागज एक अक्स आधारित यादृच्छिक पर चर्चा करता O(log4+ϵ(n)) एल्गोरिथ्म, और Morain के fastECPP कागज संदर्भ अन्य गैर नियतात्मक अक्स आधारित विधियों। यह एक मौलिक परिवर्तन है, लेकिन यह दिखाता है कि AKS ने कुछ नए अनुसंधान क्षेत्रों को कैसे खोला। हालांकि, लगभग 10 साल बाद मैंने किसी को भी इस विधि (या यहां तक कि किसी भी कार्यान्वयन) का उपयोग करते नहीं देखा है। उन्होंने परिचय में लिखा है, " (lgn)4+o(1) समय नए एल्गोरिथ्म के लिए ( lg) से छोटा है(lgn)4+o(1) अण्डाकार-वक्र प्रमाण पत्र खोजने का समय? मेरी वर्तमान धारणा यह है कि उत्तर नहीं है, लेकिन इससे आगे के परिणाम [...] उत्तर बदल सकते हैं। "
इनमें से कुछ एल्गोरिदम को आसानी से समानांतर या वितरित किया जा सकता है। AKS बहुत आसानी से (प्रत्येक का परीक्षण स्वतंत्र है)। ECPP बहुत कठिन नहीं है। मुझे APR-CL के बारे में निश्चित नहीं है।
ECPP और BLS75 विधियां प्रमाण पत्र का उत्पादन करती हैं जिन्हें स्वतंत्र रूप से और जल्दी से सत्यापित किया जा सकता है। यह एकेएस और एपीआर-सीएल पर एक बड़ा फायदा है, जहां हमें इसे लागू करने वाले कंप्यूटर और इसके उत्पादन पर भरोसा करना होगा।