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

टीसीएस के दो भाग एल्गोरिदम और जटिलता हैं। मैं सरलता से कहूंगा कि एल्गोरिदम ऊपरी सीमा का अध्ययन है, यह दर्शाता है कि आप कुछ कर सकते हैं (दिए गए सीमित संसाधनों के साथ), और जटिलता यह दिखाने के बारे में है कि आप इसे कुछ न्यूनतम संसाधनों के बिना …

14 cc.complexity-theory  sorting 

किसी दिए गए ग्राफ के शीर्ष कवर की संख्या की # P- पूर्ण समस्या पर विचार करें ।G=(V,E)G=(V,E)G = (V, E) मैं जानना चाहता हूं कि क्या कोई परिणाम है जो दिखा रहा है कि कुछ पैरामीटर के साथ ऐसी समस्या की कठोरता कैसे भिन्न होती है (उदाहरण के लिए, …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

कुछ भाषा पर विचार करें जैसे:एलLL एल ∈ डी टीमैंमइ( ओ ( एफ)( n ) ) ) ∩ D SपीA सीइ( ओ ( जी)( n ) ) )L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) और ऐसा है एल ∉ डी टीमैंमइ( ओ ( एफ)( n ) ) ) ∪ D SपीA सीइ( …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

1) क्या यह संभव है कि एक # पी-पूर्ण समस्या # ए से एक गिनती की समस्या # बी तक (जब निर्णय संस्करण) ए एनपी-पूर्ण हो और बी पी में हो? उदाहरण के लिए, क्या B में P होने पर #SAT से #B तक की पारिश्रमिक में कमी हो सकती …

14 cc.complexity-theory  complexity-classes  counting-complexity 

दो CNF को देखते हुए, यदि उनके पास उन्हें सच करने के लिए समान संख्या में असाइनमेंट हैं, तो "हां" का उत्तर दें, अन्यथा "नहीं" का उत्तर दें। यह देखना आसान है कि यह , क्योंकि अगर हम इन दो सीएनएफ के समाधानों की सही संख्या जानते हैं, तो हम …

14 cc.complexity-theory  complexity-classes  counting-complexity 

, O के परिवार ( लॉग i n ) के सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि एस ए सी मैं के लिए मैं ≥ 1 पूरक और के तहत …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

क्या सबसेट सम या संख्या विभाजन समस्या का एक उदाहरण सांकेतिक शब्दों में बदलना है ताकि पूर्णांक संबंध का एक छोटा (छोटा) समाधान एक उत्तर देता है? यदि निश्चित रूप से नहीं, तो कुछ संभाव्य अर्थों में? मुझे पता है कि LLL (और शायद PSLQ) का उपयोग 'कम-घनत्व' क्षेत्र में …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

समस्या #SAT विहित # P- पूर्ण समस्या है। यह एक निर्णय समस्या के बजाय एक कार्य समस्या है। यह पूछता है, प्रस्तावित तर्क में बूलियन फॉर्मूला गया है, पास कितने संतोषजनक असाइनमेंट हैं । # एसएटी पर सबसे अच्छे निचले सीमा कौन से हैं?एफएफFFएफFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

दो पेपर मैं शामिल करूंगा: डी। कोजेन, " सबसर्किव क्लासेस का अनुक्रमण" , एसटीओसी, 1978। आर। लेडनर, "ऑन द स्ट्रक्चर ऑफ पोलिनोमियल टाइम रिड्यूसबिलिटी" , जेएसीएम , 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

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

14 cc.complexity-theory  computability  np 

यदि आप कार्यक्रम सत्यापन से परिचित हैं, तो आप पृष्ठभूमि से पहले प्रश्न को पढ़ना पसंद करेंगे । यदि आप कार्यक्रम सत्यापन से परिचित नहीं हैं तो आप अभी भी इस प्रश्न का उत्तर देने में सक्षम हो सकते हैं, लेकिन आप पहले पृष्ठभूमि को पढ़ना पसंद करेंगे । पृष्ठभूमि …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

यह मुझे लगता है कि अधिकांश जटिलता सिद्धांतकार आमतौर पर निम्नलिखित दार्शनिक नियम को मानते हैं: यदि हम समस्या लिए एक कुशल एल्गोरिथ्म का पता नहीं लगा सकते हैं , और हम समस्या को समस्या तक कम कर सकते हैं , तो शायद समस्या लिए एक कुशल एल्गोरिदम नहीं है …

14 cc.complexity-theory  big-picture  reductions 

क्या यह ज्ञात है कि सर्किट मूल्यांकन समस्या in ? कैसे के बारे में (वर्दी )? एन सी 1 ए एल ओ जी जी टी आई एम ई एन सी 1 1एन सी1NC1\mathsf{NC^1}एन सी1NC1\mathsf{NC^1}A L o g T T i m eALogTime\mathsf{ALogTime}एन सी1NC1\mathsf{NC^1} हम जानते हैं कि गहराई के सर्किट …

14 cc.complexity-theory  reference-request  circuit-complexity 

मैंने इस पर कुछ खोज की थी लेकिन मुझे इसका कोई जवाब नहीं मिल रहा था। हक ने इसका पूरा जवाब दिया। धन्यवाद :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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

14 cc.complexity-theory  sat  counting-complexity