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

क्या एक ट्यूरिंग मशीन है जिसे एक नियमित टीएम की तुलना में अधिक अनंत वर्णमाला के प्रतीकों को पढ़ने और लिखने की अनुमति है (यह एकमात्र अंतर है, मशीन में अभी भी राज्यों की एक सीमित संख्या है)? अंतर्ज्ञान मुझे बताता है, क्योंकि आपको प्रत्येक प्रतीक को अलग करने के …

9 computability  turing-machines  reductions  simulation 

मैंने इमेज प्रोसेसिंग में कनवल्शन के बारे में कई दस्तावेज पढ़े हैं , और उनमें से अधिकांश इसके सूत्र, कुछ अतिरिक्त मापदंडों के बारे में कहते हैं। कोई भी एक छवि पर दृढ़ विश्वास करने के पीछे अंतर्ज्ञान और वास्तविक अर्थ की व्याख्या नहीं करता है। उदाहरण के लिए, ग्राफ़ …

9 terminology  intuition  graphics  computer-vision 

मैं डुप्लिकेट के लिए पूर्णांकों की एक सूची को कुशलतापूर्वक फ़िल्टर करना चाहता हूं जो केवल परिणामी सेट को संग्रहीत करने की आवश्यकता है। इसे देखा जा सकता है: हमारे पास बड़े के साथ पूर्णांक एक श्रृंखला है ( )S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\}NNN2402402^{40} हमारे पास एक फ़ंक्शन माना जाता …

9 algorithms  data-structures  sorting 

यदि आपके पास एक त्वरित-सॉर्ट एल्गोरिथ्म है, और आप हमेशा अपनी धुरी के रूप में सबसे छोटे (या सबसे बड़े) तत्व का चयन करते हैं; क्या मैं यह मानने के लिए सही हूं कि यदि आप पहले से ही सॉर्ट किए गए डेटा सेट प्रदान करते हैं, तो आपको हमेशा …

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

मैं खुद को सॉफ्टवेयर सत्यापन के लिए अलग-अलग दृष्टिकोण सिखाने की कोशिश कर रहा हूं। मैंने कुछ लेख पढ़े हैं। जहां तक ​​मैंने सीखा है, लौकिक के साथ प्रस्ताव तर्क आमतौर पर सैट सॉल्वर (चल - प्रतिक्रियाशील प्रणालियों) के साथ मॉडल की जाँच का उपयोग करता है, लेकिन पहले आदेश …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

वृक्ष के पूर्ण होने के कारण बड़े वृक्षों में पूर्वनिर्मित मुक्त परिणाम के लिए एन्कोडिंग की आवश्यकता होती है । क्या कोई थ्रेशोल्ड है जहाँ डेटा की एन्कोडिंग की तुलना में डेटा की निश्चित-लंबाई गैर-एन्कोडेड संग्रहण अधिक कुशल होगा?

9 information-theory  data-compression 

क्या एक कृत्रिम तंत्रिका नेटवर्क एल्गोरिदम को मानचित्र-कम संचालन के संदर्भ में व्यक्त किया जा सकता है? मुझे एएनएन पर लागू होने और क्लाउड कंप्यूटिंग के लिए उनके आवेदन के रूप में समानांतरीकरण के तरीकों में भी अधिक दिलचस्पी है। मुझे लगता है कि एक दृष्टिकोण में प्रत्येक नोड पर …

9 parallel-computing  artificial-intelligence  neural-networks 

आम तौर पर विश्वविद्यालय असतत गणित / असतत संरचना सिखाते हैं। मेरा सवाल यह है कि इस क्षेत्र को समझने के लिए गणित को कितना जानने की जरूरत है? क्या पथरी की आवश्यकता है या क्या प्रीक्लुलकुलस ठीक रहेगा? क्या इस क्षेत्र को समझने में सक्षम होने से पहले किसी …

9 discrete-mathematics 

थियोडोर नॉरवेल (1999) द्वारा पुनरावर्ती वंश द्वारा पार्सिंग एक्सप्रेशंस लेख में लेखक अंकगणितीय अभिव्यक्तियों के लिए निम्नलिखित व्याकरण के साथ शुरू होता है: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E …

9 formal-languages  context-free  formal-grammars  left-recursion 

समस्या सेट के साथ वेब संसाधनों को सीखने में कोई अच्छा असतत गणित है?

9 reference-request  education  discrete-mathematics 

हम जेनेरिक निगेटिव-साइकल कैंसलिंग एल्गोरिदम के साथ न्यूनतम लागत-प्रवाह समस्या को हल करना चाहते हैं। यही है, हम एक यादृच्छिक वैध प्रवाह के साथ शुरू करते हैं, और फिर हम किसी भी "अच्छे" नकारात्मक चक्र को नहीं उठाते हैं जैसे कि न्यूनतम औसत लागत चक्र, लेकिन खोज चक्र के साथ …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow 

मान लीजिए कि हम एक विधेय पर दो संबंधों में शामिल होना चाहते हैं। क्या यह नेकां में है? मुझे लगता है कि इसका एक प्रमाण NC में नहीं होने के कारण ऐसा प्रमाण होगा जो , इसलिए मैं इसका प्रमाण एक उत्तर के रूप में एक खुली समस्या होने …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

दो सेटों को देखते हुए और प्रत्येक समतल में असंतुष्ट बिंदु हैं, और एक बिंदु के बीच की सबसे छोटी दूरी की गणना करते हैं , यानी, ।AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in …

9 algorithms  computational-geometry 

एक भाषा को देखते हुए , मैं सीधे कैसे कह सकता हूं, बिना उत्पादन नियमों को देखे, कि यह भाषा नियमित नहीं है?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} मैं पम्पिंग लेम्मा का उपयोग कर सकता था लेकिन कुछ लोग व्याकरण को देखते हुए कह रहे हैं कि यह नियमित नहीं है। …

9 formal-languages  regular-languages  pumping-lemma  intuition 

यह परिमित ऑटोमेटा में एक तुच्छ अभ्यास है, यह दिखाने के लिए कि कोई एल्गोरिथ्म नहीं है जो सभी वायरस का पता लगा सकता है, फिर भी कई सॉफ्टवेयर कंपनियां एंटी वायरस सॉफ़्टवेयर बेच रही हैं। क्या सीएस का कोई हिस्सा है जो वायरस और एंटी वायरस से संबंधित है? …

9 reference-request  security