computability पर टैग किए गए जवाब

चलो s मैं zइsizesize की λλ\lambda इस प्रकार परिभाषित किया जा -नियम: s मैं ze ( x ) = 1size(x)=1size(x) = 1 , s मैं ze ( λ x t । ) = s i zई ( टी ) + १size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , s मैं ze ( …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"नाम सबसे बड़ी संख्या का खेल" दो खिलाड़ियों को गुप्त रूप से एक संख्या लिखने के लिए कहता है, और विजेता वह व्यक्ति होता है जिसने बड़ी संख्या लिखी होती है। खेल आमतौर पर खिलाड़ियों को एक बिंदु पर मूल्यांकन किए गए कार्यों को लिखने की अनुमति देता है, इसलिए …

11 computability  undecidability 

पहले शब्द का उपयोग हिल्बर्ट ने अपने 1928 के काम में किया है, लेकिन गोडेल के बाद के काम में, यही बात Unvollständigkeitssatz ("अपूर्णता प्रमेय") के रूप में संदर्भित की जाती है । आज के जर्मन सीएस शोधकर्ताओं के लिए, ऐसा लगता है कि Unvollständigkeitssatz अधिक सामान्यतः उपयोग किया जाता …

11 lo.logic  computability  ho.history-overview 

हैं एल्गोरिथम ग्राफ सिद्धांत / संख्या सिद्धांत / साहचर्य / सूचना सिद्धांत / खेल सिद्धांत। क्या एल्गोरिथम गणितीय विश्लेषण है? विकी के अनुसार, गणितीय विश्लेषण में भेदभाव, एकीकरण, माप, सीमा, अनंत श्रृंखला और विश्लेषणात्मक कार्यों के सिद्धांत शामिल हैं। वास्तविक विश्लेषण (विकी) पर ध्यान देना ठीक है जो वास्तविक संख्या …

11 cc.complexity-theory  reference-request  soft-question  computability 

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

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

क्या गांठों की गणना करने का एक प्रलेखित तरीका है? (परिधि एक 3-आयामी यूक्लिडियन अंतरिक्ष में एम्बेडेड)। मेरा मतलब है, उनका प्रतिनिधित्व करने के लिए एक डेटाटाइप, और यह निर्धारित करने के लिए एक एल्गोरिथ्म कि डेटाटाइप के दो उदाहरण एक ही गाँठ का प्रतिनिधित्व करते हैं। यदि उत्तर सकारात्मक …

11 ds.algorithms  computability 

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

11 lo.logic  computability  church-turing-thesis 

निम्नलिखित समस्या निर्णायक है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=∅L(G)=∅L(G) = \varnothing निम्नलिखित समस्या अनिर्दिष्ट है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} वहाँ के विषय से मुक्त भाषाओं एक लक्षण वर्णन है डिसाइडेबल समानता के साथ ?MMML(G)=ML(G)=ML(G) = M

11 computability  fl.formal-languages 

क्या एक एल्गोरिथ्म का निर्माण संभव है जो इनपुट के रूप में एक पुशडाउन ऑटोमैटन के साथ लेता है इस वादे के साथ कि इस ऑटोमेटोन द्वारा स्वीकार की गई भाषा एक नियतात्मक संदर्भ-मुक्त भाषा है और एक नियतात्मक पुशडाउन ऑटोमेटन आउटपुट करती है जो स्वीकार की गई भाषा को …

11 reference-request  computability  fl.formal-languages  automata-theory 

मुझे पता है कि सवाल "एक पहले के आदेश सूत्र करता सामान्य रूप में अनिर्णनीय एक मॉडल है।"φφ\phi क्या कोई मुझे एक लिंक या एक पुस्तक दे सकता है जो परिमित मॉडल के लिए उत्तर दे। अगर मैं एक पहले के आदेश सूत्र है , यह है कि क्या डिसाइडेबल …

11 reference-request  lo.logic  computability  finite-model-theory 

निम्नलिखित 2-खिलाड़ी गेम पर विचार करें: प्रकृति बेतरतीब ढंग से एक कार्यक्रम चुनती है प्रत्येक खिलाड़ी प्रकृति की चाल के जवाब में समावेशी [0, अनंत] में एक नंबर निभाता है कम से कम खिलाड़ियों की संख्या ले लो, और (ऊपर) के लिए कार्यक्रम चलाएं कि कई कदम (जब तक कि …

10 lo.logic  computability  gt.game-theory 

क्या प्राकृतिक संख्याओं के अलावा अन्य सेटों पर संगणना की धारणा है? तर्क के लिए, मान लीजिए कि सेट पर जाने के साथ कि biject ।एनएसSSएनN\mathbb{N} यह कहने के लिए मोहक है "हाँ, वे फॉर्म वो कार्य हैं जहाँ किसी भी प्रकार का bijection और किसी भी अभिकल्य फ़ंक्शन ”। …

10 computability 

समस्याएं, एक समग्र रूप से वर्गीकृत की गई हैं, कम्प्यूटेशनल जटिलता के लिए धन्यवाद। लेकिन, अंतर समीकरणों में, क्या उनके कम्प्यूटेशनल संरचना के आधार पर अंतर समीकरणों को वर्गीकृत करना संभव है? उदाहरण के लिए, यदि पहले क्रम के गैर-सजातीय समीकरण को 100 वें क्रम के सजातीय समीकरण के मुकाबले …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

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

10 fl.formal-languages  computability  machine-models 

प्रसंग : Kavvadias और Sideri पता चला है कि उलटा 3-सैट समस्या coNP पूरा है: यह देखते हुए पर मॉडल का एक सेट चर, वहाँ एक 3-CNF सूत्र ऐसी है कि मॉडल की अपनी सटीक सेट है? एक तत्काल उम्मीदवार सूत्र उत्पन्न होता है, जो सभी मॉडलों के संयोजन है …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat