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

मैं एक हास्केल कार्यक्रम के कुछ हिस्सों के लिए प्रमाण प्रदान करना चाहता हूं जो मैं अपनी थीसिस के हिस्से के रूप में लिख रहा हूं। अब तक, मैं एक अच्छा संदर्भ कार्य खोजने में विफल रहा। हास्केल ( Google पुस्तकें ) में ग्राहम हटन की परिचयात्मक पुस्तक प्रोग्रामिंग - …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

हम का एक समूह है लोग। हमें एक सूची दी गई है कि समूह के भीतर किसके लिए उपहार खरीदना चाहिए। प्रत्येक व्यक्ति को किसी भी संख्या में उपहार खरीदने या प्राप्त करने की आवश्यकता हो सकती है, या संभवतः बिल्कुल भी नहीं। खरीदारी की यात्रा में, लोगों का एक …

10 algorithms  graph-theory  set-cover 

मैंने इस पायथन कोड को लिखा, और आश्चर्य किया कि क्या यह कभी-कभी समाप्त नहीं होता है (यह मानते हुए कि हमारे पास अनंत स्मृति / समय था और कोई पुनरावृत्ति गहराई सीमा नहीं है)। सहज रूप से आपको लगता है कि यह समाप्त हो जाएगा, क्योंकि कुछ बिंदु पर …

10 trees  probability-theory  termination 

मैं लाप्लासियन स्मूथिंग के साथ पाठ वर्गीकरण के लिए एक Naive Bayes एल्गोरिथ्म लागू कर रहा हूं। मेरे पास जो समस्या है, वह यह है कि संभावना शून्य के पास है क्योंकि मैं कई छोटे अंशों को गुणा कर रहा हूं। इसलिए, संभावना अंततः शून्य उपज देती है। ऐसा इसलिए …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

डिस्क्लेमर: मुझे पता है कि पहले से ही यहां और स्टाॅकओवरफ्लो पर ऐसे ही लगने वाले सवाल हैं। लेकिन वे सभी टकरावों के बारे में हैं, जो कि मैं नहीं पूछ रहा हूं। मेरा प्रश्न है: क्यों collision- है कम देखने O(1)पहली जगह में? मान लेते हैं कि मेरे पास …

10 complexity-theory  hash  hash-tables  performance 

इस संदर्भ से: सख्त सकारात्मकता सख्त सकारात्मकता की स्थिति ऐसी घोषणाओं को नियंत्रित करती है data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK नकारात्मक क्यों है? बी क्यों अनुमति दी है? …

10 type-theory  inductive-datatypes 

मैं यह पता लगाने की कोशिश कर रहा हूं कि 3-प्रतीक एक-आयामी सेलुलर ऑटोमेटा के लिए हॉल्टिंग की समस्या क्या है। परिभाषा चलो समय चरण i पर सिस्टम के विन्यास को दर्शाता है । अधिक औपचारिक रूप से च : एक * × एन → एक * है, जहां एक …

10 computability  decision-problem  halting-problem  cellular-automata 

सेल्फ टाइप्स कंस्ट्रक्टस ऑफ कंस्ट्रक्शंस [1] का एक विस्तार है, जो भाषा को स्कॉट एनकोडिंग के माध्यम से एन्कोड किए गए बीजीय डेटाैटिप्स को व्यक्त करने की अनुमति देता है। स्कॉट एन्कोडिंग एक को पैटर्न-मैच करने की क्षमता प्रदान करता है O(1), जो सीसी पर आगमनात्मक परिभाषाओं के समावेश के …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

मैं NFAs को DFA में बदलना सीख रहा हूं और मैं यह सुनिश्चित करना चाहता हूं कि मैं इसे सही कर रहा हूं। जाहिर है, दूसरी दिशा में वापस जाना कोई बात नहीं है। क्या किसी को एल्गोरिथ्म की जांच करने के लिए पता है कि डीएफए एनएफए के बराबर …

10 automata  finite-automata  proof-techniques  nondeterminism 

यदि पी = एन पीपी=एनपी\mathbf{P} = \mathbf{NP} , तो एल = एन एलएल=एनएल\mathbf{L} = \mathbf{NL} ? मैं यह सवाल इसलिए पूछ रहा हूं, क्योंकि अन्य गैर-नियतात्मक वर्गों के लिए, ऐसा लगता है कि पी = एन पीपी=एनपी\mathbf{P} = \mathbf{NP} हमेशा स्थापित करता है कि वे अपने नियतात्मक समकक्षों के बराबर …

10 complexity-theory  p-vs-np 

अंक का एक सेट को देखते हुए x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2 और एक त्रिज्या । तुलना में छोटी दूरी पर अधिक अंक वाले बिंदु को खोजने की जटिलता क्या है । उदाहरण के लिए, जो अधिकतम करता है ?rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} एक क्रूर बल एल्गोरिथ्म हर …

10 algorithms  complexity-theory  computational-geometry 

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

10 type-theory  applied-theory 

मैंने हाल ही में न्यूरल नेटवर्क के बारे में बात करते हुए Google रिसर्च ब्लॉग से एक बहुत दिलचस्प ब्लॉग प्रविष्टि पढ़ी है। मूल रूप से वे इस तंत्रिका नेटवर्क का उपयोग छवि मान्यता जैसी विभिन्न समस्याओं को हल करने के लिए करते हैं। वे अक्षतंतु के वजन को "विकसित" …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

यह प्रश्न एनपी-पूर्ण सेटों पर सेट परिचालनों से बने सेटों पर पिछले प्रश्न के कुछ हद तक स्पष्ट है : यदि संघ, चौराहे, या कार्टेजियन उत्पाद के दो निर्णायक सेट और L 2 के परिणामस्वरूप सेट NP-पूर्ण है, तो कम से कम L 1 , L 2 में से एक …

10 complexity-theory  np-hard  np  np-intermediate 

यह शायद एक मूर्खतापूर्ण सोचा है, लेकिन लगता है कि हम एक कंप्यूटर है कि गणना की एक अनंत अनुक्रम प्रदर्शन करते हैं और लगता है कि करने के लिए प्रोग्राम रहा है गणना लेता है 1 / 2 मैं पूरा करने के लिए सेकंड। फिर यह कंप्यूटर एक परिमाण …

10 computability  computation-models