आर्थर-मर्लिन प्रोटोकॉल: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Interactive proof system in computational complexity theory}} | {{short description|Interactive proof system in computational complexity theory}} | ||
[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल समष्टिता सिद्धांत]] में, {{Harvtxt|बाबई |1985}}, द्वारा प्रस्तुत किया गया '''आर्थर-मर्लिन प्रोटोकॉल''', [[इंटरैक्टिव प्रमाण प्रणाली|इंटरैक्टिव प्रमाण सिस्टम]] है जिसमें सत्यापनकर्ता | [[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल समष्टिता सिद्धांत]] में, {{Harvtxt|बाबई |1985}}, द्वारा प्रस्तुत किया गया '''आर्थर-मर्लिन प्रोटोकॉल''', ऐसा [[इंटरैक्टिव प्रमाण प्रणाली|इंटरैक्टिव प्रमाण सिस्टम]] है जिसमें सत्यापनकर्ता के सिक्के उछालने को सार्वजनिक करने के लिए बाध्य किया जाता है (अर्थात नीतिकर्ता को भी इसकी सूचना होती है)। {{Harvtxt|गोल्डवेसर |सिप्सर |1986}} ने प्रमाणित किया कि निजी सिक्कों के साथ इच्छानुसार लंबाई के इंटरैक्टिव प्रमाण वाली सभी (औपचारिक) [[औपचारिक भाषा|लैंग्वेजेज]] में सार्वजनिक सिक्कों के साथ भी इंटरैक्टिव प्रमाण होते हैं। | ||
प्रोटोकॉल में क्रमशः आर्थर और मर्लिन नामक दो प्रतिभागियों को देखते हुए, मूल धारणा यह है कि आर्थर मानक कंप्यूटर (या सत्यापनकर्ता) है जो [[यादृच्छिक संख्या पीढ़ी|यादृच्छिक संख्या]] उत्पन्न करने वाले उपकरण से सुसज्जित है, जबकि मर्लिन प्रभावी रूप से अनंत कम्प्यूटेशनल शक्ति वाला ओरेकल है (जिसे प्रोवर के रूप में भी जाना जाता है)। चूँकि, मर्लिन आवश्यक रूप से ईमानदार नहीं है, इसलिए आर्थर को आर्थर के प्रश्नों के उत्तर में मर्लिन द्वारा प्रदान की गई सूचना का विश्लेषण करना चाहिए और समस्या का निर्णय स्वयं करना चाहिए। इस प्रोटोकॉल द्वारा समस्या को समाधान करने योग्य माना जाता है यदि जब भी उत्तर हाँ होता है, तो मर्लिन के पास प्रतिक्रियाओं की कुछ श्रृंखला होती है जो आर्थर को कम से कम {{frac|2|3}} समय स्वीकार करना पड़ता है, और यदि जब भी उत्तर नहीं होता है, तो आर्थर कभी भी {{frac|1|3}} से अधिक समय स्वीकार नहीं करता है। इस प्रकार, आर्थर संभाव्य बहुपद-समय सत्यापनकर्ता के रूप में कार्य करता है, यह मानते हुए कि उसे अपने निर्णय और प्रश्न पूछने के लिए बहुपद समय आवंटित किया गया है। | प्रोटोकॉल में क्रमशः आर्थर और मर्लिन नामक दो प्रतिभागियों को देखते हुए, मूल धारणा यह है कि आर्थर मानक कंप्यूटर (या सत्यापनकर्ता) है जो [[यादृच्छिक संख्या पीढ़ी|यादृच्छिक संख्या]] उत्पन्न करने वाले उपकरण से सुसज्जित है, जबकि मर्लिन प्रभावी रूप से अनंत कम्प्यूटेशनल शक्ति वाला ओरेकल है (जिसे प्रोवर के रूप में भी जाना जाता है)। चूँकि, मर्लिन आवश्यक रूप से ईमानदार नहीं है, इसलिए आर्थर को आर्थर के प्रश्नों के उत्तर में मर्लिन द्वारा प्रदान की गई सूचना का विश्लेषण करना चाहिए और समस्या का निर्णय स्वयं करना चाहिए। इस प्रोटोकॉल द्वारा समस्या को समाधान करने योग्य माना जाता है यदि जब भी उत्तर हाँ होता है, तो मर्लिन के पास प्रतिक्रियाओं की कुछ श्रृंखला होती है जो आर्थर को कम से कम {{frac|2|3}} समय स्वीकार करना पड़ता है, और यदि जब भी उत्तर नहीं होता है, तो आर्थर कभी भी {{frac|1|3}} से अधिक समय स्वीकार नहीं करता है। इस प्रकार, आर्थर संभाव्य बहुपद-समय सत्यापनकर्ता के रूप में कार्य करता है, यह मानते हुए कि उसे अपने निर्णय और प्रश्न पूछने के लिए बहुपद समय आवंटित किया गया है। | ||
==एमए== | ==एमए== | ||
ऐसा सबसे सरल प्रोटोकॉल 1-संदेश प्रोटोकॉल है | ऐसा सबसे सरल प्रोटोकॉल 1-संदेश प्रोटोकॉल है जो मर्लिन आर्थर को संदेश भेजता है, और फिर आर्थर संभाव्य बहुपद समय गणना चलाकर निर्णय लेता है कि उसे स्वीकार करना है या नहीं है। (यह एनपी की सत्यापनकर्ता-आधारित परिभाषा के समान है, एकमात्र अंतर यह है कि आर्थर को यहां यादृच्छिकता का उपयोग करने की अनुमति है।) इस प्रोटोकॉल में मर्लिन के पास आर्थर के सिक्के उछालने की सुविधा नहीं है, क्योंकि यह एकल-संदेश प्रोटोकॉल है और मर्लिन का संदेश प्राप्त करने के पश्चात ही आर्थर अपने सिक्के उछालता है। इस प्रोटोकॉल को एमए कहा जाता है। अनौपचारिक रूप से, लैंग्वेज L 'एमए' में है यदि लैंग्वेज में सभी तारों के लिए, बहुपद आकार का प्रमाण है कि मर्लिन उच्च संभावना के साथ आर्थर को इस तथ्य को समझाने के लिए भेज सकता है, और लैंग्वेज में नहीं सभी तारों के लिए कोई प्रमाण नहीं है जो उच्च संभावना के साथ आर्थर को आश्वस्त करता है। | ||
औपचारिक रूप से, | औपचारिक रूप से, समष्टिता वर्ग '''<nowiki/>'एमए'<nowiki/>''' निर्णय समस्याओं का समूह है जिसे आर्थर-मर्लिन प्रोटोकॉल द्वारा बहुपद समय में निश्चित किया जा सकता है जहां मर्लिन का एकमात्र कदम आर्थर द्वारा किसी भी गणना से पूर्व होता है। दूसरे शब्दों में, लैंग्वेज L '''<nowiki/>'एमए'''' में है यदि बहुपद-समय नियतात्मक ट्यूरिंग मशीन M और बहुपद p, q उपस्थित है जैसे कि लंबाई के प्रत्येक इनपुट स्ट्रिंग x के लिए n = |x| है। | ||
*यदि x, L में है, तो <math>\exists z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\ge2/3 | *यदि x, L में है, तो <math>\exists z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\ge2/3</math> प्राप्त होता है। | ||
*यदि x, L में नहीं है, तो <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=0)\ge2/3 | *यदि x, L में नहीं है, तो <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=0)\ge2/3</math> प्राप्त होता है। | ||
दूसरे नियम को वैकल्पिक रूप से इस प्रकार लिखा जा सकता है: | |||
*यदि x, L में नहीं है, तो <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\le1/3 | *यदि x, L में नहीं है, तो <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\le1/3</math> प्राप्त होता है। | ||
उपरोक्त अनौपचारिक | उपरोक्त अनौपचारिक परिभाषा के साथ इसकी तुलना करने के लिए, z मर्लिन का कथित प्रमाण है (जिसका आकार बहुपद से घिरा हुआ है) और y वह यादृच्छिक स्ट्रिंग है जिसका उपयोग आर्थर करता है, जो बहुपद से भी घिरा हुआ है। | ||
==AM== | ==AM== | ||
[[जटिलता वर्ग]] एएम (या एएम [2]) [[निर्णय समस्या]]ओं का समूह है जिसे दो संदेशों के साथ आर्थर-मर्लिन प्रोटोकॉल द्वारा बहुपद समय में निश्चित किया जा सकता है। केवल प्रश्न/प्रतिक्रिया युग्म है: आर्थर कुछ यादृच्छिक सिक्के उछालता है और अपने सिक्के उछालने के | [[जटिलता वर्ग|समष्टिता वर्ग]] एएम (या एएम [2]) [[निर्णय समस्या]]ओं का समूह है जिसे दो संदेशों के साथ आर्थर-मर्लिन प्रोटोकॉल द्वारा बहुपद समय में निश्चित किया जा सकता है। केवल प्रश्न/प्रतिक्रिया युग्म है: आर्थर कुछ यादृच्छिक सिक्के उछालता है और अपने सिक्के उछालने के सभी परिणामों का परिणाम मर्लिन को भेजता है, मर्लिन कथित प्रमाण के साथ उत्तर देता है, और आर्थर निश्चित रूप से प्रमाण की पुष्टि करता है। इस प्रोटोकॉल में, आर्थर को केवल सिक्का उछालने के परिणाम मर्लिन को भेजने की अनुमति है, और अंतिम चरण में आर्थर को केवल अपने पहले से उत्पन्न यादृच्छिक सिक्का फ्लिप और मर्लिन के संदेश का उपयोग करके यह निर्णय लेना होगा कि उसे स्वीकार करना है या अस्वीकार करना है। | ||
दूसरे शब्दों में, लैंग्वेज ''L'' AM में है यदि बहुपद-समय नियतात्मक ट्यूरिंग मशीन ''M'' और बहुपद ''p'', ''q'' मौजूद है जैसे कि प्रत्येक इनपुट स्ट्रिंग ''x'' लंबाई के लिए ''n'' = |''x''|, | दूसरे शब्दों में, लैंग्वेज ''L'' AM में है यदि बहुपद-समय नियतात्मक ट्यूरिंग मशीन ''M'' और बहुपद ''p'', ''q'' मौजूद है जैसे कि प्रत्येक इनपुट स्ट्रिंग ''x'' लंबाई के लिए ''n'' = |''x''|, | ||
| Line 24: | Line 24: | ||
जैसा कि ऊपर दिया गया है, z मर्लिन का कथित प्रमाण है (जिसका आकार बहुपद से घिरा हुआ है) और y वह यादृच्छिक स्ट्रिंग है जिसका उपयोग आर्थर करता है, जो बहुपद से भी घिरा हुआ है। | जैसा कि ऊपर दिया गया है, z मर्लिन का कथित प्रमाण है (जिसका आकार बहुपद से घिरा हुआ है) और y वह यादृच्छिक स्ट्रिंग है जिसका उपयोग आर्थर करता है, जो बहुपद से भी घिरा हुआ है। | ||
समष्टिता वर्ग 'एएम[के]' समस्याओं का समूह है जिसे के प्रश्नों और प्रतिक्रियाओं के साथ बहुपद समय में निश्चित किया जा सकता है। जैसा कि ऊपर परिभाषित है 'AM' 'AM[2]' है। 'एएम[3]' की शुरुआत मर्लिन से आर्थर के लिए संदेश से होगी, फिर आर्थर से मर्लिन के लिए संदेश और फिर अंत में मर्लिन से आर्थर के लिए संदेश के साथ। अंतिम संदेश हमेशा मर्लिन की ओर से आर्थर के लिए होना चाहिए, क्योंकि आर्थर के लिए अपना उत्तर निश्चित करने के बाद मर्लिन को संदेश भेजने से कभी मदद नहीं मिलती। | |||
==गुण== | ==गुण== | ||
[[File:Arthur-Merlin classes diagram.svg|alt=A diagram showcasing the relationships of MA and AM with other complexity classes described in the article.|अंगूठे|अन्य जटिलता वर्गों के साथ एमए और एएम के ज्ञात संबंध। वर्ग ''ए'' से वर्ग ''बी'' तक एक तीर का अर्थ है कि ''ए'' ''बी'' का उपसमुच्चय है।]]* एमए और एएम दोनों अपरिवर्तित रहते हैं यदि उनकी परिलैंग्वेजओं को पूर्ण पूर्णता की आवश्यकता के लिए बदल दिया जाता है, जिसका अर्थ है कि आर्थर संभावना 1 (2/3 के | [[File:Arthur-Merlin classes diagram.svg|alt=A diagram showcasing the relationships of MA and AM with other complexity classes described in the article.|अंगूठे|अन्य जटिलता वर्गों के साथ एमए और एएम के ज्ञात संबंध। वर्ग ''ए'' से वर्ग ''बी'' तक एक तीर का अर्थ है कि ''ए'' ''बी'' का उपसमुच्चय है।]]* एमए और एएम दोनों अपरिवर्तित रहते हैं यदि उनकी परिलैंग्वेजओं को पूर्ण पूर्णता की आवश्यकता के लिए बदल दिया जाता है, जिसका अर्थ है कि आर्थर संभावना 1 (2/3 के अतिरिक्त) को स्वीकार करता है जब ''x'' लैंग्वेज में होता है।<ref>For a proof, see {{cite web|url=http://www.cs.cornell.edu/courses/cs6810/2009sp/scribe/lecture17.pdf|title=Lecture 17: Arthur-Merlin games, Zero-knowledge proofs|author=Rafael Pass and Jean-Baptiste Jeannin|date=March 24, 2009|access-date=June 23, 2010}}</ref> | ||
* किसी भी स्थिरांक k ≥ 2 के लिए, वर्ग 'AM[k]' 'AM[2]' के | * किसी भी स्थिरांक k ≥ 2 के लिए, वर्ग 'AM[k]' 'AM[2]' के समान है। यदि k को इनपुट आकार से बहुपद रूप से संबंधित किया जा सकता है, तो वर्ग 'AM'[poly(n)] वर्ग, 'IP (समष्टिता)' के समान है, जिसे '[[PSPACE]]' के समान माना जाता है और व्यापक रूप से वर्ग 'AM[2]' से अधिक मजबूत माना जाता है। | ||
* 'AM' में 'MA' समाहित है, क्योंकि 'AM'[3] में 'MA' शामिल है: आर्थर, मर्लिन का प्रमाणपत्र प्राप्त करने के बाद, आवश्यक संख्या में सिक्के उछाल सकता है, उन्हें मर्लिन को भेज सकता है, और प्रतिक्रिया को अनदेखा कर सकता है। | * 'AM' में 'MA' समाहित है, क्योंकि 'AM'[3] में 'MA' शामिल है: आर्थर, मर्लिन का प्रमाणपत्र प्राप्त करने के बाद, आवश्यक संख्या में सिक्के उछाल सकता है, उन्हें मर्लिन को भेज सकता है, और प्रतिक्रिया को अनदेखा कर सकता है। | ||
* यह खुला है कि क्या 'एएम' और 'एमए' अलग हैं। प्रशंसनीय सर्किट निचली सीमा के तहत ('पी' = 'बीपीपी' के समान), वे दोनों 'एनपी' के | * यह खुला है कि क्या 'एएम' और 'एमए' अलग हैं। प्रशंसनीय सर्किट निचली सीमा के तहत ('पी' = 'बीपीपी' के समान), वे दोनों 'एनपी' के समान हैं।<ref>{{Cite book |last1=Impagliazzo |first1=Russell |last2=Wigderson |first2=Avi |date=1997-05-04 |title=P = BPP if E requires exponential circuits: derandomizing the XOR lemma |publisher=ACM |pages=220–229 |doi=10.1145/258533.258590 |isbn=0897918886|s2cid=18921599 }}</ref> | ||
* AM क्लास BP⋅NP के समान है जहां BP बाउंडेड-एरर प्रोबेबिलिस्टिक ऑपरेटर को दर्शाता है। भी,<math> \exists \cdot \mathsf{BPP}</math>(ExistsBPP के रूप में भी लिखा जाता है) एमए का उपसमूह है। क्या एमए के | * AM क्लास BP⋅NP के समान है जहां BP बाउंडेड-एरर प्रोबेबिलिस्टिक ऑपरेटर को दर्शाता है। भी,<math> \exists \cdot \mathsf{BPP}</math>(ExistsBPP के रूप में भी लिखा जाता है) एमए का उपसमूह है। क्या एमए के समान है<math> \exists \cdot \mathsf{BPP}</math> खुला प्रश्न है. | ||
* निजी सिक्का प्रोटोकॉल में रूपांतरण, जिसमें मर्लिन आर्थर के यादृच्छिक निर्णयों के नतीजे की भविष्यवाणी नहीं कर सकता है, सामान्य मामले में बातचीत के दौर की संख्या अधिकतम 2 तक बढ़ा देगा। तो AM का निजी-सिक्का संस्करण सार्वजनिक-सिक्का संस्करण के | * निजी सिक्का प्रोटोकॉल में रूपांतरण, जिसमें मर्लिन आर्थर के यादृच्छिक निर्णयों के नतीजे की भविष्यवाणी नहीं कर सकता है, सामान्य मामले में बातचीत के दौर की संख्या अधिकतम 2 तक बढ़ा देगा। तो AM का निजी-सिक्का संस्करण सार्वजनिक-सिक्का संस्करण के समान है। | ||
* एमए में [[एनपी (जटिलता)]] और [[बीपीपी (जटिलता)]] दोनों शामिल हैं। बीपीपी के लिए यह तत्काल है, क्योंकि आर्थर मर्लिन को आसानी से अनदेखा कर सकता है और समस्या को सीधे हल कर सकता है; एनपी के लिए, मर्लिन को केवल आर्थर को प्रमाणपत्र भेजने की आवश्यकता है, जिसे आर्थर बहुपद समय में नियतात्मक रूप से मान्य कर सकता है। | * एमए में [[एनपी (जटिलता)|एनपी (समष्टिता)]] और [[बीपीपी (जटिलता)|बीपीपी (समष्टिता)]] दोनों शामिल हैं। बीपीपी के लिए यह तत्काल है, क्योंकि आर्थर मर्लिन को आसानी से अनदेखा कर सकता है और समस्या को सीधे हल कर सकता है; एनपी के लिए, मर्लिन को केवल आर्थर को प्रमाणपत्र भेजने की आवश्यकता है, जिसे आर्थर बहुपद समय में नियतात्मक रूप से मान्य कर सकता है। | ||
* एमए और एएम दोनों [[बहुपद पदानुक्रम]] में समाहित हैं। विशेष रूप से, एमए Σ के प्रतिच्छेदन में निहित है<sub>2</sub><sup>पी</sup>और Π<sub>2</sub><sup>P</sup> और AM Π में निहित है<sub>2</sub><sup>पी</sup>. इससे भी अधिक, MA उपवर्ग S2P ( | * एमए और एएम दोनों [[बहुपद पदानुक्रम]] में समाहित हैं। विशेष रूप से, एमए Σ के प्रतिच्छेदन में निहित है<sub>2</sub><sup>पी</sup>और Π<sub>2</sub><sup>P</sup> और AM Π में निहित है<sub>2</sub><sup>पी</sup>. इससे भी अधिक, MA उपवर्ग S2P (समष्टिता)| में समाहित है{{nowrap|S{{su|p=P|b=2}}}},<ref>{{cite web|url=http://www.ccs.neu.edu/home/koods/papers/russell98symmetric.pdf |title=सममित प्रत्यावर्तन BPP को कैप्चर करता है|website=Ccs.neu.edu|access-date=2016-07-26}}</ref> सममित प्रत्यावर्तन को व्यक्त करने वाला समष्टिता वर्ग। यह सिप्सर-लॉटमैन प्रमेय का सामान्यीकरण है। | ||
* एएम एनपी/पॉली में समाहित है, जो बहुपद आकार [[सलाह (जटिलता)]] के साथ गैर-नियतात्मक बहुपद समय में गणना योग्य निर्णय समस्याओं का वर्ग है। प्रमाण P/poly#Adleman's theorem|Adleman's theorem का रूपांतर है। | * एएम एनपी/पॉली में समाहित है, जो बहुपद आकार [[सलाह (जटिलता)|सलाह (समष्टिता)]] के साथ गैर-नियतात्मक बहुपद समय में गणना योग्य निर्णय समस्याओं का वर्ग है। प्रमाण P/poly#Adleman's theorem|Adleman's theorem का रूपांतर है। | ||
* एमए [[पीपी (जटिलता)]] में निहित है; यह परिणाम वीरशैचिन के कारण है।<ref>{{Cite book|last=Vereschchagin|first=N.K. |pages=138–143 |doi=10.1109/sct.1992.215389|isbn=081862955X|year=1992|chapter=On the power of PP |title=[1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference |s2cid=195705029 }}</ref> | * एमए [[पीपी (जटिलता)|पीपी (समष्टिता)]] में निहित है; यह परिणाम वीरशैचिन के कारण है।<ref>{{Cite book|last=Vereschchagin|first=N.K. |pages=138–143 |doi=10.1109/sct.1992.215389|isbn=081862955X|year=1992|chapter=On the power of PP |title=[1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference |s2cid=195705029 }}</ref> | ||
* एमए इसके क्वांटम संस्करण, [[क्यूएमए]] में निहित है।<ref>{{Cite journal |last1=Vidick |first1=Thomas |last2=Watrous |first2=John |date=2016 |title=क्वांटम प्रमाण|journal=Foundations and Trends in Theoretical Computer Science |volume=11 |issue=1–2 |pages=1–215 |doi=10.1561/0400000068 |issn=1551-305X|arxiv=1610.01664 |s2cid=54255188 }}</ref> | * एमए इसके क्वांटम संस्करण, [[क्यूएमए]] में निहित है।<ref>{{Cite journal |last1=Vidick |first1=Thomas |last2=Watrous |first2=John |date=2016 |title=क्वांटम प्रमाण|journal=Foundations and Trends in Theoretical Computer Science |volume=11 |issue=1–2 |pages=1–215 |doi=10.1561/0400000068 |issn=1551-305X|arxiv=1610.01664 |s2cid=54255188 }}</ref> | ||
* एएम में यह निर्णय लेने की [[ग्राफ समरूपता समस्या]] शामिल है कि क्या दो ग्राफ समरूपी नहीं हैं। निजी सिक्कों का उपयोग करने वाला प्रोटोकॉल निम्नलिखित है और इसे सार्वजनिक सिक्का प्रोटोकॉल में बदला जा सकता है। दो ग्राफ ''जी'' और ''एच'' दिए गए हैं, आर्थर यादृच्छिक रूप से उनमें से को चुनता है, और इसके शीर्षों का यादृच्छिक क्रमचय चुनता है, मर्लिन को क्रमबद्ध ग्राफ ''आई'' प्रस्तुत करता है। मर्लिन को जवाब देना होगा कि क्या ''I'' ''G'' या ''H'' से बना है। यदि ग्राफ़ गैर-समरूपी हैं, तो मर्लिन पूर्ण निश्चितता के साथ उत्तर देने में सक्षम होंगे (यह जांच कर कि क्या ''I'' ''G'' के समरूपी है)। चूँकि , यदि ग्राफ समरूपी हैं, तो यह संभव है कि ''जी'' या ''एच'' का उपयोग ''आई'' बनाने के लिए किया गया था, और समान रूप से संभव है। इस मामले में, मर्लिन के पास उन्हें अलग बताने का कोई तरीका नहीं है और वह आर्थर को अधिकतम 1/2 संभावना के साथ मना सकता है, और इसे दोहराव द्वारा 1/4 तक बढ़ाया जा सकता है। यह वास्तव में [[शून्य ज्ञान प्रमाण]] है। | * एएम में यह निर्णय लेने की [[ग्राफ समरूपता समस्या]] शामिल है कि क्या दो ग्राफ समरूपी नहीं हैं। निजी सिक्कों का उपयोग करने वाला प्रोटोकॉल निम्नलिखित है और इसे सार्वजनिक सिक्का प्रोटोकॉल में बदला जा सकता है। दो ग्राफ ''जी'' और ''एच'' दिए गए हैं, आर्थर यादृच्छिक रूप से उनमें से को चुनता है, और इसके शीर्षों का यादृच्छिक क्रमचय चुनता है, मर्लिन को क्रमबद्ध ग्राफ ''आई'' प्रस्तुत करता है। मर्लिन को जवाब देना होगा कि क्या ''I'' ''G'' या ''H'' से बना है। यदि ग्राफ़ गैर-समरूपी हैं, तो मर्लिन पूर्ण निश्चितता के साथ उत्तर देने में सक्षम होंगे (यह जांच कर कि क्या ''I'' ''G'' के समरूपी है)। चूँकि , यदि ग्राफ समरूपी हैं, तो यह संभव है कि ''जी'' या ''एच'' का उपयोग ''आई'' बनाने के लिए किया गया था, और समान रूप से संभव है। इस मामले में, मर्लिन के पास उन्हें अलग बताने का कोई तरीका नहीं है और वह आर्थर को अधिकतम 1/2 संभावना के साथ मना सकता है, और इसे दोहराव द्वारा 1/4 तक बढ़ाया जा सकता है। यह वास्तव में [[शून्य ज्ञान प्रमाण]] है। | ||
Revision as of 11:37, 6 August 2023
कम्प्यूटेशनल समष्टिता सिद्धांत में, बाबई (1985), द्वारा प्रस्तुत किया गया आर्थर-मर्लिन प्रोटोकॉल, ऐसा इंटरैक्टिव प्रमाण सिस्टम है जिसमें सत्यापनकर्ता के सिक्के उछालने को सार्वजनिक करने के लिए बाध्य किया जाता है (अर्थात नीतिकर्ता को भी इसकी सूचना होती है)। गोल्डवेसर & सिप्सर (1986) ने प्रमाणित किया कि निजी सिक्कों के साथ इच्छानुसार लंबाई के इंटरैक्टिव प्रमाण वाली सभी (औपचारिक) लैंग्वेजेज में सार्वजनिक सिक्कों के साथ भी इंटरैक्टिव प्रमाण होते हैं।
प्रोटोकॉल में क्रमशः आर्थर और मर्लिन नामक दो प्रतिभागियों को देखते हुए, मूल धारणा यह है कि आर्थर मानक कंप्यूटर (या सत्यापनकर्ता) है जो यादृच्छिक संख्या उत्पन्न करने वाले उपकरण से सुसज्जित है, जबकि मर्लिन प्रभावी रूप से अनंत कम्प्यूटेशनल शक्ति वाला ओरेकल है (जिसे प्रोवर के रूप में भी जाना जाता है)। चूँकि, मर्लिन आवश्यक रूप से ईमानदार नहीं है, इसलिए आर्थर को आर्थर के प्रश्नों के उत्तर में मर्लिन द्वारा प्रदान की गई सूचना का विश्लेषण करना चाहिए और समस्या का निर्णय स्वयं करना चाहिए। इस प्रोटोकॉल द्वारा समस्या को समाधान करने योग्य माना जाता है यदि जब भी उत्तर हाँ होता है, तो मर्लिन के पास प्रतिक्रियाओं की कुछ श्रृंखला होती है जो आर्थर को कम से कम 2⁄3 समय स्वीकार करना पड़ता है, और यदि जब भी उत्तर नहीं होता है, तो आर्थर कभी भी 1⁄3 से अधिक समय स्वीकार नहीं करता है। इस प्रकार, आर्थर संभाव्य बहुपद-समय सत्यापनकर्ता के रूप में कार्य करता है, यह मानते हुए कि उसे अपने निर्णय और प्रश्न पूछने के लिए बहुपद समय आवंटित किया गया है।
एमए
ऐसा सबसे सरल प्रोटोकॉल 1-संदेश प्रोटोकॉल है जो मर्लिन आर्थर को संदेश भेजता है, और फिर आर्थर संभाव्य बहुपद समय गणना चलाकर निर्णय लेता है कि उसे स्वीकार करना है या नहीं है। (यह एनपी की सत्यापनकर्ता-आधारित परिभाषा के समान है, एकमात्र अंतर यह है कि आर्थर को यहां यादृच्छिकता का उपयोग करने की अनुमति है।) इस प्रोटोकॉल में मर्लिन के पास आर्थर के सिक्के उछालने की सुविधा नहीं है, क्योंकि यह एकल-संदेश प्रोटोकॉल है और मर्लिन का संदेश प्राप्त करने के पश्चात ही आर्थर अपने सिक्के उछालता है। इस प्रोटोकॉल को एमए कहा जाता है। अनौपचारिक रूप से, लैंग्वेज L 'एमए' में है यदि लैंग्वेज में सभी तारों के लिए, बहुपद आकार का प्रमाण है कि मर्लिन उच्च संभावना के साथ आर्थर को इस तथ्य को समझाने के लिए भेज सकता है, और लैंग्वेज में नहीं सभी तारों के लिए कोई प्रमाण नहीं है जो उच्च संभावना के साथ आर्थर को आश्वस्त करता है।
औपचारिक रूप से, समष्टिता वर्ग 'एमए' निर्णय समस्याओं का समूह है जिसे आर्थर-मर्लिन प्रोटोकॉल द्वारा बहुपद समय में निश्चित किया जा सकता है जहां मर्लिन का एकमात्र कदम आर्थर द्वारा किसी भी गणना से पूर्व होता है। दूसरे शब्दों में, लैंग्वेज L 'एमए' में है यदि बहुपद-समय नियतात्मक ट्यूरिंग मशीन M और बहुपद p, q उपस्थित है जैसे कि लंबाई के प्रत्येक इनपुट स्ट्रिंग x के लिए n = |x| है।
- यदि x, L में है, तो प्राप्त होता है।
- यदि x, L में नहीं है, तो प्राप्त होता है।
दूसरे नियम को वैकल्पिक रूप से इस प्रकार लिखा जा सकता है:
- यदि x, L में नहीं है, तो प्राप्त होता है।
उपरोक्त अनौपचारिक परिभाषा के साथ इसकी तुलना करने के लिए, z मर्लिन का कथित प्रमाण है (जिसका आकार बहुपद से घिरा हुआ है) और y वह यादृच्छिक स्ट्रिंग है जिसका उपयोग आर्थर करता है, जो बहुपद से भी घिरा हुआ है।
AM
समष्टिता वर्ग एएम (या एएम [2]) निर्णय समस्याओं का समूह है जिसे दो संदेशों के साथ आर्थर-मर्लिन प्रोटोकॉल द्वारा बहुपद समय में निश्चित किया जा सकता है। केवल प्रश्न/प्रतिक्रिया युग्म है: आर्थर कुछ यादृच्छिक सिक्के उछालता है और अपने सिक्के उछालने के सभी परिणामों का परिणाम मर्लिन को भेजता है, मर्लिन कथित प्रमाण के साथ उत्तर देता है, और आर्थर निश्चित रूप से प्रमाण की पुष्टि करता है। इस प्रोटोकॉल में, आर्थर को केवल सिक्का उछालने के परिणाम मर्लिन को भेजने की अनुमति है, और अंतिम चरण में आर्थर को केवल अपने पहले से उत्पन्न यादृच्छिक सिक्का फ्लिप और मर्लिन के संदेश का उपयोग करके यह निर्णय लेना होगा कि उसे स्वीकार करना है या अस्वीकार करना है।
दूसरे शब्दों में, लैंग्वेज L AM में है यदि बहुपद-समय नियतात्मक ट्यूरिंग मशीन M और बहुपद p, q मौजूद है जैसे कि प्रत्येक इनपुट स्ट्रिंग x लंबाई के लिए n = |x|,
- यदि x L में है, तो
- यदि x, L में नहीं है, तो
यहां दूसरी शर्त को इस प्रकार फिर से लिखा जा सकता है
- यदि x, L में नहीं है, तो
जैसा कि ऊपर दिया गया है, z मर्लिन का कथित प्रमाण है (जिसका आकार बहुपद से घिरा हुआ है) और y वह यादृच्छिक स्ट्रिंग है जिसका उपयोग आर्थर करता है, जो बहुपद से भी घिरा हुआ है।
समष्टिता वर्ग 'एएम[के]' समस्याओं का समूह है जिसे के प्रश्नों और प्रतिक्रियाओं के साथ बहुपद समय में निश्चित किया जा सकता है। जैसा कि ऊपर परिभाषित है 'AM' 'AM[2]' है। 'एएम[3]' की शुरुआत मर्लिन से आर्थर के लिए संदेश से होगी, फिर आर्थर से मर्लिन के लिए संदेश और फिर अंत में मर्लिन से आर्थर के लिए संदेश के साथ। अंतिम संदेश हमेशा मर्लिन की ओर से आर्थर के लिए होना चाहिए, क्योंकि आर्थर के लिए अपना उत्तर निश्चित करने के बाद मर्लिन को संदेश भेजने से कभी मदद नहीं मिलती।
गुण
* एमए और एएम दोनों अपरिवर्तित रहते हैं यदि उनकी परिलैंग्वेजओं को पूर्ण पूर्णता की आवश्यकता के लिए बदल दिया जाता है, जिसका अर्थ है कि आर्थर संभावना 1 (2/3 के अतिरिक्त) को स्वीकार करता है जब x लैंग्वेज में होता है।[1]
- किसी भी स्थिरांक k ≥ 2 के लिए, वर्ग 'AM[k]' 'AM[2]' के समान है। यदि k को इनपुट आकार से बहुपद रूप से संबंधित किया जा सकता है, तो वर्ग 'AM'[poly(n)] वर्ग, 'IP (समष्टिता)' के समान है, जिसे 'PSPACE' के समान माना जाता है और व्यापक रूप से वर्ग 'AM[2]' से अधिक मजबूत माना जाता है।
- 'AM' में 'MA' समाहित है, क्योंकि 'AM'[3] में 'MA' शामिल है: आर्थर, मर्लिन का प्रमाणपत्र प्राप्त करने के बाद, आवश्यक संख्या में सिक्के उछाल सकता है, उन्हें मर्लिन को भेज सकता है, और प्रतिक्रिया को अनदेखा कर सकता है।
- यह खुला है कि क्या 'एएम' और 'एमए' अलग हैं। प्रशंसनीय सर्किट निचली सीमा के तहत ('पी' = 'बीपीपी' के समान), वे दोनों 'एनपी' के समान हैं।[2]
- AM क्लास BP⋅NP के समान है जहां BP बाउंडेड-एरर प्रोबेबिलिस्टिक ऑपरेटर को दर्शाता है। भी,(ExistsBPP के रूप में भी लिखा जाता है) एमए का उपसमूह है। क्या एमए के समान है खुला प्रश्न है.
- निजी सिक्का प्रोटोकॉल में रूपांतरण, जिसमें मर्लिन आर्थर के यादृच्छिक निर्णयों के नतीजे की भविष्यवाणी नहीं कर सकता है, सामान्य मामले में बातचीत के दौर की संख्या अधिकतम 2 तक बढ़ा देगा। तो AM का निजी-सिक्का संस्करण सार्वजनिक-सिक्का संस्करण के समान है।
- एमए में एनपी (समष्टिता) और बीपीपी (समष्टिता) दोनों शामिल हैं। बीपीपी के लिए यह तत्काल है, क्योंकि आर्थर मर्लिन को आसानी से अनदेखा कर सकता है और समस्या को सीधे हल कर सकता है; एनपी के लिए, मर्लिन को केवल आर्थर को प्रमाणपत्र भेजने की आवश्यकता है, जिसे आर्थर बहुपद समय में नियतात्मक रूप से मान्य कर सकता है।
- एमए और एएम दोनों बहुपद पदानुक्रम में समाहित हैं। विशेष रूप से, एमए Σ के प्रतिच्छेदन में निहित है2पीऔर Π2P और AM Π में निहित है2पी. इससे भी अधिक, MA उपवर्ग S2P (समष्टिता)| में समाहित हैSP
2,[3] सममित प्रत्यावर्तन को व्यक्त करने वाला समष्टिता वर्ग। यह सिप्सर-लॉटमैन प्रमेय का सामान्यीकरण है। - एएम एनपी/पॉली में समाहित है, जो बहुपद आकार सलाह (समष्टिता) के साथ गैर-नियतात्मक बहुपद समय में गणना योग्य निर्णय समस्याओं का वर्ग है। प्रमाण P/poly#Adleman's theorem|Adleman's theorem का रूपांतर है।
- एमए पीपी (समष्टिता) में निहित है; यह परिणाम वीरशैचिन के कारण है।[4]
- एमए इसके क्वांटम संस्करण, क्यूएमए में निहित है।[5]
- एएम में यह निर्णय लेने की ग्राफ समरूपता समस्या शामिल है कि क्या दो ग्राफ समरूपी नहीं हैं। निजी सिक्कों का उपयोग करने वाला प्रोटोकॉल निम्नलिखित है और इसे सार्वजनिक सिक्का प्रोटोकॉल में बदला जा सकता है। दो ग्राफ जी और एच दिए गए हैं, आर्थर यादृच्छिक रूप से उनमें से को चुनता है, और इसके शीर्षों का यादृच्छिक क्रमचय चुनता है, मर्लिन को क्रमबद्ध ग्राफ आई प्रस्तुत करता है। मर्लिन को जवाब देना होगा कि क्या I G या H से बना है। यदि ग्राफ़ गैर-समरूपी हैं, तो मर्लिन पूर्ण निश्चितता के साथ उत्तर देने में सक्षम होंगे (यह जांच कर कि क्या I G के समरूपी है)। चूँकि , यदि ग्राफ समरूपी हैं, तो यह संभव है कि जी या एच का उपयोग आई बनाने के लिए किया गया था, और समान रूप से संभव है। इस मामले में, मर्लिन के पास उन्हें अलग बताने का कोई तरीका नहीं है और वह आर्थर को अधिकतम 1/2 संभावना के साथ मना सकता है, और इसे दोहराव द्वारा 1/4 तक बढ़ाया जा सकता है। यह वास्तव में शून्य ज्ञान प्रमाण है।
- यदि AM में coNP है तो बहुपद पदानुक्रम = AM। यह इस बात का प्रमाण है कि ग्राफ समरूपता एनपी-पूर्ण होने की संभावना नहीं है, क्योंकि इसका तात्पर्य बहुपद पदानुक्रम के पतन से है।
- विस्तारित रीमैन परिकल्पना को मानते हुए, यह ज्ञात है कि किसी भी डी समस्या के लिए बहुभिन्नरूपी बहुपदों का संग्रह दिया गया है प्रत्येक पूर्णांक गुणांक और अधिकतम d डिग्री के साथ, क्या उनके पास सामान्य सम्मिश्र शून्य है? 'AM' में है.[6]
संदर्भ
- ↑ For a proof, see Rafael Pass and Jean-Baptiste Jeannin (March 24, 2009). "Lecture 17: Arthur-Merlin games, Zero-knowledge proofs" (PDF). Retrieved June 23, 2010.
- ↑ Impagliazzo, Russell; Wigderson, Avi (1997-05-04). P = BPP if E requires exponential circuits: derandomizing the XOR lemma. ACM. pp. 220–229. doi:10.1145/258533.258590. ISBN 0897918886. S2CID 18921599.
- ↑ "सममित प्रत्यावर्तन BPP को कैप्चर करता है" (PDF). Ccs.neu.edu. Retrieved 2016-07-26.
- ↑ Vereschchagin, N.K. (1992). "On the power of PP". [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference. pp. 138–143. doi:10.1109/sct.1992.215389. ISBN 081862955X. S2CID 195705029.
- ↑ Vidick, Thomas; Watrous, John (2016). "क्वांटम प्रमाण". Foundations and Trends in Theoretical Computer Science. 11 (1–2): 1–215. arXiv:1610.01664. doi:10.1561/0400000068. ISSN 1551-305X. S2CID 54255188.
- ↑ "Course: Algebra and Computation". People.csail.mit.edu. Retrieved 2016-07-26.
ग्रन्थसूची
- Babai, László (1985), "Trading group theory for randomness", STOC '85: Proceedings of the seventeenth annual ACM symposium on Theory of computing, ACM, pp. 421–429, ISBN 978-0-89791-151-1.
- Goldwasser, Shafi; Sipser, Michael (1986), "Private coins versus public coins in interactive proof systems", STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computing, ACM, pp. 59–68, ISBN 978-0-89791-193-1.
- Arora, Sanjeev; Barak, Boaz (2009), Computational Complexity: A Modern Approach, Cambridge, ISBN 978-0-521-42426-4.
- Madhu Sudan's MIT course on advanced complexity
