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

कर सकते हैं किसी को समझाने के लिए मुझे क्यों कि उलटे पांव लौटने के साथ एक पुनरावर्ती वंश पार्सर की कोशिश करता है प्रस्तुतियों और एस → एक एक (इसी क्रम में) व्याकरण द्वारा गठित भाषा को मान्यता नहीं देता एस → एक एस एक | एक एक ।S→aSaS→aSaS …

10 context-free  formal-grammars  compilers  parsers 

नियमित अभिव्यक्तियों को देखने का एक तरीका निम्नलिखित तथ्य के रचनात्मक प्रमाण के रूप में है: भाषाओं के एक छोटे से सेट के साथ शुरू करके और उन्हें एक छोटे, निश्चित क्लोजर गुणों के सेट के माध्यम से जोड़कर नियमित भाषाओं का निर्माण करना संभव है। विशेष रूप से, यदि …

10 formal-languages  context-free  closure-properties  regular-expressions 

मैं में देख रहा था यहाँ है, और मैं दो की गुणन के लिए सबसे अच्छा क्रम देखा nnn -bits संख्या है O(n⋅logn⋅2O(log∗n)O(n⋅log⁡n⋅2O(log∗⁡n)O(n\cdot \log n \cdot 2^{O(\log^* n)} , लेकिन मैं आसानी से कि में रन एक एल्गोरिथ्म नोटिस कर सकते हैं O(n⋅logn)O(n⋅log⁡n)O(n\cdot \log n) । आखिरकार, हम जानते हैं …

10 runtime-analysis 

मैं एक पैटर्न मैचिंग एल्गोरिथ्म के साथ काम कर रहा हूं जो एक एसाइक्लिक परिमित राज्य ऑटोमेटोन उत्पन्न करता है जो किसी दिए गए टेक्स्ट स्ट्रिंग और इसके सभी सबस्ट्रिंग को स्वीकार करता है। एफएसए एल्गोरिथ्म एक संगीत स्ट्रीम (जैसे, मिडी डेटा) के प्रतीकात्मक प्रतिनिधित्व पर चलाया जा रहा है। …

10 formal-languages  reference-request  finite-automata 

मैंने इसे विभिन्न स्थानों पर इस तरह पढ़ा है कि हाइपर-थ्रेडिंग प्रदर्शन में गिरावट की ओर जाता है। मैं यह पाने में असमर्थ हूं कि हाइपर-थ्रेडिंग क्यों या कैसे घटती है। ऐसा क्यों है कि जब भी हाइपर-थ्रेडिंग मुक्त संसाधनों का उपयोग करने के लिए ओएस की अनुमति देता है …

10 computer-architecture  performance  threads 

आपके पास मनमाने ढंग से लंबाई की nnn लाठी है, जरूरी नहीं कि अभिन्न हो। कुछ छड़ियाँ काट कर (एक कट एक कट को काटता है, लेकिन हम जितनी बार चाहें उतनी बार काट सकते हैं), आप k&lt;nk&lt;nk<n स्टिक को ऐसे प्राप्त करना चाहते हैं : इन सभी kkk लाठी …

10 algorithms  optimization 

हॉल्टिंग समस्या में, हम अगर वहाँ एक ट्यूरिंग मशीन है रुचि कर रहे हैं कि हैं कि कोई ट्यूरिंग मशीन बता सकते हैं किसी दिए गए इनपुट पर हाल्ट या नहीं । आमतौर पर, प्रमाण मानने लगता है कि ऐसा मौजूद है। फिर, हम एक मामले पर विचार जहां हम …

10 computability  undecidability  halting-problem 

दो प्रतीकों और को देखते हुए , आइए -th फाइबोनैचि स्ट्रिंग को निम्नानुसार परिभाषित करें :b kएए\text{a}खख\text{b}ककk एफ( के ) = ⎧⎩⎨खएएफ( के - 1 ) ⋆ एफ( के - २ )यदि k=0यदि k=1अन्यएफ(क)={खअगर क=0एअगर क=1एफ(क-1)⋆एफ(क-2)अन्य F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

एक क्रॉसवर्ड पहेली के समान एक क्लासिक पहेली पुस्तक का खेल है, शब्दों की एक सूची को छोड़कर दिया जाता है और फिर यूनिट वर्गों से बना एक स्क्वायर बोर्ड दिया जाता है, कुछ वर्गों को क्रॉस-वर्ड की तरह ब्लैक आउट किया जाता है, और कुछ चौकों में एक पत्र …

10 complexity-theory  np-complete  board-games 

एक परिमित शीर्ष सेट पर एक तुल्यता संबंध एक अप्रत्यक्ष ग्राफ द्वारा दर्शाया जा सकता है जो कि एक अप्रतिबंधित संघ है। शीर्ष सेट तत्व का प्रतिनिधित्व करता है और एक किनारे दर्शाता है कि दो तत्व बराबर हैं। अगर मैं एक ग्राफ है और रेखांकन जी 1 , ... …

10 algorithms  graph-theory  clique 

यदि तो पदानुक्रम अपने दूसरे स्तर (कार्प-लिप्टन प्रमेय द्वारा) तक गिर जाता है। लेकिन एन पी और सी ओ एन पी के बारे में क्या ?आर पी = एन पीआरपी=एनपी\sf RP = NPएन पीएनपी\sf NPसी ओ एन पीसीओएनपी\sf coNP मैंने यह साबित करने की कोशिश की कि एन पी में …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

द्विआधारी प्रतिनिधित्व में दो पूर्णांक xएक्सx और को देखते हुए nnn, के बिट-आकार की गणना करने की जटिलता क्या है ?xnएक्सnx^n ऐसा करने का एक तरीका पर्याप्त सटीकता के साथ एक अनुमान की गणना करके की गणना करना है । ऐसा लगता है कि कंप्यूटिंग के साथ precisions के टुकड़े …

10 complexity-theory  time-complexity  binary-arithmetic 

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

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

वर्तमान फ्लोटिंग पॉइंट (एएनएसआई सी फ्लोट, डबल) एक वास्तविक संख्या के एक अनुमान का प्रतिनिधित्व करने की अनुमति देता है । क्या त्रुटियों के बिना वास्तविक संख्याओं का प्रतिनिधित्व करने का कोई तरीका है ? यहां एक विचार है जो मेरे पास था, जो कुछ भी है लेकिन सही है। …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

पीटर सेलिंगर के अनुसार , लैंबडा कैलकुलस अलजेब्रासिक (पीडीएफ) है। इस लेख में वह कहता है: लैम्ब्डा कैलकुलस की संयुक्त व्याख्या को अपूर्ण माना जाता है, क्योंकि यह -rule को संतुष्ट नहीं करता है : व्याख्या के तहत, अर्थ (Barendregt, 1984) नहीं है।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N प्रशन: …

10 terminology  lambda-calculus  combinatory-logic