proof

5गर्मी

3उत्तर

बिग ओह नोटेशन ओ ((लॉग एन)^के) = ओ (लॉग एन)?

बड़े-ओ नोटेशन में O((log n)^k) = O(log n) है, जहां k कुछ स्थिर है (उदाहरण के लिए लूप के लिए लॉगरिदमिक की संख्या), सच है? मुझे अपने प्रोफेसर ने बताया कि यह कथन सत्य था, हालांकि उन्होंने कहा कि यह बाद म

10गर्मी

3उत्तर

पुनरावर्ती कार्यों की शुद्धता दिखाने के लिए सामान्य प्रमाण रणनीतियां?

मुझे आश्चर्य है कि क्या एल्गोरिदम शुद्धता साबित करने के साथ आगे बढ़ने का कोई नियम/योजना मौजूद है? उदाहरण के लिए हम एक समारोह $ F $ प्राकृतिक संख्या पर परिभाषित और नीचे परिभाषित किया गया है: function F

9गर्मी

3उत्तर

हैकेल उदाहरणों के लिए आवेदक कानूनों के सबूत

क्या आस्केटिव टाइपक्लास के सभी हास्केल उदाहरण हैं जिन्हें हम हास्केल प्लेटफ़ॉर्म के साथ प्राप्त करते हैं, सभी आवेदक कानूनों को पूरा करने के लिए साबित हुए हैं? यदि हां, तो हम उन सबूत कहां पाते हैं? Con

5गर्मी

2उत्तर

मैं बाइनरी खोज पेड़ पर इस ऑपरेशन को कैसे साबित कर सकता हूं?

मैं चाहता हूं कि आप मुझे इस अभ्यास को कॉर्मन की किताब से साबित करने के लिए एक संकेत दें: "साबित करें कि कोई भी नोड जो हम ऊंचाई-एच बाइनरी खोज पेड़ में शुरू करते हैं, के ट्री-सफलताकर्ता को लगातार कॉल ओ

13गर्मी

1उत्तर

आप कैसे साबित करते हैं कि एक फ़ंक्शन इसके प्रकार के लिए अद्वितीय है?

id टाइप a -> a, और fst का एकमात्र कार्य प्रकार (a,b) -> a का एकमात्र कार्य है। इन साधारण मामलों में, यह देखने के लिए काफी सरल है। लेकिन सामान्य रूप से, आप इसे साबित करने के बारे में कैसे जाएंगे? क्या

7गर्मी

4उत्तर

साबित करें = बिग-ओ (1) प्रेरण

का उपयोग करके मुझे पता है कि संबंध n = Big-O (1) गलत है। लेकिन अगर हम बिग-ओ से जुड़े प्रेरण का उपयोग करते हैं तो इसे साबित किया जा सकता है। लेकिन झूठ यह है कि हम बिग-ओ शामिल नहीं कर सकते हैं। लेकिन मे

5गर्मी

4उत्तर

हम प्रेरण से कैसे साबित कर सकते हैं कि बाइनरी खोज सही है?

मुझे समझने में कठिनाई हो रही है कि कैसे कुछ आविष्कार के साथ प्रेरण, एल्गोरिदम की शुद्धता साबित करने के लिए उपयोग किया जा सकता है। अर्थात्, आविष्कार कैसे पाया जाता है, और विशेष रूप से बाइनरी खोज के लिए

6गर्मी

11उत्तर

औपचारिक रूप से एल्गोरिदम

की शुद्धता की पुष्टि करना सबसे पहले, क्या यह केवल एल्गोरिदम पर संभव है जिसका कोई दुष्प्रभाव नहीं है? दूसरा, मैं इस प्रक्रिया, किसी भी अच्छी किताबें, लेख इत्यादि के बारे में कहां से सीख सकता हूं?

12गर्मी

1उत्तर

सबूत है कि रोकथाम समस्या एनपी-हार्ड है?

(मैं क्षमा चाहता हूं कि यह इस प्रश्न के लिए गलत साइट है, लेकिन यह देखते हुए कि "सीएस-थ्योरी के लिए पर्याप्त नहीं है" सीएस सिद्धांत प्रश्न यहां चारों ओर तैर रहे हैं, मुझे लगता है कि यह एक अच्छा फिट हो

7गर्मी

3उत्तर

मानक हास्केल प्रकार के वर्गों को बनाए रखने की अपेक्षा रखने वाले कानून क्या हैं?

यह अच्छी तरह से ज्ञात है कि Monad उदाहरणों को मोनाड कानूनों का पालन करना चाहिए। यह शायद कम ज्ञात है कि Functor उदाहरणों को फंक्टर कानूनों का पालन करना चाहिए। फिर भी, मुझे एक जीएचसी पुनर्लेखन नियम लिखन