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

यह मानते हुए कि पी! = एनपी, मेरा मानना ​​है कि यह दिखाया गया है कि ऐसी समस्याएं हैं जो पी में नहीं हैं और एनपी-पूर्ण नहीं हैं। इस तरह की समस्या होने के लिए ग्राफ आइसोमॉर्फिज्म का अनुमान लगाया जाता है। क्या एनपी में इस तरह की अधिक 'परतों' …

30 cc.complexity-theory 

एक पूर्णांक को देखते हुए NNN लंबाई के nnn बिट्स, कितना मुश्किल यह उत्पादन के लिए के प्रधानमंत्री कारकों (या वैकल्पिक रूप से कारकों की संख्या) की संख्या है NNN ? यदि हम N का मुख्य गुणनखंड जानते हैंNNN , तो यह आसान होगा। हालाँकि, यदि हम अभाज्य कारकों की …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

मैं एक बहुपद समय एल्गोरिथ्म खोजना चाहता हूं जो यह निर्धारित करता है कि किसी दिए गए सेट के अंतराल में मैटरूट्स मैट्रिक्स का क्रम है। यदि किसी को पता है कि क्या यह समस्या एक अलग जटिलता वर्ग की है, तो यह उतना ही सहायक होगा। संपादित करें: मैंने …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

हाल ही में csese पर पूछे गए दो प्रश्न थे जो या तो संबंधित थे या जिनके पास निम्नलिखित प्रश्न के बराबर एक विशेष मामला था: मान लीजिए आप एक दृश्य है एक 1 , एक 2 , ... एक एन के एन संख्या ऐसी है कि Σ n मैं …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

मान लीजिए कि पी = एनपी सच है। तब क्वांटम कंप्यूटर बनाने के लिए कोई व्यावहारिक अनुप्रयोग होगा जैसे कि कुछ समस्याओं को तेज़ी से हल करना, या क्या कोई ऐसा सुधार अप्रासंगिक होगा जो इस तथ्य पर आधारित है कि P = NP सत्य है? आप उस दक्षता में …

29 cc.complexity-theory  complexity-classes  quantum-computing 

बता दें कि , NP में एक निर्णय (डिसीजन) समस्या को दर्शाता है और # X को उसके काउंटिंग वर्जन को दर्शाता है।XXXXXX किन परिस्थितियों में यह ज्ञात है कि "एक्स एनपी-पूर्ण है" ⟹⟹\implies # # X # P- पूर्ण है? बेशक एक पारिश्रमिक कमी का अस्तित्व एक ऐसी स्थिति …

29 cc.complexity-theory  np-hardness  counting-complexity 

यह अनुमान लगाया जा रहा है कि रूप में बाद से । लेडनर का प्रमेय यह स्थापित करता है कि अगर \ mathsf {P} \ ne \ mathsf {NP} तो \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} / cup \ mathsf {P}) \ ne \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

बहादुर-Vazirani प्रमेय का कहना है कि अगर वहाँ एक सैट सूत्र ठीक एक संतोषजनक काम है, और एक unsatisfiable सूत्र के बीच भेद के लिए एक बहुपद समय एल्गोरिथ्म (नियतात्मक या यादृच्छिक) है - तो एनपी = आरपी । इस प्रमेय को यह दिखाते हुए साबित किया जाता है कि …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

एक वाक्य में: लिए एक पदानुक्रम का अस्तित्व किसी भी तरह के व्युत्पन्न परिणाम का संकेत होगा?BPTIMEBPTIME\mathsf{BPTIME} एक संबंधित लेकिन अस्पष्ट प्रश्न यह है: क्या लिए एक पदानुक्रम का अस्तित्व किसी भी कठिन निचले सीमा को ? क्या इस समस्या का समाधान जटिलता सिद्धांत में ज्ञात बाधा के खिलाफ है?BPTIMEBPTIME\mathsf{BPTIME} …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

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

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

चलो fff एक बूलियन समारोह हो सकता है और के से एक समारोह के रूप च बारे में सोचते हैं {−1,1}n{−1,1}n\{-1,1\}^n करने के लिए {−1,1}{−1,1}\{ -1,1 \} । इस भाषा में f का फूरियर विस्तार केवल वर्ग मुक्त मोनोमियल के संदर्भ में f का विस्तार है। (ये 2n2n2^n मोनोमियल {−1,1}n{−1,1}n\{-1,1\}^n …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

यह अच्छी तरह से Ladner की प्रमेय से जाना जाता है कि अगर P≠NPP≠NP{\mathsf P}\neq \mathsf {NP} , तो असीम कई मौजूद NPNP\mathsf {NP} -intermediate ( NPINPI\mathsf{NPI} ) समस्याओं। इस स्थिति के लिए प्राकृतिक उम्मीदवार भी हैं, जैसे कि ग्राफ आइसोमोर्फिज्म, और कई अन्य, पी और एनपीसी के बीच समस्याएं …

29 cc.complexity-theory  p-vs-np  np-intermediate 

रेयान विलियम्स की हालिया सफलता सर्किट जटिलता कम-बाउंड परिणाम एक प्रमाण तकनीक प्रदान करती है जो जटिलता को कम करने के लिए ऊपरी-बाउंड परिणाम का उपयोग करती है। सुरेश वेंकट इस सवाल के जवाब में, क्या सैद्धांतिक कंप्यूटर विज्ञान में कोई प्रति-सहज परिणाम हैं? , ऊपरी सीमाओं को साबित करके …

29 cc.complexity-theory  lower-bounds 

यह देखना आसान है कि ग्राफ isomorphism (GI) NP में है। यह एक बड़ी खुली समस्या है कि क्या जीआई कोएनपी में है। क्या ग्राफ़ के गुणों के कोई संभावित उम्मीदवार हैं जिनका उपयोग जीआई के सह-प्रमाणपत्र के रूप में किया जा सकता है। किसी भी अनुमान है कि ? …

29 cc.complexity-theory  graph-isomorphism 

हम जानते हैं कि (देखें, उदाहरण के लिए, [1] के सिद्धांत 1 और 3), मोटे तौर पर, उपयुक्त परिस्थितियों में, कार्य जिन्हें बहुपद काल में ट्यूरिंग मशीन द्वारा कुशलतापूर्वक गणना की जा सकती है ("कुशलता से कम्प्यूटेबल") बहुपद तंत्रिका नेटवर्क से व्यक्त किया जा सकता है उचित आकार के साथ, …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning