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

ऐसी बहुत सी परिस्थितियाँ हैं जहाँ एक यादृच्छिक "प्रमाण" एक निर्धारक प्रमाण की तुलना में बहुत आसान है, विहित उदाहरण बहुपद पहचान परीक्षण है। प्रश्न : क्या कोई प्राकृतिक गणितीय "प्रमेय" है जहां एक यादृच्छिक प्रमाण ज्ञात है लेकिन एक निर्धारक प्रमाण नहीं है? के एक बयान के "यादृच्छिक प्रमाण" …

15 lo.logic  randomness  randomized-algorithms  proofs 

अनुभवजन्य साक्ष्य के बजाय, किन औपचारिक सिद्धांतों से हमने साबित किया है कि क्वांटम कंप्यूटिंग पारंपरिक / शास्त्रीय कंप्यूटिंग से तेज होगी?

15 quantum-computing 

हम एक ग्राफ के एक पेड़ के अपघटन दिया जाता है जब चौड़ाई के साथ डब्ल्यू , वहाँ कई तरीके है जिसमें हम इसे "अच्छा" बना सकते हैं। विशेष रूप से, यह ज्ञात है कि यह यह एक पेड़ अपघटन में बदलना संभव है जहां पेड़ द्विआधारी है और इसकी …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

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

15 computability 

यह दिखाने का एक तरीका है कि असमानताओं की एक रैखिक प्रणाली की व्यवहार्यता की जांच करना उतना ही कठिन है जितना कि रैखिक प्रोग्रामिंग दीर्घवृत्तीय विधि द्वारा दी गई कमी के माध्यम से है। एक और भी आसान तरीका इष्टतम समाधान का अनुमान लगाना है और इसे द्विआधारी खोज …

15 ds.algorithms  linear-programming 

ग्राफ आइसोमॉर्फिज्म ( ) -intermediate समस्या के लिए अच्छा उम्मीदवार है। जब तक न हो, इन्टरमीडिएट समस्याएं मौजूद हैं । मैं प्राकृतिक समस्या यह है कि के लिए मुश्किल है के लिए देख रहा हूँ सैनिक कार्प कमी (ए ग्राफ समस्या के तहत एक्स ऐसी है कि सैनिक <_P ^ …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

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

15 cc.complexity-theory  complexity-classes 

यह प्रतीकात्मक निष्पादन की विकी प्रविष्टि में लिखा गया है , लेकिन मुझे इसके लिए कोई संदर्भ नहीं मिल रहा है। क्या कोई मुझे पॉइंटर दिखा सकता है? धन्यवाद।

15 reference-request  lo.logic  program-analysis 

मैं इनपुट एक DAG के रूप में दिया हूँ GGG की nnn कोने जहां प्रत्येक शिखर xxx अतिरिक्त कुछ के साथ लेबल है S(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} । का एक संस्थानिक तरह GGG एक द्विभाजन है fff के कोने से GGG को {1,…,n}{1,…,n}\{1, \ldots, n\} ऐसा है कि सभी …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

बहुपद समय में एनपी पूरी समस्याओं के लिए सन्निकटन एल्गोरिदम के बारे में अध्ययन कर रहे हैं और घातीय समय में सटीक एल्गोरिदम। फार्म की subexponential समय में एनपी पूरा समस्याओं के लिए सन्निकटन एल्गोरिथम के बारे में वहाँ अध्ययन कर रहे हैं जहां δ 2 ∈ ( 0 , …

15 approximation-algorithms  approximation-hardness 

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

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

यह ज्ञात है कि एक नियमित अभिव्यक्ति के आकार को छोटा करना, भले ही हमारे पास भाषा के विनिर्देशन के रूप में डीएफए हो । यदि भाषा परिमित है तो परिणाम क्या हैं? एक दो मॉडल में इस समस्या पर विचार कर सकता है: इनपुट भाषा में सभी स्ट्रिंग्स हैं, …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

मैं उम्मीद कर रहा था कि कोई मुझे समझाने में सक्षम हो सकता है कि क्यों सबसेट उत्पाद समस्या दृढ़ता से एनपी-हार्ड है जबकि सबसेट समस्या एनपी-हार्ड कमजोर है। सबसेट सम: X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} और , करता है वहाँ मौजूद एक सबसेट ऐसा है कि ।TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T सबसेट …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

आप इस तरह के Y Combinator या ओमेगा Combinator के रूप में untyped लैम्ब्डा-पथरी में पुनरावर्ती combinators, को देखें, तो: ωY==(λx.xx)(λx.xx)λf.(λx.f(xx))(λx.f(xx))ω=(λx.xx)(λx.xx)Y=λf.(λx.f(xx))(λx.f(xx)) \begin{array}{lcl} \omega & = & (\lambda x.\,x\;x)\;(\lambda x.\,x\;x)\\ Y & = & \lambda f.\,(\lambda x.\,f\;(x\;x))\; (\lambda x.\,f\;(x\;x)) \\ \end{array} यह स्पष्ट है कि ये सभी कॉम्बिनेटर अपनी परिभाषा में …

15 lo.logic  pl.programming-languages  linear-logic 

यह प्रश्न प्रस्तावक तर्क के बारे में है और "प्रस्ताव" की सभी घटनाओं को "प्रस्ताव प्रस्ताव" के रूप में पढ़ा जाना चाहिए। यह सवाल कुछ बेहद बुनियादी है लेकिन यह मुझे कुछ समय के लिए परेशान कर रहा है। मैं ऐसे लोगों को देखता हूं जो प्रस्ताव को पूरा करते …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution