parameterized-complexity पर टैग किए गए जवाब

ट्रीविदथ और पाथवे लोकप्रिय पैरामीटर हैं, क्रमशः एक ग्राफ को पेड़ या पथ की निकटता को मापते हैं। वास्तव में, ऐसा लगता है कि ट्रेविद इतना लोकप्रिय है कि यह कई पत्रों, पुस्तकों, और व्याख्यान नोट्स में चित्रित किया गया है जो ट्रेविद के एल्गोरिदमिक पहलुओं (यहां तक ​​कि डाउनी …

13 reference-request  graph-algorithms  parameterized-complexity 

वजनबाइनरी स्ट्रिंग स्ट्रिंग में लोगों की संख्या है। यदि हम कुछ लोगों के साथ इनपुट पर एक मोनोटोन फ़ंक्शन की गणना करने में रुचि रखते हैं तो क्या होगा?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n हम जानते हैं कि यदि एक ग्राफ में -clique है, तो मोनोटोन सर्किट के …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Let एक 2CNF सूत्र और एक nonnegative पूर्णांक होना चाहिए। यह इस में साबित हो जाता है कागज कि निर्णय लेने से एक अधिक से अधिक नष्ट कर सकते हैं कि क्या की समस्या खंड बनाने के लिए satisfable, है तय पैरामीटर विनयशील, जहां पैरामीटर है। मेरा सवाल यह है …

12 parameterized-complexity  csp  fixed-parameter-tractable 

चलो और द्वारा निरूपित जी k सभी रेखांकन कि जीनस की सतह पर एम्बेड किया जा सकता का सेट कश्मीर ऐसा है कि सभी कोने बाहरी चेहरे पर स्थित हैं । उदाहरण के लिए, G 0 बाहरीप्लान रेखांकन का समुच्चय है। में रेखांकन के treewidth कर सकते हैं जी कश्मीर …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

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

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

क्या आप समस्याओं को जानते हैं, जो कि W [1] हैं- यहां तक ​​कि बाध्य डिग्री ग्राफ के लिए भी? मीट्रिक आयाम अधिकतम 3 पर डिग्री वाले ग्राफ़ पर कठिन है, लेकिन यह डब्ल्यू [2] -हार्ड है। रेड-ब्लू नॉनब्लॉकर बाउंड डिग्री ग्राफ पर डब्ल्यू [1] -हार्ड हुआ करता था, लेकिन …

11 reference-request  parameterized-complexity 

पैराट्राइज्ड जटिलता में लोग डब्ल्यू [टी] -हार्डनेस साबित करने के लिए फिक्स्ड-पैरामीटर-ट्रैक्टेबल (एफपीटी) कटौती का उपयोग करते हैं। सैद्धांतिक रूप से एक एफपीटी-कमी एक बहुपद-समय की कमी नहीं है, क्योंकि यह पैरामीटर कश्मीर में तेजी से चल सकता है। लेकिन व्यवहार में सभी एफपीटी-कटौती मैंने देखी हैं पी-टाइम में कटौती, …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

मान लीजिए कुछ वर्णमाला के संबंध में एक पैरामिट्रीकृत भाषा है Σ । कश्मीर की -slice एल है एल कश्मीर = एल ∩ { ( एक्स , कश्मीर ) | एक्स ∈ Σ * } , में उदाहरणों के सेट एल जो पैरामीटर कश्मीर । जटिलता वर्ग एक्स पी parameterized …

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

एनपी-पूर्णता ( वजन प्रश्न और निर्देशित प्रश्न देखें ) के संबंध में समकक्ष प्रश्नों के बाद , मैं सोच रहा था कि इन विशेषताओं के साथ पैरामीटरकृत समस्याएं कैसे प्रभावित होती हैं। कौन सा -हार्ड ग्राफ समस्याएं हैं डब्ल्यू [ 1 ] निर्देशित रेखांकन पर हार्ड, लेकिन अनिर्दिष्ट रेखांकन पर …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

K-FLIP SAT पैराट्राइज्ड समस्या को निम्नानुसार परिभाषित किया गया है: इनपुट: एक 3-CNF फॉर्मूलाφφ\varphi साथ में nnn चर और एक सच काम σ: [ एन ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} पैरामीटर: कkk प्रश्न: क्या हम असाइनमेंट को बदल सकते हैंσσ\sigma एक तृप्ति कार्य में …

10 parameterized-complexity  fixed-parameter-tractable 

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

9 soft-question  parameterized-complexity 

चलो एफFF का परिवार हो घddएक परिमित ब्रह्मांड के -Smentment सबसेट यूUUवस्तुओं की। एक परिवारएचHH का कkk-सीमेंट के सबसेट यूUU, साथ में 1 ≤ कश्मीर &lt; घ1≤k&lt;d1 \le k < d, एक है ( के , डी)(k,d)(k,d)- मार-सेट कीएफFF अगर प्रत्येक के लिए वी∈ एफV∈FV \in F कम से कम …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

एक पिछले प्रश्न में , पैमाइश के लिए पैरामीट्रिज्ड अल्गोरिदम फॉर बिचैलिक्स , मैंने पूछताछ की कि क्या कोई खोजने के लिए तेज पैरामीरिज्ड एल्गोरिदम थेk×kk×kk\times kएक में -Biclique nnn वर्टेक्स ग्राफ और पता चला कि यह FPT wrt था तो यह खुला था kkk। गिनती के लिए भी यही …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity