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

मैं एक पूरी तरह से यादृच्छिक सुडोकू उत्पन्न करना चाहता हूं । 1 और 9 के बीच पूर्णांक के ग्रिड के रूप में एक सुडोकू ग्रिड को परिभाषित करें जहां कुछ तत्वों को छोड़ा जा सकता है। ग्रिड एक वैध पहेली है यदि सुडोकू बाधाओं (प्रत्येक पंक्ति, स्तंभ और संरेखित …

13 algorithms  randomness  sudoku 

मुझे पता है कि गैर-नियमित भाषाएं हैं, ताकि नियमित है, लेकिन सभी उदाहरण जो मुझे मिल सकते हैं वे संदर्भ-संवेदनशील हैं, लेकिन संदर्भ मुक्त नहीं हैं।एल*L∗L^* मामले में आप इसे कैसे साबित करते हैं?

13 formal-languages  context-free  regular-languages 

एक heuristic function है ...h(n)h(n)h (n) लगातार यदि नोड से अनुमानित लागत लक्ष्य के लिए अपने उत्तराधिकारी के लिए कदम लागत से अधिक नहीं है प्लस लक्ष्य के उत्तराधिकारी से अनुमानित लागत।nnnn′n′n' अगर लक्ष्य राज्य के लिए सही लागत को कभी कम नहीं करता है तो स्वीकार्य है ।h(n)h(n)h(n) मेरे …

13 algorithms  shortest-path  heuristics 

ऐसा प्रतीत होता है कि POSIX.1-2008 द्वारा परिभाषित "बेसिक रेगुलर एक्सप्रेशंस" प्रत्यावर्तन का समर्थन नहीं करता है, a|b(हालांकि कुछ grep कार्यान्वयन पलायन संस्करण को पहचानते हैं, \|)। चूंकि नियमित भाषाओं को परिभाषा के तहत संघ के तहत बंद किया जाता है, क्या इसका मतलब यह है कि पोसिक्स BRE में …

13 formal-languages  regular-expressions 

क्या सीपीयू में कोई बदलाव किया जा सकता है जिससे उन्हें रूस्ट जैसे समवर्ती रनटाइम के लिए बेहतर प्रदर्शन करने में मदद मिल सके? उदाहरण के लिए, क्या शाखा पूर्वानुमान कार्यान्वयन या कैश आकार में परिवर्तन होते हैं जो समवर्ती रनटाइम को मदद करेगा? मुझे इस बात का आभास है …

13 computer-architecture  concurrency  functional-programming 

मुझे लगा कि मैं आश्रित टाइपिंग (DT) को ठीक से समझ रहा हूं, लेकिन इस सवाल का जवाब: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-अंतर्ज्ञान-प्रकार-सिद्धांत मुझे अन्यथा सोच रहा था। डीटी पर पढ़ने के बाद और समझने की कोशिश कर रहे हैं कि वे क्या हैं, मैं आश्चर्य करने की कोशिश कर रहा हूं, डीटी …

13 logic  type-theory  intuition 

इन तीन शब्दों आइसोमोर्फिज्म, ऑटोमोरफिज्म और होमोमोर्फिज्म के बीच सरल आम भाषा में मुख्य अंतर क्या हैं और हम आइसोमोर्फिज्म, ऑटोमोरफिज्म और होमोमोर्फिज्म क्यों करते हैं?

13 graph-theory 

संदर्भ के लिए प्रसिद्ध एसएटी समस्या को यहां परिभाषित किया गया है । डबल-सैट समस्या को परिभाषित किया गया है DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} हम इसे एनपी-पूर्ण कैसे साबित …

13 complexity-theory  np-complete  satisfiability 

डायनेमिक प्रोग्रामिंग एक पुनरावर्ती एल्गोरिदम को निष्पादित करने के लिए आवश्यक समय को कम कर सकता है। मुझे पता है कि गतिशील प्रोग्रामिंग एल्गोरिदम के समय की जटिलता को कम करने में मदद कर सकता है। क्या सामान्य स्थितियां ऐसी हैं कि अगर एक पुनरावर्ती एल्गोरिथ्म से संतुष्ट है कि …

13 algorithms  dynamic-programming  efficiency  algorithm-design 

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

13 algorithms  graphs 

एल्गोरिथम की एल्गोरिथम जटिलता की रिपोर्ट करते समय, माना जाता है कि अंतर्निहित गणना कुछ अमूर्त मशीन (जैसे रैम) पर की जाती है जो एक आधुनिक सीपीयू का अनुमान लगाती है। ऐसे मॉडल हमें एल्गोरिदम के समय और स्थान की जटिलता की रिपोर्ट करने की अनुमति देते हैं। अब, GPGPUs …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न अपडेट करें तो यह है -विषय पर कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए। 2 साल पहले बंद हुआ । AFAIU प्रकार वे हो सकते हैं Setजिनके …

13 dependent-types  coq 

यदि मेरे पास क्रमशः दो आयाम और , तो क्रमशः और , और गणना करना चाहते हैं , यह पहले रूप में अभिव्यक्ति को फिर से लिखने के लिए अधिक कुशल है। और केवल तब संख्यात्मक रूप से मूल्यांकन करते हैं, क्योंकि आयाम लेकिन आयाम ।B 1000 × 2 2 …

13 optimization  dynamic-programming  linear-algebra 

में जो पढ़ता हूँ उससे preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. यह पीटीएएस परिभाषा है: समस्या एक्स के लिए एक बहुपद समय सन्निकटन योजना ( PTAS ) एक …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

मुझे लगा कि स्टैक एक्सचेंज के सीएस हिस्से में यह सवाल बेहतर है। अब जब हमारे पास CUDA और OpenCL जैसी भाषाओं के साथ GPGPU हैं, तो क्या मल्टीमीडिया SIMD एक्सटेंशन (SSE / AVX / NEON) अभी भी एक उद्देश्य पूरा करते हैं? मैंने हाल ही में एक लेख पढ़ा …

13 computer-architecture  parallel-computing