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

प्रोग्रामिंग भाषाओं, विशेष रूप से कार्यक्रम विश्लेषण और संकलन से उत्पन्न होने वाली कुछ प्रमुख, खुली कम्प्यूटेशनल जटिलता समस्याएं क्या हैं? मैं "हिंडले-मिलनर प्रकार के अनुमान की समय जटिलता" या "0CFA की समय जटिलता" (हालांकि दोनों हल की गई समस्याएं हैं) की तर्ज पर समस्याओं की तलाश कर रहा हूं।

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

क्या CNF को किसी अन्य CNF परिवर्तित करना संभव हैCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) फ़ंक्शन को कुछ गुप्त यादृच्छिक पैरामीटर से बहुपद समय में गणना की जा सकती है ।ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) का एक समाधान है यदि और केवल if में समाधान है।CC\mathcal C किसी भी समाधान को का उपयोग करके कुशलतापूर्वक …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

एक गैर-नियतात्मक बूलियन सर्किट में साधारण इनपुट , "गैर-निर्धारक" इनपुट y = ( y 1 , … , y m ) का एक सेट है । एक गैर-नियतात्मक सर्किट C इनपुट x को स्वीकार करता है यदि y मौजूद है जैसे कि सर्किट आउटपुट 1 ऑन ( x , y …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

पृष्ठभूमि यह ज्ञात है कि वहाँ एक ओरेकल मौजूद है जैसे कि, पी एस पी ए सी ई ई ए that पी एच ए ।AAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A यह भी ज्ञात है कि पृथक्करण यादृच्छिक यादृच्छिक के सापेक्ष होता है। अनौपचारिक रूप से, इसका अर्थ यह हो सकता है कि कई …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

में Sakarovitch की किताब ऑटोमेटा सिद्धांत पर, उस पर अनुभाग के लिए परिचय में लिखा है मुक्त समूह में परिमेय है कि सामग्री उसमें प्रस्तुत "विषय से मुक्त भाषाओं के वास्तव में एक गणितीय सिद्धांत की नींव" देता है। फिर भी, यह स्पष्ट नहीं किया गया है, क्योंकि संदर्भ-मुक्त भाषा …

17 context-free  automata-theory  reference-request 

मान लीजिए कि हमें एक परिमित सेट है में डिस्क की , और हम सबसे छोटी डिस्क की गणना करना चाहते हैं जिसके लिए ⋃ एल ⊆ डी । यह करने के लिए एक मानक तरीका Matousek, Sharir और Welzl [1] के एल्गोरिथ्म का उपयोग एक आधार खोजने के लिए …

17 cg.comp-geom  linear-programming  computational-geometry 

कई प्रमेय और "विरोधाभास" - कैंटर के विकर्णीकरण, घृणा की अनिर्वायता, कोलमोगोरोव जटिलता की अयोग्यता, गोडेल इनकम्प्लेन्टेस, चैटिन इनकम्प्लेसेनेस, रसेल के विरोधाभास, आदि - सभी अनिवार्य रूप से विकर्णकरण द्वारा एक ही प्रमाण है (ध्यान दें कि यह विशिष्ट है) विकर्णकरण से सभी सिद्ध होते हैं, बल्कि, ऐसा लगता है …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

मैं एक गणितज्ञ हूं जो मुख्य रूप से आत्म-सहायक और एकात्मक ऑपरेटरों के वर्णक्रमीय सिद्धांत में काम करता है। मेरे कुछ शोध क्वांटम वॉक में प्रासंगिकता के हैं, और मेरे पास विशेष रूप से एक पेपर है जिसे मैं इस जनवरी में सिएटल में क्वांटम सूचना प्रसंस्करण सम्मेलन में प्रस्तुत …

17 soft-question  conferences 

मैं सबसे छोटे संभव सार्वभौमिक कॉम्बिनेटर की तलाश कर रहा हूं , जो लैम्बडा कैलकुलस में ऐसे कॉम्बिनेटर को निर्दिष्ट करने के लिए आवश्यक अमूर्त और अनुप्रयोगों की संख्या से मापा जाता है । यूनिवर्सल कॉम्बिनेटर के उदाहरणों में शामिल हैं: आकार 23: λf.f (fS (KKKI)) के आकार 18: λf.f …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

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

17 cc.complexity-theory  phase-transition 

यह ज्ञात है कि समता फलन की गणना करने वाले के न्यूनतम आकार बिल्कुल बराबर है । निचला बाध्य प्रमाण गेट उन्मूलन विधि पर आधारित है। 3 ( n - 1 )यू2यू2U_23 ( एन - 1 )3(n-1)3(n-1) हाल ही में, मैंने देखा कि गेट एलिमिनेशन विधि nondeterministic लिए भी अच्छी …

17 cc.complexity-theory  reference-request  circuit-complexity 

यह कागज दावा करता है कि ब्लूम फिल्टर में त्रुटि दर का पारंपरिक विश्लेषण गलत है, फिर वास्तविक त्रुटि दर का एक लंबा और nontrivial विश्लेषण प्रदान करता है। जुड़ा हुआ पेपर 2010 में प्रकाशित हुआ था, फिर भी मैंने देखा है कि ब्लूम फिल्टर के पारंपरिक विश्लेषण को विभिन्न …

17 ds.data-structures 

कल्पना कीजिए, हमने चर्च संख्याओं के रूप में प्राकृतिक रूप से टाइप किए गए लैम्ब्डा कैलकुलस में प्राकृतिक संख्याओं को परिभाषित किया। उन्हें निम्नलिखित तरीके से परिभाषित किया जा सकता है: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ …

17 type-theory  lambda-calculus  dependent-type 

एक निर्देशित ग्राफ के लिए , V , E lic , क्या कोई डेटा संरचना है जो द्विघात स्थान या रैखिक समय की आवश्यकता के बिना पुन: संचालन की अनुमति देता है? आदर्श रूप में मैं केवल O (लॉग एन) स्पेस प्रति वर्टेक्स और लॉगरिदमिक समय का उपयोग करके एक …

17 graph-algorithms 

इस समस्या पर विचार करें: परिमित सेटों की सूची को देखते हुए, एक जो छोटा करता है ।| s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + …रों1, एस2, एस3, …s1,s2,s3,…s_1, s_2, s_3, \ldots| रों1| + …

17 cc.complexity-theory  ds.algorithms  optimization