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

कभी-कभी यह दावा किया जाता है कि पी बनाम एनपी प्रश्न जैसे जटिलता सिद्धांत के खुले प्रश्नों को निपटाने के लिए केतन मुल्मुले की ज्यामितीय जटिलता सिद्धांत एकमात्र प्रशंसनीय कार्यक्रम है। कार्यक्रम के बारे में प्रसिद्ध जटिलता सिद्धांतकारों से कई सकारात्मक टिप्पणियां आई हैं। मुल्मुले के अनुसार वांछित परिणाम प्राप्त …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

जहां तक मैं समझता हूँ, ज्यामितीय जटिलता सिद्धांत कार्यक्रम प्रयास अलग करने के लिए साबित करते हुए कि जटिल मान मैट्रिक्स के permament ज्यादा निर्धारक से गणना करने के लिए कठिन है से।VP≠VNPVP≠VNPVP \neq VNP जीसीटी पेपर्स के माध्यम से स्किमिंग के बाद मेरे पास जो प्रश्न था: क्या यह …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

सामान्य तौर पर हम जानते हैं कि परीक्षण की जटिलता किसी इनपुट पर दिए गए इनपुट पर फ़ंक्शन का मूल्यांकन करने की तुलना में किसी विशेष इनपुट पर एक विशेष मूल्य लेती है या नहीं। उदाहरण के लिए: एक नॉनजेगेटिव पूर्णांक मैट्रिक्स के स्थायी का मूल्यांकन # पी-हार्ड है, फिर …

36 cc.complexity-theory  reference-request  algebraic-complexity 

आज्ञा देना निश्चित सकारात्मक पूर्णांक आकार बिट्स।AAAnnn इस पूर्णांक को पूर्व-संसाधित करने के लिए एक को उपयुक्त माना जाता है। आकार बिट्स के एक और सकारात्मक पूर्णांक को देखते हुए , गुणा की जटिलता क्या है ?BBBmmmABABAB ध्यान दें कि हमारे पास पहले से ही एल्गोरिदम है। यहाँ प्रश्न यह …

35 cc.complexity-theory  ds.algorithms  circuit-complexity  algebraic-complexity  arithmetic-circuits 

हाल ही में मैंने arxiv पर कई लेख देखे हैं जो सम-वर्ग नामक एक प्रमाण प्रणाली का उल्लेख करते हैं। क्या कोई समझा सकता है कि एक राशि-वर्ग प्रमाण क्या है और इस तरह के प्रमाण महत्वपूर्ण / दिलचस्प क्यों हैं? वे अन्य बीजीय प्रूफ सिस्टम से कैसे संबंधित हैं? …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

श्रेणी के सिद्धांत और सार बीजगणित जिस तरह से कार्य करता है उसे अन्य कार्यों के साथ जोड़ा जा सकता है। जटिलता सिद्धांत इस बात से संबंधित है कि किसी फ़ंक्शन की गणना करना कितना कठिन है। यह मेरे लिए अजीब है कि मैंने किसी को भी अध्ययन के इन …

18 cc.complexity-theory  algebra  algebraic-complexity 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) को एक सेमिनार होने दें । में बहुपद के अनुक्रम का एक शून्य प्रतिमान एक उप- , जिसके लिए मौजूद है और ऐसा है कि सभी के लिए , iff । यही है, साथ बिल्कुल उन बहुपद के ग्राफ को में बिंदु को हिट करना होगा । ("शून्य-पैटर्न" …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

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

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

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

14 cr.crypto-security  algebra  algebraic-complexity 

निर्धारक के लिए सबसे छोटा ज्ञात सूत्र लोक n के अनुसार आकार है (या इसके पेपर में Ran Raz के लिए स्थायी और नियतांक के लिए बहु-रेखीय सूत्र सुपर-बहुपद आकार के हैं )।nओ (लॉग)n )nO(log⁡n)n^{\mathcal O(\log n)} क्या आपके पास इसके लिए कोई संदर्भ है? विशेष रूप से, यह सूत्र …

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

गाऊसी उन्मूलन एक मैट्रिक्स बहुपद-समय कम्प्यूटेशनल का निर्धारक बनाता है। निर्धारक, जो अन्यथा घातीय पदों का योग है कंप्यूटिंग में जटिलता को कम करने, वैकल्पिक नकारात्मक संकेत (कमी जिनमें से स्थायी है कंप्यूटिंग बनाता है की उपस्थिति के कारण है #P-hard#P-hard \#P\mbox{-}hard यानी कठिन तो। NP-CNP-CNP\mbox{-}C समस्याओं) । यह निर्धारक …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

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

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

TCS में एक बड़ी समस्या स्थायी को निर्धारक के रूप में व्यक्त करने की समस्या है। मैं अग्रवाल का पेपर निर्धारक वर्सेज परमानेंट पढ़ रहा था और एक पैराग्राफ में वह दावा करता है कि रिवर्स समस्या आसान है। यह देखने के लिए कि एक मैट्रिक्स के निर्धारक आसान है …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant