cc.complexity-theory पर टैग किए गए जवाब

अरोड़ा-बराक पुस्तक में, समय रचनात्मक कार्यों की परिभाषा में, यह कहा जाता है कि ऐसे कार्यों का उपयोग करना जो समय रचनात्मक नहीं हैं, "अनैतिक परिणाम" पैदा कर सकते हैं। क्या किसी के पास इस तरह के "विसंगतिपूर्ण परिणाम" का उदाहरण है? मैंने विशेष रूप से सुना है कि ऐसे …

10 cc.complexity-theory 

अद्यतन: ऐसा लगता है कि इस समस्या का अध्ययन और हाल ही में हल किया गया है, इस विकी लेख को देखें: http://en.wikipedia.org/wiki/Tree_walking_automaton और यह सर्वेक्षण भी: http://www.mimuw.edu.pl/~~V /papers/twasurvey.pdf मान लीजिए कि शब्दों के सामान्य सेट के बजाय, {0,1} *, हमारे शब्द रैखिक नहीं हैं, बल्कि कुछ पेड़ की संरचना …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

समस्या का विवरण : चलो एक (संभावित गैर नियतात्मक) पुशडाउन automaton हो सकता है और जाने होना अपने इनपुट वर्णमाला। क्या कोई शब्द st कि द्वारा स्वीकार किया जाता है ?MMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM क्या यह समस्या एनपी-पूर्ण है? क्या इसका अध्ययन किया गया है? क्या कोई …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

कई समस्याओं के लिए, सबसे अच्छा स्पर्शोन्मुख जटिलता के साथ एल्गोरिथ्म में एक बहुत बड़ा स्थिर कारक है जो बड़े ओ नोटेशन द्वारा छिपा हुआ है। यह कुछ बनाने के लिए मैट्रिक्स गुणन, पूर्णांक गुणन (विशेष रूप से, हाल ही में ओ (n लॉग एन) पूर्णांक गुणन एल्गोरिथ्म हार्वे और …

9 cc.complexity-theory  ds.algorithms  time-complexity 

TCS में एक प्रकार के परिणाम होते हैं जिन्हें आमतौर पर बूटस्ट्रैपिंग परिणाम कहा जाता है । सामान्य तौर पर, यह प्रपत्र का है यदि प्रस्ताव धारण करता है, तो प्रस्ताव धारण करता है।एAAए'A′A' जहाँ और ऐसे प्रस्ताव हैं जो समान दिखते हैं, और प्रतीत होता है "कमजोर" तब , …

9 cc.complexity-theory 

Gödel की पहली अपूर्णता प्रमेय का कमजोर रूप, प्रत्यक्ष प्रमाण जिसमें Gödel के तरीके लम्बे, शामिल हैं और किसी जगह पर प्रति-सहज, हॉल्टिंग समस्या की अनिर्वायता के आधार पर एक सरल और सहज प्रमाण है - उदाहरण के लिए देखें https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof किसने पहली बार इस प्रमाण को प्रस्तावित …

9 cc.complexity-theory  lo.logic  halting-problem 

संभाव्य रूप से जाँच योग्य साक्ष्यों के आकार पर सबसे अधिक ज्ञात असममित ऊपरी सीमाएं क्या हैं? आदर्श रूप से, मैं इस व्यापक प्रश्न पर एक समकालीन सर्वेक्षण की तलाश कर रहा हूं, लेकिन अगर कोई नहीं है, तो मुझे विशेष रूप से 3-SAT की अनुचितता में दिलचस्पी है। 7/8 …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

बोर्ड गेम खेलने में तंत्रिका नेटवर्क की नई और नई सफलताओं के बाद, एक को लगता है कि हमने जो अगला लक्ष्य निर्धारित किया है, वह स्टारक्राफ्ट में मनुष्यों की धड़कन की तुलना में कुछ अधिक उपयोगी हो सकता है। अधिक सटीक, मुझे आश्चर्य है कि क्या क्या तंत्रिका एल्गोरिदम …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

क्वैसी-बहुपद समय, या संक्षेप में क्यूपी, नियतात्मक ट्यूरिंग मशीन पर एक जटिलता वर्ग है। यहाँ सटीक परिभाषा है: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q##p जबकि ondP सीमित नोंदेर्तिवाद का एक जटिलता वर्ग है। यहाँ सटीक परिभाषा है: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#loap यह देखना आसान है कि easyP की किसी भी मशीन को QP की मशीन द्वारा अनुकरण किया …

9 cc.complexity-theory  complexity-classes 

एक निश्चित भाषा के लिए एलLL कुछ वर्णमाला पर एAAआइए हम निम्नलिखित समस्या पर विचार करें, जिसे मैं कहता हूं एलLL-विश्लेषण : इनपुट: दो शब्द यू , वी ∈ए*u,v∈A∗u, v \in A^* आउटपुट: क्या कोई इंटरलेविंग मौजूद हैयूuu तथा vvv जो की अंदर है एलLL। यहां, दो शब्दों की एक …

9 cc.complexity-theory  reference-request  regular-language 

क्या कोई ज्ञात संगणक पारगमन संख्या ऐसी है कि इसकी nnnवें अंक बहुपद समय में गणना योग्य है, लेकिन अंदर नहीं O(n)O(n)O(n)?

9 cc.complexity-theory  comp-number-theory 

रज़ोरोव की सन्निकटन की विधि क्या है? क्या कोई इसके पीछे एक उच्च-स्तरीय अवलोकन और अंतर्ज्ञान दे सकता है?

9 cc.complexity-theory  circuit-complexity 

Let आकार का एक वर्णमाला है , और न्यूनतम DFAs पर विचार करें, जिसका आकार सबसे अधिक से घिरा है । चलो ऐसे विभिन्न न्यूनतम डीएफए की संख्या को दर्शाता है।ΣΣ\Sigma222mmmf(m)f(m)f(m) क्या हम लिए एक बंद-फॉर्मूला फॉर्मूला खोज सकते हैं ?f(m)f(m)f(m) यह ध्यान में रखते हुए के आकार का DFA …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

यह नियतात्मक संगणना की nondeterministic गति-अप तक का अनुसरण है । क्या यह प्रशंसनीय है कि nondeterminism (या अधिक आम तौर पर प्रत्यावर्तन) एक सामान्य द्विघात गति को नियतात्मक संगणना की अनुमति देगा? या क्या जैसे कुछ के लिए कोई ज्ञात परिणाम हैं ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

मानक समस्या 1-इन -3 सैट (या एक्ससैट या एक्स 3 एसएटी ) है: उदाहरण : प्रत्येक 3 खंडों वाले प्रत्येक खंड के साथ एक सीएनएफ फॉर्मूला प्रश्न : क्या एक संतोषजनक असाइनमेंट सेटिंग प्रति 1 खंड प्रति सत्य सही है? समस्या एनपी-पूर्ण है और कोई भी चर नहीं होने पर …

9 cc.complexity-theory  np-hardness  sat