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

मेरी समस्या यह है कि मैं कैसे साबित कर सकता हूं कि एक व्याकरण असंदिग्ध है? मेरे पास निम्नलिखित व्याकरण है: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if …

25 context-free  formal-grammars  proof-techniques  ambiguity 

किसी भी कम्प्यूटेशनल समस्या को देखते हुए, क्या इस तरह की गणना के लिए कम सीमा खोजने का कार्य वास्तव में संभव है? मुझे लगता है कि यह उबलता है कि एक एकल कम्प्यूटेशनल चरण को कैसे परिभाषित किया जाता है और हम किस मॉडल का उपयोग प्रमाण के लिए …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

मेरे पास यादृच्छिक क्रम में वस्तुओं की एक सूची तैयार करने के दो तरीके हैं और यह निर्धारित करना चाहते हैं कि क्या वे समान रूप से निष्पक्ष हैं (निष्पक्ष)। पहली विधि जो मैं उपयोग करता हूं वह तत्वों की पूरी सूची का निर्माण करना है और फिर उस पर …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

कंस्ट्रक्टिविस्ट लॉजिक एक ऐसी प्रणाली है, जो एक्सक्लूज़िव के रूप में एक्सक्लूसिव मिडिल के साथ-साथ डबल नेगेटिव को भी हटा देती है। यह विकिपीडिया पर यहाँ और यहाँ वर्णित है । विशेष रूप से, सिस्टम विरोधाभास द्वारा प्रमाण के लिए अनुमति नहीं देता है। मैं सोच रहा हूं, क्या कोई …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

औपचारिक व्याकरण देकर औपचारिक भाषाओं को निर्दिष्ट करना एक लगातार काम है: हमें न केवल भाषाओं का वर्णन करने के लिए, बल्कि उन्हें पार्स करने या उचित विज्ञान करने के लिए भी व्याकरण की आवश्यकता है । सभी मामलों में, यह महत्वपूर्ण है कि हाथ में व्याकरण सही है , …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

गणित में, कई अस्तित्व प्रमाण हैं जो गैर-रचनात्मक हैं, इसलिए हम जानते हैं कि एक निश्चित वस्तु मौजूद है, हालांकि हम नहीं जानते कि इसे कैसे खोजना है। मैं कंप्यूटर विज्ञान में इसी तरह के परिणामों की तलाश कर रहा हूं। विशेष रूप से: क्या कोई समस्या है कि हम …

21 algorithms  proof-techniques 

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

21 proof-techniques  computation-models  simulation 

मेरे कम्प्यूटिंग थ्योरी कोर्स में, परिमित ऑटोमेटा के बारे में बयान साबित करने के लिए इनपुट स्ट्रिंग की लंबाई पर इंडक्शन का उपयोग करते हुए हमारी बहुत सी समस्याएं शामिल हैं। मैं गणितीय इंडक्शन को समझता हूं, हालांकि जब स्ट्रिंग्स चलन में आती हैं तो मैं असली में फंस जाता …

20 automata  finite-automata  proof-techniques  reference-question  induction 

मास्टर प्रमेय कुछ प्रकार के पुनरावृत्ति को हल करने के लिए एक सुंदर उपकरण है । हालाँकि, हम अक्सर इसे लागू करते समय एक अभिन्न अंग पर चमकते हैं। उदाहरण के लिए, मर्जसॉर्ट के विश्लेषण के दौरान हम खुशी से चलते हैं T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) = T\left(\left\lfloor \frac{n}{2} \right\rfloor\right) + T\left(\left\lceil …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

क्या फॉर्म की पुनरावृत्ति को हल करने के लिए एक सामान्य तरीका है: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) के लिए , या अधिक आम तौर परc&lt;1c&lt;1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) जहां के कुछ उप-रेखीय कार्य हैं ।g(n),r(n)g(n),r(n)g(n),r(n)nnn अद्यतन : मैं नीचे दिए गए …

20 proof-techniques  recurrence-relation 

द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग (TAOCP) पढ़ने से पहले , मैंने इन सवालों पर गहराई से विचार नहीं किया है। मैं एल्गोरिदम का वर्णन करने के लिए छद्म कोड का उपयोग करूंगा, उन्हें समझूंगा और केवल विकास के आदेशों के बारे में चल रहे समय का अनुमान लगा सकता हूं। …

20 algorithms  proof-techniques  runtime-analysis 

एक नियमित रूप से भाषा को देखते हुए , तो यह साबित करने के लिए एक निरंतर है कि वहाँ आसान है ऐसी है कि , के साथ वहाँ मौजूद तार , और ऐसा है किLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N और , और …

18 formal-languages  proof-techniques 

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

18 complexity-theory  proof-techniques 

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

17 complexity-theory  np-complete  proof-techniques 

मान लें कि हमारे पास एक सरल भाषा है जिसमें शब्द शामिल हैं: truetrue\mathtt{true} falsefalse\mathtt{false} यदि शब्द हैं तो i f हैt1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 अब निम्नलिखित तार्किक मूल्यांकन नियमों को मानें: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} …

14 logic  semantics  proof-techniques  term-rewriting