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

मान लेते हैं कि । एन पी मैं में समस्याओं का वर्ग है एन पी , जिसमें न तो कर रहे हैं पी है और न ही में एन पी -हार्ड। आप यहाँ N P I होने के लिए अनुमानित समस्याओं की एक सूची पा सकते हैं ।P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} …

16 cc.complexity-theory  np-hardness  np-intermediate 

मैं समूहों को शामिल करने वाले जटिलता सिद्धांत के क्षेत्र में जानकार नहीं हूं इसलिए मैं माफी मांगता हूं अगर यह एक प्रसिद्ध परिणाम है। प्रश्न 1. आज्ञा देना एक सरल अप्रत्यक्ष ग्राफ ऑफ ऑर्डर n है । G के शीर्ष-सकर्मक होने पर यह निर्धारित करने की कम्प्यूटेशनल जटिलता ( …

16 cc.complexity-theory  graph-theory  gr.group-theory 

मान लीजिए कि, प्रत्येक , एक ट्यूरिंग मशीन जो समय में एक भाषा का निर्णय करती है । क्या एक एकल एल्गोरिथ्म समय में तय कर रहा है ? (यहां, शब्द को , इनपुट लंबाई के संदर्भ में मापा जाता है ।)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn यदि एल्गोरिदम …

16 cc.complexity-theory  asymptotics 

आयत पैकिंग समस्या में, किसी को आयतों का एक सेट दिया जाता है और आयत । कार्य की एक प्लेसमेंट मिल रहा है अंदर ऐसे में से कोई भी है कि ओवरलैप rectangles। आम तौर पर, प्रत्येक आयत का तय होता है। यही है, आयतों को घुमाया नहीं जा सकता। …

16 cc.complexity-theory  np-hardness  packing 

यह ज्ञात नहीं है कि ग्राफ आइसोमॉर्फिज़्म (जीआई) दृढ़ता से नियमित ग्राफ़ (एसआरजी) के लिए पी में है । क्या कोई संकेत है कि यह GI -Complete हो सकता है या नहीं ? क्या ऐसे मामलों में कोई मजबूत परिणाम हैं? (इस विश्वास के समान कि जीआई एनपी-पूर्ण नहीं हो …

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

मैं इस समस्या में दिलचस्पी रहा हूँ: एक अनिर्दिष्ट ग्राफ को देखते हुए , वहाँ के एक विभाजन है जी रेखांकन में जी 1 ( ई 1 , वी 1 ) और जी 2 ( ई 2 , वी 2 ) ऐसी है कि जी 1 और जी 2 आइसोमॉर्फिक …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

कुरोदा के एक क्लासिक परिणाम के द्वारा, जटिलता वर्ग NSPACE [ ]nnn (जिसे NLIN-SPACE के रूप में भी जाना जाता है) वास्तव में संदर्भ-संवेदनशील भाषाओं का वर्ग CSL है । संतुष्टि की समस्या SAT NSPACE [ ] में है, क्योंकि समाधान के लिए रैखिक-आकार के अनुमान को पुस्तक-रखने के लिए …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

एक साथ इनपुट बिट्स की गणना करने के लिए आवश्यक बाइनरी गेट्स की न्यूनतम संख्या क्या है ? तुच्छ ऊपरी बंध । मेरा मानना ​​है कि यह इष्टतम है, लेकिन इसे कैसे साबित किया जाए? मानक गेट उन्मूलन तकनीक यहां काम नहीं करती है क्योंकि इनपुट वेरिएबल्स में से किसी …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

मैं एक ऐसी समस्या की तलाश कर रहा हूं, जो सामान्य रेखांकन में , लेकिन पेड़ की चौड़ाई के ग्राफ़ में में है, वास्तव में मुझे लगता है कि यह समस्याएँ में सामान्य डायनेमिक प्रोग्रामिंग का उपयोग करने की तुलना में कठिन हैं उन्हें हल करने के लिए बेहतर रेखांकन।Σपी2Σ2पी\mathsf{\Sigma^P_2}पीपी\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

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

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

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

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

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

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

यह सर्वविदित है कि क्लाज के साथ वैरिएबल पर यादृच्छिक -CNF फॉर्मूले पर्याप्त रूप से बड़े निरंतर लिए उच्च संभावना के साथ असंतोषजनक हैं (यानी वे विरोधाभास हैं) । इस प्रकार, यादृच्छिक सीएनएफ फ़ार्मुलों ( लिए पर्याप्त रूप से) असंतोषजनक बूलियन फ़ार्मुलों पर एक प्राकृतिक वितरण का गठन होता है …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

चलो निरूपित की एक स्ट्रिंग Kolmogorov जटिलता एक्स । क्या कोई स्ट्रिंग मौजूद है जैसे कि K ( x x ) < K ( x ) । (यहाँ एक्स एक्स के संयोजन है एक्स के साथ ही)। ऐसा ही एक लेकिन अलग प्रश्न पूछा गया था यहाँ है, लेकिन counterexample …

16 cc.complexity-theory  kolmogorov-complexity