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

मैं Applicativeश्रेणी सिद्धांत के संदर्भ में समझना चाहूंगा । के लिए प्रलेखन का Applicativeकहना है कि यह एक मजबूत लक्ष्मण monoidal functor है । पहला, विकिपीडिया पृष्ठ मोनोइडल फ़ंक्शनलर्स के बारे में कहता है कि एक मोनोइडल फ़ंक्टर या तो ढीला या मजबूत है । इसलिए मुझे ऐसा लगता है …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

मैं CIS 500 में पाठ्यक्रम नोटों पर जा रहा हूं : सॉफ्टवेयर फ़ाउंडेशन और अभ्यास बहुत मज़ेदार हैं। मैं केवल तीसरे अभ्यास सेट पर हूं, लेकिन मैं यह जानना चाहता हूं कि जब मैं चीजों को साबित करने के लिए रणनीति का उपयोग करता हूं तो क्या हो रहा हैforall …

40 lo.logic  type-theory  proof-assistants  proof-theory  coq 

को एक एल्गोरिथमिक कार्य होने दें । (यह एक निर्णय समस्या या एक अनुकूलन समस्या या कोई अन्य कार्य हो सकता है।) हम "बहुपद पक्ष पर" कहते हैं, यदि यह मानते हुए कि एनपी-हार्ड है तो इसका अर्थ है कि बहुपद हाइअरार्की का पतन होता है। आइए "एनपी-साइड पर" कहते …

40 cc.complexity-theory 

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

40 soft-question  advice-request 

क्या प्रत्येक कार्य जो कि आकार के वर्णमाला का उपयोग करके एकल-टेप ट्यूरिंग मशीन पर समय में गणना करने योग्य है। समय एक टेप-ट्यूरिंग मशीन पर आकार की वर्णमाला का उपयोग करके (कहते हैं, और रिक्त)?टी कश्मीर = हे ( 1 ) हे ( टी ) 3 0 , 1 …

40 computability  turing-machines 

मेरा प्रश्न सरल है: एक n × n मैट्रिक्स के एक eigendecomposition कंप्यूटिंग के लिए सबसे अच्छा ज्ञात एल्गोरिथ्म का सबसे खराब समय चल रहा है ?n×nn×nn \times n क्या eigendecomposition मैट्रिक्स गुणन में कमी करता है या सबसे खराब ज्ञात एल्गोरिदम O(n3)O(n3)O(n^3) ( एसवीडी के माध्यम से ) सबसे …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

यह सर्किट जटिलता के बारे में एक सवाल है। (परिभाषाएँ सबसे नीचे हैं।) याओ और Beigel-Tarui से पता चला है कि हर कि आकार के सर्किट परिवार आकार के एक बराबर सर्किट परिवार है गहराई के दो , जहां उत्पादन गेट एक सममित समारोह है और दूसरे स्तर होते हैं …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

पृष्ठभूमि वास्तविक संख्याओं की गणना प्राकृतिक संख्याओं की तुलना में अधिक जटिल है, क्योंकि वास्तविक संख्याएं अनंत वस्तुएं हैं और बेशुमार वास्तविक संख्याएं हैं, इसलिए वास्तविक संख्याओं को एक परिमित वर्णमाला पर परिमित तारों द्वारा ईमानदारी से नहीं दर्शाया जा सकता है। परिमित तारों पर शास्त्रीय संगणना के विपरीत, जहाँ …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

1980 के दशक में, रज़बोरोव ने प्रसिद्ध रूप से दिखाया कि स्पष्ट मोनोटोन बूलियन फ़ंक्शन (जैसे कि क्लीक्वे फ़ंक्शन) हैं जिनकी गणना करने के लिए घातीय रूप से कई और या गेट्स की आवश्यकता होती है। हालाँकि, बूलियन डोमेन {0,1} पर {AND, OR} का आधार एक दिलचस्प गेट सेट का …

40 lower-bounds  circuit-complexity  circuit-families 

एंड्रयू ची-ची याओ के क्लासिक 1979 के पेपर में उन्होंने "एमओ राबिन और एसी याओ, तैयारी में" का संदर्भ दिया। यह इस परिणाम के लिए है कि समानता फ़ंक्शन EQ N की बाउंड-एरर कम्युनिकेशन कॉम्प्लेक्सिटी (चाहे 0 से N - 1 की रेंज में दो पूर्णांक बराबर हों) O ( …

40 ho.history-overview  communication-complexity 

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

40 computability  lo.logic  proofs 

आमतौर पर यह माना जाता है कि सभी के लिए ϵ>0ϵ>0\epsilon > 0 , यह गुणा दो के लिए संभव है n×nn×nn \times n में मैट्रिक्स O(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) समय। कुछ चर्चा यहाँ है । मैंने कुछ ऐसे लोगों से पूछा है, जो इस शोध से अधिक परिचित हैं कि …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

बता दें कि PRIMES (उर्फ primality टेस्टिंग ) समस्या है: एक प्राकृतिक संख्या को देखते हुए , एक अभाज्य संख्या है?nnnnnn चलो फैक्टरिंग समस्या हो: प्राकृतिक संख्या को देखते हुए , के साथ , करता एक कारक है के साथ ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1&lt;d&lt;m1&lt;d&lt;m1 < d < m क्या …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

क्या कोई ज्ञात तुलना सॉर्टिंग एल्गोरिदम है जो सॉर्टिंग नेटवर्क को कम नहीं करता है, जैसे कि प्रत्येक तत्व की तुलना बार की जाती है?O(logn)O(log⁡n)O(\log n) जहाँ तक मुझे पता है, प्रत्येक तत्व पर तुलना करने का एकमात्र तरीका n इनपुट के लिए AKS सॉर्टिंग नेटवर्क का निर्माण करना है, …

39 ds.algorithms  sorting  sorting-network 

Adleman का प्रमाण है कि में समाहित है, अगर आकार इनपुट पर समय में चलने वाली समस्या के लिए एक यादृच्छिक एल्गोरिदम है , तो समस्या के लिए एक नियतात्मक एल्गोरिथ्म भी है जो time _ में चलता है आकार इनपुट पर [एल्गोरिथ्म यादृच्छिक एल्गोरिथ्म को स्वतंत्र यादृच्छिकता स्ट्रिंग्स पर …

39 randomized-algorithms