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

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

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

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

एक फ़ंक्शन दिखाएं जो अंतरिक्ष-निर्माण योग्य है लेकिन समय-कब्जीय नहीं है।च( एन )f(n)f(n) क्या यह समस्या जटिलता वर्गों DTIME (f (n)) और SPACE (f (n)) के बीच संभावित अलगाव से संबंधित है?

10 cc.complexity-theory  space-bounded  separation