सैद्धांतिक कंप्यूटर विज्ञान

मैंने इस सवाल को कुछ समय पहले MathOverflow पर पोस्ट किया है , लेकिन मेरी जानकारी के अनुसार यह अभी भी खुला है, इसलिए मैं इसे यहाँ इस उम्मीद में दोहरा रहा हूँ कि किसी ने इसके बारे में सुना होगा। समस्या का विवरण चलो , क्यू और आर में …

21 co.combinatorics  np-hardness 

पी। में एल्गोरिदम को समानांतर करने के बारे में जो कुछ ज्ञात है उसके बारे में मैं एक व्यापक अर्थ में उत्सुक हूं। मुझे इस विषय के बारे में निम्नलिखित विकिपीडिया लेख मिला: http://en.wikipedia.org/wiki/NC_%28complexity%29 लेख में निम्नलिखित वाक्य शामिल हैं: यह अज्ञात है कि नेकां = पी, लेकिन अधिकांश शोधकर्ताओं …

21 cc.complexity-theory  complexity-classes  big-picture 

हम (बहुपद आकार) स्थिर-गहराई सर्किट की सीमाओं के बारे में बहुत कुछ जानते हैं। चूँकि (बहुपद आकार) निरंतर-गहराई वाले सूत्र गणना का एक और भी अधिक प्रतिबंधित मॉडल हैं, एसी 0 में नहीं होने वाली सभी समस्याओं को भी निरंतर-गहराई वाले सूत्र द्वारा गणना योग्य नहीं किया जाता है। हालांकि, …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

क्या एक अच्छा सर्वेक्षण है जो विभिन्न एक्स्ट्रेक्टर्स, कंसंट्रेटर्स और सुपरकेंसेन्ट्रेटर की तुलना करता है और यादृच्छिकता, समय और स्थान के बीच ट्रेडऑफ़ के संदर्भ में सर्वोत्तम तरीकों को बताता है?

21 reference-request  randomness  derandomization 

एक जटिलता वर्ग पृथक्करण प्रमाण अनिवार्य रूप से जटिलता वर्गों की एकरूपता का उपयोग करता है यदि प्रमाण गैर-वर्दी संस्करण के लिए परिणाम को साबित नहीं करता है, उदाहरण के लिए विकर्ण पर आधारित प्रमाण (जैसे समय और स्थान पदानुक्रम प्रमेय) एकरूपता का आवश्यक उपयोग करते हैं, तो उन्हें कार्यक्रमों …

21 cc.complexity-theory 

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

21 cr.crypto-security 

क्या कोई एक या एक से अधिक वेबसाइटों को इंगित कर सकता है, जहां #SAT सॉल्वर का कार्यशील कार्यान्वयन संभव है? मैं उन लोगों में दिलचस्पी रखता हूं जो सटीक समाधान गिनती लौटाते हैं, न कि एक अनुमान।

21 ds.algorithms  sat  software 

(वॉन न्यूमैन ने एक एल्गोरिथ्म दिया जो समान पक्षपाती सिक्कों तक पहुंच के लिए दिए गए एक उचित सिक्के का अनुकरण करता है। एल्गोरिथ्म में संभवतः अनंत संख्या में सिक्कों की आवश्यकता होती है (हालांकि अपेक्षा में, बारीक रूप से कई प्रत्यय)। यह सवाल उस मामले की चिंता करता है …

21 cc.complexity-theory  circuit-complexity  pr.probability 

अगर fff एक उत्तल समारोह तो जेन्सेन की असमानता कहा गया है कि है f(E[x])≤E[f(x)]f(E[x])≤E[f(x)]f(\textbf{E}[x]) \le \textbf{E}[f(x)] , और यथोचित सहित जब fff अवतल है। स्पष्ट रूप से सबसे खराब स्थिति में आप उत्तल लिए के संदर्भ में ऊपरी बाउंड नहीं कर सकते , लेकिन क्या कोई बाउंड है जो …

21 randomness  pr.probability  randomized-algorithms 

यह मुझे लगता है कि टी द्वारा नियोजित मैक्रो भाषाटीइएक्सटीइएक्स\TeX को संभवतः किसी प्रकार की शब्द पुनर्लेखन प्रणाली या कॉल-बाय-नाम स्कूपिंग के साथ किसी प्रकार की प्रोग्रामिंग भाषा के रूप में देखा जा सकता है। टी के आधुनिक कार्यान्वयन भीटीइएक्सटीइएक्स\TeX इंजन (जैसेएक्स ई टीइएक्सएक्सइटीइएक्स\mathit{Xe}\TeX ) कोड की व्याख्या काफी प्रत्यक्ष …

21 pl.programming-languages  semantics  term-rewriting-systems 

एनपी-पूर्णता के विभिन्न धारणाओं से संबंधित शोर के उत्तर से प्रेरित होकर , मैं एक ऐसी समस्या की तलाश कर रहा हूं जो पी-कटौती के तहत एनपी-पूर्ण है लेकिन लॉगस्पेस रिडक्शन (अधिमानतः लंबे समय तक) के तहत एनपी-पूर्ण नहीं जाना जाता है। इसके अलावा, क्या एनपी-पूर्ण समस्याओं के बीच लॉगस्पेस …

21 cc.complexity-theory  np-hardness 

मान लीजिए कि हमारे पास एक कम्प्यूटेशनल समस्या है, उदाहरण के लिए 3-सैट, जिसमें समस्या इंस्टेंसेस (संभावित इनपुट्स) का एक सेट है । आम तौर पर एल्गोरिदम या कम्प्यूटेशनल जटिलता सिद्धांत के विश्लेषण में, हमारे पास कुछ सेट लंबाई के सभी आदानों की , और एक समारोह है कि कुछ …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

यह प्रश्न बहुपद हिर्श अनुमान (PHC) से प्रेरित है। यह देखते हुए कि -acacet polytope in , क्या इसके एज-वर्टेक्स ग्राफ का स्पेक्ट्रल गैप है (इसे कहो ) लोअर बाय ? ध्यान दें कि कोने पर चक्र ग्राफ दिखाता है कि, यहां तक ​​कि , वर्णक्रमीय अंतर जितना छोटा हो …

21 co.combinatorics  linear-programming  expanders 

1- क्या कोई ग्राफ़ प्लानर है, तो आसन्न मैट्रिक्स के लिए कोई विशिष्ट गुण है? 2- क्या कोई ग्राफ प्लानर है, तो आसन्न मैट्रिक्स के स्थायी गणना के लिए कोई विशेष बात है?

21 graph-theory  co.combinatorics  permanent 

लेज़्ज़्लो बाबई ने हाल ही में साबित किया कि ग्राफ़ आइसोमोर्फिज्म समस्या क्वासिपोलिनोमियल समय में है । भी अपने देखें बात शिकागो विश्वविद्यालय में, जेरेमी कुन द्वारा वार्ता से टिप्पणी GLL पोस्ट 1 , GLL पद 2 , GLL पोस्ट 3 । Ladner की प्रमेय के मुताबिक, अगर P≠NPP≠NPP \neq …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate