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

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

19 reference-request  graph-theory  co.combinatorics 

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

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

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

19 graph-theory  co.combinatorics  puzzles 

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

19 soft-question  gt.game-theory 

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

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

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

19 automata-theory  regular-expressions  fl.formal-languages 

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

19 ds.algorithms  online-algorithms  data-streams 

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

19 lg.learning  online-learning 

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

19 computability 

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

19 ds.algorithms  big-list 

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

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

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

19 imperative-programming  semantics  big-picture 

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

19 time-complexity  sat  turing-machines  np  nondeterminism 

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

19 linear-algebra  decidability 

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

19 linear-programming  primal-dual