counting-complexity पर टैग किए गए जवाब

सवाल। उनके पेपर में स्टेबलाइजर सर्किट के बेहतर सिमुलेशन , आरोनसन और गोट्समैन का दावा है कि CNOT सर्किट का अनुकरण pleteL -complete (लॉगस्पेस रिडक्शन के तहत) है। यह स्पष्ट है कि यह isL में निहित है ; कठोरता कैसे पकड़ती है? समान रूप से: क्या पुनरावृत्त मैट्रिक्स उत्पादों मॉडुलो …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

दहनशील प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति में कई समस्याएं हैं जिनके लिए कोई सकारात्मक सूत्र ज्ञात नहीं है। ऐसे कई उदाहरण हैं जिनके बारे में मैं सोच रहा हूं, लेकिन मुझे अपने उदाहरण के रूप में कंप्यूटिंग क्रोनएफ़िशिएंसी लेने दें । आमतौर पर, "सकारात्मक सूत्र" की धारणा को कॉम्बिनेटरिक्स में …

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

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

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

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

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

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

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

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

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

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

14 cc.complexity-theory  sat  counting-complexity 

हम किसी दिए गए सामान्य बूलियन फॉर्मूला (CNF-SAT), एक दिए गए DNF फॉर्मूला, या यहां तक ​​कि दिए गए 2SAT फॉर्मूला में एक # पी-पूर्ण समस्या है , संतोषजनक संख्या की गणना की समस्या को जानते हैं । अब, CNF-SAT पर कोई नकारात्मक शाब्दिक (no negative , हमेशा ) के …

13 sat  counting-complexity  polynomial-time  monotone 

समानता-एल, भी रूप में जाना जाता एल, एक गैर नियतात्मक ट्यूरिंग मशीन है जो केवल सम संख्या या "स्वीकृति" पथ की विषम संख्या के बीच भेद कर सकते हैं के द्वारा मान्यता प्राप्त भाषाओं का सेट है। हाल ही में संबंधित प्रश्न निएल डी बेउड्राप द्वारा पूछा गया था।⊕⊕\oplus मेरा …

13 cc.complexity-theory  counting-complexity 

यह प्रश्न पेंग झांग के एक मैथोवर्फ्लो प्रश्न से प्रेरित है । वैलेन्ट ने दिखाया कि सामान्य ग्राफ़ में अधिकतम संख्याओं की गिनती करना # P- पूर्ण है, लेकिन क्या होगा यदि हम अतुलनीयता के ग्राफ (यानी, हम एक परिमित स्थिति में अधिकतम एंटीचिन को गिनना चाहते हैं) को सीमित …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

मैं गिनती के रूप में संदर्भित करता हूं वह समस्या है जो किसी फ़ंक्शन के समाधान की संख्या खोजने में शामिल होती है। दरअसल, यह देखते हुए एक समारोह च: एन→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\} (जरूरी नहीं कि ब्लैक बॉक्स), अनुमानित # { X ∈ एन∣ च( x …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

हाल ही में, मैं होलोग्राफिक एल्गोरिदम के लिए एक परिचय पर जा रहा था। मैं Pfaffians नामक कुछ दहनशील वस्तुओं के पार आया। मैं वास्तव में इस समय उन लोगों के बारे में ज्यादा नहीं जानता और कुछ आश्चर्यचकित उपयोगों के बारे में पता लगा सकता हूं, जिन्हें लगाया जा …

13 reference-request  co.combinatorics  counting-complexity 

एक मोनोटोन -2 सीएनएफ फॉर्मूला एक सीएनएफ फॉर्मूला है जहां प्रत्येक क्लॉज को वास्तव में 2 पॉजिटिव शाब्दिक रूप से बनाया जाता है। अब, मेरे पास एक मोनोटोन -2 सीएनएफ फॉर्मूला । बता दें कि एस एफ के संतोषजनक काम का सेट है । मेरे पास एक ओरेकल ओ है …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

एन नोड्स के साथ एक निर्देशित ग्राफ को देखते हुए कि प्रत्येक शीर्ष पर दो आउटगोइंग किनारों हैं, और एक प्राकृतिक संख्या एन बाइनरी में एनकोडेड है, दो कोने एस और टी, मैं एन चरणों के भीतर एस से टी तक (जरूरी नहीं कि सरल) पथों की संख्या को गिनना …

12 cc.complexity-theory  graph-theory  counting-complexity 

आज्ञा देना जी एक जुड़ा ग्राफ है। यदि निम्न प्रकार के हैं तो सभी जुड़े हुए सबग्राफ की गिनती की जटिलता क्या है ? जी सामान्य है। जी प्लानर है। जी द्विदलीय है। मैं किसी भी संरचना या ... के बारे में परवाह नहीं है, बस सभी जुड़े उपसमूह को …

12 cc.complexity-theory  graph-theory  counting-complexity