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

ग्रेग एगन ने अपने कथा "डार्क इंटेगर्स" में (दो अलग गणित के साथ दो ब्रह्मांडों के बारे में कहानी जो अंकगणित में असंगति के आसपास प्रमेयों को साबित करने के माध्यम से संप्रेषित करती है) का दावा है कि केवल सामान्य इंटरनेट का उपयोग करके मौजूदा इंटरनेट राउटरों का निर्माण …

14 computability  universal-computation 

दो पेपर मैं शामिल करूंगा: डी। कोजेन, " सबसर्किव क्लासेस का अनुक्रमण" , एसटीओसी, 1978। आर। लेडनर, "ऑन द स्ट्रक्चर ऑफ पोलिनोमियल टाइम रिड्यूसबिलिटी" , जेएसीएम , 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

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

14 cc.complexity-theory  computability  np 

HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) हम में दूसरी सबसे बड़ी संख्या के बारे में क्या कह सकते हैं ? इस कॉल करें ।HT(n)HT(n)HT(n)BB2(n)BB2(n)BB_2(n) BB2(n)BB2(n)BB_2(n) तुच्छ रूप से असुविधाजनक है, क्योंकि यह एक कंप्यूट : बस एक और मशीन के रुकने की प्रतीक्षा करें। Naively, मैं उम्मीद करता हूँ कि "व्यस्त बीवर- …

13 computability 

अनिश्चयता साबित करने का सामान्य तरीका आरई-पूर्ण समस्या जैसे हॉल्टिंग समस्या, पहले क्रम तर्क में वैधता, डायोफैंटाइन समीकरणों की संतुष्टि, आदि से कमी है। यह ज्ञात है कि पुनरावर्ती रूप से गणना योग्य हैं, लेकिन अनिर्दिष्ट समस्याएं जो आरई-पूर्ण नहीं हैं, लेकिन ये कृत्रिम निर्माण हैं (जो सेट को इस …

13 computability 

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

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

जैसा कि मैं इसे समझता हूं, एक सबूत कि पी = एनपी या पी would एनपी को गैर-सापेक्ष होने की आवश्यकता होगी (जैसा कि पुनरावर्तन सिद्धांत oracles में)। वस्तुतः सभी साक्ष्य सापेक्ष प्रतीत होते हैं, यद्यपि। इस तरह के एक पी = एनपी / पी proof एनपी सबूत के गैर- …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

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

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

मैं क्या, क्यों और कैसे की चारों ओर मेरे सिर लपेटो करने की कोशिश कर रहा है -calculus लेकिन मैं के साथ "कारण है कि यह काम करता है" पकड़ के लिए आने के लिए असमर्थ हूँ?λλ\lambda "सहज रूप से" मुझे ट्यूरिंग मशीन (टीएम) का कम्प्यूटेशनल मॉडल मिलता है। लेकिन …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

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

12 computability  decidability  undecidability  unary-languages 

यह आमतौर पर पथरी के बारे में कारण के लिए सरल है जहां सीमा "समय की बहुपद राशि में कम्प्यूटेशनल" जैसी सीमा की बजाय संगणना की परिमितता है। उदाहरण के लिए औपचारिक भाषाओं सिद्धांत रूप में, बल्कि उपयोग करने के लिए अनावधिक monoid चिह्नित करने के लिए, यह profinite शब्दों …

12 cc.complexity-theory  computability 

क्या ऐसी निर्णायक समस्याएं हैं जो बिना किसी एल्गोरिथ्म के हैं, जो उस समस्या को हल करती है जिसे हम इनपुट उदाहरण की लंबाई n के कार्य के रूप में बाध्य कर सकते हैं? मैं इस सवाल पर पहुंचा क्योंकि मैं निम्नलिखित के बारे में सोच रहा था: मान लें …

12 computability  time-complexity 

हम एक स्ट्रिंग की Kolmogorov जटिलता के बारे में सोच सकते हैं कि सबसे छोटा प्रोग्राम और इनपुट की लंबाई जैसे कि । आमतौर पर ये प्रोग्राम कुछ ट्यूरिंग-पूर्ण सेट से तैयार किए जाते हैं (जैसे एक ट्यूरिंग मशीन का वर्णन हो सकता है, या यह LISP या C में …

12 reference-request  computability  kolmogorov-complexity 

यह शायद बहुत सरल है, लेकिन मानक पोस्ट पत्राचार समस्या पर विचार करें: दिए गए और , सूचकांकों जैसे कि एक क्रम पाते हैं। । यह, निश्चित रूप से, अविश्वसनीय है।बीटा 1 , ... , बीटा एन मैं 1 , ... , मैं कश्मीर अल्फा मैं 1 ⋯ अल्फा मैं …

12 computability  fl.formal-languages 

कागज़ लॉरी हेला और जोस मारिया तुरुल-टॉरेस, उच्च-क्रम लॉजिक्स , टीसीएस 355 197-214, 2006 के साथ कम्प्यूटिंग क्वेश्चन। doi: 10.1016 / j.tcs.2006.01.009 तर्क VO, चर-क्रम तर्क का प्रस्ताव करता है। यह चर पर आदेशों पर मात्रा का ठहराव की अनुमति देता है। VO काफी शक्तिशाली है और कुछ गैर-गणना योग्य …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity