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

3- क्लिक्स विभाजन की समस्या यह निर्धारित करने की समस्या है कि क्या ग्राफ़ के कोने, कहते हैं , को इन समूहों में विभाजित किया जा सकता है। 3-रंगहीनता समस्या से एक सरल कमी से यह समस्या एनपी-हार्ड है। यह देखना मुश्किल नहीं है कि इस समस्या का उत्तर आसान …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

EDIT (तारा बी द्वारा): मुझे अभी भी इस बात के प्रमाण के संदर्भ में दिलचस्पी होगी , क्योंकि मुझे इसे स्वयं अपने कागज के लिए साबित करना था। मैं इस पेपर में दिखाई देने वाले प्रमेय 4 के प्रमाण की तलाश कर रहा हूँ: लियू और वेनेर द्वारा प्रसंग-मुक्त भाषाओं …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

क्वांटम गेट्स एक सीमित सेट को देखते हुए , क्या यह निर्णायक है (गणना सिद्धांत रूप में) जी एक सार्वभौमिक गेट सेट है? एक तरफ, "लगभग सभी" गेट सेट सार्वभौमिक हैं, दूसरे पर, गैर-सार्वभौमिक गेट सेट अभी भी अच्छी तरह से समझ में नहीं आते हैं (विशेष रूप से, निश्चित …

11 quantum-computing 

मैं धीरे-धीरे वंश एल्गोरिथ्म से परिचित हूं जो किसी दिए गए फ़ंक्शन का स्थानीय न्यूनतम (अधिकतम) पा सकता है। क्या ग्रेडिएंट डिसेंट का कोई संशोधन है जो पूर्ण न्यूनतम (अधिकतम) खोजने की अनुमति देता है, जहां फ़ंक्शन में कई स्थानीय एक्स्ट्रेमा हैं? क्या कोई सामान्य तकनीक है, कैसे एक एल्गोरिथ्म …

11 ds.algorithms  approximation-algorithms  machine-learning 

मैंने हाल ही में अपना मास्टर्स कोर्स शुरू किया है। अंतिम सेमेस्टर मैंने विभिन्न विषयों जैसे नेटवर्क, सॉफ्टवेयर इंजीनियरिंग, आर्किटेक्चर, आदि से पाठ्यक्रम लिया। हाल ही में, एल्गोरिदम और डेटा संरचनाओं में उन्नत कोर्स लेने के बाद मुझे लगता है कि मुझे एक कोर्स मिला, जिसमें मुझे सबसे ज्यादा दिलचस्पी …

11 soft-question  career 

जैसा कि मैं समझता हूं, कंप्यूटर विज्ञान में डेटा प्रकार रसेल के विरोधाभास जैसी चीजों के कारण सेट सिद्धांत पर आधारित नहीं हैं, लेकिन जैसा कि वास्तविक विश्व प्रोग्रामिंग भाषाओं में हम ऐसे जटिल डेटा प्रकारों को व्यक्त नहीं कर सकते हैं जैसे "सेट जिसमें स्वयं शामिल नहीं है", क्या …

11 type-theory  set-theory  type-systems 

कैलकुलस के बजाय -calculus को बीजगणित कहने का अंतर क्या है ? मैं यह सवाल इसलिए उठाता हूं क्योंकि मैंने कहीं पढ़ा है कि " λ -calculus पथरी नहीं बल्कि एक बीजगणित है" (iirc, Dana Scott के लिए जिम्मेदार)। मुद्दा क्या है? धन्यवाद।λλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

m=o(n2)m=o(n2)m = o(n^2) किनारों के साथ एक भारित अप्रत्यक्ष ग्राफ को देखते हुए , मैं किसी भी दिए गए जोड़े के बीच 2 से कम सन्निकटन की दूरी की गणना करना चाहूंगा। बेशक, मैं subquadratic स्पेस और sublinear क्वेरी समय का उपयोग करना चाहूंगा। मुझे Zwick के परिणाम के बारे …

11 ds.algorithms  graph-algorithms 

में वितरित संस्करण नियंत्रण प्रणाली (जैसे एक मर्क्युरियल और Git ) कुशलता से निर्देशित तुलना अचक्रीय रेखांकन (DAGs) करने की जरूरत है। मैं एक मर्क्यूरियल डेवलपर हूं, और हम दो डीएजी की तुलना करने के समय और नेटवर्क-जटिलता की चर्चा करने वाले सैद्धांतिक काम के बारे में सुनने में बहुत …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

चलो पूर्णांकों का एक दृश्य हो, जहां प्रत्येक एक j ∈ { 1 , 2 , ... , n } । के लिए मैं ∈ { 1 , 2 , ... , n } , चलो मीटर मैं = | { j : a j = i } | । …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

निम्नलिखित अभ्यास छात्रों को सौंपा गया है जिनकी मैं देखरेख करता हूं: प्लेन में पॉइंट्स को देखते हुए , एक एल्गोरिथ्म तैयार करें, जो उन सभी पॉइंट्स को जोड़े जो सभी पॉइंट्स के बीच कम से कम दूरी पर हों। एल्गोरिथ्म समय में चलना चाहिए ।o ( n 2 )nnnओ …

11 ds.data-structures  cg.comp-geom 

मान लीजिए कि हमें एक semigroup है के साथ तत्वों एस = { s 1 , एस 2 , ... , एस एन } । हमारा लक्ष्य गणना उत्पादों के लिए है रों मैं ∘ रों मैं + 1 ∘ ⋯ ∘ रों जे ।( S), ∘ )(एस,∘)(S,\circ)एस= { स1, …

11 cc.complexity-theory  graph-theory  ds.data-structures 

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

11 reference-request  cg.comp-geom 

यह सवाल हाल ही में जेनोमा के एक सवाल से संबंधित है । पृष्ठभूमि बाधा प्रोग्रामिंग में, एक नियमित रूप से वैश्विक बाधा एक डोमेन पर एक जोड़ी है के साथ चर का एक टपल (गुंजाइश) और एक DFA डोमेन पर । एक काम को संतुष्ट अगर स्ट्रिंग को स्वीकार …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

मुझे लगता है कि इसे # पी-स्पेस कहा जाएगा लेकिन मैंने केवल एक लेख का उल्लेख किया है। कैसे EXP-TIME- कम्प्लीट, NEXP- कम्प्लीट और साथ ही EXP-SPACE- कम्प्लीट समस्याओं के काउंटिंग वर्जन के बारे में? क्या कोई पिछला काम है जो इस संबंध में या टोडा के प्रमेय की तरह …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace