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

पी बनाम एनपी और अन्य संसाधन-बाध्य संगणना।

2
क्या मजबूत एनपी-कठोरता वास्तव में सादे पॉलीटाइम कटौती का उपयोग करके दिखाया जा सकता है?
मैंने हाल ही में एक सबूत पढ़ा, जो यह दिखाने के लिए था कि एक समस्या एनपी-हार्ड थी, बस एक एनपी-हार्ड समस्या से इसे (बहुपद समय में) कम करके। इससे मुझे कोई मतलब नहीं था। मैंने सोचा होगा कि आपको यह दिखाना होगा कि कमी में इस्तेमाल की गई कोई …
2
क्या एक सरल तर्क है जो दिखाता है कि अद्वितीय खेल अनुमान पीसीपी प्रमेय का अर्थ है
कोई यह कैसे दिखा सकता है कि "अनोखे खेल अनुमान" और "पीसीपी प्रमेय" के बीच क्या संबंध है? "अनोखा खेल अनुमान" की व्याख्या "PCP प्रमेय" का मजबूत रूप कैसे है?
3
हार्ड कितना एल्गोरिदम का सटीक सिमुलेशन है, और जटिलता वर्गों पर एक संबंधित ऑपरेशन
छेड़ने वाला चूंकि समस्या लंबी है, इसलिए यह एक विशेष मामला है जो इसके सार को पकड़ता है। समस्या: A को 3-SAT के लिए एक हानिकारक एल्गोरिदम माना जाता है। एल्गोरिथ्म ए (समस्या के हर उदाहरण पर) का पूरी तरह से अनुकरण करने की समस्या है। पी-स्पेस हार्ड? (अधिक सटीक …
2
QAC_0 में समानता है (यदि वह भी समझ में आता है)
जैसा कि सर्वविदित है कि पॉली-साइज़ कंटिन्यू-डेप्थ सर्किट में PARITY नहीं की जा सकती है, और वास्तव में const-dept सर्किटों को EXP नंबर की आवश्यकता होती है। क्वांटम सर्किट के बारे में क्या? a) क्या क्वांटम सर्किट के साथ PARIT किया जा सकता है जिसमें निरंतर गहराई और गेट की …
2
श्रेणी सिद्धांत, कम्प्यूटेशनल जटिलता, और कॉम्बिनेटरिक्स कनेक्शन?
मैं " कार्यात्मक एल्गोरिथ्म डिजाइन के मोती ", और बाद में " प्रोग्रामिंग के बीजगणित " को पढ़ने की कोशिश कर रहा हूं , और एक ही पुनरावर्ती परिभाषा वाले और बाद में अग्रणी डेटा प्रकारों और दहनशील वस्तुओं के बीच एक स्पष्ट पत्राचार है। समान औपचारिक बिजली श्रृंखला (या …
3
कुशल लॉगस्पेस एल्गोरिदम
यह देखना आसान है कि कोई भी समस्या जो नियतात्मक लॉगस्पेस ( ) में निर्णायक है वह बहुपद समय ( पी ) पर चलती है । कई ज्ञात लॉगस्पेस एल्गोरिदम (उदाहरण के लिए: अप्रत्यक्ष सेंट-कनेक्टिविटी, प्लानर ग्राफ आइसोमोर्फिज्म) ओ ( एन के ) में चलते हैं जहां के इन्सान बड़े …
4
एक दूसरे समाधान खोजने की जटिलता ने एनपी-पूर्ण समस्या का सही समाधान दिया
मैं यह पता लगाना चाहता हूं कि एनपी-पूर्ण समस्या का दूसरा समाधान खोजने की समस्या के एनपी-पूर्णता के बारे में कोई सामान्य परिणाम या उदाहरण हैं। अधिक सटीक रूप से, मुझे निम्नलिखित फ़ॉर्म की किसी भी समस्या में दिलचस्पी है: एक समाधान को देखते हुए एक उदाहरण के लिए मैं …
1
सिंप्लेक्स एल्गोरिदम के लिए पैथोलॉजिकल उदाहरणों की संरचना
जहां तक ​​मैं समझता हूं, सभी जानते हैं कि सिम्प्लेक्स एल्गोरिदम के लिए नियतात्मक धुरी नियमों में विशिष्ट इनपुट होते हैं, जिस पर एल्गोरिथ्म को इष्टतम खोजने के लिए घातीय समय (या कम से कम बहुपद नहीं) की आवश्यकता होती है। हमें इन उदाहरणों को 'पैथोलॉजिकल' कहते हैं क्योंकि आमतौर …
1
मनमाने ढंग से सममित कार्यों को पूरा करना
एक वितरण को -fool a function कहा जाता है। यदि । और यह कहा जाता है कि यदि यह उस कक्षा में प्रत्येक फ़ंक्शन को मूर्ख बनाता है, तो यह फ़ंक्शन के एक वर्ग को बेवकूफ बनाने के लिए है। यह ज्ञात है कि -biased रिक्त स्थान उप-वर्ग में समता …
2
बिगिनराइजेशन के लिए शुरुआती गाइड
मुझे इस विषय पर पेयरवाइज़ इंडिपेंडेंस एंड डर्गेनाईज़ेशन पुस्तक मिली , लेकिन यह ट्यूटोरियल ओरिएंटेड की तुलना में अधिक शोध-उन्मुख है। मैं "डर्गेनाईज़ेशन" के विषय में नया हूँ, और इस तरह, मैं जानना चाहता था कि किस संदर्भ से शुरुआत करनी है? मैं साहित्य और इतिहास, साथ ही तकनीकी विवरणों …
2
मानकीकृत CLIQUE की कठोरता?
चलो ० ≤ पी ≤ १0≤पी≤10\le p\le 1 और निर्णय समस्या पर विचार CLIQUE इनपुट: पूर्णांक , ग्राफ साथ कोने और किनारों प्रश्न: क्या में कम से कम कोने पर एक ?पीपी_p जी टी ⌈ पी ( टीरोंरोंsजीजीGटीटीtT पी ( टी2) ⌉⌈पी(टी2)⌉\lceil p\binom{t}{2} \rceil एसजीजीGरोंरोंs CLIQUE की एक आवृत्ति में …
2
कुशल सिद्धों के साथ एम.आई.पी.
यह सर्वविदित है कि दो-प्रचलित इंटरेक्टिव प्रूफ सिस्टम वाली भाषाओं का समूह, जिसमें बहुपद-काल (MIP) में सत्यापनकर्ता चलता है, NEXP है। लेकिन क्या ऐसे संवादात्मक सबूतों की शक्ति पर सीमाएं ज्ञात हैं, जब सिद्धकर्ता सत्ता में प्रतिबंधित हैं? उदाहरण के लिए, बहुपद-काल सिद्धियों के साथ दो-प्रचलित संवादात्मक प्रमाण स्वीकार करने …
4
जानवर-बल और सर्वश्रेष्ठ एल्गोरिथ्म के बीच अंतर के आधार पर जटिलता की वैकल्पिक धारणा?
आमतौर पर, कुशल एल्गोरिदम में एक बहुपद रनटाइम और एक घातीय-बड़े समाधान स्थान होता है। इसका मतलब यह है कि समस्या को दो इंद्रियों में आसान होना चाहिए: पहला, समस्या को बहुपद संख्या में हल किया जा सकता है, और दूसरा, समाधान स्थान को बहुत संरचित किया जाना चाहिए क्योंकि …
2
एच-फ्री कट समस्या
मान लीजिए कि आपको एक जुड़ा हुआ, सरल, अप्रत्यक्ष ग्राफ H दिया गया है। H-free कट समस्या को निम्नानुसार परिभाषित किया गया है: एक सरल, अप्रत्यक्ष ग्राफ जी को देखते हुए, क्या कोई कटौती (दो गैर-खाली सेटों, एल, आर में विभाजन का हिस्सा है) जैसे कि कट-सेट (एल और आर) …
2
है
निम्नलिखित पेपर के "पहले पृष्ठ" के "अंतिम पैराग्राफ" में: विक्रमन अरविंद , जोहान्स कोबलर , उवे शॉनिंग , रेनर शुलर , " इफ़ एनपी हैव पॉलिनोमियल-साइज़ सर्किट, तो एमए = एएम," सैद्धांतिक कंप्यूटर विज्ञान, 1995। मुझे कुछ हद तक सहज ज्ञान युक्त दावे का सामना करना पड़ा: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.