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

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

55 proofs  survey  examples 

गिनती की कुछ समस्याएं हैं, जिसमें बहुत सी चीजों (इनपुट के आकार के सापेक्ष) की गणना शामिल है, और अभी तक आश्चर्यजनक बहुपद-समय सटीक, निर्धारक एल्गोरिदम हैं। उदाहरणों में शामिल: एक प्लानर ग्राफ ( एफकेटी एल्गोरिथ्म ) में सही मिलान की गिनती , जो होलोग्राफिक एल्गोरिदम कैसे काम करता है, …

54 cc.complexity-theory  counting-complexity  big-picture 

में वर्णनात्मक जटिलता , Immerman है कोरोलरी 7.23। निम्नलिखित स्थितियां समतुल्य हैं: 1. पी = एनपी। 2. ओवरनाइट, ऑर्डर की गई संरचनाएं, एफओ (एलएफपी) = एसओ। इसे "जटिलता" पी = एनपी के रूप में माना जा सकता है कि यह एक बड़े पैमाने पर जटिलता वर्गों के बराबर बयान (संभवतः) …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

यह इस साइट पर मेरा पहला सवाल है। मैं गणना के सिद्धांत पर एक मास्टर पाठ्यक्रम ले रहा हूं। आप 10 साल के बच्चे को पी = एनपी समस्या कैसे समझाएंगे और उस पर ऐसा मौद्रिक इनाम क्यों है? अपने ले? मैं सवाल को अपडेट करूंगा क्योंकि मेरा सिर इसके …

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

आपके पसंदीदा उदाहरण जहां सूचना सिद्धांत का उपयोग एक सरल तरीके से एक स्वच्छ दहन कथन को सिद्ध करने के लिए किया जाता है? कुछ उदाहरण मैं की, स्थानीय स्तर पर decodable कोड, उदाहरण के लिए सीमा कम करने के लिए संबंधित हैं में सोच सकते हैं इस कागज: लगता …

54 co.combinatorics  big-list  it.information-theory 

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

53 soft-question 

मान लीजिए कि और सेट पर दो अप्रत्यक्ष रेखांकन हैं । ग्राफ समसामयिक हैं अगर और केवल अगर एक क्रमचय ऐसा है कि , या अधिक औपचारिक रूप से, यदि कोई क्रमचय जैसे कि में एक किनारे है यदि और केवल यदि में बढ़त है । ग्राफ आइसोमॉर्फिज्म समस्या यह …

53 cc.complexity-theory  graph-isomorphism  pcp 

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

52 machine-learning 

पर विचार करें {1,2, ..., n}, के सबसेट के संबंध तोड़ना परिवारों एफ 1 , एफ 2 , ... एफ टी ।tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} मान लो कि (*) हर के लिए और हर आर ∈ एफ मैं , और टी ∈ एफ कश्मीर , वहाँ है एस ∈ …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

एनपी- अधूरी समस्याओं के लिए (खोज संस्करण) , किसी समाधान की पुष्टि करना इसे खोजने की तुलना में स्पष्ट रूप से आसान है, क्योंकि एक साक्षी समय (संभवतः) घातीय समय लगता है, जबकि सत्यापन बहुपद समय में किया जा सकता है। में पी , फिर भी, समाधान भी बहुपद समय …

52 cc.complexity-theory  ds.algorithms  reference-request 

एक एल्गोरिथ्म की दक्षता का विश्लेषण करने के दो तरीके हैं अपने रनटाइम पर एक असममित ऊपरी सीमा लगाने के लिए, और इसे चलाने के लिए और प्रयोगात्मक डेटा एकत्र करने के लिए। मुझे आश्चर्य है कि अगर ज्ञात मामले हैं जहां (1) और (2) के बीच एक महत्वपूर्ण अंतर …

52 ds.algorithms  big-list  ds.data-structures 

यह सवाल 1998 में ओकासाकी की पुस्तक के प्रकाशन के बाद से PFDS में नया क्या है, इस सवाल से प्रेरित है । मैं दो सवालों के साथ शुरू करूँगा: क्या विशुद्ध रूप से कार्यात्मक सेट डेटा संरचना है जो हैश तालिकाओं की गति से संपर्क करती है? Tries अभी …

51 big-list  ds.data-structures  functional-programming 

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

51 big-list  soft-question 

अपने प्रसिद्ध पत्र "कंजुगेट कोडिंग" (1970 के आसपास लिखित) में, स्टीफन विस्नर ने क्वांटम मनी के लिए एक योजना प्रस्तावित की, जो नकली रूप से असंभव है, यह मानते हुए कि जारीकर्ता बैंक के पास यादृच्छिक संख्याओं की एक विशाल तालिका तक पहुंच है, और उस बैंकनोट को लाया जा …

50 quantum-computing 

एमओ में एक फलदायक प्रश्न के बाद , मैंने सोचा कि सीएस में कुछ उल्लेखनीय पेपर नामों पर चर्चा करना सार्थक होगा। यह बिल्कुल स्पष्ट है कि हम में से अधिकांश एक दिलचस्प शीर्षक के साथ एक पेपर (या कम से कम नज़र में) पढ़ने के लिए आकर्षित हो सकते …

50 soft-question  big-list