की मशीन लक्षण वर्णन

, परिवार सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि के लिए पूरक और के तहत बंद कर दिया है नहीं है। इसके अलावा, और इसलिएLogCFL केबाद से एक मशीन लक्षणवर्णन है $SAC^i$ $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ स्पेस बाउंड और पॉलीनोमियल टाइम बाउंड असिस्टेंट पीडीए द्वारा स्वीकृत भाषाओं का सेट है । क्या लिए समान मशीन लक्षण हैं ? $O({\log}n)$ $SAC^i$ $i \geq 2$

— शिव किंठली
स्रोत

क्या

और

मतलब एक ही है?

k

$k$

i

$i$

— आंद्र सलाम

हाँ। टाइपो के लिए क्षमा करें। अब निश्चित कर दिया।

— शिव किंतली

हाँ। स्टैक हाइट्स। , अर्थात, अंतरिक्ष और स्टैक ऊंचाई के साथ; इसका मतलब है कॉन्फ़िगरेशन और इसलिए बिट्स। हमारे पास है $\mathsf{SAC^1} = \mathsf{NAuxPDA}(\log n, \log n)$ $O(\log n)$ $O(\log n)$ $\log n$ $\log^2(n)$

S A C^{k} = N A u x P D A (\log n, \log^{k} n);

$\mathsf{SAC^k} = \mathsf{NAuxPDA}(\log n, \log^k n);$

ये मशीनें समय में चलेंगी । स्टैक ऊंचाई पर प्रतिबंध के बिना, हम बिल्कुल प्राप्त करेंगे । परिणाम निम्नानुसार होना चाहिए: डब्ल्यू। रुज़ो, ट्री-साइज़ बाउंड अल्टरनेशन। JCSS 1980। $2^{\log^{k}(n)}$ $\mathsf{P}$

— वी विनय
स्रोत

विनय, आप उत्तर में नियमित लेटेक्स का उपयोग कर सकते हैं: यह इसे थोड़ा और अधिक पठनीय बनाने में मदद कर सकता है

— सुरेश वेंकट