कंप्यूटर विज्ञान

मैं यह जानना चाहूंगा कि क्या यह साबित करने का कोई नियम है। उदाहरण के लिए, यदि मैं वितरण कानून का उपयोग करता हूं तो मुझे केवल मिलेगा ।(A∨A)∧(A∨¬B)(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

पर छंटाई एल्गोरिदम वेबसाइट है, तो निम्न दावा किया जाता है: आदर्श छँटाई एल्गोरिथ्म में निम्नलिखित गुण होंगे: स्थिर: समान कुंजियाँ पुन: व्यवस्थित नहीं की जाती हैं। जगह में संचालित होता है, जिसमें अतिरिक्त स्थान की आवश्यकता होती है।ओ ( 1 )O(1)O(1) सबसे खराब स्थिति प्रमुख तुलना।ओ ( एन ⋅ …

22 algorithms  sorting 

यह सर्वविदित है कि हिंडले-मिलनर प्रकार का निष्कर्ष ( बहुरूपता के साथ सरलता से टाइप किए गए -calculus) में निर्णायक प्रकार का इंजेक्शन है: आप बिना किसी एनोटेशन के किसी भी प्रोग्राम के लिए सिद्धांत प्रकारों को फिर से जोड़ सकते हैं।λλ\lambda हास्केल-शैली के टाइपसेकल्स को जोड़ना इस निर्णायकता को …

22 undecidability  type-theory  type-inference  dependent-types 

मैं एक कोडिंग साक्षात्कार की तैयारी कर रहा हूं और मैं वास्तव में इस समस्या को हल करने के लिए सबसे कुशल तरीका नहीं खोज सकता। मान लें कि हमारे पास दो एरे हैं, जो कि अनसोल्ड हैं। Array 2 में एक संख्या होती है जो Array 1 नहीं करता …

22 algorithms  search-algorithms  arrays  efficiency 

निम्नलिखित एल्गोरिथम कार्य पर विचार करें: इनपुट: एक सकारात्मक पूर्णांक , अपने प्रधानमंत्री गुणन के साथ खोजें: धनात्मक पूर्णांक कि कम से कम एक्स y + y z + एक्स जेड , प्रतिबंध यह है कि के अधीन x y z = nnnnx,y,zx,y,zx,y,zxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n इस समस्या की जटिलता क्या है? क्या …

22 algorithms  optimization  integers 

पांच तत्वों को क्रमबद्ध (क्रम) करने के लिए आवश्यक तुलनाओं की सबसे कम संख्या का पता लगाएं और एक एल्गोरिथ्म को तैयार करें जो इस संख्या की तुलना करने वाले तत्वों का उपयोग करता है। समाधान : 5 हैं! = 120 संभावित परिणाम। इसलिए छंटनी प्रक्रिया के लिए एक बाइनरी …

22 algorithms  sorting  lower-bounds 

एक भारित, अप्रत्यक्ष ग्राफ जी को देखते हुए: किन परिस्थितियों को सही रखना चाहिए ताकि जी के लिए कई न्यूनतम फैले हुए पेड़ हों? मुझे पता है कि एमएसटी अद्वितीय है जब सभी भार अलग-अलग होते हैं, लेकिन आप इस कथन को उलट नहीं सकते। यदि ग्राफ़ में समान भार …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

मैंने हाल ही में निम्नलिखित दिलचस्प लेख पर ठोकर खाई है जो डेटा के प्रकार और प्रारूप पर ध्यान दिए बिना यादृच्छिक डेटा सेट को हमेशा 50% से अधिक कुशलता से संपीड़ित करने का दावा करता है। मूल रूप से यह 4-बाइट डेटा चैंक्स के प्रतिनिधित्व को विशिष्ट रूप से …

22 information-theory  data-compression  primes 

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

22 complexity-theory  optimization  np  approximation 

शायद विषय की मेरी सीमित समझ गलत है, लेकिन यह वही है जो मैं अब तक समझता हूं: कार्यात्मक प्रोग्रामिंग लैंबडा कैलकुलस पर आधारित है, जो अलोंजो चर्च द्वारा तैयार किया गया है। इम्पीरियल प्रोग्रामिंग ट्यूरिंग मशीन मॉडल पर आधारित है, जो कि चर्च के छात्र एलन ट्यूरिंग द्वारा बनाई …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

जब एल्गोरिदम के डिजाइन की बात आती है, तो एक अक्सर निम्नलिखित तकनीकों को नियुक्त करता है: गतिशील प्रोग्रामिंग लालची-रणनीति विभाजन और जीत जबकि पहले दो तरीकों के लिए, अच्छी तरह से ज्ञात सैद्धांतिक नींव हैं, अर्थात् बेलमैन ऑप्टिमलिटी प्रिंसिपल और मैट्रोइड (रिस्पांस। ग्राईडॉइड) सिद्धांत, मुझे डी एंड सी पर …

22 algorithms  reference-request  divide-and-conquer 

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

22 algorithms  reductions  satisfiability 

यह सवाल स्टैक ओवरफ्लो से माइग्रेट किया गया था क्योंकि इसका जवाब कंप्यूटर साइंस स्टैक एक्सचेंज पर दिया जा सकता है। माइग्रेट 5 साल पहले । मैं अभी भी कार्यात्मक प्रोग्रामिंग सीख रहा हूं (एफ # के साथ) और मैंने हाल ही में कम्प्यूटेशन अभिव्यक्तियों के बारे में पढ़ना शुरू …

22 functional-programming 

पढ़ने में उदय रेड्डीज जवाब करने के लिए क्या एसएमएल में functors और श्रेणी सिद्धांत के बीच संबंध है? उदय बताता है श्रेणी सिद्धांत अभी तक नहीं जानता है कि उच्च-क्रम के कार्यों से कैसे निपटना है। किसी दिन, यह होगा। जैसा कि मैंने सोचा था कि श्रेणी सिद्धांत गणित …

22 functional-programming  category-theory 

एक संदर्भ-मुक्त व्याकरण G को देखते हुए, एक Nondeterministic Pushdown Automaton N मौजूद है जो भाषा को बिल्कुल स्वीकार करता है। (और वीज़ा वर्सा) वहाँ भी एक निर्धारक Pushdown Automaton D मौजूद हो सकता है जो भाषा G को भी स्वीकार करता है। यह व्याकरण पर निर्भर करता है। जी …

22 automata  context-free  pushdown-automata