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

यह " पुस्तक से एल्गोरिदम " की तर्ज पर है । हालांकि कटौती एल्गोरिदम के रूप में अच्छी तरह से कर रहे हैं, मुझे लगा कि यह संदेह है कि एक पुस्तक से एल्गोरिदम के बारे में सवाल के जवाब में कमी के बारे में सोचना होगा। इसलिए एक अलग …

22 ds.algorithms  np-hardness  big-list  reductions 

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

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

में संकुचित संवेदन , लक्ष्य इतना है कि इनपुट संकेत संपीड़न ( "स्केच") से कुशलता से बरामद किया जा सकता विशाल इनपुट संकेतों कि एक विरल प्रतिनिधित्व के लिए जाना जाता के लिए रैखिक संपीड़न योजनाएं मिल रहा है,। अधिक औपचारिक रूप से, मानक सेटअप एक संकेत वेक्टर है कि …

22 ds.algorithms  ds.data-structures  compressed-sensing 

एल्गोरिदम यादृच्छिक के लिए वास्तविक मूल्यों ले, "मंझला चाल" एक सरल किसी भी सीमा की विफलता की संभावना को कम करने के लिए रास्ता है δ > 0 , केवल एक गुणक की कीमत पर टी = हे ( लॉग इन करें 1AA\mathcal{A}δ>0δ>0\delta > 0ओवरहेड। अर्थात, यदिएकके उत्पादन के लिए …

22 ds.algorithms  randomized-algorithms 

क्या कोई निश्चित "k" (चौड़ाई) के लिए ग्राफ़ के ट्री अपघटन के कंप्यूटिंग के लिए एक ओपन-सोर्स प्रोग्राम के बारे में जानता है? मुझे पता है कि वेरिएबल "के" के लिए ट्री-डिकम्पोजिशन खोजने की समस्या एनपी-हार्ड है, लेकिन मेरे इनपुट इंस्टेंस वास्तव में छोटे होंगे (~ 10 नोड्स) और "के" …

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

हर कोई जानता है कि कई निर्णय समस्याएं मौजूद हैं जो सामान्य ग्राफ़ पर एनपी-हार्ड हैं, लेकिन मैं उन समस्याओं में दिलचस्पी रखता हूं जो एनपी-हार्ड हैं जब अंतर्निहित ग्राफ़ एक पथ है। तो, क्या आप मुझे इस तरह की समस्याओं को इकट्ठा करने में मदद कर सकते हैं? मैंने …

22 graph-theory  np-hardness 

मैं पढ़ रहा था " क्या पी वर्सस एनपी औपचारिक रूप से स्वतंत्र है? " लेकिन मैं हैरान हो गया। यह व्यापक रूप से जटिलता सिद्धांत में माना जाता है कि । मेरा प्रश्न इस बारे में है कि क्या यह साबित होने योग्य नहीं है ( में कहें )। …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

मैं ऐसी भाषाओं की तलाश कर रहा हूं जो "शायद प्रसंग-मुक्त नहीं हैं" लेकिन हम ज्ञात मानक तकनीकों का उपयोग करके इसे (डिस) साबित नहीं कर पा रहे हैं। क्या हाल ही में एक सम्मेलन से इस विषय पर एक सर्वेक्षण या एक खुली समस्या अनुभाग है? संभवतः ऐसी कई …

21 reference-request  big-list  context-free 

निम्नलिखित समस्या हाल ही में मेरे शोध में दिखाई दी। एल्गोरिदमिक प्रश्नों पर कोई विशेषज्ञ नहीं होने के कारण मैंने उपयुक्त समस्याओं की खोज में बड़े पैमाने पर गोगल को कम किया है। मैं यह नहीं देखता कि 3SAT कैसे काम करेगा, और भले ही ZOE आत्मा के समान है, …

21 cc.complexity-theory 

हाल ही में, मैंने एक युवा प्रतिभाशाली स्व-सिखाया प्रोग्रामर को कम्प्यूटेशनल जटिलता की अवधारणा को अनौपचारिक रूप से समझाने के दर्दनाक मज़ेदार अनुभव के माध्यम से जाना , जिसने पहले कभी एल्गोरिदम या जटिलता में औपचारिक पाठ्यक्रम नहीं लिया। आश्चर्यजनक रूप से, बहुत सारी धारणाएं पहली बार में अजीब लगीं, …

21 cc.complexity-theory  ds.algorithms  np-hardness 

मैं सैद्धांतिक कंप्यूटर विज्ञान में कभी-कभी एक गैर-अनाम एकल लेखक होने के नाते पत्र लिख रहा हूं। इससे पहले, मैंने ऐसे कागजात में 1 व्यक्ति बहुवचन का उपयोग किया, जैसे: हम यह दिखाएंगे कि जटिलता वर्ग एक्स और वाई संयोग है। मैं न तो एक देशी अंग्रेजी बोलने वाला हूं …

21 soft-question  paper-review  writing 

क्या पी में कोई प्राकृतिक समस्या है जिसके लिए सबसे अच्छा ज्ञात समय बाउंड फॉर्म , जहां α एक अपरिमेय स्थिरांक है?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

यह सर्वविदित है कि निम्नलिखित समस्या PSPACE- पूर्ण है: नियमित अभिव्यक्ति को देखते हुए , करता है एल ( β ) = Σ * ?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* अन्य (निश्चित) नियमित अभिव्यक्तियों लिए समानता का निर्धारण करने के बारे में क्या ?αα\alpha नियमित अभिव्यक्ति को देखते हुए , L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

सीओसी को लैम्ब्डा क्यूब के तीनों आयामों की परिणति कहा जाता है। यह मेरे लिए बिल्कुल स्पष्ट नहीं है। मुझे लगता है कि मैं व्यक्तिगत आयामों को समझता हूं, और किसी भी दो के संयोजन का परिणाम अपेक्षाकृत सीधा संघ में हो सकता है (शायद मैं कुछ याद कर रहा …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions 

मुझे अपने शोध के दौरान निम्नलिखित परिणाम मिले। limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 जहां m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) और a1,⋯,ama1,⋯,ama_1,\cdots,a_m को [n] से यादृच्छिक पर चुना जाता है [n][n][n]। मैं एक संदर्भ / प्रत्यक्ष प्रमाण की तलाश में हूं। क्रॉसपोस्ट पर मो

21 reference-request  co.combinatorics  pr.probability