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

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

17 big-list  primes 

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

17 lo.logic  soft-question  big-list  books  formal-methods 

लक्ष्य (कठोरता रैंडमनेस कनेक्शन नहीं) के प्रति ठोस प्रमाण दिखाने में सफल व्युत्पन्न या कम से कम प्रगति के कुछ प्रमुख उदाहरण क्या हैं ?P=BPPP=BPPP=BPP एकमात्र उदाहरण जो मेरे दिमाग में आता है, वह है एकेएस निर्धारक बहुपद समय प्राणिकता परीक्षण (यहां तक ​​कि इसके लिए जीआरएच की एक पद्धति …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

लैरी वासरमैन के पास एक हालिया पोस्ट है जहां वह "पी-वैल्यू पुलिस" के बारे में बात करते हैं। वह एक दिलचस्प बिंदु बनाता है (सभी जोर मेरा) (इटैलिक्स में आधार जो मैंने जोड़ा, और इसके नीचे उसकी प्रतिक्रिया): सबसे आम शिकायत यह है कि भौतिकविदों और पत्रकारों ने पी-मूल्य के …

15 ds.algorithms  soft-question  big-list 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n में असतत लघुगणक गणना के लिए बेबी-स्टेप विशाल-चरण एल्गोरिथ्म ,O(n−−√)O(n)O(\sqrt n) समय और मेमोरी में स्थिर 2D ऑर्थोगोनल रेंज की गिनती ,O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) EXTRACT-MIN के साथ प्राथमिकता कतार और , में DECREASE-KEYO(n−−√k)O(nk)O(\sqrt[k] n)O(1)O(1)O(1) बहुपद समय में रंगों के साथ एक 3-colourable ग्राफ को रंग देना,O(n−−√)O(n)O(\sqrt n) …

15 ds.algorithms  ds.data-structures  big-list  teaching 

मैंने इंटरनेट पर देखा, लेकिन मुझे SAT समस्या के किसी भी प्रकार की 'बड़ी सूची' नहीं मिली। इसके अलावा (आम) बैठ गया, कश्मीर-सैट, MAX-kSAT, आधा सैट, XOR-सैट, NAE-सैट और क्या रूप हैं? (यह भी वास्तव में उपयोगी होगा यदि जटिलता कक्षाएं दी जाती हैं (जहां संभव हो))

14 cc.complexity-theory  sat  big-list 

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

14 cc.complexity-theory  reference-request  big-list 

क्या परिणाम ज्ञात हैं जो "बहुत-से-से-सच-सच" डेटा संरचनाओं के अस्तित्व को खारिज करते हैं? उदाहरण के लिए: एक जोड़ सकते हैं और एक आदेश रखरखाव डेटा संरचना करने के लिए कार्यक्षमता (देखें Dietz और Sleator STOC '87 ) और अभी भी प्राप्त समय आपरेशन?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) या: क्या कोई पूर्णांक कुंजियों और …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

एल्गोरिथम गेम थ्योरी (या सीएस से संबंधित गेम थ्योरी) में किस तरह के अनुमान और प्रमुख खुली समस्याएं सबसे महत्वपूर्ण हैं? उदाहरण के लिए, NASH का PPAD- पूर्ण होने के रूप में संकल्प, मुझे लगता है, जब तक इसे हल नहीं किया गया है तब तक सबसे बड़ा एक है। …

14 big-list  gt.game-theory 

दो पेपर मैं शामिल करूंगा: डी। कोजेन, " सबसर्किव क्लासेस का अनुक्रमण" , एसटीओसी, 1978। आर। लेडनर, "ऑन द स्ट्रक्चर ऑफ पोलिनोमियल टाइम रिड्यूसबिलिटी" , जेएसीएम , 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

मैं ऐसे परिणामों के उदाहरणों की तलाश कर रहा हूं जो एक आम दर्शक की बात के लिए लोगों के अंतर्ज्ञान के खिलाफ जाते हैं। परिणाम जो अगर गैर-विशेषज्ञों से पूछा जाता है "आपका अंतर्ज्ञान आपको क्या बताता है?", लगभग सभी इसे गलत मिलेगा। परिणाम का विवरण आसानी से सीएस …

14 big-list  teaching  intuition 

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

13 soft-question  big-list  big-picture  teaching 

क्या ऑनलाइन एल्गोरिथम पर कोई हालिया पुस्तकें हैं? मुझे इस विषय पर केवल दो पुस्तकों का पता है। एलन बोरोडिन और रैन एल-यानिव द्वारा ऑनलाइन संगणना और प्रतिस्पर्धी विश्लेषण: यह एक क्लासिक लेकिन पुरानी किताब है, और इस क्षेत्र में कई हालिया अग्रिम शामिल नहीं हैं। Niv Buchbinder और यूसुफ …

13 reference-request  big-list  online-algorithms 

एलन ट्यूरिंग का 100 वां जन्मदिन मनाने के लिए, मैं उनके जीवन के बारे में एक वृत्तचित्र देखना चाहता हूं। हालांकि, चुनने के लिए कई वृत्तचित्र हैं। एलन ट्यूरिंग के बारे में कौन सी डॉक्यूमेंट्री आपकी पसंदीदा है? कृपया प्रति उत्तर केवल एक वृत्तचित्र शामिल करें।

13 reference-request  soft-question  big-list  ho.history-overview 

संकलक सिद्धांत एक बहुत सुंदर विषय लगता है। क्षेत्र में कुछ खुली समस्याएं या वर्तमान अनुसंधान क्या हो रहे हैं?

13 soft-question  big-list  open-problem  compilers