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

उप-योग समस्या एक क्लासिक NP- पूर्ण समस्या है: की संख्या और लक्ष्य की सूची को देखते हुए , क्या से संख्याओं का एक सबसेट है जो s से ?LएलLkकkLएलLkकk एक छात्र ने मुझसे पूछा कि क्या समस्या के इस प्रकार को "सबसेट उत्पाद" कहा जाता है, तो समस्या एनपी-पूर्ण है: …

21 complexity-theory  np-complete  reductions 

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

21 artificial-intelligence 

मैं एक विश्वविद्यालय का छात्र हूं और वर्तमान में हम लैंबडा कैलकुलस पढ़ रहे हैं। हालाँकि, मुझे अभी भी यह समझने में कठिन समय है कि यह मेरे लिए क्यों उपयोगी है। मुझे एहसास है कि यदि आप कार्यात्मक प्रोग्रामिंग का भार उठाते हैं तो यह उपयोगी हो सकता है, …

21 lambda-calculus  functional-programming 

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

21 proof-techniques  computation-models  simulation 

मैंने कॉर्मेन के इंट्रो में एल्गोरिदम की किताब की अधिकांश सामग्री को समाप्त कर दिया है और मैं एक एल्गोरिथम पुस्तक की तलाश कर रहा हूं जो कॉर्मेन की पुस्तक से परे सामग्री को कवर करती है। क्या कोई सिफारिशें हैं? नोट: मैंने स्टैकओवरफ्लो पर यह पूछा था लेकिन सभी …

21 algorithms  reference-request  books 

एक भारित ग्राफ तो दो अलग-अलग न्यूनतम फैले पेड़ है और , तो यह सच है कि किसी भी बढ़त के लिए में , में किनारों की संख्या एक ही वजन के रूप में के साथ (सहित ही) में किनारों की संख्या के रूप में ही है रूप में एक …

21 graph-theory  spanning-trees  weighted-graphs 

एक युवा वयस्क के लिए एक अच्छी शुरुआत कंप्यूटर विज्ञान की किताब क्या है, कहते हैं, 15 साल की उम्र में? मैं सीएस में शुरुआत करना चाहता हूं, लेकिन पता नहीं है कि कहां से शुरू करना है। मुझे प्रोग्रामिंग में सीमित अनुभव है।

21 education  reference-request 

मान लीजिए कि हमारे पास एक यादृच्छिक जनरेटर है जो समान वितरण के साथ रेंज में संख्या [0..R−1][0..R−1][0..R-1] का उत्पादन करता है और हमें समान वितरण के साथ सीमा में यादृच्छिक संख्या उत्पन्न करने की आवश्यकता है [0..N−1][0..N−1][0..N-1] । माना कि और , समान रूप से विभाजित नहीं करते हैं …

21 probability-theory  randomness  random-number-generator  sampling 

वर्तमान में मैं जो लैम्बडा कैलकुलस पढ़ रहा हूं, उसकी स्क्रिप्ट में बीटा समतुल्यता को इस प्रकार परिभाषित किया गया है: ββ\beta -equivalence ≡β≡β\equiv_\beta छोटी से छोटी तुल्यता कि होता है →β→β\rightarrow_\beta । मुझे उसका मतल नही पाता। क्या कोई इसे सरल शब्दों में समझा सकता है? शायद एक उदाहरण …

21 logic  terminology  lambda-calculus  type-theory 

मुझे पता है कि ~ 2004 से, मूर के नियम ने सीपीयू घड़ी की गति के लिए काम करना बंद कर दिया था। मैं इसे दिखाने वाले एक ग्राफ की तलाश कर रहा हूं, लेकिन इसे खोजने में असमर्थ हूं: ज्यादातर चार्ट्स में प्रति वर्ष ट्रांजिस्टर की संख्या या क्षमता …

21 computer-architecture  empirical-research  data-sets 

मेरी जानकारी के लिए, तीन प्रमुख प्रक्रिया बीजगणित हैं जिन्होंने संगामिति के औपचारिक मॉडल में अनुसंधान की एक विशाल श्रृंखला को प्रेरित किया है। य़े हैं: रॉबिन मिलनर द्वारा CCS और -calculus दोनोंππ\pi टोनी होरे द्वारा सीएसपी और जन बर्गस्त्र और जन विलेम क्लॉप द्वारा एसीपी इन तीनों से लगता …

21 logic  concurrency  process-algebras 

मैं एक एल्गोरिथ्म के अस्तित्व को साबित या बाधित करना चाहता हूं, जो पूर्णांक की एक सरणी देता है , तीन सूचकांकों i , j और k को खोजता है जैसे कि i < j < k और A [ i ] < A [ j ] < A [ …

21 algorithms  arrays  subsequences 

एक आगमनात्मक प्रकार पर विचार करें जिसमें एक नेस्टेड में कुछ पुनरावर्ती घटनाएं होती हैं, लेकिन सख्ती से सकारात्मक स्थान। उदाहरण के लिए, बच्चों को संग्रहीत करने के लिए एक सामान्य सूची डेटा संरचना का उपयोग करके नोड्स के साथ परिमित शाखाओं वाले पेड़। Inductive LTree : Set := Node …

21 logic  coq  type-theory  recursion  proof-assistants 

गणना के मशीन मॉडल पर विचार करते समय, चॉम्स्की पदानुक्रम को आमतौर पर (क्रम में), परिमित ऑटोमेटा, पुश-डाउन ऑटोमेटा, रैखिक बाध्य ऑटोमेटा और ट्यूरिंग मशीनों द्वारा विशेषता दी जाती है। पहले और आखिरी स्तर 1 (नियमित भाषा और पुनरावर्ती रूप से सुगम भाषाएं) के लिए, यह मॉडल की शक्ति पर …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

कम्प्यूटेशनल जटिलता वर्गों के अध्ययन के लिए एक संभावित प्रेरणा विभिन्न प्रकार के कम्प्यूटेशनल संसाधनों (यादृच्छिकता, गैर-निर्धारणवाद, क्वांटम प्रभाव, आदि) की शक्ति को समझना है। यदि हम इसे इस दृष्टिकोण से देखते हैं, तो ऐसा लगता है कि हम किसी भी प्रयास के लिए एक प्रशंसनीय स्वयंसिद्ध शब्द प्राप्त कर …

21 complexity-theory  oracle-machines