सैद्धांतिक कंप्यूटर विज्ञान

एक ओर, गोडेल का दूसरा अपूर्णता प्रमेय कहता है कि कोई भी सुसंगत औपचारिक सिद्धांत जो किसी भी मूल अंकगणितीय कथनों को व्यक्त करने के लिए पर्याप्त मजबूत है, अपनी स्वयं की स्थिरता साबित नहीं कर सकता है। दूसरी ओर, चर्च-रोसर की एक औपचारिक (पुनर्लेखन) प्रणाली की संपत्ति हमें बताती …

9 lo.logic  type-theory  lambda-calculus 

मेरा मानना ​​है कि इस प्रश्न के उत्तर सभी बहुपत्नी के लिए ऐसी कक्षाएं देते हैंपीpp, कक्षा में एक समस्या है जिसमें आकार के सर्किट नहीं होते हैंपी ( एन )p(n)p(n)। हालाँकि, मैं सर्किट साइज़ के बारे में पूछ रहा हूँω( एन )ω(n)\omega \hspace{.02 in}(n)। (⟨00,11,22,31,44,51,66,71,88,91, । । ।⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle …

9 circuit-complexity  lower-bounds 

नेचुला द्वारा शास्त्रीय PLDI'98 पेपर में, "एक प्रमाणित कंपाइलर का डिज़ाइन और कार्यान्वयन", उच्च-स्तरीय एम्पलीफायर: सत्यापन की स्थिति उत्पन्न करने के लिए VCGen (सुरक्षा की भविष्यवाणी करता है) शर्तों को साबित करने के लिए प्रथम-क्रम तर्क प्रमेय कहावत कदम से सबूत की जांच करने के लिए LF प्रूफ चेकर (2) …

9 proof-theory  automated-theorem-proving  program-verification 

मैं क्रिप्टोग्राफी पर इस प्रश्न को देखने के बाद से कई बार निम्नलिखित प्रश्न के बारे में सोच रहा हूं । सवाल चलो RRRएक TFNP संबंध हो। क्या एक यादृच्छिक ओरेकल पी / पॉली को तोड़ने में मदद कर सकता है RRRगैर-नगण्य संभावना के साथ? औपचारिक रूप से, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

चलो GGGऔर हो दो आकार के नियमित जुड़ा रेखांकन । चलो क्रमपरिवर्तन की सेट हो ऐसी है कि । यदि तो , के स्व-चालित जीवों का समुच्चय है ।HHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG के आकार पर सबसे अच्छा ज्ञात ऊपरी-बाउंड क्या है ? क्या विशेष ग्राफ कक्षाओं (पूर्ण / चक्र ग्राफ वाले नहीं) के …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

मानक समस्या 1-इन -3 सैट (या एक्ससैट या एक्स 3 एसएटी ) है: उदाहरण : प्रत्येक 3 खंडों वाले प्रत्येक खंड के साथ एक सीएनएफ फॉर्मूला प्रश्न : क्या एक संतोषजनक असाइनमेंट सेटिंग प्रति 1 खंड प्रति सत्य सही है? समस्या एनपी-पूर्ण है और कोई भी चर नहीं होने पर …

9 cc.complexity-theory  np-hardness  sat 

मुझे आश्चर्य है कि अगर निम्न समस्या एनपी-हार्ड है। इनपुट: एक सरल ग्राफ, और एक रंग किनारों की ( च किसी भी विशिष्ट प्रॉपर्टी को सत्यापित नहीं है)।G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff प्रश्न: क्या यह संभव है कि EEE को E |E|/3|E|/3|E|/3 त्रिभुज में विभाजित किया जाए , …

9 graph-theory  np-hardness 

अगर मैं सही ढंग से समझूं, तो उस समस्या को साबित करने के लिए एएA एनपी कठिन है, आप सभी संभावित समस्याओं लेने के लिए की जरूरत हैबीमैंबीमैंB_{i} एनपी में हैं और फिर साबित करते हैं कि वे कम करने के लिए एएA एक बहुपद समय कम्प्यूटेशनल फ़ंक्शन का उपयोग …

9 soft-question  ho.history-overview  cook-levin 

निम्नलिखित समस्या पर विचार करें: इनपुट: एक सरल (अप्रत्यक्ष) ग्राफ ।G=(V,E)G=(V,E)G=(V,E) प्रश्न: वहाँ के उन्मुखीकरण है संपत्ति संतोषजनक हर के लिए है कि वहाँ सबसे एक (निर्देशित) पर है - की पैदल दूरी पर?GGGs,t∈Vs,t∈Vs,t \in Vsssttt इसे समकक्ष रूप से प्रतिपादित किया जा सकता है: इनपुट: एक सरल (अप्रत्यक्ष) ग्राफ …

9 graph-theory  directed-acyclic-graph 

चलो जीजीG एक ग्राफ जो एक गुट और एक स्वतंत्र सेट का असम्बद्ध संघ है, यानी जी =कn1+कn2¯¯¯¯¯¯¯¯=कn1+मैंn2।जी=कn1+कn2¯=कn1+मैंn2।G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . ऐसे सभी ग्राफों का ग्राफ वर्ग निषिद्ध प्रेरित उपसमूहों द्वारा निर्धारित होता है ह ={२क2,पी3}एच={2क2,पी3}\mathcal{H} = \{2K_2, P_3\} और इस प्रकार एक क्लस्टर …

9 reference-request  graph-theory  graph-classes 

चलो एक ग्राफ हो। एक शीर्ष सेट कहा जाता है महत्वपूर्ण है, तो और में कोई शिखर में वास्तव में एक शीर्ष के निकट है । समस्या यह है कि प्रत्येक महत्वपूर्ण सेट लिए जैसे न्यूनतम आकार का एक शीर्ष सेट ।G=(V,E)G=(V,E)G=(V,E)X⊆VX⊆VX\subseteq VX≠∅X≠∅X\neq\emptysetV∖XV∖XV\setminus XXXXS⊆VS⊆VS\subseteq VS∩X≠∅S∩X≠∅S\cap X\neq\emptysetXXX इस समस्या की निम्नलिखित …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

यदि हम केवल पी में समस्याओं पर विचार करते हैं, तो क्या सबसे तेजी से ज्ञात शब्द-रैम एल्गोरिथ्म और विशेष समस्याओं के लिए सबसे तेजी से ज्ञात ट्यूरिंग मशीन एल्गोरिदम के बीच कोई बड़ा अंतराल है? मुझे विशेष रूप से दिलचस्पी है अगर सामान्य ब्याज की प्राकृतिक समस्याओं के लिए …

9 cc.complexity-theory  ds.algorithms 

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

9 computability  reductions  kolmogorov-complexity 

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

9 grammars 

उदाहरण: एक अप्रत्यक्ष ग्राफGGG दो प्रतिष्ठित कोने के साथ s≠ts≠ts\neq t, और एक पूर्णांक ।k≥0k≥0k\geq 0 प्रश्न: वहाँ एक मौजूद है में पथ अधिक से अधिक, ऐसा है कि पथ intersects त्रिकोण? (इस समस्या के लिए एक मार्ग को एक त्रिभुज को काटना कहा जाता है, यदि पथ में त्रिभुज …

9 cc.complexity-theory  graph-algorithms