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

चेरनॉफ़-प्रकार की असमानताओं का उपयोग यह दिखाने के लिए किया जाता है कि स्वतंत्र यादृच्छिक चर का एक योग इसके अपेक्षित मूल्य से महत्वपूर्ण रूप से विचलन करता है और अपेक्षित मूल्य और विचलन में तेजी से छोटा होता है। क्या जोड़ीदार स्वतंत्र यादृच्छिक चर के किसी योग के लिए …

13 derandomization  pr.probability  chernoff-bound 

3SAT [ 1 ] के लिए निचली सीमा पर चर्चा के बाद , मैं सोच रहा हूं कि अंतरिक्ष-समय-सीमा के रूप में तैयार किए गए मुख्य निचले बाध्य परिणाम क्या हैं। मैं परिणामों को बाहर कर रहा हूँ जैसे, कहना, सविच की प्रमेय; एक अच्छी प्रविष्टि एक समस्या और इसकी …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

यह एच-फ्री कट समस्या से प्रेरित प्रश्न है । एक ग्राफ को देखते हुए, अपने शिखर सेट के एक विभाजन में आर भागों वी 1 , वी 2 , ... , वी आर है एच -free अगर जी [ वी मैं ] की एक प्रति उत्पन्न नहीं करता है एच …

13 graph-theory  np-hardness  co.combinatorics 

यह सत्यापित करना आसान है कि पूर्णांक बिंदुओं के डायमेंशनल ग्रिड को देखते हुए, नियमित आसन्न के साथ, कोई भी आकार n d - 1 का विभाजक पा सकता है (बस किसी भी मध्य हाइपरप्लेन को चुनें, और सभी को हटा दें इसके कोने)। यह सत्यापित करना भी कठिन नहीं …

13 reference-request  cg.comp-geom  lower-bounds 

सीधे शब्दों में कहें: oracles के साथ ट्यूरिंग मशीनों, और oracles के साथ समान सर्किट परिवारों के बीच क्या पत्राचार है? किसी दिए गए ओरेकल ट्यूरिंग मशीन के लिए समान कम्प्यूटेशनल मॉडल प्राप्त करने के लिए उत्तरार्द्ध को कैसे परिभाषित किया जाता है? यह एक प्रारंभिक प्रश्न हो सकता है, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

पाले का ग्राफ़ होता पी क्ष उन जिसका शिखर-सेट द्वारा दिया जाता है कर रहे हैं परिमित क्षेत्र GF (क्यू), प्रधानमंत्री शक्तियों q≡1 (आधुनिक 4) के लिए, और जहां दो कोने निकट हैं यदि और केवल यदि वे एक से अलग 2 कुछ के लिए a ∈ GF (q)। इस …

13 ds.algorithms  graph-theory 

यह Immerman और Szelepcsényi के लिए धन्यवाद ज्ञात है कि यदि f = Imm ( log ) (यहां तक ​​कि गैर-अंतरिक्ष रचनात्मक कार्यों के लिए भी)।एन एस पी ए सी ई (एफ) = c o N S P A C E ( f))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)च= Ω ( लॉग )f=Ω(log)f=\Omega(\log) एक …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

कुछ वास्तविक दुनिया की समस्याएं क्या हैं जो एक आनुवंशिक एल्गोरिथ्म का उपयोग करके हल की गई हैं? समस्या क्या है? इस समस्या को हल करने के लिए फिटनेस टेस्ट का क्या उपयोग किया जाता है?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

मेरे पास एक डेटासेट है जो 2-डी ग्रिड में व्यवस्थित वस्तुओं की संख्या है। मुझे पता है कि मेरे पास एक सख्त आदेश है, जैसे-जैसे आप प्रत्येक पंक्ति के भीतर बाएं-से-दाएं बढ़ते जाते हैं, और प्रत्येक कॉलम के भीतर ऊपर-से-नीचे बढ़ते जाते हैं। उदाहरण के लिए, १ २ ३ ४ …

13 ds.algorithms  total-ordering  sorting 

मान लें कि हम एक प्रकार की, शुद्ध कार्यात्मक प्रोग्रामिंग भाषा चाहते थे, जैसे हास्केल या इदरिस, जिसका उद्देश्य कचरा संग्रह के बिना सिस्टम प्रोग्रामिंग है और जिसका कोई रनटाइम नहीं है (या कम से कम C और Rust "runtimes" से अधिक नहीं है)। कोई चीज जो नंगे धातु पर, …

13 pl.programming-languages  language-design 

अपनी पुस्तक कम्प्यूटेशनल जटिलता में , पापादिमित्रिउ एफएनपी को निम्नानुसार परिभाषित करता है: मान लीजिए कि एनपी में एक भाषा है । प्रस्‍तावना 9.1 द्वारा, बहुपद-सम्‍मिलित समयानुकूल, बहुपद संतुलित संबंध जो कि सभी तार : साथ एक स्ट्रिंग यदि और केवल यदि । के साथ जुड़े समारोह की समस्या , …

13 complexity 

जटिलता वर्ग पीपीएडी का आविष्कार क्राइस्टोस पापादिमित्रिउ ने 1994 के अपने पत्र में किया था । वर्ग को खोज समस्याओं की जटिलता को पकड़ने के लिए डिज़ाइन किया गया है, जहां एक समाधान के अस्तित्व की गारंटी "निर्देशित ग्राफ़ में समानता तर्क" द्वारा की गई है: यदि एक निर्देशित ग्राफ …

13 cc.complexity-theory  reductions  search-problem  ppad 

अब हम देख सकते हैं कि चर्च के साथ जुड़े थे , बस टाइप लैम्ब्डा पथरी । वास्तव में, ऐसा लगता है कि उन्होंने लैंबडा कैलकुलस के बारे में गलतफहमी को कम करने के लिए सिंपल टाइप्ड लैंबडा कैलकुलस समझाया। अब जब जॉन मैकार्थी ने लिस्प बनाया - उन्होंने इसे …

13 lambda-calculus  term-rewriting-systems  lisp 

ईमानदार होने के लिए, मुझे नहीं पता कि यादृच्छिक संख्या कैसे उत्पन्न होती है (टिप्पणियों का स्वागत है!) के बारे में बहुत कुछ है, लेकिन हम निम्नलिखित सैद्धांतिक मॉडल मानते हैं: हम पूर्णांक को यादृच्छिक रूप से से प्राप्त कर सकते हैं और हमारा लक्ष्य है [1,3] से एक पूर्णांक …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

ट्रीविदथ और पाथवे लोकप्रिय पैरामीटर हैं, क्रमशः एक ग्राफ को पेड़ या पथ की निकटता को मापते हैं। वास्तव में, ऐसा लगता है कि ट्रेविद इतना लोकप्रिय है कि यह कई पत्रों, पुस्तकों, और व्याख्यान नोट्स में चित्रित किया गया है जो ट्रेविद के एल्गोरिदमिक पहलुओं (यहां तक ​​कि डाउनी …

13 reference-request  graph-algorithms  parameterized-complexity