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

एक सम्मेलन पत्र में, किसी समस्या के -completeness को साबित करने के लिए , मैंने बेवकूफी भरा वाक्य लिखा "यह स्पष्ट है कि समस्या N P में है । इसलिए हम यह साबित करेंगे कि यह N P- भार है"। वास्तव में, यह बिल्कुल स्पष्ट नहीं था। यह एक खुली …

11 soft-question  conferences  journals 

पैरामीट्रिक बहुरूपता के मॉडल को देखते हुए, मैं उत्सुक हूं कि रिफ्लेक्टिव ग्राफ श्रेणियों का उपयोग क्यों किया जाता है? विशेष रूप से, वे संबंधपरक रचना को शामिल क्यों नहीं करते हैं? मॉडलों को देखने में, वे सभी संबंधपरक रचना की एक स्वाभाविक धारणा का समर्थन करते हैं: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z …

11 ct.category-theory  parametricity  logical-relations 

इसलिए मैं सोच रहा था कि यदि बहिष्कृत मध्य (LEM) कानून का तात्पर्य मार्टिन-लोफ के डायनामिक टाइप थ्योरी में तथाकथित Axiom K से है। Axiom K में कहा गया है कि वास्तव में, मैं और अधिक सामान्य कथन को साबित करने की कोशिश कर रहा हूं कि लेकिन to to …

11 lo.logic  type-theory  lambda-calculus 

मैं रैखिक तर्क को समझने के लिए रैखिक प्रकार की प्रणालियों को बेहतर ढंग से समझने की कोशिश कर रहा हूं। हालांकि, जब मैं नियमों को पढ़ने, मैं इसके पीछे एक अंतर्ज्ञान प्राप्त करने के लिए असफल के रूप में मैं मोडल तर्क में किया है - का मतलब है …

11 lo.logic  type-theory  linear-logic 

पहले शब्द का उपयोग हिल्बर्ट ने अपने 1928 के काम में किया है, लेकिन गोडेल के बाद के काम में, यही बात Unvollständigkeitssatz ("अपूर्णता प्रमेय") के रूप में संदर्भित की जाती है । आज के जर्मन सीएस शोधकर्ताओं के लिए, ऐसा लगता है कि Unvollständigkeitssatz अधिक सामान्यतः उपयोग किया जाता …

11 lo.logic  computability  ho.history-overview 

निम्नलिखित समस्या पर विचार करें: एक मैट्रिक्स दी , सूचकांक मैं , जे ∈ { 1 , ... , n } और एक पूर्णांक एक । बदलें एम [ मैं , जे ] द्वारा एक और नए मैट्रिक्स फोन एम । है पी ई आर ( एम ) > पीम∈ …

11 permanent 

मैं क्वांटम-कम्प्यूटिंग के बारे में प्रकाशित पुस्तकों, लेखों और पत्रों को पढ़ता हूं। मैंने पाया कि मैंने जो कुछ भी सामग्री देखी है, वह क्वांटम गेट को बुनियादी भौतिकी से अमूर्तता तक वर्णित करने के बजाय, क्वांटम-गेट्स के कार्यान्वयन विवरण के बारे में बात करने से बचने की पूरी कोशिश …

11 physics  quantum-computing 

बता दें कि एक भाषा है और दो गुणों पर एक फंक्शन है जिसमें संपत्ति के साथ सभी और , एक तत्व देता है। यदि केवल और यदि और दोनों तत्व हैं :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . प्रश्न क्या ऐसे कार्यों का साहित्य में कोई …

11 reference-request  fl.formal-languages 

एक antichain एक में DAG एक सबसेट है एक ⊆ वी कोने कि जोड़ो में पहुंचा नहीं जा सकता है, अर्थात्, वहाँ कोई नहीं है के वी ≠ वी ' ∈ एक ऐसी है कि वी से पहुंचा जा सकता है वी ' में ई । से Dilworth की प्रमेय …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

इनपुट: का एक सेट में अंक आर 3 , और एक पूर्णांक कश्मीर ≤ n ।nnnR3R3\mathbb{R}^3k≤nk≤nk \le n आउटपुट: सबसे छोटा वॉल्यूम अक्ष-संरेखित बाउंडिंग बॉक्स जिसमें कम से कम इन n पॉइंट होते हैं।kkknnn मैं सोच रहा था कि क्या कोई एल्गोरिदम इस समस्या के लिए जाना जाता है। सबसे …

11 cg.comp-geom 

क्या एन पीपी पी= पीपी पीNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? या, अधिक आम तौर पर है, एन पीपी पी⊆ पीपी पी/ पीओएलवाईNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes 

आज्ञा देना एक निर्देशित चक्रीय ग्राफ है , और λ एक लेबलिंग फ़ंक्शन है जो प्रत्येक परिमाण v tex V को कुछ परिमित वर्णमाला L में एक लेबल λ ( v ) की मैपिंग करता है । लेखन एन : = | वी | एक संस्थानिक तरह की एक द्विभाजन …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

अतीत में, पत्रिकाओं का मुख्य तरीका था वैज्ञानिक / गणितीय खोजों का प्रसार और वीटो किया गया था। कुछ क्षेत्रों में, वे अभी भी हैं। हालाँकि, (सैद्धांतिक) कंप्यूटर विज्ञान में भूमिका लगभग पूरी तरह से सम्मेलनों और खुले वेब-आधारित प्रसार (जैसे arxiv या व्यक्तिगत होमपेज) द्वारा निभाई जाती है। अभी …

11 soft-question  journals 

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

11 cc.complexity-theory  quantum-information 

मैं विशेष रूप से सबसे शक्तिशाली एक, कंस्ट्रक्शंस के पथरी के साथ, बेंड्रिग्रेट के लैम्ब्डा क्यूब में शुद्ध प्रकार की प्रणालियों के साथ प्रयोग कर रहा हूं। इस प्रणाली के प्रकार *और हैं BOX। केवल रिकॉर्ड के लिए, नीचे मैं Morteउपकरण के कंक्रीट सिंटैक्स का उपयोग कर रहा हूं https://github.com/Gabriel439/Haskell-Morte-Library …

11 type-theory  type-systems  dependent-type