big-picture पर टैग किए गए जवाब

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

307 ds.algorithms  big-picture  application-of-theory 

मैं मनोरंजन के लिए थ्योरी ऑफ़ कम्प्यूटेशन को संशोधित कर रहा हूँ और यह सवाल मुझे कुछ समय के लिए कचोट रहा है (जब मैंने अपने अंडरगार्मेंट में ऑटोमेटा थ्योरी सीखी तो मजाकिया अंदाज़ा कभी नहीं लगा)। तो "क्यों" वास्तव में हम निर्धारक और गैर-नियतात्मक परिमित ऑटोमेटा (डीएफए / एनएफए) …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

मैं सिर्फ "यह जानने के लिए" लैम्ब्डा कैलकुलस पर पढ़ रहा हूं। मैं इसे ट्यूरिंग मशीन के विपरीत गणना के वैकल्पिक रूप के रूप में देखता हूं। यह कार्यों / कटौती (गंभीर रूप से बोलने) के साथ चीजों को करने का एक दिलचस्प तरीका है। हालांकि कुछ सवाल मुझे कचोटते …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

यह सर्वविदित है कि सामान्य रूप से, सार्वभौमिक और अस्तित्वगत मात्रात्मक के क्रम को उलट नहीं किया जा सकता है। दूसरे शब्दों में, एक सामान्य तार्किक सूत्र ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) दूसरी ओर, हम जानते हैं कि दाएँ-बाएँ पक्ष बाएँ-हाथ की तुलना …

73 lo.logic  big-picture  proof-techniques 

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

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 

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

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

हाल ही में, एक भौतिक विज्ञानी से बात करते समय, मैंने दावा किया कि मेरे अनुभव में, जब एक समस्या जो भोलेपन से लगती है, तो यह घातांक समय लेना चाहिए, अनायास पी या बीपीपी में बदल जाता है, एक "अतिव्यापी कारण" कि कमी क्यों होती है आमतौर पर पहचाना …

56 big-list  big-picture 

मैं बहुपद एल्गोरिथ्म में आया हूं जो 2SAT को हल करता है। मुझे पता चला है कि 2SAT P में है जहां SAT उदाहरणों के सभी (या कई अन्य) NP-Complete हैं। इस समस्या को क्या अलग बनाता है? क्या यह इतना आसान बनाता है (एनएल-पूर्ण - पी से भी आसान)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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

54 cc.complexity-theory  counting-complexity  big-picture 

यह एक ठोस जवाब के साथ एक के बजाय एक व्यक्तिपरक प्रश्न हो सकता है, लेकिन वैसे भी। जटिलता सिद्धांत में हम कुशल संगणना की धारणा का अध्ययन करते हैं। जैसे वर्ग बहुपद समय के लिए होते हैं , और L का मतलब लॉग स्पेस होता है । उन दोनों …

49 cc.complexity-theory  space-bounded  big-picture 

कुछ उदाहरणों से शुरू करता हूं। सीवीपी पी में दिखाने के लिए इतना तुच्छ क्यों है लेकिन एल पी में दिखाने के लिए इतना कठिन है; जबकि दोनों पी-पूर्ण समस्याएं हैं। या प्राण-प्रतिष्ठा कर लें। एनपी (जिसे प्रैट की आवश्यकता थी) में पीआई की तुलना में एनपी में कंपोजिट दिखाना …

46 cc.complexity-theory  big-picture 

एक अलग सूत्र पर , प्रेमिका बाउर ने निरूपित शब्दार्थ को परिभाषित किया है: एक कार्यक्रम का अर्थ इसके भागों के अर्थ का एक कार्य है। क्या मुझे इस परिभाषा के बारे में परेशान करती है कि यह एक बाहर जो सामान्यतः के रूप में के बारे में सोचा है …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

चॉम्स्की (-Schützenberger) पदानुक्रम का उपयोग सैद्धांतिक कंप्यूटर विज्ञान की पाठ्यपुस्तकों में किया जाता है, लेकिन यह स्पष्ट रूप से पूर्ण औपचारिकता चिड़ियाघर आरेख की तुलना में केवल औपचारिक भाषाओं (REG, CFL, CSL, RE) के बहुत छोटे अंश को कवर करता है । क्या वर्तमान शोध में पदानुक्रम अब कोई भूमिका …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching