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

कहो एक एक भाषा है , लेकिन एक नहीं जानता है कि क्या वास्तव में तार भाषा का हिस्सा हैं। सभी एक है भाषा की एक निश्चित दृश्य है: तार के एक परिमित सेट एक ⊆ एल उस भाषा में जाना जाता है, और तार के एक परिमित सेट बी …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

अधिकतम चौड़ाई की लाइनों में समान रूप से पाठ को तोड़ने के लिए एक रैखिक समय एल्गोरिथ्म है। यह SMAWK (या Knuth & Plass) और "समान रूप से" का उपयोग करता है: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness क्या एल्गोरिथ्म के लिए एक एल्गोरिथ्म या एक अवतल लागत कार्य है, जिसमें अधिकतम पंक्ति चौड़ाई के …

12 ds.algorithms 

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

12 cc.complexity-theory  computability 

आकार N- बिट्स और K हैश फ़ंक्शंस के एक ब्लूम फ़िल्टर को देखते हुए, जिनमें से फ़िल्टर के M- बिट्स (जहाँ M <= N) सेट है। क्या खिल फिल्टर में सम्मिलित तत्वों की संख्या का अनुमान लगाना संभव है? सरल उदाहरण मैं निम्नलिखित उदाहरण पर विचार कर रहा हूँ, 100-बिट्स …

12 ds.data-structures  pr.probability 

मैं सिर्फ उन कार्यों के कुछ उदाहरणों को जानना चाहता हूं, जिनकी गणना लाइपडा कैल्कुलस द्वारा नहीं, बल्कि लाइप्डा कैलकुलस द्वारा की जा सकती है। जैसा कि मैं एक शुरुआती हूं, पृष्ठभूमि की जानकारी के कुछ पुनरावृत्ति की सराहना की जाएगी। धन्यवाद। संपादित करें: टाइप किए गए लैम्ब्डा कैल्कुली द्वारा, …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

क्या ऐसी निर्णायक समस्याएं हैं जो बिना किसी एल्गोरिथ्म के हैं, जो उस समस्या को हल करती है जिसे हम इनपुट उदाहरण की लंबाई n के कार्य के रूप में बाध्य कर सकते हैं? मैं इस सवाल पर पहुंचा क्योंकि मैं निम्नलिखित के बारे में सोच रहा था: मान लें …

12 computability  time-complexity 

मैं गतिशील ग्राफ़ में अधिकतम प्रवाह की गणना करने के लिए एक तेज़ एल्गोरिथम की तलाश कर रहा हूं। अर्थात एक ग्राफ और हम से तक में अधिकतम प्रवाह है । फिर नए / पुराने नोड ने ग्राफ बनाने के लिए इसके संबंधित किनारों के साथ जोड़ा / हटा दिया …

12 graph-theory  graph-algorithms 

वजनबाइनरी स्ट्रिंग स्ट्रिंग में लोगों की संख्या है। यदि हम कुछ लोगों के साथ इनपुट पर एक मोनोटोन फ़ंक्शन की गणना करने में रुचि रखते हैं तो क्या होगा?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n हम जानते हैं कि यदि एक ग्राफ में -clique है, तो मोनोटोन सर्किट के …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

जैसा कि सर्वविदित है, एनपी-हार्ड अनुकूलन समस्याओं में कई अलग-अलग सन्निकटन अनुपात हो सकते हैं, जिसमें पीटीएएस होने से लेकर किसी भी कारक के भीतर निहित नहीं होने तक सभी तरह के होते हैं। बीच में, हमारे पास विभिन्न स्थिरांक, , p o l y ( n ) , आदि …

12 cc.complexity-theory  approximation-hardness 

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

मैं निम्नलिखित गुणों के साथ एक भाषा L की तलाश में हूं: L को संदर्भ-मुक्त नहीं होना चाहिए। L का पूरक संदर्भ-मुक्त नहीं होना चाहिए। (पाठ्यपुस्तकों में आप जो कुछ भी देखते हैं, गैर-संदर्भ-मुक्त भाषाओं के प्रमुख उदाहरण इस दूसरी आवश्यकता को विफल करते प्रतीत होते हैं।) एल बहुत कठिन …

12 fl.formal-languages  automata-theory 

यह देखते हुए एक endofunctor F:Set→SetF:Set→SetF : Set \rightarrow Set , हम कार्यों है कि किसी भी के लिए बहुरूपी होते हैं के रूप में अवलोकन कार्यों को परिभाषित कर सकते हैं FFF -coalgebra, है कि obsobsobs किसी के लिए परिभाषित किया गया है FFF -coalgebra ⟨A,c:A→FA⟩⟨A,c:A→FA⟩\langle A, c : …

12 ct.category-theory 

मैं सोच रहा हूँ कि संबंधपरक डेटाबेस सिद्धांत और संबंधित डोमेन में हाल के अग्रिम क्या हैं? मैं नए दृष्टिकोणों, क्वेरी भाषाओं (SQL और / या इसके लिए एक्सटेंशन), ​​उत्पादों (स्वामित्व और खुले स्रोत, हालांकि मैं खुले स्रोत में बहुत अधिक दिलचस्पी रखता हूं) और पिछले वर्षों में विकसित अनुसंधान …

12 db.databases  relational-structures 

मुझे विषय में कमी के बारेंड्रेगट के प्रमाण में एक समस्या मिली ( प्रकारों के साथ लैंबडा कैल्सी की Thm 4.2.5 )। प्रमाण का अंतिम चरण (पृष्ठ 60) कहता है: "और इसलिए लेम्मा 4.1.19 (1) द्वारा, Γ , एक्स : ρ ⊢ पी: σ'Γ,एक्स:ρ⊢पी:σ'\quad\Gamma,x:\rho\vdash P:\sigma' "। हालांकि, लेम्मा 4.1.19 (1) …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

मेरी नौकरी में निम्न समस्या उत्पन्न होती है: क्या एक ज्ञात एल्गोरिथ्म है, जो क्रम 65 के एक स्वतंत्र सेट के बिना एक ग्राफ के रंगीन संख्या का अनुमान लगाता है? (इसलिए अल्फा (G) <= 64 ज्ञात है! V | / 64 एक तुच्छ निचला है; V | एक तुच्छ …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring