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

Mahaney की प्रमेय हमें बताता है एक विरल होती है कि अगर बहुपद समय में कई-एक में कटौती के तहत -Complete सेट है, तो पी = एन पी । (" एनपी के लिए विरल पूर्ण सेट देखें : बर्मन और हार्टमैनिस के एक अनुमान का समाधान "एनपीNPNPP=NPP=NPP = NP क्या …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

बर्मन-हार्टमैनिस अनुमान: सभी एनपी-पूर्ण भाषा एक जैसे दिखते हैं, इस अर्थ में कि वे एक-दूसरे से संबंधित हो सकते हैं बहुपद समय समरूपता [1]। मुझे "बहुपद समय" के एक अधिक बारीक-बारीक संस्करण में दिलचस्पी है, अर्थात् यदि हम पैरामीटर किए गए कटौती का उपयोग करते हैं। एक पैरामिट्रीकृत समस्या का …

10 complexity-classes  np-complete  fixed-parameter-tractable 

समस्याएं, एक समग्र रूप से वर्गीकृत की गई हैं, कम्प्यूटेशनल जटिलता के लिए धन्यवाद। लेकिन, अंतर समीकरणों में, क्या उनके कम्प्यूटेशनल संरचना के आधार पर अंतर समीकरणों को वर्गीकृत करना संभव है? उदाहरण के लिए, यदि पहले क्रम के गैर-सजातीय समीकरण को 100 वें क्रम के सजातीय समीकरण के मुकाबले …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

आइए एक भाषा में NP को केवल और केवल अगर प्रमाणित करें तो:एल ∈L∈L \in एक बहुपद मौजूद ऐसी है कि हर निवेश के लिए एक्स ∈ Σ * आकार के n , अगर एक्स ∈ एल फिर सेट यू x प्रमाण पत्र की यू जो सत्यापित करें कि एक्स …

10 cc.complexity-theory  complexity-classes 

अगर हम यह साबित कर सकते हैं कि , तो क्या इसका मतलब यह है कि ?एल = पीएल=पी\mathsf{L}=\mathsf{P}एन एल = एन पीएनएल=एनपी\mathsf{NL}=\mathsf{NP} मैंने सोचा था कि यह मामला है, लेकिन मैं इसे साबित नहीं कर सकता (ऐलान के लिए भी)।

10 cc.complexity-theory  complexity-classes  nondeterminism 

जटिलता वर्ग को निम्नानुसार परिभाषित किया गया है ( विकिपीडिया से ):एसपी2S2P\textrm{S}_2^\textrm{P} एक भाषा में है यदि वहां मौजूद एक बहुपद समय विधेय ऐसी है किएलLLएसपी2S2PS_2^PपीPP यदि , तो वहां मौजूद एक ऐसा है कि सभी के लिए ,x ∈ एलएक्स∈एलx \in Lyyyzzzपी( एक्स , वाई, ज़ेड) = 1पी(एक्स,y,z)=1P(x,y,z)=1 यदि …

10 cc.complexity-theory  complexity-classes 

कक्षा BPNC ( और का संयोजन ) लॉग समांतर एल्गोरिदम को बाउंड एरर प्रायिकता और एक यादृच्छिक स्रोत तक पहुंच के साथ होना चाहिए (मुझे यकीन नहीं है कि यह एक अलग नाम है)। डीबीपीएनसी को समान रूप से परिभाषित करें, सिवाय इसके कि सभी प्रक्रियाओं को एल्गोरिदम स्टार्टअप पर …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

BPPBPP\mathsf{BPP} और दो बुनियादी संभाव्यता जटिलता वर्ग हैं।ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} -टाइम ट्यूरिंग एल्गोरिदम द्वारा तय की गई भाषाओं की श्रेणी है जहाँ एल्गोरिथ्म की गलत उत्तर देने की संभावना होती है, अर्थात त्रुटि प्रायिकता अधिकांश (हाँ और दोनों के लिए कोई उदाहरण नहीं)।1313\frac{1}{3} दूसरी ओर, एल्गोरिदम को उन संभाव्य एल्गोरिदम के …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

प्रसंग : Kavvadias और Sideri पता चला है कि उलटा 3-सैट समस्या coNP पूरा है: यह देखते हुए पर मॉडल का एक सेट चर, वहाँ एक 3-CNF सूत्र ऐसी है कि मॉडल की अपनी सटीक सेट है? एक तत्काल उम्मीदवार सूत्र उत्पन्न होता है, जो सभी मॉडलों के संयोजन है …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

एक भाषा कक्षा में है डी पी iff वहाँ दो भाषाएं हैं एल 1 ∈ एन पी और एल 2 ∈ सी ओ एन पी ऐसी है कि एल = एल 1 ∩ एल 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 एक विहित अपूर्ण समस्या SAT-UNSAT है: दो …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

में इस सवाल है, यह उल्लेख किया गया था चावल की प्रमेय के वर्णनात्मक जटिलता संस्करणों रहे हैं। मुझे निम्नलिखित प्रमेय का प्रमाण मिला: एक जटिलता वर्ग को देखते हुए सी , में भाषाओं के nontrivial गुण सी में नहीं की जा सकती सी मैंने पहले पाया गया सबूत पोस्ट …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

क्या अनुकूलन समस्याओं के ऑनलाइन समकक्षों से युक्त कोई जटिलता वर्ग ज्ञात है? यदि नहीं, तो ऐसे वर्ग को कैसे परिभाषित किया जा सकता है? हम जानते हैं कि कई समस्याओं का अपना ऑनलाइन संस्करण है: उदाहरण के लिए बिन पैकिंग समस्या का ऑनलाइन संस्करण। ऑनलाइन समस्याएं कठिन हैं क्योंकि …

10 cc.complexity-theory  complexity-classes 

मुझे यह जानकर आश्चर्य होता है कि एनपीआई में विपरित भाषा (यहाँ तक कि विलंबित डायगनोलाइज़ेशन द्वारा निर्मित) भी हैं, इस धारणा के तहत कि ।पी≠ एनपीP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

मान लेंP≠NPP≠NPP \neq NP टेट्रेशन के लिए निम्नलिखित संकेतन उपयोग करें (यानी। )।iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | उदाहरण x का आकार है। L को एक भाषा होने दो,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } …

10 cc.complexity-theory  np-hardness  complexity-classes 

क्या हमारे पास औसत वर्गीय जटिलता के संबंध में जटिलता वर्ग हैं? उदाहरण के लिए, क्या समस्याओं के लिए (नामित) जटिलता वर्ग है जो तय करने के लिए अपेक्षित बहुपद समय लेता है? एक और सवाल सबसे अच्छा मामला जटिलता पर विचार करता है, नीचे दिया गया है: क्या (प्राकृतिक) …

10 cc.complexity-theory  complexity-classes