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

मान लीजिए कुछ वर्णमाला के संबंध में एक पैरामिट्रीकृत भाषा है Σ । कश्मीर की -slice एल है एल कश्मीर = एल ∩ { ( एक्स , कश्मीर ) | एक्स ∈ Σ * } , में उदाहरणों के सेट एल जो पैरामीटर कश्मीर । जटिलता वर्ग एक्स पी parameterized …

10 cc.complexity-theory  reference-request  parameterized-complexity 

हमें वस्तुओं के जोड़े दिए गए हैं (कहते हैं, संख्याएँ)। प्रत्येक वस्तु अधिकांश qqq जोड़े में दिखाई देती है । हमारा लक्ष्य जोड़े को समान आकार के डिब्बे में वितरित करना है, जैसे कि प्रत्येक वस्तु अलग-अलग डिब्बे में संभव के रूप में होती है। अधिक सटीक रूप से, हम …

10 combinatorics 

मान लीजिए कि मेरे पास बाउंडेड मैनटाइट के सकारात्मक पूर्णांक की दो सूचियां हैं, और मैं प्रत्येक सूची के सभी तत्वों का उत्पाद लेता हूं। कौन सा उत्पाद बड़ा है, यह निर्धारित करने का सबसे अच्छा तरीका क्या है? बेशक, मैं बस प्रत्येक उत्पाद की गणना कर सकता हूं, लेकिन …

10 time-complexity  nt.number-theory 

क्लासिक में कंस्ट्रक्शन पेपर की गणना में एक नियम है जो बताता है (पीडीएफ का पेज 7, मूल दस्तावेज का पेज 101) इस नियम का अर्थ यह होगा कि कोई भी संदर्भ उस संदर्भ के किसी सदस्य के लिए अतिरेक है। ऐसा लगता है कि यह सही नहीं होना चाहिए, …

10 lo.logic  calculus-of-constructions  sequent-calculus 

एल्बरफेल्ड, जकोबी, और टेंटाउ 2010 ( ईसीसीसी टीआर 10-062 ) ने बोदलेन्डर के प्रमेय का एक अंतरिक्ष-कुशल संस्करण साबित किया। उन्होंने दिखाया कि अधिकांश पर treewidth के साथ रेखांकन के लिए ककk, चौड़ाई का वृक्ष अपघटन कkkलॉगरिदमिक स्पेस का उपयोग करके पाया जा सकता है। अंतरिक्ष बाउंड में निरंतर कारक …

10 cc.complexity-theory  sat  treewidth  space-complexity 

चलो एक जटिलता वर्ग और हो हो की बेतरतीब समकक्ष के रूप में परिभाषित के संबंध में । अधिक औपचारिक रूप से हम बहुपद को कई यादृच्छिक बिट प्रदान करते हैं और हम एक इनपुट स्वीकार करते हैं यदि स्वीकार करने की संभावना खत्म हो गई है ।CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} यह ज्ञात …

10 circuit-complexity  randomized-algorithms 

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

10 type-theory  type-inference  polymorphism 

क्या यह दिखाने का कोई प्रयास किया गया है कि आरपी के लिए कोलमोगोरोव यादृच्छिकता पर्याप्त होगी ? क्या कथन में प्रयोग की जाने वाली संभावना "यदि सही उत्तर हां है, तो यह (संभाव्य ट्यूरिंग मशीन) संभावना के साथ हाँ को लौटाता है ..." उस मामले में हमेशा अच्छी तरह …

10 randomized-algorithms  randomness  pseudorandomness 

बायोडाट एसेटर आँकड़ों में उपयोगी होते हैं क्योंकि वे निष्पक्ष अनुमान लगाने वाले की तुलना में माध्य-वर्ग त्रुटि को अधिक अनुकूलित कर सकते हैं । मैं सोच रहा था कि अगर सिद्धांत रूप में पक्षपातपूर्ण अनुमान लगाने वालों के प्रभावी उपयोग के कोई उल्लेखनीय उदाहरण हैं। मुझे लगता है कि …

10 randomized-algorithms 

SHORT QUESTION: क्या MAJ-3CNF कई-एक कटौती के तहत एक पीपी-पूर्ण समस्या है? लंबा संस्करण: यह सर्वविदित है कि MAJSAT (यह निर्णय लेना कि प्रपोजल वाक्य के अधिकांश कार्य वाक्य को पूरा करते हैं) PP- कई-एक कटौती के तहत पीपी-पूर्ण है और #SAT # P- पूर्ण कटौती के तहत पूर्ण है। …

10 counting-complexity  complexity  probabilistic-complexity 

चलो P(x1,x2,…,xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n) एक निश्चित परिमित क्षेत्र पर एक बहुपद हो। मान लीजिए हम का मूल्य दिया जाता है कुछ वेक्टर पर और वेक्टर ।y ∈ { 0 , 1 } n yPPPy∈{0,1}ny∈{0,1}ny \in \{0,1\}^nyyy अब हम के मान को एक वेक्टर पर गणना करना चाहते हैं, जैसे …

10 polynomials  dynamic-algorithms 

प्रेरणा दूसरे दिन, मैं सार्वजनिक परिवहन के साथ शहर के चारों ओर यात्रा कर रहा था और मैंने दो स्थानों के बीच सबसे कम समय के कनेक्शन को खोजने की समस्या को हल करने के लिए एक दिलचस्प ग्राफ समस्या बनाई। हम सभी शास्त्रीय "सबसे छोटा रास्ता समस्या" जानते हैं: …

10 graph-algorithms  shortest-path 

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

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

तथ्य यह है एक समस्या यह है कि क्या ऍक्स्प समय पूरा हो गया है संकेत मिलता है कि एक में नहीं है डी टी मैं एम ई ( 2 ओ ( n ) ) ?एएAएएAडी टीमैंमइ( २)ओ ( एन ))डीटीमैंमइ(2ओ(n))DTIME(2^{o(n)}) मुझे पता है कि समय पदानुक्रम प्रमेय, कर रहा …

10 exp-time-algorithms  complexity 

विशुद्ध रूप से कार्यात्मक डेटा संरचनाओं पर ओकासाकी की पुस्तक के बारे में कुछ चीजें जो मुझे नापसंद हैं, वह यह है कि उनका कोड अटूट पैटर्न से मेल खाता है। एक उदाहरण के रूप में, मैं वास्तविक समय की कतारों के उनके कार्यान्वयन (अनावश्यक निलंबन को खत्म करने के …

10 type-theory  type-inference