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

मैं उलझन में हूं। मैं यह साबित करना चाहता हूं कि छंटनी की समस्याnnn द्वारा nnn मैट्रिक्स अर्थात पंक्तियाँ और स्तंभ आरोही क्रम में हैं Ω (n2लॉगn )Ω(n2लॉग⁡n)\Omega(n^2\log n)। मैं यह मानकर आगे बढ़ता हूं कि यह तेजी से किया जा सकता हैn2लॉगnn2लॉग⁡nn^2\log n और उल्लंघन करने का प्रयास करें …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics 

क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है? इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

1979 से आदि शमीर [1] के पेपर में, वह दिखाता है कि अंकगणित अंकगणितीय चरणों की बहुपद संख्या में किया जा सकता है । इस तथ्य को बहाल किया गया था, और इस तरह मेरे ध्यान में आया, सीधे लाइन कार्यक्रमों (एसएलपी) के संदर्भ में बोरवेइन और होबार्ट [2] के …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

मैं मार्टिन-लोफ प्रकार के सिद्धांत, यानी Coq / Agda में औपचारिक रूप से सत्यापित कंपाइलरों में रुचि रखता हूं। फिलहाल मैंने एक छोटा सा खिलौना उदाहरण लिखा है। इसके अलावा मैं साबित कर सकता हूं कि मेरी आशाएं सही हैं। उदाहरण के लिए कि शून्य के साथ परिवर्धन को समाप्त …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

यह सर्वविदित है कि पेड़ / ग्राफ़ के गुणों को व्यक्त करने के लिए modal -calculusμμ\mu सबसे अधिक अभिव्यंजक लौकिक लॉगिक्स में से एक है, और CTL * कड़ाई से कम अभिव्यंजक -calculus की तुलना में कम है ।μμ\mu यहाँ मैं एक उदाहरण के लिए μμ\mu _ म्यू -क्युलकस सूत्र …

9 lo.logic  model-checking  temporal-logic  mu-calculus 

निम्नलिखित मुझे एक प्राकृतिक परिभाषा की तरह लगता है और मुझे आश्चर्य है कि क्या इसका कहीं अध्ययन किया गया है विचार करें X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}भाषाओं का एक सेट। फिरK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega कहा जाता है "XX\mathsf{X}-अभियोजित जानकारी "जब वहाँ है L∈XL∈XL \in \mathsf{X} सेंट …

9 cc.complexity-theory  reference-request 

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

9 permutations 

मैं इस मिलान समस्या में भाग गया, जिसके लिए मैं एक बहुपद समय एल्गोरिथ्म लिखने में असमर्थ हूं। चलो के साथ शिखर सेट पूरा भारित रेखांकन हो और , क्रमशः, जहां । इसके अलावा, और क्रमशः और के किनारों पर भार कार्य करते हैं।P,QP,QP, QPVPVP_VQVQVQ_V|PV|=|QV|=n|PV|=|QV|=n|P_V| = |Q_V|=nwPwPw_PwQwQw_QPPPQQQ एक द्विभाजन के …

9 graph-theory  optimization 

यह सर्वविदित है कि फंक्शन की त्रुटि क्वांटम क्वेरी जटिलता से बंधी हुई है ओ आर (एक्स1,एक्स2, … ,एक्सn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) है Θ (n--√)Θ(n)\Theta(\sqrt{n})। अब सवाल यह है कि अगर हम चाहते हैं कि हमारी क्वांटम एल्गोरिथ्म संभावना के साथ हर इनपुट के लिए सफल हो1 - ϵ1−ϵ1-\epsilon सामान्य से ज्यादा …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

प्राथमिक-पुनरावर्ती कार्यों पर क्रिस प्रेसे के दिलचस्प सवाल से प्रेरित होकर , मैं वेब पर इस प्रश्न का उत्तर खोजने के लिए अधिक खोज कर रहा था और असमर्थ था। प्राथमिक पुनरावर्ती कार्यों घातीय पदानुक्रम के लिए अच्छी तरह से अनुरूप,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। यह परिभाषा से सीधा लगता …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

यह पोस्ट करी-हावर्ड आइसोमॉर्फिज़्म और मार्टिन-लोफ़ टाइप थ्योरी को संदर्भित करता है । पोस्ट गणित की वर्णन करने वाली भाषा और कंप्यूटर प्रोग्रामिंग की संचालन आधारित भाषा के बीच भविष्य के 'एकीकरण' का दावा करती है। मेरे प्रश्न हैं: क्या इन विचारों से एक बेहतर क्षमता (भाषाओं के माध्यम से) …

9 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

मान लीजिए कि हम 1994 से जोए बी। वेल्स के परिणाम को नहीं जानते हैं, दोनों टाइपेबिलिटी और टाइप चेकिंग सिस्टम एफ (AKA) में अनिर्दिष्ट हैं λ 2λ2\lambda 2)। टाइप्स (1992) के साथ बेंड्रिग्गेट के लैंबडा कैल्कुली में मुझे मालेकी 1989 के कारण एक प्रमाण मिला कि टाइप चेकिंग से …

9 lo.logic  computability  type-theory  lambda-calculus  type-inference 

मैं पी-ऑप्टिमल प्रूफ सिस्टम और लॉजिक के लिए पीटी टाइम पर पेपर को खड़ा करने की कोशिश कर रहा हूं । कागज में प्रूफ सिस्टम नामक एक धारणा है और मुझे इस बारे में जानकारी नहीं है: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... हम सबसेट के …

9 lo.logic  descriptive-complexity  proof-complexity 

एक पेपर को बेहतर ढंग से समझने के लिए मैं कम से कम फिक्स्ड पॉइंट लॉजिक की संक्षिप्त समझ प्राप्त करने की कोशिश कर रहा हूं। कुछ बिंदु हैं जहां मैं फंस गया हूं। यदि एक ग्राफ है औरG=(V,E)जी=(वी,इ)G = (V,E) Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(पी)={(ए,ख)|जी⊨इ(ए,ख)∨पी(ए,ख)∨∃z(इ(ए,z)∧पी(z,ख))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor …

9 lo.logic  descriptive-complexity  finite-model-theory 

यदि आपके पास एक अलग सॉर्टिंग एल्गोरिदम को लागू करने वाले दो कार्य हैं, तो क्या स्रोत कोड द्वारा अनुमान लगाना संभव है कि वे दोनों एक ही बाहरी गुण हैं? इसका अर्थ है कि वे दोनों उनके इनपुट के रूप में एक संभव लिंक नहीं करेंगे और उनके आउटपुट …

9 pl.programming-languages  decidability  formal-methods  extensionality