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

मैंने कम्प्यूटेबिलिटी और लॉजिक पर एक बार क्लास ली। सामग्री में जटिलता / कम्प्यूटेबिलिटी कक्षाओं (आर, आरई, आरई, सह-आरई, पी, एनपी, लॉगस्पेस, ...) और लॉजिक्स (प्रथम गणना तर्क, ...) के बीच सहसंबंध शामिल था। सहसंबंध में एक क्षेत्र में कई परिणाम शामिल थे, जो दूसरे क्षेत्र से तकनीकों का उपयोग …

33 cc.complexity-theory  lo.logic  computability 

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

33 ds.algorithms  randomized-algorithms  derandomization 

TCS शौकिया के रूप में, मैं क्वांटम कंप्यूटिंग पर कुछ लोकप्रिय, बहुत ही परिचयात्मक सामग्री पढ़ रहा हूं। यहाँ मैंने अभी तक सीखी गई कुछ प्राथमिक सूचनाएँ दी हैं: क्वांटम कंप्यूटरों को बहुपद समय में एनपी-पूर्ण समस्याओं को हल करने के लिए नहीं जाना जाता है। "क्वांटम जादू पर्याप्त नहीं …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

जटिलता सिद्धांत की केंद्रीय समस्या यकीनन बनाम एन पी है ।PPPNPNPNP हालाँकि, चूंकि प्रकृति क्वांटम है, इसलिए (यानी बहुपदीय समय में क्वांटम कंप्यूटर द्वारा हल की जाने वाली समस्याएँ, सभी उदाहरणों के लिए अधिक से अधिक 1/3 पर त्रुटि की संभावना के साथ) एक क्यू एम ए पर विचार करना …

33 cc.complexity-theory  complexity-classes  quantum-computing 

1995 में, रसेल इम्पेग्लियाज़ो ने पाँच जटिलता वाले विश्व प्रस्तावित किए: 1- एल्गोरिदम: पी= एनपीP=NPP=NP सभी आश्चर्यजनक परिणामों के साथ। 2- ह्यूरिस्टिका: एनपीNPNPअधूरे मामले में अपूर्ण समस्याएं कठिन हैं (पी≠ एनपीP≠NPP \ne NP) लेकिन औसत-मामले में कुशलता से हल करने योग्य हैं। 3- पेसिलैंड: औसत-मामला मौजूद है एनपीNPNP- अपूर्ण समस्याएं …

33 cc.complexity-theory  conditional-results  average-case-complexity 

डिस्क्लेमर: मैं केवल अपने शोध क्षेत्रों, अर्थात् औपचारिक तरीकों, शब्दार्थ और प्रोग्रामिंग भाषा सिद्धांत के लिए ही वाउच कर सकता हूं। अनुशासन के अन्य भागों में स्थिति संभवतः भिन्न है। ऐसा लगता है कि टीसीएस सम्मेलन-केंद्रित हो गया है। शोधकर्ताओं का लक्ष्य अगले सम्मेलन में प्रकाशन करना है। कभी-कभी एक …

32 soft-question  conferences 

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

32 cc.complexity-theory  complexity-classes  big-list 

मुझे वैज्ञानिक कंप्यूटिंग में कुछ अनुभव है, और बीएसपी (बाइनरी स्पेस विभाजन) अनुप्रयोगों के लिए बड़े पैमाने पर केडी-पेड़ों का उपयोग किया है। मैं हाल ही में 3-डी यूक्लिडियन रिक्त स्थान के विभाजन के लिए एक समान डेटा संरचना, ऑक्ट्रेसेस से अधिक परिचित हो गया हूं, लेकिन एक जो मैं …

32 ds.data-structures  tree 

इस तरह की कुछ सामान्य चर्चाओं की भावना में , मैं प्रोग्रामिंग भाषाओं पर अनुसंधान में खुली चुनौतियां और गर्म विषय क्या हैं, इस पर राय इकट्ठा करने के इरादे से यह धागा खोल रहा हूं । मुझे उम्मीद है कि चर्चा प्रोग्रामिंग भाषाओं के भविष्य के बारे में सतही …

32 pl.programming-languages  open-problem  research-practice 

एल्गोरिथम लेंस के माध्यम से प्रश्नों को देखना (अर्थात एक एल्गोरिथम या जटिलता के दृष्टिकोण से) कंप्यूटर विज्ञान के 'मानक डोमेन' के बाहर के विषयों में उपयोगी हो गया है। विशेष रूप से सीएस ने क्वांटम सूचना प्रसंस्करण के माध्यम से भौतिकी पर कम्प्यूटेशनल जीव विज्ञान के माध्यम से जीव …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

LOGLOG को उन भाषाओं के वर्ग के रूप में परिभाषित करें जिन्हें एक नियतात्मक ट्यूरिंग मशीन (इनपुट के लिए दो-तरफ़ा एक्सेस के साथ) में अंतरिक्ष O (loglog n) में गणना की जा सकती है। इसी तरह एनएलओजीएलओजी को उन भाषाओं के वर्ग के रूप में परिभाषित किया जाता है जिनकी …

32 cc.complexity-theory  reference-request  space-bounded 

सन्निकटन परिणामों की कठोरता साबित करने के लिए दो आम धारणाएं हैं और Unique Games । क्या की कोई कठोरता है ? मैं समस्या की तलाश कर रहा हूं, जैसे कि " जब तक " एक कारक भीतर को अनुमानित करना मुश्किल है ।एन पी ≠ सी ओ एन पी …

32 approximation-hardness  conditional-results 

एक प्रोग्रामिंग भाषा लिखना असंभव है जो सभी मशीनों को सभी इनपुटों पर रोक देता है और कोई अन्य नहीं। हालांकि, किसी भी मानक जटिलता वर्ग के लिए इस तरह की प्रोग्रामिंग भाषा को परिभाषित करना आसान लगता है। विशेष रूप से, हम एक भाषा को परिभाषित कर सकते हैं …

32 cc.complexity-theory  computability  pl.programming-languages 

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

32 reference-request  automata-theory  fl.formal-languages 

जबकि मैंने उच्च विद्यालय और विश्वविद्यालय दोनों में प्रायिकता सिद्धांत पर कुछ पाठ्यक्रम पास किए हैं, जब मुझे प्रायिकता की बात आती है तो मुझे TCS पेपर पढ़ने में कठिन समय लगता है। ऐसा लगता है कि TCS पत्रों के लेखक संभावना से बहुत परिचित हैं। वे जादुई रूप से …

32 reference-request  big-list  pr.probability  books