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

मुझे पता है कि यह निर्धारित करना अपरिहार्य है कि क्या टाइल का एक सेट विमान को टाइल कर सकता है, बर्जर का परिणाम वांग टाइलों का उपयोग करना है । मेरा सवाल यह है कि क्या यह निर्धारित करने के लिए भी अनिर्दिष्ट है कि क्या एक एकल दी …

24 reference-request  co.combinatorics  decidability  undecidability 

यह सर्वविदित है कि समतुल्यता समस्या सामान्य संदर्भ-मुक्त भाषाओं के लिए अनिर्दिष्ट है। हालांकि, इस तथ्य के सभी प्रमाण हैं कि मुझे कुछ अस्पष्ट संदर्भ-मुक्त व्याकरणों को शामिल करने के बारे में पता है। इस कारण से, मैं यह पूछना चाहता हूं कि क्या यह ज्ञात है कि क्या समस्या …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

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

18 cc.complexity-theory  reference-request  computability  undecidability 

उत्तर: ज्ञात नहीं है। पूछे जाने वाले प्रश्न स्वाभाविक, खुले और स्पष्ट रूप से कठिन हैं; सवाल अब एक सामुदायिक विकि है। अवलोकन प्रश्न जटिलता वर्ग से संबंधित भाषाओं को विभाजित करने का प्रयास करता है - साथ में निर्णय के साथ ट्यूरिंग मशीन (TMs) जो इन भाषाओं को स्वीकार …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

यह ज्ञात है कि कई तर्क समस्याएँ (उदाहरण के लिए कई मोडल लॉजिक्स की संतोषजनक समस्याएँ) निर्णायक नहीं हैं। एल्गोरिथ्म सिद्धांत में कई अवांछनीय समस्याएं भी हैं, उदाहरण के लिए दहनशील अनुकूलन में। लेकिन व्यवहार में हीरिस्टिक और अनुमानित एल्गोरिदम व्यावहारिक एल्गोरिदम के लिए अच्छी तरह से काम करते हैं। …

13 lo.logic  approximation-algorithms  undecidability 

सबसे सरल कम्प्यूटेशनल मॉडल क्या है जिसके लिए शून्यता की समस्या अनिर्दिष्ट है? एक कम्प्यूटेशनल मॉडल के लिए शून्यता समस्या (जैसे परिमित राज्य ऑटोमेटन, एकांतर पुशडाउन ऑटोमेटन, एक काउंटर, नियतात्मक एलबीए, आदि के साथ बाउंड-एरर क्वांटम ऑटोमेटन), यह निर्धारित करना है कि क्या इस तरह की मशीन के लिए, भाषा …

12 computability  decidability  undecidability  unary-languages 

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

11 computability  undecidability 

ऐसी समस्याएं हैं जो निर्णायक हैं, कुछ ऐसे हैं जो अनिर्दिष्ट हैं, जिनमें अर्धविक्षिप्तता है, आदि। इस मामले में मुझे आश्चर्य है कि क्या कोई समस्या मेटा-अनिर्दिष्ट हो सकती है। इसका मतलब है (कम से कम मेरे सिर में) हम यह नहीं बता सकते हैं कि यह निर्णायक है या …

9 computability  decidability  undecidability