में कौन सी गैर-नियमित भाषाएं हैं

उदाहरण के लिए, मुझे पता है कि गैर नियमित रूप से भाषा में है । मैं इस तरह के और उदाहरण जानना चाहूंगा। $a^nb^n$ $AC^0$

complexity-theory regular-languages circuits

पलिंड्रोम्स ( )

{w w^{R}}

$\{w w^R\}$

— वोर

क्या है ?

A C^{0}

$AC^0$

— वॉनब्रांड

@vonbrand, निरंतर गहराई वाले सर्किटों का वर्ग है और / या बिना पंखे वाले के द्वार। यही है, एक सर्किट में प्रत्येक गेट या तो एक "और" या "या" गेट है, और आने वाले आदानों की एक असीमित संख्या की अनुमति देता है।

A C^{0}

$AC^0$

— निकोलस मंचुशो

में भाषाएँ अनुभवहीन अंतर्ज्ञान से अधिक जटिल हो सकती हैं। $AC^0$

जाहिर है, में , जो गैर-संदर्भ-मुक्त है। $AC^0$ $\{a^n b^n c^n\}$
हर भाषा गैर-वर्दी ; उदाहरण के लिए, पड़ाव की समस्या एकात्मकता में व्यक्त की गई। $AC^0$
इसके अलावा में लागू किया जा सकता एक कैरी-अग्रदर्शी योजक के साथ। यहां इनपुट दो संख्याओं का प्रतिनिधित्व करने वाले बिट्स हैं, और आउटपुट में तार हैं (समकक्ष, प्रत्येक आउटपुट बिट को में महसूस किया जा सकता ) $AC^0$ $2n$ $n+1$ $AC^0$
मल्टीप्लेक्सिंग: में है । $\{w x: |w|=2^n, |x|=n, w[x] = 1\}$ $AC^0$

एक मल्टीप्लेक्स चर पर एक फ़ंक्शन है जो चर में से एक के मूल्य को आउटपुट करता है , जहां सूचकांक चर द्वारा निर्धारित किया जाता है। (यदि इंडेक्स एकात्मक में लिखा है तो वही धारण करता है।) $2^n+n$ $2^n$ $n$
3SAT फॉर्मूले की गणना । $AC^0$

इनपुट में वेरिएबल्स होते हैं , इसके बाद कुछ क्लॉस होते हैं, प्रत्येक में तीन शाब्दिक होते हैं, जहाँ प्रत्येक शाब्दिक रूप चर (इंडरी या बाइनरी, कोई फर्क नहीं पड़ता) का एक सूचकांक होता है और संभावित नकार का संकेत देता है। आप मल्टीप्लेक्सर्स के साथ शाब्दिक मूल्यांकन कर सकते हैं और फिर ओआरएस की एक परत और फिर एक बड़ा और शीर्ष पर जोड़ सकते हैं। $n$
बहुमत शामिल नहीं है, लेकिन यह लगभग बहुमत शामिल हैं: एक समारोह है कि बहुमत के बराबर है, तो उत्पादन होता है $AC^0$ शून्य या वाले। अजताई द्वारा "यूनिफ़ॉर्म कॉन्स्टेंट-डेप्थ सर्किट्स के साथ अनुमानित गणना" देखें। $\geq \frac{1}{2}+ \varepsilon$

, तार्किक संचालन, संयोजन और संरचना के तहत बंद कर दिया है ताकि आप ऊपर दिए गए उदाहरणों को जोड़ सकते हैं। अब आपको और अन्य सर्किट लोअर लिए कुछ सम्मान महसूस करना चाहिए! $AC^0$ $Parity \notin AC^0$

— sdcvvc
स्रोत

क्या आपके पास इसके कुछ संदर्भ हैं? खासतौर पर वह गैरमौजूदगी की समस्या

। के बाद से

, मैं इस नहीं मिलता है (यह देर हो चुकी है मैं कहाँ हूँ, कि मेरी बहाना हो सकता है)।

A C^{0}

$AC^0$

A C^{0} \subseteq A C = N C \subseteq P

$AC^0 \subseteq AC = NC \subseteq P$

— पेल जीडी

यह nonuniform

(

) है, जहां सर्किट इनपुट लंबाई के साथ मनमाने ढंग से भिन्न हो सकते हैं।

A C^{0}

$AC^0$

P / p o l y

$P/poly$

— sdcvvc

@ PålGD, यह अरोड़ा और बराक पाठ में रखी गई है।

— निकोलस मंचुसो

क्या आपके पास एक सबूत के लिए संदर्भ है कि मल्टीप्लेक्सिंग AC0 में है?

— एलेक्स ग्रिलो

@ एलेक्स ग्रिलो, दुर्भाग्य से नहीं; मुझे लगता है कि यह लोककथा है। बस करना

।

⋁_{i = 0}^{2^{n} - 1} (x = i \land w [i] = 1)

$\bigvee_{i=0}^{2^n-1} (x=i \wedge w[i]=1)$

— sdcvvc