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

मुझे निर्माणों की गणना के लिए मजबूत सामान्यीकरण के प्रमाण को समझने में कठिनाइयाँ होती हैं। मैं हरमन गेवर्स के पेपर में सबूत का पालन करने की कोशिश करता हूं "रचनाओं की गणना के लिए मजबूत सामान्यीकरण का एक छोटा और लचीला प्रमाण"। मैं तर्क की मुख्य पंक्ति का अच्छी …

9 lo.logic  type-theory  lambda-calculus  typed-lambda-calculus 

संभाव्य रूप से जाँच योग्य साक्ष्यों के आकार पर सबसे अधिक ज्ञात असममित ऊपरी सीमाएं क्या हैं? आदर्श रूप से, मैं इस व्यापक प्रश्न पर एक समकालीन सर्वेक्षण की तलाश कर रहा हूं, लेकिन अगर कोई नहीं है, तो मुझे विशेष रूप से 3-SAT की अनुचितता में दिलचस्पी है। 7/8 …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

मार्टिन-लोफ की एन इनटूविज़िस्टिक थ्योरी ऑफ़ टाइप्स: प्रेडिक्टिव पार्ट में यह साबित होता है कि टाइपिंग चेकिंगए : एa:Aa \colon Aनिर्णायक विषय हैएaaबंद टाइप करने योग्य शर्तों के लिए एक सामान्यीकरण प्रमेय साबित करके, पहली जगह में टाइप किया जा रहा है । दूसरी ओर, मैंने इसे कई स्थानों (विकिपीडिया, …

9 reference-request  type-theory  type-inference 

ब्रेवरमैन ने दिखाया कि डिस्ट्रीब्यूशन जो हैं -अच्छा स्वतंत्र -fool गहराई सर्किट का आकार "gluing साथ में" स्मोलेंस्की दिखाएँ सन्निकटन और -कंपनीय बूलियन कार्यों के फूरियर सन्निकटन । लेखक और जिन लोगों ने इसे मूल रूप से व्यक्त किया था, वे अनुमान लगाते हैं कि वहाँ के घातांक को घटाकर …

9 boolean-functions  fourier-analysis 

क्या किसी को पता है कि सिस्टम "एफ" और सिस्टम "टी" नाम कहां से आते हैं? मैं यह नहीं पूछ रहा हूं कि उन नामों (गिरार्ड सिस्टम एफ, और गोडेल सिस्टम टी) को किसने पेश किया, लेकिन "एफ" और "टी" का क्या अर्थ है।

9 ho.history-overview  type-systems  formal-systems 

चलो AAAएक बारीक अक्षर हो। किसी दी हुई भाषा के लिएL⊆A∗L⊆A∗L \subseteq A^{\ast}वाक्यात्मक monoid M(L)M(L)M(L)औपचारिक भाषा सिद्धांत में एक प्रसिद्ध धारणा है। इसके अलावा, एक monoidMMM एक भाषा को पहचानता है LLL अगर वहाँ एक रूपवाद मौजूद है φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M ऐसा है कि L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। फिर …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

मैं उन तरीकों के बारे में उत्सुक हूं, जिनमें आपने गैर-एकरूपता को गणना में उपयोगी देखा है। एक तरीका यादृच्छिकता है, जैसा कि , और दूसरा लुक-अप टेबल है जिसका उपयोग यह दिखाने के लिए किया जाता है कि सभी भाषाओं में गैर-समान सर्किट हैं।बी पीपी⊆ पी/ पीओएलवाईबीपीपी⊆पी/पीओएलyBPP \subseteq P/poly …

9 circuit-complexity  advice-and-nonuniformity 

कैंटर के प्रमेय में कहा गया है कि किसी भी सेट ए के लिए, ए के सभी सबसेट के सेट में ए की तुलना में कड़ाई से अधिक कार्डिनैलिटी है। क्या ZFC सेट्स का जिक्र किए बिना केवल प्रकारों / प्रस्तावों का उपयोग करके इस तरह से कुछ को एनकोड …

9 type-theory  set-theory 

एक बूलियन फ़ंक्शन को देखते हुए fff, हमारे पास ऑटोमोर्फिज्म समूह है Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \}। क्या कोई ज्ञात सीमाएं हैं Prf( ए यू टी ( एफ)) ≠ 1 )Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)? क्या फॉर्म की मात्राओं के लिए कुछ जाना …

9 boolean-functions  randomness  gr.group-theory  symmetry 

यह ज्ञात है कि फोर्ड-फुलकर्सन या एडमंड्स-कार्प फैट पाइप हेयुरिस्टिक (अधिकतम-प्रवाह के लिए दो एल्गोरिदम) को रोकने की आवश्यकता नहीं है यदि कुछ वजन कम होते हैं। वास्तव में, वे गलत मूल्य पर भी अभिसरण कर सकते हैं ! हालाँकि, सभी उदाहरण जो मुझे साहित्य में मिल सकते हैं [नीचे …

9 ds.algorithms  graph-algorithms  max-flow 

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

9 soft-question  parameterized-complexity 

एसएमटी सॉल्वर जैसे कि जेड 3 या बूलेटोर समस्याओं को हल करने के लिए ह्यूरिस्टिक्स के एक जटिल सेट का उपयोग करते हैं। हालांकि, इससे किसी समस्या के लिए ऐसे सॉल्वर के प्रदर्शन की भविष्यवाणी करना बहुत कठिन हो जाता है। मेरा सवाल इस प्रकार है: सवाल क्वांटिफायर-मुक्त बिटवॉटर (QFBV) …

9 ds.algorithms  sat  heuristics 

बोर्ड गेम खेलने में तंत्रिका नेटवर्क की नई और नई सफलताओं के बाद, एक को लगता है कि हमने जो अगला लक्ष्य निर्धारित किया है, वह स्टारक्राफ्ट में मनुष्यों की धड़कन की तुलना में कुछ अधिक उपयोगी हो सकता है। अधिक सटीक, मुझे आश्चर्य है कि क्या क्या तंत्रिका एल्गोरिदम …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Coprime को देखते हुए , कर सकते हैं आप जल्दी से गणनाए , बीए,खa, bमिनटएक्स , वाई> 0|एएक्स-खy|मिनटएक्स,y>0|एएक्स-खy| \min_{x, y > 0} |a^x - b^y| यहाँ पूर्णांक हैं। स्पष्ट रूप से लेने से एक निर्बाध उत्तर मिलता है; सामान्य तौर पर ये शक्तियां कितनी पास हो सकती हैं? इसके अलावा, …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

मुझे एक ग्राफ दिया गया है जीGGट्रेविद के साथ कkk और मनमानी डिग्री, और मैं एक सबग्राफ खोजना चाहूंगा एचHH का जीGG (जरूरी नहीं कि एक प्रेरित उपसमूह) ऐसा हो एचHHके पास निरंतर डिग्री है और इसका treewidth यथासंभव उच्च है। औपचारिक रूप से मेरी समस्या निम्नलिखित है: एक डिग्री …

9 co.combinatorics  treewidth  graph-minor  bounded-degree