cc.complexity-theory पर टैग किए गए जवाब

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग च ( एन ) + 1 । ( " + 1 वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) हे …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

ETH बताता है कि SAT को सब-वेपनीय समय में सबसे खराब स्थिति में हल नहीं किया जा सकता है। औसत मामले के बारे में क्या? क्या एनपी में प्राकृतिक समस्याएं हैं जो औसत मामले में तेजी से कठिन होने के लिए अनुमानित हैं? औसत मामले को इनपुट पर समान वितरण …

12 cc.complexity-theory  np  average-case-complexity 

हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)P=NPपी=एनपीP=NP कम शब्दों में, और के परिणाम क्या होंगे ?NP=coNPएनपी=सीओएनपीNP=coNPP≠NPपी≠एनपीP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

निम्नलिखित प्रश्न जटिलता सिद्धांत पर लागू क्रिप्टोग्राफी से विचारों का उपयोग करता है। उस ने कहा, यह एक विशुद्ध रूप से जटिलता-सिद्धांत संबंधी प्रश्न है, और इसका जवाब देने के लिए किसी भी क्रिप्टो ज्ञान की आवश्यकता नहीं है। मैं जानबूझकर इस प्रश्न को बहुत अनौपचारिक रूप से लिखता हूं। …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

मेरे पास एक प्रमाण प्रयास का हिस्सा है ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}। प्रमाण के प्रयास में कर की कमी होती है⊕P⊕P\oplus \mathbf{P}- अपूर्ण समस्या ⊕⊕\oplus3-REGULAR VERTEX COVER to SAT। एक घन ग्राफ दिया GGGकमी CNF सूत्र का उत्पादन करती है FFF दोनों निम्नलिखित गुण हैं: FFF सबसे ज्यादा है 111 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

अंतरिक्ष-पदानुक्रम प्रमेय से यह ज्ञात होता है कि यदि अंतरिक्ष-निर्माण योग्य है तो DSPACE ( ) DSPACE ( बराबर नहीं है ।fff2 f ( n ) f ( n ) )2f(n)2f(n)2f(n)f(n))f(n))f(n)) यहाँ, DSPACE ( मेरा तात्पर्य उन सभी समस्याओं के वर्ग से है जिन्हें कुछ निश्चित वर्णमाला के साथ ट्यूरिंग …

11 cc.complexity-theory  complexity-classes 

सामान्य प्रश्न क्या अंतरिक्ष पदानुक्रम प्रमेय गैर-गणन अभिकलन को सामान्य करता है? यहाँ कुछ और विशिष्ट प्रश्न दिए गए हैं: है ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly सभी स्थान के लिए रचनात्मक कार्य f(n)f(n)f(n) , क्या DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? किस फ़ंक्शन के लिए h(n)h(n)h(n) यह ज्ञात है कि: सभी अंतरिक्ष के लिए …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

सामान्य रूप से यह तय करने में कि क्या एक डायोफैंटीन समीकरण में कोई पूर्णांक समाधान है, हॉल्टिंग समस्या के बराबर है। मेरा मानना ​​है कि अगर द्विघात डायोफैंटाइन समीकरण का कोई हल है, तो यह तय करना एनपी-पूर्ण है। क्या पी-पूर्ण समस्या उत्पन्न करने वाले समीकरणों पर एक और …

11 cc.complexity-theory  linear-algebra  polynomials 

मुझे क्लासिक समस्या REGANGAR LANGUAGE INCLUSION में दिलचस्पी है। एक नियमित अभिव्यक्ति को देखते हुए , हम एल ( ई ) से जुड़ी नियमित भाषा से निरूपित करते हैं। (रेगुलर एक्सप्रेशन एक निश्चित वर्णमाला पर हैं Σ संचालन संघ, क्लीन-स्टार और संयोजन के साथ,।)इEEएल ( ई)L(E)L(E)ΣΣ\Sigma इनपुट: दो नियमित अभिव्यक्ति …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

आज्ञा देना एक निर्देशित चक्रीय ग्राफ है , और λ एक लेबलिंग फ़ंक्शन है जो प्रत्येक परिमाण v tex V को कुछ परिमित वर्णमाला L में एक लेबल λ ( v ) की मैपिंग करता है । लेखन एन : = | वी | एक संस्थानिक तरह की एक द्विभाजन …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

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

11 cc.complexity-theory  quantum-information 

संक्षेप में, सवाल यह है: किस हद तक, कठिन कार्यों के लिए कम्प्यूटेशनल क्षमता वास्तव में आसान कार्यों को हल करने में आपकी मदद करती है। (इस प्रश्न को रोचक और गैर-तुच्छ बनाने के लिए कई तरीके हो सकते हैं, और यहाँ एक ऐसा प्रयास है।) प्रश्न 1: एनटी चर …

11 cc.complexity-theory  dc.parallel-comp 

CNF सूत्र के विपरीत एक दो बार पढ़ने में, प्रत्येक चर दो बार दिखाई देता है, एक बार सकारात्मक और एक बार नकारात्मक। मैं में दिलचस्पी रहा हूँ समस्या, रीड-दो बार विपरीत CNF सूत्र के संतोषजनक कार्य की संख्या की समता कंप्यूटिंग में होते हैं जो।⊕ आरडब्ल्यूटी-ओपी-सीएनएफ⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} मैं इस तरह …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

हैं एल्गोरिथम ग्राफ सिद्धांत / संख्या सिद्धांत / साहचर्य / सूचना सिद्धांत / खेल सिद्धांत। क्या एल्गोरिथम गणितीय विश्लेषण है? विकी के अनुसार, गणितीय विश्लेषण में भेदभाव, एकीकरण, माप, सीमा, अनंत श्रृंखला और विश्लेषणात्मक कार्यों के सिद्धांत शामिल हैं। वास्तविक विश्लेषण (विकी) पर ध्यान देना ठीक है जो वास्तविक संख्या …

11 cc.complexity-theory  reference-request  soft-question  computability 

मैं सोच रहा था कि यह भाषा किस वर्ग की है: एल = { ⟨ जी , कश्मीर ⟩ | जीएल={⟨जी,क⟩|जीL =\{ \langle G,k \rangle \mid G एक ग्राफ है, ककk एक प्राकृतिक संख्या है और ककk , G की वर्णनात्मक संख्या है }जी }जी}G\} मैंने रूप में सोचा (1) …

11 cc.complexity-theory  np-hardness  complexity-classes