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

क्या कोक जैसे प्रूफ असिस्टेंट का उपयोग करके सिद्धांत और जटिलता सिद्धांत के प्रमाणों को औपचारिक रूप से सत्यापित करने के लिए कोई परियोजना चल रही है? क्या ऐसा करने की कोई सीमाएं हैं?

18 cc.complexity-theory  complexity  proof-assistants 

या दूसरे शब्दों के साथ, हम क्या है कि हर भाषा के लिए और बी , एक ≤ पी बी या बी ≤ पी ए ?एएAबीबीBA ≤पीबीए≤पीबीA \leq_p Bब ≤पीएबी≤पीएB \leq_p A

15 reductions  complexity 

वहाँ मौजूद है , एक NP- या पी-पूरा भाषा है जो समरूपता समूहों में से कुछ परिवार है (या groupoid सेट पर है, लेकिन फिर एल्गोरिथम सवाल अधिक खुला हो जाते हैं) (बहुपद समय में) अभिनय जैसे कि कुछ , जैसे कि बड़ा पर्याप्त के लिए और कुछ , और …

14 np  algebra  gr.group-theory  complexity  symmetry 

में कंकड़ खेल एक लाइन पर वहाँ एन 1 नोड्स एन के माध्यम से 0 लेबल खेल नोड 0. पर एक कंकड़ के साथ शुरू होता है अगर कोई नोड पर एक कंकड़ मैं, आप जोड़ सकते हैं या नोड i + 1 से एक कंकड़ को दूर कर सकते …

13 complexity  reversible-computing 

यह ज्ञात है कि अगर तो बहुपद पदानुक्रम यह संक्षिप्त हो Σ पी 2 और एम ए = ए एम ।NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM क्या सबसे मजबूत करता है, तो होना ही जाना जाता गिर रहे हैं ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

अपनी पुस्तक कम्प्यूटेशनल जटिलता में , पापादिमित्रिउ एफएनपी को निम्नानुसार परिभाषित करता है: मान लीजिए कि एनपी में एक भाषा है । प्रस्‍तावना 9.1 द्वारा, बहुपद-सम्‍मिलित समयानुकूल, बहुपद संतुलित संबंध जो कि सभी तार : साथ एक स्ट्रिंग यदि और केवल यदि । के साथ जुड़े समारोह की समस्या , …

13 complexity 

पी बनाम एनपी समस्या पर स्टीफन कुक के पेपर में, [1] उन्होंने कहा कि निम्नलिखित [२]: व्यवहार्यता थीसिस: एक प्राकृतिक समस्या में एक संभव एल्गोरिथ्म है यदि इसमें एक बहुपद-समय एल्गोरिथ्म है। मेरा सवाल है, वास्तव में वह क्या करता है (या सामान्य तौर पर, एक प्राकृतिक समस्या से) क्या …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

SHORT QUESTION: क्या MAJ-3CNF कई-एक कटौती के तहत एक पीपी-पूर्ण समस्या है? लंबा संस्करण: यह सर्वविदित है कि MAJSAT (यह निर्णय लेना कि प्रपोजल वाक्य के अधिकांश कार्य वाक्य को पूरा करते हैं) PP- कई-एक कटौती के तहत पीपी-पूर्ण है और #SAT # P- पूर्ण कटौती के तहत पूर्ण है। …

10 counting-complexity  complexity  probabilistic-complexity 

तथ्य यह है एक समस्या यह है कि क्या ऍक्स्प समय पूरा हो गया है संकेत मिलता है कि एक में नहीं है डी टी मैं एम ई ( 2 ओ ( n ) ) ?एएAएएAडी टीमैंमइ( २)ओ ( एन ))डीटीमैंमइ(2ओ(n))DTIME(2^{o(n)}) मुझे पता है कि समय पदानुक्रम प्रमेय, कर रहा …

10 exp-time-algorithms  complexity 

एक समूह के लिए मजबूत जनरेटर दिए (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) लंबाई के बिटस्ट्रिंग्स पर अभिनय nnn और एक तत्व s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, कितना मुश्किल यह है कि lexicographically न्यूनतम तत्व की गणना करना G.sG.sG.sकी कक्षा sss में GGG?

9 permutations  gr.group-theory  complexity 

हमें एक समस्या है और हमें एक एल्गोरिथ्म मिला है जो 2-नेक्सपाइम प्रतीत होता है। मैं एक कम बाउंड ढूंढने के लिए ज्ञात 2-नेक्स्टाइम-पूर्ण समस्याओं को ढूंढना चाहूंगा। मुझे साहित्य में मुख्य रूप से ऐसी दो समस्याएं मिलीं: क्या PCP से कम आकार के समाधान के रूप में है22n22n2^{2^n} और …

9 complexity-classes  time-complexity  complexity 

यह ज्ञात नहीं है कि NEXP पी / पाली में निहित है या नहीं। वास्तव में यह साबित करना कि एनईएक्सपी पी / पॉली में नहीं है, इसमें कुछ अनुप्रयोग व्युत्पन्नकरण में होंगे। सबसे छोटी वर्दी वर्ग C क्या है जिसके लिए कोई यह साबित कर सकता है कि C …

9 complexity