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

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

इनफॉर्मल विवरण
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})$$ क्या लैंग्वेज घातीय समय में निर्णय लेने योग्य हैं

ये एक डिटरर्मिनिस्टिक ट्यूरिंग मशीन के अतिरिक्त एटीएम द्वारा उपयोग किए जाने वाले संसाधनों पर विचार करते हुए P, PSPACE और EXPTIME की परिभाषाओं के समान हैं। चंद्रा, कोज़ेन और स्टॉकमेयर प्रमेयों को सिद्ध किया हैं,


 * ALOGSPACE = P
 * AP = PSPACE
 * APSPACE = EXPTIME
 * AEXPTIME = EXPSPACE

जहाँ $$f(n)\ge\log(n)$$ और $$g(n)\ge\log(n)$$.
 * $$\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),$$

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

परिभाषा
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\ge j$$ पदानुक्रम का स्तर अपने स्तर पर है $j$.

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

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

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

अग्रिम पठन

 * Section 10.3: Alternation, pp. 380–386.
 * Section 16.2: Alternation, pp. 399–401.