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

अपने आप को और कम्प्यूटेशनल जटिलता सिद्धांत के संबंध में संचार जटिलता को प्रेरित करने और जानने के लिए सबसे अच्छे स्रोतों (पुस्तकों और पत्रों) में से कुछ क्या हैं?

9 cc.complexity-theory  reference-request  communication-complexity  books 

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

9 turing-machines  proof-theory  halting-problem 

मुझे यह जानने में दिलचस्पी है कि हम हर दिन के जीवन में मॉडलिंग की समस्याओं में सीमा और कॉलिमिट्स की अवधारणाओं का उपयोग कैसे कर सकते हैं? क्या कोई (सॉफ़्टवेयर) इंजीनियरिंग उदाहरण प्रदान कर सकता है, शायद? या सामान्य तौर पर सहजता से वर्णन करें कि इन अवधारणाओं का …

9 ct.category-theory 

मान लें मेरे पास है कि से लिया तत्वों के साथ सेट संभव वाले। प्रत्येक सेट आकार ( ) का है, जहां सेट ओवरलैप हो सकते हैं। मैं यह निर्धारित करना चाहता हूं कि निम्नलिखित दो समस्याएं एनपी-पूर्ण हैं या नहीं:PPPrrrnnnn&lt;rn&lt;rn<r समस्या ए वहाँ ( ) अलग भीतर सेट सेट …

9 graph-theory  np-hardness 

क्या किसी डिग्राफ की ट्रांसएग्जिटिविटी की जांच करना आसान नहीं है (असममित जटिलता के संदर्भ में) डिग्राफ का ट्रांजेक्टिव क्लोजर लेना? क्या हम यह जानते हैं कि डिगिट सकर्मक है या नहीं, यह निर्धारित करने के लिए से बेहतर कोई बाउंड बाउंड है ?Ω(n2)Ω(n2)\Omega(n^2)

9 graph-theory  directed-acyclic-graph  transitive-closure 

क्या लैम्ब्डा कैलकुलस के समान कोई प्रणाली है जो मजबूत सामान्यीकरण है, इसके शीर्ष पर एक प्रकार की प्रणाली को जोड़ने की आवश्यकता के बिना?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

मैं रैखिक कार्यक्रमों से परिचित हूं, ताकि वे रैखिक उद्देश्य कार्यों और रैखिक बाधाओं के साथ समस्याओं को हल कर सकें। लेकिन क्या semidefinite प्रोग्रामिंग हल कर सकती है कि रैखिक प्रोग्रामिंग नहीं कर सकती? मैं पहले से ही जानता हूं कि अर्ध-अनिश्चित कार्यक्रम रैखिक कार्यक्रमों का एक सामान्यीकरण है। …

9 linear-programming  convex-optimization  semidefinite-programming 

चलो xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} के लिये i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, इस वादे के साथ x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (जहां योग समाप्त हो गया है ZZ\mathbb{Z})। फिर अगर निर्धारित करने की जटिलता क्या हैx=1x=1x = 1? ध्यान दें कि तुच्छ समस्या में निहित है ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} चूंकि x≡1modmx≡1modmx \equiv 1\bmod{m}iff …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

भ्रूण, यदि आपने इसके बारे में नहीं सुना है, तो यहां पढ़ा जा सकता है । यह एक फ़ंक्शन में पुनरावर्ती कॉल के सभी 'पुनरावृत्ति व्यवहार' को खोजने के लिए 'कॉल मैट्रिस' और 'कॉल ग्राफ़' की एक प्रणाली का उपयोग करता है। यह दिखाने के लिए कि एक फ़ंक्शन इसे …

9 lo.logic  computability  functional-programming 

यह सवाल मूल रूप से मैथोवरफ्लो पर पूछे गए सवाल है। मोनैडिक सेकंड ऑर्डर (MSO) तर्क दूसरा ऑर्डर लॉजिक है, जो यूनिरी प्रेडिकेट्स पर परिमाणीकरण के साथ है। यही है, सेटों पर मात्रा का ठहराव। कई एमएसओ लॉजिक्स हैं जो कंप्यूटर विज्ञान में पढ़ाई जाने वाली संरचनाओं के लिए मौलिक …

9 lo.logic  ct.category-theory 

हम सभी जानते हैं कि तुलना-आधारित छँटाई एल्गोरिथ्म की न्यूनतम जटिलता है Log ( एन लॉगn )Ω(nलॉग⁡n)\Omega(n \log n)तुलना। मैं एक ब्लाइंड सॉर्ट करने की कोशिश कर रहा हूं , यानी एक नंबर दिया गया हैnnn एक सर्किट (बूलियन, अंकगणित और "तुलना" गेट्स के साथ) का उत्पादन करता है जो …

9 cc.complexity-theory  terminology  sorting 

कितने चक्र एक में देखते हैं शिखर ग्राफ ऐसी है कि किसी भी ग्राफ चक्र नहीं है ।CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn सीमCmC_m ( m &gt; k )(m&gt;k)(m>k) उदाहरण के लिए , , तब ग्राफ में अधिकतम दो होंगे ताकि में कोईn = 5n=5n=5के = ३k=3k=3सी3C3C_3जीGGसीक( k &gt; 3 ) ।Ck(k&gt;3).C_k …

9 graph-theory  graph-algorithms 

यहाँ एक निकटतम पड़ोसी समस्या है। यह देखते हुए reals (बहुत बड़े !), के साथ साथ वास्तविक को लक्षित , लगता है और जिसका योग के सबसे करीब है । हम ( ) के उचित पूर्व-प्रसंस्करण / अनुक्रमण की अनुमति देते हैं , लेकिन क्वेरी समय (दिए गए ) पर, …

9 ds.algorithms  cg.comp-geom  ds.data-structures 

क्या नैसर्गिक प्रमाण , सापेक्षता और बीजगणित भी अन्य जटिलता वर्गों को अलग करने को प्रभावित करते हैं जैसे आदि?L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE उदाहरण के लिए प्राकृतिक सबूत बाधा को किसी भी सबूत को प्रभावित करना चाहिए क्योंकि यह को अलग करेगा । हालाँकि, और के बीच …

9 cc.complexity-theory  barriers 

मैं अब बेहतर समझने की कोशिश कर रहा हूं कि प्रोग्रामिंग भाषाओं में "अमूर्त व्याख्या" क्या है। मुझे एक अच्छा पुस्तक अध्याय मिला जो एक कम से कम निश्चित तत्व के साथ डोमेन को विस्तारित करने के विचार की व्याख्या करता है, चार स्वयंसिद्ध जो एक निरंतर फ़ंक्शन के लिए …

9 pl.programming-languages  program-analysis