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

(क्षमा करें यदि यह अच्छी तरह से ज्ञात है।) मैं कुछ आइटम एक एजेंट को देना चाहूंगा , ताकि एजेंट j को प्रायिकता p i वाला आइटम मिल जाए । क्या कोई क्रिप्टोग्राफिक (या अन्य) उपकरण है ताकि हर एजेंट (और यहां तक ​​कि हर पर्यवेक्षक) यह आश्वस्त हो सके …

27 cr.crypto-security 

मैं प्रश्न के एक विशेष मामले के बारे में पूछना चाहता हूं " यदि किसी नेकां 0 सर्किट एक अनुमेयता की गणना करता है तो यह निर्णय लेना " क्यूईचेंग द्वारा अनुत्तरित छोड़ दिया गया है। बूलियन सर्किट को NC 0 k सर्किट कहा जाता है, यदि प्रत्येक आउटपुट गेट …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

क्यों नियमित भाषा (और उस नियमित अभिव्यक्ति से) को "नियमित" कहा जाता है? संदर्भ-मुक्त भाषाओं की अन्य प्रकार की भाषाओं में भी बहुत नियमितता है । मुझे लगता है कि, शुरुआत में, विशेषण "नियमित" का उपयोग उस प्रकार की भाषाओं को अन्य "गैर-नियमित" या किसी तरह असामान्य भाषाओं से अलग …

27 regular-expressions  regular-language  ho.history-overview 

यह तय करने की जटिलता क्या है कि क्या क्रमचय की गणना इनपुट बिट्स और आउटपुट बिट्स के साथ ? दूसरे शब्दों में, क्या प्रत्येक बिट में कुछ इनपुट के लिए सर्किट का आउटपुट है? यह एक समस्या की तरह दिखता है जिसका अध्ययन किया गया है, लेकिन मुझे कोई …

27 cc.complexity-theory  circuit-complexity  permutations 

मैं उन समस्याओं के उदाहरणों में दिलचस्पी लेता हूं, जहां एक प्रमेय जिसका प्रतीत होता है कि क्वांटम यांत्रिकी / जानकारी के साथ कुछ नहीं करना है (उदाहरण के लिए विशुद्ध रूप से शास्त्रीय वस्तुओं के बारे में कुछ बताता है) फिर भी क्वांटम टूल का उपयोग करके साबित किया …

27 quantum-computing  big-list  proofs 

मैंने इस डेटा संरचना को खोजने में कामयाबी नहीं पाई है, लेकिन मैं इस क्षेत्र का विशेषज्ञ नहीं हूं। संरचना एक सेट को लागू करती है, और मूल रूप से एक अपरिवर्तनीय के साथ तुलनीय तत्वों की एक सरणी है। आव्रजन निम्नलिखित है (पुनरावर्ती रूप से परिभाषित): लंबाई 1 की …

27 ds.data-structures 

मेरे आश्चर्य के लिए, मैं इस बारे में कागजात नहीं पा रहा था - शायद गलत कीवर्ड खोजे। तो, हमें कुछ भी मिला है, और इसके सूचकांकों पर एक फ़ंक्शन ; f एक क्रमचय है।ffffff हम ओ ( 1 ) और ओ ( एन ) के करीब के रूप में …

27 ds.algorithms  co.combinatorics  permutations 

मुझे शोर की फैक्टरिंग एल्गोरिदम के अंतिम चरणों को समझने में थोड़ी परेशानी हो रही है। एक जिसे हम फ़ैक्टर करना चाहते हैं, को देखते हुए , हम एक यादृच्छिक चुनते हैं, जिसमें क्रम ।NNNxxxrrr पहले कदम में रजिस्टरों को स्थापित करना और हैडमार्ड ऑपरेटर को लागू करना शामिल है। …

27 quantum-computing 

मैं एक कंप्यूटर साइंटिस्ट हूं जो टोपोलॉजी पर एक कोर्स कर रहा है (बिंदु-सेट टोपोलॉजी का एक छिड़काव निरंतरता सिद्धांत के साथ भारी स्वाद)। मैं टोपोलॉजिकल गुणों के लिए अंतरिक्ष के विवरण (सरलताओं द्वारा) का परीक्षण करने में निर्णय की समस्याओं में दिलचस्पी ले रहा हूं; जो होमियोमॉर्फिज़्म तक संरक्षित …

27 cc.complexity-theory  big-list  topology 

मैं निम्न प्रकार के त्रुटि-सुधार कोड ढूंढ रहा हूं: निरंतर दर के साथ बाइनरी कोड, त्रुटियों के कुछ निरंतर अंश से डिकोडेबल, आकार बूलियन सर्किट के रूप में लागू डिकोडर द्वारा , जहां एन एन्कोडिंग लंबाई है।ओ ( एन))O(N)O(N)एनNN कुछ पृष्ठभूमि: स्पीयरमैन , लीनियर-टाइम एनकोडेबल एंड डिकोडेबल एरर-करेक्टिंग कोड्स में, …

27 co.combinatorics  it.information-theory  coding-theory 

यह ज्ञात है कि एक दिया की सूत्रीय सबसेट (जाता है कि, यह देखते हुए में अंक इयूक्लिडियन दूरी के साथ) यह उन में isometrically एम्बेड करने के लिए संभव है \ ell ^ {n \ 2 चुनें } _1 ।nnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^dℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 क्या आइसोमेट्री कंप्यूटेबल (संभवतः, यादृच्छिक रूप से) …

27 cg.comp-geom  metrics  embeddings 

मुझे खेद है कि यदि यह प्रश्न थोड़ा अस्पष्ट है, लेकिन मैं उत्सुक हूं कि सफल शोधकर्ताओं को टीसीएस के परिणामों के लिए "महसूस" कैसे होता है। उदाहरण के लिए, रेखीय बीजगणित को ज्यामितीय रूप से समझा जा सकता है, या इसकी भौतिक व्याख्याओं के संदर्भ में (eigenvectors को एक …

27 soft-question  intuition 

संतोष के लिए "आसान क्षेत्र" क्या हैं? दूसरे शब्दों में, कुछ सैट सॉल्वर के लिए पर्याप्त स्थितियां एक संतोषजनक असाइनमेंट को खोजने में सक्षम होने के लिए, यह मानते हुए कि यह मौजूद है। एक उदाहरण है जब प्रत्येक खंड एलएलएल के रचनात्मक प्रमाण के कारण कुछ अन्य खंडों के …

27 cc.complexity-theory  sat 

मैं एक समय के लिए निम्नलिखित समस्या के बारे में सोच रहा हूं, और मुझे इसके लिए एक बहुपद समाधान नहीं मिला है। केवल क्रूर-स्रोत। मैं एक NP- कम्पलीट प्रॉब्लम को कम करने की कोशिश कर रहा हूँ, वो भी बिना किसी सक्सेज के। यहाँ समस्या है : आपके पास …

27 ds.algorithms  np-hardness  sorting 

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

27 cc.complexity-theory  quantum-computing  np  np-intermediate