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

कोई भी मोनाड एक आवेदक फ़नकार है और कोई भी आन्तरिक फ़नकार एक फ़नकार है। साथ ही, कोई भी कॉमनैड एक फनकार है। क्या कोमोनॉड्स और फंक्शनलर्स के बीच एक समान अवधारणा है, सह-आवेदक फ़ंक्टर की तरह कुछ है, और इसके गुण क्या हैं? \begin{array}{c} \end{array} functors↑एप्लाइड फंक्शनलर्स↑monadsfunctors↑? ? ?↑Comonadsfunctorsfunctors↑↑एप्लाइड …

17 ct.category-theory  monad  applicative  comonad 

स्ट्रैसोन एल्गोरिथ्म में, दो मैट्रिक्स और बी के उत्पाद की गणना करने के लिए , मेट्रिसेस ए और बी को 2 × 2 ब्लॉक मैट्रिक्स में विभाजित किया जाता है और एल्गोरिदम 7 ब्लॉक मैट्रिक्स-मैट्रिक्स उत्पादों की पुनरावृत्ति कंप्यूटिंग के रूप में एक भोले 8 ब्लॉक मैट्रिक्स का विरोध करता …

17 ds.algorithms  linear-algebra  matrices  matrix-product 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1। हालाँकि, पॉलीग्लिथेरमिक डेप्थ सर्किट पर ठोस निचले सीमा परिणाम प्राप्त करना इनपुट्स को सीमित करने और परिमित क्षेत्रों पर बहुपदों को सन्निकट करने जैसे शास्त्रीय तरीकों के उपयोग से पहुंच से बाहर लगता है। मैं एक STOC'96 पेपर को जानता हूं जो ज्यामितीय जटिलता सिद्धांत की ओर ले जाता …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

एक क्रमचय पर विचार करें की । एक व्युत्क्रम को सूचकांक की एक जोड़ी के रूप में परिभाषित किया जाता है जैसे कि और ।σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i&lt;ji&lt;ji < jσ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) को अधिकांश व्युत्क्रमों के साथ के क्रमपरिवर्तन की संख्या निर्धारित करें ।AkAkA_k[1..n][1..n][1..n]kkk प्रश्न: लिए बाध्य है ?AkAkA_k इससे पहले एक …

17 co.combinatorics  permutations 

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

17 big-list  primes 

मैं तर्क में एक ठोस पृष्ठभूमि के साथ गणित में एक स्नातक छात्र हूं। मैंने तर्क मॉडल मॉडल के सिद्धांत पर स्नातक पाठ्यक्रम के साथ तर्क और सिद्धांत पर एक और एक साल का स्नातक पाठ्यक्रम लिया है। अधिकांश सीएस पाठ तर्क में केवल एक बहुत ही मामूली पृष्ठभूमि मान …

17 lo.logic  soft-question  big-list  books  formal-methods 

यह ए पाल द्वारा पूछे गए एक हालिया प्रश्न का अनुवर्ती है: बहुपद समय में अर्ध-कार्यक्रमों को हल करना । मैं अभी भी एल्गोरिदम के वास्तविक चल रहे समय पर हैरान कर रहा हूं जो कि एक सेमीफाइनल प्रोग्राम (एसडीपी) के समाधान की गणना करता है। जैसा कि रॉबिन ने …

17 quantum-information  semidefinite-programming  analysis-of-algorithms 

अधिकांश साइटें जो मैंने इस दिलचस्प विषय पर पठन के साथ देखी हैं, कुछ लाइनों के साथ "दो की एकमात्र शक्तियाँ (2 स्वयं के अलावा) जो इस क्रम में होती हैं वे प्रमुख प्रतिपादक हैं" (मैथवर्ल्ड) या "2 के बाद, इस क्रम में 2 की निम्नलिखित शक्तियाँ समाहित हैं: [...] …

17 reference-request  primes 

हम जानते हैं कि रैखिक कार्यक्रमों (एलपी) को बहुपद समय में दीर्घवृत्त विधि या कर्मकार के एल्गोरिथ्म जैसे एक आंतरिक बिंदु विधि का उपयोग करके हल किया जा सकता है। चर / बाधाओं के सुपर-बहुपद (एक्सपोनेंशियल) संख्याओं के साथ कुछ एलपी को भी बहुपद समय में हल किया जा सकता …

17 linear-programming  semidefinite-programming  convex-optimization 

मैंने आज निचले हिस्से को पढ़ाया , और छात्रों में से एक ने A C नाम के कारण के बारे में पूछा । आधिकारिक स्पष्टीकरण यह है कि "ए" का अर्थ "अल्टरनेशन" है।AC0AC0AC^0ACACAC मुझे याद है कि कई साल पहले बताया जा रहा था कि निक पिप्पेंजर स्टीव कुक ने …

17 cc.complexity-theory  reference-request  ho.history-overview 

लघु संस्करण। मूल प्रमाण है कि # 2-सैट है #P -Complete शो, वास्तव में, कि # 2-सैट के उन लोगों के उदाहरण हैं जिनमें दोनों कर रहे हैं एक लय और (किसी भी चर के negations को शामिल नहीं) द्विपक्षीय (ग्राफ से अधिक खंड द्वारा गठित चर एक द्विदलीय ग्राफ …

17 cc.complexity-theory  sat  counting-complexity 

मैं ग्राफ़ की उन कक्षाओं के बारे में पढ़ रहा हूँ जिनके लिए ग्राफ आइसोमॉर्फिज़्म ( ) P में है । इस तरह के एक मामले के रूप में यहाँ बताया गया है कि बाध्यता (प्रत्येक शीर्ष की अधिकतम डिग्री) का ग्राफ है । लेकिन मुझे यह बहुत सार लगा। …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

प्लेनार ग्राफ में जीनस शून्य होता है। एक टोरस पर एम्बेड किए गए रेखांकन में जीनस सबसे अधिक होता है। 1. मेरा प्रश्न सरल है: क्या कोई समस्या है जो कि प्लानेर ग्राफ पर बहुपत्नी रूप से हल करने योग्य है लेकिन जीनस के ग्राफ पर एनपी-हार्ड है? अधिक आम …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

समयबद्ध क्वांटम गणना स्पष्ट रूप से बहुत दिलचस्प है। स्पेस-बाउंडेड क्वांटम कम्प्यूटेशन के बारे में क्या? मुझे पता है कि क्वांटम संगणना के लिए कई दिलचस्प परिणाम सबग्लारिथिक स्पेस सीमा और विभिन्न प्रकार के क्वांटम ऑटोमेटा मॉडल के साथ हैं। दूसरी ओर, यह दिखाया गया था कि असीम त्रुटि संभाव्य …

17 quantum-computing  space-bounded 

जहां तक ​​मुझे जानकारी है, प्रैक्टिस में pseudorandom number generation के ज्यादातर कार्यान्वयन लीनियर शिफ्ट फीडबैक रजिस्टरों (LSFRs), या इन "मेरसेन ट्विस्टर" एल्गोरिदम जैसे तरीकों का उपयोग करते हैं। यद्यपि वे (हेयुरिस्टिक) सांख्यिकीय परीक्षणों में से बहुत से पास करते हैं, कोई सैद्धांतिक गारंटी नहीं है कि वे सभी कुशलतापूर्वक …

17 cr.crypto-security  randomized-algorithms  pseudorandomness  pseudorandom-generators