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

जटिलता सिद्धांत ब्रह्मांड की संरचना के बारे में कुछ मौलिक पर कब्जा करने के लिए लगता है, इसमें यह सहज धारणा को औपचारिक करता है कि कुछ समस्याएं दूसरों की तुलना में कठिन हैं। स्कॉट आरोनसन ने भविष्यवाणी की , "एनपी कठोरता असेंबल को अंततः ऊष्मप्रवैगिकी के दूसरे कानून के …

18 cc.complexity-theory  soft-question  big-picture 

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

17 big-picture 

छेड़ने वाला चूंकि समस्या लंबी है, इसलिए यह एक विशेष मामला है जो इसके सार को पकड़ता है। समस्या: A को 3-SAT के लिए एक हानिकारक एल्गोरिदम माना जाता है। एल्गोरिथ्म ए (समस्या के हर उदाहरण पर) का पूरी तरह से अनुकरण करने की समस्या है। पी-स्पेस हार्ड? (अधिक सटीक …

17 cc.complexity-theory  big-picture  structural-complexity 

यह सवाल जॉर्जिया टेक एल्गोरिदम और रैंडमनेस सेंटर की टी-शर्ट से प्रेरित है , जो पूछता है कि "रैंडमाइज करें या नहीं?" ऐसे कई उदाहरण हैं जहां यादृच्छिकता मदद करती है, खासकर जब प्रतिकूल वातावरण में काम करते हैं। वहाँ भी कुछ सेटिंग्स हैं जहाँ randomizing मदद या चोट नहीं …

17 randomness  big-picture  randomized-algorithms 

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

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

पी बनाम एनपी प्रश्न के लिए या प्रयोगात्मक गणित से संख्यात्मक प्रमाणों की कमी से मैं हमेशा परेशान रहता हूं। जबकि रीमैन हाइपोथीसिस के संख्यात्मक सत्यापन से कुछ सहायक सबूत हैं, मुझे पी बनाम एनपी प्रश्न के लिए इसी तरह के सबूत के बारे में पता नहीं है। इसके अतिरिक्त, …

15 cc.complexity-theory  soft-question  big-picture  experimental 

भौतिकी से होने के कारण, मुझे ज्यामितीय दृष्टिकोण से बहुत सारी समस्याओं को देखने के लिए प्रशिक्षित किया गया है। उदाहरण के लिए डायनेमिक सिस्टम आदि में मैनिफोल्ड्स के डिफरेंशियल ज्योमेट्री जब मैं कंप्यूटर साइंस की नींव पढ़ता हूं, तो मैं हमेशा ज्योमेट्रिकल इम्प्रूवमेंट खोजने की कोशिश करता हूं। पुनरावर्ती …

14 reference-request  computability  big-picture 

संपूर्ण खोज एल्गोरिदम से जुड़ी जटिलता वर्ग क्या है? (अगर वहाँ एक है) क्या यह एनपी या PSPACE है? क्या लालची और गतिशील प्रोग्रामिंग के लिए मॉडल के समान संपूर्ण खोज एल्गोरिदम के वर्ग पर कब्जा करने वाले कम्प्यूटेशन के प्रतिबंधित मॉडल हैं?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

मुझे याद है कि कुछ समय पहले एक अध्ययन या लेख को देखकर यह दावा किया गया था कि पिछले कई दशकों में कंप्यूटर प्रोग्राम में देखा जाने वाला अधिकांश स्पीडअप हार्डवेयर की बजाय तेज एल्गोरिदम से बेहतर है। क्या कोई अध्ययन या लेख जानता है?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

मेरा पहला सवाल यह है कि क्या एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन सभी क्लासिक जटिलता वर्गों के लिए जाना जाता है। मैं P, NP, PSPACE, EXP, NEXP, EXPSPACE, पुनरावर्ती और पुनरावर्ती असंख्य कार्यों को क्लासिक (अन्य के बीच) कहूंगा। विशेष रूप से, एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन है …

14 cc.complexity-theory  big-picture  interactive-proofs 

यह मुझे लगता है कि अधिकांश जटिलता सिद्धांतकार आमतौर पर निम्नलिखित दार्शनिक नियम को मानते हैं: यदि हम समस्या लिए एक कुशल एल्गोरिथ्म का पता नहीं लगा सकते हैं , और हम समस्या को समस्या तक कम कर सकते हैं , तो शायद समस्या लिए एक कुशल एल्गोरिदम नहीं है …

14 cc.complexity-theory  big-picture  reductions 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

मैं Intuitionistic Type थ्योरी (ITT) पर पढ़ रहा हूं और इसका कोई मतलब नहीं है। लेकिन जो मैं समझने के लिए संघर्ष कर रहा हूं वह "क्यों" है यह पहली बार में बनाया गया था? सहज ज्ञान युक्त तर्क (आईएल) और बस-टाइप किए गए -calculus (STLC) और सामान्य रूप से …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

मान लीजिए कि आप ऐसे प्रोग्रामर से मिल रहे हैं, जिन्होंने कुछ प्रोफेशनल प्रोग्रामिंग कोर्स (/ सेल्फ थिंक) लिए हैं, लेकिन यूनिवर्सिटी स्तर के गणित का अध्ययन नहीं किया है। उन्हें टीसीएस की सुंदरता दिखाने के लिए, मैं टीसीएस से आने वाले कुछ अच्छे परिणाम / खुले प्रश्न इकट्ठा करना …

13 soft-question  big-list  big-picture  teaching 

सैद्धांतिक कंप्यूटर विज्ञान वास्तव में क्या है? क्या यह विभिन्न भाषाओं में कोड करना और प्लेटफार्मों में एप्लिकेशन बनाना सीख रहा है? या यह सिर्फ तेज और तेज एल्गोरिदम के बारे में सोच रहा है ताकि आप कंप्यूटर द्वारा अधिक कुशलता से एक कार्य प्राप्त कर सकें? या क्या यह …

13 big-picture