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

वर्षों से मैंने कई TCS प्रमेयों को असतत फूरियर विश्लेषण का उपयोग करते हुए साबित करने के लिए इस्तेमाल किया है। वॉल्श-फूरियर (हैडमार्ड) ट्रांसफ़ॉर्मेशन TCS के लगभग हर सबफ़ील्ड में उपयोगी है, जिसमें प्रॉपर्टी टेस्टिंग, स्यूडोरेंग्ज़िनेशन, कम्यूनिकेशन कॉम्प्लेक्सिटी और क्वांटम कंप्यूटिंग शामिल हैं। जब मैं एक समस्या से निपटने के …

59 soft-question  boolean-functions  fourier-analysis 

क्या आप समझदार एल्गोरिदम को जानते हैं जो बहुपद समय (इनपुट लंबाई + आउटपुट लंबाई) में चलते हैं, लेकिन जिनके नाप में एक ही समय में असममित रूप से चलने का समय बहुत बड़ा प्रतिपादक / स्थिर (कम से कम, जहां चल रहे समय पर सिद्ध ऊपरी सीमा है) इस …

59 ds.algorithms  big-list 

अंडरगार्मेंट में निर्धारक परिमित राज्य ऑटोमेटा (डीएफए) का अध्ययन करने के बाद, मुझे लगा कि वे बहुत अच्छी तरह से समझ गए हैं। मेरा सवाल यह है कि क्या कुछ ऐसा है जिसे हम अभी भी उनके बारे में नहीं समझते हैं। डीएफए के सामान्यीकरण से मेरा मतलब नहीं है …

59 soft-question  open-problem  dfa 

आपके प्रमाणों की जाँच के लिए सामान्य दिशानिर्देश क्या हैं? मेरा मानना ​​है कि मेरे जैसे स्नातक छात्रों के लिए यह महत्वपूर्ण है। मुझे पहले से ही पता है कि हमें कुछ साबित करने के लिए क्या करने की ज़रूरत है, लेकिन आपको इसे भेजने से पहले हमेशा सब कुछ …

59 soft-question  research-practice  writing 

यह व्यापक रूप से अनुमान लगाया गया है कि मैट्रिक्स गुणन के लिए इष्टतम घातांक , वास्तव में 2 के बराबर है। "मेरा आकार सरल है:ωω\omega हमें उस विश्वास करने के क्या कारण हैं ?ω=2ω=2\omega = 2 मुझे Coppersmith-Winograd जैसे तेज़ एल्गोरिदम के बारे में पता है, लेकिन मुझे नहीं …

59 ds.algorithms  linear-algebra  matrix-product 

यह सवाल कुछ ऐसा है जिसके बारे में मैंने कुछ समय के लिए सोचा है। जब लोग पी बनाम एनपी समस्या का वर्णन करते हैं, तो वे अक्सर कक्षा एनपी की रचनात्मकता से तुलना करते हैं। वे ध्यान दें कि मोजार्ट-क्वालिटी सिम्फनी (एनपी कार्य के अनुरूप) की रचना यह सत्यापित …

59 cc.complexity-theory  complexity-classes  soft-question 

मैं साइट के लिए नया हूँ। Mathoverflow पर यह समुदाय विकि होगा, लेकिन मैं यह नहीं देखता कि यहाँ कैसे सेट किया जाए। एक शोध प्रश्न नहीं है, लेकिन पेशेवर सैद्धांतिक कंप्यूटर वैज्ञानिकों के लिए दिलचस्पी की उम्मीद है। मैं सिद्धांत रूप में 2 वर्ष का स्नातक छात्र हूं, और …

59 soft-question  career  advice-request 

पृष्ठभूमि कई साल पहले, जब मैं एक स्नातक था, हमें परिशोधित विश्लेषण पर एक होमवर्क दिया गया था। मैं समस्याओं में से एक को हल करने में असमर्थ था। मैंने इसे comp.theory में पूछा था , लेकिन कोई संतोषजनक परिणाम सामने नहीं आया। मुझे याद है कि टीए ने इस …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

इंटरनेट के आगमन (और सामान्य ज्ञान) के साथ ओपन-एक्सेस अनुसंधान की अधिक से अधिक मांग है। कई शोधकर्ताओं (मेरे सहित) को यह निराशा होती है कि प्रकाशित पीयर-रिव्यू किए गए शोध लेख पेवेल्स के पीछे हैं। मैं पत्रिकाओं और सम्मेलनों की तलाश कर रहा हूं (सैद्धांतिक कंप्यूटर विज्ञान, ग्राफ सिद्धांत, …

58 soft-question  conferences  journals 

एक नई समस्या के लिए एक एल्गोरिथ्म डिजाइन करते समय, अगर मुझे थोड़ी देर बाद एक बहुपद समय एल्गोरिथ्म नहीं मिल रहा है, तो मैं यह साबित करने की कोशिश कर सकता हूं कि इसके बजाय एनपी-हार्ड है। यदि मैं सफल होता हूं, तो मैंने समझाया है कि मैं बहुपद …

58 cc.complexity-theory  lower-bounds  conditional-results 

थ्रेड में सैद्धांतिक कंप्यूटर विज्ञान में प्रमुख अनसुलझी समस्याएं हैं? , इदो तज़मेरेट ने निम्नलिखित उत्कृष्ट टिप्पणी की: मुझे लगता है कि हमें मूलभूत खुली समस्याओं के बीच अंतर करना चाहिए, जिन्हें मूलभूत समस्याओं के रूप में देखा जाता है, जैसे , और प्रमुख खुली समस्याएं जो एक तकनीकी सफलता …

58 big-list  open-problem 

हाल ही में, एक भौतिक विज्ञानी से बात करते समय, मैंने दावा किया कि मेरे अनुभव में, जब एक समस्या जो भोलेपन से लगती है, तो यह घातांक समय लेना चाहिए, अनायास पी या बीपीपी में बदल जाता है, एक "अतिव्यापी कारण" कि कमी क्यों होती है आमतौर पर पहचाना …

56 big-list  big-picture 

सिद्धांत की दुनिया में जेनेटिक एल्गोरिदम को बहुत अधिक कर्षण नहीं मिलता है, लेकिन वे एक यथोचित अच्छी तरह से इस्तेमाल की जाने वाली मेटाहेयुरिस्टिक विधि हैं (मेटाह्यूरिस्टिक से मेरा मतलब है कि एक ऐसी तकनीक है जो कई समस्याओं पर उदारतापूर्वक लागू होती है, जैसे एनीलिंग, ग्रेडिएंट डीसेंट और …

56 ds.algorithms  ne.neural-evol 

मैं बहुपद एल्गोरिथ्म में आया हूं जो 2SAT को हल करता है। मुझे पता चला है कि 2SAT P में है जहां SAT उदाहरणों के सभी (या कई अन्य) NP-Complete हैं। इस समस्या को क्या अलग बनाता है? क्या यह इतना आसान बनाता है (एनएल-पूर्ण - पी से भी आसान)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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

55 soft-question  big-list  research-practice  writing