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

एक क्लासिक पेपर में मुनरो और पैटर्सन इस समस्या का अध्ययन करते हैं कि एक एल्गोरिदम के लिए यादृच्छिक रूप से क्रमबद्ध सरणी में माध्यिका को खोजने के लिए कितना संग्रहण आवश्यक है। विशेष रूप से वे निम्नलिखित मॉडल पर ध्यान केंद्रित करते हैं: इनपुट को कई बार P से …

18 ds.algorithms  space-bounded  data-streams 

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

18 matching  graph-algorithms 

किन विश्वविद्यालयों में एक मजबूत क्वांटम कंप्यूटिंग पाठ्यक्रम है, और कुछ प्रकार के क्वांटम कंप्यूटिंग / सूचना पाठ्यक्रम / अनुसंधान प्रदान करते हैं? यहाँ उद्देश्य इन क्षेत्रों में स्नातक अध्ययन पर विचार करने वाले किसी व्यक्ति के लिए एक उपयोगी सूची एकत्र करना है, न कि इस बात पर चर्चा …

18 soft-question  quantum-computing  big-list  quantum-information 

समस्या: हमें पूर्णांक लंबाई वाले सभी स्टिक्स का एक सेट दिया जाता है। उनकी लंबाई का कुल योग n (n + 1) / 2 है। हम उन्हें तोड़ सकते हैं आकार की छड़ें प्राप्त करने के लिए बहुपद समय में? 1 , 2 , … , एन1,2,...,n{1,2,\ldots,n} हैरानी की बात …

18 reference-request  complexity-classes  puzzles 

मैं एक स्पष्ट बूलियन समारोह में दिलचस्पी रहा हूँ f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}निम्नलिखित संपत्ति के साथ: यदि निरंतर है, तो कुछ परिश्रमी उपसमूह परfff , तो इस उप-स्थान का आयाम o ( n ) है ।0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) यह दिखाना मुश्किल नहीं है कि एक सममित फ़ंक्शन एक उप-विचार ए = …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

मैं निम्नलिखित समस्या में दिलचस्पी रखता हूं: एक सेट X को देखते हुए और X_1 को सबसेट करता है, ..., X_n of X, k के रंगों के साथ X के तत्वों का रंग ढूंढता है जैसे कि प्रत्येक X_i में तत्व सभी अलग-अलग रंग के होते हैं। विशेष रूप से, …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

मैट्रिक्स को ऊपरी-त्रिकोणीय रूप में लाने के लिए आवश्यक प्राथमिक पंक्ति और स्तंभ संचालन की न्यूनतम संख्या होने के लिए n × n मैट्रिक्स की गाऊसी जटिलता को परिभाषित करें । यह 0 और n 2 (गॉसियन एलिमिनेशन के माध्यम से) के बीच की मात्रा है । धारणा किसी भी …

18 cc.complexity-theory  lower-bounds  matrices 

पैरीटी-पी एक गैर-नियतात्मक ट्यूरिंग मशीन द्वारा मान्यता प्राप्त भाषाओं का सेट है जो केवल "स्वीकृति" पथों की एक समान संख्या या विषम संख्या के बीच अंतर कर सकता है (बजाय एक शून्य या गैर-शून्य संख्या के स्वीकृति पथ)। इस प्रकार, Parity-P मूल रूप से PP का छोटा सिंबल है: जबकि …

18 cc.complexity-theory  complexity-classes  np 

इस पत्र से पता चलता है कि कॉम्बिनेटर (प्रतीकात्मक अभिकलन का प्रतिनिधित्व करते हैं) जिन्हें लैम्बडा कैलकुलस (यदि मैं चीजों को सही ढंग से समझता हूं) का प्रतिनिधित्व नहीं किया जा सकता है:

18 lo.logic  lambda-calculus 

यह सर्वविदित है कि क्वांटम कंप्यूटर क्वेरी की जटिलता के संदर्भ में अपने शास्त्रीय समकक्षों की तुलना में अधिक शक्तिशाली हैं । क्या अन्य मॉडल (प्राकृतिक या कृत्रिम) हैं जो क्वांटम और शास्त्रीय के बीच कड़ाई से क्वेरी जटिलता के बीच हैं? सेपरेशन हो सकता है विशिष्ट समस्याएं: मॉडल X …

18 cc.complexity-theory  quantum-computing  query-complexity 

Satisfiability समस्या सैद्धांतिक सीएस में एक मौलिक समस्या निश्चित रूप से, है। मैं असीम रूप से कई चर के साथ समस्या के एक संस्करण के साथ खेल रहा था। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} बुनियादी ढांचा। मान लें कि एक गैर-रिक्त और संभवतः चर का अनंत सेट है । एक शाब्दिक या तो …

18 reference-request  lo.logic  sat  topology  lattice 

वहाँ, बहुत काम है, कुछ एनपी हार्ड समस्याओं के लिए होने के लिए तेजी से घातीय समय सटीक एल्गोरिदम विकसित करने पर लगता है (यानी, फार्म के परिणाम: एल्गोरिथ्म एक हल समस्या xxx ओ में (ग ^ n) समय, ग छोटे के साथ)। कुछ एनपी-हार्ड समस्याओं (जैसे, माप और जीत: …

18 ds.algorithms 

मान लीजिए कि हमें पूर्णांक प्रविष्टियों के साथ एन मैट्रिक्स, एम द्वारा एन दिया गया है। हम पी में तय कर सकते हैं नहीं है कि क्या एक क्रमचय σσ\sigma ऐसा है कि सभी क्रमपरिवर्तन के लिए π≠σπ≠σ\pi\ne\sigma हमारे पास ΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} ? टिप्पणियों। बेशक उत्पाद को राशि …

18 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

अगर यह ऑफ टॉपिक है तो मैं माफी मांगता हूं। ऐसा लगता है कि डोमेन नाम की अवधि समाप्त हो गई है। मुझे उम्मीद है कि समुदाय के कुछ सदस्य (मैं एक नहीं हूं) यह जान सकता हूं कि उस साइट का व्यवस्थापक / स्वामी कौन था। यह काफी उपयोगी …

17 soft-question 

एक शब्द को आदिम कहा जाता है , अगर कोई शब्द और नहीं है तो । एक वर्णमाला पर सभी आदिम शब्दों का सेट एक प्रसिद्ध भाषा है। WLOG हम \ सिग्मा = \ {ए, बी \} चुन सकते हैं ।डब्ल्यू wwवी कश्मीर > 1 डब्ल्यू = वी कश्मीर क्यू …

17 fl.formal-languages