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

MCTS / UCT एक गेम ट्री सर्च मेथड है जिसका पता लगाने के लिए आशाजनक नोड्स का चयन करने के लिए एक बैंडिट एल्गोरिथ्म का उपयोग किया जाता है। खेलों को बेतरतीब ढंग से पूरा करने के लिए खेला जाता है और अधिक जीत के लिए नोड्स को अधिक जोर …

10 optimization  ai.artificial-intel  board-games 

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

10 ds.algorithms  graph-algorithms  graph-isomorphism 

कट का मानदंड वास्तविक गणित of में सभी पर अधिकतम है। मात्रा का।||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| दो मैट्रिक्स और बीच की दूरी को परिभाषित करेंAAABBBdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C मीट्रिक स्पेस के सबसे छोटे -net क्या है?ϵϵ\epsilon([0,1]n×n,dC)([0,1]n×n,dC)([0,1]^{n\times n}, d_C) अर्थात …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

मैं लेस वैलेंट के सेमिनल पेपर से गुजर रहा था और मेरे पास पेपर के पेज 10 पर प्रपोजल 4.3 के साथ एक कठिन समय था। मैं नहीं देख सकते हैं कारण है कि यह मामला है कि अगर वहाँ के लिए कुछ खास मूल्यों के साथ एक जनरेटर है …

10 ds.algorithms  counting-complexity  survey 

मशीन लर्निंग क्लासिफायर सबसे समानांतर हैं? यदि आपके पास एक कठिन वर्गीकरण समस्या, सीमित समय है, लेकिन कंप्यूटर के एक सभ्य लैन के साथ काम करने के लिए, तो आप किस कक्षा में प्रयास करेंगे? हाथ से ऐसा लग रहा है कि मुझे कुछ मानक क्लासिफायर के बारे में पता …

10 lg.learning  machine-learning  dc.parallel-comp 

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

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

वेरिएबल्स पर एक बूलियन सर्किट (जो नॉट, एंड और गेट्स का उपयोग करता है) को देखते हुए , सर्किट द्वारा प्रस्तुत बूलियन फॉर्मूला निकालने का सबसे कुशल तरीका क्या है? क्या इस समस्या के लिए एक पॉलीटाइम एल्गोरिथ्म है?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

मेरे पास निम्न टाइप्ड थ्योरी है |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) सभी शर्तों के समीकरणों के साथ: f : A -> …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

में इस सवाल है, यह उल्लेख किया गया था चावल की प्रमेय के वर्णनात्मक जटिलता संस्करणों रहे हैं। मुझे निम्नलिखित प्रमेय का प्रमाण मिला: एक जटिलता वर्ग को देखते हुए सी , में भाषाओं के nontrivial गुण सी में नहीं की जा सकती सी मैंने पहले पाया गया सबूत पोस्ट …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

यह प्रश्न अंतिम वर्ष के उच्च विद्यालय के विद्यार्थियों के लिए प्रेरणादायी बातचीत के समान है । मेरी पीएच.डी. सलाहकार ने मुझे नए M.Sc. के लिए एक प्रेरणादायक बात देने के लिए कहा छात्रों। विषय क्रिप्टोग्राफी की नींव है , जो गोदरेज की पुस्तक द्वारा सबसे अच्छी तरह से चित्रित …

10 reference-request  soft-question  cr.crypto-security  teaching 

मैंने निम्नलिखित डेटा संरचनाओं के बारे में थोड़ा पढ़ा है: Bagwell के आदर्श हैश की कोशिश करता है लार्सन की डायनामिक हैश टेबल लाल-काले पेड़ पेट्रीसिया के पेड़ ... और मुझे यकीन है कि वहाँ बहुत सारे लोग हैं। मैंने इस बारे में बहुत कम देखा है कि प्रत्येक व्यक्ति …

10 ds.data-structures  functional-programming  tree  hash-function 

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

10 semantics  topology  denotational-semantics  domain-theory  metrics 

मैं आटोमोटिव में नियमित अभिव्यक्ति को बदलने के लिए एल्गोरिदम का एक वर्गीकरण तैयार करने की कोशिश कर रहा हूं ताकि विशिष्ट डोमेन में उनकी जटिलता गुणों के कुछ अनुभवजन्य परीक्षण किए जा सकें। मुझे 'बड़े' नामों में से कई के बारे में पता है, जैसे, थॉम्पसन "रेगुलर एक्सप्रेशन सर्च …

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

बता दें कि एक जड़ वाला बाइनरी ट्री है। टी की जड़ से पत्ती तक के प्रत्येक पथ की लंबाई n है । टी के प्रत्येक नोड में हमेशा एक बाएं और दाएं बच्चे का नोड होता है लेकिन यह संभव है कि वे एक ही हों (इसलिए हमेशा 2 …

10 graph-theory  tree 

समय पदानुक्रम के बारे में पिछले प्रश्न में, मैंने सीखा है कि दो वर्गों के बीच समानता को और अधिक जटिल वर्गों के लिए प्रचारित किया जा सकता है और असमानताओं को कम जटिल कक्षाओं में प्रचारित किया जा सकता है, जिसमें पैडिंग का उपयोग करके तर्क दिए गए हैं। …

10 cc.complexity-theory  big-picture