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

वेसफाइलर-लेहमैन (WL) विधि के माध्यम से ग्राफ आइसोमोर्फिज्म के लिए प्रसिद्ध काउंटर उदाहरण में इस पेपर में कै, फ्यूरर और इमरमन द्वारा निम्न गैजेट का निर्माण किया गया था । वे एक ग्राफ का निर्माण द्वारा दिए गएएक्सक= ( वीक, ईक)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

तर्कों की गणना करके, कोई यह दिखा सकता है कि 1 चर में डिग्री n के बहुपद मौजूद हैं (यानी, का कुछ सर्किट जटिलता एन। इसके अलावा, एक दिखा सकता है कि की तरह एक बहुपद को कम से कम गुणन की आवश्यकता होती है (आपको बस एक उच्च डिग्री …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

चलो कुछ क्षेत्र हो। हमेशा की तरह, के लिए एक हम परिभाषित का सरल-रेखा जटिलता होने के लिए से अधिक । चलो के एकपदीयों के सेट होना , अर्थात् एकपदीयों दिखाए गैर शून्य गुणांक के साथ।च ∈ कश्मीर [ एक्स 1 , x 2 , ... , x n ] …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

मैं निर्धारक और मैट्रिक्स गुणन के एल्गोरिथम जटिलता और सर्किट जटिलता के बीच के संबंध को समझने की कोशिश कर रहा हूं। यह ज्ञात है कि एक के निर्धारक मैट्रिक्स जा सकती है अभिकलन में ~ हे ( एम ( एन ) ) समय है, जहां एम ( एन ) …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

~ 1 has सदी से अधिक पुरानी रीमैन परिकल्पना का गणित में गहरा प्रभाव है और गणित सिद्धांत का एक बड़ा हिस्सा अब इस पर और कई प्रकारों पर सशर्त रूप से साबित हो गया है। मैं हाल ही में Riemann परिकल्पना के आधार पर TCS में एक सशर्त परिणाम …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

मूर मैट्रिक्स वैंडमोंडे मैट्रिक्स के समान है, लेकिन इसकी थोड़ी संशोधित परिभाषा है। http://en.wikipedia.org/wiki/Moore_matrix किसी पूर्ण मूर मैट्रिक्स modulo कुछ पूर्णांक के के निर्धारक की गणना करने की जटिलता क्या है ?n×nn×nn \times n Can मूर से कम किया जा निर्धारक के लिए FFT तकनीक का उपयोग O (n \ …

10 cc.complexity-theory  algebraic-complexity 

में सोडा 1995 , जेफ एरिक्सन कम सीमा रैखिक satisfiability के लिए (पता चल सके कि एक कुछ पता चला के -subset वास्तविक संख्या को संतुष्ट करता है पर एक रेखीय समीकरण चर)। प्रूफ विधि में infinitesimals और Tarski के हस्तांतरण सिद्धांत का उपयोग किया जाता है ।आरआरrnnnआरआरr क्या कोई …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

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

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

Berkowitz एल्गोरिथ्म मैट्रिक्स शक्तियों का उपयोग करके एक वर्ग मैट्रिक्स के निर्धारक के लिए लॉगरिदमिक गहराई के साथ एक बहुपद आकार का सर्किट प्रदान करता है। एल्गोरिथ्म अंतर्निहित रूप से रद्दीकरण का उपयोग करता है। निर्धारक (और स्थायी के लिए किसी भी संभव सर्वश्रेष्ठ सर्किट) की गणना करने के लिए …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

मान लें कि हम एक परिमित क्षेत्र में काम करते हैं। हमें इस क्षेत्र में एक बड़ी नियत बहुपद p (x) (का, कहना, डिग्री 1000) दी जाती है। यह बहुपद पहले से जाना जाता है और हमें "प्रारंभिक चरण" में बहुत सारे संसाधनों का उपयोग करके गणना करने की अनुमति …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

1979 से आदि शमीर [1] के पेपर में, वह दिखाता है कि अंकगणित अंकगणितीय चरणों की बहुपद संख्या में किया जा सकता है । इस तथ्य को बहाल किया गया था, और इस तरह मेरे ध्यान में आया, सीधे लाइन कार्यक्रमों (एसएलपी) के संदर्भ में बोरवेइन और होबार्ट [2] के …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

चलो एक हो या एक के साथ मैट्रिक्स प्रविष्टियों । क्या कोई मुझे एक मैट्रिक्स प्रदान कर सकता है ताकि ? सबसे छोटा स्पष्ट बी क्या है जो इस तरह से जाना जाता है कि \ operatorname {per} (A) = \ det (B) ? स्पष्ट उदाहरणों के साथ इस पर …

9 cc.complexity-theory  algebraic-complexity  permanent 

मैट्रिक्स गुणन नियमित (पंक्ति - स्तंभ आंतरिक उत्पाद) तकनीक का उपयोग करके गुणा और लेता हैO(n3)O(n3)O(n^{3})ओ (n3)O(n3)O(n^{3})अतिरिक्त। हालांकि आकार के बराबर दोनों प्रविष्टियों के प्रत्येक आकार में समान आकार की प्रविष्टियां (बिट्स की संख्या) मान लेनाममm बिट्स, अतिरिक्त संचालन वास्तव में होता है ओ (n3n m ) = O (n4म …

9 cc.complexity-theory  algebraic-complexity