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

कर्ट गोडेल की अपूर्णता प्रमेय "अंकगणित करने में सक्षम सभी तुच्छ स्वयंसिद्ध प्रणालियों की" सभी अंतर्निहित सीमाओं को स्थापित करती है। होमोटॉपी टाइप थ्योरी गणित के लिए एक वैकल्पिक आधार प्रदान करती है, उच्चतर प्रेरक प्रकारों पर आधारित एक असमान नींव और एकरूपता स्वयंसिद्ध है । Hott पुस्तक बताते हैं …

10 lo.logic  type-systems  homotopy-type-theory 

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

10 pl.programming-languages  process-algebra 

क्या कोई अच्छी ग्राफ़ कक्षाएं हैं, जिसके लिए ट्री-चौड़ाई ऊपरी संख्या से जुड़ी है, जो कि क्लिक नंबर एक फ़ंक्शन से जुड़ती है , यानी ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) उदाहरण के लिए, यह एक क्लासिक तथ्य है कि किसी भी कॉर्डल ग्राफ , हमारे पास । तो, कॉर्डल ग्राफ़ से संबंधित कक्षाएं …

10 graph-theory  treewidth 

इस सवाल के बारे में है वहाँ किसी भी ज्ञात प्रतिवर्ती ट्यूरिंग tarpits, कर रहे हैं कि क्या जहां के अर्थ में "प्रतिवर्ती" का अर्थ है एक्सेलसेन और Glück , और "tarpit" एक बहुत अधिक अनौपचारिक अवधारणा है (और शब्द का एक बहुत अच्छा विकल्प नहीं हो सकता है), लेकिन …

10 fl.formal-languages  computability  machine-models 

सर्किट मिनिमलाइज़ेशन किसी दिए गए सर्किट के आकार को कम करने के लिए समस्या है। क्या सामान्य कार्यक्रमों के लिए भी कुछ ऐसा ही है? विशेष रूप से मेरा सवाल है - क्या दिए गए प्रोग्राम के लिए निर्देशों के # को कम करने के लिए एल्गोरिदम मौजूद हैं। मुझे …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

वितरित एल्गोरिदम जो विफलताओं के लिए लचीला हैं या तो निर्धारक या संभाव्य हो सकते हैं। उदाहरण के लिए सर्वसम्मति की समस्या को लें। पैक्सोस इस अर्थ में नियतात्मक है कि जिस धारणा को वह बनाता है, वह हमेशा काम करता है। इसके विपरीत, यादृच्छिक रूप से सर्वसम्मति एक निश्चित …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

हम जानते हैं कि केवल टाइप किए गए लंबो-शब्द की बीटा-समता निर्णायक है। M, N: σ → σ को देखते हुए, क्या यह निर्णायक है कि क्या सभी X के लिए: , MX ? NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

बहुपद-समय एल्गोरिदम को क्रमपरिवर्तन समूहों के उत्पन्न करने वाले समूह को खोजने के लिए जाना जाता है, जो दिलचस्प है क्योंकि हम तब इन समूहों से संबंधित कई दिलचस्प सवालों के जवाब देने के लिए बहुपद-काल के एल्गोरिदम पर ध्यान दिए बिना उन समूहों का प्रतिनिधित्व कर सकते हैं। हालाँकि, …

10 permutations  gr.group-theory 

यह ज्ञात है कि त्रुटि के लिए यादृच्छिक संचार जटिलता की औसत स्थिति परिभाषा और औसत केस परिभाषा बराबर हैं। लेकिन जब त्रुटि , तो सबसे खराब स्थिति यादृच्छिक संचार जटिलता निर्धारक संचार जटिलता के समान होती है।Θ ( 1 )Θ(1)\Theta(1)000 किसी भी फ़ंक्शन को सुपर-निरंतर नियतात्मक संचार जटिलता लेकिन …

10 communication-complexity 

एक नियतात्मक automaton एक = ( एक्स , क्यू , क्यू 0 , एफ , δ )A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) कहा जाता है कश्मीरkk -local के लिए कश्मीर > 0k>0k > 0 हर के लिए अगर डब्ल्यू ∈ एक्स कश्मीरw∈Xkw \in X^k सेट { δ ( …

10 fl.formal-languages  automata-theory  synchronization 

क्या CNF SAT समस्या एनपी कठिन है जब कुल संख्या (लेकिन चौड़ाई नहीं) 3 या अधिक अवधि के क्लॉज एक निरंतरता से ऊपर बंधी है? क्या विशेष रूप से के बारे में जब वहाँ केवल एक ही खंड है?

10 np-hardness  sat  upper-bounds 

एक निर्देशित ग्राफ को देखते हुए, हम यह तय करना चाहते हैं कि इसमें सम लंबाई का एक निर्देशित चक्र शामिल है या नहीं। YUSTER और ZWICK के 1997 के इस पेपर में कहा गया है कि समस्या का पता और न ही इसे -complete के लिए जाना जाता है …

10 cc.complexity-theory  reference-request  graph-theory 

अगर हम यह साबित कर सकते हैं कि , तो क्या इसका मतलब यह है कि ?एल = पीएल=पी\mathsf{L}=\mathsf{P}एन एल = एन पीएनएल=एनपी\mathsf{NL}=\mathsf{NP} मैंने सोचा था कि यह मामला है, लेकिन मैं इसे साबित नहीं कर सकता (ऐलान के लिए भी)।

10 cc.complexity-theory  complexity-classes  nondeterminism 

हम एफएफटी के साथ में प्लस / बहुपद के लिए कन्वेंशन कर सकते हैं। हालांकि, दृष्टिकोण सामान्य रूप से छल्ले के लिए बहुत सामान्य नहीं लगता है। क्या अधिकतम / प्लस रिंग के लिए भोले पर कोई प्रगति हुई है ?ओ ( एन लॉगn )हे(nलॉग⁡n)O(n\log n)ओ ( एन)2)हे(n2)O(n^2) मुझे ध्यान …

10 algebra  polynomials  fft  convolution 

ग्राफ के एक फैले हुए वृक्ष को पूर्णता का पेड़ कहा जाता है यदि इसके पत्तों का सेट मेजबान ग्राफ में एक पूर्ण उपसमूह को प्रेरित करता है। एक ग्राफ को देखते हुए और एक पूर्णांक , निर्णय लेने से अगर की जटिलता क्या है अधिक से अधिक के साथ …

10 cc.complexity-theory  graph-theory  graph-algorithms