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

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

27 cc.complexity-theory  co.combinatorics  optimization 

यह प्रश्न कंप्यूटर साइंस स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर सैद्धांतिक कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । ऐसा लगता है कि कई लोगों का मानना है कि , भाग में, क्योंकि वे मानते हैं कि फैक्टरिंग …

27 cc.complexity-theory  np  conditional-results 

बाइनरी मैट्रिक्स (प्रविष्टियाँ या ) द्वारा को देखते हुए , समस्या यह निर्धारित करने के लिए है कि क्या दो बाइनरी वैक्टर मौजूद हैं जैसे कि (सभी ऑपरेशन्स ने पर प्रदर्शन किया है )। क्या यह समस्या एनपी-हार्ड है?mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} यह एनपी में स्पष्ट रूप से है …

27 cc.complexity-theory  np-hardness  linear-algebra 

कम्प्यूटेशनल जटिलता में मोनोटोन और सामान्य संगणना के बीच एक महत्वपूर्ण अंतर है और रज़बोरोव द्वारा एक प्रसिद्ध प्रमेय का दावा है कि 3-SAT और यहां तक ​​कि MATCHING मोनोटोन बुलियन सर्किट मॉडल में बहुपद नहीं हैं। मेरा सवाल सरल है: क्या मोनोटोन सर्किट (या एक से अधिक) के लिए …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

लेख को पढ़ते समय "क्या यह समय जटिलता में विजय की घोषणा करने का समय है?" पर अधिक "गोडेल की खोया पत्र और पी = एनपी" ब्लॉग, वे सीएसपी के लिए विरोधाभास का उल्लेख किया। कुछ लिंक के बाद, googling और wikipeding, मैं लाडनेर के प्रमेय में आया : Ladner …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

मैं प्रश्न के एक विशेष मामले के बारे में पूछना चाहता हूं " यदि किसी नेकां 0 सर्किट एक अनुमेयता की गणना करता है तो यह निर्णय लेना " क्यूईचेंग द्वारा अनुत्तरित छोड़ दिया गया है। बूलियन सर्किट को NC 0 k सर्किट कहा जाता है, यदि प्रत्येक आउटपुट गेट …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

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

27 cc.complexity-theory  circuit-complexity  permutations 

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

27 cc.complexity-theory  big-list  topology 

संतोष के लिए "आसान क्षेत्र" क्या हैं? दूसरे शब्दों में, कुछ सैट सॉल्वर के लिए पर्याप्त स्थितियां एक संतोषजनक असाइनमेंट को खोजने में सक्षम होने के लिए, यह मानते हुए कि यह मौजूद है। एक उदाहरण है जब प्रत्येक खंड एलएलएल के रचनात्मक प्रमाण के कारण कुछ अन्य खंडों के …

27 cc.complexity-theory  sat 

पीटर शोर ने दिखाया कि सबसे महत्वपूर्ण एनपी-मध्यवर्ती समस्याओं में से दो, फैक्टरिंग और असतत लॉग समस्या, बीक्यूपी में हैं। इसके विपरीत, SAT (ग्रोवर की खोज) के लिए सबसे अच्छा ज्ञात क्वांटम एल्गोरिथम केवल शास्त्रीय एल्गोरिथ्म पर एक द्विघात सुधार पैदा करता है, यह इंगित करता है कि एनपी-पूर्ण समस्याएं …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

मैं जानना चाहता हूं कि क्या गैर-एकरूपता व्यवहार में कंप्यूटिंग कार्यों में मदद करती है। यह दिखाने के लिए वहाँ में कार्य कर रहे हैं कि आसान है , किसी भी uncomputable समारोह ले और भाषा पर विचार { }, जो स्पष्ट रूप सरल असमान सर्किट है , लेकिन समान …

27 cc.complexity-theory  uniformity 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

ब्लैक-बॉक्स मॉडल में, इनपुट x पर BPP मशीन के आउटपुट को निर्धारित करने की समस्या Additive त्रुटि 1/3 (कहना) के साथ E r M ( x , r ) निर्धारित करने की अनुमानित गणना समस्या है। ।M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) क्या बीक्यूपी के लिए भी ऐसी ही समस्या है? केन रेगन की …

27 cc.complexity-theory  quantum-computing  black-box 

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

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

चलो एक वर्ग पूर्णांक मैट्रिक्स हो, और एक सकारात्मक पूर्णांक होना। मुझे निम्नलिखित निर्णय समस्या की जटिलता में दिलचस्पी है:MMMnnn क्या का शीर्ष-सही प्रवेश सकारात्मक है?MnMnM^n ध्यान दें कि पुनरावृत्त वर्ग (या किसी अन्य स्पष्ट गणना) के स्पष्ट दृष्टिकोण के लिए हमें संभावित रूप से दोगुने घातीय परिमाण के पूर्णांक …

26 cc.complexity-theory  linear-algebra  matrices