machine-models पर टैग किए गए जवाब

1937 में ट्यूरिंग ने ट्यूरिंग मशीन का वर्णन किया। तब से कम्प्यूटेशन के कई मॉडल एक मॉडल को खोजने के प्रयास में घोषित किए गए हैं जो एक वास्तविक कंप्यूटर की तरह है लेकिन एल्गोरिदम को डिजाइन और विश्लेषण करने के लिए अभी भी काफी सरल है। नतीजतन, हमारे पास …

41 ds.algorithms  reference-request  soft-question  machine-models 

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

38 computability  turing-machines  machine-models  church-turing-thesis 

यह प्रश्न एल्गोरिथ्म और डेटा संरचनाओं को डिज़ाइन करने के लिए कंप्यूटर के सही सैद्धांतिक मॉडल के लिए एक सामान्य प्रश्न के समान है । यहाँ, मैं विशेष रूप से वर्तमान उच्च प्रदर्शन वाले कंप्यूटरों के बारे में पूछता हूं (जैसे शीर्ष 500 के रूप में सूचीबद्ध ) या यहाँ …

20 reference-request  soft-question  machine-models 

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

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

हाल ही में एक प्रश्न ने टीएसपी के लिए बेल्लमान और हेल्ड-कार्प के कारण स्वतंत्र रूप से शास्त्रीय प्रोग्रामिंग प्रोग्रामिंग एल्गोरिदम पर चर्चा की । एल्गोरिथ्म है सार्वभौमिक में चलाने के लिए सूचना दी O(2nn2)O(2nn2)O(2^n n^2) समय। हालाँकि, जैसा कि मेरे छात्रों में से एक ने हाल ही में कहा …

16 ds.algorithms  machine-models  computing-over-reals 

संपूर्ण खोज एल्गोरिदम से जुड़ी जटिलता वर्ग क्या है? (अगर वहाँ एक है) क्या यह एनपी या PSPACE है? क्या लालची और गतिशील प्रोग्रामिंग के लिए मॉडल के समान संपूर्ण खोज एल्गोरिदम के वर्ग पर कब्जा करने वाले कम्प्यूटेशन के प्रतिबंधित मॉडल हैं?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

टीसीएस में निम्नलिखित समस्या की कितनी अच्छी तरह से जांच की गई है? (यदि समस्या कथन अस्पष्ट लगता है तो मैं माफी माँगता हूँ!) यह देखते हुए एक संगणना के मॉडल (आदि ट्यूरिंग मशीन, सेलुलर ऑटोमेटा, Kolmogorov-Uspenskii मशीन ...) एम सी और एक शोर के मॉडल है कि एम सी …

14 machine-models 

शीर्षक थोड़ा भ्रामक है: लेकिन उम्मीद है कि सवाल यह नहीं है: Gronlund और Pettie के नए परिणाम दिखा रहा है कि 3SUM है केवल निर्णय वृक्ष जटिलता मुझे सोच है:ओ ( एन)3 / 2)O(n3/2)O(n^{3/2}) क्या निर्णय वृक्ष की जटिलता के साथ एक समस्या का एक सरल उदाहरण है लेकिन …

13 cc.complexity-theory  machine-models  decision-trees 

क्या Microsoft Word का एकल उद्देश्य (नॉन ट्यूरिंग पूर्ण) यांत्रिक कार्यान्वयन संभव है? क्या पुनरावृत्तियों, प्रथम-क्रम के कार्यों, प्रोग्रामिंग तकनीकों के संपूर्ण सरगम ​​के रूप में ऐसी चीजों को लागू करना संभव है? क्या गियर और अन्य यांत्रिक भाग डेटा संरचनाओं या यहां तक ​​कि प्रोग्राम ऑब्जेक्ट का प्रतिनिधित्व कर …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

क्या यह सही है कि मैपअर्डेस फ्रेमवर्क को एक प्रकार की बल्क सिंक्रोनस समानांतर प्रोग्रामिंग फ्रेमवर्क कहा जाए, जिसमें सिंक्रोनाइज़ेशन के बीच प्रोसेसर के भीतर कोई स्थानीय मेमोरी रिटेंशन न हो? यदि नहीं, तो कौन सा समानांतर प्रोग्रामिंग मॉडल सबसे सटीक रूप से मैप्सड्यूस ढांचे को घेरता है?

11 dc.parallel-comp  machine-models 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

इस सवाल के बारे में है वहाँ किसी भी ज्ञात प्रतिवर्ती ट्यूरिंग tarpits, कर रहे हैं कि क्या जहां के अर्थ में "प्रतिवर्ती" का अर्थ है एक्सेलसेन और Glück , और "tarpit" एक बहुत अधिक अनौपचारिक अवधारणा है (और शब्द का एक बहुत अच्छा विकल्प नहीं हो सकता है), लेकिन …

10 fl.formal-languages  computability  machine-models 

क्या कोई ढांचा / औपचारिकता है जो एडलमैन के डीएनए मॉडल या चेरी और कियान के काम के अलावा अन्य प्रोटीन पर आधारित कम्प्यूटेशनल मॉडल को परिभाषित करता है ?

9 reference-request  machine-models 

प्राकृतिक घटना से प्रेरित अभिकलन के प्रसिद्ध उदाहरण क्वांटम कंप्यूटर और डीएनए कंप्यूटर हैं। मैक्सवेल के नियमों या गुरुत्वाकर्षण के साथ कंप्यूटिंग की क्षमता और / या सीमाओं के बारे में क्या ज्ञात है? यही है, मैक्सवेल के समीकरणों या एन-बॉडी समस्या को प्रकृति के "त्वरित" समाधानों को सीधे एक …

9 computability  machine-models  physics  natural-computing