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

एक फ़ंक्शन एक तरह से अगर को एक बहुपद समय एल्गोरिथ्म द्वारा गणना की जा सकती है, लेकिन हर यादृच्छिक बहुपद समय एल्गोरिथ्म ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*एfffAAA Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) प्रत्येक बहुपद p(n)p(n)p(n) और पर्याप्त रूप से बड़े nnn , यह मानते हुए कि xxx …

16 cc.complexity-theory  cr.crypto-security  one-way-function 

यह प्रश्न "हाइपरबोलिक जगहों में सेलुलर ऑटोमेटा: मौरिस मारगेनस्टर्न द्वारा वॉल्यूम 2" पुस्तक के पृष्ठ 125 के बारे में है, प्रकाशक अभिलेखागार समकालीन, 2008। http://books.google.com/books?id=eEgvfic3A4kC&amp;pg=PA125 लेखक की राय में, सवाल P = NP क्योंकि अतिशयोक्तिपूर्ण सेटिंग P = NP में या में पुस्तक पी बाद में इस्तेमाल किया अंकन में …

16 cc.complexity-theory 

मैं हेक्स के एक प्रकार के बारे में सोच रहा हूं , जहां दो खिलाड़ी बारी-बारी से चलते हैं, प्रत्येक खिलाड़ी एक यादृच्छिक पर उठाया गया एक चाल बनाता है। प्रत्येक खिलाड़ी के जीतने के अवसरों को निर्धारित करना कितना कठिन है? यह समस्या स्पष्ट रूप से PSPACE में है, …

16 cc.complexity-theory  board-games 

निसान ने "स्पेस-बाउंडेड कम्प्यूटेशन के लिए प्यूसेडेरोमेने जनरेटर्स" में साबित किया, कि एक छद्म यादृच्छिक जनरेटर मौजूद है जो अंतरिक्ष-बद्ध कंप्यूटर्स को "मूर्ख" बनाता है। क्या यह निर्माण प्रत्येक ऑरेकल (कम से कम गैर-अनुकूली प्रश्नों के लिए) के लिए है?

16 cc.complexity-theory  space-bounded  derandomization 

पृष्ठभूमि : सुभाष खोत के मूल यूजीसी पेपर ( पीडीएफ ) में, वह यह तय करने की यूजी-कठोरता साबित करता है कि क्या किसी दिए गए सीएसपी उदाहरण के साथ सभी प्रकार की बाधाओं के साथ-साथ एक त्रैमासिक वर्णमाला से अधिक नहीं (ए, बी, सी) एक असाइनमेंट को संतुष्ट करता …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

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

16 cc.complexity-theory  circuit-complexity 

फिक्स्ड बिंदु मुक्त automorphism समस्या एक ग्राफ automorphism जो कम से कम चाल के लिए पूछता है नोड्स। समस्या -complete है यदि किसी भी &gt; 0 के लिए।kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc हालाँकि, यदि तो समस्या बहुपद समय है। Turing reducible to Graph Isomorphism Problem। यदि तो समस्या बहुपद समय है। ट्यूरिंग-ग्राफ ग्राफर समस्या …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

नील इमरमन की विश्व की प्रसिद्ध तस्वीर निम्नलिखित है (विस्तार करने के लिए क्लिक करें): उनके "सच में संभव" वर्ग में कोई अन्य वर्ग शामिल नहीं है; मेरा सवाल यह है: एक एसी 0 समस्या क्या है जो अव्यावहारिक मानी जाती है और क्यों?

16 cc.complexity-theory  circuit-complexity 

क्वांटम कम्प्यूटिंग थ्योरी के लिए आरोनसन की सूची टेन सेमी-ग्रैंड चैलेंज में निम्नलिखित समस्या दिखाई देती है । है बी क्यू पी = बी पी पीबी क्यू एन सीबीक्यूपी=बीपीपीबीक्यूएनसी\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} दूसरे शब्दों में, किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग के लिए संकुचित किया जा सकता है p o l y …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

LogCFL उन सभी भाषाओं का समूह है जो एक संदर्भ-मुक्त भाषा के लिए लॉगस्पेस रिड्यूसबल हैं। इसी तरह, LogDCFL उन सभी भाषाओं का समुच्चय है जो एक नियतात्मक संदर्भ-मुक्त भाषा में लॉगस्पेस रिड्यूसबल हैं। कुछ प्राकृतिक LogCFL- पूर्ण समस्याओं के लिए इस विकिपीडिया लेख को देखें । कई अन्य दिलचस्प …

16 cc.complexity-theory  complexity-classes 

इस समस्या को समझने के लिए मुझे क्या पढ़ना चाहिए? छोटी गहराई वाली क्वांटम सर्किट की शक्ति। क्या ? दूसरे शब्दों में, क्या किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग को पॉलीग्लॉग (n) गहराई तक संपीड़ित किया जा सकता है, बशर्ते हम बहुपद-काल शास्त्रीय पोस्टप्रोसेसिंग करने के लिए तैयार हों? …

16 cc.complexity-theory  reference-request  quantum-computing 

संबंधित समस्या: वेब्लन के प्रमेय में कहा गया है कि "एक ग्राफ एक चक्र अपघटन को स्वीकार करता है अगर और केवल अगर यह भी है"। चक्र किनारे विच्छेदन कर रहे हैं, लेकिन जरूरी नहीं कि नोड असहमति हो। एक और तरीका रखो, "एक ग्राफ के किनारे सेट को चक्रों …

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

मुझे उम्मीद है कि उत्तर नहीं है, लेकिन मैं वास्तव में एक प्रतिरूप का निर्माण नहीं कर सका। अंतर यह है कि में , हम नहीं एक लेने के लिए सक्षम हो सकता है हे ( एन 2 + ε ) में समान रूप से एल्गोरिथ्म ε ।∩ε&gt;0DTIME(O(n2+ε))∩ε&gt;0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε एक …

15 cc.complexity-theory  time-complexity 

मैं एक ऐसी समस्या का अध्ययन कर रहा हूं जो क्वांटिफ़ायर के विकल्प के लघुगणक संख्या के साथ मात्राबद्ध बूलियन फ़ार्मुलों के वर्ग के लिए कठिन है। इस वर्ग में एक समस्या दिखेगी: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F …

15 cc.complexity-theory  boolean-formulas 

लक्ष्य (कठोरता रैंडमनेस कनेक्शन नहीं) के प्रति ठोस प्रमाण दिखाने में सफल व्युत्पन्न या कम से कम प्रगति के कुछ प्रमुख उदाहरण क्या हैं ?P=BPPP=BPPP=BPP एकमात्र उदाहरण जो मेरे दिमाग में आता है, वह है एकेएस निर्धारक बहुपद समय प्राणिकता परीक्षण (यहां तक ​​कि इसके लिए जीआरएच की एक पद्धति …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators