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

निम्नलिखित मॉडल पर विचार करें: एक n- बिट स्ट्रिंग r = r 1 ... r n को समान रूप से यादृच्छिक पर चुना जाता है। अगला, प्रत्येक इंडेक्स i 1 {1, ..., n} को स्वतंत्र A के साथ एक सेट में रखा जाता है 1/2। अंत में, एक विरोधी की …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

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

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

मैं रैखिक समीकरणों modulo k को हल करने की जटिलता में दिलचस्पी रखता हूं , मनमाने ढंग से k के लिए (और प्रमुख शक्तियों में विशेष रुचि के साथ): मुसीबत। अज्ञात मोडुलो में रैखिक समीकरणों की दी गई प्रणाली के लिए , क्या कोई समाधान मौजूद है?एन केmmmnnnkkk उनके कागज …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

मैं वर्तमान में 3-CNF फ़ार्मुलों को प्राप्त करने (या निर्माण) और अध्ययन करने में दिलचस्पी रखता हूं जो असंतोषजनक हैं, और न्यूनतम आकार के हैं। अर्थात्, उन्हें यथासंभव कुछ खंड (m = 8 अधिमानतः) और संभव के रूप में कुछ अलग चर (n = 4 या अधिक) से मिलकर होना …

19 cc.complexity-theory  sat 

शेयर बाजार की भविष्यवाणी करना कठिन है! क्या टीसीएस इस भावना को अधिक औपचारिक बना सकता है? हाल ही में मैंने वित्त के बारे में थोड़ा सोचना शुरू किया है, और सोच रहा था कि टीसीएस का ज्ञान कैसे मदद कर सकता है। हेज फंड और निवेश फर्म हर समय …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

क्या कोई संदर्भ हैं जो क्रिप्टोग्राफी में उत्पन्न होने वाली विशिष्ट कठिन समस्याओं के लिए सर्किट कम सीमा के बारे में विवरण प्रदान करते हैं जैसे कि पूर्णांक फैक्टरिंग, प्राइम / कम्पोज़िट असतत लघुगणक समस्या और दीर्घवृत्तीय वक्र के बिंदुओं के समूह पर इसका प्रकार (और उनकी उच्च आयामी एबेलियन …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

ऐसा नहीं है कि एक प्रश्न का उत्तर नहीं मिलता के लिए जाना जाता प्रतीत हो रहा है एक संबंधपरक डेटाबेस से अधिक विकास एक समय की जरूरत है, | D | | क्यू | , और एक प्रतिपादक से छुटकारा नहीं मिल सकता है | क्यू | ।QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| जैसा …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

बता दें कि साइज इनपुट पर किसी समस्या का सबसे खराब समय चल रहा है । चलिए हम समस्या को थोड़ा अजीब बनाते हैं for लेकिन for ।f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 तो, समस्या की निचली सीमा क्या है? जिस तरह से मैं समझ गया कि यह सिर्फ की निचली …

19 cc.complexity-theory  time-complexity 

2011/02/08 पर EDIT: कुछ संदर्भ खोजने और पढ़ने के बाद, मैंने मूल प्रश्न को दो अलग-अलग लोगों में अलग करने का फैसला किया। सिंटैक्टिक और सिमेंटिक क्लास के लिए यूपी बनाम एनपी से संबंधित हिस्सा यहां दिया गया है, कृपया सिंटैक्टिक और सिमेंटिक कक्षाओं के लिए लाभ देखें । UPUP\mathsf{UP} …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

अद्वितीय गेम अनुमान को चित्रित करने के लिए आप एक तस्वीर कैसे डिजाइन करेंगे? यह अगली AMS जॉइंट मीटिंग में अनूठे गेम पर "करंट इवेंट्स" प्रेजेंटेशन के लिए है और जो बुकलेट तैयार किया जाएगा। अतीत में उत्पादित चित्र के प्रकार के उदाहरण हैं http://www.ams.org/meetings/lectures/current-events-bulletin और यदि आप 2006 के …

19 cc.complexity-theory  unique-games-conjecture 

समानता और अविभाज्य जुड़वाँ बच्चों की तरह हैं। या ऐसा पिछले 30 सालों से लग रहा है। रयान के परिणाम के प्रकाश में, छोटी कक्षाओं में नए सिरे से रुचि होगी।AC0AC0AC^0 फ़ॉस्ट सक्से सिप्सर से याओ से हस्ताद तक सभी समता और यादृच्छिक प्रतिबंध हैं। रेज़बोरोव / स्मोलेंस्की समता के …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

IP = PSPACE को एक गैर-रिलेटिविंग परिणाम के विहित उदाहरण के रूप में सूचीबद्ध किया गया है, और इसके लिए प्रमाण यह है कि एक ओरेकल मौजूद है जैसे कि , जबकि अन्य के लिए सभी दैवज्ञ ।OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO हालाँकि, मैंने देखा है …

19 cc.complexity-theory  interactive-proofs  relativization 

जटिलता सिद्धांत में मेरा पसंदीदा प्रमेय टाइम पदानुक्रम प्रमेय है। हालाँकि, यह 1965 में किया गया था। मैं जानना चाहता था कि अगर क्वांटम कम्प्यूटिंग के लिए ऐसा ही कुछ था। इसके अलावा, यदि नहीं तो इस दिशा में काम करने वाले लोग / समूह क्या हैं!

19 cc.complexity-theory  quantum-computing 

मैं सिर्फ पढ़ने " गुणन पूर्णांक एक एन पी-सम्पूर्ण समस्या है? " सवाल ... इसलिए मैं अपने प्रतिष्ठा के कुछ :-) एक और सवाल पूछ खर्च करने का फैसला QQQ होने :P(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 यदि एक ऐसा अणु है जो पूर्णांक गुणन को हल …

19 cc.complexity-theory  oracles  factoring 

क्या कोक जैसे प्रूफ असिस्टेंट का उपयोग करके सिद्धांत और जटिलता सिद्धांत के प्रमाणों को औपचारिक रूप से सत्यापित करने के लिए कोई परियोजना चल रही है? क्या ऐसा करने की कोई सीमाएं हैं?

18 cc.complexity-theory  complexity  proof-assistants