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

वास्तविक कंप्यूटर में सीमित मेमोरी और केवल एक सीमित संख्या में राज्य होते हैं। इसलिए वे अनिवार्य रूप से परिमित ऑटोमेटा हैं। कंप्यूटर का अध्ययन करने के लिए सैद्धांतिक कंप्यूटर वैज्ञानिक ट्यूरिंग मशीन (और अन्य समकक्ष मॉडल) का उपयोग क्यों करते हैं? असली कंप्यूटर के संबंध में इन मजबूत मॉडलों …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

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

41 big-picture  dc.distributed-comp 

आमतौर पर यह माना जाता है कि सभी के लिए ϵ>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 

रेयान विलियम्स ने एसीसी पर अपनी निचली बाउंड को पोस्ट किया , उन समस्याओं का वर्ग जो निरंतर फैन-इन और गेट्स के साथ निरंतर गहराई वाले सर्किट हैं और सभी संभावित मी के लिए OR, NOT और MOD_m हैं। MOD_m फाटकों के बारे में क्या खास है? वे किसी भी …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

कभी-कभी यह दावा किया जाता है कि पी बनाम एनपी प्रश्न जैसे जटिलता सिद्धांत के खुले प्रश्नों को निपटाने के लिए केतन मुल्मुले की ज्यामितीय जटिलता सिद्धांत एकमात्र प्रशंसनीय कार्यक्रम है। कार्यक्रम के बारे में प्रसिद्ध जटिलता सिद्धांतकारों से कई सकारात्मक टिप्पणियां आई हैं। मुल्मुले के अनुसार वांछित परिणाम प्राप्त …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

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

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

सामान्य ज्ञान की दृष्टि से, यह मानना ​​आसान है कि गैर-नियतिवाद को जोड़ने से इसकी शक्ति का विस्तार होता है, अर्थात, से बहुत बड़ा है । आखिरकार, गैर-नियतत्ववाद घातीय समानता की अनुमति देता है, जो निस्संदेह बहुत शक्तिशाली प्रतीत होता है। एन पीPP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} दूसरी ओर, अगर हम सिर्फ , प्राप्त …

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

एल्गोरिथम लेंस के माध्यम से प्रश्नों को देखना (अर्थात एक एल्गोरिथम या जटिलता के दृष्टिकोण से) कंप्यूटर विज्ञान के 'मानक डोमेन' के बाहर के विषयों में उपयोगी हो गया है। विशेष रूप से सीएस ने क्वांटम सूचना प्रसंस्करण के माध्यम से भौतिकी पर कम्प्यूटेशनल जीव विज्ञान के माध्यम से जीव …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

मैंने कभी-कभी लोगों को क्वांटम एल्गोरिदम के बारे में और राज्यों के बारे में और एक साथ कई संभावनाओं पर विचार करने की क्षमता के बारे में सुना है, लेकिन मैं कभी किसी को इसके पीछे कम्प्यूटेशनल मॉडल की व्याख्या करने में कामयाब नहीं हुआ। स्पष्ट होने के लिए, मैं …

32 quantum-computing  big-picture 

कई विशेषज्ञों का मानना ​​है कि P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान सही है और अपने परिणामों में इसका उपयोग करते हैं। मेरी चिंता यह है कि जटिलता दृढ़ता से P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान पर निर्भर करती है। तो मेरा सवाल है: जब तक P≠NPP≠NP\mathsf{P}\neq\mathsf{NP} अनुमान सिद्ध नहीं होता है, तब तक …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

तीन स्थानिक आयाम वाले ब्रह्मांड में विकसित होने के बारे में एक अच्छी बात यह है कि हमने अंतरिक्ष में वस्तुओं से संबंधित समस्या को सुलझाने के कौशल विकसित किए हैं। इस प्रकार, उदाहरण के लिए, हम 3-डी में एक बिंदु के रूप में संख्याओं के एक ट्रिपल के बारे …

28 big-list  cg.comp-geom  big-picture 

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

28 pl.programming-languages  big-picture  type-theory 

ग्रोथेंडिक का निधन हो गया है । 20 वीं सदी के गणित पर 21 वीं सदी में जारी रहने का उनका व्यापक प्रभाव था। यह प्रश्न कुछ हद तक शैली / भावना से पूछा जाता है, उदाहरण के लिए, कंप्यूटर विज्ञान के एलन ट्यूरिंग के योगदान के लिए । सैद्धांतिक …

27 big-picture  ct.category-theory  ho.history-overview 

पारिस्थितिकी और विकास का अध्ययन तेजी से गणितीय होता जा रहा है, लेकिन अधिकांश सैद्धांतिक उपकरण भौतिकी से आ रहे हैं। हालांकि, कई मामलों में समस्याओं का एक बहुत असतत स्वभाव है (उदाहरण के लिए SLBS00 देखें ) और कंप्यूटर विज्ञान के दृष्टिकोण से लाभ उठा सकते हैं । फिर …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

मैंने कई पत्रों में पढ़ा है कि एक तरफ़ा कार्यों का अस्तित्व व्यापक रूप से माना जाता है। क्या कोई इस पर प्रकाश डाल सकता है कि ऐसा क्यों है? एक तरफ़ा कार्यों के अस्तित्व का समर्थन करने के लिए हमारे पास क्या तर्क हैं?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function