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

मेरा विशेष रूप से भाषा के परिवारों से तात्पर्य है जो मनमाने ढंग से लंबे तारों को मानते हैं - n बिट्स या निर्णय सूची या {0,1} ^ n में निहित किसी भी अन्य "सरल" भाषा के संबंध में नहीं। मैं "ऑटोमेटा-थ्योरिटिक" नियमित भाषाओं के बारे में "लॉजिक-थ्योरिटिक" के विपरीत …

9 automata-theory  machine-learning  lg.learning 

चलो ΣΣ\Sigmaएक वर्णमाला, यानी एक गैर-रिक्त परिमित सेट हो। एक स्ट्रिंग तत्वों (वर्णों) से किसी भी परिमित अनुक्रम हैΣΣ\Sigma। उदहारण के लिए,{0,1}{0,1} \{0, 1\} द्विआधारी वर्णमाला है और 011001100110 इस वर्णमाला के लिए एक स्ट्रिंग है। आमतौर पर, जब तक ΣΣ\Sigma 1 से अधिक तत्व शामिल हैं, तत्वों की सटीक …

9 big-list  encoding  examples 

मान लीजिए कि हमारे पास एक यादृच्छिक चर है जो गैर-संख्यात्मक मान लेता है a, b, c और यह निर्धारित करना चाहता है कि कैसे का अनुभवजन्य वितरण nnnइस चर के नमूने सच्चे वितरण से विचलित होते हैं। इस मामले में निम्नलिखित असमानता ( कवर एंड थॉमस से ) लागू …

9 pr.probability  chernoff-bound 

प्रश्न निम्नलिखित है। आम तौर पर जब किसी का कार्यकाल होता हैΛX.tΛX.t\Lambda X.t, हम उदाहरण के लिए, इस शब्द को एक प्रकार से लागू करके समाप्त कर सकते हैं(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T]। अब, मान लीजिए कि यह एक तीर है और हम इसे एक तर्क देना चाहते हैं, तो हमें इस …

9 type-theory  polymorphism  type-inference 

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

9 ds.algorithms  clustering  online-algorithms  data-streams 

मैं (धीरे ​​से) SIGACT न्यूज़ के लिए Chemoinformatics Algorithms की हैंडबुक की समीक्षा लिख ​​रहा हूँ । एक अध्याय वर्तमान सॉफ्टवेयर कार्यान्वयन पर चर्चा करता है, और डेटाबेस खोजों (और अन्य अनुप्रयोगों) को ग्राफ़ के बारे में उतनी जानकारी का लाभ नहीं लगता जितना वे कर सकते थे। दूसरी ओर, …

9 reference-request 

हम जानते हैं और समाधान अवधारणाओं के नेस्टेड वर्गों का एक गुच्छा प्यार करते हैं: पीएन: शुद्ध नैश इक्विलिब्रियम MN: मिश्रित नैश इक्विलिब्रियम CE: सहसंबद्ध संतुलन सीसीई: पाठ्यक्रम सहसंबद्ध संतुलन। इन सेटों के बीच का संबंध है: हम इन समाधान अवधारणाओं में से किसी एक पर अराजकता की कीमत पर …

9 gt.game-theory 

क्या विशिष्ट ज्ञात गुणों के साथ परिमित रेखांकन के उस अस्तित्व (या गैर-अस्तित्व) को दर्शाने वाले कोई ज्ञात परिणाम हैं, जो निश्चित रूप से कुछ जटिलता परिणाम (जैसे P = NP) है? यहां एक पूरी तरह से काल्पनिक परिणाम है: यदि एक परिमित ग्राफ ए, बी, सी और डी के …

9 cc.complexity-theory