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

इसलिए, वेब पर एक त्वरित खोज ने मुझे विश्वास दिलाया कि "APXHardness का अर्थ है कि कोई QPTAS समस्या के लिए मौजूद नहीं है जब तक कि [कुछ जटिलता वर्ग] कुछ [अन्य जटिलता वर्ग] में शामिल नहीं है" और यह अच्छी तरह से ज्ञात भी है! ऐसा लगता है जैसे …

12 cc.complexity-theory  reference-request 

क्या एन पीएन पी∩सी ओ एन पी= एन पीएनपीएनपी∩सीओएनपी=एनपी\mathsf{NP^{NP \,\cap\, coNP}=NP}पकड़? जाहिर एन पीएन पी≠ एन पीएनपीएनपी≠एनपी\mathsf{NP^{NP}\neq NP} , लेकिन मुझे लगता है कि एन पी ∩ सी ओ एन पीएनपी∩सीओएनपी\mathsf{NP\cap coNP} जो बनाता है मुझे विश्वास है कि यह सच है "नियतात्मक" है। क्या कोई सरल प्रमाण है (या …

12 cc.complexity-theory  complexity-classes  oracles 

एक पर विचार करें nnn आयामी वेक्टर vvv जहां vi∈{0,1}vi∈{0,1}v_i \in \{0,1\} । प्रत्येक iii हम जानते हैं कि pi=P(vi=1)pi=P(vi=1)p_i = P(v_i = 1) और हमें मान लें viviv_i स्वतंत्र हैं। इन संभावनाओं का उपयोग करना, वहाँ द्विआधारी पर पुनरावृति करने के लिए एक कारगर तरीका है nnn आयामी वैक्टर …

12 ds.algorithms  space-bounded 

डाइक भाषाएँ को निम्नलिखित व्याकरण के सेट पर । सहज रूप से डाइक भाषाएँ विभिन्न प्रकार के के संतुलित कोष्ठक की भाषाएँ हैं । उदाहरण के लिए, में है लेकिन नहीं है।S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , ... , ( कश्मीर , ) 1 , ... , ) कश्मीर …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

TCS में एक बड़ी समस्या स्थायी को निर्धारक के रूप में व्यक्त करने की समस्या है। मैं अग्रवाल का पेपर निर्धारक वर्सेज परमानेंट पढ़ रहा था और एक पैराग्राफ में वह दावा करता है कि रिवर्स समस्या आसान है। यह देखने के लिए कि एक मैट्रिक्स के निर्धारक आसान है …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

जॉनसन-लिंडेनस्ट्रस लेम्मा एक को उच्च आयाम वाले स्थान में कम आयाम में बिंदुओं का प्रतिनिधित्व करने की अनुमति देता है। जब सबसे अच्छा फिट के निचले आयामी रिक्त स्थान की खोज करते हैं, तो एक मानक तकनीक एकवचन मूल्य अपघटन को खोजने के लिए होती है और फिर सबसे बड़े …

12 machine-learning 

कंटिन्यूअस लैटिसेस एंड डोमेन्स में "बीजीय पोजिट" की परिभाषा, परिभाषा I-4.2, कहती है कि, सभी के लिएx∈Lx∈Lx \in L सेट एक निर्देशित सेट होना चाहिए, औरA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) । यहाँ एक poset है, के कॉम्पैक्ट तत्वों के सेट है , …

12 domain-theory 

एक ग्राफ़ प्रॉपर्टी को वंशानुगत कहा जाता है, अगर यह वर्टिस को हटाने के संबंध में बंद हो जाती है (यानी, सभी प्रेरित सबग्राफ संपत्ति का वारिस करते हैं)। यदि असमान यूनियनों को लेने के संबंध में इसे बंद कर दिया जाता है, तो एक ग्राफ संपत्ति को एडिटिव कहा …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

मैंने प्रसिद्ध कॉमो 90 में फ्रीड के पेपर "बीजगणितीय पूर्ण श्रेणियाँ" को पढ़ा और मेरे पास उस पेपर में परिभाषित बीजीय कॉम्पैक्टनेस की धारणा के बारे में दो प्रश्न हैं। (यदि आप परिभाषा से परिचित नहीं हैं, तो यह यहां है: एक श्रेणी को बीजगणितीय रूप से कॉम्पैक्ट कहा जाता …

12 reference-request  type-theory  ct.category-theory 

मैं निम्नलिखित एल्गोरिथ्म / समस्या के लिए ग्रंथ सूची के संदर्भों की तलाश कर रहा हूं: मैंने इसे "BiSelect" या "t-ary Select" या "Union of Sorted Arrays" का नाम दिया है, लेकिन मुझे लगता है कि इसे किसी अन्य नाम से पहले पेश किया गया था? संकट निम्नलिखित समस्या पर …

12 reference-request 

उदाहरण: एक अप्रत्यक्ष ग्राफ जिसमें दो प्रतिष्ठित कोने और एक पूर्णांक ।एस ≠ टी के ≥ 2जीGGs ≠ ts≠ts\neq tके ≥ २k≥2k\geq 2 प्रश्न: वहाँ एक मौजूद है में पथ , इस तरह के ज्यादा से ज्यादा पथ छूता है कि कोने? (यदि मार्ग या तो मार्ग पर है, या …

12 cc.complexity-theory  graph-theory  graph-algorithms 

से कार्यों की वृद्धि दर की तुलना की निर्णायकता की ज्ञात सीमाएँ क्या हैं ? मैं यहाँ " जैसे प्रश्नों की निर्णायकता के बारे में सोच रहा हूँ ?" या " ?"।एन → एनN→N\mathbb{N} \to \mathbb{N}एक्सएक्स∼ २G x lg( x + 2 ) ⌋एक्सएक्स~2⌊एक्सएलजी⁡(एक्स+2)⌋x^x \sim 2^{\lfloor x \lg (x+2) \rfloor}2एलजी*एक्सG …

12 decidability  asymptotics 

मैं समझने की कोशिश कर रहा हूं कि निम्न समस्या किस जटिलता वर्ग की है: बहुपद मूल समस्या (EPRP) बता दें कि एक बहुपद के साथ जिसमें एक परिमित क्षेत्र से गुणांक के साथ एक प्रमुख संख्या है, और उस क्षेत्र के लिए एक आदिम मूल है। के समाधान को …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

मेरे पहले पोस्ट किए गए प्रश्न के समान । हालांकि, इस बार ग्राफ अप्रत्यक्ष है। दिया हुआ एक अप्रत्यक्ष ग्राफ़ जिसमें कोई एकाधिक-किनारे या छोर नहीं हैं,GGG एक सूत्र शिखर ,sss एक लक्ष्य शीर्ष ,ttt अधिकतम पथ लंबाई ,lll मैं देख रहा हूँ का एक subgraph - है कि किसी …

12 ds.algorithms  graph-algorithms  shortest-path 

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

12 cc.complexity-theory  lo.logic  proof-complexity