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

मैं एक Biparite ग्राफ़ के अधिकतम स्वतंत्र सेट को खोजने का प्रयास कर रहा हूं। मैंने कुछ नोटों में पाया "13 मई, 1998 - वाशिंगटन विश्वविद्यालय - सीएसई 521 - नेटवर्क प्रवाह के अनुप्रयोग" : मुसीबत: एक द्विदलीय ग्राफ को देखते हुए , एक स्वतंत्र सेट जो कि जितना संभव …

19 algorithms  graph-theory  network-flow 

मैं एक कुशल एल्गोरिथ्म की तलाश कर रहा हूं जो मुझे वितरित आर्किटेक्चर पर अल्फा-बीटा प्रूनिंग के साथ शतरंज के लिए मिनिमैक्स सर्च ट्री प्रोसेस करने देता है । मेरे द्वारा देखे गए एल्गोरिदम (PVS, YBWC, DTS नीचे देखें) सभी काफी पुराने हैं (1990 नवीनतम है)। मुझे लगता है कि …

19 algorithms  distributed-systems  board-games 

मैंने हाल ही में पढ़ा है कि ऐसे सरणियों के लिए संभव है, जिन्हें आरंभीकृत करने की आवश्यकता नहीं है, अर्थात बिना किसी समय के प्रत्येक सदस्य को डिफ़ॉल्ट मान पर सेट करने का प्रयास किए बिना उनका उपयोग करना संभव है। यानी आप सरणी का उपयोग करना शुरू कर …

19 data-structures  arrays 

इंट्रो ग्राफिक्स पाठ्यक्रम में आमतौर पर एक परियोजना होती है जो आपको एक दृश्य प्रस्तुत करने के लिए एक किरण अनुरेखक बनाने के लिए कहती है। ग्रेड स्कूल में प्रवेश करने वाले कई ग्राफिक्स छात्रों का कहना है कि वे किरण अनुरेखण पर काम करना चाहते हैं। और फिर भी …

19 graphics 

चलो एल = { एn| ∃पी ≥ n पी, पी + 2 प्राइम } हैं । एल={एn|∃पी≥n पी, पी+2 प्राइम हैं}।\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. क्या नियमित है?एलएलL यह प्रश्न पहली नज़र में संदेहास्पद लग रहा था और मुझे एहसास हुआ कि …

19 formal-languages  automata  regular-languages  finite-automata 

एक यूनीपैथिक ग्राफ एक निर्देशित ग्राफ है, जिसमें किसी एक शीर्ष से किसी भी अन्य शीर्ष पर जाने के लिए सबसे सरल मार्ग है। यूनीपैथिक ग्राफ में चक्र हो सकते हैं। उदाहरण के लिए, एक दोहरी लिंक की गई सूची (एक परिपत्र नहीं!) एक यूनीपैथिक ग्राफ है; यदि सूची में …

19 graphs  combinatorics 

हार्ड समस्याओं के लिए Hromkovič के एल्गोरिथ्म में (दूसरा संस्करण) इस प्रमेय (2.3.3.3, पृष्ठ 117) है: वहाँ एक (निर्णायक) निर्णय समस्या है कि हर एल्गोरिथ्म ए के लिए है कि पी हल करता है एक और एल्गोरिथ्म ए ′ है जो पी को भी हल करता है और इसके अलावा …

19 complexity-theory 

कंप्यूटर विज्ञान पाठ्यक्रम के लिए डी मॉर्गन लॉ अक्सर एक परिचयात्मक गणित में पेश किया जाता है, और मैं अक्सर इसे शब्दों को नकारात्मक रूप से AND से OR में बदलने का एक तरीका के रूप में देखता हूं। क्या यह सच है कि केवल तालिकाओं को याद रखने के …

19 logic  discrete-mathematics  didactics 

हमारे प्रोफेसर ने हमें OCaml में एक फंक्शन के बारे में सोचने के लिए कहा, जिसमें टाइप है 'a -> 'b यानी एक तर्क का एक कार्य जो कुछ भी हो सकता है, और वह एक अलग चीज को वापस कर सकता है। मैंने raiseऐसे फ़ंक्शन में उपयोग करने के …

19 programming-languages  typing  functional-programming 

Sipser की पुस्तक "कम्प्यूटेशन के सिद्धांत का परिचय" पृष्ठ 3SAT से हैमिल्टनियन पथ की समस्या के कारण 286 में कमी आई है। क्या कोई सरल कमी है? सरलता से मेरा मतलब है एक कमी जिसे समझना (छात्रों के लिए) आसान होगा। क्या कोई कमी है जो चर की रैखिक संख्या …

19 complexity-theory  np-hard 

मैं एक स्नातक छात्र हूँ जो अभिकलन के सिद्धांत में एक कोर्स कर रहा है और मेरे द्वारा पूछे जाने पर मुझे सामग्री के उत्पादन में गंभीर समस्या है। मैं पाठ्यपुस्तक (माइकल Sipser द्वारा कम्प्यूटेशन के सिद्धांत का परिचय) और व्याख्यान का पालन करने में सक्षम हूं; हालाँकि जब किसी …

19 computability  education  intuition 

मैं कुछ समय से डायनेमिक प्रोग्रामिंग पर काम कर रहा हूं। एक गतिशील प्रोग्रामिंग पुनरावृत्ति का मूल्यांकन करने के लिए विहित तरीका सभी आवश्यक मूल्यों की एक तालिका बनाकर और पंक्ति द्वारा पंक्ति को भरना है। उदाहरण के लिए Cormen, Leiserson et al: "परिचय के लिए एल्गोरिदम का परिचय" देखें …

19 algorithms  dynamic-programming 

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

19 algorithms  programming-languages  reference-request  type-checking 

कई ऑपरेटिंग सिस्टम संदर्भों का कहना है कि सहकारी (प्रीमेप्टिव के विपरीत) मल्टीटास्किंग के साथ, एक प्रक्रिया सीपीयू को तब तक रखती है जब तक कि यह स्पष्ट रूप से स्वैच्छिक रूप से खुद को निलंबित न कर दे। यदि कोई रनिंग प्रक्रिया एक I / O अनुरोध करता है …

19 operating-systems  process-scheduling 

सेट अंतर ऑपरेटर (उदाहरण के लिए, EXCEPTकुछ SQL वेरिएंट में) रिलेशनल बीजगणित के कई मौलिक ऑपरेटरों में से एक है। हालांकि, कुछ डेटाबेस हैं जो सेट अंतर ऑपरेटर को सीधे समर्थन नहीं करते हैं, लेकिन जो समर्थन LEFT JOIN(एक प्रकार का बाहरी जुड़ाव) है, और व्यवहार में इसका उपयोग समान …

19 database-theory  relational-algebra  finite-model-theory