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

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

17 complexity-theory  np-complete  proof-techniques 

बाइनरी हीप की कई चर्चाओं में, सामान्य रूप से केवल कमी-कुंजी को मिन-हीप के लिए समर्थित संचालन के रूप में सूचीबद्ध किया गया है। उदाहरण के लिए, CLR अध्याय 6.1 और यह विकिपीडिया पृष्ठ । सामान्य रूप से मिन-हीप के लिए सूचीबद्ध कुंजी क्यों नहीं बढ़ी है? मुझे लगता है …

17 algorithms  data-structures  heaps  priority-queues 

कंप्यूटर दृष्टि और छवि प्रसंस्करण के बीच अंतर क्या हैं? उदाहरण के लिए, वस्तु मान्यता में, कंप्यूटर दृष्टि और छवि प्रसंस्करण की भूमिकाएं क्या हैं?

17 terminology  computer-vision  image-processing  education 

मैं एनपी-इंटरमीडिएट और एनपी-पूर्ण के बीच संबंधों को समझने के लिए संघर्ष कर रहा हूं। मुझे पता है कि अगर पी! = एनपी लादनर के प्रमेय पर आधारित है तो एनपी में भाषाओं की एक श्रेणी मौजूद है लेकिन पी या एनपी-पूर्ण में नहीं। एनपी में हर समस्या को एक …

17 np-complete  reductions  factoring 

मैं साहचर्य सरणी (यानी नक्शा, या शब्दकोश) सोचा और हैशिंग तालिका इसी अवधारणा थे, जब तक में मैं देखा विकिपीडिया कि बहुत कम संख्या में बाइंडिंग वाले शब्दकोशों के लिए, यह एक एसोसिएशन सूची, बाइंडिंग की एक लिंक्ड सूची का उपयोग करके शब्दकोश को लागू करने के लिए समझ में …

17 data-structures  abstract-data-types 

किसी भी मनमाने ढंग से अनुरूप संगणना करने के लिए किन कार्यों को करने की आवश्यकता है ? इसके अलावा, घटाव, गुणा और भाग पर्याप्त होगा? इसके अलावा, क्या किसी को पता है कि एनालॉग संगणना के उपयोग से क्या समस्याएं ठीक होती हैं, लेकिन डिजिटल के साथ नहीं?

17 computability  computation-models  turing-completeness 

विकिपीडिया के अनुसार , किसी भी नियमित भाषा के लिए वहाँ मौजूद स्थिरांक और बहुआयामी पद ऐसी है कि हर एक के लिए संख्या की लंबाई के शब्दों की में संतुष्ट समीकरणLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n । भाषा नियमित है ( यह मेल खाता है)। iff n सम है, और s_L …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

मैंने सुना है आदर्श वाक्य बातचीत एल्गोरिदम से अधिक शक्तिशाली है से पीटर वेग्नर । विचार का आधार यह है कि एक (शास्त्रीय) ट्यूरिंग मशीन बाहरी दुनिया या पर्यावरण के साथ बातचीत, यानी संचार (इनपुट / आउटपुट) को संभाल नहीं सकती है। ऐसा कैसे हो सकता है? ट्यूरिंग मशीन की …

17 computability  computation-models 

मैं जानना चाहता हूं कि क्या निम्नलिखित समस्या विकट है और इसका कैसे पता लगाया जाए। मेरे द्वारा देखी जाने वाली प्रत्येक समस्या को मैं "हां" या "नहीं" कह सकता हूं, इसलिए कुछ को छोड़कर अधिकांश समस्याएं और एल्गोरिदम निर्णायक हैं (जो यहां प्रदान की गई हैं )? इनपुट: एक …

17 algorithms  computability  graph-theory  undecidability 

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

17 reference-request  satisfiability  sat-solvers 

मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । मैं यूनीफिकेशन एल्गोरिथम के बारे में पढ़ता रहता हूं । यह क्या है और क्यों …

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorगेट, अब मुझे केवल 4 nandगेट का उपयोग करके इस गेट का निर्माण करने की आवश्यकता है a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b)है, जो A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} मुझे उत्तर पता है लेकिन …

17 logic  boolean-algebra 

क्या यह सच है कि सीक्वेंशियल कंसिस्टेंसी कैशे कॉरेंस की तुलना में अधिक मजबूत संपत्ति है? इसके अनुसार सोरिन, डैनियल जे; हिल, मार्क डी; वुड, डेविड ए: ए प्राइमर ऑन मेमोरी कंसिस्टेंसी एंड कैच कोहरेंस , मॉर्गन एंड क्लेपूल, 2011 अनुक्रमिक संगति का वर्णन किया जा सकता है (औपचारिक रूप …

17 computer-architecture  cpu-cache  shared-memory 

त्वरित सॉर्ट एल्गोरिथ्म को निम्नलिखित चरणों में विभाजित किया जा सकता है धुरी को पहचानें। धुरी के आधार पर लिंक की गई सूची को विभाजित करें। लिंक की गई सूची को 2 भागों में पुन: विभाजित करें। अब, यदि मैं हमेशा अंतिम तत्व को धुरी के रूप में चुनता हूं, …

16 algorithms  algorithm-analysis  sorting  quicksort 

यह एक नरम सवाल है। मुझे क्रिप्टोग्राफी या इसके इतिहास के बारे में बहुत कुछ नहीं पता है, लेकिन ऐसा लगता है कि आरएसए के लिए एक आम उपयोग के लिए एक लंबा संदेश भेजने के लिए एक सममित कुंजी को एन्क्रिप्ट करके कुंजी विनिमय करना है (उदाहरण के लिए, …

16 cryptography  history