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

यह प्रश्न एल्गोरिथ्म और डेटा संरचनाओं को डिज़ाइन करने के लिए कंप्यूटर के सही सैद्धांतिक मॉडल के लिए एक सामान्य प्रश्न के समान है । यहाँ, मैं विशेष रूप से वर्तमान उच्च प्रदर्शन वाले कंप्यूटरों के बारे में पूछता हूं (जैसे शीर्ष 500 के रूप में सूचीबद्ध ) या यहाँ …

20 reference-request  soft-question  machine-models 

आज न्यूयॉर्क और पूरी दुनिया में क्रिस्टोस पापादिमित्रिउ का जन्मदिन मनाया जाता है। यह क्रिस्टोस की जटिलता वर्ग पीपीएडी (और उसके अन्य संबंधित वर्गों) और क्वांटम कंप्यूटरों के बीच संबंधों के बारे में पूछने का एक अच्छा अवसर है। अपने प्रसिद्ध 1994 के पेपर में पापादिमित्रियो ने पीएलएस, पीपीएडी और …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

मैं सैद्धांतिक कंप्यूटर विज्ञान में काम कर रहा एक पीएचडी छात्र हूं। मैंने कई शोधकर्ता के शोध पत्रों को पढ़ा है और मैंने कई उपकरण और गणित देखे हैं जो वे एक एल्गोरिथ्म को डिजाइन करने के लिए उपयोग करते हैं। उदाहरण के लिए इस शोध पत्र को देखें [P …

19 advice-request 

नीचे, एमएसओ ने वर्टेक्स-सेट और एज-सेट मात्रा के साथ ग्राफ के दूसरे क्रमिक तर्क को निरूपित किया। Let रेखांकन का एक मामूली बंद परिवार हो। यह रॉबर्टसन और सीमोर के ग्राफ मामूली सिद्धांत से निम्नानुसार है कि को एक सीमित सूची निषिद्ध नाबालिगों द्वारा विशेषता है। दूसरे शब्दों में, प्रत्येक …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

चलो एक मान पूर्णांक समारोह ऐसा है कि हो सकता है में है । इसे का पालन करता है कि एफ में है \ #P ? क्या यह मानने के कारण हैं कि हमेशा पकड़ रखने की संभावना नहीं है? किसी भी संदर्भ के बारे में मुझे पता होना चाहिए?2 …

19 cc.complexity-theory  complexity-classes  counting-complexity 

एक क्वांटम कंप्यूटर पर प्राइम फैक्टराइजेशन और डिसक्रीट लॉगरिथमस के लिए 1995 के अपने पेपर पोलिनोमियल-टाइम एल्गोरिदम में , पीटर डब्लू शोर ने अपने फैक्टराइजेशन एल्गोरिदम के ऑर्डर-फाइंडिंग पार्ट पर सुधार पर चर्चा की। मानक एल्गोरिथ्म एक्स algorithm मोडुलो एन के आदेश आर का एक विभाजक आर ′ आउटपुट करता …

19 quantum-computing  nt.number-theory  factoring 

पियर्स (2002) पृष्ठ 92 पर लिखकर टाइपिंग रिलेशन का परिचय देता है : अंकगणितीय अभिव्यक्तियों के लिए टाइपिंग रिलेशन, जिसे "t: T" लिखा जाता है, को कई प्रकार के शब्दों को निर्दिष्ट करने वाले इंट्रेंस नियमों के एक सेट द्वारा परिभाषित किया गया है। और फुटनोट कहता है कि प्रतीक …

19 type-theory  notation 

मैं git revision control system पर गणित की बात देना चाहूंगा । अब यह व्यापक रूप से गणित के साथ-साथ कंप्यूटर विज्ञान उद्योग में उपयोग किया जाता है। उदाहरण के लिए, HoTT (होमोटोपी टाइप थ्योरी) समुदाय इसका उपयोग करता है, और यह पाठ फ़ाइलों के सहयोगी संपादन के लिए सिस्टम …

19 co.combinatorics  application-of-theory 

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

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN वह समस्या है जिसके लिए यह निर्णय लेने की आवश्यकता होती है कि क्या स्रोत तक का रास्ता ग्राफ में sssलक्ष्य वर्टेक्स से है , जहाँ ये सभी इनपुट के भाग के रूप में दिए गए हैं।जीtttGGG ओमर रेनॉल्ड ने दिखाया कि USTCONN L (doi: 10.1145 / 1391289.1391291 ) …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

मुख्य / सामान्य प्रश्न को एक भाषा होने दो । भाषाओं को को और , लिए । पर विचार करें । तो, हम बार-बार "एम्बेड" में ही प्राप्त करने के लिए ।LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}i≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} क्या का …

19 reference-request  fl.formal-languages 

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

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

नील्सन और चुआंग द्वारा क्वांटम संगणना और क्वांटम सूचना में वे कहते हैं कि क्वांटम फूरियर रूपांतरण पर आधारित कई एल्गोरिदम फूरियर रूपांतरणों के कोसेट इनवेरियन संपत्ति पर भरोसा करते हैं और सुझाव देते हैं कि अन्य ट्रांसफॉर्मों के प्रतिलोमैन गुण नए एल्गोरिदम प्राप्त कर सकते हैं। क्या अन्य परिवर्तनों …

19 quantum-computing  quantum-information 

कार्य स्थान का उपयोग करके एक ही लंबाई के दो तारों के बीच सटीक संपादन दूरी की गणना के लिए सबसे अच्छी ज्ञात जटिलता क्या है जो इनपुट के आकार में उदासीन है? मुझे लगता है कि इनपुट कुछ केवल-पढ़ने के लिए प्रारूप में संग्रहीत है। क्या यह पहले से …

19 ds.algorithms  edit-distance  space-time-tradeoff