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

हम जानते हैं कि डीएफए अभिव्यंजक शक्ति में एनएफए के बराबर हैं; एनएफए को डीएफए में बदलने के लिए एक ज्ञात एल्गोरिथ्म भी है (दुर्भाग्य से मुझे अब उस एल्गोरिथ्म के आविष्कारक को पता है), जो सबसे खराब स्थिति में हमें राज्य देता है , अगर हमारे एनएफए में राज्य …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

मेरे पास यादृच्छिक क्रम में वस्तुओं की एक सूची तैयार करने के दो तरीके हैं और यह निर्धारित करना चाहते हैं कि क्या वे समान रूप से निष्पक्ष हैं (निष्पक्ष)। पहली विधि जो मैं उपयोग करता हूं वह तत्वों की पूरी सूची का निर्माण करना है और फिर उस पर …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

वे शब्दावली मुझे भ्रमित करती हैं। जैसा मैं समझा हूँ सैट सॉल्वर: प्रपोजल लॉजिक (DPLL या लोकल सर्च का उपयोग करके) की संतोषजनकता तय करते हैं। निर्णय प्रक्रिया एक निश्चित निर्णायक प्रथम-क्रम सिद्धांत की संतुष्टि को तय करने की एक प्रक्रिया है। श्रीमती सॉल्वर एक सैट सॉल्वर + निर्णय प्रक्रिया …

24 algorithms  terminology  reference-request  decision-problem 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

मैं इस बात का अंदाजा लगाने की कोशिश कर रहा हूं कि एकेएस प्रिमैलिटी टेस्ट की व्याख्या कैसे की जानी चाहिए क्योंकि मैं इसके बारे में सीखता हूं, जैसे कि यह साबित करने के लिए एक कोरोलरी कि IM पी, या कंप्यूटर पर व्यावहारिकता परीक्षण के लिए वास्तव में व्यावहारिक …

24 algorithms  efficiency  primes 

इस जवाब में लेडी बाउर के इस कथन के समान ही सोच है हास्केल समुदाय ने श्रेणी सिद्धांत से प्रेरित कई तकनीकों का विकास किया है, जिनमें से भिक्षुओं को सबसे अच्छी तरह से जाना जाता है लेकिन उन्हें भिक्षुओं के साथ भ्रमित नहीं होना चाहिए । बीच का रिश्ता …

24 programming-languages  functional-programming  category-theory 

यह सवाल स्टैक ओवरफ्लो से माइग्रेट किया गया था क्योंकि इसका जवाब कंप्यूटर साइंस स्टैक एक्सचेंज पर दिया जा सकता है। 7 साल पहले पलायन कर गए । मैं अनुकूलन की समस्याओं की जटिलता के संबंध में कुछ शब्दावली से थोड़ा भ्रमित हूं। एल्गोरिथम वर्ग में, मुझे एनपी-पूर्ण के रूप …

24 complexity-theory  np-complete  terminology 

क्या स्मूथेड विश्लेषण एल्गोरिदम के मुख्य धारा विश्लेषण में अपना रास्ता खोज पाया? क्या एल्गोरिथ्म डिजाइनरों के लिए अपने एल्गोरिदम पर सुचारू विश्लेषण लागू करना सामान्य है?

24 algorithms  complexity-theory  algorithm-analysis 

पिछले सप्ताह कक्षा में, मेरे प्रोफेसर ने टिप्पणी की और कहा कि ट्यूरिंग मशीनों का उपयोग एक मानक माप / मॉडल के रूप में किया जाता है जो कि कम्प्यूटेशनल है और उस विषय के लिए चर्चा का एक सहायक आधार है। उन्होंने यह भी कहा कि ट्यूरिंग मशीनों के …

24 turing-machines  quantum-computing 

यह एक भोलापन है और इसलिए, संभवतः विकृत सवाल है, इसलिए अग्रिम में माफी! मेरा विचार है कि ट्यूरिंग मशीन को प्रक्रियात्मक / अनिवार्य प्रोग्रामिंग भाषाओं के लिए कम्प्यूटेशनल आधार के रूप में देखा जा सकता है। इसी प्रकार, लंबा कैलकुलस कार्यात्मक प्रोग्रामिंग भाषाओं की नींव है। मुझे हाल ही …

23 programming-languages  mathematical-foundations  church-turing-thesis 

आइए हम कहते हैं कि एक कार्यक्रम ऐसा है कि अगर आप किसी भी आकार का आंशिक रूप से भरा सुडोकू देते हैं, तो यह आपको इसी तरह से पूर्ण सुडोकू देता है। क्या आप इस प्रोग्राम को ब्लैक बॉक्स मान सकते हैं और इसका उपयोग TSP को हल करने …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

मैं बीबर बाउर द्वारा " पाँच चरणों के रचनात्मक गणित को स्वीकार कर रहा था" देख रहा था और वह कहता है कि विरोधाभास के दो प्रकार के प्रमाण हैं (या दो चीजें जो गणितज्ञ विरोधाभास द्वारा प्रमाण कहते हैं): मान झूठी है ... ब्ला ब्ला ब्ला, विरोधाभास। इसलिए P …

23 halting-problem  coq 

मैं अनसुलझी कंप्यूटर विज्ञान समस्याओं की सूची पर विकिपीडिया पर था और यह पाया गया: क्या सार्वजनिक-कुंजी क्रिप्टोग्राफी संभव है? मुझे लगा कि आरएसए एन्क्रिप्शन सार्वजनिक-कुंजी क्रिप्टोग्राफी का एक रूप था? यह समस्या क्यों है?

23 cryptography 

जैसे कंप्यूटर विज्ञान में ब्लैक होल। हम केवल यह जान सकते हैं कि वे मौजूद हैं लेकिन जब हमारे पास उनमें से एक है तो हम कभी नहीं जान पाएंगे कि यह उनमें से एक है।

23 halting-problem  correctness-proof 

संगणनीयता सिद्धांत में, संगणनीय कार्यों को पुनरावर्ती कार्य भी कहा जाता है। कम से कम पहली नजर में, उनके पास सामान्य रूप से कुछ भी नहीं है जिसे आप दिन-प्रतिदिन की प्रोग्रामिंग में "पुनरावर्ती" कहते हैं (यानी, कार्य जो स्वयं को कॉल करते हैं)। संगणना के संदर्भ में पुनरावर्ती का …

23 computability  terminology  history