एवरेज-केस कम्प्लेक्सिटी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{redirect|औसत.पी|अन्य उपयोग|औसत पी (असंबद्धता)}}
[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल सम्मिश्रता सिद्धांत]] में, एक [[कलन विधि]] की '''एवरेज-केस कम्प्लेक्सिटी''' (औसत-केस सम्मिश्रता) कलन विधि द्वारा उपयोग किए जाने वाले कुछ कम्प्यूटेशनल संसाधन (सामान्यतः समय) की मात्रा है, जो सभी संभावित इनपुट पर औसत होती है। इसकी तुलना प्रायः सबसे खराब स्थिति वाली सम्मिश्रता से की जाती है जो सभी संभावित इनपुटों पर कलन विधि की अधिकतम सम्मिश्रता पर विचार करती है।
[[कम्प्यूटेशनल जटिलता सिद्धांत]] में, एक [[कलन विधि]] की औसत-केस जटिलता कलन विधि द्वारा उपयोग किए जाने वाले कुछ कम्प्यूटेशनल संसाधन (आमतौर पर समय) की मात्रा है, जो सभी संभावित इनपुट पर औसत होती है। इसकी तुलना अक्सर सबसे खराब स्थिति वाली जटिलता से की जाती है जो सभी संभावित इनपुटों पर कलन विधि की अधिकतम जटिलता पर विचार करती है।


औसत-मामले की जटिलता का अध्ययन करने के लिए तीन प्राथमिक प्रेरणाएँ हैं।<ref name="gol07">O. Goldreich and S. Vadhan, Special issue on worst-case versus average-case complexity, Comput. Complex. 16, 325–330, 2007.</ref> सबसे पहले, हालांकि कुछ समस्याएं सबसे खराब स्थिति में कठिन हो सकती हैं, लेकिन इस व्यवहार को उत्पन्न करने वाले इनपुट व्यवहार में शायद ही कभी हो सकते हैं, इसलिए औसत-मामले की जटिलता कलन विधि के प्रदर्शन का अधिक सटीक माप हो सकती है। दूसरा, औसत-मामला जटिलता विश्लेषण समस्याओं के कठिन उदाहरण उत्पन्न करने के लिए उपकरण और तकनीक प्रदान करता है जिसका उपयोग [[क्रिप्टोग्राफी]] और [[व्युत्पन्नकरण]] जैसे क्षेत्रों में किया जा सकता है। तीसरा, औसत-मामला जटिलता समतुल्य सर्वोत्तम-मामले जटिलता (उदाहरण के लिए क्विकॉर्ट) के कलन विधि के बीच व्यवहार में सबसे कुशल कलन विधि को भेदभाव करने की अनुमति देती है।
एवरेज-केस कम्प्लेक्सिटी का अध्ययन करने के लिए तीन प्राथमिक प्रेरणाएँ हैं।<ref name="gol07">O. Goldreich and S. Vadhan, Special issue on worst-case versus average-case complexity, Comput. Complex. 16, 325–330, 2007.</ref> सबसे पहले, हालांकि कुछ समस्याएं सबसे खराब स्थिति में कठिन हो सकती हैं, लेकिन इस व्यवहार को उत्पन्न करने वाले इनपुट व्यवहार में शायद ही कभी हो सकते हैं, इसलिए एवरेज-केस कम्प्लेक्सिटी कलन विधि के प्रदर्शन का अधिक सटीक माप हो सकती है। दूसरा, औसत-कारक सम्मिश्रता विश्लेषण समस्याओं के कठिन उदाहरण उत्पन्न करने के लिए उपकरण और तकनीक प्रदान करता है जिसका उपयोग [[क्रिप्टोग्राफी]] और [[व्युत्पन्नकरण]] जैसे क्षेत्रों में किया जा सकता है। तीसरा, औसत-कारक सम्मिश्रता समतुल्य सर्वोत्तम-कारक सम्मिश्रता (उदाहरण के लिए क्विकॉर्ट) के कलन विधि के बीच व्यवहार में सबसे कुशल कलन विधि को भेदभाव करने की अनुमति देती है।


औसत-मामले विश्लेषण के लिए एक कलन विधि में "औसत" इनपुट की धारणा की आवश्यकता होती है, जिससे इनपुट पर संभाव्यता वितरण तैयार करने की समस्या पैदा होती है। वैकल्पिक रूप से, [[यादृच्छिक एल्गोरिदम|यादृच्छिक कलन विधि]] का उपयोग किया जा सकता है। ऐसे कलन विधि के विश्लेषण से अपेक्षित जटिलता की संबंधित धारणा सामने आती है।<ref name="clrs"/>
औसत-कारक विश्लेषण के लिए एक कलन विधि में "औसत" इनपुट की धारणा की आवश्यकता होती है, जिससे इनपुट पर संभाव्यता वितरण तैयार करने की समस्या उत्पन्न होती है। वैकल्पिक रूप से, [[यादृच्छिक एल्गोरिदम|यादृच्छिक कलन विधि]] का उपयोग किया जा सकता है। ऐसे कलन विधि के विश्लेषण से अपेक्षित सम्मिश्रता की संबंधित धारणा सामने आती है।<ref name="clrs"/>


==इतिहास और पृष्ठभूमि==
==इतिहास और पृष्ठभूमि==
Line 10: Line 9:
1950 के दशक में कम्प्यूटेशनल दक्षता की आधुनिक धारणाएँ विकसित होने के बाद से कलन विधि के औसत-केस प्रदर्शन का अध्ययन किया गया है। इस आरंभिक कार्य का अधिकांश भाग उन समस्याओं पर केंद्रित था जिनके लिए सबसे खराब स्थिति वाले बहुपद समय कलन विधि पहले से ही ज्ञात थे।<ref name="bog06">A. Bogdanov and L. Trevisan, "Average-Case Complexity," Foundations and Trends in Theoretical Computer Science, Vol. 2, No 1 (2006) 1–106.</ref>1973 में, [[डोनाल्ड नुथ]]<ref name="knu73">D. Knuth, [[The Art of Computer Programming]]. Vol. 3, Addison-Wesley, 1973.</ref> ने आर्ट ऑफ़ [[कंप्यूटर प्रोग्रामिंग की कला|कंप्यूटर प्रोग्रामिंग]] का खंड 3 प्रकाशित किया, जो सॉर्टिंग और मीडियन-फाइंडिंग जैसी सबसे खराब स्थिति वाले बहुपद समय में हल करने योग्य समस्याओं के लिए कलन विधि के औसत-केस प्रदर्शन का व्यापक सर्वेक्षण करता है।
1950 के दशक में कम्प्यूटेशनल दक्षता की आधुनिक धारणाएँ विकसित होने के बाद से कलन विधि के औसत-केस प्रदर्शन का अध्ययन किया गया है। इस आरंभिक कार्य का अधिकांश भाग उन समस्याओं पर केंद्रित था जिनके लिए सबसे खराब स्थिति वाले बहुपद समय कलन विधि पहले से ही ज्ञात थे।<ref name="bog06">A. Bogdanov and L. Trevisan, "Average-Case Complexity," Foundations and Trends in Theoretical Computer Science, Vol. 2, No 1 (2006) 1–106.</ref>1973 में, [[डोनाल्ड नुथ]]<ref name="knu73">D. Knuth, [[The Art of Computer Programming]]. Vol. 3, Addison-Wesley, 1973.</ref> ने आर्ट ऑफ़ [[कंप्यूटर प्रोग्रामिंग की कला|कंप्यूटर प्रोग्रामिंग]] का खंड 3 प्रकाशित किया, जो सॉर्टिंग और मीडियन-फाइंडिंग जैसी सबसे खराब स्थिति वाले बहुपद समय में हल करने योग्य समस्याओं के लिए कलन विधि के औसत-केस प्रदर्शन का व्यापक सर्वेक्षण करता है।


{{math|'''NP'''}}-पूर्ण समस्याओं के लिए एक कुशल कलन विधि को आम तौर पर ऐसे कलन विधि के रूप में जाना जाता है जो सभी इनपुट के लिए बहुपद समय में चलता है; यह सबसे खराब स्थिति में कुशल जटिलता की आवश्यकता के बराबर है। हालाँकि, एक एल्गोरिथ्म जो "छोटी" संख्या में इनपुट पर अक्षम है, वह अभी भी व्यवहार में आने वाले "अधिकांश" इनपुट के लिए कुशल हो सकता है। इस प्रकार, इन कलन विधि के गुणों का अध्ययन करना वांछनीय है जहां औसत-मामले की जटिलता सबसे खराब-मामले की जटिलता से भिन्न हो सकती है और दोनों को संबंधित करने के तरीकों को ढूंढना है।
{{math|'''NP'''}}-पूर्ण समस्याओं के लिए एक कुशल कलन विधि को सामान्यतः ऐसे कलन विधि के रूप में जाना जाता है जो सभी इनपुट के लिए बहुपद समय में चलता है; यह सबसे खराब स्थिति में कुशल सम्मिश्रता की आवश्यकता के बराबर है। हालाँकि, एक एल्गोरिथ्म जो "छोटी" संख्या में इनपुट पर अक्षम है, वह अभी भी व्यवहार में आने वाले "अधिकांश" इनपुट के लिए कुशल हो सकता है। इस प्रकार, इन कलन विधि के गुणों का अध्ययन करना वांछनीय है जहां एवरेज-केस कम्प्लेक्सिटी सबसे खराब-कारक की सम्मिश्रता से भिन्न हो सकती है और दोनों को संबंधित करने के तरीकों को ढूंढना है।


औसत-मामले की जटिलता की मौलिक धारणाएं 1986 में [[लियोनिद लेविन]] द्वारा विकसित की गईं जब उन्होंने एक पेज का पेपर प्रकाशित किया।<ref name="levin86">L. Levin, "Average case complete problems," SIAM Journal on Computing, vol. 15, no. 1, pp. 285–286, 1986.</ref> {{math|'''NP'''}} के औसत-केस एनालॉग, {{math|'''distNP'''}} के लिए एक संपूर्ण समस्या का उदाहरण देते हुए औसत-केस जटिलता और पूर्णता को परिभाषित करना है।
एवरेज-केस कम्प्लेक्सिटी की मौलिक धारणाएं 1986 में [[लियोनिद लेविन]] द्वारा विकसित की गईं जब उन्होंने एक पेज का पेपर प्रकाशित किया।<ref name="levin86">L. Levin, "Average case complete problems," SIAM Journal on Computing, vol. 15, no. 1, pp. 285–286, 1986.</ref> {{math|'''NP'''}} के औसत-केस एनालॉग, {{math|'''distNP'''}} के लिए एक संपूर्ण समस्या का उदाहरण देते हुए औसत-केस सम्मिश्रता और पूर्णता को परिभाषित करना है।


==परिभाषाएँ==
==परिभाषाएँ==


===कुशल औसत-मामले की जटिलता===
===कुशल एवरेज-केस कम्प्लेक्सिटी===


पहला कार्य यह स्पष्ट रूप से परिभाषित करना है कि एक कलन विधि का क्या मतलब है जो "औसतन" कुशल है। प्रारंभिक प्रयास एक कुशल औसत-केस कलन विधि को परिभाषित कर सकता है जो सभी संभावित इनपुट पर अपेक्षित बहुपद समय में चलता है। ऐसी परिभाषा में कई कमियाँ हैं; विशेष रूप से, यह कम्प्यूटेशनल मॉडल में परिवर्तन के लिए मजबूत नहीं है। उदाहरण के लिए, मान लीजिए कि कलन विधि {{mvar|A}} इनपुट {{mvar|x}} पर समय {{math|''t''<sub>''A''</sub>(''x'')}} में चलता है और कलन विधि {{mvar|B}} इनपुट {{mvar|x}} पर समय {{math|''t''<sub>''A''</sub>(''x'')<sup>2</sup>}} में चलता है; अर्थात्, {{mvar|B}}, {{mvar|A}} की तुलना में चतुष्कोणीय रूप से धीमा है। सहज रूप से, औसत-मामले की दक्षता की किसी भी परिभाषा में इस विचार को शामिल किया जाना चाहिए कि {{mvar|A}} औसत पर कुशल है यदि और केवल यदि {{mvar|B}} औसत पर कुशल है। हालाँकि, मान लीजिए कि इनपुट लंबाई {{mvar|n}} के साथ स्ट्रिंग के समान वितरण से यादृच्छिक रूप से निकाले जाते हैं, और {{mvar|A}} स्ट्रिंग {{math|1<sup>''n''</sup>}} को छोड़कर सभी इनपुट पर समय {{math|''n''<sup>2</sup>}} में चलता है जिसके लिए {{mvar|A}} को {{math|2<sup>''n''</sup>}} समय लगता है। तब यह आसानी से जांचा जा सकता है कि {{mvar|A}} का अपेक्षित रनिंग समय बहुपद है लेकिन {{mvar|B}} का पेक्षित चलने का समय घातीय है।<ref name="bog06" />
पहला कार्य यह स्पष्ट रूप से परिभाषित करना है कि कलन विधि का क्या मतलब है जो "औसतन" कुशल है। प्रारंभिक प्रयास कुशल औसत-केस कलन विधि को परिभाषित कर सकता है जो सभी संभावित इनपुट पर अपेक्षित बहुपद समय में चलता है। ऐसी परिभाषा में कई कमियाँ हैं; विशेष रूप से, यह कम्प्यूटेशनल मॉडल में परिवर्तन के लिए मजबूत नहीं है। उदाहरण के लिए, मान लीजिए कि कलन विधि {{mvar|A}} इनपुट {{mvar|x}} पर समय {{math|''t''<sub>''A''</sub>(''x'')}} में चलता है और कलन विधि {{mvar|B}} इनपुट {{mvar|x}} पर समय {{math|''t''<sub>''A''</sub>(''x'')<sup>2</sup>}} में चलता है; अर्थात्, {{mvar|B}}, {{mvar|A}} की तुलना में चतुष्कोणीय रूप से धीमा है। सहज रूप से, औसत-कारक की दक्षता की किसी भी परिभाषा में इस विचार को सम्मिलित किया जाना चाहिए कि {{mvar|A}} औसत पर कुशल है यदि और केवल यदि {{mvar|B}} औसत पर कुशल है। हालाँकि, मान लीजिए कि इनपुट लंबाई {{mvar|n}} के साथ स्ट्रिंग के समान वितरण से यादृच्छिक रूप से निकाले जाते हैं, और {{mvar|A}} स्ट्रिंग {{math|1<sup>''n''</sup>}} को छोड़कर सभी इनपुट पर समय {{math|''n''<sup>2</sup>}} में चलता है जिसके लिए {{mvar|A}} को {{math|2<sup>''n''</sup>}} समय लगता है। तब यह आसानी से जांचा जा सकता है कि {{mvar|A}} का अपेक्षित रनिंग समय बहुपद है लेकिन {{mvar|B}} का पेक्षित चलने का समय घातीय है।<ref name="bog06" />


औसत-केस दक्षता की अधिक मजबूत परिभाषा बनाने के लिए, एक कलन विधि की अनुमति देना समझ में आता है {{mvar|A}} कुछ इनपुट पर बहुपद समय से अधिक समय तक चलने के लिए लेकिन जिस पर इनपुट का अंश {{mvar|A}} बड़ी और बड़ी आवश्यकता होती है, चलने का समय छोटा और छोटा होता जाता है। इस अंतर्ज्ञान को औसत बहुपद चलने वाले समय के लिए निम्नलिखित सूत्र में कैद किया गया है, जो चलने वाले समय और इनपुट के अंश के बीच बहुपद व्यापार-बंद को संतुलित करता है:
औसत-केस दक्षता की अधिक मजबूत परिभाषा बनाने के लिए, कलन विधि की अनुमति देना समझ में आता है {{mvar|A}} कुछ इनपुट पर बहुपद समय से अधिक समय तक चलने के लिए लेकिन जिस पर इनपुट का अंश {{mvar|A}} बड़ी और बड़ी आवश्यकता होती है, चलने का समय छोटा और छोटा होता जाता है। इस अंतर्ज्ञान को औसत बहुपद चलने वाले समय के लिए निम्नलिखित सूत्र में कैद किया गया है, जो चलने वाले समय और इनपुट के अंश के बीच बहुपद व्यापार-बंद को संतुलित करता है:


:<math>
:<math>
\Pr_{x \in_R D_n} \left[t_A(x) \geq t \right] \leq \frac{p(n)}{t^\epsilon}
\Pr_{x \in_R D_n} \left[t_A(x) \geq t \right] \leq \frac{p(n)}{t^\epsilon}
</math>
</math>
हरएक के लिए {{math|''n'', ''t'' &gt; 0}} और बहुपद {{mvar|p}}, कहाँ {{math|''t''<sub>''A''</sub>(''x'')}} एल्गोरिथम के चलने के समय को दर्शाता है {{mvar|A}} इनपुट पर {{mvar|x}}, और {{mvar|ε}} एक सकारात्मक स्थिरांक मान है.<ref name="wangsurvey">J. Wang, "Average-case computational complexity theory,"  Complexity Theory Retrospective II,  pp. 295–328, 1997.</ref> वैकल्पिक रूप से, इसे इस प्रकार लिखा जा सकता है
हरएक के लिए {{math|''n'', ''t'' &gt; 0}} और बहुपद {{mvar|p}}, जहाँ {{math|''t''<sub>''A''</sub>(''x'')}} एल्गोरिथम के चलने के समय को दर्शाता है {{mvar|A}} इनपुट पर {{mvar|x}}, और {{mvar|ε}} धनात्मक स्थिरांक मान है.<ref name="wangsurvey">J. Wang, "Average-case computational complexity theory,"  Complexity Theory Retrospective II,  pp. 295–328, 1997.</ref> वैकल्पिक रूप से, इसे इस प्रकार लिखा जा सकता है


:<math>
:<math>
E_{x \in_R D_n} \left[ \frac{t_{A}(x)^{\epsilon}}{n} \right] \leq C
E_{x \in_R D_n} \left[ \frac{t_{A}(x)^{\epsilon}}{n} \right] \leq C
</math>
</math>
कुछ स्थिरांक {{mvar|C}} और {{mvar|ε}} के लिए, जहां {{math|''n'' {{=}} {{abs|''x''}}}}<ref name="ab09">S. Arora and B. Barak, Computational Complexity: A Modern Approach, Cambridge University Press, New York, NY, 2009.</ref> दूसरे शब्दों में, एक एल्गोरिदम {{mvar|A}} में औसत-मामले की जटिलता अच्छी होती है, यदि {{math|''t''<sub>''A''</sub>(''n'')}} चरणों के लिए चलने के बाद, ''A'' कुछ {{math|''ε'', ''c'' &gt; 0}} के लिए लंबाई {{mvar|n}} के इनपुट के {{math|{{sfrac|''n''<sup>''c''</sup>|(''t''<sub>''A''</sub>(''n''))<sup>''ε''</sup>}}}} अंश को छोड़कर सभी को हल कर सकता है।<ref name="bog06"/>
कुछ स्थिरांक {{mvar|C}} और {{mvar|ε}} के लिए, जहां {{math|''n'' {{=}} {{abs|''x''}}}}<ref name="ab09">S. Arora and B. Barak, Computational Complexity: A Modern Approach, Cambridge University Press, New York, NY, 2009.</ref> दूसरे शब्दों में, कलन विधि {{mvar|A}} में एवरेज-केस कम्प्लेक्सिटी अच्छी होती है, यदि {{math|''t''<sub>''A''</sub>(''n'')}} चरणों के लिए चलने के बाद, ''A'' कुछ {{math|''ε'', ''c'' &gt; 0}} के लिए लंबाई {{mvar|n}} के इनपुट के {{math|{{sfrac|''n''<sup>''c''</sup>|(''t''<sub>''A''</sub>(''n''))<sup>''ε''</sup>}}}} अंश को छोड़कर सभी को हल कर सकता है।<ref name="bog06"/>
===वितरण संबंधी समस्या===
===वितरण संबंधी समस्या===
अगला कदम एक विशेष समस्या के लिए "औसत" इनपुट को परिभाषित करना है। यह प्रत्येक समस्या के इनपुट को एक विशेष संभावना वितरण के साथ जोड़कर हासिल किया जाता है। अर्थात्, एक औसत-मामले की समस्या में एक भाषा शामिल होती है {{mvar|L}} और एक संबद्ध संभाव्यता {{mvar|D}} वितरण {{math|(''L'', ''D'')}} जो जोड़ी बनाता है .<ref name="ab09"/> वितरण के दो सबसे सामान्य वर्ग जिनकी अनुमति है वे हैं:
अगला कदम एक विशेष समस्या के लिए "औसत" इनपुट को परिभाषित करना है। यह प्रत्येक समस्या के इनपुट को एक विशेष संभावना वितरण के साथ जोड़कर हासिल किया जाता है। अर्थात्, औसत-कारक की समस्या में एक भाषा सम्मिलित होती है {{mvar|L}} और संबद्ध संभाव्यता {{mvar|D}} वितरण {{math|(''L'', ''D'')}} जो जोड़ी बनाता है .<ref name="ab09"/> वितरण के दो सबसे सामान्य वर्ग जिनकी अनुमति है वे हैं:


#बहुपद-समय गणना योग्य वितरण ({{math|'''P'''}}-कंप्यूटेबल): ये ऐसे वितरण हैं जिनके लिए किसी दिए गए इनपुट {{mvar|x}} के संचयी घनत्व की गणना करना संभव है। अधिक औपचारिक रूप से, संभाव्यता वितरण {{mvar|μ}} और एक स्ट्रिंग {{math|''x'' &isin; {{mset|0, 1}}<sup>''n''</sup>}} को देखते हुए, बहुपद समय में मान <math>\mu(x) = \sum\limits_{y \in \{0, 1\}^n : y \leq x} \Pr[y]</math> की गणना करना संभव है। इसका तात्पर्य यह है कि {{math|Pr[''x'']}} की गणना बहुपद समय में भी की जा सकती है।
#बहुपद-समय गणना योग्य वितरण ({{math|'''P'''}}-कंप्यूटेबल): ये ऐसे वितरण हैं जिनके लिए किसी दिए गए इनपुट {{mvar|x}} के संचयी घनत्व की गणना करना संभव है। अधिक औपचारिक रूप से, संभाव्यता वितरण {{mvar|μ}} और स्ट्रिंग {{math|''x'' &isin; {{mset|0, 1}}<sup>''n''</sup>}} को देखते हुए, बहुपद समय में मान <math>\mu(x) = \sum\limits_{y \in \{0, 1\}^n : y \leq x} \Pr[y]</math> की गणना करना संभव है। इसका तात्पर्य यह है कि {{math|Pr[''x'']}} की गणना बहुपद समय में भी की जा सकती है।
#बहुपद-समय नमूना वितरण ({{math|'''P'''}}-नमूना): ये ऐसे वितरण हैं जिनसे बहुपद समय में यादृच्छिक नमूने निकालना संभव है।
#बहुपद-समय नमूना वितरण ({{math|'''P'''}}-नमूना): ये ऐसे वितरण हैं जिनसे बहुपद समय में यादृच्छिक नमूने निकालना संभव है।


ये दोनों सूत्रीकरण, समान होते हुए भी, समतुल्य नहीं हैं। यदि कोई वितरण {{math|'''P'''}}-गणना योग्य है तो यह भी {{math|'''P'''}}-नमूना योग्य है, लेकिन यदि {{math|'''P'''}}≠{{math|'''P'''<sup>'''#P'''</sup>}} है तो इसका विपरीत सत्य नहीं है।<ref name="ab09"/>
ये दोनों सूत्रीकरण, समान होते हुए भी, समतुल्य नहीं हैं। यदि कोई वितरण {{math|'''P'''}}-गणना योग्य है तो यह भी {{math|'''P'''}}-नमूना योग्य है, लेकिन यदि {{math|'''P'''}}≠{{math|'''P'''<sup>'''#P'''</sup>}} है तो इसका विपरीत सत्य नहीं है।<ref name="ab09"/>
===एवीजीपी और डिस्टएनपी===
===एवीजीपी और डिस्टएनपी===
एक वितरण संबंधी समस्या {{math|(''L'', ''D'')}} जटिलता वर्ग में है {{math|'''AvgP'''}} यदि इसके लिए एक कुशल औसत-केस {{mvar|L}} कलन विधि है, जैसा कि ऊपर परिभाषित किया गया है। वर्ग {{math|'''AvgP'''}} को कभी-कभी साहित्य में {{math|'''distP'''}} कहा जाता है।<ref name="ab09"/>
वितरण संबंधी समस्या {{math|(''L'', ''D'')}} सम्मिश्रता वर्ग में है {{math|'''AvgP'''}} यदि इसके लिए एक कुशल औसत-केस {{mvar|L}} कलन विधि है, जैसा कि ऊपर परिभाषित किया गया है। वर्ग {{math|'''AvgP'''}} को कभी-कभी साहित्य में {{math|'''distP'''}} कहा जाता है।<ref name="ab09"/>


एक वितरण संबंधी समस्या {{math|(''L'', ''D'')}} जटिलता वर्ग {{math|'''distNP'''}} में है यदि {{mvar|L}} {{math|'''NP'''}} में है और {{mvar|D}} {{math|'''P'''}}-कंप्यूटेबल है। जब {{mvar|L}} {{math|'''NP'''}} में है और {{mvar|D}} {{math|'''P'''}}-नमूना योग्य है, {{math|(''L'', ''D'')}} {{math|'''sampNP'''}} से संबंधित है।<ref name="ab09"/>
वितरण संबंधी समस्या {{math|(''L'', ''D'')}} सम्मिश्रता वर्ग {{math|'''distNP'''}} में है यदि {{mvar|L}} {{math|'''NP'''}} में है और {{mvar|D}} {{math|'''P'''}}-कंप्यूटेबल है। जब {{mvar|L}} {{math|'''NP'''}} में है और {{mvar|D}} {{math|'''P'''}}-नमूना योग्य है, {{math|(''L'', ''D'')}} {{math|'''sampNP'''}} से संबंधित है।<ref name="ab09"/>


साथ में, {{math|'''AvgP'''}} और {{math|'''distNP'''}} क्रमशः {{math|'''P'''}} और {{math|'''NP'''}} के औसत-केस एनालॉग्स को परिभाषित करते हैं।<ref name="ab09"/>
साथ में, {{math|'''AvgP'''}} और {{math|'''distNP'''}} क्रमशः {{math|'''P'''}} और {{math|'''NP'''}} के औसत-केस एनालॉग्स को परिभाषित करते हैं।<ref name="ab09"/>
==वितरण संबंधी समस्याओं के बीच कटौती==
==वितरण संबंधी समस्याओं के बीच अपचयन==
होने देना {{math|(''L'',''D'')}} और {{math|(''L&prime;'', ''D&prime;'')}}दो वितरणात्मक समस्याएँ हों। {{math|(''L'', ''D'')}} औसत-मामला कम हो जाता है {{math|(''L&prime;'', ''D&prime;'')}} (लिखा हुआ {{math|(''L'', ''D'') ≤<sub>'''AvgP'''</sub> (''L&prime;'', ''D&prime;'')}}) यदि कोई फ़ंक्शन है {{mvar|f}} वह हर एक के लिए {{mvar|n}}, इनपुट पर {{mvar|x}} की गणना समय बहुपद में की जा सकती है {{mvar|n}} और
मान लीजिए {{math|(''L'',''D'')}} और {{math|(''L&prime;'', ''D&prime;'')}} दो वितरण संबंधी समस्याएं हैं। {{math|(''L'', ''D'')}} औसत कारक घटकर {{math|(''L&prime;'', ''D&prime;'')}} हो जाता है (लिखित {{math|(''L'', ''D'') ≤<sub>'''AvgP'''</sub> (''L&prime;'', ''D&prime;'')}})  यदि कोई फ़ंक्शन {{mvar|f}} है जो प्रत्येक {{mvar|n}} के लिए है, तो इनपुट {{mvar|x}} पर {{mvar|n}} और में समय बहुपद में गणना की जा सकती है


#(शुद्धता) {{math|''x'' ∈ ''L''}} अगर और केवल अगर {{math|''f''(''x'') ∈ ''L&prime;''}}
#(सहीता) {{math|''x'' ∈ ''L''}} यदि और केवल यदि {{math|''f''(''x'') ∈ ''L&prime;''}}  
#(प्रभुत्व) बहुपद होते हैं {{mvar|p}} और {{mvar|m}} ऐसा कि, प्रत्येक के लिए {{mvar|n}} और {{mvar|y}}, <math>\sum\limits_{x: f(x) = y} D_n(x) \leq p(n)D'_{m(n)}(y)</math>
#(प्रभुत्व) बहुपद होते हैं {{mvar|p}} और {{mvar|m}} ऐसा कि, प्रत्येक {{mvar|n}} और {{mvar|y}} के लिए, <math>\sum\limits_{x: f(x) = y} D_n(x) \leq p(n)D'_{m(n)}(y)</math>
प्रभुत्व की स्थिति इस धारणा को लागू करती है कि यदि समस्या है {{math|(''L'', ''D'')}} तो फिर औसत रूप से कठिन है {{math|(''L&prime;'', ''D&prime;'')}} औसत रूप से भी कठिन है। सहज रूप से, कमी को किसी उदाहरण को हल करने का एक तरीका प्रदान करना चाहिए {{mvar|x}}समस्या का {{mvar|L}} कंप्यूटिंग द्वारा {{math|''f''(''x'')}} और आउटपुट को कलन विधि को फीड करना जो हल करता है {{mvar|L'}}. वर्चस्व की स्थिति के बिना, यह संभव नहीं हो सकता है क्योंकि कलन विधि जो हल करता है {{mvar|L}} बहुपद समय में औसतन कम संख्या में इनपुट पर सुपर-बहुपद समय लग सकता है {{mvar|f}} इन इनपुटों को बहुत बड़े सेट में मैप कर सकता है {{mvar|D'}} तो वह कलन विधि {{mvar|A'}} अब औसतन बहुपद समय में नहीं चलता। वर्चस्व की स्थिति केवल ऐसे तारों को बहुपद रूप से घटित होने की अनुमति देती है जैसा कि अक्सर होता है {{mvar|D'}}.<ref name="wangsurvey"/>
प्रभुत्व की स्थिति इस धारणा को लागू करती है कि यदि समस्या है {{math|(''L'', ''D'')}} तो फिर औसत रूप से कठिन है {{math|(''L&prime;'', ''D&prime;'')}} औसत रूप से भी कठिन है। सहज रूप से, कमी को किसी उदाहरण को हल करने का एक तरीका प्रदान करना चाहिए {{mvar|x}}समस्या का {{mvar|L}} कंप्यूटिंग द्वारा {{math|''f''(''x'')}} और आउटपुट को कलन विधि को फीड करना जो हल करता है {{mvar|L'}}. प्रभुत्व की स्थिति के बिना, यह संभव नहीं हो सकता है क्योंकि कलन विधि जो हल करता है {{mvar|L}} बहुपद समय में औसतन कम संख्या में इनपुट पर सुपर-बहुपद समय लग सकता है {{mvar|f}} इन इनपुटों को बहुत बड़े सेट में मैप कर सकता है {{mvar|D'}} तो वह कलन विधि {{mvar|A'}} अब औसतन बहुपद समय में नहीं चलता। प्रभुत्व की स्थिति केवल ऐसे श्रृंखला को बहुपद रूप से घटित होने की अनुमति देती है जैसा कि प्रायः {{mvar|D'}} होता है।<ref name="wangsurvey"/>
===डिस्टएनपी-पूर्ण समस्याएं===
===डिस्टएनपी-पूर्ण समस्याएं===
औसत-केस एनालॉग {{math|'''NP'''}}-सम्पूर्णता है {{math|'''distNP'''}}-सम्पूर्णता. एक वितरण संबंधी समस्या {{math|(''L&prime;'', ''D&prime;'')}} है {{math|'''distNP'''}}-पूर्ण करें यदि {{math|(''L&prime;'', ''D&prime;'')}} में है {{math|'''distNP'''}} और प्रत्येक के लिए {{math|(''L'', ''D'')}} में {{math|'''distNP'''}}, {{math|(''L'', ''D'')}} औसत-मामले को कम करने योग्य है {{math|(''L&prime;'', ''D&prime;'')}}.<ref name="ab09" />
औसत-केस एनालॉग {{math|'''NP'''}}-सम्पूर्णता है {{math|'''distNP'''}}-सम्पूर्णता वितरण संबंधी समस्या {{math|(''L&prime;'', ''D&prime;'')}} है {{math|'''distNP'''}}-पूर्ण करें यदि {{math|(''L&prime;'', ''D&prime;'')}} में है {{math|'''distNP'''}} और प्रत्येक के लिए {{math|(''L'', ''D'')}} में {{math|'''distNP'''}}, {{math|(''L'', ''D'')}} औसत-कारक {{math|(''L&prime;'', ''D&prime;'')}} को कम करने योग्य है।<ref name="ab09" />


का एक उदाहरण {{math|'''distNP'''}}-पूर्ण समस्या बाउंडेड हॉल्टिंग समस्या है, {{mvar|BH}}, इस प्रकार परिभाषित:
''A'' का एक उदाहरण {{math|'''distNP'''}}-पूर्ण समस्या बाउंडेड हॉल्टिंग समस्या है, {{mvar|BH}}, इस प्रकार परिभाषित:


<math>BH = \{(M, x, 1^t) : M \text{ is a non-deterministic Turing machine that accepts } x \text{ in} \leq t \text{ steps}\}</math><ref name="ab09"/>
<math>BH = \{(M, x, 1^t) : M \text{ is a non-deterministic Turing machine that accepts } x \text{ in} \leq t \text{ steps}\}</math><ref name="ab09"/>


अपने मूल पेपर में, लेविन ने वितरणात्मक टाइलिंग समस्या का एक उदाहरण दिखाया जो औसत-मामला है {{math|'''NP'''}}-पूरा।<ref name="levin86"/>ज्ञात का एक सर्वेक्षण {{math|'''distNP'''}}-सम्पूर्ण समस्याएँ ऑनलाइन उपलब्ध है।<ref name="wangsurvey"/>
अपने मूल पेपर में, लेविन ने वितरणात्मक टाइलिंग समस्या का उदाहरण दिखाया जो औसत-कारक है {{math|'''NP'''}}-पूरा।<ref name="levin86"/> ज्ञात का सर्वेक्षण {{math|'''distNP'''}}-सम्पूर्ण समस्याएँ ऑनलाइन उपलब्ध है।<ref name="wangsurvey"/>


सक्रिय अनुसंधान के एक क्षेत्र में नया खोजना शामिल है {{math|'''distNP'''}}-पूर्ण समस्याएँ। हालाँकि, गुरेविच के परिणाम के कारण ऐसी समस्याओं का पता लगाना जटिल हो सकता है जो दर्शाता है कि एक फ्लैट वितरण के साथ कोई भी वितरण समस्या नहीं हो सकती है {{math|'''distNP'''}}-जब तक EXP|पूर्ण न हो जाए{{math|'''EXP'''}} = NEXP|{{math|'''NEXP'''}}.<ref name="gur87">Y. Gurevich, "Complete and incomplete randomized NP problems", Proc. 28th Annual Symp. on Found. of Computer Science, IEEE (1987), pp. 111–117.</ref> (एक फ्लैट वितरण {{mvar|μ}} वह है जिसके लिए एक मौजूद है {{math|''ε'' &gt; 0}} ऐसा कि किसी के लिए भी {{mvar|x}}, {{math|''μ''(''x'') ≤ 2<sup>−{{abs|''x''}}<sup>''ε''</sup></sup>}}.) लिव्ने के एक परिणाम से पता चलता है कि सब कुछ प्राकृतिक है {{math|'''NP'''}}-पूर्ण समस्याएँ हैं {{math|'''DistNP'''}}-पूर्ण संस्करण।<ref name="livne06">N. Livne, "All Natural NP-Complete Problems Have Average-Case Complete Versions," Computational Complexity (2010) 19:477. https://doi.org/10.1007/s00037-010-0298-9</ref> हालाँकि, एक प्राकृतिक वितरणात्मक समस्या को खोजने का लक्ष्य यही है {{math|'''DistNP'''}}-अभी तक पूरा नहीं हो पाया है.<ref name="gol97">O. Goldreich, "Notes on Levin's theory of average-case complexity," Technical Report TR97-058, Electronic Colloquium on Computational Complexity, 1997.</ref>
सक्रिय अनुसंधान के एक क्षेत्र में नया खोजना सम्मिलित है {{math|'''distNP'''}}-पूर्ण समस्याएँ। हालाँकि, गुरेविच के परिणाम के कारण ऐसी समस्याओं का पता लगाना जटिल हो सकता है जो दर्शाता है कि समतल वितरण के साथ कोई भी वितरण समस्या नहीं हो सकती है {{math|'''distNP'''}}-जब तक EXP|पूर्ण न हो जाए{{math|'''EXP'''}} = NEXP|{{math|'''NEXP'''}}.<ref name="gur87">Y. Gurevich, "Complete and incomplete randomized NP problems", Proc. 28th Annual Symp. on Found. of Computer Science, IEEE (1987), pp. 111–117.</ref> (समतल वितरण {{mvar|μ}} वह है जिसके लिए उपस्थित है {{math|''ε'' &gt; 0}} ऐसा कि किसी के लिए भी {{mvar|x}}, {{math|''μ''(''x'') ≤ 2<sup>−{{abs|''x''}}<sup>''ε''</sup></sup>}}.) लिव्ने के परिणाम से पता चलता है कि सब कुछ प्राकृतिक है {{math|'''NP'''}}-पूर्ण समस्याएँ हैं {{math|'''DistNP'''}}-पूर्ण संस्करण।<ref name="livne06">N. Livne, "All Natural NP-Complete Problems Have Average-Case Complete Versions," Computational Complexity (2010) 19:477. https://doi.org/10.1007/s00037-010-0298-9</ref> हालाँकि, एक प्राकृतिक वितरणात्मक समस्या को खोजने का लक्ष्य यही है {{math|'''DistNP'''}}-अभी तक पूरा नहीं हो पाया है.<ref name="gol97">O. Goldreich, "Notes on Levin's theory of average-case complexity," Technical Report TR97-058, Electronic Colloquium on Computational Complexity, 1997.</ref>
 
 
==अनुप्रयोग==


अनुप्रयोग
===सॉर्टिंग कलन विधि===
===सॉर्टिंग कलन विधि===
जैसा कि ऊपर उल्लेख किया गया है, औसत-मामले की जटिलता से संबंधित बहुत से प्रारंभिक कार्य उन समस्याओं पर केंद्रित थे जिनके लिए बहुपद-समय कलन विधि पहले से मौजूद थे, जैसे कि सॉर्टिंग। उदाहरण के लिए, कई सॉर्टिंग कलन विधि जो यादृच्छिकता का उपयोग करते हैं, जैसे कि [[जल्दी से सुलझाएं]], का चलने का समय सबसे खराब होता है {{math|O(''n''<sup>2</sup>)}}, लेकिन औसत केस चलने का समय {{math|O(''n'' log(''n''))}}, कहाँ {{mvar|n}} सॉर्ट किए जाने वाले इनपुट की लंबाई है।<ref name="clrs">Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2009) [1990]. Introduction to Algorithms (3rd ed.). MIT Press and McGraw-Hill. {{ISBN|0-262-03384-4}}.</ref>
जैसा कि ऊपर उल्लेख किया गया है, एवरेज-केस कम्प्लेक्सिटी से संबंधित बहुत से प्रारंभिक कार्य उन समस्याओं पर केंद्रित थे जिनके लिए बहुपद-समय कलन विधि पहले से उपस्थित थे, जैसे कि सॉर्टिंग। उदाहरण के लिए, कई सॉर्टिंग कलन विधि जो यादृच्छिकता का उपयोग करते हैं, जैसे कि [[जल्दी से सुलझाएं]], का चलने का समय सबसे खराब होता है {{math|O(''n''<sup>2</sup>)}}, लेकिन औसत केस चलने का समय {{math|O(''n'' log(''n''))}}, जहाँ {{mvar|n}} सॉर्ट किए जाने वाले इनपुट की लंबाई है।<ref name="clrs">Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2009) [1990]. Introduction to Algorithms (3rd ed.). MIT Press and McGraw-Hill. {{ISBN|0-262-03384-4}}.</ref>
 
 
===क्रिप्टोग्राफी===
===क्रिप्टोग्राफी===
अधिकांश समस्याओं के लिए, औसत-केस जटिलता विश्लेषण उस समस्या के लिए कुशल कलन विधि खोजने के लिए किया जाता है जिसे सबसे खराब स्थिति में कठिन माना जाता है। हालाँकि, क्रिप्टोग्राफ़िक अनुप्रयोगों में, विपरीत सच है: सबसे खराब स्थिति की जटिलता अप्रासंगिक है; इसके बजाय हम यह गारंटी चाहते हैं कि क्रिप्टोग्राफ़िक योजना को तोड़ने वाले प्रत्येक कलन विधि की औसत-केस जटिलता अक्षम है।<ref name="katz07">J. Katz and Y. Lindell, Introduction to Modern Cryptography (Chapman and Hall/Crc Cryptography and Network Security Series), Chapman and Hall/CRC, 2007.</ref>
अधिकांश समस्याओं के लिए, किसी समस्या के लिए कुशल कलन विधि खोजने के लिए औसत-कारक सम्मिश्रता विश्लेषण किया जाता है जिसे सबसे खराब स्थिति में कठिन माना जाता है। क्रिप्टोग्राफ़िक अनुप्रयोगों में, हालांकि, विपरीत सच है: सबसे खराब स्थिति की सम्मिश्रता अप्रासंगिक है; इसके बजाय हम यह गारंटी चाहते हैं कि क्रिप्टोग्राफ़िक योजना को "तोड़ने" वाले प्रत्येक कलन विधि की औसत-केस सम्मिश्रता अक्षम है।<ref name="katz07">J. Katz and Y. Lindell, Introduction to Modern Cryptography (Chapman and Hall/Crc Cryptography and Network Security Series), Chapman and Hall/CRC, 2007.</ref> इस प्रकार, सभी सुरक्षित क्रिप्टोग्राफ़िक योजनाएँ एकपक्षीय फलन के अस्तित्व पर निर्भर करती हैं।<ref name="bog06"/> हालाँकि एकपक्षीय फलन का अस्तित्व अभी भी एक रिक्त समस्या है, कई उम्मीदवार एकपक्षीय फलन [[पूर्णांक गुणनखंडन]] या असतत लॉग की गणना जैसी कठिन समस्याओं पर आधारित हैं। ध्यान दें कि उम्मीदवार के कार्य के लिए ऐसा होना वांछनीय नहीं है {{math|'''NP'''}}-पूर्ण क्योंकि यह केवल इस बात की गारंटी देगा कि सबसे खराब स्थिति में समस्या को हल करने के लिए कोई कुशल कलन विधि नहीं है; हम वास्तव में यह गारंटी चाहते हैं कि कोई भी कुशल कलन विधि यादृच्छिक इनपुट (यानी औसत कारक) पर समस्या का समाधान नहीं कर सकता है। वास्तव में, पूर्णांक गुणनखंडन {{math|'''NP''' ∩ }}औरcoNP|{{math|'''coNP'''}} असतत लॉग समस्याएँ दोनों ही हैं, और इसलिए {{math|'''NP'''}}-पूर्ण नहीं माना जाता है।<ref name="ab09"/> तथ्य यह है कि संपूर्ण क्रिप्टोग्राफी औसत-कारक में कठिन समस्याओं के अस्तित्व पर आधारित है {{math|'''NP'''}} एवरेज-केस कम्प्लेक्सिटी का अध्ययन करने के लिए प्राथमिक प्रेरणाओं में से एक है।
इस प्रकार, सभी सुरक्षित क्रिप्टोग्राफ़िक योजनाएँ एकतरफा कार्यों के अस्तित्व पर निर्भर करती हैं।<ref name="bog06"/>हालाँकि एक-तरफ़ा फ़ंक्शंस का अस्तित्व अभी भी एक खुली समस्या है, कई उम्मीदवार एक-तरफ़ा फ़ंक्शंस [[पूर्णांक गुणनखंडन]] या असतत लॉग की गणना जैसी कठिन समस्याओं पर आधारित हैं। ध्यान दें कि उम्मीदवार के कार्य के लिए ऐसा होना वांछनीय नहीं है {{math|'''NP'''}}-पूर्ण क्योंकि यह केवल इस बात की गारंटी देगा कि सबसे खराब स्थिति में समस्या को हल करने के लिए कोई कुशल कलन विधि नहीं है; हम वास्तव में यह गारंटी चाहते हैं कि कोई भी कुशल कलन विधि यादृच्छिक इनपुट (यानी औसत मामला) पर समस्या का समाधान नहीं कर सकता है। वास्तव में, पूर्णांक गुणनखंडन और असतत लॉग समस्याएँ दोनों ही हैं {{math|'''NP''' ∩ }}coNP|{{math|'''coNP'''}}, और इसलिए ऐसा नहीं माना जाता है {{math|'''NP'''}}-पूरा।<ref name="ab09"/>तथ्य यह है कि संपूर्ण क्रिप्टोग्राफी औसत-मामले में कठिन समस्याओं के अस्तित्व पर आधारित है {{math|'''NP'''}} औसत-मामले की जटिलता का अध्ययन करने के लिए प्राथमिक प्रेरणाओं में से एक है।


==अन्य परिणाम==
==अन्य परिणाम==
1990 में, इम्पाग्लिआज़ो और लेविन ने दिखाया कि यदि किसी के लिए एक कुशल औसत-केस कलन विधि है {{math|'''distNP'''}}-समान वितरण के तहत पूर्ण समस्या, फिर प्रत्येक समस्या के लिए एक औसत-केस कलन विधि है {{math|'''NP'''}} किसी भी बहुपद-समय नमूना योग्य वितरण के तहत।<ref name="imp90">R. Impagliazzo and L. Levin, "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random," in Proceedings of the 31st IEEE Sympo- sium on Foundations of Computer Science, pp. 812–821, 1990.</ref> इस सिद्धांत को प्राकृतिक वितरण संबंधी समस्याओं पर लागू करना एक उत्कृष्ट खुला प्रश्न बना हुआ है।<ref name="bog06"/>
1990 में, इम्पाग्लिआज़ो और लेविन ने दिखाया कि यदि किसी के लिए एक कुशल औसत-केस कलन विधि है {{math|'''distNP'''}}-समान वितरण के तहत पूर्ण समस्या, फिर प्रत्येक समस्या के लिए एक औसत-केस कलन विधि है {{math|'''NP'''}} किसी भी बहुपद-समय नमूना योग्य वितरण के तहत।<ref name="imp90">R. Impagliazzo and L. Levin, "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random," in Proceedings of the 31st IEEE Sympo- sium on Foundations of Computer Science, pp. 812–821, 1990.</ref> इस सिद्धांत को प्राकृतिक वितरण संबंधी समस्याओं पर लागू करना एक उत्कृष्ट रिक्त प्रश्न बना हुआ है।<ref name="bog06"/>
 
1992 में, बेन-डेविड एट अल। दिखाया कि यदि सभी भाषाओं में {{math|'''distNP'''}} उनके पास औसत पर अच्छे निर्णय कलन विधि हैं, उनके पास औसत पर अच्छे खोज कलन विधि भी हैं। इसके अलावा, वे दिखाते हैं कि यह निष्कर्ष एक कमजोर धारणा के अंतर्गत आता है: यदि प्रत्येक भाषा में {{math|'''NP'''}}समान वितरण के संबंध में निर्णय कलन विधि के लिए औसत रूप से आसान है, फिर समान वितरण के संबंध में खोज कलन विधि के लिए भी यह औसत रूप से आसान है।<ref name="bd92">S. Ben-David, [[Benny Chor|B. Chor]], O. Goldreich, and M. Luby, "On the theory of average case complexity," Journal of Computer and System Sciences, vol. 44, no. 2, pp. 193–219, 1992.</ref> इस प्रकार, क्रिप्टोग्राफ़िक वन-वे फ़ंक्शंस केवल तभी मौजूद हो सकते हैं जब वहाँ हों {{math|'''distNP'''}} समान वितरण पर समस्याएं जो निर्णय कलन विधि के लिए औसतन कठिन हैं।
 
1993 में, फेगेनबाम और फ़ोर्टनो ने दिखाया कि गैर-अनुकूली यादृच्छिक कटौती के तहत, यह साबित करना संभव नहीं है कि एक अच्छे-ऑन-औसत कलन विधि का अस्तित्व {{math|'''distNP'''}}-समान वितरण के तहत पूर्ण समस्या का तात्पर्य सभी समस्याओं के लिए सबसे खराब स्थिति वाले कुशल कलन विधि के अस्तित्व से है {{math|'''NP'''}}.<ref name="ff93">J. Feigenbaum and L. Fortnow, "Random-self-reducibility of complete sets," SIAM Journal on Computing, vol. 22, pp. 994–1005, 1993.</ref> 2003 में, बोगदानोव और ट्रेविसन ने इस परिणाम को मनमाने ढंग से गैर-अनुकूली कटौती के रूप में सामान्यीकृत किया।<ref name="bog03">A. Bogdanov and L. Trevisan, "On worst-case to average-case reductions for NP problems," in Proceedings of the 44th IEEE Symposium on Foundations of Computer Science, pp. 308–317, 2003.</ref> इन परिणामों से पता चलता है कि यह संभावना नहीं है कि कटौती के माध्यम से औसत-मामले की जटिलता और सबसे खराब-मामले की जटिलता के बीच कोई संबंध बनाया जा सकता है।<ref name="bog06"/>


1992 में, बेन-डेविड एट अल। दिखाया कि यदि सभी भाषाओं में {{math|'''distNP'''}} उनके पास औसत पर अच्छे निर्णय कलन विधि हैं, उनके पास औसत पर अच्छे खोज कलन विधि भी हैं। इसके अलावा, वे दिखाते हैं कि यह निष्कर्ष एक कमजोर धारणा के अंतर्गत आता है: यदि प्रत्येक भाषा में {{math|'''NP'''}}समान वितरण के संबंध में निर्णय कलन विधि के लिए औसत रूप से आसान है, फिर समान वितरण के संबंध में खोज कलन विधि के लिए भी यह औसत रूप से आसान है।<ref name="bd92">S. Ben-David, [[Benny Chor|B. Chor]], O. Goldreich, and M. Luby, "On the theory of average case complexity," Journal of Computer and System Sciences, vol. 44, no. 2, pp. 193–219, 1992.</ref> इस प्रकार, क्रिप्टोग्राफ़िक एकपक्षीय फलन केवल तभी उपस्थित हो सकते हैं जब {{math|'''distNP'''}} वहाँ हों समान वितरण पर समस्याएं जो निर्णय कलन विधि के लिए औसतन कठिन हैं।


1993 में, फेगेनबाम और फ़ोर्टनो ने दिखाया कि गैर-अनुकूली यादृच्छिक अपचयन के तहत, यह सिद्ध करना संभव नहीं है कि एक औसतन अच्छा कलन विधि का अस्तित्व {{math|'''distNP'''}}-समान वितरण के तहत पूर्ण समस्या का तात्पर्य सभी समस्याओं के लिए सबसे खराब स्थिति वाले कुशल कलन विधि के अस्तित्व से है {{math|'''NP'''}}.<ref name="ff93">J. Feigenbaum and L. Fortnow, "Random-self-reducibility of complete sets," SIAM Journal on Computing, vol. 22, pp. 994–1005, 1993.</ref> 2003 में, बोगदानोव और ट्रेविसन ने इस परिणाम को मनमाने ढंग से गैर-अनुकूली अपचयन के रूप में सामान्यीकृत किया।<ref name="bog03">A. Bogdanov and L. Trevisan, "On worst-case to average-case reductions for NP problems," in Proceedings of the 44th IEEE Symposium on Foundations of Computer Science, pp. 308–317, 2003.</ref> इन परिणामों से पता चलता है कि यह संभावना नहीं है कि अपचयन के माध्यम से एवरेज-केस कम्प्लेक्सिटी और सबसे खराब-कारक की सम्मिश्रता के बीच कोई संबंध बनाया जा सकता है।<ref name="bog06"/>
==यह भी देखें==
==यह भी देखें==
* [[एल्गोरिदम का संभाव्य विश्लेषण|कलन विधि का संभाव्य विश्लेषण]]
* [[एल्गोरिदम का संभाव्य विश्लेषण|कलन विधि का संभाव्य विश्लेषण]]
*एनपी-पूर्ण समस्याएं
*NP-पूर्ण समस्याएं
*सबसे खराब स्थिति जटिलता
*सबसे खराब स्थिति सम्मिश्रता
*[[परिशोधन विश्लेषण]]
*[[परिशोधन विश्लेषण]]
*सबसे अच्छा, सबसे खराब और औसत मामला
*सबसे अच्छा, सबसे खराब और औसत कारक
*कलन विधि का संभाव्य विश्लेषण


==संदर्भ==
==संदर्भ==
Line 198: Line 191:
*Paul E. Black, [https://web.archive.org/web/20090214175940/http://www.itl.nist.gov/div897/sqg/dads/HTML/theta.html "Θ"], in Dictionary of Algorithms and Data Structures[online]Paul E. Black, ed., U.S. National Institute of Standards and Technology. 17 December 2004.Retrieved Feb. 20/09.
*Paul E. Black, [https://web.archive.org/web/20090214175940/http://www.itl.nist.gov/div897/sqg/dads/HTML/theta.html "Θ"], in Dictionary of Algorithms and Data Structures[online]Paul E. Black, ed., U.S. National Institute of Standards and Technology. 17 December 2004.Retrieved Feb. 20/09.
*Christos Papadimitriou (1994). Computational Complexity. Addison-Wesley.
*Christos Papadimitriou (1994). Computational Complexity. Addison-Wesley.
[[Category: यादृच्छिक एल्गोरिदम]] [[Category: एल्गोरिदम का विश्लेषण]]


[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:एल्गोरिदम का विश्लेषण]]
[[Category:यादृच्छिक एल्गोरिदम]]

Latest revision as of 15:02, 30 August 2023

कम्प्यूटेशनल सम्मिश्रता सिद्धांत में, एक कलन विधि की एवरेज-केस कम्प्लेक्सिटी (औसत-केस सम्मिश्रता) कलन विधि द्वारा उपयोग किए जाने वाले कुछ कम्प्यूटेशनल संसाधन (सामान्यतः समय) की मात्रा है, जो सभी संभावित इनपुट पर औसत होती है। इसकी तुलना प्रायः सबसे खराब स्थिति वाली सम्मिश्रता से की जाती है जो सभी संभावित इनपुटों पर कलन विधि की अधिकतम सम्मिश्रता पर विचार करती है।

एवरेज-केस कम्प्लेक्सिटी का अध्ययन करने के लिए तीन प्राथमिक प्रेरणाएँ हैं।[1] सबसे पहले, हालांकि कुछ समस्याएं सबसे खराब स्थिति में कठिन हो सकती हैं, लेकिन इस व्यवहार को उत्पन्न करने वाले इनपुट व्यवहार में शायद ही कभी हो सकते हैं, इसलिए एवरेज-केस कम्प्लेक्सिटी कलन विधि के प्रदर्शन का अधिक सटीक माप हो सकती है। दूसरा, औसत-कारक सम्मिश्रता विश्लेषण समस्याओं के कठिन उदाहरण उत्पन्न करने के लिए उपकरण और तकनीक प्रदान करता है जिसका उपयोग क्रिप्टोग्राफी और व्युत्पन्नकरण जैसे क्षेत्रों में किया जा सकता है। तीसरा, औसत-कारक सम्मिश्रता समतुल्य सर्वोत्तम-कारक सम्मिश्रता (उदाहरण के लिए क्विकॉर्ट) के कलन विधि के बीच व्यवहार में सबसे कुशल कलन विधि को भेदभाव करने की अनुमति देती है।

औसत-कारक विश्लेषण के लिए एक कलन विधि में "औसत" इनपुट की धारणा की आवश्यकता होती है, जिससे इनपुट पर संभाव्यता वितरण तैयार करने की समस्या उत्पन्न होती है। वैकल्पिक रूप से, यादृच्छिक कलन विधि का उपयोग किया जा सकता है। ऐसे कलन विधि के विश्लेषण से अपेक्षित सम्मिश्रता की संबंधित धारणा सामने आती है।[2]

इतिहास और पृष्ठभूमि

1950 के दशक में कम्प्यूटेशनल दक्षता की आधुनिक धारणाएँ विकसित होने के बाद से कलन विधि के औसत-केस प्रदर्शन का अध्ययन किया गया है। इस आरंभिक कार्य का अधिकांश भाग उन समस्याओं पर केंद्रित था जिनके लिए सबसे खराब स्थिति वाले बहुपद समय कलन विधि पहले से ही ज्ञात थे।[3]1973 में, डोनाल्ड नुथ[4] ने आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग का खंड 3 प्रकाशित किया, जो सॉर्टिंग और मीडियन-फाइंडिंग जैसी सबसे खराब स्थिति वाले बहुपद समय में हल करने योग्य समस्याओं के लिए कलन विधि के औसत-केस प्रदर्शन का व्यापक सर्वेक्षण करता है।

NP-पूर्ण समस्याओं के लिए एक कुशल कलन विधि को सामान्यतः ऐसे कलन विधि के रूप में जाना जाता है जो सभी इनपुट के लिए बहुपद समय में चलता है; यह सबसे खराब स्थिति में कुशल सम्मिश्रता की आवश्यकता के बराबर है। हालाँकि, एक एल्गोरिथ्म जो "छोटी" संख्या में इनपुट पर अक्षम है, वह अभी भी व्यवहार में आने वाले "अधिकांश" इनपुट के लिए कुशल हो सकता है। इस प्रकार, इन कलन विधि के गुणों का अध्ययन करना वांछनीय है जहां एवरेज-केस कम्प्लेक्सिटी सबसे खराब-कारक की सम्मिश्रता से भिन्न हो सकती है और दोनों को संबंधित करने के तरीकों को ढूंढना है।

एवरेज-केस कम्प्लेक्सिटी की मौलिक धारणाएं 1986 में लियोनिद लेविन द्वारा विकसित की गईं जब उन्होंने एक पेज का पेपर प्रकाशित किया।[5] NP के औसत-केस एनालॉग, distNP के लिए एक संपूर्ण समस्या का उदाहरण देते हुए औसत-केस सम्मिश्रता और पूर्णता को परिभाषित करना है।

परिभाषाएँ

कुशल एवरेज-केस कम्प्लेक्सिटी

पहला कार्य यह स्पष्ट रूप से परिभाषित करना है कि कलन विधि का क्या मतलब है जो "औसतन" कुशल है। प्रारंभिक प्रयास कुशल औसत-केस कलन विधि को परिभाषित कर सकता है जो सभी संभावित इनपुट पर अपेक्षित बहुपद समय में चलता है। ऐसी परिभाषा में कई कमियाँ हैं; विशेष रूप से, यह कम्प्यूटेशनल मॉडल में परिवर्तन के लिए मजबूत नहीं है। उदाहरण के लिए, मान लीजिए कि कलन विधि A इनपुट x पर समय tA(x) में चलता है और कलन विधि B इनपुट x पर समय tA(x)2 में चलता है; अर्थात्, B, A की तुलना में चतुष्कोणीय रूप से धीमा है। सहज रूप से, औसत-कारक की दक्षता की किसी भी परिभाषा में इस विचार को सम्मिलित किया जाना चाहिए कि A औसत पर कुशल है यदि और केवल यदि B औसत पर कुशल है। हालाँकि, मान लीजिए कि इनपुट लंबाई n के साथ स्ट्रिंग के समान वितरण से यादृच्छिक रूप से निकाले जाते हैं, और A स्ट्रिंग 1n को छोड़कर सभी इनपुट पर समय n2 में चलता है जिसके लिए A को 2n समय लगता है। तब यह आसानी से जांचा जा सकता है कि A का अपेक्षित रनिंग समय बहुपद है लेकिन B का पेक्षित चलने का समय घातीय है।[3]

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

हरएक के लिए n, t > 0 और बहुपद p, जहाँ tA(x) एल्गोरिथम के चलने के समय को दर्शाता है A इनपुट पर x, और ε धनात्मक स्थिरांक मान है.[6] वैकल्पिक रूप से, इसे इस प्रकार लिखा जा सकता है

कुछ स्थिरांक C और ε के लिए, जहां n = |x|[7] दूसरे शब्दों में, कलन विधि A में एवरेज-केस कम्प्लेक्सिटी अच्छी होती है, यदि tA(n) चरणों के लिए चलने के बाद, A कुछ ε, c > 0 के लिए लंबाई n के इनपुट के nc/(tA(n))ε अंश को छोड़कर सभी को हल कर सकता है।[3]

वितरण संबंधी समस्या

अगला कदम एक विशेष समस्या के लिए "औसत" इनपुट को परिभाषित करना है। यह प्रत्येक समस्या के इनपुट को एक विशेष संभावना वितरण के साथ जोड़कर हासिल किया जाता है। अर्थात्, औसत-कारक की समस्या में एक भाषा सम्मिलित होती है L और संबद्ध संभाव्यता D वितरण (L, D) जो जोड़ी बनाता है .[7] वितरण के दो सबसे सामान्य वर्ग जिनकी अनुमति है वे हैं:

  1. बहुपद-समय गणना योग्य वितरण (P-कंप्यूटेबल): ये ऐसे वितरण हैं जिनके लिए किसी दिए गए इनपुट x के संचयी घनत्व की गणना करना संभव है। अधिक औपचारिक रूप से, संभाव्यता वितरण μ और स्ट्रिंग x ∈ {0, 1}n को देखते हुए, बहुपद समय में मान की गणना करना संभव है। इसका तात्पर्य यह है कि Pr[x] की गणना बहुपद समय में भी की जा सकती है।
  2. बहुपद-समय नमूना वितरण (P-नमूना): ये ऐसे वितरण हैं जिनसे बहुपद समय में यादृच्छिक नमूने निकालना संभव है।

ये दोनों सूत्रीकरण, समान होते हुए भी, समतुल्य नहीं हैं। यदि कोई वितरण P-गणना योग्य है तो यह भी P-नमूना योग्य है, लेकिन यदि PP#P है तो इसका विपरीत सत्य नहीं है।[7]

एवीजीपी और डिस्टएनपी

वितरण संबंधी समस्या (L, D) सम्मिश्रता वर्ग में है AvgP यदि इसके लिए एक कुशल औसत-केस L कलन विधि है, जैसा कि ऊपर परिभाषित किया गया है। वर्ग AvgP को कभी-कभी साहित्य में distP कहा जाता है।[7]

वितरण संबंधी समस्या (L, D) सम्मिश्रता वर्ग distNP में है यदि L NP में है और D P-कंप्यूटेबल है। जब L NP में है और D P-नमूना योग्य है, (L, D) sampNP से संबंधित है।[7]

साथ में, AvgP और distNP क्रमशः P और NP के औसत-केस एनालॉग्स को परिभाषित करते हैं।[7]

वितरण संबंधी समस्याओं के बीच अपचयन

मान लीजिए (L,D) और (L′, D′) दो वितरण संबंधी समस्याएं हैं। (L, D) औसत कारक घटकर (L′, D′) हो जाता है (लिखित (L, D) ≤AvgP (L′, D′))  यदि कोई फ़ंक्शन f है जो प्रत्येक n के लिए है, तो इनपुट x पर n और में समय बहुपद में गणना की जा सकती है

  1. (सहीता) xL यदि और केवल यदि f(x) ∈ L′
  2. (प्रभुत्व) बहुपद होते हैं p और m ऐसा कि, प्रत्येक n और y के लिए,

प्रभुत्व की स्थिति इस धारणा को लागू करती है कि यदि समस्या है (L, D) तो फिर औसत रूप से कठिन है (L′, D′) औसत रूप से भी कठिन है। सहज रूप से, कमी को किसी उदाहरण को हल करने का एक तरीका प्रदान करना चाहिए xसमस्या का L कंप्यूटिंग द्वारा f(x) और आउटपुट को कलन विधि को फीड करना जो हल करता है L'. प्रभुत्व की स्थिति के बिना, यह संभव नहीं हो सकता है क्योंकि कलन विधि जो हल करता है L बहुपद समय में औसतन कम संख्या में इनपुट पर सुपर-बहुपद समय लग सकता है f इन इनपुटों को बहुत बड़े सेट में मैप कर सकता है D' तो वह कलन विधि A' अब औसतन बहुपद समय में नहीं चलता। प्रभुत्व की स्थिति केवल ऐसे श्रृंखला को बहुपद रूप से घटित होने की अनुमति देती है जैसा कि प्रायः D' होता है।[6]

डिस्टएनपी-पूर्ण समस्याएं

औसत-केस एनालॉग NP-सम्पूर्णता है distNP-सम्पूर्णता वितरण संबंधी समस्या (L′, D′) है distNP-पूर्ण करें यदि (L′, D′) में है distNP और प्रत्येक के लिए (L, D) में distNP, (L, D) औसत-कारक (L′, D′) को कम करने योग्य है।[7]

A का एक उदाहरण distNP-पूर्ण समस्या बाउंडेड हॉल्टिंग समस्या है, BH, इस प्रकार परिभाषित:

[7]

अपने मूल पेपर में, लेविन ने वितरणात्मक टाइलिंग समस्या का उदाहरण दिखाया जो औसत-कारक है NP-पूरा।[5] ज्ञात का सर्वेक्षण distNP-सम्पूर्ण समस्याएँ ऑनलाइन उपलब्ध है।[6]

सक्रिय अनुसंधान के एक क्षेत्र में नया खोजना सम्मिलित है distNP-पूर्ण समस्याएँ। हालाँकि, गुरेविच के परिणाम के कारण ऐसी समस्याओं का पता लगाना जटिल हो सकता है जो दर्शाता है कि समतल वितरण के साथ कोई भी वितरण समस्या नहीं हो सकती है distNP-जब तक EXP|पूर्ण न हो जाएEXP = NEXP|NEXP.[8] (समतल वितरण μ वह है जिसके लिए उपस्थित है ε > 0 ऐसा कि किसी के लिए भी x, μ(x) ≤ 2−|x|ε.) लिव्ने के परिणाम से पता चलता है कि सब कुछ प्राकृतिक है NP-पूर्ण समस्याएँ हैं DistNP-पूर्ण संस्करण।[9] हालाँकि, एक प्राकृतिक वितरणात्मक समस्या को खोजने का लक्ष्य यही है DistNP-अभी तक पूरा नहीं हो पाया है.[10]

अनुप्रयोग

सॉर्टिंग कलन विधि

जैसा कि ऊपर उल्लेख किया गया है, एवरेज-केस कम्प्लेक्सिटी से संबंधित बहुत से प्रारंभिक कार्य उन समस्याओं पर केंद्रित थे जिनके लिए बहुपद-समय कलन विधि पहले से उपस्थित थे, जैसे कि सॉर्टिंग। उदाहरण के लिए, कई सॉर्टिंग कलन विधि जो यादृच्छिकता का उपयोग करते हैं, जैसे कि जल्दी से सुलझाएं, का चलने का समय सबसे खराब होता है O(n2), लेकिन औसत केस चलने का समय O(n log(n)), जहाँ n सॉर्ट किए जाने वाले इनपुट की लंबाई है।[2]

क्रिप्टोग्राफी

अधिकांश समस्याओं के लिए, किसी समस्या के लिए कुशल कलन विधि खोजने के लिए औसत-कारक सम्मिश्रता विश्लेषण किया जाता है जिसे सबसे खराब स्थिति में कठिन माना जाता है। क्रिप्टोग्राफ़िक अनुप्रयोगों में, हालांकि, विपरीत सच है: सबसे खराब स्थिति की सम्मिश्रता अप्रासंगिक है; इसके बजाय हम यह गारंटी चाहते हैं कि क्रिप्टोग्राफ़िक योजना को "तोड़ने" वाले प्रत्येक कलन विधि की औसत-केस सम्मिश्रता अक्षम है।[11] इस प्रकार, सभी सुरक्षित क्रिप्टोग्राफ़िक योजनाएँ एकपक्षीय फलन के अस्तित्व पर निर्भर करती हैं।[3] हालाँकि एकपक्षीय फलन का अस्तित्व अभी भी एक रिक्त समस्या है, कई उम्मीदवार एकपक्षीय फलन पूर्णांक गुणनखंडन या असतत लॉग की गणना जैसी कठिन समस्याओं पर आधारित हैं। ध्यान दें कि उम्मीदवार के कार्य के लिए ऐसा होना वांछनीय नहीं है NP-पूर्ण क्योंकि यह केवल इस बात की गारंटी देगा कि सबसे खराब स्थिति में समस्या को हल करने के लिए कोई कुशल कलन विधि नहीं है; हम वास्तव में यह गारंटी चाहते हैं कि कोई भी कुशल कलन विधि यादृच्छिक इनपुट (यानी औसत कारक) पर समस्या का समाधान नहीं कर सकता है। वास्तव में, पूर्णांक गुणनखंडन NPऔरcoNP|coNP असतत लॉग समस्याएँ दोनों ही हैं, और इसलिए NP-पूर्ण नहीं माना जाता है।[7] तथ्य यह है कि संपूर्ण क्रिप्टोग्राफी औसत-कारक में कठिन समस्याओं के अस्तित्व पर आधारित है NP एवरेज-केस कम्प्लेक्सिटी का अध्ययन करने के लिए प्राथमिक प्रेरणाओं में से एक है।

अन्य परिणाम

1990 में, इम्पाग्लिआज़ो और लेविन ने दिखाया कि यदि किसी के लिए एक कुशल औसत-केस कलन विधि है distNP-समान वितरण के तहत पूर्ण समस्या, फिर प्रत्येक समस्या के लिए एक औसत-केस कलन विधि है NP किसी भी बहुपद-समय नमूना योग्य वितरण के तहत।[12] इस सिद्धांत को प्राकृतिक वितरण संबंधी समस्याओं पर लागू करना एक उत्कृष्ट रिक्त प्रश्न बना हुआ है।[3]

1992 में, बेन-डेविड एट अल। दिखाया कि यदि सभी भाषाओं में distNP उनके पास औसत पर अच्छे निर्णय कलन विधि हैं, उनके पास औसत पर अच्छे खोज कलन विधि भी हैं। इसके अलावा, वे दिखाते हैं कि यह निष्कर्ष एक कमजोर धारणा के अंतर्गत आता है: यदि प्रत्येक भाषा में NPसमान वितरण के संबंध में निर्णय कलन विधि के लिए औसत रूप से आसान है, फिर समान वितरण के संबंध में खोज कलन विधि के लिए भी यह औसत रूप से आसान है।[13] इस प्रकार, क्रिप्टोग्राफ़िक एकपक्षीय फलन केवल तभी उपस्थित हो सकते हैं जब distNP वहाँ हों समान वितरण पर समस्याएं जो निर्णय कलन विधि के लिए औसतन कठिन हैं।

1993 में, फेगेनबाम और फ़ोर्टनो ने दिखाया कि गैर-अनुकूली यादृच्छिक अपचयन के तहत, यह सिद्ध करना संभव नहीं है कि एक औसतन अच्छा कलन विधि का अस्तित्व distNP-समान वितरण के तहत पूर्ण समस्या का तात्पर्य सभी समस्याओं के लिए सबसे खराब स्थिति वाले कुशल कलन विधि के अस्तित्व से है NP.[14] 2003 में, बोगदानोव और ट्रेविसन ने इस परिणाम को मनमाने ढंग से गैर-अनुकूली अपचयन के रूप में सामान्यीकृत किया।[15] इन परिणामों से पता चलता है कि यह संभावना नहीं है कि अपचयन के माध्यम से एवरेज-केस कम्प्लेक्सिटी और सबसे खराब-कारक की सम्मिश्रता के बीच कोई संबंध बनाया जा सकता है।[3]

यह भी देखें

संदर्भ

  1. O. Goldreich and S. Vadhan, Special issue on worst-case versus average-case complexity, Comput. Complex. 16, 325–330, 2007.
  2. 2.0 2.1 Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2009) [1990]. Introduction to Algorithms (3rd ed.). MIT Press and McGraw-Hill. ISBN 0-262-03384-4.
  3. 3.0 3.1 3.2 3.3 3.4 3.5 A. Bogdanov and L. Trevisan, "Average-Case Complexity," Foundations and Trends in Theoretical Computer Science, Vol. 2, No 1 (2006) 1–106.
  4. D. Knuth, The Art of Computer Programming. Vol. 3, Addison-Wesley, 1973.
  5. 5.0 5.1 L. Levin, "Average case complete problems," SIAM Journal on Computing, vol. 15, no. 1, pp. 285–286, 1986.
  6. 6.0 6.1 6.2 J. Wang, "Average-case computational complexity theory," Complexity Theory Retrospective II, pp. 295–328, 1997.
  7. 7.0 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 S. Arora and B. Barak, Computational Complexity: A Modern Approach, Cambridge University Press, New York, NY, 2009.
  8. Y. Gurevich, "Complete and incomplete randomized NP problems", Proc. 28th Annual Symp. on Found. of Computer Science, IEEE (1987), pp. 111–117.
  9. N. Livne, "All Natural NP-Complete Problems Have Average-Case Complete Versions," Computational Complexity (2010) 19:477. https://doi.org/10.1007/s00037-010-0298-9
  10. O. Goldreich, "Notes on Levin's theory of average-case complexity," Technical Report TR97-058, Electronic Colloquium on Computational Complexity, 1997.
  11. J. Katz and Y. Lindell, Introduction to Modern Cryptography (Chapman and Hall/Crc Cryptography and Network Security Series), Chapman and Hall/CRC, 2007.
  12. R. Impagliazzo and L. Levin, "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random," in Proceedings of the 31st IEEE Sympo- sium on Foundations of Computer Science, pp. 812–821, 1990.
  13. S. Ben-David, B. Chor, O. Goldreich, and M. Luby, "On the theory of average case complexity," Journal of Computer and System Sciences, vol. 44, no. 2, pp. 193–219, 1992.
  14. J. Feigenbaum and L. Fortnow, "Random-self-reducibility of complete sets," SIAM Journal on Computing, vol. 22, pp. 994–1005, 1993.
  15. A. Bogdanov and L. Trevisan, "On worst-case to average-case reductions for NP problems," in Proceedings of the 44th IEEE Symposium on Foundations of Computer Science, pp. 308–317, 2003.


अग्रिम पठन

The literature of average case complexity includes the following work: