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

चलो L⊆A∗L⊆A∗L \subseteq A^* एक भाषा हो, और परिभाषित करें fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} द्वारा fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iff x⋅y∈Lx⋅y∈Lx\cdot y \in L। मैं इसके लिए एक संदर्भ खोज रहा हूं: प्रस्ताव। LLL नियतात्मक संचार जटिलता के नियमित होने पर fLfLf_L स्थिर है। दूसरे शब्दों में, …

9 reference-request  communication-complexity  regular-language 

कलाई का 2-पृष्ठ सोडा पेपर पैटर्न के लिए एक सरल और कुशल एल्गोरिथ्म देता है जो परवाह नहीं करता है (वाइल्डकार्ड जो एक चरित्र से मेल खाते हैं)। संक्षेप में, यह कनविक्शन जितना आसान है। लेकिन क्या होगा अगर हम कई पैटर्न की तलाश कर रहे हैं जिसमें कोई परवाह …

9 ds.algorithms  reference-request  string-matching 

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

9 type-theory 

1991 से एक अच्छा पेपर है जिसमें विभिन्न ग्राफक्लास-परिवारों के बारे में तीन आरेख हैं, जो दिखाते हैं कि उनके लिए रंगीन सूचकांक का निर्धारण करने की कठोरता के बारे में क्या जाना जाता है। क्या तब से इन पर कोई खबर है? मुझे सबसे अधिक दिलचस्पी है कि एक …

9 graph-theory  np-hardness  graph-colouring 

चलो से अधिक समान वितरण हो बिट्स, और से अधिक वितरण होना बिट्स जहां बिट्स स्वतंत्र हैं और प्रत्येक बिट है संभावना के साथ । यह सही है कि बीच सांख्यिकीय दूरी और है , जब ?UUUnnnDDDnnn1111/2−ϵ1/2−ϵ1/2-\epsilonDDDUUUΩ(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n})n≤1/ϵ2n≤1/ϵ2n \le 1/\epsilon^2

9 pr.probability 

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

9 big-list  algebraic-topology 

यह नियतात्मक संगणना की nondeterministic गति-अप तक का अनुसरण है । क्या यह प्रशंसनीय है कि nondeterminism (या अधिक आम तौर पर प्रत्यावर्तन) एक सामान्य द्विघात गति को नियतात्मक संगणना की अनुमति देगा? या क्या जैसे कुछ के लिए कोई ज्ञात परिणाम हैं ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

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

9 computability 

मैं शॉनहाज-स्ट्रैसेन पूर्णांक गुणन एल्गोरिथम को लागू करने की कोशिश कर रहा हूं, लेकिन पुनरावर्ती चरण में एक ठोकर मारा। मेरा एक मूल्य है xxx साथ में nnnबिट्स और मैं गणना करना चाहते हैं । मैंने मूल रूप से सोचा था कि इस तरह के एक कश्मीर को चुनने के …

9 ds.algorithms 

यह ज्ञात नहीं है कि NEXP पी / पाली में निहित है या नहीं। वास्तव में यह साबित करना कि एनईएक्सपी पी / पॉली में नहीं है, इसमें कुछ अनुप्रयोग व्युत्पन्नकरण में होंगे। सबसे छोटी वर्दी वर्ग C क्या है जिसके लिए कोई यह साबित कर सकता है कि C …

9 complexity 

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

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

विकिपीडिया [1] बताता है कि फ्रीज सबूतों के आकार के लिए सबसे अच्छी ज्ञात निचली सीमा द्विघात है, और यह कि फ्रीज सबूतों की लाइनों की संख्या के लिए कोई ज्ञात सुपरलाइनियर कम सीमा नहीं है। प्रशन: 1) विस्तारित फ्रीज सबूतों की लाइनों की संख्या के लिए सबसे अच्छा ज्ञात …

9 proof-complexity 

क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है? एक nondeterministic रैखिक बाउंड ऑटोमेटन (nLBA) से मेरा मतलब है कि एकल-टेप nondeterministic ट्यूरिंग मशीन है जहाँ इनपुट दोनों छोर पर एंडमार्कर्स के साथ "गद्देदार" आता है जिसे कभी भी अधिलेखित नहीं किया जा सकता है, और ताकि …

9 automata-theory  turing-machines  regular-language  space-bounded 

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

9 graph-theory  automata-theory 

डीएफए को समतुल्य न्यूनतम राज्य डीएफए में परिवर्तित करने के लिए ब्रोज़ोज़ोस्की का एल्गोरिदम उल्लेखनीय रूप से सरल है: यदि डीएफए में सभी किनारों को उलट कर बनाई गई एनएफए को निरूपित करता है , तो पुरानी शुरुआत राज्य को स्वीकार करने वाला राज्य बना देती है, और पुराने को …

9 automata-theory  minimization