ho.history-overview पर टैग किए गए जवाब

क्यों नियमित भाषा (और उस नियमित अभिव्यक्ति से) को "नियमित" कहा जाता है? संदर्भ-मुक्त भाषाओं की अन्य प्रकार की भाषाओं में भी बहुत नियमितता है । मुझे लगता है कि, शुरुआत में, विशेषण "नियमित" का उपयोग उस प्रकार की भाषाओं को अन्य "गैर-नियमित" या किसी तरह असामान्य भाषाओं से अलग …

27 regular-expressions  regular-language  ho.history-overview 

तो एक अनिर्दिष्ट है घ नियमित ग्राफ और एस प्रमुखता के कोने के एक सबसेट है ≤ | वी | / 2 , फोन किनारे विस्तार के एस मात्राG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} जहाँ A में एक समापन बिंदु और B में एक समापन बिंदु के साथ …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

विकिपीडिया पर बुद्धिमान अन्य संपादकों ने राबिन-कार्प एल्गोरिथ्म पर विकिपीडिया लेख को स्थानांतरित करने के मेरे अनुरोध को अस्वीकार कर दिया है, मुझे लगता है कि इसे क्या कहा जाना चाहिए, कार्प-राबिन एल्गोरिथ्म, इस आधार पर कि राबिन-कार्प नाम का उपयोग अधिक बार किया जाता है (एड असत्य, यदि कोई …

26 ho.history-overview  string-matching 

मुझे यकीन है कि हर कोई 18 वीं शताब्दी में बफॉन के सुई प्रयोग के बारे में जानता है , यह गणना करने वाले पहले संभावित एल्गोरिदम में से एक है ।ππ\pi कंप्यूटर में एल्गोरिथ्म के कार्यान्वयन आमतौर पर के उपयोग के लिए कहता है , हार की तरह उद्देश्य …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

मैंने हाल ही में विस्तारकों को पढ़ाया, और रामानुजन के रेखांकन की धारणा पेश की। माइकल फोर्ब्स ने पूछा कि उन्हें इस तरह क्यों बुलाया जाता है, और मुझे मानना ​​पड़ा कि मैं नहीं जानता। किसी को?

25 graph-theory  soft-question  ho.history-overview  expanders 

मैंने पढ़ा है कि शुरू में चर्च ने -calculus को लॉजिस्टिक लॉजिक (जो कि एक सघन वाचन है) के अपने पोस्टुलेट्स के हिस्से के रूप में प्रस्तावित किया था । लेकिन क्लेन ने अपने "सिस्टम" को असंगत साबित कर दिया जिसके बाद, चर्च ने "प्रभावी कम्प्यूटेबिलिटी" पर अपने काम के …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

तेजी से गुणा करने के लिए Karatsuba की एल्गोरिथ्म पहली बार A. Karatsuba और Yu में प्रकाशित हुई थी। ओनमैन (1962), "ऑटोमैटिक कम्प्यूटर्स द्वारा कई-डिजिटल नंबरों का गुणन", यूएसएसआर एकेडमी ऑफ साइंसेज 145: 293-294 की कार्यवाही। के अनुसार Karatsuba (1995, "संगणना की जटिलता", । गणित के प्रोक Steklov संस्थान 211: …

21 ho.history-overview 

मेरे दो ऐतिहासिक प्रश्न हैं: सबसे पहले nondeterministic संगणना का वर्णन किसने किया था? मुझे पता है कि कुक ने एनपी-पूर्ण समस्याओं का वर्णन किया, और एडमंड्स ने प्रस्तावित किया कि पी एल्गोरिदम "कुशल" या "अच्छा" एल्गोरिदम हैं। मैंने इस विकिपीडिया लेख को खोजा और "एल्गोरिथ्म के कम्प्यूटेशनल कॉम्प्लेक्सिटी पर" …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

(असत्यापित) ऐतिहासिक खाते के अनुसार, कोलमोगोरोव ने सोचा था कि की हर भाषा में रैखिक सर्किट जटिलता है। (पहले के प्रश्न कोलमोगोरोव के अनुमान को देखें कि में रैखिक आकार के सर्किट हैं ।) ध्यान दें कि इसका तात्पर्य ।पी पी ≠ एन पीPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} कोलमोगोरोव का अनुमान, हालांकि, असफल …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

मैं अभी हाल ही में ट्यूरिंग मशीन के बारे में चर्चा कर रहा था, जब मुझसे पूछा गया, "क्या ट्यूरिंग मशीन ऑटोमेटा से निकली है, या यह दूसरी तरह है"? मुझे पाठ्यक्रम का उत्तर नहीं पता था, लेकिन मैं यह जानने के लिए उत्सुक हूं। ट्यूरिंग मशीन मूल रूप से …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

जब प्रिंट में जटिलता सिद्धांत की प्रासंगिकता के अर्थशास्त्रियों को समझाने की कोशिश की जाती है, तो क्या यह हवाला देने के लिए एक मानक संदर्भ है? मैं नोआम निसान के ब्लॉग पोस्ट , टिम रफगार्डन के सर्वेक्षण और स्कॉट आरोनसन के निबंध के अध्याय 11 से परिचित हूं । …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

मैंने आज निचले हिस्से को पढ़ाया , और छात्रों में से एक ने A C नाम के कारण के बारे में पूछा । आधिकारिक स्पष्टीकरण यह है कि "ए" का अर्थ "अल्टरनेशन" है।AC0AC0AC^0ACACAC मुझे याद है कि कई साल पहले बताया जा रहा था कि निक पिप्पेंजर स्टीव कुक ने …

17 cc.complexity-theory  reference-request  ho.history-overview 

क्या एल्गोरिदम के दिलचस्प उदाहरण हैं जो सिद्ध सीमाओं के साथ प्रकाशित किए गए हैं, और जहां सख्ती से बेहतर सीमाएं बाद में प्रकाशित हुई हैं? बेहतर सीमा के साथ बेहतर एल्गोरिदम नहीं - जाहिर है कि ऐसा हुआ है! लेकिन बेहतर विश्लेषण एक मौजूदा एल्गोरिथ्म पर एक बेहतर बाध्य …

16 ho.history-overview  analysis-of-algorithms 

AFAIK, उच्च आदेश कार्यों का उपयोग करने का पहला सबूत वापस Schönfinkel के 1924 के पेपर पर जाता है: "गणितीय तर्क के बिल्डिंग ब्लॉक्स पर" - जहां उन्होंने एक को अन्य कार्यों के तर्क के रूप में कार्य करने की अनुमति दी। यह दिलचस्प लगता है। हालाँकि, जो कुछ भी …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

मुझे सामान्य-उद्देश्य वाले अंतरिक्ष-समय के ट्रेडऑफ़ पर प्रकाशित परिणामों के शुरुआती इतिहास में दिलचस्पी है। विशेष रूप से, मैं यह जानना चाहता हूं कि पहले किसने एल्गोरिथ्म के निम्न प्रकार का वर्णन किया था, जिसमें डेटा मीटर ग्राफ की गहराई (चौड़ाई) के लिए आनुपातिक डेटा प्रवाह ग्राफ के साथ डिग्री …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff