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

मान लें कि एनपी = सह-एनपी और बहुपद 3-CNF उदाहरण x के लिए असंतोषजनकता के प्रमाण की लंबाई को सीमित करता है । तो क्या इस पर कोई परिणाम नहीं हैं फार्म के लिए unsatisfiability के लिए किसी प्रमाण की एक्स लंबाई की ≤ पी ( एक्स ) ले जा …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

किसी दिए गए ग्राफ़ , सेपरेटर समस्या पूछती है कि क्या छोटी कार्डिनैलिटी (या वजन) का एक शीर्ष या किनारे सेट मौजूद है, जिसका निष्कासन G को लगभग समान आकारों के दो अलग-अलग ग्राफ़ में विभाजित करता है । इसे वर्टेक्स सेपरेटर प्रॉब्लम कहा जाता है, जब हटाया गया सेट …

11 cc.complexity-theory  approximation-hardness 

जबकि एक ईई अंडरग्रेजुएट मैंने कुछ व्याख्यानों में भाग लिया, जिन्होंने कितने नेस्टेड लूप के संदर्भ में बूलियन सर्किट का अच्छा लक्षण वर्णन प्रस्तुत किया। जटिलता में, बूलियन सर्किट को अक्सर डैग के रूप में माना जाता है, लेकिन वास्तविक हार्डवेयर में साइकिल आम हैं। अब, एक लूप क्या है …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

ओमर रीडिंग द्वारा अप्रत्यक्ष सेंट-कनेक्टिविटी लॉग-स्पेस एल्गोरिथ्म की सटीक समय जटिलता क्या है ?

11 cc.complexity-theory  randomness 

किसी भी सरल अप्रत्यक्ष ग्राफ जी को देखते हुए, यह निर्धारित करना nontrivial है कि क्या G के पास nontrivial (गैर-पहचान) ऑटोमोटिव है। लेकिन इस निर्णय समस्या के ऊपरी / निचले सीमा पर परिणाम क्या हैं?

11 cc.complexity-theory  graph-isomorphism  automorphism 

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

11 cc.complexity-theory  complexity-classes  np 

बता दें कि कोह कोहेन / बेयर श्रेणी के अर्थ में GGG एक सामान्य आभूषण है। आज्ञा देना RRR यादृच्छिक यादृच्छिक है। क्या A G = B G के साथ A और B की जटिलता कक्षाएं हैं AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R या दूसरी तरह के आसपास, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} सवाल स्कॉट आरोनसन की …

11 cc.complexity-theory  complexity-classes 

एन-क्वीन समस्या यह है: इनपुट: एन आउटपुट: NXN शतरंजबोर्ड पर N "क्वीन्स" का प्लेसमेंट ऐसा है कि कोई भी दो रानियां एक ही पंक्ति, कॉलम या विकर्ण पर न हों। इस पर एक Google खोज करते हुए, मैंने पाया कि कई प्रोफेसरों द्वारा कई स्लाइड्स का दावा है कि यह …

11 cc.complexity-theory  np-hardness  csp 

मैं एक कम्प्यूटेशनल न्यूरोसाइंस लैब में काम करता हूं जो जोड़े या न्यूरॉन्स के समूहों के बीच आपसी जानकारी को निर्धारित करता है। हाल ही में, बॉस ने "तंत्रिका गतिशीलता की जटिलता" को मापने के लिए अपना ध्यान केंद्रित किया। अनुसंधान की उस पंक्ति को आगे बढ़ाने में, मेरे समूह …

11 cc.complexity-theory  it.information-theory 

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

11 cc.complexity-theory  np-hardness  terminology  reductions 

मैं एसएटी भिन्नता में दिलचस्पी रखता हूं जहां सीएनएफ फॉर्मूला मोनोटोन है (कोई चर नकारात्मक नहीं हैं)। ऐसा सूत्र स्पष्ट रूप से संतोषजनक है। लेकिन कहते हैं कि सच्चे चर की संख्या इस बात का माप है कि हमारा समाधान कितना अच्छा है। तो हम निम्नलिखित समस्या है: मिनिमम ट्रायल …

11 cc.complexity-theory  np-hardness  sat 

क्या ऐसी समस्याएं हैं जिनके औसत मामले की जटिलता उनकी सबसे खराब स्थिति जटिलता के समान है? इन समस्याओं के अंतर्निहित गुण क्या हैं जो औसत मामले को सबसे खराब स्थिति को कम कर सकते हैं?

11 cc.complexity-theory  reductions  average-case-complexity 

मुझे आश्चर्य है कि कई-एक कटौती और ट्यूरिंग कटौती द्वारा परिभाषित एनपीसी कक्षाएं समान हैं। संपादित करें: एक और सवाल, ट्यूरिंग कटौती केवल कुछ सी के लिए सी और सह-सी कक्षाएं ढह रही हैं या क्या कोई वर्ग जैसे कि कोई समस्या मौजूद है जिसमें कार्प कटौती के तहत में …

11 cc.complexity-theory  np-hardness  reductions 

दो-रंगीय परिपूर्ण मिलान समस्या यह तय करना है कि क्या ग्राफ़ में दो रंगों के साथ रंग है जैसे कि प्रत्येक नोड में एक पड़ोसी के समान रंग है। इस समस्या को Schaefer द्वारा एनपी-पूर्ण साबित किया गया था । यह प्लैनर क्यूब ग्राफ के लिए भी एनपी-पूर्ण रहता है। …

10 cc.complexity-theory  np-hardness 

हम के तहत पता इटीएचइटीएचETH हम समाधान नहीं कर सकते ककK में -SUM च( के) पी ओ एल वाई( एन के)च(क)पीओएलy(nक)f(K)poly(nK) किसी भी समारोह के तहत समय च( के)च(क)f(K) (आमतौर पर 2ओ ( के))2हे(क)2^{O(K)} )। वहाँ किसी भी अनुमान है कि रोकता है एक है ( लॉगn )ओ ( के))(लॉग⁡n)हे(क)(\log …

10 cc.complexity-theory  subset-sum