proof-techniques पर टैग किए गए जवाब

कई प्रमेयों को साबित करने के लिए सामान्य तरीकों और तकनीकों के बारे में प्रश्न। जब किसी एकल कथन के प्रमाण के बारे में पूछा जाता है, तो इसके बजाय प्रमाण के बारे में क्या है, इससे संबंधित टैग का उपयोग करें।

3
क्या एल्गोरिथ्म विश्लेषण के जादू के पीछे एक प्रणाली है?
एल्गोरिदम के चल रहे समय का विश्लेषण कैसे करें (देखें, उदाहरण के लिए, रनटाइम-विश्लेषण और एल्गोरिदम-विश्लेषण ) के बारे में बहुत सारे सवाल हैं । कई ऐसे ही हैं, उदाहरण के लिए, नेस्टेड लूप या डिवाइडर के कॉस्ट एनालिसिस के लिए पूछना और एल्गोरिदम को जीतना, लेकिन ज्यादातर जवाब दर्जी …
11
संख्याओं के अनुक्रमों के लिए पुनरावृत्ति संबंधों को हल करना या अनुमान लगाना
कंप्यूटर विज्ञान में, हमें अक्सर पुनरावृत्ति संबंधों को हल करना पड़ता है , जो संख्याओं के पुनरावर्ती रूप से परिभाषित अनुक्रम के लिए एक बंद रूप ढूंढता है। जब runtimes पर विचार, हम अक्सर मुख्य रूप से इस सीक्वेंस के में रुचि रखते हैं asymptotic विकास । उदाहरण हैं एक …
5
यह कैसे साबित किया जाए कि कोई भाषा संदर्भ-मुक्त नहीं है?
हमने संदर्भ-मुक्त भाषाओं के वर्ग CFLCFL\mathrm{CFL} । यह संदर्भ-मुक्त व्याकरण और पुशडाउन ऑटोमेटा दोनों की विशेषता है, इसलिए यह दिखाना आसान है कि एक दी गई भाषा संदर्भ-मुक्त है। हालांकि, मैं इसके विपरीत कैसे दिखाऊं? मेरा टीए इस बात पर अड़ा हुआ है कि ऐसा करने के लिए, हमें सभी …
10
कैसे साबित करें कि एक भाषा नियमित नहीं है?
हमने नियमित भाषा की कक्षा के बारे में सीखा । यह नियमित अभिव्यक्ति, परिमित ऑटोमेटा और बाएं-रेखीय व्याकरण के बीच किसी एक अवधारणा की विशेषता है, इसलिए यह दिखाना आसान है कि एक दी गई भाषा नियमित है।REGREG\mathrm{REG} हालांकि, मैं इसके विपरीत कैसे दिखाऊं? मेरा टीए यह मानता है कि …
2
सहवास क्या है?
मैंने (स्ट्रक्चरल) इंडक्शन के बारे में सुना है। यह आपको छोटे लोगों से परिमित संरचनाओं का निर्माण करने की अनुमति देता है और आपको ऐसी संरचनाओं के बारे में तर्क करने के लिए प्रमाण सिद्धांत प्रदान करता है। विचार काफी स्पष्ट है। लेकिन सहवास के बारे में क्या? यह कैसे …
8
कैसे एक भाषा को साबित करने के लिए नियमित है?
कई तरीके साबित होता है कि कर रहे हैं एक भाषा नियमित नहीं है , लेकिन मैं क्या साबित होता है कि कुछ भाषा क्या करना होगा है नियमित रूप से? उदाहरण के लिए, अगर मैं दिया गया है कि नियमित रूप से है, मैं कैसे साबित कर सकते हैं …
2
यह कैसे दिखाया जाए कि कोई फ़ंक्शन कम्प्यूटेबल नहीं है?
मुझे पता है कि एक ट्यूरिंग मशीन मौजूद है, अगर कोई फ़ंक्शन कम्प्यूटेबल है। फिर यह कैसे दिखाया जाए कि फ़ंक्शन कम्प्यूट नहीं है या उसके लिए कोई ट्यूरिंग मशीन नहीं है। क्या पम्पिंग लेम्मा जैसा कुछ है?
4
एक-दूसरे की समस्याओं को कम करने के लिए सामान्य तकनीकें क्या हैं?
संगणना और जटिलता सिद्धांत (और शायद अन्य क्षेत्रों) में, कटौती सर्वव्यापी है। कई प्रकार के होते हैं, लेकिन सिद्धांत ही रहता है: शो है कि एक समस्या कुछ अन्य समस्या के रूप में मुश्किल के रूप में कम से कम है से मानचित्रण उदाहरणों द्वारा में समाधान-बराबर वालों के लिए …
5
सबूत कि मृत कोड संकलक द्वारा पता नहीं लगाया जा सकता है
मैं अलग-अलग विषयों पर सर्दियों के पाठ्यक्रम को पढ़ाने की योजना बना रहा हूं, जिनमें से एक कंपाइलर होने जा रहा है। अब, मैं इस समस्या को पूरी तिमाही में देने के लिए असाइनमेंट्स के बारे में सोच रहा था, लेकिन इसने मुझे स्टम्प किया है इसलिए मैं इसे उदाहरण …
7
विकर्ण की तुलना में रुकने की समस्या की अनिच्छा का एक अधिक सहज प्रमाण है?
मैं तिरछेपन के आधार पर हॉल्टिंग प्रॉब्लम (पापादिमित्रिउ की पाठ्यपुस्तक में उदाहरण के लिए दी गई) की अयोग्यता का प्रमाण समझता हूं। जबकि प्रमाण आश्वस्त करता है (मैं इसके प्रत्येक चरण को समझता हूं), यह मेरे लिए इस अर्थ में सहज नहीं है कि मैं यह नहीं देखता कि कोई …
3
सापेक्षता एक अवरोध क्यों है?
जब मैं बेकर-गिल-सोलोवै सबूत को समझा रहा था कि एक ऐसा नक्षत्र मौजूद है जिसके साथ हम हो सकते हैं, , और एक ऐसा जिसके साथ हम एक दोस्त के लिए, एक सवाल यह आया कि इस तरह की तकनीकें समस्या को साबित करने के लिए बीमार क्यों हैं , …
2
लालची एल्गोरिदम को साबित करने के लिए कैसे सही है
मेरे पास एक लालची एल्गोरिथ्म है जो मुझे संदेह है कि सही हो सकता है, लेकिन मुझे यकीन नहीं है। मैं कैसे जांचूं कि यह सही है? लालची एल्गोरिथ्म को सही साबित करने के लिए किन तकनीकों का उपयोग करना है? क्या सामान्य पैटर्न या तकनीकें हैं? मुझे उम्मीद है …
2
क्या विकर्णीकरण, स्व-संदर्भ, या पुनर्विकास के अलावा अन्य कारणों से ज्ञात कोई विशिष्ट समस्याएं हैं?
प्रत्येक अनिर्णायक समस्या जिसे मैं निम्न श्रेणियों में से एक में जानता हूं: वे समस्याएं जो विकर्णीकरण (अप्रत्यक्ष स्व-संदर्भ) के कारण अनिर्दिष्ट हैं। ये समस्याएँ, जैसे रुकने की समस्या, अनिर्णायक हैं क्योंकि आप एक टीएम का निर्माण करने के लिए भाषा के लिए एक निर्धारित डिकोडर का उपयोग कर सकते …
2
मैं एक समस्या को साबित करने के लिए समस्याओं के बीच कटौती कैसे कर सकता हूं एनपी-पूर्ण?
मैं एक जटिलता पाठ्यक्रम ले रहा हूं और मुझे एनपीसी समस्याओं के बीच कटौती के साथ आने में परेशानी हो रही है। मैं समस्याओं के बीच कटौती कैसे पा सकता हूं? क्या कोई सामान्य ट्रिक है जिसका मैं उपयोग कर सकता हूं? मुझे एक समस्या का सामना कैसे करना चाहिए …
2
कैसे साबित किया जाए कि एक भाषा संदर्भ-मुक्त है?
रहे हैं कई तकनीकों साबित होता है कि एक भाषा है नहीं विषय से मुक्त है, लेकिन मैं कैसे साबित करते हैं कि एक भाषा है विषय से मुक्त? इसे साबित करने के लिए क्या तकनीकें हैं? जाहिर है, एक तरीका भाषा के लिए एक संदर्भ-मुक्त व्याकरण का प्रदर्शन करना …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.