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

मैं स्ट्रिंग दृश्यों की तुलना करने के लिए प्रत्यय के पेड़ों का उपयोग करने की कोशिश कर रहा हूं। मुझे प्रत्यय पेड़ों का उपयोग करके सबसे लंबे समय तक सामान्य उप स्ट्रिंग समस्या के लिए कार्यान्वयन / सिद्धांत मिला है। हालांकि, मैं जो देख रहा हूं वह संबंधित समस्या की …

10 ds.algorithms  string-matching 

जेबीवी ने सुझाव दिया कि मैं कुछ टिप्पणियों को एक प्रश्न में बदल देता हूं, इसलिए यहां जाता है। एक और सवाल [1] क्यूएम कंप्यूटिंग के अनुप्रयोगों के बारे में पूछता है। एक उत्तर [2] "कुशलतापूर्वक क्वांटम यांत्रिकी का अनुकरण" था। जाहिरा तौर पर यह विचार Feynman के विषय पर …

10 reference-request  quantum-computing  application-of-theory 

चलो में पारस्परिक रूप से निष्पक्ष अड्डों (MUB) का एक सेट हो सी एन , यानी प्रत्येक बी मैं एक orthonormal आधार है और के लिए वी ∈ बी मैं , डब्ल्यू ∈ बी जे , मैं ≠ जे हम है | ⟨ V | डब्ल्यू ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} …

10 reference-request  quantum-information 

पेपर में सूचना सिद्धांत की दो समस्याओं पर , Erd papers और Rényi कम से कम वज़न पर सीमा देते हैं, जो कि सिक्कों के एक सेट में झूठे सिक्कों की संख्या निर्धारित करने के लिए करना चाहिए ।nnn अधिक औपचारिक रूप से: झूठे सिक्कों का सही सिक्कों की तुलना …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

वर्तमान समय / स्पेस ट्रेडऑफ़ के रूप में व्यक्त किए गए - dimensional बिंदुओं के एक सेट पर हाफ़स्पेस रेंज की गिनती के प्रश्नों के प्रदर्शन के लिए सबसे अच्छी बाध्यता क्या है । Matousek के लाभदायक 1993 कागज (प्रमेय 6.2, रेंज कुशल श्रेणीबद्ध कलमों के साथ खोज) के अनुसार, …

10 reference-request  ds.data-structures  cg.comp-geom 

अध्याय 13 में नैन्सी लिंच की पुस्तक "डिस्ट्रिब्यूटेड अल्गोरिद्म" की "एटॉमिक ऑब्जेक्ट्स" को रैखिकता (जिसे एटमॉसिटी भी कहा जाता है) एक सुरक्षा संपत्ति साबित होती है। कहने का तात्पर्य यह है कि इसकी संबंधित ट्रेस प्रॉपर्टी गैर-रिक्त, उपसर्ग-बंद और सीमा-बंद है , जैसा कि धारा 8.5.3 में परिभाषित है। अनौपचारिक …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

एक अनिर्दिष्ट ग्राफ के लिए और किसी दिए गए सेट कोने की, सभी तत्वों वाली एक सरल रास्ता खोजने के लिए सबसे तेजी से asymptotically जाना जाता एल्गोरिथ्म क्या है । क्या होगा यदि हमें रास्ते को यथासंभव छोटा करने की आवश्यकता है?एस एसजीGGएसSSएसSS

10 ds.algorithms  graph-algorithms  time-complexity 

सेट S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} दिया गया है। प्रत्येक तत्व eieie_i , हमारा वजन wi>0wi>0w_i>0 और लागत ci>0ci>0c_i>0 । लक्ष्य सबसेट रही है MMM आकार का kkk है जो निम्न उद्देश्य समारोह को अधिकतम: ∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} । क्या समस्या एनपी-कठिन है? चूंकि उद्देश्य फ़ंक्शन अजीब …

10 np-hardness  optimization 

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

10 pl.programming-languages  recursion  recursive 

मान लें कि हम 3-SAT को वेरिएबल और c क्लॉज़ के साथ मानते हैं। मैं एक ऐसी विधि पर शोध कर रहा हूं जो किसी भी SAT समस्या को हल करने के लिए O ( v 2 + log c ) समय / स्थान लेने के लिए प्रकट होती है …

10 ds.algorithms  sat  upper-bounds 

यदि OWF मौजूद हैं, तो सांख्यिकीय रूप से बाध्यकारी बिट प्रतिबद्धता संभव है। [१] क्या यह ज्ञात है कि अगर ओडब्ल्यूएफ मौजूद है तो पूरी तरह से बाध्यकारी बिट प्रतिबद्धता संभव है? यदि नहीं, तो क्या उनके बीच एक ज्ञात ब्लैक-बॉक्स अलगाव है? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem और http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

एक जुड़ा पर विचार करें यादृच्छिक घन ग्राफ G=(V,E)G=(V,E)G=(V,E) के n=|V|n=|V|n =|V|वर्टिकल, G(n,3G(n,3G(n, 3 -reg से तैयार किए गए )))(जैसा कि यहाँ परिभाषित किया गया है , अर्थात 3n3n3n सम है और किसी भी दो ग्राफ़ में समान संभावना है)। बेशक देखते हैं nnn संभव चौड़ाई पहले खोज, प्रत्येक शुरू …

10 graph-theory  co.combinatorics 

मूर मैट्रिक्स वैंडमोंडे मैट्रिक्स के समान है, लेकिन इसकी थोड़ी संशोधित परिभाषा है। http://en.wikipedia.org/wiki/Moore_matrix किसी पूर्ण मूर मैट्रिक्स modulo कुछ पूर्णांक के के निर्धारक की गणना करने की जटिलता क्या है ?n×nn×nn \times n Can मूर से कम किया जा निर्धारक के लिए FFT तकनीक का उपयोग O (n \ …

10 cc.complexity-theory  algebraic-complexity 

हम में से कुछ लोग क्वांटम लोअर बाउंड्स (संक्षेप में, पर फिन्सलर मेट्रिक का निर्माण) का उपयोग करने के लिए एक ज्यामितीय दृष्टिकोण पर माइकल नील्सन के पेपर पढ़ रहे हैं , जैसे कि से एक तत्व तक की जियोडेसिक दूरी एक कम बाध्य है एक क्वांटम सर्किट में फाटकों …

10 quantum-computing 

आज्ञा देना एक ग्राफ के साथ (सकारात्मक) भारित किनारों। मैं नोड्स / साइटों का एक सेट के लिए Voronoi आरेख को परिभाषित करना चाहते एस एक नोड के साथ संबद्ध करने के लिए, वी ∈ एस subgraph आर ( v ) के जी सख्ती के करीब सभी नोड्स द्वारा प्रेरित …

10 reference-request  graph-theory  cg.comp-geom