वैकल्पिक ट्यूरिंग मशीन: Difference between revisions

Revision as of 17:09, 6 August 2023

कम्प्यूटेशनल कॉम्प्लेक्सिटी सिद्धांत में, वैकल्पिक ट्यूरिंग मशीन (ATM) एक गैर-डिटर्मनिस्टिक ट्यूरिंग मशीन (NTM) के रूप में होता है, जिसमें कम्प्यूटेशन स्वीकार करने का एक नियम होता है, जो कॉम्प्लेक्सिटी क्लास एनपी और सह-एनपी की परिभाषा में उपयोग किए जाने वाले नियमों को सामान्य बनाता है। एटीएम की अवधारणा अशोक के. चंद्रा और लैरी स्टॉकमेयर द्वारा प्रस्तुत की गई थी^[1] और स्वतंत्र रूप से डेक्सटर कोज़ेन द्वारा^[2] 1976 में, 1981 में एक संयुक्त जर्नल प्रकाशन के साथ प्रस्तुत की गई थी।^[3]

परिभाषाएँ

इनफॉर्मल विवरण

NP की परिभाषा कम्प्यूटेशन के एक्सिस्टेंटीएल मोड का उपयोग करती है, यदि कोई विकल्प स्वीकार्य स्थिति की ओर ले जाता है, तो पूरी कम्प्यूटेशन स्वीकार हो जाती है और इस प्रकार सह-NP की परिभाषा कम्प्यूटेशन के यूनिवर्सल विधि का उपयोग करती है इस प्रकार केवल जब सभी विकल्प एक स्वीकार्य स्थिति की ओर ले जाते हैं तो पूरी कम्प्यूटेशन स्वीकार होती है। एक वैकल्पिक ट्यूरिंग मशीन अधिक सटीक होने के लिए ऐसी मशीन के लिए स्वीकृति की परिभाषा इन मोडों के बीच वैकल्पिक रूप में होती है।

'वैकल्पिक ट्यूरिंग मशीन' एक गैर-नियतात्मक ट्यूरिंग मशीन के रूप में होती है, जिसके स्टेट एक्सिस्टेंटीएल स्टेट 'और 'यूनिवर्सल स्टेट को दो सेटों में विभाजित किया जाता है और यह इस प्रकार एक एक्सिस्टेंटीएल अवस्था स्वीकार करने वाली होती है यदि कोई परिवर्तन स्वीकार करने वाली अवस्था की ओर ले जाता है और यूनिवर्सल स्टेट स्वीकार करता है, यदि प्रत्येक ट्रांजिशन एक स्वीकार्य स्टेट की ओर ले जाता है। इस प्रकार बिना किसी परिवर्तन वाला एक यूनिवर्सल स्टेट बिना किसी शर्त के स्वीकार करता है और यह बिना किसी ट्रांजिशन वाला एक एक्सिस्टेंटीएल स्टेट बिना किसी शर्त के अस्वीकार करता है। यदि प्रारंभिक स्थिति स्वीकार करती है तो मशीन पूरी तरह से स्वीकार रूप में होती है।

फॉर्मल परिभाषा

फॉर्मल रूप से, एक (एक-टेप) वैकल्पिक ट्यूरिंग मशीन 5-टपल के रूप में होता है $M=(Q,\Gamma ,\delta ,q_{0},g)$ जहाँ

$Q$ स्टेट का परिमित सेट है
$\Gamma$ परिमित टेप वर्णमाला है
$\delta :Q\times \Gamma \rightarrow {\mathcal {P}}(Q\times \Gamma \times \{L,R\})$ इसे ट्रांज़िशन फ़ंक्शन कहा जाता है जबकि L सिर को बाईं ओर और R सिर को दाईं ओर शिफ्ट करता है,
$q_{0}\in Q$ प्रारंभिक अवस्था है
$g:Q\rightarrow \{\wedge ,\vee ,accept,reject\}$ प्रत्येक स्टेट का प्रकार निर्दिष्ट करता है

यदि M, $g(q)=accept$ के साथ $q\in Q$ स्थिति में है, तो उसे कॉन्फ़िगरेशन को स्वीकार करने वाला कहा जाता है और यदि $g(q)=reject$ है तो कॉन्फ़िगरेशन को अस्वीकार करने वाला कहा जाता है। जबकि $g(q)=\wedge$ के साथ एक कॉन्फ़िगरेशन को स्वीकार करने वाला कहा जाता है कि यदि एक चरण में रीचबल सभी कॉन्फ़िगरेशन स्वीकार रूप में होते है, तो इसे स्वीकार किया जाता है और यदि एक चरण में रीचबल कुछ कॉन्फ़िगरेशन अस्वीकार किया जाता है, तो इसे अस्वीकार किया जाता है। जबकि $g(q)=\vee$ के साथ एक कॉन्फ़िगरेशन को स्वीकार करने वाला कहा जाता है जब एक चरण में रीचबल कुछ कॉन्फ़िगरेशन के रूप में उपस्थित होते है, जिसे स्वीकार या अस्वीकार करना होता है जब एक चरण में रीचबल सभी कॉन्फ़िगरेशन अस्वीकार कर रहे होते हैं, तब यह अंतिम स्थिति को छोड़कर मौलिक NTM में सभी स्टेट का प्रकार होता है। इस प्रकार कहा जाता है कि M एक इनपुट स्ट्रिंग डब्ल्यू को स्वीकार करता है यदि M का प्रारंभिक विन्यास M की स्थिति $q_{0}$ ,है हेड टेप के बाएं छोर पर है और टेप में w स्वीकार कर रहा है और यदि प्रारंभिक कॉन्फ़िगरेशन अस्वीकार कर रहा है तो अस्वीकार के रूप में होता है।

ध्यान दें कि किसी कॉन्फ़िगरेशन के लिए स्वीकार करना और अस्वीकार करना दोनों असंभव है, चूंकि, नॉन- टर्मिनेटीग कम्प्यूटेशन की संभावना के कारण कुछ कॉन्फ़िगरेशन न तो स्वीकार कर सकते हैं और न ही अस्वीकार कर सकते हैं।

संसाधन सीमा

उपरोक्त परिभाषा का उपयोग करते हुए यह तय करते समय कि एटीएम का कॉन्फ़िगरेशन स्वीकार या अस्वीकार रूप में होता है और इस प्रकार वर्तमान कॉन्फ़िगरेशन से रीचबल सभी कॉन्फ़िगरेशन की जांच करना अधिकांशतः आवश्यक नहीं होता है। इस प्रकार विशेष रूप से एक एक्सिस्टेंटीएल कॉन्फ़िगरेशन को स्वीकार करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन स्वीकार करने योग्य पाया जाता है, और एक यूनिवर्सल कॉन्फ़िगरेशन को अस्वीकार करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन अस्वीकार करता हुआ पाया जाता है।

एटीएम समय $t(n)$ रहते फॉर्मल लैंग्वेज तय कर लेता है, यदि, लंबाई के किसी भी इनपुट पर $n$ , तक कॉन्फ़िगरेशन की जांच करता है तब $t(n)$ प्रारंभिक कॉन्फ़िगरेशन को स्वीकार या अस्वीकार के रूप में लेबल करने के लिए पर्याप्त होता है। एक एटीएम क्षेत्र में एक लैंग्वेज $s(n)$ तय करता है, यदि उन कॉन्फ़िगरेशनों की जांच की जा रही है जो टेप सेल को इससे परे संशोधित नहीं करते हैं और इस प्रकार $s(n)$ बायीं ओर से सेल पर्याप्त है.

एक ऐसी लैंग्वेज जो कुछ स्थिरांक $c>0$ के लिए समय $c\cdot t(n)$ में कुछ एटीएम द्वारा तय की जाती है, उसे ${\mathsf {ATIME}}(t(n))$ , क्लास कहा जाता है और क्षेत्र $c\cdot s(n)$ में तय की गई लैंग्वेज को ${\mathsf {ASPACE}}(s(n))$ .कहा जाता है।

उदाहरण

शायद वैकल्पिक मशीनों को हल करने के लिए सबसे स्वाभाविक समस्या मात्रात्मक बूलियन सूत्र समस्या है, जो बूलियन संतुष्टि समस्या का एक सामान्यीकरण है जिसमें प्रत्येक चर को एक्सिस्टेंटीएल या यूनिवर्सल मात्रात्मक द्वारा बाध्य किया जा सकता है। वैकल्पिक मशीन शाखाएँ एक्सिस्टेंटीएल रूप से परिमाणित चर के सभी संभावित मूल्यों को आज़माने के लिए और यूनिवर्सल रूप से यूनिवर्सल रूप से परिमाणित चर के सभी संभावित मूल्यों को बाएँ से दाएँ क्रम में आज़माने के लिए, जिसमें वे बंधे हैं। सभी परिमाणित चरों के लिए एक मान तय करने के बाद, यदि परिणामी बूलियन सूत्र सत्य का मूल्यांकन करता है तो मशीन स्वीकार कर लेती है, और यदि गलत का मूल्यांकन करती है तो अस्वीकार कर देती है। इस प्रकार एक्सिस्टेंटीएल रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या चर के लिए एक मान प्रतिस्थापित किया जा सकता है जो शेष समस्या को संतोषजनक बनाता है, और एक यूनिवर्सल रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या कोई मान प्रतिस्थापित किया जा सकता है और शेष समस्या संतोषजनक है।

ऐसी मशीन समय पर परिमाणित बूलियन सूत्र तय करती है $n^{2}$ और स्थान $n$ .

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

कॉम्प्लेक्सिटी वर्ग और नियतात्मक ट्यूरिंग मशीनों से तुलना

निम्नलिखित कॉम्प्लेक्सिटी वर्ग एटीएम के लिए परिभाषित करने के लिए उपयोगी हैं:

${\mathsf {AP}}=\bigcup _{k>0}{\mathsf {ATIME}}(n^{k})$ क्या लैंग्वेज बहुपद समय में निर्णय लेने योग्य हैं?
${\mathsf {APSPACE}}=\bigcup _{k>0}{\mathsf {ASPACE}}(n^{k})$ बहुपद स्थान में निर्णय लेने योग्य लैंग्वेज हैं
${\mathsf {AEXPTIME}}=\bigcup _{k>0}{\mathsf {ATIME}}(2^{n^{k}})$ क्या लैंग्वेज घातीय समय में निर्णय लेने योग्य हैं

ये एक नियतात्मक ट्यूरिंग मशीन के बजाय एटीएम द्वारा उपयोग किए जाने वाले संसाधनों पर विचार करते हुए, पी (जटिलता), पीएसपीएसीई और एक्सटाइम की परिभाषाओं के समान हैं। चंद्रा, कोज़ेन, और स्टॉकमेयर^[3]प्रमेयों को सिद्ध किया

एलॉगस्पेस = पी
एपी = पीस्पेस
एपस्पेस = एक्सटाइम
एक्सपीटाइम = एक्सस्पेस
${\mathsf {ASPACE}}(f(n))=\bigcup _{c>0}{\mathsf {DTIME}}(2^{cf(n)})={\mathsf {DTIME}}(2^{O(f(n))})$
${\mathsf {ATIME}}(g(n))\subseteq {\mathsf {DSPACE}}(g(n))$
${\mathsf {NSPACE}}(g(n))\subseteq \bigcup _{c>0}{\mathsf {ATIME}}(c\times g(n)^{2}),$

कब $f(n)\geq \log(n)$ और $g(n)\geq \log(n)$ .

इन संबंधों का अधिक सामान्य रूप समानांतर कम्प्यूटेशन थीसिस द्वारा व्यक्त किया गया है।

परिबद्ध प्रत्यावर्तन

परिभाषा

k विकल्पों के साथ एक वैकल्पिक ट्यूरिंग मशीन एक वैकल्पिक ट्यूरिंग मशीन है जो एक्सिस्टेंटीएल से यूनिवर्सल स्थिति में या इसके विपरीत k-1 बार से अधिक स्विच नहीं करती है। (यह एक वैकल्पिक ट्यूरिंग मशीन है जिसके स्टेट k सेट में विभाजित हैं। सम-संख्या वाले सेट में स्टेट यूनिवर्सल हैं और विषम संख्या वाले सेट में स्टेट एक्सिस्टेंटीएल हैं (या इसके विपरीत)। मशीन में सेट i और सेट j <'i में एक स्टेट के बीच कोई ट्रांजिशन नहीं है।)

${\mathsf {ATIME}}(C,j)=\Sigma _{j}{\mathsf {TIME}}(C)$ समय के अनुसार निर्णय लेने योग्य भाषाओं का वर्ग है $f\in C$ एक मशीन द्वारा जो एक्सिस्टेंटीएल अवस्था में शुरू होती है और अधिक से अधिक बदलती रहती है $j-1$ बार. इसे कहा जाता है $j$ वें स्तर का ${\mathsf {TIME}}(C)$ पदानुक्रम।

${\mathsf {coATIME}}(C,j)=\Pi _{j}{\mathsf {TIME}}(C)$ उसी तरह से परिभाषित किया गया है, लेकिन एक यूनिवर्सल स्थिति में शुरू होता है; इसमें भाषाओं के पूरक शामिल हैं ${\mathsf {ATIME}}(f,j)$ .

${\mathsf {ASPACE}}(C,j)=\Sigma _{j}{\mathsf {SPACE}}(C)$ अंतरिक्षबद्ध संकम्प्यूटेशन के लिए इसी प्रकार परिभाषित किया गया है।

उदाहरण

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

ढहती हुई कक्षाएं

ऐसा कहा जाता है कि पदानुक्रम स्तर तक ढह जाता है $j$ यदि प्रत्येक लैंग्वेज स्तर में है $k\geq j$ पदानुक्रम का स्तर अपने स्तर पर है $j$ .

इमरमैन-स्ज़ेलेपेसेनी प्रमेय के परिणाम के रूप में, लॉगरिदमिक क्षेत्र पदानुक्रम अपने पहले स्तर तक ढह जाता है।^[4] एक परिणाम के रूप में ${\mathsf {SPACE}}(f)$ जब पदानुक्रम अपने पहले स्तर तक ढह जाता है $f=\Omega (\log )$ स्थान निर्माण योग्य है^{[citation needed]}.

विशेष मामले

K विकल्पों के साथ बहुपद समय में एक वैकल्पिक ट्यूरिंग मशीन, एक्सिस्टेंटीएल (क्रमशः, सार्वभौमिक) स्थिति में शुरू होकर क्लास की सभी समस्याओं का समाधान कर सकती है $\Sigma _{k}^{p}$ (क्रमश, $\Pi _{k}^{p}$ ).^[5] इन क्लास को कभी-कभी निरूपित किया जाता है $\Sigma _{k}{\rm {P}}$ और $\Pi _{k}{\rm {P}}$ , क्रमश। विवरण के लिए बहुपद पदानुक्रम लेख देखें।

समय पदानुक्रम का एक और विशेष मामला एलएच (जटिलता) है।

संदर्भ

↑ 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.

[chasto-1] 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-2] 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.

[alternation-3] 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.

[4] Immerman, Neil (1988). "गैर-नियतात्मक स्थान पूरकता के तहत बंद है" (PDF). SIAM Journal on Computing. 17 (5): 935–938. CiteSeerX 10.1.1.54.5941. doi:10.1137/0217058.

[5] Kozen, Dexter (2006). संगणना का सिद्धांत. Springer-Verlag. p. 58. ISBN 9781846282973.

[1]

[2]

[3]

[4]

[5]

@@ Line 2: / Line 2: @@
 {{turing}}
 {{more footnotes|date=May 2011}}
-[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल कॉम्प्लेक्सिटी सिद्धांत]] में, '''वैकल्पिक ट्यूरिंग मशीन''' ('''ATM''') एक [[गैर-नियतात्मक ट्यूरिंग मशीन|गैर-डिटर्मनिस्टिक ट्यूरिंग मशीन]] ('''NTM''') के रूप में होता है, जिसमें कम्प्यूटेशन स्वीकार करने का एक नियम होता है, जो  [[जटिलता वर्ग|कॉम्प्लेक्सिटी]] [[क्लास]] [[एनपी (जटिलता)|एनपी]]  और [[सह-एनपी]] की परिभाषा में उपयोग किए जाने वाले नियमों को सामान्य बनाता है। एटीएम की अवधारणा अशोक के. चंद्रा और [[लैरी स्टॉकमेयर]] द्वारा प्रस्तुत की गई थी<ref name=chasto>{{Cite conference|doi=10.1109/SFCS.1976.4|last1=Chandra|first1=Ashok K.|last2=Stockmeyer|first2=Larry J.|title=अदल-बदल|book-title=Proc. 17th IEEE Symp. on Foundations of Computer Science|location=Houston, Texas|year=1976|pages=98–108}}</ref> और स्वतंत्र रूप से [[डेक्सटर कोज़ेन]] द्वारा<ref name=kozen>{{cite conference|doi=10.1109/SFCS.1976.20|last=Kozen|first=D.|title=ट्यूरिंग मशीनों में समानता पर|book-title=Proc. 17th IEEE Symp. on Foundations of Computer Science|location=Houston, Texas|year=1976|pages=89–97|hdl=1813/7056|hdl-access=free}}</ref> 1976 में, 1981 में एक संयुक्त जर्नल प्रकाशन के साथ प्रस्तुत की गई थी।<ref name=alternation>{{Cite journal|doi=10.1145/322234.322243 |last1=Chandra |first1=Ashok K. |last2=Kozen |first2=Dexter C. |last3=Stockmeyer |first3=Larry J. |title=अदल-बदल|url=http://users.cis.fiu.edu/~giri/teach/5420/f01/papers/p114-chandra.pdf |journal=[[Journal of the ACM]] |volume=28 |issue=1 |pages=114–133 |year=1981 |s2cid=238863413 |url-status=dead |archive-url=https://web.archive.org/web/20160412232110/http://users.cis.fiu.edu/~giri/teach/5420/f01/papers/p114-chandra.pdf |archive-date=April 12, 2016 }}</ref>
+[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल कॉम्प्लेक्सिटी सिद्धांत]] में, '''वैकल्पिक ट्यूरिंग मशीन''' ('''ATM''') एक [[गैर-नियतात्मक ट्यूरिंग मशीन|गैर-डिटर्मनिस्टिक ट्यूरिंग मशीन]] ('''NTM''') के रूप में होता है, जिसमें कम्प्यूटेशन स्वीकार करने का एक नियम होता है, जो  [[जटिलता वर्ग|कॉम्प्लेक्सिटी]] [[क्लास]] [[एनपी (जटिलता)|एनपी]]  और [[सह-एनपी]] की परिभाषा  में उपयोग किए जाने वाले नियमों को सामान्य बनाता है। एटीएम की अवधारणा अशोक के. चंद्रा और [[लैरी स्टॉकमेयर]] द्वारा प्रस्तुत की गई थी<ref name=chasto>{{Cite conference|doi=10.1109/SFCS.1976.4|last1=Chandra|first1=Ashok K.|last2=Stockmeyer|first2=Larry J.|title=अदल-बदल|book-title=Proc. 17th IEEE Symp. on Foundations of Computer Science|location=Houston, Texas|year=1976|pages=98–108}}</ref> और स्वतंत्र रूप से [[डेक्सटर कोज़ेन]] द्वारा<ref name=kozen>{{cite conference|doi=10.1109/SFCS.1976.20|last=Kozen|first=D.|title=ट्यूरिंग मशीनों में समानता पर|book-title=Proc. 17th IEEE Symp. on Foundations of Computer Science|location=Houston, Texas|year=1976|pages=89–97|hdl=1813/7056|hdl-access=free}}</ref> 1976 में, 1981 में एक संयुक्त जर्नल प्रकाशन के साथ प्रस्तुत की गई थी।<ref name=alternation>{{Cite journal|doi=10.1145/322234.322243 |last1=Chandra |first1=Ashok K. |last2=Kozen |first2=Dexter C. |last3=Stockmeyer |first3=Larry J. |title=अदल-बदल|url=http://users.cis.fiu.edu/~giri/teach/5420/f01/papers/p114-chandra.pdf |journal=[[Journal of the ACM]] |volume=28 |issue=1 |pages=114–133 |year=1981 |s2cid=238863413 |url-status=dead |archive-url=https://web.archive.org/web/20160412232110/http://users.cis.fiu.edu/~giri/teach/5420/f01/papers/p114-chandra.pdf |archive-date=April 12, 2016 }}</ref>
 == परिभाषाएँ ==
 === इनफॉर्मल विवरण ===
-NP की परिभाषा कम्प्यूटेशन के एक्सिस्टेंटीएल मोड का उपयोग करती है, यदि कोई विकल्प स्वीकार्य स्थिति की ओर ले जाता है, तो पूरी कम्प्यूटेशन स्वीकार हो जाती है और इस प्रकार सह-NP की परिभाषा कम्प्यूटेशन के यूनिवर्सल विधि का उपयोग करती है इस प्रकार केवल जब सभी विकल्प एक स्वीकार्य स्थिति की ओर ले जाते हैं तो पूरी कम्प्यूटेशन स्वीकार होती है। एक वैकल्पिक ट्यूरिंग मशीन अधिक सटीक होने के लिए ऐसी मशीन के लिए स्वीकृति की परिभाषा इन मोडों के बीच वैकल्पिक रूप में होती है।
+NP की परिभाषा  कम्प्यूटेशन के एक्सिस्टेंटीएल मोड का उपयोग करती है, यदि कोई विकल्प स्वीकार्य स्थिति की ओर ले जाता है, तो पूरी कम्प्यूटेशन स्वीकार हो जाती है और इस प्रकार सह-NP की परिभाषा  कम्प्यूटेशन के यूनिवर्सल विधि का उपयोग करती है इस प्रकार केवल जब सभी विकल्प एक स्वीकार्य स्थिति की ओर ले जाते हैं तो पूरी कम्प्यूटेशन स्वीकार होती है। एक वैकल्पिक ट्यूरिंग मशीन अधिक सटीक होने के लिए ऐसी मशीन के लिए स्वीकृति की परिभाषा  इन मोडों के बीच वैकल्पिक रूप में होती है।
 'वैकल्पिक ट्यूरिंग मशीन' एक गैर-नियतात्मक ट्यूरिंग मशीन के रूप में होती है, जिसके स्टेट एक्सिस्टेंटीएल स्टेट 'और 'यूनिवर्सल स्टेट को दो सेटों में विभाजित किया जाता है और यह इस प्रकार एक एक्सिस्टेंटीएल अवस्था स्वीकार करने वाली होती है यदि कोई परिवर्तन स्वीकार करने वाली अवस्था की ओर ले जाता है और यूनिवर्सल स्टेट  स्वीकार करता है, यदि प्रत्येक ट्रांजिशन एक स्वीकार्य स्टेट  की ओर ले जाता है। इस प्रकार बिना किसी परिवर्तन वाला एक यूनिवर्सल स्टेट  बिना किसी शर्त के स्वीकार करता है और यह बिना किसी ट्रांजिशन वाला एक एक्सिस्टेंटीएल स्टेट  बिना किसी शर्त के अस्वीकार करता है। यदि प्रारंभिक स्थिति स्वीकार करती है तो मशीन पूरी तरह से स्वीकार  रूप में होती है।
@@ Line 26: / Line 26: @@
 === संसाधन सीमा ===
-उपरोक्त परिभाषा का उपयोग करते हुए यह तय करते समय कि एटीएम का कॉन्फ़िगरेशन स्वीकार या अस्वीकार कर रहा है, वर्तमान कॉन्फ़िगरेशन से रीचबल  सभी कॉन्फ़िगरेशन की जांच करना हमेशा आवश्यक नहीं होता है। विशेष रूप से, एक अस्तित्वगत कॉन्फ़िगरेशन को स्वीकार करने के रूप में लेबल किया जा सकता है यदि कोई उत्तराधिकारी कॉन्फ़िगरेशन स्वीकार करने योग्य पाया जाता है, और एक यूनिवर्सल कॉन्फ़िगरेशन को अस्वीकार करने के रूप में लेबल किया जा सकता है यदि कोई उत्तराधिकारी कॉन्फ़िगरेशन अस्वीकार करता हुआ पाया जाता है।
+उपरोक्त परिभाषा  का उपयोग करते हुए यह तय करते समय कि एटीएम का कॉन्फ़िगरेशन स्वीकार या अस्वीकार रूप में होता है और इस प्रकार  वर्तमान कॉन्फ़िगरेशन से रीचबल  सभी कॉन्फ़िगरेशन की जांच करना अधिकांशतः आवश्यक नहीं होता है। इस प्रकार विशेष रूप से एक एक्सिस्टेंटीएल कॉन्फ़िगरेशन को स्वीकार करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन स्वीकार करने योग्य पाया जाता है, और एक यूनिवर्सल कॉन्फ़िगरेशन को अस्वीकार करने के रूप में लेबल किया जाता है यदि कोई सक्सेसर कॉन्फ़िगरेशन अस्वीकार करता हुआ पाया जाता है।
-एटीएम समय रहते [[औपचारिक भाषा|फॉर्मल भाषा]] तय कर लेता है <math>t(n)</math> यदि, लंबाई के किसी भी इनपुट पर {{mvar|n}}, तक ही कॉन्फ़िगरेशन की जांच कर रहा है <math>t(n)</math> प्रारंभिक कॉन्फ़िगरेशन को स्वीकार या अस्वीकार के रूप में लेबल करने के लिए चरण पर्याप्त हैं। एक एटीएम अंतरिक्ष में एक भाषा तय करता है <math>s(n)</math> यदि उन कॉन्फ़िगरेशनों की जांच की जा रही है जो टेप कोशिकाओं को इससे परे संशोधित नहीं करते हैं <math>s(n)</math> बायीं ओर से सेल पर्याप्त है.
+एटीएम समय <math>t(n)</math> रहते [[औपचारिक भाषा|फॉर्मल]] लैंग्वेज तय कर लेता है,  यदि, लंबाई के किसी भी इनपुट पर {{mvar|n}}, तक कॉन्फ़िगरेशन की जांच करता है तब <math>t(n)</math> प्रारंभिक कॉन्फ़िगरेशन को स्वीकार या अस्वीकार के रूप में लेबल करने के लिए पर्याप्त होता है। एक एटीएम क्षेत्र में एक लैंग्वेज <math>s(n)</math> तय करता है, यदि उन कॉन्फ़िगरेशनों की जांच की जा रही है जो टेप सेल को इससे परे संशोधित नहीं करते हैं और इस प्रकार <math>s(n)</math> बायीं ओर से सेल पर्याप्त है.
-एक ऐसी भाषा जो समय के साथ कुछ एटीएम द्वारा तय की जाती है <math>c\cdot t(n)</math> कुछ स्थिरांक के लिए <math>c>0</math> कहा जाता है कि वह कक्षा में है <math>\mathsf{ATIME}(t(n))</math>, और अंतरिक्ष में एक भाषा तय की गई <math>c\cdot s(n)</math> कहा जाता है कि वह कक्षा में है <math>\mathsf{ASPACE}(s(n))</math>.
+एक ऐसी लैंग्वेज जो कुछ स्थिरांक  <math>c>0</math> के लिए समय   <math>c\cdot t(n)</math> में कुछ एटीएम द्वारा तय की जाती है, उसे <math>\mathsf{ATIME}(t(n))</math>, क्लास कहा जाता है और क्षेत्र  <math>c\cdot s(n)</math> में तय की गई लैंग्वेज को<math>\mathsf{ASPACE}(s(n))</math>.कहा जाता है।
 == उदाहरण ==
-शायद वैकल्पिक मशीनों को हल करने के लिए सबसे स्वाभाविक समस्या मात्रात्मक बूलियन सूत्र समस्या है, जो [[बूलियन संतुष्टि समस्या]] का एक सामान्यीकरण है जिसमें प्रत्येक चर को अस्तित्वगत या यूनिवर्सल मात्रात्मक द्वारा बाध्य किया जा सकता है। वैकल्पिक मशीन शाखाएँ अस्तित्वगत रूप से परिमाणित चर के सभी संभावित मूल्यों को आज़माने के लिए और यूनिवर्सल रूप से यूनिवर्सल रूप से परिमाणित चर के सभी संभावित मूल्यों को बाएँ से दाएँ क्रम में आज़माने के लिए, जिसमें वे बंधे हैं। सभी परिमाणित चरों के लिए एक मान तय करने के बाद, यदि परिणामी बूलियन सूत्र सत्य का मूल्यांकन करता है तो मशीन स्वीकार कर लेती है, और यदि गलत का मूल्यांकन करती है तो अस्वीकार कर देती है। इस प्रकार अस्तित्वगत रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या चर के लिए एक मान प्रतिस्थापित किया जा सकता है जो शेष समस्या को संतोषजनक बनाता है, और एक यूनिवर्सल रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या कोई मान प्रतिस्थापित किया जा सकता है और शेष समस्या संतोषजनक है।
+शायद वैकल्पिक मशीनों को हल करने के लिए सबसे स्वाभाविक समस्या मात्रात्मक बूलियन सूत्र समस्या है, जो [[बूलियन संतुष्टि समस्या]] का एक सामान्यीकरण है जिसमें प्रत्येक चर को एक्सिस्टेंटीएल या यूनिवर्सल मात्रात्मक द्वारा बाध्य किया जा सकता है। वैकल्पिक मशीन शाखाएँ एक्सिस्टेंटीएल रूप से परिमाणित चर के सभी संभावित मूल्यों को आज़माने के लिए और यूनिवर्सल रूप से यूनिवर्सल रूप से परिमाणित चर के सभी संभावित मूल्यों को बाएँ से दाएँ क्रम में आज़माने के लिए, जिसमें वे बंधे हैं। सभी परिमाणित चरों के लिए एक मान तय करने के बाद, यदि परिणामी बूलियन सूत्र सत्य का मूल्यांकन करता है तो मशीन स्वीकार कर लेती है, और यदि गलत का मूल्यांकन करती है तो अस्वीकार कर देती है। इस प्रकार एक्सिस्टेंटीएल रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या चर के लिए एक मान प्रतिस्थापित किया जा सकता है जो शेष समस्या को संतोषजनक बनाता है, और एक यूनिवर्सल रूप से परिमाणित चर पर मशीन स्वीकार कर रही है कि क्या कोई मान प्रतिस्थापित किया जा सकता है और शेष समस्या संतोषजनक है।
 ऐसी मशीन समय पर परिमाणित बूलियन सूत्र तय करती है <math>n^2</math> और स्थान <math>n</math>.
-बूलियन संतुष्टि समस्या को विशेष मामले के रूप में देखा जा सकता है जहां सभी चर अस्तित्वगत रूप से परिमाणित होते हैं, जो सामान्य गैर-नियतिवाद को अनुमति देता है, जो इसे कुशलतापूर्वक हल करने के लिए केवल अस्तित्वगत शाखा का उपयोग करता है।
+बूलियन संतुष्टि समस्या को विशेष मामले के रूप में देखा जा सकता है जहां सभी चर एक्सिस्टेंटीएल रूप से परिमाणित होते हैं, जो सामान्य गैर-नियतिवाद को अनुमति देता है, जो इसे कुशलतापूर्वक हल करने के लिए केवल एक्सिस्टेंटीएल शाखा का उपयोग करता है।
 ==  [[जटिलता वर्ग|कॉम्प्लेक्सिटी वर्ग]] और नियतात्मक ट्यूरिंग मशीनों से तुलना ==
 निम्नलिखित  कॉम्प्लेक्सिटी वर्ग एटीएम के लिए परिभाषित करने के लिए उपयोगी हैं:
-* <math>\mathsf{AP}=\bigcup_{k>0}\mathsf{ATIME}(n^k)</math> क्या भाषाएँ बहुपद समय में निर्णय लेने योग्य हैं?
+* <math>\mathsf{AP}=\bigcup_{k>0}\mathsf{ATIME}(n^k)</math> क्या लैंग्वेज बहुपद समय में निर्णय लेने योग्य हैं?
-* <math>\mathsf{APSPACE}=\bigcup_{k>0}\mathsf{ASPACE}(n^k)</math> बहुपद स्थान में निर्णय लेने योग्य भाषाएँ हैं
+* <math>\mathsf{APSPACE}=\bigcup_{k>0}\mathsf{ASPACE}(n^k)</math> बहुपद स्थान में निर्णय लेने योग्य लैंग्वेज हैं
-* <math>\mathsf{AEXPTIME}=\bigcup_{k>0}\mathsf{ATIME}(2^{n^k})</math> क्या भाषाएँ घातीय समय में निर्णय लेने योग्य हैं
+* <math>\mathsf{AEXPTIME}=\bigcup_{k>0}\mathsf{ATIME}(2^{n^k})</math> क्या लैंग्वेज घातीय समय में निर्णय लेने योग्य हैं
 ये एक नियतात्मक ट्यूरिंग मशीन के बजाय एटीएम द्वारा उपयोग किए जाने वाले संसाधनों पर विचार करते हुए, [[पी (जटिलता)]], पीएसपीएसीई और [[ एक्सटाइम ]] की परिभाषाओं के समान हैं। चंद्रा, कोज़ेन, और स्टॉकमेयर<ref name=alternation />प्रमेयों को सिद्ध किया
@@ Line 63: / Line 63: @@
 ===परिभाषा===
 {{Unreferenced section|date=October 2013}}
-''k'' विकल्पों के साथ एक वैकल्पिक ट्यूरिंग मशीन एक वैकल्पिक ट्यूरिंग मशीन है जो अस्तित्वगत से यूनिवर्सल स्थिति में या इसके विपरीत ''k''-1 बार से अधिक स्विच नहीं करती है। (यह एक वैकल्पिक ट्यूरिंग मशीन है जिसके स्टेट  ''k'' सेट में विभाजित हैं। सम-संख्या वाले सेट में स्टेट  यूनिवर्सल हैं और विषम संख्या वाले सेट में स्टेट  अस्तित्वगत हैं (या इसके विपरीत)। मशीन में सेट ''i'' और सेट ''j'' <'i'' में एक स्टेट  के बीच कोई ट्रांजिशन नहीं है।)''
+''k'' विकल्पों के साथ एक वैकल्पिक ट्यूरिंग मशीन एक वैकल्पिक ट्यूरिंग मशीन है जो एक्सिस्टेंटीएल से यूनिवर्सल स्थिति में या इसके विपरीत ''k''-1 बार से अधिक स्विच नहीं करती है। (यह एक वैकल्पिक ट्यूरिंग मशीन है जिसके स्टेट  ''k'' सेट में विभाजित हैं। सम-संख्या वाले सेट में स्टेट  यूनिवर्सल हैं और विषम संख्या वाले सेट में स्टेट  एक्सिस्टेंटीएल हैं (या इसके विपरीत)। मशीन में सेट ''i'' और सेट ''j'' <'i'' में एक स्टेट  के बीच कोई ट्रांजिशन नहीं है।)''
-<math>\mathsf{ATIME}(C,j)=\Sigma_j \mathsf{TIME}(C)</math> समय के अनुसार निर्णय लेने योग्य भाषाओं का वर्ग है <math>f\in C</math> एक मशीन द्वारा जो अस्तित्वगत अवस्था में शुरू होती है और अधिक से अधिक बदलती रहती है <math>j-1</math> बार. इसे कहा जाता है {{mvar|j}}वें स्तर का <math>\mathsf{TIME}(C)</math> पदानुक्रम।
+<math>\mathsf{ATIME}(C,j)=\Sigma_j \mathsf{TIME}(C)</math> समय के अनुसार निर्णय लेने योग्य भाषाओं का वर्ग है <math>f\in C</math> एक मशीन द्वारा जो एक्सिस्टेंटीएल अवस्था में शुरू होती है और अधिक से अधिक बदलती रहती है <math>j-1</math> बार. इसे कहा जाता है {{mvar|j}}वें स्तर का <math>\mathsf{TIME}(C)</math> पदानुक्रम।
 <math>\mathsf{coATIME}(C,j)=\Pi_j \mathsf{TIME}(C)</math> उसी तरह से परिभाषित किया गया है, लेकिन एक यूनिवर्सल स्थिति में शुरू होता है; इसमें भाषाओं के पूरक शामिल हैं <math>\mathsf{ATIME}(f,j)</math>.
@@ Line 72: / Line 72: @@
 === उदाहरण ===
-[[सर्किट न्यूनीकरण समस्या]] पर विचार करें: एक सर्किट ए को एक [[बूलियन फ़ंक्शन]] एफ और एक संख्या एन की कम्प्यूटेशन करते हुए, यह निर्धारित करें कि क्या अधिकतम एन गेट्स वाला एक सर्किट है जो समान फ़ंक्शन एफ की कम्प्यूटेशन करता है। एक प्रत्यावर्ती ट्यूरिंग मशीन, एक प्रत्यावर्तन के साथ, एक अस्तित्वगत स्थिति में शुरू करके, इस समस्या को बहुपद समय में हल कर सकती है (अधिकतम n द्वारों के साथ एक सर्किट बी का अनुमान लगाकर, फिर एक यूनिवर्सल स्थिति पर स्विच करके, एक इनपुट का अनुमान लगाकर, और यह जांच कर कि उस इनपुट पर बी का आउटपुट उस इनपुट पर ए के आउटपुट से मेल खाता है)।
+[[सर्किट न्यूनीकरण समस्या]] पर विचार करें: एक सर्किट ए को एक [[बूलियन फ़ंक्शन]] एफ और एक संख्या एन की कम्प्यूटेशन करते हुए, यह निर्धारित करें कि क्या अधिकतम एन गेट्स वाला एक सर्किट है जो समान फ़ंक्शन एफ की कम्प्यूटेशन करता है। एक प्रत्यावर्ती ट्यूरिंग मशीन, एक प्रत्यावर्तन के साथ, एक एक्सिस्टेंटीएल स्थिति में शुरू करके, इस समस्या को बहुपद समय में हल कर सकती है (अधिकतम n द्वारों के साथ एक सर्किट बी का अनुमान लगाकर, फिर एक यूनिवर्सल स्थिति पर स्विच करके, एक इनपुट का अनुमान लगाकर, और यह जांच कर कि उस इनपुट पर बी का आउटपुट उस इनपुट पर ए के आउटपुट से मेल खाता है)।
 === ढहती हुई कक्षाएं ===
-ऐसा कहा जाता है कि पदानुक्रम स्तर तक ढह जाता है {{mvar|j}} यदि प्रत्येक भाषा स्तर में है <math>k\ge j</math> पदानुक्रम का स्तर अपने स्तर पर है {{mvar|j}}.
+ऐसा कहा जाता है कि पदानुक्रम स्तर तक ढह जाता है {{mvar|j}} यदि प्रत्येक लैंग्वेज स्तर में है <math>k\ge j</math> पदानुक्रम का स्तर अपने स्तर पर है {{mvar|j}}.
-इमरमैन-स्ज़ेलेपेसेनी प्रमेय के परिणाम के रूप में, लॉगरिदमिक अंतरिक्ष पदानुक्रम अपने पहले स्तर तक ढह जाता है।<ref>{{Cite journal|first1=Neil|last1=Immerman|url=http://www.cs.umass.edu/~immerman/pub/space.pdf|title=गैर-नियतात्मक स्थान पूरकता के तहत बंद है|journal=[[SIAM Journal on Computing]]|volume=17|issue=5|year=1988|pages=935–938|doi=10.1137/0217058|citeseerx=10.1.1.54.5941}}</ref> एक परिणाम के रूप में <math>\mathsf{SPACE}(f)</math> जब पदानुक्रम अपने पहले स्तर तक ढह जाता है <math>f=\Omega(\log)</math> स्थान निर्माण योग्य है{{Citation needed|date=August 2010}}.
+इमरमैन-स्ज़ेलेपेसेनी प्रमेय के परिणाम के रूप में, लॉगरिदमिक क्षेत्र पदानुक्रम अपने पहले स्तर तक ढह जाता है।<ref>{{Cite journal|first1=Neil|last1=Immerman|url=http://www.cs.umass.edu/~immerman/pub/space.pdf|title=गैर-नियतात्मक स्थान पूरकता के तहत बंद है|journal=[[SIAM Journal on Computing]]|volume=17|issue=5|year=1988|pages=935–938|doi=10.1137/0217058|citeseerx=10.1.1.54.5941}}</ref> एक परिणाम के रूप में <math>\mathsf{SPACE}(f)</math> जब पदानुक्रम अपने पहले स्तर तक ढह जाता है <math>f=\Omega(\log)</math> स्थान निर्माण योग्य है{{Citation needed|date=August 2010}}.
 ===विशेष मामले===
-K विकल्पों के साथ बहुपद समय में एक वैकल्पिक ट्यूरिंग मशीन, अस्तित्वगत (क्रमशः, सार्वभौमिक) स्थिति में शुरू होकर कक्षा की सभी समस्याओं का समाधान कर सकती है <math>\Sigma_k^p</math> (क्रमश, <math>\Pi_k^p</math>).<ref>{{cite book|last=Kozen|first=Dexter|author-link=Dexter Kozen|title=संगणना का सिद्धांत|url=https://archive.org/details/theorycomputatio00koze|url-access=limited|publisher=[[Springer-Verlag]]|year=2006|page=[https://archive.org/details/theorycomputatio00koze/page/n67 58]|isbn=9781846282973}}</ref>
+K विकल्पों के साथ बहुपद समय में एक वैकल्पिक ट्यूरिंग मशीन, एक्सिस्टेंटीएल (क्रमशः, सार्वभौमिक) स्थिति में शुरू होकर क्लास की सभी समस्याओं का समाधान कर सकती है <math>\Sigma_k^p</math> (क्रमश, <math>\Pi_k^p</math>).<ref>{{cite book|last=Kozen|first=Dexter|author-link=Dexter Kozen|title=संगणना का सिद्धांत|url=https://archive.org/details/theorycomputatio00koze|url-access=limited|publisher=[[Springer-Verlag]]|year=2006|page=[https://archive.org/details/theorycomputatio00koze/page/n67 58]|isbn=9781846282973}}</ref>
 इन क्लास  को कभी-कभी निरूपित किया जाता है <math>\Sigma_k\rm{P}</math> और <math>\Pi_k\rm{P}</math>, क्रमश।
 विवरण के लिए [[बहुपद पदानुक्रम]] लेख देखें।

Anonymous

Search

वैकल्पिक ट्यूरिंग मशीन: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:09, 6 August 2023

Contents

परिभाषाएँ

इनफॉर्मल विवरण

फॉर्मल परिभाषा

संसाधन सीमा

उदाहरण

कॉम्प्लेक्सिटी वर्ग और नियतात्मक ट्यूरिंग मशीनों से तुलना

परिबद्ध प्रत्यावर्तन

परिभाषा

उदाहरण

ढहती हुई कक्षाएं

विशेष मामले

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

वैकल्पिक ट्यूरिंग मशीन: Difference between revisions

Revision as of 17:09, 6 August 2023

परिभाषाएँ

इनफॉर्मल विवरण

फॉर्मल परिभाषा

संसाधन सीमा

उदाहरण

कॉम्प्लेक्सिटी वर्ग और नियतात्मक ट्यूरिंग मशीनों से तुलना

परिबद्ध प्रत्यावर्तन

परिभाषा

उदाहरण

ढहती हुई कक्षाएं

विशेष मामले

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories