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

चलो s मैं zइsizesize की λλ\lambda इस प्रकार परिभाषित किया जा -नियम: s मैं ze ( x ) = 1size(x)=1size(x) = 1 , s मैं ze ( λ x t । ) = s i zई ( टी ) + १size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , s मैं ze ( …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

कुछ (अच्छी तरह से ज्ञात नहीं) दावे हैं कि क्या सच है, तो पीएच को गिरना चाहिए? संदर्भ (नों) के साथ एक छोटे उच्च स्तरीय अभिकथन वाले उत्तरों की सराहना की जाती है। मैंने बिना ज्यादा किस्मत जाने उल्टा-सीधा करने की कोशिश की।

12 cc.complexity-theory  complexity-classes  big-list 

कम से कम एक सर्किट से अधिक पेड़-चौड़ाई क्या है {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} कंप्यूटिंग मेजर के लिए? यहाँ MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} आउटपुट 1 iff कम से कम आधे इनपुट 111 । मुझे केवल सर्किट के आकार की परवाह है (बहुपद होना चाहिए) और यह कि एक इनपुट को केवल एक बार …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

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

12 type-systems  compilers  dependent-type 

क्या हम स्वतंत्र घातीय यादृच्छिक चर के योग पर एक तीक्ष्ण सांद्रता परिणाम साबित कर सकते हैं, अर्थात X1,…XrX1,…XrX_1, \ldots X_r स्वतंत्र यादृच्छिक चर हो सकते हैं जैसे Pr(Xi&lt;x)=1−e−x/λiPr(Xi&lt;x)=1−e−x/λiPr(X_i < x) = 1 - e^{-x/\lambda_i} । चलो Z=∑XiZ=∑XiZ = \sum X_i । क्या हम फॉर्म P r ( | Z …

12 pr.probability  randomness  chernoff-bound 

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग च ( एन ) + 1 । ( " + 1 वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) हे …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

एक सर्किट पर विचार करें जो इनपुट संख्याओं के रूप में होता है [0,1][0,1][0,1] , और इसमें ऐसे गेट होते हैं जिनमें फ़ंक्शंस max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x और x+y2x+y2\frac{x+y}{2} । सर्किट का आउटपुट तब [0,1] में भी एक संख्या है [0,1][0,1][0,1]। क्या किसी को पता …

12 arithmetic-circuits 

ETH बताता है कि SAT को सब-वेपनीय समय में सबसे खराब स्थिति में हल नहीं किया जा सकता है। औसत मामले के बारे में क्या? क्या एनपी में प्राकृतिक समस्याएं हैं जो औसत मामले में तेजी से कठिन होने के लिए अनुमानित हैं? औसत मामले को इनपुट पर समान वितरण …

12 cc.complexity-theory  np  average-case-complexity 

हम उदाहरण के लिए Koutis-Miller-Peng (Spielman &amp; Teng के काम के आधार पर) से जानते हैं, कि हम बहुत जल्दी रैखिक प्रणालियों को मैट्रिसेस लिए हल कर सकते हैं, जो कि गैर-ऋणात्मक बढ़त भार के साथ कुछ स्पार्फ ग्राफ के लिए ग्राफ लाप्लासियन मैट्रिक्स हैं ।Ax=bAx=bA x = bAAA अब …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)P=NPपी=एनपीP=NP कम शब्दों में, और के परिणाम क्या होंगे ?NP=coNPएनपी=सीओएनपीNP=coNPP≠NPपी≠एनपीP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

मैंने पहले ही सीटीएल में सूत्रों का उदाहरण पढ़ा है, लेकिन एलटीएल में नहीं और इसके विपरीत, लेकिन मुझे एलटीएल फॉर्मूले पर मानसिक समझ हासिल करने में परेशानी हो रही है और वास्तव में दिल में क्या है, अंतर है।

12 lo.logic  model-checking  temporal-logic 

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

12 fl.formal-languages 

\newcommand{\symp}{\Bumpeq} एक सेट X पर एक सुसंगत रिश्ता \ symp_X≎X≎X\symp_X एक प्रतिवर्ती और सममित संबंध है। एक जुटना अंतरिक्ष एक जोड़ी है (एक्स, \ symp_X) , और एक आकारिता च: एक्स \ Y के लिए जुटना रिक्त स्थान के बीच एक रिश्ता है च \ subseteq X \ बार Y …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

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

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

यह सर्वविदित है कि of का पूरक संदर्भ-मुक्त है। लेकिन \ {www \ mid w \ in \ सिग्मा ^ * \} के पूरक के बारे में क्या ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free