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

संबंधित क्षेत्रों में सैद्धांतिक कंप्यूटर वैज्ञानिकों और शोधकर्ताओं के लिए प्रश्नोत्तर

11
असली कंप्यूटर नेटवर्क के लिए, यादृच्छिक रेखांकन के मॉडल
मुझे यादृच्छिक ग्राफ़ के मॉडल में दिलचस्पी है जो वास्तविक कंप्यूटर नेटवर्क के ग्राफ़ के समान हैं। मुझे यकीन नहीं है कि सामान्य अच्छी तरह से अध्ययन किए गए मॉडल ( कोने, प्रत्येक संभावित किनारे को संभाव्यता साथ चुना गया है ) वास्तविक कंप्यूटर नेटवर्क (यह है?) का अध्ययन करने …

1
रैखिक कार्यक्रमों के अनुमानित समाधान के लिए सर्वोत्तम संभव समय / त्रुटि ट्रेडऑफ़ क्या हैं?
संक्षिप्तता के लिए एलपी को दो-खिलाड़ी शून्य-सम गेम को हल करने के लिए विचार करें जहां प्रत्येक खिलाड़ी के पास क्रियाएं हैं। मान लीजिए कि भुगतान मैट्रिक्स की प्रत्येक प्रविष्टि निरपेक्ष मूल्य में अधिकतम 1 पर है। सादगी के लिए आइए कोई भी अनुमान न लगाएं।nnnएAA मान लीजिए कि रनटाइम …

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

1
गेम थ्योरी का उपयोग करके एक शोध विषय चुनना
यह हालिया गेम थ्योरी प्रश्न मुझे सोचने पर मजबूर कर गया (यह एक स्पर्शरेखा है, निश्चित रूप से): क्या खेल के सिद्धांत का उपयोग करने के लिए शोध प्रश्नों को चुनने के लिए व्यक्तिगत रणनीति को कुशलतापूर्वक अनुकूलित करना संभव है? प्रश्न के औपचारिककरण की ओर जाने के लिए, मैं …

4
समता और
समानता और अविभाज्य जुड़वाँ बच्चों की तरह हैं। या ऐसा पिछले 30 सालों से लग रहा है। रयान के परिणाम के प्रकाश में, छोटी कक्षाओं में नए सिरे से रुचि होगी।AC0AC0AC^0 फ़ॉस्ट सक्से सिप्सर से याओ से हस्ताद तक सभी समता और यादृच्छिक प्रतिबंध हैं। रेज़बोरोव / स्मोलेंस्की समता के …

4
अधिकांश REGEX कार्यान्वयन जटिलता के पैमाने पर कहाँ आते हैं?
नियमित अभिव्यक्ति के अधिकांश आधुनिक कार्यान्वयन, जैसे कि perl या .NET में हैं, लुकहेड और लुकबाइंड जैसी सुविधाओं के साथ REGEX की शास्त्रीय कंप्यूटर विज्ञान परिभाषा से परे हैं। क्या ये विशेषताएं उन्हें ऐसे बयान देने देती हैं जिन्हें एक परिमित, गैर-पुशडाउन ऑटोमेटन के साथ वर्णित नहीं किया जा सकता …

2
'K' के लिए एल्गोरिथम सबसे अधिक बार होने वाली संख्या है
मैं सबसे कुशल (स्ट्रीमिंग ??) एल्गोरिथ्म की खोज कर रहा हूं जो मुझे किसी भी समय किसी डेटा स्ट्रीम में 'के' सबसे अधिक बार होने वाले तत्व बताता है। यह पोस्ट: डेटा स्ट्रीम एल्गोरिदम को "विभाजित और जीतना" मुझे इसमें दिलचस्पी थी। उदाहरण के लिए, मान लें कि संख्याएँ हैं: …

2
ऑनलाइन उत्तल अनुकूलन में आंतरिक अफसोस
Zinkevich की "ऑनलाइन उत्तल अनुकूलन" ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) एक रैखिक सेटिंग्स से उत्तल सेटिंग में "अफसोस कम करने" सीखने के एल्गोरिदम को सामान्य करता है और अच्छा "बाहरी अफसोस" देता है । क्या आंतरिक अफसोस के लिए समान सामान्यीकरण है? (मुझे पूरी तरह से यकीन नहीं है कि वास्तव में …

5
(झूठी?) किसी फ़ंक्शन की संगणना के लिए प्रमाण?
पर विचार करें , एक फ़ंक्शन जो 1 iff शून्य लौटाता है वह लगातार में दिखाई देता है । अब किसी ने मुझे एक प्रमाण दिया कि गणना योग्य है:f(n)च(n)f(n)nnnππ\pif(n)f(n)f(n) या तो सभी n के लिए, में दिखाई देता है , या am होता है। में और देता है। पहली …

22
कौन से एल्गोरिदम का उपयोग सबसे अधिक बार किया जाता है?
ताला लगा हुआ । यह सवाल और इसके जवाब बंद हैं क्योंकि यह सवाल ऑफ-टॉपिक है लेकिन इसका ऐतिहासिक महत्व है। यह वर्तमान में नए उत्तरों या इंटरैक्शन को स्वीकार नहीं कर रहा है। कौन सा एल्गोरिदम सबसे अधिक बार उपयोग किया जाता है? कृपया प्रति उत्तर में एक एल्गोरिथ्म …

3
क्रेग इंटरपोलेंट्स की गणना के लिए कौन से एल्गोरिदम को जाना जाता है?
क्या कंप्यूटिंग प्रक्षेपों के लिए एल्गोरिदम का कोई सर्वेक्षण है? केवल एक एल्गोरिथ्म पर कागजात के बारे में क्या? जिस मामले में मैं सबसे ज्यादा दिलचस्पी रखता हूं, वह है और , साथ ही बाधा भी है कि इंटरपोलेंट जितना संभव हो उतना छोटा है। (मैं 2005 से मैकमिलन के …

4
शब्दार्थ में कैसे दुष्प्रभाव होते हैं?
शब्दार्थ पर एंथोनी ऐबी के "प्रोग्रामिंग भाषाओं का परिचय" खंड में , वह निम्नलिखित अवलोकन करते हैं: प्रोग्रामिंग भाषाओं के शब्दार्थ में अधिकांश कार्य अनिवार्य कार्यक्रमों के निर्माण और समझने की समस्याओं में प्रेरित होते हैं --- असाइनमेंट कमांड के साथ प्रोग्राम। चूंकि असाइनमेंट कमांड वेरिएबल्स के मानों को पुन: …

2
क्या CNF-SAT के लिए एक गैर-नियतात्मक रैखिक समय एल्गोरिथ्म है?
निर्णय समस्या CNF-SAT को निम्नानुसार वर्णित किया जा सकता है: इनपुट: सामान्य रूप में एक बूलियन फॉर्मूला ।ϕϕ\phi प्रश्न: क्या कोई चर असाइनमेंट मौजूद है जो संतुष्ट करता है ?ϕϕ\phi मैं गैर-निर्धारक दो-टेप ट्यूरिंग मशीन के साथ CNF-SAT को हल करने के लिए कई अलग-अलग तरीकों पर विचार कर रहा …

4
जाँच कर रहा है कि क्या मैट्रिसेस के सेट के सभी उत्पाद अंततः शून्य के बराबर हैं
मैं निम्नलिखित समस्या में दिलचस्पी रखता हूं: पूर्णांक matrices यह तय कि क्या इन मैट्रिक्स का प्रत्येक अनंत उत्पाद अंततः शून्य मैट्रिक्स के बराबर है।A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k इसका मतलब है कि आप जैसा सोचते हैं वैसा ही करते हैं: हम कहेंगे matrices का सेट पास वह संपत्ति है जिसके सभी …

2
एलपी द्वैत के लिए एक सहज / अनौपचारिक प्रमाण?
एलपी द्वैत के बारे में 'प्वाइंट होम' मारने के लिए एक अच्छा अनौपचारिक / सहज प्रमाण क्या होगा? यह दिखाने के लिए कितना अच्छा है कि न्यूनतम उद्देश्य फ़ंक्शन वास्तव में बाध्य को समझने के सहज तरीके से न्यूनतम है? जिस तरह से मुझे सिखाया गया था कि द्वंद्व केवल …

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.