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

जटिलता वर्ग को निम्नानुसार परिभाषित किया गया है ( विकिपीडिया से ):एसपी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 

संचार जटिलता में, लॉग-रैंक अनुमान बताता है कि सी सी ( एम) = ( लॉगआर के ( एम)) )ओ ( 1 )सीसी(म)=(लॉग⁡आरक(म))हे(1)cc(M) = (\log rk(M))^{O(1)} जहाँ M ( x , y ) और r k ( M )सी सी ( एम)सीसी(म)cc(M) की संचार जटिलता है , वह वास्तविक की तुलना …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

रेज़बोरोव द्वारा एक बातचीत में, एक जिज्ञासु थोड़ा बयान पोस्ट किया गया है। यदि FACTORING कठिन है, तो Fermat की छोटी प्रमेय में सिद्ध नहीं है S12S21S_{2}^{1}। क्या है S12S21S_{2}^{1}और वर्तमान सबूत में क्यों नहीं हैं S12S21S_{2}^{1}?

10 cc.complexity-theory  lo.logic  proof-complexity 

मेरा सवाल यह है कि गेट के साथ गहराई वाले 3 बुलियन सर्किट के लिए निचले सीमा क्यों "और" और "xor" निर्धारक के लिए पर अंकगणितीय सर्किट के लिए समान निचले सीमा नहीं है ?ZZ\mathbb{Z} निम्नलिखित तर्क के साथ क्या गलत है: एक अंकगणितीय परिपथ है जो कि निर्धारक की …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

कक्षा 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 

मैं बूलियन सूत्र संतुलन की समस्या की जटिलता के संदर्भों की तलाश कर रहा हूं । विशेष रूप से, क्या यह ज्ञात था कि बूलियन सूत्र में संतुलित हो सकते हैं ?AC0AC0\mathsf{AC^0} क्या बूलियन फॉर्मूला संतुलन का एक सरल प्रमाण है ?AC0AC0\mathsf{AC^0} "सरल" से मेरा मतलब है कि मैं नीचे …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

सबसे अधिक संभावनावादी प्रूफ सिस्टम (उदाहरण के लिए पीसीपी प्रमेय) में, त्रुटि-संभावनाएं आमतौर पर गलत-सकारात्मक के पक्ष में परिभाषित की जाती हैं, अर्थात, एक सामान्य परिभाषा दिख सकती है: यदि तो सत्यापनकर्ता हमेशा स्वीकार करता है, लेकिन अन्य मामले में अस्वीकृति की संभावना कम से कम 1/2 है।x ∈ एलएक्स∈एलx …

10 cc.complexity-theory  pcp  interactive-proofs 

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

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

मैं साहित्य में MAMA\mathsf{MA} और से संबंधित बयान नहीं पा सका हूं NPRPNPRP\mathsf{NP}^\mathsf{RP}; संकेत की सराहना की जाएगी। मेरा मानना ​​है कि वे समान हैं: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} :NPNP\mathsf{NP} मशीन मर्लिन के स्ट्रिंग का अनुमान लगाती है, औरRPRP\mathsf{RP} ऑर्कल स्ट्रिंग की पुष्टि करता है जैसा कि आर्थर करेगा। NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq …

10 cc.complexity-theory  oracles 

चलो हो किसी भी ऍक्स्प पूरा समस्या। फिर, पी ए = एन पी ए ।AAAPA=NPAPA=NPAP^A = NP^A चलो कुछ ओरेकल कि प्रश्नों कि खातों में ले जाता है हो सकता है एम (पी में एक टीएम) कर देगा, और हम प्राप्त कर सकते हैं पी बी ≠ एन पी बी …

10 cc.complexity-theory  oracles  relativization 

एलन ट्यूरिंग के जन्मदिन के उपलक्ष्य में, Google ने एक मशीन दिखाते हुए एक डूडल प्रकाशित किया । डूडल किस तरह की मशीन है? क्या यह ट्यूरिंग पूर्ण भाषा व्यक्त कर सकता है? शास्त्रीय ट्यूरिंग मशीन के स्पष्ट अंतर हैं: एक परिमित टेप, कैसे राज्य से जुड़ा हो सकता है, …

10 cc.complexity-theory  turing-machines 

विकिपीडिया लिखते हैं: FPT में निर्धारित पैरामीटर ट्रैक्टेबल समस्याएं हैं, जो कि समय पर हल की जा सकती हैं कुछ कम्प्यूटेशनल फ़ंक्शन के लिए ओ ( 1 ) एफ । आमतौर पर, इस फ़ंक्शन को एकल घातीय के रूप में माना जाता है, जैसे कि 2 ओ ( के ) …

10 cc.complexity-theory  fixed-parameter-tractable 

निर्णय लेने का ग्राफ होमोमोर्फिज्म सामान्य एनपी-पूर्ण में है। क्या कोई परिणाम हैं जो इस समस्या का अध्ययन करते हैं जब अंतर्निहित ग्राफ़ में बीजीय संरचना होती है (जैसे कि केली या केली कोसेट ग्राफ़ से होमोमोर्फिज्म तय करना अन्य ग्राफ़ के साथ कुछ निश्चित संरचना के साथ भी)? इसके …

10 cc.complexity-theory  graph-theory  co.combinatorics 

एक nondeterministic ट्यूरिंग मशीन (NTM) की गणना अच्छी तरह से विन्यास के एक पेड़ के रूप में प्रतिनिधित्व करने के लिए जाना जाता है, जो शुरुआती कॉन्फ़िगरेशन में निहित है। कार्यक्रम में किसी भी संक्रमण को इस पेड़ में एक पिता-बच्चे लिंक द्वारा दर्शाया गया है। इसी तरह के पेड़ों …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism