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

प्रत्येक अनिर्णायक समस्या जिसे मैं निम्न श्रेणियों में से एक में जानता हूं: वे समस्याएं जो विकर्णीकरण (अप्रत्यक्ष स्व-संदर्भ) के कारण अनिर्दिष्ट हैं। ये समस्याएँ, जैसे रुकने की समस्या, अनिर्णायक हैं क्योंकि आप एक टीएम का निर्माण करने के लिए भाषा के लिए एक निर्धारित डिकोडर का उपयोग कर सकते …

28 computability  proof-techniques  undecidability 

मैं क्लस्टरिंग विधियों को समझने की कोशिश कर रहा हूं। मुझे क्या समझ में आया II: पर्यवेक्षित शिक्षण में, गणना के पहले श्रेणियों / लेबल डेटा को ज्ञात किया जाता है। तो, लेबल, कक्षाएं या श्रेणियां उन मापदंडों को "जानने" के लिए उपयोग की जा रही हैं जो उन समूहों …

28 machine-learning  data-mining  clustering 

मैं अक्सर किसी भी संदर्भ के बिना 'सही संगामिति शब्दार्थ' और 'सही संगति समकक्ष' जैसे वाक्यांश सुनता हूं। उन शब्दों का क्या अर्थ है और वे महत्वपूर्ण क्यों हैं? वास्तविक संगामिति समकक्षों के कुछ उदाहरण क्या हैं और उनके लिए क्या आवश्यक है? उदाहरण के लिए, किन मामलों में वे …

28 terminology  reference-request  concurrency 

हम आदेश के बाद जानते हैं, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] और पूर्व-आदेश pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) और इन-ऑर्डर ट्रैवर्सल सम्मान। sequentialisation। in L(x) => [x] in N(x,l,r) => (in l) …

28 algorithms  binary-trees 

एक नियमित भाषा , को की लंबाई में शब्दों की संख्या । जॉर्डन कैनोनिकल फॉर्म ( लिए कुछ डीएफए के अघोषित संक्रमण मैट्रिक्स पर लागू ) का उपयोग कर, कोई यह दिखा सकता है कि बड़े पर्याप्त , जहाँ जटिल बहुपद हैं और जटिल "eigenvalues" हैं। (छोटे के लिए , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

मैं एक डेटा संरचना की तलाश कर रहा हूं, जो एक वर्ण सेट पर स्ट्रिंग्स का एक सेट संग्रहीत करता है , जो निम्न संचालन करने में सक्षम है। हम को दर्शाते हैं क्योंकि डेटा संरचना स्ट्रिंग्स के सेट को संग्रहीत करती है ।ΣΣ\SigmaD(S)D(S)\mathcal{D}(S)SSS Add-Prefix-Seton : दिए गए कुछ सेट …

28 data-structures  time-complexity  strings  stacks 

सैट की एक उदाहरण को देखते हुए, मैं यह अनुमान लगाना चाहूंगा कि उदाहरण को हल करना कितना मुश्किल होगा। एक तरीका मौजूदा सॉल्वरों को चलाने का है, लेकिन उस तरह की हार कठिनाई का अनुमान लगाने के उद्देश्य को हरा देती है। एक दूसरा तरीका हो सकता है कि …

28 complexity-theory  satisfiability  heuristics 

फिक्स्ड-पॉइंट कॉम्बीनेटर FIX (उर्फ वाई कॉम्बीनेटर) में (अप्रकाशित) लैम्ब्डा कैलकुलस ( ) को इस प्रकार परिभाषित किया गया है:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) मैं इसका उद्देश्य समझता हूं और …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

निर्देशित रेखांकन पर विचार करें। हम एक नोड सुपरस्टार को कॉल करते हैं यदि और केवल अगर कोई अन्य नोड इससे नहीं पहुंच सकता है, लेकिन अन्य सभी नोड्स में बढ़त है । औपचारिक रूप से:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 superstar :⟺outdeg(v)=0∧indeg(v)=n−1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = …

28 algorithms  graphs 

मेरे पास जोड़े का एक सेट है। प्रत्येक जोड़ी फॉर्म (x, y) की है जैसे कि x, y सीमा से पूर्णांक के हैं [0,n)। तो, यदि n 4 है, तो मेरे पास निम्नलिखित जोड़े हैं: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) मेरे पास पहले से ही जोड़े हैं। अब, मुझे …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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

28 combinatorics  binary-trees  discrete-mathematics 

छोटे और बड़े चरण के परिचालन शब्दार्थों के बीच मूलभूत अंतर क्या है? मैं एक मुश्किल समय लोभी है जो यह है और दोनों के लिए प्रेरणा है।

28 semantics  operational-semantics  small-step-semantics 

यह लिंक BFS / DFS का उपयोग करके अप्रत्यक्ष पेड़ के व्यास को खोजने के लिए एक एल्गोरिथ्म प्रदान करता है । सारांश: ग्राफ़ में किसी भी नोड पर बीएफएस चलाएं, पिछले खोजे गए नोड यू को याद करते हुए। अंतिम बार खोजे गए नोड v को याद करते हुए …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

मैं एक जटिलता पाठ्यक्रम ले रहा हूं और मुझे एनपीसी समस्याओं के बीच कटौती के साथ आने में परेशानी हो रही है। मैं समस्याओं के बीच कटौती कैसे पा सकता हूं? क्या कोई सामान्य ट्रिक है जिसका मैं उपयोग कर सकता हूं? मुझे एक समस्या का सामना कैसे करना चाहिए …

27 complexity-theory  np-complete  proof-techniques  reductions 

रुकने की समस्या बताती है कि कोई एल्गोरिथ्म नहीं है जो यह निर्धारित करेगा कि किसी दिए गए कार्यक्रम में बाधा आती है या नहीं। परिणामस्वरूप, ऐसे कार्यक्रम होने चाहिए जिनके बारे में हम यह नहीं बता सकते कि वे समाप्त होते हैं या नहीं। ऐसे कार्यक्रमों के सबसे सरल …

27 computability  turing-machines  halting-problem