सैद्धांतिक कंप्यूटर विज्ञान

मैं एनपी-हार्ड अनुकूलन समस्याओं की सूची की तलाश कर रहा हूं, जहां उन्हें हल करने के लिए व्यावहारिक अनुमान में सक्रिय अनुसंधान होता है और आम बेंचमार्क होते हैं, जिन्हें लोग पीटने की कोशिश करते हैं। उदाहरणों में शामिल हैं: Phylogenetic ट्री पुनर्निर्माण ( यहाँ उदाहरण के लिए अनुमानी ) …

9 heuristics 

क्या कोई ढांचा / औपचारिकता है जो एडलमैन के डीएनए मॉडल या चेरी और कियान के काम के अलावा अन्य प्रोटीन पर आधारित कम्प्यूटेशनल मॉडल को परिभाषित करता है ?

9 reference-request  machine-models 

क्वैसी-बहुपद समय, या संक्षेप में क्यूपी, नियतात्मक ट्यूरिंग मशीन पर एक जटिलता वर्ग है। यहाँ सटीक परिभाषा है: 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 

एक पूर्ण DFA को देखते हुए , हम प्रत्येक लिए और साथ , कार्यों के संग्रह को परिभाषित कर सकते हैं । हम इस धारणा को शब्द और जहां फ़ंक्शन रचना को दर्शाता है। इसके अलावा हम निरूपित और monoid है।A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots …

9 automata-theory  regular-language  monoid 

चलो एक जटिलता वर्ग और हो के बेतरतीब समकक्ष हो के रूप में एक ही तरीके से परिभाषित के संबंध में परिभाषित किया गया है । अधिक औपचारिक रूप से हम बहुपद को कई यादृच्छिक बिट्स प्रदान करते हैं और हम एक इनपुट स्वीकार करते हैं यदि स्वीकार करने की …

9 circuit-complexity  randomized-algorithms  derandomization 

चलो ΣΣ\Sigmaएक बारीक अक्षर हो। एक कोड XXX ऊपर ΣΣ\Sigma का सबसेट है Σ*Σ∗\Sigma^* ऐसे कि प्रत्येक शब्द में एक्स*X∗X^* में शब्दों के संयोजन के रूप में विशिष्ट रूप से प्रतिनिधित्व किया जा सकता है एक्सXX। एक संकेतवालीएक्सXXहै परिमित अगर| एक्स||X||X|परिमित है। (न्यूनतम) ऑटोमेटा पहचान के बारे में क्या ज्ञात …

9 automata-theory 

मेरा प्रश्न "ज्यामितीय जटिलता सिद्धांत V" में प्रमेय 4.1 और 4.2 के बारे में है । पहले प्रमेय एक मौजूद है EXPSPACE के लिए hsop के निर्माण के लिए एल्गोरिथ्मΔ[det,m]Δ[det,m]\Delta[\text{det},m] (कागज में परिभाषाएँ देखें) CC\mathbb{C} (वास्तव में विशेषता शून्य के एक मनमाना बीजगणितीय बंद क्षेत्र पर)। दूसरी एक ही समस्या …

9 gct 

एक समूह के लिए मजबूत जनरेटर दिए (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) लंबाई के बिटस्ट्रिंग्स पर अभिनय nnn और एक तत्व s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, कितना मुश्किल यह है कि lexicographically न्यूनतम तत्व की गणना करना G.sG.sG.sकी कक्षा sss में GGG?

9 permutations  gr.group-theory  complexity 

मैं थोड़ी देर के लिए ट्यूरिंग मशीनों के बारे में जानने के लिए उत्सुक हूं, जिसमें ठीक एक टेप और ठीक 3 स्टेट्स (यानी स्टार्ट स्टेट , स्टेट , और स्टेट )। ध्यान दें कि मैं मनमाने ढंग से (परिमित) टेप वर्णमाला की अनुमति देता हूं (यानी, टेप वर्णमाला इनपुट …

9 automata-theory  turing-machines  cellular-automata 

हमें एक समस्या है और हमें एक एल्गोरिथ्म मिला है जो 2-नेक्सपाइम प्रतीत होता है। मैं एक कम बाउंड ढूंढने के लिए ज्ञात 2-नेक्स्टाइम-पूर्ण समस्याओं को ढूंढना चाहूंगा। मुझे साहित्य में मुख्य रूप से ऐसी दो समस्याएं मिलीं: क्या PCP से कम आकार के समाधान के रूप में है22n22n2^{2^n} और …

9 complexity-classes  time-complexity  complexity 

मुझे विज्ञान में प्रकाशित एक लेख "बहुपद संसाधनों और सामूहिक राज्यों का उपयोग करते हुए बहुपद समय में एनपी-पूर्ण समस्याओं को याद करते हुए" आया , जो कुछ आश्चर्यजनक दावे करता है। Memcomputing संगणना का एक उपन्यास नॉन-ट्यूरिंग प्रतिमान है जो एक ही भौतिक प्लेटफ़ॉर्म पर जानकारी संग्रहीत करने और …

9 np-complete  open-problem 

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

9 cc.complexity-theory  automata-theory  nondeterminism  dfa