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

बड़ा चित्र टैग "किसी मुद्दे या समस्या के व्यापक, समग्र दृष्टिकोण या परिप्रेक्ष्य" के लिए है।

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

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

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

5
क्वांट्टी के आदेश को उलटने के लिए तकनीक। Ers
यह सर्वविदित है कि सामान्य रूप से, सार्वभौमिक और अस्तित्वगत मात्रात्मक के क्रम को उलट नहीं किया जा सकता है। दूसरे शब्दों में, एक सामान्य तार्किक सूत्र ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) दूसरी ओर, हम जानते हैं कि दाएँ-बाएँ पक्ष बाएँ-हाथ की तुलना …

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

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

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

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

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

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

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

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

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

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

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

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.