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

एक समस्या और कारण को कैसे देखता है कि यह एनपी-पूर्ण के विपरीत एनपी-इंटरमीडिएट की संभावना है? किसी समस्या को देखने के लिए अक्सर यह बहुत आसान है और यह बताएं कि क्या यह पूरी तरह से एनपी-पूर्ण है या नहीं, लेकिन मुझे यह बताने के लिए बहुत मुश्किल प्रतीत …

11 cc.complexity-theory  complexity-classes  np-intermediate 

# P- पूर्ण समस्याओं में चरण संक्रमण के बारे में क्या ज्ञात है? विशेष रूप से, क्या # DNF-k-SAT और # CNF-k-SAT के लिए एक अलग चरण संक्रमण मौजूद है? अद्यतन: जैसा कि हम जानते हैं, रैंडम के-सैट में एक चरण संक्रमण होता है जहां समस्या को हल करना मुश्किल …

11 cc.complexity-theory  counting-complexity  phase-transition 

मैं एक अंतरिक्ष-कुशल डेटा संरचना की तलाश कर रहा हूं जो शब्दों के तत्वों का सेट (कोई पुनरावृत्ति) रखता है और तेजी से सम्मिलन (amortized O (1)) का समर्थन करता है। "अंतरिक्ष-कुशल" से मेरा मतलब है, आदर्श रूप से, n तत्वों n+o(n)n+o(n)n + o(n)को संग्रहीत करने के लिए शब्द ।nnn …

11 ds.data-structures 

मैं वर्तमान में क्वांटम संचार में लाभकारी पहलुओं के साथ गैर-स्थानीय खेलों से संबंधित कुछ अच्छी संदर्भ सामग्री के लिए देख रहा हूं। उदाहरण के लिए, मुझे पता है कि गैर-स्थानीय खेल कम बाउंडिंग संचार जटिलता के साथ-साथ क्यूकेडी प्रोटोकॉल की सुरक्षा सुनिश्चित करने में अच्छे हैं। मैं जानना चाहता …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

निम्नलिखित समस्या निर्णायक है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=∅L(G)=∅L(G) = \varnothing निम्नलिखित समस्या अनिर्दिष्ट है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} वहाँ के विषय से मुक्त भाषाओं एक लक्षण वर्णन है डिसाइडेबल समानता के साथ ?MMML(G)=ML(G)=ML(G) = M

11 computability  fl.formal-languages 

NNNrrrf(x)=axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf(x+r)=f(x)f(x+r)=f(x)f(x+r)=f(x)a&lt;Na&lt;Na<Nrrrrrr मेरा सवाल अब यह है: क्या यादृच्छिक लिए पर कोई ज्ञात निचली सीमा है ? वहाँ पर कोई सीमा नहीं कर रहे हैं दी आरएसए में के रूप में चुना जाता है? जाहिर है, होना चाहिए अन्यथा के रूप में एक बस का मूल्यांकन कर सकता है पर आंकड़ा …

11 cc.complexity-theory  cr.crypto-security  factoring 

मैं जानना चाहूंगा कि निम्नांकित समस्या को एन एलNL\mathsf{NL} (nondeterministic logspace) में तय किया जा सकता है या नहीं : एक निर्देशित ग्राफ को देखते हुए जीGG के साथ दो प्रतिष्ठित कोने रोंss और टीtt , वहाँ एक है अद्वितीय से पथ रोंss को टीtt में जीGG ? मुझे लगता …

11 reference-request  graph-theory 

इंटरैक्टिव प्रूफ सिस्टम में पूर्णता और स्पष्टता को अनौपचारिक रूप से परिभाषित किया गया है: पूर्णता: अगर एक वाक्य सही है, ईमानदार prover समझा सकते हैं ईमानदार इस तथ्य का सत्यापनकर्ता whp । ध्वनि: यदि कोई कथन गलत है, तो धोखा देने वाला ईमानदार ईमानदार सत्यापनकर्ता (झूठे अंक की वैधता) …

11 cc.complexity-theory  interactive-proofs 

क्या एक एल्गोरिथ्म का निर्माण संभव है जो इनपुट के रूप में एक पुशडाउन ऑटोमैटन के साथ लेता है इस वादे के साथ कि इस ऑटोमेटोन द्वारा स्वीकार की गई भाषा एक नियतात्मक संदर्भ-मुक्त भाषा है और एक नियतात्मक पुशडाउन ऑटोमेटन आउटपुट करती है जो स्वीकार की गई भाषा को …

11 reference-request  computability  fl.formal-languages  automata-theory 

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

11 soft-question  big-list  ho.history-overview 

हम 0 &lt; ई&lt; १0&lt;E&lt;100 । किसी भी nnn और किसी वेक्टर ऐसाc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n एसी¯: = | { स⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } मैं …

11 co.combinatorics  it.information-theory 

मुझे याद नहीं है कि विकर्णीकरण और सापेक्षताकरण परिणामों के आधार पर एक वर्ग पृथक्करण नहीं देखा गया है। शेष बचे वर्गों को अलग करने के लिए विकर्णकरण का उपयोग किया जा सकता है, क्योंकि गैर-सापेक्ष तर्क अभी भी विकर्णीकरण निष्कर्ष में, या विकर्ण ट्यूरिंग मशीन निर्माण में उपयोग किया …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

क्या यह सही है कि मैपअर्डेस फ्रेमवर्क को एक प्रकार की बल्क सिंक्रोनस समानांतर प्रोग्रामिंग फ्रेमवर्क कहा जाए, जिसमें सिंक्रोनाइज़ेशन के बीच प्रोसेसर के भीतर कोई स्थानीय मेमोरी रिटेंशन न हो? यदि नहीं, तो कौन सा समानांतर प्रोग्रामिंग मॉडल सबसे सटीक रूप से मैप्सड्यूस ढांचे को घेरता है?

11 dc.parallel-comp  machine-models 

सशर्त लॉजिक्स लॉजिक्स हैं जो अन्य संक्रियाओं के अनुरूप मोडल ऑपरेटरों के साथ पारंपरिक तार्किक प्रभाव को बढ़ाते हैं (उदाहरण के लिए, कारण सशर्त पढ़ता है " ए कारण" बी ", या संभाव्य कंडीशनिंग" ए | बी ", जो" ए दिया बी "पढ़ता है)।A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB आमतौर पर इन लॉजिक्स …

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

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

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism