एकात्मक भाषाओं के लिए जटिलता चिड़ियाघर

Question

बेशक, कुछ जटिलताएं एकात्मक भाषाओं के लिए ढह सकती हैं, लेकिन मुझे आश्चर्य है कि अगर इस मामले में ज्ञात परिणामों का सारांश देने वाला एक सर्वेक्षण है: एकतरफा भाषाओं के लिए एक प्रकार का जटिलता चिड़ियाघर। क्या आप ऐसे संदर्भ के बारे में जानते हैं?

Comments

बेशक, यह अज्ञात है कि क्या एनपी-पूर्ण एकात्मक भाषा मौजूद है। इसे और देखें: en.wikipedia.org/wiki/…

— रयान

बिल्कुल नहीं, जो आप ढूंढ रहे हैं, लेकिन यहां कुछ भाषाओं के साथ मिनी जू है जो एकतरफा भाषाओं को पुनर्परिभाषित करती है। arxiv.org/abs/1212.3282

— Niall Murphy

Answer 1

अभी तक कोई चिड़ियाघर-शैली का संदर्भ नहीं है, लेकिन Giovanni Pighizzini का हाल ही में ऑटोमेटा-थ्योरिटिक सर्वेक्षण मेरे लिए उपयोगी रहा है, खासकर उनकी बात से स्लाइड ।

• Giovanni Pighizzini, एक स्वचालित वर्णमाला , CIAA 2014 पर ऑटोमेटा और भाषाओं पर जांच । doi: 10.1007 / 978-319-08846-4_3

Answer 2

एक गैर-वर्णमाला से अधिक जटिलता वर्गों के बारे में एक दिलचस्प सवाल जो उपरोक्त संदर्भों में नहीं है, है वैलेंट्स वर्ग #P ₁ की ताकत , एक संयुक्त वर्णमाला पर समस्याओं की गिनती करने का वर्ग (देखें http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 )। इसकी शक्ति के बारे में बहुत कुछ ज्ञात नहीं है, हालांकि इसमें प्राकृतिक पूर्ण समस्याएं हैं और एकात्मक भाषाओं की तरह, बहुपद-आकार के सर्किट हैं।