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

कार्प की कमी बहुपदीय समय कम्प्यूटेशनल कई-एक कमी दो कम्प्यूटेशनल समस्याओं के बीच है। कई Karp कटौती वास्तव में एक-एक कार्य हैं। यह सवाल उठाता है कि क्या प्रत्येक कार्प में कमी इंजेक्शन (एक-एक फ़ंक्शन) है। क्या कोई प्राकृतिक -complete समस्या है जो केवल कई-एक Karp कमी के तहत पूरी …

12 cc.complexity-theory 

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

12 ds.data-structures  memory 

एक ग्राफ को देखते हुए , हमें सबसे बड़े सेट के कार्डिनैलिटी को खोजने की आवश्यकता है ताकि उनमें से प्रत्येक अधिकतम हर संभव मिलान में मौजूद हो।जीजीG क्या स्पष्ट रूप से प्रत्येक शीर्ष को हटाने के साथ एक समाधान है और यह देखने के लिए अधिकतम मेल खाता है …

12 graph-theory  graph-algorithms 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly अर्थ है , जिसके बदले में बहुपद पदानुक्रम के पतन जैसे दिलचस्प परिणाम हैं।NP⊆P/polyNP⊆P/polyNP \subseteq P/poly लिए दिलचस्प निहितार्थ हैं ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

मैं TCS में एडिटिव कॉम्बिनेटर के अनुप्रयोगों पर ट्रेविसन और लवेट द्वारा सर्वेक्षण पढ़ रहा हूं । इन अनुप्रयोगों के बहुमत कम्प्यूटेशनल जटिलता के तहत आते हैं , उदाहरण के लिए, कम सीमा। मुझे आश्चर्य है कि अगर additive combinatorics एल्गोरिथ्म डिजाइन में भी आवेदन मिला है। मेरे प्रश्न की …

12 ds.algorithms  reference-request  co.combinatorics 

यह ज्ञात है कि PSPACE में बाउंड-एरर रैंडमाइजेशन को जोड़ने से पावर नहीं जुड़ती है। वह है, BPPSAPCE = PSPACE। यह ज्ञात नहीं है कि P = BPP ज्ञात है, लेकिन यह ज्ञात है कि ।BPP⊆Σ2∩Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 इस प्रकार, यह संभव है (जबकि गलत होने के लिए अनुमान लगाया …

12 randomness  derandomization  polynomial-hierarchy 

क्या संपीड़न के लिए अनुकूलन करने के लिए डेटा को पुनः व्यवस्थित करने के लिए कोई एल्गोरिदम हैं? मैं समझता हूं कि यह डेटा और संपीड़न एल्गोरिदम के लिए विशिष्ट है, लेकिन क्या इस विषय के लिए एक शब्द है? मुझे इस क्षेत्र में अनुसंधान कहां मिल सकता है? विशेष …

12 optimization  permutations 

चलो को ठीक किया जाए, और को एक (जुड़ा) ग्राफ़ होने दें। अगर मैं गलत नहीं हूं, तो यह बोडलेंडर के काम से आता है [1, प्रमेय 3.11] कि अगर का ट्रेविएड लगभग कम से कम , तो में एक स्टार एक नाबालिग के रूप में।G G 2 k 3 …

12 graph-theory  treewidth  graph-minor 

मैं विभिन्न संख्या सिद्धांत / बीजगणितीय समस्याओं की ज्ञात या अज्ञात जटिलता के बारे में एक सूची की तलाश कर रहा हूं। उदाहरण के लिए, में GCD खुला है,NC1एनसी1NC^1 में फैक्टरिंग खुला है,PपीP कंप्यूटिंग शीफ कॉहोमोलॉजी #P#पी\#P -hard है , अरोड़ा और बराक कहते हैं कि फैक्टरिंग का एक प्रकार …

12 cc.complexity-theory  big-list  algebra  open-problem 

निम्नलिखित गुणों के साथ क्या समस्याएं हैं: 1) वे (संभवतः अच्छी तरह से ज्ञात) समस्याओं पर प्रतिबंध लगा रहे हैं जो PSPACE- पूर्ण हैं; 2) प्रतिबंधित संस्करण PSPACE में हैं, लेकिन यह एक खुली समस्या है अगर वे PSPACE- पूर्ण (या भले ही वे एनपी-हार्ड हों)। "पहेली और सी।" से …

12 big-list  open-problem 

रेज़बोरोव और रूडीच के प्राकृतिक साक्ष्य अवरोध बताते हैं कि विश्वसनीय क्रिप्टोग्राफ़िक मान्यताओं के तहत, रचनात्मक, बड़े और उपयोगी कार्यों के दहनशील गुणों को खोजने से एनपी को पी / पाली से अलग करने की उम्मीद नहीं की जा सकती है। कई प्रसिद्ध परिणाम हैं जो बाधा से बचने का …

12 cc.complexity-theory  circuit-complexity 

पेपर में "कुछ रंग खेल की जटिलता पर", Bodlaender निर्णय लेने की जटिलता के बारे में कुछ खुले प्रश्न देता है कि क्या खिलाड़ी 1 या 2 में कुछ ग्राफ़िक्स रंग खेल में जीतने की रणनीति है। क्या किसी को पता है कि क्या वे हल किए गए हैं? 1) …

12 graph-colouring  pspace  two-player-games 

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

12 lo.logic  two-player-games 

मैं क्या, क्यों और कैसे की चारों ओर मेरे सिर लपेटो करने की कोशिश कर रहा है -calculus लेकिन मैं के साथ "कारण है कि यह काम करता है" पकड़ के लिए आने के लिए असमर्थ हूँ?λλ\lambda "सहज रूप से" मुझे ट्यूरिंग मशीन (टीएम) का कम्प्यूटेशनल मॉडल मिलता है। लेकिन …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

मैं एक सैद्धांतिक कंप्यूटर वैज्ञानिक नहीं हूं। मैं एक स्थिर होमोटॉपी का उपयोग कर विचारक हूँ -categories। मैं सैद्धांतिक कंप्यूटर विज्ञान के वर्ग सिद्धांत और Topos सिद्धांत अनुप्रयोगों देखा है, और अगर वहाँ किसी भी तरह से किसी एक का उपयोग कर सकता था मैं सोच रहा था ∞ -categories …

12 lo.logic  soft-question  ct.category-theory