वैकल्पिक ट्यूरिंग मशीन: Difference between revisions
m (21 revisions imported from alpha:वैकल्पिक_ट्यूरिंग_मशीन) |
No edit summary |
||
Line 94: | Line 94: | ||
* {{cite book|author = Christos Papadimitriou | year = 1993 | title = Computational Complexity | publisher = Addison Wesley | edition = 1st | isbn = 978-0-201-53082-7| author-link = Christos Papadimitriou }} Section 16.2: Alternation, pp. 399–401. | * {{cite book|author = Christos Papadimitriou | year = 1993 | title = Computational Complexity | publisher = Addison Wesley | edition = 1st | isbn = 978-0-201-53082-7| author-link = Christos Papadimitriou }} Section 16.2: Alternation, pp. 399–401. | ||
* {{cite book|author1=Bakhadyr Khoussainov|author2=Anil Nerode|author-link2=Anil Nerode|title=Automata Theory and its Applications|url=https://books.google.com/books?id=wR_oBwAAQBAJ|year = 2012|publisher=Springer Science & Business Media|isbn=978-1-4612-0171-7}} | * {{cite book|author1=Bakhadyr Khoussainov|author2=Anil Nerode|author-link2=Anil Nerode|title=Automata Theory and its Applications|url=https://books.google.com/books?id=wR_oBwAAQBAJ|year = 2012|publisher=Springer Science & Business Media|isbn=978-1-4612-0171-7}} | ||
{{DEFAULTSORT:Alternating Turing Machine}} | {{DEFAULTSORT:Alternating Turing Machine}} | ||
[[Category:Created On 25/07/2023|Alternating Turing Machine]] | |||
[[Category:Lua-based templates|Alternating Turing Machine]] | |||
[[Category: Machine Translated Page]] | [[Category:Machine Translated Page|Alternating Turing Machine]] | ||
[[Category: | [[Category:Pages with script errors|Alternating Turing Machine]] | ||
[[Category:Vigyan Ready]] | [[Category:Short description with empty Wikidata description|Alternating Turing Machine]] | ||
[[Category:Templates Vigyan Ready|Alternating Turing Machine]] | |||
[[Category:Templates that add a tracking category|Alternating Turing Machine]] | |||
[[Category:Templates that generate short descriptions|Alternating Turing Machine]] | |||
[[Category:Templates using TemplateData|Alternating Turing Machine]] | |||
[[Category:गणना के मॉडल|Alternating Turing Machine]] |
Latest revision as of 09:41, 23 August 2023
कम्प्यूटेशनल कम्प्लेक्सिटी सिद्धांत में, वैकल्पिक ट्यूरिंग मशीन (एटीएम) गैर नियतात्मक ट्यूरिंग मशीन (एनटीएम) के रूप में होती है, जिसमें कम्प्यूटेशन एक्सेप्ट करने का एक नियम है, जो कम्प्लेक्सिटी क्लासेस एनपी और को-एनपी की परिभाषा में उपयोग किए गए नियमों को सामान्य बनाता है। एटीएम की अवधारणा अशोक के. चंद्रा और लैरी स्टॉकमेयर के द्वारा प्रस्तुत की गई थी[1] और इंडेपेंडेंटली डेक्सटर कोज़ेन द्वारा[2] 1976 और 1981 में एक संयुक्त जर्नल पब्लिकेशन के साथ प्रस्तुत की गई है।[3]
परिभाषाएँ
इनफॉर्मल विवरण
NP की परिभाषा कम्प्यूटेशन के एक्सिस्टेंटिअल मोड का उपयोग करती है, यदि कोई विकल्प एक्सेप्टिंग स्टेट की ओर ले जाता है, तो पूरा कम्प्यूटेशन एक्सेप्ट हो जाता है और इस प्रकार को-NP की परिभाषा कम्प्यूटेशन के यूनिवर्सल विधि का उपयोग करती है और केवल जब सभी विकल्प एक एक्सेप्टिंग स्टेट की ओर ले जाते हैं तो पूरी कम्प्यूटेशन एक्सेप्ट हो जाती है। वैकल्पिक ट्यूरिंग मशीन इन मोडों के बीच वैकल्पिक रूप में होती है और इस प्रकार अधिक परिशुद्ध होने के लिए ऐसी मशीन के लिए स्वीकृति की परिभाषा देती है।
'वैकल्पिक ट्यूरिंग मशीन' एक गैर नियतात्मक ट्यूरिंग मशीन के रूप में होती है, जिसके स्टेट एक्सिस्टेंटिअल स्टेट 'और 'यूनिवर्सल स्टेट को दो सेटों में विभाजित किया जाता है और इस प्रकार यदि कोई परिवर्तन एक्सेप्ट करने वाली अवस्था की ओर ले जाता है और यूनिवर्सल स्टेट एक्सेप्ट करता है, इस प्रकार यदि प्रत्येक ट्रांजिशन एक एक्सेप्टिंग स्टेट की ओर ले जाता है। तो बिना किसी परिवर्तन वाला एक यूनिवर्सल स्टेट बिना किसी शर्त के एक्सेप्ट हो जाता है और यह बिना किसी ट्रांजिशन वाला एक एक्सिस्टेंटिअल स्टेट बिना किसी शर्त के एक्सेप्ट करता है। यदि प्रारंभिक स्टेट रिजेक्ट करता है, यदि प्रारंभिक स्टेट एक्सेप्ट कर रही है तो मशीन पूरे प्रकार से एक्सेप्ट करती है।
फॉर्मल परिभाषा
फॉर्मल रूप से, एक (एक-टेप) वैकल्पिक ट्यूरिंग मशीन 5- टपल के रूप में होता है जहाँ
- स्टेट का परिमित सेट है
- परिमित टेप वर्णमाला है
- इसे ट्रांज़िशन फ़ंक्शन कहा जाता है जबकि L हेड को बाईं ओर और R हेड को दाईं ओर शिफ्ट करता है,
- प्रारंभिक अवस्था है
- प्रत्येक स्टेट का प्रकार निर्दिष्ट करता है
यदि M, के साथ स्टेट में है, तो उस कॉन्फ़िगरेशन को एक्सेप्ट करने वाला कहा जाता है और यदि है तो कॉन्फ़िगरेशन को रिजेक्ट करने वाला कहा जाता है। जबकि के साथ एक कॉन्फ़िगरेशन को एक्सेप्ट करने वाला कहा जाता है कि यदि एक चरण में रीचबल सभी कॉन्फ़िगरेशन एक्सेप्ट रूप में होते है, तो इसे एक्सेप्ट किया जाता है और यदि एक चरण में रीचबल कुछ कॉन्फ़िगरेशन रिजेक्ट किया जाता है, तो इसे रिजेक्ट किया जाता है। जबकि के साथ एक कॉन्फ़िगरेशन को एक्सेप्ट करने वाला कहा जाता है जब एक चरण में रीचबल कुछ कॉन्फ़िगरेशन के रूप में उपस्थित होते है, जो एक्सेप्ट या रिजेक्ट कर रहा होता है जब एक चरण में रीचबल सभी कॉन्फ़िगरेशन रिजेक्ट कर रहे होते हैं, तब यह अंतिम स्टेट को छोड़कर मौलिक एनटीएम में सभी स्टेट का प्रकार होता है। इस प्रकार कहा जाता है कि M एक इनपुट स्ट्रिंग डब्ल्यू को एक्सेप्ट करता है यदि M का प्रारंभिक कॉन्फ़िगरेशन M की स्टेट हेड टेप के बाएं छोर पर है और टेप में w एक्सेप्ट कर रहा है और यदि प्रारंभिक कॉन्फ़िगरेशन रिजेक्ट कर रहा है तो रिजेक्ट के रूप में होता है।
ध्यान दें कि किसी कॉन्फ़िगरेशन के लिए एक्सेप्ट करना और रिजेक्ट करना दोनों असंभव है, चूंकि, नॉन- टर्मिनेटीग कम्प्यूटेशन की संभावना के कारण कुछ कॉन्फ़िगरेशन न तो एक्सेप्ट कर सकते हैं और न ही रिजेक्ट कर सकते हैं।
संसाधन सीमा
उपरोक्त परिभाषा का उपयोग करते हुए यह तय करते समय कि एटीएम का कॉन्फ़िगरेशन एक्सेप्ट या रिजेक्ट रूप में होता है और इस प्रकार वर्तमान कॉन्फ़िगरेशन से रीचबल सभी कॉन्फ़िगरेशन की जांच करना अधिकांशतः आवश्यक नहीं होता है। इस प्रकार विशेष रूप से एक एक्सिस्टेंटिअल कॉन्फ़िगरेशन को एक्सेप्ट करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन एक्सेप्ट करने योग्य पाया जाता है, और एक यूनिवर्सल कॉन्फ़िगरेशन को रिजेक्ट करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन रिजेक्ट करता हुआ पाया जाता है।
एटीएम समय रहते फॉर्मल लैंग्वेज तय कर लेता है, यदि, लंबाई के किसी भी इनपुट पर n, तक कॉन्फ़िगरेशन की जांच करता है तब प्रारंभिक कॉन्फ़िगरेशन को एक्सेप्ट या रिजेक्ट के रूप में लेबल करने के लिए पर्याप्त होता है। एक एटीएम क्षेत्र में एक लैंग्वेज तय करता है, यदि उन कॉन्फ़िगरेशनों की जांच की जा रही है जो टेप सेल को इससे परे संशोधित नहीं करते हैं और इस प्रकार बायीं ओर से सेल पर्याप्त है.
एक ऐसी लैंग्वेज जो कुछ स्थिरांक के लिए समय में कुछ एटीएम द्वारा तय की जाती है, उसे , क्लास कहा जाता है और क्षेत्र में तय की गई लैंग्वेज को.कहा जाता है।
उदाहरण
संभवतया वैकल्पिक मशीनों को हल करने के लिए सबसे स्वाभाविक समस्या मात्रात्मक बूलियन सूत्र समस्या है, जो बूलियन संतुष्टि समस्या का एक सामान्यीकरण है जिसमें प्रत्येक चर को एक्सिस्टेंटिअल या सार्वभौमिक मात्रात्मक द्वारा बाध्य किया जा सकता है। इस प्रकार वैकल्पिक मशीन ब्रांचेस एक्सिस्टेंटिअल रूप से परिमाणित चर के सभी संभावित मूल्यों को जांचने के लिए होते है और यूनिवर्सल रूप से परिमाणित चर के सभी संभावित मूल्यों को बाएँ से दाएँ क्रम में जांचने के लिए अपनाये जाते है, जिसमें वे बंधे होते है। सभी परिमाणित चरों के लिए एक मान तय करने के बाद यदि परिणामी बूलियन सूत्र ट्रुथ का मूल्यांकन करता है तो मशीन एक्सेप्ट कर लेती है और यदि गलत का मूल्यांकन करता है तो रिजेक्ट कर देती है। इस प्रकार एक्सिस्टेंटिअल रूप से परिमाणित चर पर मशीन एक्सेप्ट कर रही है कि क्या चर के लिए एक मान प्रतिस्थापित किया जा सकता है जो शेष समस्या को संतोषजनक बनाता है, और एक यूनिवर्सल रूप से परिमाणित चर पर मशीन एक्सेप्ट कर रही है कि क्या कोई मान प्रतिस्थापित किया जा सकता है और शेष समस्या का समाधान किया जा सकता है।
ऐसी मशीन समय पर परिमाणित बूलियन सूत्र और समष्टि . के रूप में तय करती है
बूलियन संतुष्टि समस्या को विशेष स्टेटयों के रूप में देखा जा सकता है जहां सभी चर एक्सिस्टेंटिअल रूप से परिमाणित होते हैं, जो सामान्य नॉन -नियतिवाद को अनुमति देता है, जो इसे कुशलतापूर्वक हल करने के लिए केवल एक्सिस्टेंटिअल ब्रांच का उपयोग करता है।
कम्प्लेक्सिटी क्लासेस और डिटरर्मिनिस्टिक ट्यूरिंग मशीनों से तुलना
निम्नलिखित कम्प्लेक्सिटी क्लासेस एटीएम के लिए परिभाषित करने के लिए उपयोगी होती है
- क्या लैंग्वेज बहुपद समय में डिसाइडेबल हैं?
- बहुपद समष्टि में डिसाइडेबल लैंग्वेज हैं
- क्या लैंग्वेज घातीय समय में डिसाइडेबल हैं
ये एक डिटरर्मिनिस्टिक ट्यूरिंग मशीन के अतिरिक्त एटीएम द्वारा उपयोग किए जाने वाले संसाधनों पर विचार करते हुए P, PSPACE और EXPTIME की परिभाषाओं के समान हैं। चंद्रा, कोज़ेन और स्टॉकमेयर[3] प्रमेयों को सिद्ध किया हैं,
- ALOGSPACE = P
- AP = PSPACE
- APSPACE = EXPTIME
- AEXPTIME = EXPSPACE
जहाँ और .
इन संबंधों का अधिक सामान्य रूप से समानांतर कम्प्यूटेशन थीसिस द्वारा व्यक्त किया जाता है।
बॉण्डेड ऑल्टनेशन
परिभाषा
k विकल्पों के साथ एक वैकल्पिक ट्यूरिंग मशीन एक वैकल्पिक ट्यूरिंग मशीन है, जो एक्सिस्टेंटिअल से यूनिवर्सल स्टेट में या इसके विपरीत k-1 बार से अधिक स्विच नहीं करती है। यह एक वैकल्पिक ट्यूरिंग मशीन है जिसके स्टेट k सेट में विभाजित होते हैं और इस प्रकार सम-संख्या वाले सेट में स्टेट यूनिवर्सल होते हैं और विषम संख्या वाले सेट में स्टेट एक्सिस्टेंटिअल इसके विपरीत होते हैं। मशीन में सेट i और सेट j <'i में एक स्टेट के बीच कोई ट्रांजिशन नहीं होता है।
समय के अनुसार डिसाइडेबल लैंग्वेजेज की क्लास है एक मशीन जो एक्सिस्टेंटिअल अवस्था में शुरू होती है और अधिक से अधिक बदलती रहती है और इस प्रकार बार. इसे कहा जाता है और jवें स्तर का हायरार्की है।
उसी तरह से परिभाषित किया जाता है, लेकिन शुरुआत एक यूनिवर्सल स्टेट से होती है और इसमें लैंग्वेजेज के पूरक .के रूप में होती है
क्षेत्र बॉण्डेड कम्प्यूटेशन के लिए इसी प्रकार परिभाषित किया जाता है।
उदाहरण
सर्किट न्यूनीकरण समस्या पर विचार करते है, एक सर्किट A को बूलियन फ़ंक्शन f और एक संख्या n की की गणना करते हुए यह निर्धारित करता है कि क्या अधिकतम n गेट्स वाला एक सर्किट होता है, जो समान फ़ंक्शन f की गणना करता है। एक प्रत्यावर्ती ट्यूरिंग मशीन, एक ऑल्टनेशन के साथ एक एक्सिस्टेंटिअल स्टेट में शुरू करके इस समस्या को बहुपद समय में हल कर सकती है और इस प्रकार अधिकतम n द्वारों के साथ एक सर्किट B का अनुमान लगाकर, फिर एक यूनिवर्सल स्टेट पर स्विच करके एक इनपुट का अनुमान लगाकर यह जांचना कि उस इनपुट पर B का आउटपुट उस इनपुट पर A के आउटपुट से मेल खाता है।
कोलेप्सींग कक्षाएं
ऐसा कहा जाता है कि हायरार्की स्तर तक कोलेप्स हो जाता है और इस प्रकार j यदि प्रत्येक लैंग्वेज स्तर में है और हायरार्की का स्तर अपने स्तर पर j.के रूप में है
इमरमैन-स्ज़ेलेपेसेनी प्रमेय के परिणाम के रूप में, लॉगरिदमिक क्षेत्र हायरार्की अपने पहले स्तर तक कोलेप्स हो जाता है।[4] एक परिणाम के रूप में जब हायरार्की अपने पहले स्तर तक कोलेप्स हो जाता है तो समष्टि कंस्ट्रक्टिबल के रूप में है
विशेष स्टेट
बहुपद समय में k विकल्पों के साथ एक वैकल्पिक ट्यूरिंग मशीन, जो क्रमशः एक्सिस्टेंटिअल यूनिवर्सल स्टेट में शुरू होकर क्लास (क्रमश, ) में सभी समस्याओं का समाधान कर सकती है।[5]
इन क्लास को कभी-कभी क्रमशः और द्वारा निरूपित किया जाता है। विवरण के लिए बहुपद हायरार्की लेख में देख सकते है।
समय हायरार्की का एक और विशेष स्टेट, लॉगरिदम हायरार्की के रूप में है।
संदर्भ
- ↑ Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "अदल-बदल". Proc. 17th IEEE Symp. on Foundations of Computer Science. Houston, Texas. pp. 98–108. doi:10.1109/SFCS.1976.4.
- ↑ Kozen, D. (1976). "ट्यूरिंग मशीनों में समानता पर". Proc. 17th IEEE Symp. on Foundations of Computer Science. Houston, Texas. pp. 89–97. doi:10.1109/SFCS.1976.20. hdl:1813/7056.
- ↑ 3.0 3.1 Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. (1981). "अदल-बदल" (PDF). Journal of the ACM. 28 (1): 114–133. doi:10.1145/322234.322243. S2CID 238863413. Archived from the original (PDF) on April 12, 2016.
- ↑ Immerman, Neil (1988). "गैर-नियतात्मक स्थान पूरकता के तहत बंद है" (PDF). SIAM Journal on Computing. 17 (5): 935–938. CiteSeerX 10.1.1.54.5941. doi:10.1137/0217058.
- ↑ Kozen, Dexter (2006). संगणना का सिद्धांत. Springer-Verlag. p. 58. ISBN 9781846282973.
अग्रिम पठन
- Michael Sipser (2006). Introduction to the Theory of Computation (2nd ed.). PWS Publishing. ISBN 978-0-534-95097-2. Section 10.3: Alternation, pp. 380–386.
- Christos Papadimitriou (1993). Computational Complexity (1st ed.). Addison Wesley. ISBN 978-0-201-53082-7. Section 16.2: Alternation, pp. 399–401.
- Bakhadyr Khoussainov; Anil Nerode (2012). Automata Theory and its Applications. Springer Science & Business Media. ISBN 978-1-4612-0171-7.