big-picture पर टैग किए गए जवाब

Tc के लिए abc अनुमान का क्या प्रमाण होगा ? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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

24 soft-question  big-picture 

एंटैंग्लमेंट को अक्सर प्रमुख घटक के रूप में रखा जाता है जो क्वांटम एल्गोरिदम को अच्छी तरह से बनाता है ... क्वांटम, और यह बेल राज्यों में वापस पता लगाया जा सकता है जो क्वांटम भौतिकी के विचार को एक छिपे हुए राज्य संभाव्य मॉडल के रूप में नष्ट करते …

24 quantum-computing  big-picture 

मैंने पढ़ा है कि शुरू में चर्च ने -calculus को लॉजिस्टिक लॉजिक (जो कि एक सघन वाचन है) के अपने पोस्टुलेट्स के हिस्से के रूप में प्रस्तावित किया था । लेकिन क्लेन ने अपने "सिस्टम" को असंगत साबित कर दिया जिसके बाद, चर्च ने "प्रभावी कम्प्यूटेबिलिटी" पर अपने काम के …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

मैं जीव विज्ञान के लिए रोचक / उपयोगी होने के लक्ष्य के साथ, कम्प्यूटेशनल जटिलता में सैद्धांतिक जीव विज्ञान, विशेष रूप से विकास और पारिस्थितिकी में कुछ परिणाम पेश करने पर काम कर रहा हूं । सबसे बड़ी कठिनाइयों में से एक है जो निचले सीमा के लिए एसिम्प्टोटिक सबसे …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

अपनी समझ की जांच करने के लिए, मैं गणना की ऊर्जा आवश्यकताओं के बारे में कुछ विचार साझा करना चाहूंगा। यह मेरे पिछले प्रश्न का अनुसरण है और विनय के संरक्षण कानूनों से संबंधित प्रश्न हो सकता है । इसने मुझे उकसाया कि, एक ऊष्मागतिकीय बिंदु से, एक संगणना चलाने …

22 cc.complexity-theory  big-picture  physics 

मैं पढ़ रहा था " क्या पी वर्सस एनपी औपचारिक रूप से स्वतंत्र है? " लेकिन मैं हैरान हो गया। यह व्यापक रूप से जटिलता सिद्धांत में माना जाता है कि । मेरा प्रश्न इस बारे में है कि क्या यह साबित होने योग्य नहीं है ( में कहें )। …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

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

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

पी। में एल्गोरिदम को समानांतर करने के बारे में जो कुछ ज्ञात है उसके बारे में मैं एक व्यापक अर्थ में उत्सुक हूं। मुझे इस विषय के बारे में निम्नलिखित विकिपीडिया लेख मिला: http://en.wikipedia.org/wiki/NC_%28complexity%29 लेख में निम्नलिखित वाक्य शामिल हैं: यह अज्ञात है कि नेकां = पी, लेकिन अधिकांश शोधकर्ताओं …

21 cc.complexity-theory  complexity-classes  big-picture 

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

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

वितरित कंप्यूटिंग में, सर्वसम्मति की समस्या केंद्रीय विषयों में से एक लगती है जिसने गहन शोध को आकर्षित किया है। विशेष रूप से, कागज "एक दोषपूर्ण प्रक्रिया के साथ वितरित सहमति की असंभवता " को 2001 PODC प्रभावशाली पेपर पुरस्कार मिला । तो आम सहमति समस्या इतनी महत्वपूर्ण क्यों है? …

19 reference-request  big-picture  dc.distributed-comp 

प्रतिवर्ती कंप्यूटिंग एक कम्प्यूटेशनल मॉडल है जो केवल थर्मोडायनामिक रूप से प्रतिवर्ती संचालन की अनुमति देता है। Landauer के सिद्धांत के अनुसार, जो बताता है कि थोड़ी जानकारी मिटाने से ऊष्मा निकलती है, यह संक्रमण कार्यों को नियंत्रित करता है जो एक-से-एक (जैसे, बूलियन और OR ऑपरेटर) नहीं हैं। यह …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

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

19 imperative-programming  semantics  big-picture 

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

18 co.combinatorics  big-picture 

क्या मैं यह समझने में सही हूं कि एक समस्या एनपी पूर्ण साबित करना एक शोध सफलता है? यदि हां तो क्यों?

18 cc.complexity-theory  np-hardness  big-picture