reference-request पर टैग किए गए जवाब

सीएमएसओएल मोनाडिक सेकंड ऑर्डर लॉजिक की गिनती कर रहा है, यानी ग्राफ़ का एक तर्क जहां डोमेन वर्टीकल और किनारों का सेट है, वहाँ वर्टेक्स-वर्टेक्स आसन्नता और एज-वर्टेक्स घटना के लिए विधेय हैं, किनारों, वर्टीकल, एज सेट्स और वर्टेक्स की मात्रा का ठहराव है। सेट, और एक विधेय जो व्यक्त …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

मैंने यह सवाल कुछ हफ्ते पहले mathoverflow में पूछा था , लेकिन मुझे कोई जवाब नहीं मिला। इधर, sidelength की 3 डी ग्रिड द्वारा मैं ग्राफ मतलब के साथ वी = \ {1 \ ldots, कश्मीर \} ^ 3 और ई = \ {((क, ख, ग), ( x, y, z)) …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

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

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

एक समान रूप से यादृच्छिक समाधान वापस करने वाले एल्गोरिथम द्वारा प्राप्त किए गए सर्वश्रेष्ठ ज्ञात सन्निकटन अनुपात के साथ क्या समस्याएं हैं? मैं के लिए क्रमचय प्रवाह दुकान समस्या एक उदाहरण जानते : कागज "में क्रमपरिवर्तन फ्लो दुकान निर्धारण के लिए तंग सीमा विश्वनाथ नागराजन और मैक्सिम Sviridenko" साबित …

12 ds.algorithms  reference-request  approximation-algorithms 

मुझे हाल ही में क्ले मैथेमेटिक्स इंस्टीट्यूट में स्टीफन ए। कुक द्वारा बताई गई बनाम N P समस्या के बारे में याद दिलाया गया था ।PP\mathsf{P}NPNP\mathsf{NP} इसने मेरी रुचि को बढ़ाया है और मैं इसके बारे में अधिक जानना चाहूंगा। पहला कदम समस्या की गहरी समझ और सामान्य रूप से …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

मैं इस समस्या के लिए एक नाम या किसी संदर्भ की तलाश कर रहा हूं। एक भारित ग्राफ को देखते हुए अप करने के लिए में कोने की एक विभाजन को खोजने n = | वी | सेट एस 1 , ... , एस एन इतनी के रूप में कटौती …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

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

12 reference-request  soft-question 

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?NP∩coAMNP∩coAMNP\cap coAM अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

कम से कम एक सर्किट से अधिक पेड़-चौड़ाई क्या है {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} कंप्यूटिंग मेजर के लिए? यहाँ MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} आउटपुट 1 iff कम से कम आधे इनपुट 111 । मुझे केवल सर्किट के आकार की परवाह है (बहुपद होना चाहिए) और यह कि एक इनपुट को केवल एक बार …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

मैंने सरल लैम्ब्डा कैलकुलस के लिए वंशानुगत प्रतिस्थापन के बारे में पढ़ा है और विभिन्न नियमों और प्रकारों के साथ तार्किक फ्रेमवर्क के लिए । मैं सोच रहा हूं, क्या ब्रह्मांड के पदानुक्रम के साथ एक भरोसेमंद रूप से टाइप किए गए सिस्टम में वंशानुगत प्रतिस्थापन के कोई उदाहरण हैं? …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

मुझे क्लासिक समस्या REGANGAR LANGUAGE INCLUSION में दिलचस्पी है। एक नियमित अभिव्यक्ति को देखते हुए , हम एल ( ई ) से जुड़ी नियमित भाषा से निरूपित करते हैं। (रेगुलर एक्सप्रेशन एक निश्चित वर्णमाला पर हैं Σ संचालन संघ, क्लीन-स्टार और संयोजन के साथ,।)इEEएल ( ई)L(E)L(E)ΣΣ\Sigma इनपुट: दो नियमित अभिव्यक्ति …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

मोनाडिक फर्स्ट ऑर्डर लॉजिक, जिसे मोनाडिक क्लास ऑफ़ द डिसिजन प्रॉब्लम के रूप में भी जाना जाता है, जहां सभी विधेय एक तर्क लेते हैं। यह एकरमैन द्वारा निर्णायक होने के लिए दिखाया गया था, और NEXPTIME- पूर्ण है । हालांकि, सैट और एसएमटी जैसी समस्याओं को सैद्धांतिक सीमा के …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

मेरे पास बाइनरी वैक्टर S = { s 1 , … , s n } ⊆ { 0 , 1 } k and { 1 k } और एक लक्ष्य वेक्टर t = 1 k है, जो सर्व-सदिश वेक्टर है।nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = …

11 reference-request  linear-algebra  finite-fields 

बता दें कि एक भाषा है और दो गुणों पर एक फंक्शन है जिसमें संपत्ति के साथ सभी और , एक तत्व देता है। यदि केवल और यदि और दोनों तत्व हैं :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