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

जिज्ञासा से बाहर, यदि शास्त्रीय अभिकलन क्रमपरिवर्तन मैट्रिक्स के बारे में है और क्वांटम कंप्यूटिंग एकात्मक मेट्रिसेस (जिनमें से क्रमपरिवर्तन मेट्रिसेस एक उपसमूह हैं) के बारे में है, तो क्या एकात्मक प्रतिमानों से परे कोई संगणना प्रतिमान होगा?

18 quantum-computing  philosophy 

EDIT (22 अगस्त, 2011): मैं प्रश्न को और सरल कर रहा हूं और प्रश्न पर एक इनाम डाल रहा हूं। शायद इस सरल प्रश्न का एक आसान जवाब होगा। मैं मूल प्रश्न के उन सभी हिस्सों को भी समाप्त करने जा रहा हूँ जो अब प्रासंगिक नहीं हैं। (मूल सवाल …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

समय जटिलता या सर्किट कम सीमा के साथ सीधे काम करना डरावना है। इसलिए, हम निचले सीमा पर एक हैंडल प्राप्त करने के लिए क्वेरी जटिलता (या निर्णय-वृक्ष जटिलता) जैसे उपकरण विकसित करते हैं। चूंकि प्रत्येक क्वेरी में कम से कम एक इकाई चरण होता है, और प्रश्नों के बीच …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

मुझे लगता है कि मैं इसे समझ नहीं हूँ, लेकिन ηη\eta एक के रूप में मेरे लिए रूपांतरण दिखता ββ\beta रूपांतरण कि कुछ भी नहीं, का एक विशेष मामला करता ββ\beta रूपांतरण जहां परिणाम सिर्फ लैम्ब्डा अमूर्त में शब्द है कोई लेना देना नहीं है, क्योंकि, एक व्यर्थ की तरह …

18 lo.logic  lambda-calculus  extensionality 

(n+1)(n+1)(n + 1) अंक को विशिष्ट रूप से डिग्रीबहुपद निर्धारित करने के लिए आवश्यक है; उदाहरण के लिए, एक विमान में दो बिंदु बिल्कुल एक रेखा निर्धारित करते हैं।nnn एक निर्धारित फ़ंक्शन को विशिष्ट रूप से निर्धारित करने के लिए कितने बिंदुओं की आवश्यकता होती है f:N→Nf:N→Nf : N \rightarrow …

18 cc.complexity-theory  computability 

यहाँ लक्ष्य बहुसंख्यक वर्गों और चर की सबसे कम संख्या का उपयोग करके बहुपद समय में 3-सैट के लिए एक मनमाने ढंग से सैट समस्या को कम करना है। मेरा प्रश्न जिज्ञासा से प्रेरित है। औपचारिक रूप से, मैं जानना चाहता हूं: "SAT से 3-SAT में 'सबसे प्राकृतिक' कमी क्या …

18 cc.complexity-theory  sat  reductions 

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

18 reference-request  cr.crypto-security 

यह एक मूर्खतापूर्ण प्रश्न माना जा सकता है। मैं एक कंप्यूटर साइंस मेजर नहीं हूं (और मैं अभी तक कोई बड़ी गणित नहीं हूं, या तो), इसलिए कृपया मुझे क्षमा करें यदि आपको लगता है कि निम्नलिखित प्रश्न कुछ बड़ी गलत धारणाएं प्रदर्शित करते हैं। जबकि Fermat के अंतिम प्रमेय …

18 automated-theorem-proving 

1979 में, फ्रीवाल्ड्स ने दिखाया कि किसी भी क्षेत्र में मैट्रिक्स उत्पादों का सत्यापन यादृच्छिक O(n2)O(n2)O(n^2) समय में किया जा सकता है । अधिक औपचारिक रूप से, एक फ़ील्ड F से प्रविष्टियों के साथ तीन मैट्रिसेस A, B, और C दिए गए हैं, यह जाँचने की समस्या है कि AB …

18 ds.algorithms  linear-algebra  matrix-product 

मैं SIGACT न्यूज़ के लिए प्रकृति-प्रेरित और नवीन कम्प्यूटिंग की हैंडबुक की समीक्षा कर रहा हूं । यह बहुत दिलचस्प पढ़ा है। प्रत्येक अध्याय, हालांकि, स्वाद है, "यह मेरा अनुसंधान क्षेत्र है, और लानत है यह बहुत बढ़िया है!" तो मैं जो करने की कोशिश कर रहा हूं उसका कुछ …

18 soft-question 

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

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

मेरे 8 साल पुराने पारंपरिक mazes बनाने ऊब गया है, और इस तरह लग रहे वेरिएंट बनाने के लिए ले लिया है: विचार एक्स से शुरू करना है और सामान्य नियमों के माध्यम से ओ तक पहुंचना है। साथ ही, आप पूर्णांक किसी से "हॉप" कर सकते हैं किसी अन्य …

18 ds.algorithms  optimization  puzzles 

क्या कोई संक्षिप्त रूप से समझा सकता है (यदि संभव हो तो!) या मुझे एक संदर्भ में संदर्भित करें, बिना शीर्षक वाले लैम्ब्डा कैलकुलस और अधिक सामान्य टाइप किए गए लैम्ब्डा कैल्सी के बीच के अंतर को संक्षेप में बताएं। मैं विशेष रूप से उनकी अभिव्यंजक शक्ति के बयानों की …

18 lo.logic  type-theory  lambda-calculus 

क्या Coq में निम्नलिखित प्रमेय साबित करने का कोई तरीका है? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDIT : "क्या सबूत अप्रासंगिक है" के लिए एक संक्षिप्त विवरण देने का प्रयास (मुझे गलत या गलत होने पर किसी को सही …

18 lo.logic  type-theory  proof-assistants  coq 

मेरे पास 3 डी स्थान में बहुत सारे क्यूबॉइड हैं, प्रत्येक में एक प्रारंभिक बिंदु है (x, y, z) और इसका आकार (Lx, Ly, Lz) है। मुझे आश्चर्य है कि इस 3 डी स्पेस में सबसे बड़ा क्यूब कैसे पाया जाए जो क्यूबॉइड्स के संघ में निहित है। क्या इसके …

18 ds.algorithms  cg.comp-geom