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

मान लीजिए कि और सेट पर दो अप्रत्यक्ष रेखांकन हैं । ग्राफ समसामयिक हैं अगर और केवल अगर एक क्रमचय ऐसा है कि , या अधिक औपचारिक रूप से, यदि कोई क्रमचय जैसे कि में एक किनारे है यदि और केवल यदि में बढ़त है । ग्राफ आइसोमॉर्फिज्म समस्या यह …

53 cc.complexity-theory  graph-isomorphism  pcp 

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

52 cc.complexity-theory  ds.algorithms  reference-request 

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

49 cc.complexity-theory  space-bounded  big-picture 

जटिलता सिद्धांत मेरा एक मजबूत माध्यमिक हित है, लेकिन यह मेरा प्राथमिक शोध हित नहीं है, इसलिए मेरे लिए सभी सम्मेलनों में भाग लेने, सभी ब्लॉगों को पढ़ने और "भीड़ सीसी" में यह सुनिश्चित करने की कोई उम्मीद नहीं है: मुझे हर बिट पर गर्म खबर। मैं इसमें से कुछ …

47 cc.complexity-theory  soft-question  research-practice 

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

47 cc.complexity-theory  np-hardness  tree 

हम जानते हैं कि और उस , जहां । हम यह भी जानते हैं कि क्योंकि बाद वाले को लॉगरिदमिक स्पेस के तहत कई समस्याएं होती हैं, कई-एक में कमी होती है जबकि पूर्व नहीं (स्पेस पदानुक्रम प्रमेय के कारण)। आदेश के बीच के रिश्ते को समझने के लिए और …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

कुछ उदाहरणों से शुरू करता हूं। सीवीपी पी में दिखाने के लिए इतना तुच्छ क्यों है लेकिन एल पी में दिखाने के लिए इतना कठिन है; जबकि दोनों पी-पूर्ण समस्याएं हैं। या प्राण-प्रतिष्ठा कर लें। एनपी (जिसे प्रैट की आवश्यकता थी) में पीआई की तुलना में एनपी में कंपोजिट दिखाना …

46 cc.complexity-theory  big-picture 

3SAT के लिए समय और सर्किट की गहराई के लिए सबसे अच्छे वर्तमान निचले सीमा क्या हैं?

46 cc.complexity-theory  lower-bounds  sat 

अरोड़ा और बराक की पुस्तक निम्नलिखित समस्या के रूप में तथ्य प्रस्तुत करती है: फैक्टरिंग = { ⟨ एल , यू, एन⟩|(, A prime p ∈ { L , … , U} ) [ पी | एन] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ …

45 cc.complexity-theory  np-hardness  factoring 

लेडनर के प्रमेय में कहा गया है कि यदि पी's एनपी है, तो जटिलता वर्गों की एक अनंत पदानुक्रम है जिसमें पी और एनपी में सख्ती से समाहित है। प्रमाण एनपी में कई-एक कटौती के तहत SAT की पूर्णता का उपयोग करता है। पदानुक्रम में एक प्रकार की विकृति द्वारा …

45 cc.complexity-theory  reference-request  np-intermediate 

चॉम्स्की (-Schützenberger) पदानुक्रम का उपयोग सैद्धांतिक कंप्यूटर विज्ञान की पाठ्यपुस्तकों में किया जाता है, लेकिन यह स्पष्ट रूप से पूर्ण औपचारिकता चिड़ियाघर आरेख की तुलना में केवल औपचारिक भाषाओं (REG, CFL, CSL, RE) के बहुत छोटे अंश को कवर करता है । क्या वर्तमान शोध में पदानुक्रम अब कोई भूमिका …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

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

44 cc.complexity-theory  ds.algorithms 

यह ज्ञात है कि मीट्रिक TSP को भीतर अनुमानित किया जा सकता है और इसे बहुपद समय में _ से अधिक अनुमानित नहीं किया जा सकता है । क्या घातीय समय में अनुमानित समाधान खोजने के बारे में कुछ ज्ञात है (उदाहरण के लिए, केवल बहुपद स्थान के साथ कदम …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

मुझे हमेशा इंटिग्रिटी गैप (आईजी) के महत्व को समझने और उस पर सीमाएं लगाने में परेशानी हुई । IG समस्या के विश्राम का एक इष्टतम वास्तविक समाधान (a) का एक इष्टतम पूर्णांक उत्तर (गुणवत्ता) का अनुपात है। एक उदाहरण के रूप में शीर्ष कवर (VC) पर विचार करें। वीसी को …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

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

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory