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

पॉलीमैथ परियोजनाओं में एक बड़ा समूह एक खुली समस्या पर काम करता है। इस ढांचे में किस तरह की समस्याएं सबसे अच्छा काम करती हैं? क्या सैद्धांतिक कंप्यूटर विज्ञान में पॉलीमैथ परियोजना के लिए कोई अच्छा उम्मीदवार हैं? क्या कोई बाधाएं हैं जो गणित के अन्य क्षेत्रों की तुलना में …

11 soft-question  open-problem  research-practice 

क्या मार्टिन-लोफ प्रकार का सिद्धांत मूल रूप से impredicative बिना आगमनात्मक निर्माणों का ?PropProp\mathtt{Prop} यदि वे निकट से संबंधित हैं, लेकिन just से अधिक अंतर हैं, तो वे अंतर क्या हैं?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions 

मैं सोच रहा था कि वर्तमान प्राकृतिक कम्प्यूटेशनल समस्याओं की सूची क्या है जिसके लिए क्वांटम कंप्यूटर का उपयोग करने में कोई जटिलता जटिलता नहीं है। चीजों को शुरू करने के लिए, मुझे लगता है कि संपादित दूरी की गणना एक है जिसके लिए सबसे तेजी से ज्ञात क्वांटम एल्गोरिथम …

11 ds.algorithms  quantum-computing  big-list 

जब मैं अर्ली पार्सिंग को देखता हूं, तो यह बहुत ही सुरुचिपूर्ण लगता है, और मुझे आश्चर्य है कि जीएलआर तकनीक लोकप्रिय क्यों हो जाती है? क्या किसी को पता है कि अर्ली ने यह गलत समझा कि टॉमिता ने जीएलआर बनाया था? प्रदर्शन? इन चर्चाओं पर किसी भी प्रकाशन …

11 parsing 

एक शुद्धता प्रमाण के लिए, मैं के शुद्ध प्रकार सिस्टम (पीटीएस) के लिए कार्यक्रम तुल्यता की एक उपयोगी धारणा की तलाश कर रहा हूं ; पर्याप्त विशिष्ट प्रकार की प्रणालियों के लिए गायब है। मेरा लक्ष्य केवल धारणा का उपयोग करना है, न कि इसकी स्वयं की जांच करना।≅≅\cong यह …

11 pl.programming-languages  type-theory  operational-semantics 

वहाँ कोई ठोस (या के एक समृद्ध स्रोत) के आवेदन के उदाहरण हैं कंप्यूटर विज्ञान में -adic संख्या?ppp

11 survey 

जैसा कि @Marzio ने उल्लेख किया है, निम्नलिखित गेम को सामान्यीकृत भूगोल के रूप में जाना जाता है । एक ग्राफ को देखते हुए और एक शुरू करने शिखर वी ∈ वी , खेल के रूप में निम्नानुसार परिभाषित किया गया है:G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V प्रत्येक मोड़ पर (दो खिलाड़ियों बारी), …

11 graph-theory  graph-algorithms  gt.game-theory 

द्वारा निरूपित में कम से कम बाहर डिग्री जी , और द्वारा δ - ( जी ) में डिग्री के कम से कम।δ+( जी )δ+(G)\delta^+(G)जीGGδ-( जी )δ−(G)\delta^-(G) एक में संबंधित सवाल है, मैं की Ghouila-Houri विस्तार उल्लेख किया है Hamiltonian चक्र पर डिराक की प्रमेय है, जो पता चलता है …

11 reference-request  graph-theory 

क्या राज्यों के साथ 2DFA है (जहाँ n n n n nrivrivial है, कम से कम 4 कहें) जिसे किसी DFA का उपयोग करके अनुकरण करने के लिए कम से कम 2 n राज्यों की आवश्यकता है ?nnnnnn2n2n2^n एक दो-तरफा DFA (2DFA) एक नियत परिमित-राज्य ऑटोमेटोन है जिसे परिमित-राज्य ऑटोमेटा …

11 automata-theory  lower-bounds 

एन-क्वीन समस्या यह है: इनपुट: एन आउटपुट: NXN शतरंजबोर्ड पर N "क्वीन्स" का प्लेसमेंट ऐसा है कि कोई भी दो रानियां एक ही पंक्ति, कॉलम या विकर्ण पर न हों। इस पर एक Google खोज करते हुए, मैंने पाया कि कई प्रोफेसरों द्वारा कई स्लाइड्स का दावा है कि यह …

11 cc.complexity-theory  np-hardness  csp 

पुस्तक Topological ग्राफ़ थ्योरी सकल और टकर द्वारा, किसी दिए गए के अनुसार सेलुलर एम्बेडिंग एक सतह पर एक ग्राफ की ( 'सतह' से मैं यहाँ कुछ के साथ एक क्षेत्र मतलब हैंडल, और नीचे एस एन के साथ वास्तव में क्षेत्र को संदर्भित करता है n संभालता है), कोई …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

मैं एक कम्प्यूटेशनल न्यूरोसाइंस लैब में काम करता हूं जो जोड़े या न्यूरॉन्स के समूहों के बीच आपसी जानकारी को निर्धारित करता है। हाल ही में, बॉस ने "तंत्रिका गतिशीलता की जटिलता" को मापने के लिए अपना ध्यान केंद्रित किया। अनुसंधान की उस पंक्ति को आगे बढ़ाने में, मेरे समूह …

11 cc.complexity-theory  it.information-theory 

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

11 ds.algorithms  big-list  approximation-algorithms 

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

11 cc.complexity-theory  np-hardness  terminology  reductions 

मैं एसएटी भिन्नता में दिलचस्पी रखता हूं जहां सीएनएफ फॉर्मूला मोनोटोन है (कोई चर नकारात्मक नहीं हैं)। ऐसा सूत्र स्पष्ट रूप से संतोषजनक है। लेकिन कहते हैं कि सच्चे चर की संख्या इस बात का माप है कि हमारा समाधान कितना अच्छा है। तो हम निम्नलिखित समस्या है: मिनिमम ट्रायल …

11 cc.complexity-theory  np-hardness  sat