linear-algebra पर टैग किए गए जवाब

सवाल। उनके पेपर में स्टेबलाइजर सर्किट के बेहतर सिमुलेशन , आरोनसन और गोट्समैन का दावा है कि CNOT सर्किट का अनुकरण pleteL -complete (लॉगस्पेस रिडक्शन के तहत) है। यह स्पष्ट है कि यह isL में निहित है ; कठोरता कैसे पकड़ती है? समान रूप से: क्या पुनरावृत्त मैट्रिक्स उत्पादों मॉडुलो …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

रैखिक समीकरणों की एक प्रणाली के लिए सबसे मुश्किल समाधान खोजना कितना कठिन है? अधिक औपचारिक रूप से, निम्नलिखित निर्णय समस्या पर विचार करें: उदाहरण: पूर्णांक गुणांक और संख्या साथ रैखिक समीकरणों की एक प्रणाली ccc। प्रश्न: क्या शून्य के लिए कम से कम ccc चर के साथ प्रणाली का …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

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

13 cc.complexity-theory  linear-algebra  matrices 

मुझे फ़ील्ड GF (2) में वैक्टर से संबंधित एक बीजगणितीय समस्या है। चलो be (0,1) आयाम n के डॉक्टर , और m = n O ( 1 ) । एक बहुपद समय एल्गोरिथ्म का पता लगाएं जो एक (0,1) -वेटर u को एक ही आयाम के ऐसे पाता है जैसे …

13 ds.algorithms  linear-algebra 

एक वर्ग वास्तविक मैट्रिक्स A और दो वैक्टर x और b की लंबाई n , जैसे कि A x = b । मानक गाऊसी उन्मूलन के माध्यम से x के लिए हल करने से लगभग O ( n 3 ) की कुल जटिलता उत्पन्न होती है । हालांकि, वहाँ मामलों …

13 cc.complexity-theory  linear-algebra  matrices 

मैं मैट्रिक्स गुणन के बारे में खोज कर रहा था, इसलिए मैं पहली बार विकी मैट्रिक्स गुणन एल्गोरिदम का दौरा करता हूं , संदर्भ में मुझे एक पेपर मिला जो दावा करता है कि एल्गोरिथ्मO(n2log(n))O(n2log(n))O(n^2 log(n)) का उपयोग करता है , मैं लेख पढ़ने जा रहा हूं लेकिन यह जटिल …

13 ds.algorithms  linear-algebra  matrix-product 

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

12 ds.algorithms  linear-algebra 

हम उदाहरण के लिए Koutis-Miller-Peng (Spielman & Teng के काम के आधार पर) से जानते हैं, कि हम बहुत जल्दी रैखिक प्रणालियों को मैट्रिसेस लिए हल कर सकते हैं, जो कि गैर-ऋणात्मक बढ़त भार के साथ कुछ स्पार्फ ग्राफ के लिए ग्राफ लाप्लासियन मैट्रिक्स हैं ।Ax=bAx=bA x = bAAA अब …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

सामान्य रूप से यह तय करने में कि क्या एक डायोफैंटीन समीकरण में कोई पूर्णांक समाधान है, हॉल्टिंग समस्या के बराबर है। मेरा मानना ​​है कि अगर द्विघात डायोफैंटाइन समीकरण का कोई हल है, तो यह तय करना एनपी-पूर्ण है। क्या पी-पूर्ण समस्या उत्पन्न करने वाले समीकरणों पर एक और …

11 cc.complexity-theory  linear-algebra  polynomials 

मेरे पास बाइनरी वैक्टर 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 

पर cs.stackexchange मैं के बारे में पूछा algebird GitHub पर स्केला पुस्तकालय, क्यों वे एक सार बीजगणित पैकेज की आवश्यकता हो सकती पर अटकलें। जीथब पृष्ठ में कुछ सुराग हैं: दिलचस्प सन्निकटन एल्गोरिदम, जैसे ब्लूम फ़िल्टर, हाइपरलॉगलॉग और काउंटमाइनकेट के लिए मोनॉयड का कार्यान्वयन। ये आपको इन परिष्कृत परिचालनों के …

11 soft-question  machine-learning  linear-algebra  db.databases 

एक वास्तविक ( k ≤ n ) मैट्रिक्स A को इस गुण के साथ दें कि k कॉलम का कोई भी संग्रह पूर्ण रैंक है।k×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk प्रश्न: वहाँ एक कारगर तरीका निर्धारणात्मक एक वेक्टर खोजने के लिए है ऐसी है कि संवर्धित मैट्रिक्स एक ' = [ एकaa{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

EDIT (तारा बी द्वारा): मुझे अभी भी इस बात के प्रमाण के संदर्भ में दिलचस्पी होगी , क्योंकि मुझे इसे स्वयं अपने कागज के लिए साबित करना था। मैं इस पेपर में दिखाई देने वाले प्रमेय 4 के प्रमाण की तलाश कर रहा हूँ: लियू और वेनेर द्वारा प्रसंग-मुक्त भाषाओं …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

आज्ञा देना मैट्रिक्स हो परिमित क्षेत्र और , अंतरिक्ष वैक्टर हो । मैं यह तय करने की कम्प्यूटेशनल जटिलता में दिलचस्पी रखता हूं कि क्या जैसे कि , यानी परिमित क्षेत्रों के लिए रैखिक डायनेमिक सिस्टम के लिए रीचैबिलिटी समस्या में।एक एफ 2 = { 0 , 1 } एक्स …

10 cc.complexity-theory  reference-request  linear-algebra 

संचार जटिलता में, लॉग-रैंक अनुमान बताता है कि सी सी ( एम) = ( लॉगआर के ( एम)) )ओ ( 1 )सीसी(म)=(लॉग⁡आरक(म))हे(1)cc(M) = (\log rk(M))^{O(1)} जहाँ M ( x , y ) और r k ( M )सी सी ( एम)सीसी(म)cc(M) की संचार जटिलता है , वह वास्तविक की तुलना …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity