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

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

67 ds.algorithms  ds.data-structures  big-list  implementation 

मैं एक सॉफ्टवेयर व्यवसायी हूं और मैं व्यक्तिगत अनुसंधान के लिए बीजीय संरचनाओं पर एक सर्वेक्षण लिख रहा हूं और उदाहरणों का उत्पादन करने की कोशिश कर रहा हूं कि कैसे इन संरचनाओं का उपयोग सैद्धांतिक कंप्यूटर विज्ञान (और कुछ हद तक, कंप्यूटर विज्ञान के अन्य उप-क्षेत्रों) में किया जाता …

67 reference-request  big-list  big-picture  algebra 

गणितज्ञ कभी-कभी Axiom of Choice (AC) और Axiom of निर्धारक (AD) के बारे में चिंता करते हैं। पसंद की स्वयंसिद्ध : किसी भी संग्रह को देखते हुए सेट nonempty की, वहाँ एक समारोह है एक सेट दिया है कि, में , के एक सदस्य रिटर्न । एफ एस सी एससीC{\cal …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

वर्तमान में, बड़े इनपुट के लिए सामान्य स्थिति में NPNPNP -complete समस्या या PSPACEPSPACEPSPACE -complete समस्या को हल करना संभव है। हालांकि, दोनों घातीय समय और बहुपद स्थान में विलेय हैं। चूँकि हम nondeterministic या 'lucky' कंप्यूटर बनाने में असमर्थ हैं, तो क्या इससे हमें कोई फ़र्क पड़ता है अगर …

66 cc.complexity-theory  np-hardness  big-picture 

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

66 soft-question  big-list  advice-request  career 

मैं ऐसे बहुत से परिणामों से परिचित हूं जो PCP प्रमेय (मुख्य रूप से एल्गोरिदम का अनुमान ) का उपयोग करते हैं, लेकिन मुझे PCP प्रमेय (यानी, उस स्पष्ट विवरण नहीं आया है )।NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) उसके लिए पढ़ने के लिए अच्छे पेपर / किताबें क्या हैं?

64 cc.complexity-theory  reference-request  pcp 

यह सवाल पूछा गया है कि क्या निम्नलिखित प्रश्न निर्णायक है: समस्या एक पूर्णांक और ट्यूरिंग मशीन को P में दिए जाने का वादा करते हुए, इनपुट लंबाई संबंध में का रनटाइम है ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn "हां", "नहीं", या "खुला" का एक संकीर्ण उत्तर …

64 cc.complexity-theory  approximation-hardness 

हाल बेनेट का एक हालिया प्रश्न पूछ रहा है कि क्या क्लास पीएच को पीपी में समाहित किया गया था, कुछ विरोधाभासी उत्तर प्राप्त हुए (सभी सच है, ऐसा लगता है)। एक तरफ, कई विपरीत परिणाम दिए गए, और दूसरे स्कॉट ने सुझाव दिया कि उत्तर सकारात्मक होने की संभावना …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

10/12/08 को संपादित करें: मैं प्रश्न को संशोधित करने की कोशिश करूंगा ताकि यह अधिक लोगों को अपनी राय साझा करने में रुचि ले सके। हमने आपके योगदान की आवश्यकता है! यह पोस्ट MO में एक से प्रेरित है: गणित में आम झूठी मान्यताओं के उदाहरण । बड़ी सूचियां कभी-कभी …

62 big-list  examples 

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

62 soft-question  big-list  paper-review 

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

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

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

61 reference-request  ho.history-overview  topology  survey 

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

61 soft-question  big-list  research-practice  conferences 

मैं समस्याओं के उदाहरणों की तलाश कर रहा हूं, जो संख्या , जहां समस्या की कठोरता में गैर-मोनोटोनिक है । अधिकांश समस्याओं (मेरे अनुभव में) का एकल चरण संक्रमण है, उदाहरण के लिए -SAT का (जहां समस्या P में है) से (जहां तक ) में एकल चरण संक्रमण है समस्या …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

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

60 reference-request  big-list