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

मान लीजिए एक निरंतर डिग्री वाला पेड़ है जिसकी संरचना हमें नहीं पता है। समस्या उत्पादन के लिए पेड़ है प्रपत्र के प्रश्नों पूछकर: "नोड करता है नोड से पथ पर झूठ नोड के लिए ?"। मान लें कि प्रत्येक क्वेरी का जवाब निरंतर समय में एक ओरेकल द्वारा दिया …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

मैं एक वर्ग के लिए सेट की गई समस्या पर काम कर रहा हूं, और एक सवाल के बारे में सोचा कि मैं क्या काम कर रहा था। क्या राज्यों की एक न्यूनतम संख्या है जो एक परिमित ऑटोमोटन बाइनरी तार को स्वीकार करने के लिए होनी चाहिए जो एक …

18 automata-theory 

अवशेषों के साथ एक पूर्णांक मैट्रिक्स के एक निर्धारक की गणना करने के लिए ज्ञात कुशल एल्गोरिदम क्या हैं , अवशेषों की अंगूठी modulo । संख्या अभाज्य नहीं हो सकती है, लेकिन समग्र (इसलिए अभिकलन रिंग में किए जाते हैं, न कि फ़ील्ड)। एमएमZmजेडम\mathbb{Z}_mmमmmमm जहां तक ​​मुझे पता है (नीचे …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

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

18 co.combinatorics  big-picture 

बता दें कि वेरिएबल और क्लॉस के साथ एक संतोषजनक CNF फॉर्मूला है । चलो का समाधान स्थान होना ।F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 निर्धारित करने की समस्या को देखते हुए विचार करें , एक और CNF फॉर्मूला के रूप में चर के एक ही सेट के साथ , साथ (के रूप में ही …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

सबसे छोटी सुपरस्ट्रिंग समस्या की सटीक जटिलता के बारे में क्या जाना जाता है? क्या इसे से तेज हल किया जा सकता है ? क्या ऐसे ज्ञात एल्गोरिदम हैं जो TSP को कम किए बिना सबसे छोटे सुपरस्ट्रिंग को हल करते हैं?O∗(2n)O∗(2n)O^*(2^n) युपीडी: दबा बहुपद कारकों।O∗(⋅)O∗(⋅)O^*(\cdot) सबसे छोटी सुपरस्ट्रिंग समस्या …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

मुझे लगता है कि यह एक अच्छा विचार होगा कि ऐसे प्रमेयों की एक सूची बनाई जाए, जिसमें कहा गया हो कि P, NP से समान नहीं है और यदि केवल ऐसे और इस तरह से बाहर निकलता है, तो कुछ जटिलता वर्ग एक और जटिलता वर्ग और इसी तरह …

18 cc.complexity-theory  big-list  p-vs-np 

मैं 1990 के दशक में हाइपरकंप्यूटेशन पर बहुत शोध कर रहा हूं , लेकिन हाल के वर्षों में इस विषय पर बहुत कम काम हुआ है। क्या यह सच है कि इस क्षेत्र में अनुसंधान कम हो गए हैं? यदि हां, तो इसके क्या कारण हो सकते हैं? क्या इस …

18 reference-request  computability  hypercomputation 

क्या सैट के हल के लिए कोई एल्गोरिदम हैं जो डीपीएलएल आधारित नहीं हैं? या एसएटी सॉल्वर द्वारा उपयोग किए जाने वाले सभी एल्गोरिदम डीपीएलएल आधारित हैं?

18 ds.algorithms  reference-request  sat 

XORification हर चर की जगह एक बूलियन फ़ंक्शन या फ़ॉर्मूला कठिन बनाने के लिए तकनीक है के XOR द्वारा कश्मीर ≥ 2 अलग चर । xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k मैं मुख्य रूप से रिज़ॉल्यूशन-आधारित प्रूफ सिस्टम के लिए स्पेस लोअर सीमाएँ प्राप्त करने के लिए प्रूफ जटिलता में …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

मैं दिल से एक भौतिक विज्ञानी हूं, और इसलिए मुझे लगता है कि वन-वे क्वांटम कम्प्यूटिंग शानदार है। विशेष रूप से, ग्राफ राज्य मापन-आधारित क्वांटम कम्प्यूटिंग (MBQC) क्वांटम कम्प्यूटिंग अनुसंधान में वास्तव में एक अच्छा विकास रहा है, जैसा कि Raussendorf & Briegel द्वारा उत्पन्न किया गया था । बस …

18 quantum-computing 

क्या स्वचालित प्रमेय साबित करने और सबूत को रेखीय और अन्य प्रपोजल सबस्ट्रक्चरल लॉजिक्स में आसान खोज रहा है जिसमें संकुचन की कमी है? मैं इन लॉजिक्स में साबित होने वाले और प्रमाणिक खोज में संकुचन की भूमिका के बारे में और अधिक कहां पढ़ सकता हूं?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

बहुमत वोट ऑपरेशन गलती-सहिष्णुता (और अन्य स्थानों पर कोई संदेह नहीं) में अक्सर आता है, जहां फ़ंक्शन थोड़ा समान होता है, जिसमें कभी भी मूल्य इनपुट बिट्स के मूल्य में सबसे अधिक बार प्रकट होता है। सादगी के लिए, मान लें कि जब भी इनपुट में 0 और राज्य 1 …

18 co.combinatorics 

एल्गोरिदम की एक भीड़ है जो समय में एक संदर्भ-मुक्त व्याकरण को पार्स कर सकती है । मैट्रिक्स गुणा का उपयोग करते हुए, कोई भी असमान रूप से तेजी से जा सकता है।ओ ( एन)3)हे(n3)O(n^3) हालांकि, मनमाने ढंग से CFGs पार्स करने के लिए सभी एल्गोरिदम मुझे पता है की …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

एन पूर्णांक के एक वेक्टर के मानक असतत फूरियर रूपांतरण के कंप्यूटिंग की जटिलता (मानक पूर्णांक रैम पर) क्या है ?nnn तेजी से फूरियर रूपांतरण के लिए शास्त्रीय एल्गोरिथ्म , अनुचित रूप से [1] कोइली और टुके के लिए जिम्मेदार ठहराया जाता है, जिसे आमतौर पर O(nlogn)O(nlog⁡n)O(n \log n) समय …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis