cc.complexity-theory पर टैग किए गए जवाब

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

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

एक एल्गोरिथ्म समय में चल रहा यह देखते हुए , हम अधिक से अधिक आकार की एक ही समस्या के लिए एक "तुच्छ" वर्दी सर्किट परिवार में रूपांतरित कर सकते ≈ टी ( एन ) लॉग टी ( एन ) ।t ( n )t(n)t(n)≈ t ( n ) लॉगt ( …

13 cc.complexity-theory  circuit-complexity  uniformity 

मुझे एक निश्चित समय-निर्धारण समस्या के लिए निम्नलिखित विभाजन समस्या में कमी मिली है: इनपुट: गैर-घटते क्रम में सकारात्मक पूर्णांकों की सूची ।a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n प्रश्न: क्या कोई सदिश इस तरह मौजूद है(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} दूसरी शर्त के बिना यह सिर्फ विभाजन है, इसलिए …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

पृष्ठभूमि: निर्णय वृक्ष की जटिलता या क्वेरी जटिलता निम्नानुसार परिभाषित संगणना का एक सरल मॉडल है। चलो एक बूलियन समारोह हो। की नियतात्मक क्वेरी जटिलता , निरूपित किया , इनपुट के टुकड़े की न्यूनतम संख्या है कि जरूरत एक नियतात्मक एल्गोरिथ्म है कि द्वारा पढ़ा जा करने के लिए (बदतर …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

शीर्षक थोड़ा भ्रामक है: लेकिन उम्मीद है कि सवाल यह नहीं है: Gronlund और Pettie के नए परिणाम दिखा रहा है कि 3SUM है केवल निर्णय वृक्ष जटिलता मुझे सोच है:ओ ( एन)3 / 2)O(n3/2)O(n^{3/2}) क्या निर्णय वृक्ष की जटिलता के साथ एक समस्या का एक सरल उदाहरण है लेकिन …

13 cc.complexity-theory  machine-models  decision-trees 

मैं हाल ही में गणना के बीएसएस मॉडल का अध्ययन कर रहा हूं (उदाहरण के लिए जटिलता और वास्तविक संगणना; ब्लम, कुकर, शुब, स्मेल।) Reals के लिए , यह दिखाया गया है कि, बहुआयामी पद की एक प्रणाली दिया , शून्य का अस्तित्व -Complete। हालांकि, मैं सोच रहा हूँ, अगर …

13 cc.complexity-theory  computing-over-reals 

चलो बहुमत समारोह, यानी होना च ( एक्स ) = 1 यदि और केवल यदि Σ n मैं = 1 एक्स मैं > n / 2 । मैं सोच रहा था कि क्या निम्न तथ्य का एक सरल प्रमाण था ("सरल" से मेरा मतलब है कि संभावनाशील विधि पर निर्भर …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

हाल ही में एक प्रश्न (देखें एनपी = PSPACE के परिणाम ) के "बुरा" परिणामों के लिए कहा । और अन्य सहित , पर विश्वास करने के लिए बहुत सारे कारण प्रदान करते हैं, उत्तर कुछ काफी पतन परिणाम की सूची ।एन पी = ग ओ एन पी एन पी …

13 cc.complexity-theory  complexity-classes  conditional-results 

निम्नलिखित सभी एक साथ पकड़ कर सकते हैं? सभी धनात्मक पूर्णांक s के लिए L s + 1 में समाहित है।एलरोंLsL_sएलs + 1Ls+1L_{s+1}रोंss भर में परिमित शब्द की भाषा है { 0 , 1 } ।ल = ⋃रोंएलरोंL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} कुछ जटिलता वर्ग और C …

13 cc.complexity-theory  complexity-classes  reductions 

अनौपचारिक रूप से, एकतरफा कार्यों को PTIME एल्गोरिदम के संबंध में परिभाषित किया गया है। वे बहुपद समय में कम्प्यूटेशनल हैं लेकिन औसत-मामले बहुपद समय में उलटा नहीं। ऐसे कार्यों का अस्तित्व सैद्धांतिक कंप्यूटर विज्ञान में एक महत्वपूर्ण खुली समस्या है। मुझे एक तरफ़ा कार्यों में दिलचस्पी है (क्रिप्टोग्राफ़िक अनुप्रयोगों …

13 cc.complexity-theory  one-way-function 

चलो की एक बूलियन समारोह होना n बूलियन चर। चलो जी ( x ) = टी ε ( च ) ( एक्स ) की उम्मीद मूल्य होना च ( y ) जब y से प्राप्त होता है एक्स प्रत्येक संभावना के साथ समन्वय स्थापित flipping द्वारा ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

एक को देखते हुए मैट्रिक्स तर्कसंगत प्रविष्टियों के साथ। की जांच करने की जटिलता विकर्ण है?ए एn×nn×nn\times nAAAAAA मुझे संदेह है कि यह पी में किया जा सकता है, लेकिन मुझे कोई संदर्भ नहीं पता है। हालांकि, एक और दिलचस्प सवाल यह है कि क्या इस समस्या को पकड़ने के …

13 cc.complexity-theory  linear-algebra  matrices 

विभाजन की समस्या कमजोर रूप से एनपी-पूर्ण है क्योंकि इसमें बहुपद (छद्म-बहुपद) समय एल्गोरिथ्म है यदि इनपुट पूर्णांक कुछ बहुपद से बंधे हैं। हालाँकि, 3-विभाजन दृढ़ता से एनपी-पूर्ण समस्या है भले ही इनपुट पूर्णांक एक बहुपद द्वारा बाध्य हो। मान लिया जाये कि, , हम साबित कर सकते हैं कि …

13 cc.complexity-theory  np-hardness  partition-problem 

याद रखें कि चौड़ाई एक संकल्प निराकरण की एक CNF सूत्र के एफ में होने वाली किसी भी खंड में शाब्दिक की अधिकतम संख्या है आर । हर के लिए डब्ल्यू , वहाँ unsatisfiable सूत्रों हैं एफ 3-CNF सेंट में के हर संकल्प निराकरण एफ कम से कम चौड़ाई की …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

यह देखना आसान है कि अगर तो कुल खोज समस्याएं हैं, जो बहुपद समय में हल नहीं की जा सकती हैं (कुल खोज समस्या बनाएं) सदस्यता और गवाह के लिए गवाह दोनों के पास होना)।एन पीएन पी ∩ सी ओ एन पी ≠ पीNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}एन पीNP\mathsf{NP} क्या काफिला भी …

13 cc.complexity-theory  reference-request  search-problem