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

माइकल Sipser की संगणना के सिद्धांत में पृष्ठ 270 पर वह लिखते हैं: पी = भाषाओं का वर्ग जिसके लिए सदस्यता जल्दी से तय की जा सकती है। एनपी = उन भाषाओं का वर्ग जिनके लिए सदस्यता जल्दी से सत्यापित की जा सकती है। "तय" और "सत्यापित" के बीच अंतर …

16 complexity-theory  terminology  decision-problem 

मैंने देखा है कि जब हम खोज एल्गोरिदम को लागू करते हैं तो विभिन्न डेटा संरचनाएं उपयोग की जाती हैं। उदाहरण के लिए, हम A * एल्गोरिथ्म को लागू करने के लिए गहराई-पहली खोज और न्यूनतम-गति को लागू करने के लिए चौड़ाई पहली खोज, ढेर को लागू करने के लिए …

16 algorithms  graphs  data-structures  search-algorithms 

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

16 logic  proof-assistants  automated-theorem-proving  smt-solvers 

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

16 information-theory  terminology  kolmogorov-complexity 

मैं यह साबित करने की कोशिश कर रहा हूं कि नोड्स के साथ एक बाइनरी हीप में बिल्कुल पत्ते हैं, यह देखते हुए कि हीप को निम्न तरीके से बनाया गया है:nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil प्रत्येक नए नोड को percolate up के माध्यम से डाला जाता है । इसका मतलब है …

16 data-structures  binary-trees 

ध्यान दें कि यह एक विश्वविद्यालय में एक सीएस कोर्स में अध्ययन से संबंधित प्रश्न है, यह होमवर्क नहीं है और यह फॉल 2011 परीक्षा 2 के तहत यहां पाया जा सकता है । यहां पिछले परीक्षा के दो प्रश्न दिए गए हैं। वे संबंधित प्रतीत होते हैं, पहला: चलो …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

नियतात्मक परिमित ऑटोमोटन (डीएफए) एक राज्य मशीन मॉडल है जो सभी और केवल नियमित भाषाओं को स्वीकार करने में सक्षम है। DFAs (और आमतौर पर) इस तरह से परिभाषित किए जा सकते हैं कि प्रत्येक राज्य को इनपुट वर्णमाला के सभी तत्वों के लिए कुछ संक्रमण प्रदान करना होगा; दूसरे …

16 formal-languages  automata  finite-automata 

इस का एक अनुवर्ती सवाल यह है कि इस एक । विदेशी राज्य मशीनों के बारे में पिछले प्रश्न में , एलेक्स दस ब्रिंक और राफेल ने एक अजीब तरह की राज्य मशीन की कम्प्यूटेशनल क्षमताओं को संबोधित किया: मिन-हीप ऑटोमेटा। वे यह दिखाने में सक्षम थे कि इस तरह …

16 formal-languages  automata  closure-properties 

किसी भी मनमाने 9x9 ग्रिड को निर्दिष्ट करने के लिए प्रत्येक वर्ग की स्थिति और मूल्य देने की आवश्यकता होती है। इसके लिए एक भोली एन्कोडिंग 81 xxx3 = 972 बिट्स के लिए 81 (x, y, मान) ट्रिपल दे सकती है, प्रत्येक x, y और मान के लिए 4 बिट्स …

16 combinatorics  modelling  information-theory  sudoku 

मैं एक ऐसी प्रणाली के साथ आने की कोशिश कर रहा था जो किसी संगठन के लिए उनके अंतर्निहित तर्क का निर्धारण करने के लिए bylaws का मूल्यांकन करेगी। मुझे लगता है कि नियमों का प्रतिनिधित्व करने के लिए एक प्रथम-क्रमिक विधेय प्रणाली काम करेगी, जिसे भाग-से-भाषण टैगिंग और अन्य …

16 machine-learning  algorithms  pattern-recognition  logic 

स्थैतिक-एकल असाइनमेंट (एसएसए) पर विकिपीडिया पृष्ठ के अनुसार , एसएसए का उपयोग एलएलवीएम, जीसीसी, एमएसवीसी, मोनो, डाल्विक, स्पाइडरमोंकी, और वी 8 जैसी बड़ी और प्रसिद्ध परियोजनाओं द्वारा किया जाता है, जबकि पृष्ठ पर निरंतरता-गुजर शैली का उपयोग करते हुए। (CPS) की तुलना में थोड़ी कमी है। मेरे पास यह धारणा …

16 compilers  program-optimization  continuations 

इस लेख के अनुसार लिस्प कोड की निम्न पंक्ति "हैलो वर्ल्ड" को मानक आउटपुट में प्रिंट करती है। (format t "hello, world") लिस्प, जो एक होमोसेक्सुअल भाषा है , इस तरह से डेटा के रूप में कोड का इलाज कर सकता है: अब कल्पना करें कि हमने निम्नलिखित मैक्रो लिखा …

16 programming-languages  functional-programming 

हम जानते हैं कि अधिकतम प्रवाह की गणना करना। क्षमता के साथ एक नेटवर्क का न्यूनतम कटौती बराबर है; सीएफ अधिकतम प्रवाह मिनट कट प्रमेय । हमारे पास अधिकतम प्रवाह की गणना के लिए (कम या अधिक कुशल) एल्गोरिदम हैं, और अधिकतम प्रवाह को देखते हुए न्यूनतम कटौती की गणना …

16 algorithms  graphs  network-flow 

Y कॉम्बिनेटर का प्रकार । करी-हावर्ड कॉरेस्पोंडेंस द्वारा, क्योंकि टाइप निवास है, यह एक सच्चे प्रमेय के अनुरूप होना चाहिए। हालाँकि, हमेशा सत्य होता है, इसलिए ऐसा प्रतीत होता है जैसे Y combinator का प्रकार प्रमेय मेल खाता , जो हमेशा सत्य नहीं होता है। यह कैसे हो सकता है?( …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

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

16 algorithms  quantum-computing  computation-models