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

सवाल: एसी 0 में स्पष्ट कार्य के लिए सबसे अच्छा ज्ञात सूत्र आकार निम्न है ? वहाँ एक स्पष्ट समारोह के साथ एक कम बाध्य है?Ω ( एन2)Ω(n2)\Omega(n^2) पृष्ठभूमि: अधिकांश निचली सीमाओं की तरह, सूत्र आकार की निचली सीमाएँ मुश्किल से आती हैं। मुझे मानक यूनिवर्सल गेट सेट {AND, OR, …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

निम्नलिखित समस्या की जटिलता के बारे में क्या जाना जाता है: दिया गया: तर्कसंगत संख्याएँ ।एक्स1&lt; एक्स2&lt; … &lt; Xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n आउटपुट: पूर्णांक ।y1≤ य2≤ … ≤ यny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n उद्देश्य: Σ1 ≤ मैं &lt; j ≤ nई ( i , …

25 ds.algorithms  reference-request  optimization 

मैं टाइप सिस्टम और इस तरह के एक बहुत कुछ पढ़ रहा हूं और मैं मोटे तौर पर समझता हूं कि उन्हें क्यों पेश किया गया था (रसेल के विरोधाभास को हल करने के लिए)। मैं प्रोग्रामिंग लैंग्वेज और प्रूफ सिस्टम में मोटे तौर पर उनकी व्यावहारिक प्रासंगिकता को समझता …

25 lo.logic  type-theory  proof-theory 

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

25 pl.programming-languages  terminology  term-rewriting-systems 

मैं हाल ही में अर्ली पार्सर पर पढ़ रहा था और मुझे लगता है कि यह सबसे सुरुचिपूर्ण एल्गोरिदम में से एक है जिसे मैंने आज तक देखा है। हालांकि, अपने पारंपरिक अर्थों में एल्गोरिथ्म एक पहचानकर्ता है और एक पार्सर नहीं है , जिसका अर्थ है कि यह पता …

25 fl.formal-languages  parsing 

निम्नलिखित समस्या के लिए एक नियतात्मक बहुपद-समय एल्गोरिथ्म ज्ञात है: इनपुट: एक प्राकृतिक संख्या (बाइनरी एन्कोडिंग में)nnn आउटपुट: एक अभाज्य संख्या ।p&gt;np&gt;np > n (लियोनार्ड एडलमैन द्वारा खुली समस्याओं की एक सूची के अनुसार, समस्या 1995 में खुली थी।)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

के संबंध में लुढ़कना लिंक पहेली, मैं सोच रहा है: मैं एक है मान लीजिए कि वर्ग कक्षों की ग्रिड, और मैं समान रूप से सभी संभव सरल चक्र के बीच यादृच्छिक पर, ग्रिड किनारों का एक सरल चक्र लगाना चाहते हैं।n×nn×nn\times n ऐसा करने का एक तरीका मार्कोव श्रृंखला …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

1) क्या, यदि कोई हो, स्थैतिक टाइपिंग और औपचारिक व्याकरण के बीच संबंध है? 2) विशेष रूप से, क्या यह संभव है कि एक रैखिक बाउंड ऑटोमेटन के लिए यह जांचना संभव है कि क्या, सी + + या एसएमएल कार्यक्रम अच्छी तरह से तैयार है? एक नेस्टेड स्टैक ऑटोमेटन? …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

आमतौर पर एक ग्राफ का निर्माण होता है और फिर आसन्न मैट्रिक्स के बारे में प्रश्न पूछे जाते हैं (या कुछ करीबी रिश्तेदार जैसे लाप्लासियन ) eigenvalue अपघटन (इसे ग्राफ का स्पेक्ट्रा भी कहा जाता है )। लेकिन रिवर्स समस्या के बारे में क्या? eigenvalues को देखते हुए , क्या …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

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

25 cc.complexity-theory 

एक सवाल पूछने के लिए माफी जो निश्चित रूप से बहुत सारे मानक संदर्भों में होनी चाहिए। मैं शीर्षक में बिल्कुल सवाल के बारे में उत्सुक हूं, विशेष रूप से मैं बूलियन सर्किट के बारे में सोच रहा हूं, कोई गहराई से बाध्य नहीं है। मैंने कई अलग-अलग वर्गों की …

25 cc.complexity-theory  circuit-complexity 

मैं पढ़ रहा था इस । इसे कहते हैं ... आप अपने आप को शुद्ध गणित जैसे फंडिंग के लिए भूखे नहीं पाएंगे। (आप अभी भी हमेशा अपने आप को धन के लिए भूखे पाएंगे।) ... शुद्ध गणितज्ञों को धन की आवश्यकता क्यों होती है? सैद्धांतिक शोध करने वाले व्यक्ति …

25 soft-question  career 

अरे दोस्तों, मैं समझता हूँ कि गद्दी चाल हमें जटिलता वर्गों ऊपर की तरफ का अनुवाद करने की अनुमति देता है - उदाहरण के लिए । पैडिंग इनपुट को "फुलाकर" काम करता है, रूपांतरण चला रहा है ( एन पी से पी कहें ), जो एक "मैजिक" एल्गोरिथ्म देता है …

25 cc.complexity-theory  complexity-classes  padding 

क्या निम्नलिखित समस्या की जटिलता का अध्ययन किया गया है? इनपुट : एक क्यूबिक (या अनियमित) ग्राफ जी = ( वी , ई ) , एक प्राकृतिक ऊपरी बाध्य टी333G=(V,E)G=(V,E)G=(V,E)ttt प्रश्न : वहाँ के एक विभाजन है में | ई | / आकार 3 के 3 भाग जैसे कि (गैर-कनेक्टेड) …

25 graph-theory  np-hardness  co.combinatorics 

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

25 cc.complexity-theory  reference-request