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

शास्त्रीय एल्गोरिदम 3-SAT को समय (यादृच्छिक) या समय (निर्धारक) में हल कर सकते हैं । (संदर्भ: एसएटी पर सर्वश्रेष्ठ ऊपरी सीमाएं )1.3303 एन1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n तुलना के लिए, एक क्वांटम कंप्यूटर पर ग्रोवर के एल्गोरिथ्म का उपयोग करना में एक समाधान प्रदान करेगा , यादृच्छिक रूप से। (यह अभी भी कुछ ज्ञान …

29 quantum-computing  sat  exp-time-algorithms 

निम्नलिखित समस्या अनुसंधान के दौरान सामने आई, और यह आश्चर्यजनक रूप से साफ है: आपके पास सिक्कों का स्रोत है। प्रत्येक सिक्के में एक पूर्वाग्रह होता है, अर्थात् एक संभावना है कि यह "सिर" पर पड़ता है। प्रत्येक सिक्के के लिए स्वतंत्र रूप से प्रायिकता 2/3 है कि इसमें पूर्वाग्रह …

29 ds.algorithms  pr.probability 

हाल ही में 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 

एक स्ट्रिंग में होते हैं, लेकिन वे आमतौर पर सभी अलग नहीं होते हैं। किसी भी अनुवर्ती की अधिकतम आवृत्ति को खोजने की जटिलता क्या है?2n2n2^n उदाहरण के लिए, स्ट्रिंग "परवर्ती" में अनुवर्ती "मुकदमा" की 7 प्रतियां शामिल हैं और यह अधिकतम है। Http://ideone.com/UIp3t पर सैंपल ब्रूट-फोर्स कोड क्या संबंधित …

29 ds.algorithms  string-search 

यह अनुमान लगाया जा रहा है कि रूप में बाद से । लेडनर का प्रमेय यह स्थापित करता है कि अगर \ 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 

यह ज्ञात है कि एल्गोरिदम के एक गणनीय सेट (एक Gödel संख्या द्वारा विशेषता) के साथ, हम गणना नहीं कर सकते हैं (द्विआधारी एल्गोरिथ्म का निर्माण जो संबंधित जांच करता है) एन के सभी सबसेट। एक सबूत को संक्षेप में प्रस्तुत किया जा सकता है: यदि हम कर सकते हैं, …

29 computability  halting-problem 

बहादुर-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