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

लीनियर प्रोग्रामिंग और के-मीन्स जैसी कई समस्याओं के लिए सटीक एल्गोरिदम के रनटाइम को समझने के लिए कई बार स्मूदड विश्लेषण को लागू किया गया है। इस दायरे में काफी सामान्य परिणाम हैं, उदाहरण के लिए, हेइको रोगलिन और बर्थोल्ड वॉकिंग, पूर्णांक प्रोग्रामिंग का चिकनी विश्लेषण , 2005। इन सामान्य …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

सुडोकू एक प्रसिद्ध पहेली है जो एनपी-पूर्ण है। बाइनरी सुडोकू एक ऐसा संस्करण है जो केवल संख्या और 1 की अनुमति देता है । नियम इस प्रकार हैं।000111 प्रत्येक पंक्ति और प्रत्येक कॉलम में शून्य और समान संख्या होनी चाहिए। प्रत्येक पंक्ति और प्रत्येक स्तंभ अद्वितीय है। किसी भी पंक्ति …

12 cc.complexity-theory  np-hardness  puzzles 

मैं बाध्य डिग्री के साथ रेखांकन के शीर्ष रंग पर कठोरता के परिणामों की तलाश कर रहा हूं। ग्राफ को देखते हुए , हम जानते हैं कि किसी भी , यह लगभग एक कारक के भीतर के लिए कठिन है जब तक कि [ 1 ]। लेकिन क्या होगा यदि …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

शेफर की द्विभाजन प्रमेय से पता चलता है कि प्रत्येक CSP समस्या से अधिक या तो बहुपद समय में हल करने योग्य है या एनपी-पूर्ण है। यह केवल उदाहरण के लिए, SAT और हॉर्न-SAT को छोड़कर, बंधी हुई चौड़ाई की CSP समस्याओं के लिए लागू होता है। अनबाउंड चौड़ाई की …

12 cc.complexity-theory  lo.logic  csp 

व्यापक रूप से गलत होने के लिए अनुमान लगाया गया है।आर पी=NPRP=NPRP = NP लेकिन एक पल के लिए कल्पना कीजिए कि यह सच है। ऐसे मामले में, उस कितनी संभावना होगी ?P=NPP=NPP = NP दूसरे शब्दों में कहें: एक ऐसी दुनिया में जहां , अभी भी हमें पी = …

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

फिक्स एक एन पी-सम्पूर्ण खोज सैट की खोज प्रपत्र जैसे समस्या। लेविन खोज एक्स को हल करने के लिए एक एल्गोरिथ्म एल प्रदान करता है जो कुछ अर्थों में इष्टतम है। विशेष रूप से, एल्गोरिथ्म " इनपुट एक्स पर डिटेलिंग में सभी संभावित कार्यक्रमों पी को निष्पादित करें , एक …

12 cc.complexity-theory  time-complexity  p-vs-np 

हार्ड-कोर बोसॉन (सममित लेकिन कोई डबल अधिभोग) की क्वांटम यादृच्छिक चलना का उपयोग करके ग्राफ आइसोमोर्फिज्म समस्या पर हमला करने के कुछ प्रयास किए गए हैं। आसन्न मैट्रिक्स की सममितीय शक्ति, जो आशाजनक लग रही थी, इस पत्र में आमिर रहनामई बरगी और इल्या पोनोमेनरेको द्वारा सामान्य रेखांकन के लिए …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

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

12 cc.complexity-theory  quantum-computing  query-complexity 

एन नोड्स के साथ एक निर्देशित ग्राफ को देखते हुए कि प्रत्येक शीर्ष पर दो आउटगोइंग किनारों हैं, और एक प्राकृतिक संख्या एन बाइनरी में एनकोडेड है, दो कोने एस और टी, मैं एन चरणों के भीतर एस से टी तक (जरूरी नहीं कि सरल) पथों की संख्या को गिनना …

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

एक "समस्या" को परिभाषित एक एल्गोरिथ्म होने के लिए प्राकृतिक संख्या को स्वीकार करने और लौटने 0 या 1 जो रिटर्न 1 कम से कम एक पर n ∈ एन । ऐसे किसी भी n को A को "समाधान" कहा जाता हैAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA एल्गोरिथ्म को एक समस्या स्वीकार करने …

12 cc.complexity-theory  ai.artificial-intel 

अगर हमें आकार n1n1n_1 और दो तार दिए जाते हैं n2n2n_2, तो मानक Levenshtein संपादित दूरी गणना एक गतिशील एल्गोरिथ्म द्वारा समय जटिलता ओ ( एन)1n2)हे(n1n2)O(n_1 n_2) और अंतरिक्ष जटिलता ओ ( एन)1n2)हे(n1n2)O(n_1 n_2) । (कुछ सुधार संपादित दूरी एक समारोह के रूप में किए जा सकते हैं घघd, लेकिन …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

एक एमपीए (मल्टीएबल ऑटोमेटोन) एक 2DFA (दो-तरफा नियतात्मक परिमित ऑटोमोटन) है जो किसी दिए गए इनपुट w पर कंकड़ की वास्तव में संख्या का उपयोग कर सकता है (वास्तव में कंकड़ - इनपुट दो छोर के बीच टेप पर लिखा गया है। -मार्कर्स # w # के रूप में )। …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

अरोड़ा और बराक दिखाते हैं कि को रूप में व्यक्त किया जा सकता है, अर्थात 3SAT को यादृच्छिक रूप से कम करने वाली भाषाओं का समूह। भी का एक प्राकृतिक यादृच्छिकीकृत सामान्यीकरण है जिसमें आप निर्धारक सत्यापनकर्ता को यादृच्छिक रूप से प्रतिस्थापित करते हैं।ए एमएम\mathsf{AM}बी पी ⋅ एन पीबीपी⋅एनपी\mathsf{BP}\cdot \mathsf{NP}एम …

12 cc.complexity-theory  big-picture 

कहो एक एक भाषा है , लेकिन एक नहीं जानता है कि क्या वास्तव में तार भाषा का हिस्सा हैं। सभी एक है भाषा की एक निश्चित दृश्य है: तार के एक परिमित सेट एक ⊆ एल उस भाषा में जाना जाता है, और तार के एक परिमित सेट बी …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

यह आमतौर पर पथरी के बारे में कारण के लिए सरल है जहां सीमा "समय की बहुपद राशि में कम्प्यूटेशनल" जैसी सीमा की बजाय संगणना की परिमितता है। उदाहरण के लिए औपचारिक भाषाओं सिद्धांत रूप में, बल्कि उपयोग करने के लिए अनावधिक monoid चिह्नित करने के लिए, यह profinite शब्दों …

12 cc.complexity-theory  computability