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

से मूल्यांकन रणनीति विकिपीडिया पर लेख: लैम्ब्डा कैलकुलस में कमी की रणनीति की धारणा समान है लेकिन अलग है। से कमी रणनीति विकिपीडिया पर लेख: यह समान है, लेकिन कंप्यूटर विज्ञान में मूल्यांकन रणनीति की धारणा से बिल्कुल अलग है। मूल्यांकन रणनीतियों और कटौती रणनीतियों के बीच सूक्ष्म अंतर क्या …

10 pl.programming-languages  lambda-calculus  semantics 

निम्नलिखित समस्या पर विचार करें: मैट्रिक्स को देखते हुए हम गणना के लिए गुणा एल्गोरिथ्म में परिवर्धन की संख्या को अनुकूलित करना चाहते हैं ।वी ↦ एम वीमMMv ↦ एमvv↦Mvv \mapsto Mv मैट्रिक्स गुणन की जटिलता के साथ इसके संबंधों के कारण मुझे यह समस्या दिलचस्प लगती है (यह समस्या …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

बता दें n कोने और m किनारों जी = ( वी, ई)G=(V,E)G=(V,E)पर एक सरल अप्रत्यक्ष ग्राफ है ।nnnमmm मैं विल्सन के एल्गोरिथ्म के एक यादृच्छिक फैले हुए पेड़ को उत्पन्न करने के लिए अपेक्षित समय निर्धारित करने की कोशिश कर रहा हूं । वहाँ, यह होना दिखाया गया है हे …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

इंटरेक्शन कॉम्बिनेटरों को पहले λ-पथरी के लिए एक संकलन लक्ष्य के रूप में प्रस्तावित किया गया है । यह पेपर पूर्ण λ-पथरी को लागू करता है। यह भी ज्ञात है कि λ-पथ के सबसेट के लिए λ-पथ के अंतःक्रिया-शुद्ध एनकोडिंग को अनुकूलित करना संभव है जो कि EAL- टाइप करने …

10 lambda-calculus  functional-programming  interaction-nets 

निम्नलिखित λ-टर्म, यहाँ सामान्य रूप में: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) चर्च-एन्कोडेड सूचियों के लिए एक छँटाई एल्गोरिथ्म लागू करता है। इसका परिणाम यह है कि: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 n)))) …

10 lo.logic  lambda-calculus  type-systems 

Borsuk-ऊलाम प्रमेय का कहना है कि हर निरंतर अजीब समारोह के लिए है कि एक n क्षेत्र से इयूक्लिडियन एन-अंतरिक्ष में, वहाँ एक बिंदु है ऐसी है कि ।gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 सीमन्स एंड सू (2002) ने टकर के लेम्मा का उपयोग करके बिंदु को अनुमानित करने के लिए एक विधि का वर्णन …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

बता दें कि रेखांकन का एक वंशानुगत वर्ग है। (वंशानुगत प्रेरित subgraphs लेने के संबंध में बंद कर दिया =।) Let क्यू एन के सेट को निरूपित n में -vertex रेखांकन क्यू । हमें का कहना है कि चलो क्यू शामिल लगभग सभी सभी के अंश हैं, रेखांकन n -vertex …

10 graph-theory 

पर http://www.dharwadker.org/tevet/isomorphism/ , वहाँ का निर्धारण करता है, तो दो रेखांकन isomorphic हैं के लिए एक एल्गोरिथ्म की एक प्रस्तुति है। ए धारवाड़कर के "दिलचस्प" दावों को देखते हुए, हम यह मानने के इच्छुक नहीं हैं। मेरी जांच में, मुझे पता चलता है कि एल्गोरिथम निश्चित रूप से सही उत्तर …

10 graph-isomorphism 

एक नंबर दिया जाए। निम्नलिखित भाषा पर विचार करें L n = {nnn ।एलn= {डब्ल्यू डब्ल्यू|डब्ल्यू ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} शब्दों में, लंबाई 2 n के कॉपी स्ट्रिंग का सेट है ।एलnLnL_n2 एन2n2n पर विचार करें …

10 fl.formal-languages  automata-theory  grammars  context-free 

मैं सोच रहा हूं कि क्या बाइनरी निर्णय पेड़ों (बीडीटी) के लिए एक "सामान्य रूप" देने का कोई तरीका हो सकता है। अधिक सटीक: एक बीडीटी एक पेड़ है जिसका आंतरिक नोड बूलियन चर द्वारा लेबल किया जाता है और या द्वारा लेबल किया जाता है । एक BDT स्पष्ट …

10 cc.complexity-theory  decision-trees 

यह ब्लॉग एक कंप्यूटर का उपयोग करते हुए "एक छोटे से माज़" को उत्पन्न करने की बात करता है। यूएसटी प्राप्त करने के लिए विल्सन के एल्गोरिथ्म का उपयोग करते हुए गणना की जा सकती है , लेकिन मुझे वहां कितने का फार्मूला याद नहीं है। http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike सिद्धांत रूप में …

10 graph-theory  randomized-algorithms  matrices  tree 

यह एक पुराने खुला समस्या एक सीधा-राशि प्रमेय नियतात्मक संचार जटिलता यह है कि के लिए रखती है कि क्या है, चाहे सुलझाने है है एक समस्या के स्वतंत्र उदाहरणों टी बार एक उदाहरण को हल करने की तुलना में कठिन। [FKNN95] ने निम्नलिखित परिणाम दिखाए:tttttt एक नकारात्मक परिणाम: वहाँ …

10 cc.complexity-theory  communication-complexity 

दो तत्वों और h पर n तत्वों को देखते हुए (अर्थात, S n के सदस्य ), g , h द्वारा उत्पन्न उपसमूह के क्रम की गणना करने की जटिलता क्या है ? या सिर्फ यह तय करने के लिए कि उपसमूह क्रम n का है या नहीं ! (यानी, एस …

10 cc.complexity-theory  algebra  gr.group-theory 

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

10 derandomization  polynomials 

निम्नलिखित समस्या की जटिलता क्या है ( ? पी एनपी मुश्किल?):∈∈\in इनपुट: एक निर्देशित अचक्रीय ग्राफ , पिछड़े किनारों का एक सेट ई ' ⊂ वी × वी , और दो अलग-अलग नोड्स रों और टी ।डी = ( वी, ई)D=(V,E)D=(V,E)इ'⊂ वी× वीE′⊂V×VE'\subset V\times Vरोंssttt प्रश्न: Let ग्राफ में जोड़कर …

10 graph-algorithms  time-complexity  disjoint-paths