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

एक भाषा को देखते हुए LLL , की लंबाई सेट को परिभाषित LLL में शब्दों की लंबाई के सेट के रूप में LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} पूर्णांकों का कौन सा सेट एक नियमित भाषा की लंबाई सेट हो सकता है?

15 formal-languages  computability  regular-languages  finite-automata 

जैसे बोली कर रहे हैं फिर से पूरा कई-एक में कटौती के तहत। यह देखना तुच्छ है कि सह-आरई में पूरी समस्याएं हैं, भी। एस श्मित्ज़ [1] inbetween कुछ वर्गों पर विचार करता है ELEM और आरईसी । वे विशेष रूप से तैयार किए गए कटौती के तहत इन वर्गों …

14 computability  reductions  turing-completeness  recursion-theory 

मैं यह जानना चाहता हूं कि क्या निम्न समस्या विकट है: उदाहरण: एन राज्यों के साथ एक एनएफए ए प्रश्न: क्या कुछ अभाज्य संख्या p मौजूद है जैसे A, लंबाई के कुछ तार p को स्वीकार करता है। मेरा मानना ​​है कि यह समस्या असाध्य है, लेकिन मैं इसे साबित …

14 computability  finite-automata 

यदि वास्तव में N P के बराबर है , तो यह हमारे एल्गोरिदम को फैक्टर पूर्णांकों में तेजी से कैसे बढ़ाएगा। दूसरे शब्दों में, यह तथ्य किस तरह की अंतर्दृष्टि से हमें पूर्णांक कारकीकरण को बेहतर ढंग से समझने में मदद करेगा?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

मेरे पास ये प्रश्न हैं कि मैं एक पुरानी परीक्षा से हल करने की कोशिश कर रहा हूं। प्रत्येक समस्या के लिए, इनपुट कुछ ट्यूरिंग मशीन का एन्कोडिंग है MMM। पूर्णांक c>1c>1c>1 और निम्नलिखित तीन समस्याओं के लिए: क्या यह सच है कि हर इनपुट xxx , M पास नहीं …

14 computability  turing-machines  undecidability 

मुझे आश्चर्य है कि कैसे आता है कि निम्नलिखित भाषा आरआर\mathrm R । एलम1= { ⟨ एम2⟩||म2 एक TM है, और L ( M) है1) = एल ( एम2) , और | ⟨ एम1⟩ | > | ⟨ एम2⟩ | }एलम1={⟨म2⟩|म2 एक टीएम है, और एल(म1)=एल(म2), तथा |⟨म1⟩|>|⟨म2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; …

14 computability  undecidability 

मैं खुली समस्याओं के उदाहरण देने के लिए कम्प्यूटेबिलिटी (अंडरग्रेजुएट छात्रों द्वारा अपना पहला कोर्स लेने में समझदार) में खुली समस्याओं के लिए दिलचस्प और आसान खोज करने के लिए खोज कर रहा था (और जाहिर है कि मैं चाहता हूं कि छात्रों को बहुत नई जरूरत के बिना समस्या …

14 computability 

बहुत सारी "प्रसिद्ध" अकल्पनीय समस्याएं कम से कम अर्ध-विचारणीय हैं, उनके पूरक के अयोग्य होने के साथ। इन सबसे ऊपर एक उदाहरण है, हॉल्टिंग की समस्या और इसका पूरक। हालाँकि, क्या कोई मुझे एक उदाहरण दे सकता है जिसमें कोई समस्या और उसका पूरक दोनों ही अनिर्णायक हैं और क्या …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

मैं सोच रहा हूं कि क्या समस्या की निर्णायकता एक निर्णायक समस्या है। मैं अनुमान नहीं लगा रहा हूं, लेकिन शुरुआती खोजों के बाद मुझे इस समस्या पर कोई साहित्य नहीं मिल रहा है।

13 computability  undecidability  decision-problem 

दो एनपीडीए के प्रतिच्छेदन पर राफेल के सुझाव के लिए एप्रोपॉइस : चलो और NPDA के लिए विषय से मुक्त भाषाओं और क्रमश। यह मानते हुए कि हम जानते हैं कि संदर्भ-मुक्त है, क्या हम (प्रभावी रूप से) लिए NPDA निर्माण कर सकते हैं ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL किसी …

13 computability  automata  pushdown-automata 

व्यस्त बीवर अधिकतम बदलाव कार्य करते है, के लिए, जाना जाता है मानों n ≤ 4 । क्या कुछ बुनियादी, संरचनात्मक कारण है कि यह समझ से बाहर है कि क्या हम कभी n > 4 के लिए S ( n ) पाएंगे ? क्या बारे में बहुत अलग है …

13 computability  busy-beaver 

मैं नए तरह का हूं, लेकिन कंप्यूटिंग और जटिलता सिद्धांत के क्षेत्र में बहुत दिलचस्पी रखता हूं, और मैं अपनी समझ को स्पष्ट करना चाहता हूं कि कक्षा की समस्याएं कैसे होती हैं, और उन्हें हल करने के लिए उपयोग की जा रही मशीन से संबंधित समस्याएं कितनी दृढ़ता से …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

मैं व्यस्त बीवर नंबरों के बारे में पढ़ता हूं और कैसे वे किसी भी कम्प्यूटेशनल फ़ंक्शन की तुलना में विषम रूप से बड़े होते हैं। ऐसा क्यों है? क्या यह व्यस्त बीवर फ़ंक्शन की गैर-कम्प्यूटेबिलिटी के कारण है? यदि ऐसा है, तो क्या सभी गैर-गणना योग्य कार्य असंगत रूप से …

13 computability  asymptotics 

पोस्ट पत्राचार समस्या (पीसीपी) अनिर्णनीय है। पीसीपी की घिरे संस्करण है -Complete और पीसीपी के चिह्नित संस्करण (दो सूचियों में से एक के शब्दों पहले अक्षर में मतभेद के लिए आवश्यक हैं) में है पी एस पी ए सी ई [1]।NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} क्या ये प्रतिबंधित संस्करण अन्य समस्याओं के कुछ जटिलता …

13 complexity-theory  computability  reference-request 

आप कमांड की सूची बनाकर और इस सूची को पूर्णांक बनाकर RAM का Gödel नंबर प्राप्त कर सकते हैं। तो, मैंने सोचा कि कुछ ऐसा है "RAM जो अपना खुद का Gödel नंबर लौटा देगा (कहते हैं, ) इसमें जानकारी होनी चाहिए, इसलिए पूर्णांक से अधिक होगा , इसलिए यह …

12 computability