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

क्या "पार्टी अटेंडेंस" प्रकार की समस्याएं प्रोलॉग में हल करने योग्य हैं? उदाहरण के लिए: बर्डॉक मुलदून और कार्लोटा पिंकस्टोन दोनों ने कहा कि अगर अल्बस डंबलडोर आए तो वे आएंगे। एल्बस डंबलडोर और डेज़ी डोडरिज ने कहा कि अगर कार्लोटा पिंकस्टोन आए तो वे आएंगे। एल्बस डंबलडोर, बर्डॉक मुल्दून, …

18 logic  constraint-programming  prolog  logic-programming 

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

18 complexity-theory  proof-techniques 

सीधे शब्दों में कहें, अगर 20 क्वांट की शक्ति के साथ कोई क्वांटम कंप्यूटिंग डिवाइस बनाने वाला होता, तो क्या इस तरह के कंप्यूटर का इस्तेमाल किसी भी तरह के आधुनिक हैशिंग एल्गोरिथ्म को बेकार बनाने के लिए किया जा सकता था? क्या पारंपरिक कंप्यूटिंग अनुप्रयोग में क्वांटम कंप्यूटिंग की …

18 cryptography  quantum-computing  hash 

आज, हेनिंग केर्स्टन की एक बातचीत ("प्रोबेशिस्टिक ट्रांजिशन सिस्टम्स के लिए ट्रेस सेमेंटिक्स") ने मुझे पहली बार श्रेणी सिद्धांत के साथ सामना किया। उन्होंने संभाव्य संक्रमण प्रणालियों और उनके व्यवहार का सामान्य तरीके से वर्णन करने के लिए एक सैद्धांतिक ढांचा बनाया है, अर्थात बेशुमार अनंत अवस्थाओं और निशान की …

18 applied-theory  category-theory 

(कब) के जवाब से हैश टेबल लुकअप O (1) है? , मैं इकट्ठा करता है कि हैश टेबल में सबसे खराब स्थिति वाला व्यवहार है, कम से कम परिशोधन, जब डेटा कुछ सांख्यिकीय स्थितियों को संतुष्ट करता है, और इन स्थितियों को व्यापक बनाने में मदद करने के लिए तकनीकें …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

कंप्यूटर विज्ञान में Combinatorics एक महत्वपूर्ण भूमिका निभाती है। हम अक्सर दोनों विश्लेषणों के साथ-साथ एल्गोरिदम में डिजाइन के साथ संयोजन के तरीकों का उपयोग करते हैं। उदाहरण के लिए एक ग्राफ में सेट -vertex कवर खोजने के लिए एक विधि सभी \ binom {n} {k} सबसेट सबसेट का निरीक्षण …

18 algorithms  algorithm-analysis  combinatorics 

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

18 programming-languages  semantics 

आइए एक मेमोरी सेगमेंट पर विचार करें (जिसका आकार बढ़ सकता है या फाइल की तरह सिकुड़ सकता है, जब जरूरत हो) जिस पर आप दो बुनियादी मेमोरी आवंटन ऑपरेशन कर सकते हैं जिसमें निश्चित आकार के ब्लॉक शामिल हैं: एक ब्लॉक का आवंटन पहले से आवंटित ब्लॉक को मुक्त …

18 time-complexity  memory-allocation  operating-systems 

मुझे पता है कि क्वांटम कंप्यूटर तर्क के माध्यम से एक एकल पास के साथ सभी संभव राज्यों के सुपरपोजिशन को संसाधित करने में सक्षम हैं। ऐसा लगता है कि लोग क्वांटम कंप्यूटर को विशेष या उपयोगी बनाने के लिए क्या कहते हैं। हालाँकि, जब आपने सुपरपोज़ल इनपुट की प्रक्रिया …

18 computation-models  quantum-computing 

पुनरावृत्ति पर विचार करें T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n कुछ सकारात्मक निरंतर सी के साथ लिए , और ।n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 मैं पुनरावृत्ति को हल करने के लिए मास्टर प्रमेय जानता हूं, लेकिन मुझे यकीन नहीं है कि हम इस संबंध को कैसे उपयोग कर …

18 asymptotics  recurrence-relation  master-theorem 

यदि आप दो एल्गोरिदम (कहते हैं, मर्ज सॉर्ट और नाओवे सॉर्ट) किसी इनपुट के लिए एक ही परिणाम लौटाते हैं, तो सभी इनपुटों का सेट अनंत होने पर कैसे जांचें? अपडेट: यह वर्णन करने के लिए बेन का धन्यवाद करें कि सामान्य मामले में यह एल्गोरिदम को करना असंभव है। …

18 computability  formal-methods  software-engineering  software-verification 

व्यवहार में मैं समझता हूं कि किसी भी पुनरावृत्ति को एक लूप (और इसके विपरीत?) के रूप में लिखा जा सकता है और अगर हम वास्तविक कंप्यूटरों से मापते हैं तो हम पाते हैं कि लूप उसी समस्या के लिए पुनरावृत्ति से तेज हैं। लेकिन क्या कोई सिद्धांत है जो …

18 time-complexity  recursion  loops 

मैं कम्प्यूटेशनल जटिलता और ट्यूरिंग मशीनों के बारे में एक किताब पढ़ना शुरू कर रहा हूं। यहाँ उद्धरण है: एक एल्गोरिथ्म (यानी, एक मशीन) एक बिट स्ट्रिंग के रूप में प्रतिनिधित्व किया जा सकता है जब हम कुछ विहित एन्कोडिंग पर निर्णय लेते हैं। यह दावा एक साधारण तथ्य के …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 मूल लेख: झील के पास देखी गई भयानक आँखें एन्कोडेड: 000010110000011001110001010110110111110101111111100100111111110101100100 हफ़मैन एन्कोडिंग में विभाजक की आवश्यकता क्यों नहीं है?

17 coding-theory  encoding-scheme  huffman-coding 

मैं डेटा संपीड़न एल्गोरिदम और डेटा संपीड़न के लिए सैद्धांतिक सीमा के बारे में पढ़ रहा था। हाल ही में मुझे "कॉम्बिनेटरियल एन्ट्रॉपी एन्कोडिंग" नामक एक संपीड़न विधि का सामना करना पड़ा, इस पद्धति का मुख्य विचार फ़ाइल को फ़ाइल में प्रस्तुत किए गए वर्णों, उनकी आवृत्तियों और फ़ाइल द्वारा …

17 information-theory  data-compression