kolmogorov-complexity पर टैग किए गए जवाब

हमें ट्यूरिंग-मशीन और एक सार्वभौमिक ट्यूरिंग मशीन का एक उपसर्ग मुक्त एन्कोडिंग को ठीक करते हैं UUU कि इनपुट पर (T,x)(T,x)(T,x) (का उपसर्ग से मुक्त कोड के रूप में एन्कोड TTT के बाद xxx आउटपुट) जो कुछ भी TTT पर इनपुट आउटपुट xxx (संभवतः दोनों हमेशा के लिए चल रहे …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

कोलमोगोरोव उपसर्ग जटिलता (यानी न्यूनतम आत्म-परिसीमन कार्यक्रम का आकार है जो x को आउटपुट करता है ) में कई अच्छी विशेषताएं हैं:कश्मीर( x )K(x)K(x)एक्सxx यह पेटेंट के साथ तार देने के अंतर्ज्ञान से मेल खाती है या बिना स्ट्रिंग्स की तुलना में कम जटिलता की संरचना करता है। यह हमारे …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

निम्नलिखित तर्क पर विचार करें: चलो K(x)K(x)K(x) निरूपित Kolmogorov जटिलता की स्ट्रिंग । चैतीन का अधूरापन प्रमेय कहता हैxxx किसी भी सुसंगत और पर्याप्त मजबूत औपचारिक प्रणाली के लिए , वहाँ एक निरंतर मौजूद है (केवल औपचारिक प्रणाली और उसके भाषा के आधार पर) ऐसी है कि किसी भी तार …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

मान लीजिए कि हमारे पास एक कम्प्यूटेशनल समस्या है, उदाहरण के लिए 3-सैट, जिसमें समस्या इंस्टेंसेस (संभावित इनपुट्स) का एक सेट है । आम तौर पर एल्गोरिदम या कम्प्यूटेशनल जटिलता सिद्धांत के विश्लेषण में, हमारे पास कुछ सेट लंबाई के सभी आदानों की , और एक समारोह है कि कुछ …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

कई प्रमेय और "विरोधाभास" - कैंटर के विकर्णीकरण, घृणा की अनिर्वायता, कोलमोगोरोव जटिलता की अयोग्यता, गोडेल इनकम्प्लेन्टेस, चैटिन इनकम्प्लेसेनेस, रसेल के विरोधाभास, आदि - सभी अनिवार्य रूप से विकर्णकरण द्वारा एक ही प्रमाण है (ध्यान दें कि यह विशिष्ट है) विकर्णकरण से सभी सिद्ध होते हैं, बल्कि, ऐसा लगता है …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

चलो निरूपित की एक स्ट्रिंग Kolmogorov जटिलता एक्स । क्या कोई स्ट्रिंग मौजूद है जैसे कि K ( x x ) < K ( x ) । (यहाँ एक्स एक्स के संयोजन है एक्स के साथ ही)। ऐसा ही एक लेकिन अलग प्रश्न पूछा गया था यहाँ है, लेकिन counterexample …

16 cc.complexity-theory  kolmogorov-complexity 

चैतीन की अपूर्णता प्रमेय कहती है कि अंकगणित का कोई पर्याप्त रूप से मजबूत सिद्धांत सिद्ध कर सकता है, जहाँ K ( s ) स्ट्रिंग s की Kolmogorov जटिलता है और L एक पर्याप्त रूप से बड़ा स्थिरांक है। एल है पर्याप्त रूप से बड़े अगर यह एक सबूत चेकिंग …

14 lo.logic  kolmogorov-complexity 

आमतौर पर शैनन एन्ट्रापी का उपयोग चैनल कोडिंग परिणामों को साबित करने के लिए किया जाता है। यहां तक ​​कि स्रोत-चैनल पृथक्करण परिणामों के लिए शैनन एंट्रोपी का उपयोग किया जाता है। जानकारी के लिए शैनन (वैश्विक) बनाम कोलमोगोरोव (स्थानीय) धारणाओं के बीच समानता को देखते हुए, इन परिणामों के …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

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

12 reference-request  computability  kolmogorov-complexity 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

"कंप्यूटिंग द्वारा क्या समस्याएं हल की जा सकती हैं" का जवाब देने के लिए, हमने कम्प्यूटेबिलिटी के सिद्धांत को विकसित किया। समस्याओं के लिए जो कम्प्यूटेशनल हैं, क्या सवाल का जवाब देने के लिए एक सिद्धांत है "क्या मैं सबसे सरल प्रोग्राम प्राप्त करता हूं"? मुझे नहीं लगता कि कम्प्यूटेशनल …

10 big-picture  kolmogorov-complexity 

अयोग्य जनरेटर को निम्नानुसार परिभाषित किया गया है: आज्ञा देना एक NP संबंध है, और M एक मशीन है जो L ( R ) को स्वीकार करता है । अनौपचारिक रूप से, एक कार्यक्रम एक है अभेद्य जनरेटर है, पर इनपुट 1 एन , यह उदाहरण के गवाह जोड़े का …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

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

9 computability  reductions  kolmogorov-complexity 

आइए हम ट्यूरिंग-मशीनों और एक सार्वभौमिक ट्यूरिंग-मशीन, यू की एन्कोडिंग को ठीक करते हैं, जो इनपुट पर (टी, एक्स) इनपुट एक्स पर जो भी टी आउटपुट उत्पन्न करता है (संभवतः दोनों हमेशा के लिए चल रहा है)। कम से कम कार्यक्रम की लंबाई के रूप में x, K (x) की …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

एक स्ट्रिंग की कोलमोगोरोव जटिलता कम्प्यूटेशनल नहीं है। हालांकि, लंबाई के बाइनरी स्ट्रिंग्स के आकार के एक यादृच्छिक उपसमूह में , कितने की उम्मीद है कि कुछ पूर्णांक से कम ( एक फ़ंक्शन के रूप में , और ) से कम जटिलता है ?मMMnnnn0n0n_{0}nnnमMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity