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

क्या कोई ट्यूरिंग मशीन है जो यह तय कर सकती है कि लगभग सभी अन्य ट्यूरिंग मशीनें रुक रही हैं या नहीं? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. क्या …

12 turing-machines  halting-problem 

आधार के आधार पर आकार के आकार के निविष्टियों के साथ एक बूलियन सर्किट द्वारा गणना की गई फ़ंक्शन पर विचार करें। ( 2 के लिए द्वार)।C n s ( n ) = p o l y ( n ) { X O R , A N D , N …

12 circuit-complexity  circuits 

मैंने हाल ही में हारून की सेडिल-कोर को लागू करने का प्रयास किया है , जो एक न्यूनतम प्रोग्रामिंग भाषा है जो गणितीय प्रमेयों को अपनी शर्तों के बारे में साबित करने में सक्षम है। मैंने इस पर λ- एन्कोडेड डेटाैटिप्स के लिए प्रेरण भी साबित किया है, जिससे यह …

12 type-theory  functional-programming  constructive-mathematics 

मान लीजिए कि आपको ऑटोमेटा नीचे दो नियतात्मक धक्का दिया जाता है जो भाषा और पहचानते हैं , और यह निर्धारित करने की इच्छा रखते हैं कि क्या कोई नियमित भाषा जैसे कि और । मूल रूप से, चुनौती यह निर्धारित करने के लिए है कि क्या कोई डीएफए है …

12 automata-theory 

हाल ही में प्रीप्रिंट में https://arxiv.org/abs/1801.00776 , यह दावा किया है कि वास्तविक संख्या समय में सॉर्ट किया जा सकता हे ( एन √nnn और रैखिक स्थान। कागज उचित लगता है, हालांकि मैं एल्गोरिदम को छांटने में विशेषज्ञ नहीं हूं।ओ ( एन लॉगn----√) ,O(nlog⁡n),O(n \sqrt{\log n}), अगर सही है, तो …

12 cc.complexity-theory  ds.algorithms  sorting 

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

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

मैं बहुत विशिष्ट होना चाहता हूं। क्या किसी को डिसप्रिन का पता है या निम्नलिखित प्रस्ताव का प्रमाण है: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

कल्पना करें कि हमारे पास अंक दो आकार सेट हैं । यदि वे केवल रोटेशन से भिन्न होते हैं तो परीक्षण की जटिलता (समय) क्या है? : इसमें रोटेशन मैट्रिक्स जो कि ?mmm हे हे टी = हे टी ओ = मैं एक्स = हे YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY यहां वास्तविक मूल्यों …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

यह बताने वाला पहला व्यक्ति कौन था कि एक भाषा एनपी में है यदि भाषा के लिए एक प्रमाण पत्र को बहुपद समय में सत्यापित किया जा सकता है? क्या हमारे पास एक कागज है जो औपचारिक रूप से यह साबित करता है? टीसीएस समुदाय ने सत्यापन के पक्ष में …

12 reference-request 

हॉल्टिंग समस्या को सर्वविदित होने के लिए जाना जाता है। हालांकि, हॉल्टिंग समस्या के बारे में जानकारी को "संपीड़ित" करना संभव है, ताकि डिकम्प्रेसिंग यह कम्प्यूटेशनल हो। अधिक सटीक रूप से, ट्यूरिंग मशीनों के विवरण से गणना करना संभव है और एक एन -बिट सलाह राज्य के सभी 2 एन …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Klop, van Oostrom, और de Vrijer के पैटर्न के साथ लैम्ब्डा कैलकुलस पर एक पेपर है। http://www.sciencedirect.com/science/article/pii/S0304397508000571 कुछ अर्थों में, एक पैटर्न चर का एक पेड़ है - हालांकि मैं इसके बारे में सिर्फ चर के घोंसले के रूप में सोच रहा हूं, उदाहरण के लिए, (x, y), z), (t, …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

घनत्व एक भाषा के एक समारोह है घ एक्स : एन → एन के रूप में परिभाषित घ एक्स ( एन ) = | { X ∈ एक्स | | x | ≤ एन } | । मान लीजिए एक और बी कुछ परिमित वर्णमाला से अधिक भाषाओं कर रहे …

12 cc.complexity-theory  reductions  structural-complexity 

Dwork एट अल द्वारा बूस्टिंग और डिफरेंशियल प्राइवेसी के परिशिष्ट बी में , लेखक बिना सबूत के निम्नलिखित परिणाम बताते हैं और इसे अज़ुमा की असमानता के रूप में संदर्भित करते हैं: चलो C1,…,CkC1,…,CkC_1, \dots, C_k वास्तविक मूल्य जा यादृच्छिक परिवर्तनीय ऐसी है कि हर एक के लिए i∈[k]i∈[k]i \in …

12 pr.probability 

ओला स्वेन्सन द्वारा इस व्याख्यान नोट्स में: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , यह कहा जाता है कि हम नहीं जानते कि क्या यूक्लिडियन टीएसपी एनपी में है: इसका कारण यह है कि हम यह नहीं जानते कि वर्गमूलों की कुशलता से गणना कैसे करें। दूसरी ओर Papadimitriou द्वारा यह पत्र है: http://www.sciencedirect.com/science/article/pii/0304397577900123 यह …

12 np  tsp  computing-over-reals