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

निम्नलिखित पेपर के "पहले पृष्ठ" के "अंतिम पैराग्राफ" में: विक्रमन अरविंद , जोहान्स कोबलर , उवे शॉनिंग , रेनर शुलर , " इफ़ एनपी हैव पॉलिनोमियल-साइज़ सर्किट, तो एमए = एएम," सैद्धांतिक कंप्यूटर विज्ञान, 1995। मुझे कुछ हद तक सहज ज्ञान युक्त दावे का सामना करना पड़ा: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} …

17 cc.complexity-theory  complexity-classes 

एक सरल अप्रत्यक्ष ग्राफ को देखते हुए GGG, उपसमूह A≠∅A≠∅A\neq \emptyset का पता लगाएं , जैसे कि के लिए किसी भी शिखर x∈Ax∈Ax\in A पर की पड़ोसियों के कम से कम आधा xxx में भी कर रहे हैं AAA , और AAA का आकार न्यूनतम है। यही है, हम एक …

16 graph-theory  graph-algorithms  np-hardness 

आमतौर पर इस्तेमाल किया जाने वाला पासवर्ड हैशिंग एल्गोरिदम आज भी इसी तरह काम करता है: पासवर्ड को नमक करें और इसे केडीएफ में फीड करें। उदाहरण के लिए, PBKDF2-HMAC-SHA1 का उपयोग करते हुए, पासवर्ड हैशिंग प्रक्रिया है DK = PBKDF2(HMAC, Password, Salt, ...)। क्योंकि HMAC गद्देदार चाबियों के साथ …

16 np-hardness  cr.crypto-security  np-complete  security 

हम जानते हैं कि (, अब के बारे में 40 वर्षों के लिए Adleman, बेनेट और गिल धन्यवाद) है कि शामिल किए जाने के बीपीपी ⊆⊆\subseteq पी / पाली, और एक और भी मजबूत बीपीपी / पाली पी / पाली पकड़। "/ पॉली" का अर्थ है कि हम गैर-समान रूप …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

यह ज्ञात है कि तीन सामान्य मैट्रोइड्स का प्रतिच्छेदन एनपी-हार्ड ( स्रोत ) है, जो हैमिल्टन चक्र से कमी के माध्यम से किया जाता है। कमी एक ग्राफिक मैट्रोइड और दो कनेक्टिविटी मैट्रोइड का उपयोग करती है। एक समस्या का एक विशेष मामला जिस पर मैं काम कर रहा हूं …

16 reference-request  np-hardness  reductions 

Savitch की प्रमेय से पता चलता है कि सभी बड़ा पर्याप्त कार्यों के लिए चNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff , और साबित करना है कि इस तंग दशकों के लिए एक खुला समस्या रही है है । मान लीजिए हम दूसरे छोर से समस्या का सामना कर रहे हैं। सादगी के लिए, …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

हाल ही में, बाबई ने एसटीओसी 2016 पर एक पत्र प्रकाशित किया है जिसमें दावा किया गया है कि ग्राफ़ आइसोमोर्फिज्म को क्सिपोलिनोमोमी समय में हल किया जा सकता है। 2017 की शुरुआत में, बाबली ने हेराल्ड हेलफोट द्वारा मिली कुछ गंभीर गलतियों के कारण क्वासिपोलिनोमियल दावे को वापस ले …

16 graph-isomorphism 

मैं सकारात्मक पूर्णांक मानों की एक सरणी को क्रमबद्ध करने में रुचि रखता हूं L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n रैखिक समय में (रैम मॉडल में समान लागत माप के साथ, यानी, पूर्णांक लॉगरिदमिक आकार तक हो सकता है, लेकिन उन पर अंकगणितीय संचालन माना जा सकता है। इकाई समय लें)। …

16 reference-request  time-complexity  sorting 

यह ऑटोमेटा पाठ्यक्रमों में एक मानक प्रमाण है कि और कि एक संदर्भ-मुक्त भाषा नहीं है।L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} यह भी सच है कि किसी भी परिमित , परिमित है (और इसलिए CFL)। मैं अनुमान लगा रहा हूं कि असीम और नियमित रूप …

16 context-free 

मेरा एक छात्र हाल ही में निम्नलिखित प्रश्न पूछता है: मान लेंवहाँ एक h (n) मौजूद होना चाहिए जैसे कि DTIME (f (n)) \ subsetneq DTIME (h (n)) \ subsetneq DTIME (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? यह संभवत: एच (एन) का निर्माण करके सच दिखाया जा सकता …

16 cc.complexity-theory 

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

16 cc.complexity-theory  turing-machines  ct.category-theory 

1950 और 1960 के दशक के कई कंप्यूटर विज्ञान प्रकाशनों में मन की प्रकृति और भौतिक दुनिया के संबंध में जानकारी के अर्थ पर आकर्षक दार्शनिक अटकलें शामिल हैं। प्रसिद्ध उदाहरण हैं "ट्यूरिंग टेस्ट", ज़ूस का "कैलकुलेटिंग स्पेस", व्हीलर का "बिट से इट" आदि। आज इस तरह के विषय व्यापक …

16 reference-request  soft-question  philosophy 

एक प्रश्न से प्रेरित होकर ग्रेग कुपरबर्ग ने मुझसे पूछा, मुझे आश्चर्य हो रहा है कि क्या कोई कागजात है जो विभिन्न प्रकार के ज्ञान के प्रमाण स्वीकार करने वाली भाषाओं की जटिलता कक्षाओं को परिभाषित और अध्ययन करता है । SZK और NISZK जैसी कक्षाएं एक जटिलता के दृष्टिकोण …

16 complexity-classes  cr.crypto-security  zero-knowledge 

जटिलता वर्ग और के जोड़े के कुछ उदाहरण क्या हैं जैसे किAAABBB हम नहीं जानते कि क्या , औरA=BA=BA=B हम विरोधाभासी सापेक्षताओं को नहीं जानते (या तो, हम और नहीं जानते हैं कि और )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q प्रश्न को दूसरे तरीके से वाक्यांश करने के लिए, हेयुरिस्टिक के …

16 cc.complexity-theory  complexity-classes  relativization 

नियतात्मक पुशडाउन ऑटोमेटा की औपचारिक वर्णन में, वे अनुमति देते हैं चलता है, जहां मशीन पॉप या इनपुट से एक प्रतीक पढ़ने के बिना ढेर पर प्रतीकों धक्का कर सकते हैं। यदि इन be चालों की अनुमति नहीं है, और स्टैक को केवल एक बार प्रत्येक प्रतीक को पढ़ने के …

16 automata-theory  context-free