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

एक प्लैनर ग्राफ एक ग्राफ होता है जिसे क्रॉसिंग किनारों के बिना, विमान में एम्बेड किया जा सकता है। चलो एक हो -uniform-hypergraph, यानी एक hypergraph इस तरह के आकार कश्मीर कि अपने सभी hyperedges है।जी = ( एक्स), ई)जी=(एक्स,इ)G=(X,E)ककk हुई है कुछ काम विमान में hypergraphs embedding (क्लस्टरिंग के …

12 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

मेरे पास एक प्रमाण प्रयास का हिस्सा है ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}। प्रमाण के प्रयास में कर की कमी होती है⊕P⊕P\oplus \mathbf{P}- अपूर्ण समस्या ⊕⊕\oplus3-REGULAR VERTEX COVER to SAT। एक घन ग्राफ दिया GGGकमी CNF सूत्र का उत्पादन करती है FFF दोनों निम्नलिखित गुण हैं: FFF सबसे ज्यादा है 111 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

क्वांटम कंप्यूटिंग में प्रगति से नए शास्त्रीय एल्गोरिदम का विकास हुआ है। उल्लेखनीय हाल के उदाहरण रेखीय बीजगणित के लिए क्वांटम से प्रेरित एल्गोरिदम हैं: सिफारिश प्रणालियों के लिए एक क्वांटम-प्रेरित शास्त्रीय एल्गोरिथ्म प्रमुख घटक विश्लेषण और पर्यवेक्षित क्लस्टरिंग के लिए क्वांटम-प्रेरित शास्त्रीय एल्गोरिदम आयाम पर लॉगरिदमिक निर्भरता के साथ …

11 quantum-computing  randomized-algorithms 

मैंने सरल लैम्ब्डा कैलकुलस के लिए वंशानुगत प्रतिस्थापन के बारे में पढ़ा है और विभिन्न नियमों और प्रकारों के साथ तार्किक फ्रेमवर्क के लिए । मैं सोच रहा हूं, क्या ब्रह्मांड के पदानुक्रम के साथ एक भरोसेमंद रूप से टाइप किए गए सिस्टम में वंशानुगत प्रतिस्थापन के कोई उदाहरण हैं? …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

अंतरिक्ष-पदानुक्रम प्रमेय से यह ज्ञात होता है कि यदि अंतरिक्ष-निर्माण योग्य है तो DSPACE ( ) DSPACE ( बराबर नहीं है ।fff2 f ( n ) f ( n ) )2f(n)2f(n)2f(n)f(n))f(n))f(n)) यहाँ, DSPACE ( मेरा तात्पर्य उन सभी समस्याओं के वर्ग से है जिन्हें कुछ निश्चित वर्णमाला के साथ ट्यूरिंग …

11 cc.complexity-theory  complexity-classes 

"नाम सबसे बड़ी संख्या का खेल" दो खिलाड़ियों को गुप्त रूप से एक संख्या लिखने के लिए कहता है, और विजेता वह व्यक्ति होता है जिसने बड़ी संख्या लिखी होती है। खेल आमतौर पर खिलाड़ियों को एक बिंदु पर मूल्यांकन किए गए कार्यों को लिखने की अनुमति देता है, इसलिए …

11 computability  undecidability 

एक परिमित वर्णमाला पर शब्दों का एक सेट उपसर्ग-मुक्त है अगर कोई दो अलग-अलग शब्द नहीं हैं जहां एक दूसरे का उपसर्ग है। प्रश्न है: यह जाँचने की जटिलता क्या है कि एनएफए के रूप में दी जाने वाली एक नियमित भाषा में एक अनंत उपसर्ग-रहित उपसमुच्चय है? उत्तर (मिखाइल …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

सामान्य प्रश्न क्या अंतरिक्ष पदानुक्रम प्रमेय गैर-गणन अभिकलन को सामान्य करता है? यहाँ कुछ और विशिष्ट प्रश्न दिए गए हैं: है ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly सभी स्थान के लिए रचनात्मक कार्य f(n)f(n)f(n) , क्या DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? किस फ़ंक्शन के लिए h(n)h(n)h(n) यह ज्ञात है कि: सभी अंतरिक्ष के लिए …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

सामान्य रूप से यह तय करने में कि क्या एक डायोफैंटीन समीकरण में कोई पूर्णांक समाधान है, हॉल्टिंग समस्या के बराबर है। मेरा मानना ​​है कि अगर द्विघात डायोफैंटाइन समीकरण का कोई हल है, तो यह तय करना एनपी-पूर्ण है। क्या पी-पूर्ण समस्या उत्पन्न करने वाले समीकरणों पर एक और …

11 cc.complexity-theory  linear-algebra  polynomials 

सिंटैक्स में बाध्य चर का प्रतिनिधित्व करने की समस्या, और विशेष रूप से जो कैप्चर-अवॉइड प्रतिस्थापन से संबंधित है, अच्छी तरह से ज्ञात है और इसके कई समाधान हैं: अल्फा-समतुल्यता, डी ब्रुइजन सूचकांकों के साथ नामांकित चर, स्थानीय रूप से नामहीनता, नाममात्र सेट आदि। लेकिन एक और स्पष्ट दृष्टिकोण प्रतीत …

11 lo.logic  pl.programming-languages  lambda-calculus 

मुझे क्लासिक समस्या REGANGAR LANGUAGE INCLUSION में दिलचस्पी है। एक नियमित अभिव्यक्ति को देखते हुए , हम एल ( ई ) से जुड़ी नियमित भाषा से निरूपित करते हैं। (रेगुलर एक्सप्रेशन एक निश्चित वर्णमाला पर हैं Σ संचालन संघ, क्लीन-स्टार और संयोजन के साथ,।)इEEएल ( ई)L(E)L(E)ΣΣ\Sigma इनपुट: दो नियमित अभिव्यक्ति …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

मोनाडिक फर्स्ट ऑर्डर लॉजिक, जिसे मोनाडिक क्लास ऑफ़ द डिसिजन प्रॉब्लम के रूप में भी जाना जाता है, जहां सभी विधेय एक तर्क लेते हैं। यह एकरमैन द्वारा निर्णायक होने के लिए दिखाया गया था, और NEXPTIME- पूर्ण है । हालांकि, सैट और एसएमटी जैसी समस्याओं को सैद्धांतिक सीमा के …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

मेरे पास बाइनरी वैक्टर S = { s 1 , … , s n } ⊆ { 0 , 1 } k and { 1 k } और एक लक्ष्य वेक्टर t = 1 k है, जो सर्व-सदिश वेक्टर है।nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = …

11 reference-request  linear-algebra  finite-fields 

मुझे पता है कि कंस्ट्रक्शंस ऑफ़ कंस्ट्रक्शंस दृढ़ता से सामान्य हो रहा है, जिसका अर्थ है कि प्रत्येक अभिव्यक्ति के लिए एक सामान्य है जो बीटा, एटा-घटाया नहीं जा सकता है। तो वास्तव में यह सबसे कुशल अभिव्यक्ति है जो मूल अभिव्यक्ति के समान मूल्य की गणना करता है। लेकिन …

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

चलो किसी भी परिमित संरचना हो। अपने पहले के आदेश सिद्धांत है टी : = टी एच ( ए ) एक है कि वहाँ अर्थ में घिरे परिमाणक रैंक, क्ष ∈ एन ऐसा है कि सभी के लिए φ ∈ टी के साथ क्यू आर ( φ ) > क्ष …

11 co.combinatorics  lo.logic  relational-structures