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

में एक और धागा , जो Fitzsimons के बारे में पूछा "3SAT पर सबसे अच्छा वर्तमान कम सीमा।" मैं दूसरे रास्ते पर जाना चाहता हूं: 3SAT पर सबसे अच्छा वर्तमान ऊपरी सीमा क्या है? दूसरे शब्दों में, सबसे कुशल एसएटी सॉल्वर की समय जटिलता क्या है? विशेष रूप से, क्या …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

क्या कोई गैर-विशेषज्ञों द्वारा मुल्मुले के जीसीटी दृष्टिकोण को समझने का संक्षिप्त विवरण प्रदान कर सकता है? एक स्पष्टीकरण जो इस विषय पर विकिपीडिया पृष्ठ के लिए उपयुक्त होगा (जो इस समय स्टब है)। प्रेरणा: मैं स्कॉट एरोनसन की पुस्तक "क्वांटम कम्प्यूटिंग" का सह-पाठ कर रहा हूं क्योंकि डेमोक्रिटस मेरे …

43 cc.complexity-theory  gct 

सैट सॉल्वरों की व्यावहारिक सफलता के लिए क्या सैद्धांतिक स्पष्टीकरण हैं, और क्या कोई "विकिपीडिया-शैली" का अवलोकन और स्पष्टीकरण उन सभी को एक साथ बांध सकता है? सादृश्य द्वारा, सिम्प्लेक्स एल्गोरिथ्म के लिए स्मूदड एनालिसिस ( आरएक्सआईवी संस्करण )) यह बताने के लिए एक महान काम करता है कि यह …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

मैं वर्तमान में टीसीएस पर पदानुक्रम प्रमेयों पर एक सर्वेक्षण लिख रहा हूं। संबंधित कागजात की खोज में मैंने देखा कि पदानुक्रम केवल टीसीएस और गणित में ही नहीं, बल्कि कई विज्ञानों में, धर्मशास्त्र और समाजशास्त्र से जीव विज्ञान और रसायन विज्ञान तक एक मौलिक अवधारणा है। यह देखते हुए …

42 cc.complexity-theory  reference-request  big-list  survey 

क्या किसी को सैद्धांतिक कंप्यूटर विज्ञान के लिए गॉर्नर बेस के दिलचस्प अनुप्रयोगों के बारे में पता है ? Gröbner ठिकानों का उपयोग बहु-चर बहुपद समीकरणों को हल करने के लिए किया जाता है, सामान्य रूप से एक एनपी-कठिन समस्या। मैं सोच रहा था कि क्या TCS या TCS- संबंधित …

41 cc.complexity-theory  reference-request  algebra  polynomials 

ग्राफ़ समाकृतिकता समस्या (जीआई) यकीनन एक के लिए सबसे अच्छा ज्ञात उम्मीदवार है एनपी मध्यवर्ती समस्या। सर्वश्रेष्ठ ज्ञात एल्गोरिथ्म रन-टाइम साथ उप-घातांक एल्गोरिथ्म है । यह ज्ञात है कि जीआई नहीं है-जब तक बहुपद पदानुक्रम ढह नहीं जाता।एनपी2ओ ( एन लॉगn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} ग्राफ आइसोमॉर्फिज्म समस्या के लिए अर्ध-बहुपद समय …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

को एक एल्गोरिथमिक कार्य होने दें । (यह एक निर्णय समस्या या एक अनुकूलन समस्या या कोई अन्य कार्य हो सकता है।) हम "बहुपद पक्ष पर" कहते हैं, यदि यह मानते हुए कि एनपी-हार्ड है तो इसका अर्थ है कि बहुपद हाइअरार्की का पतन होता है। आइए "एनपी-साइड पर" कहते …

40 cc.complexity-theory 

यह सर्किट जटिलता के बारे में एक सवाल है। (परिभाषाएँ सबसे नीचे हैं।) याओ और Beigel-Tarui से पता चला है कि हर कि आकार के सर्किट परिवार आकार के एक बराबर सर्किट परिवार है गहराई के दो , जहां उत्पादन गेट एक सममित समारोह है और दूसरे स्तर होते हैं …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

पृष्ठभूमि वास्तविक संख्याओं की गणना प्राकृतिक संख्याओं की तुलना में अधिक जटिल है, क्योंकि वास्तविक संख्याएं अनंत वस्तुएं हैं और बेशुमार वास्तविक संख्याएं हैं, इसलिए वास्तविक संख्याओं को एक परिमित वर्णमाला पर परिमित तारों द्वारा ईमानदारी से नहीं दर्शाया जा सकता है। परिमित तारों पर शास्त्रीय संगणना के विपरीत, जहाँ …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

आमतौर पर यह माना जाता है कि सभी के लिए ϵ>0ϵ>0\epsilon > 0 , यह गुणा दो के लिए संभव है n×nn×nn \times n में मैट्रिक्स O(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) समय। कुछ चर्चा यहाँ है । मैंने कुछ ऐसे लोगों से पूछा है, जो इस शोध से अधिक परिचित हैं कि …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

बता दें कि PRIMES (उर्फ primality टेस्टिंग ) समस्या है: एक प्राकृतिक संख्या को देखते हुए , एक अभाज्य संख्या है?nnnnnn चलो फैक्टरिंग समस्या हो: प्राकृतिक संख्या को देखते हुए , के साथ , करता एक कारक है के साथ ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1&lt;d&lt;m1&lt;d&lt;m1 < d < m क्या …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

रेयान विलियम्स ने एसीसी पर अपनी निचली बाउंड को पोस्ट किया , उन समस्याओं का वर्ग जो निरंतर फैन-इन और गेट्स के साथ निरंतर गहराई वाले सर्किट हैं और सभी संभावित मी के लिए OR, NOT और MOD_m हैं। MOD_m फाटकों के बारे में क्या खास है? वे किसी भी …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

यह math.stackexchange से एक क्रॉस-पोस्ट है । FACT पूर्णांक फैक्टरिंग समस्या को बताए: दिए गए primes और पूर्णांक जैसे किn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. बता दें कि RSA फैक्टरिंग समस्या के विशेष मामले को निरूपित करता है जहां और प्राइम हैं। यदि ऐसा कोई कारक …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

ज्यादातर लोग उदाहरण के लिए, ट्यूरिंग कटौती के बजाय एनपी-पूर्णता को परिभाषित करने के लिए कई-एक कटौती का उपयोग क्यों करना पसंद करते हैं?

39 cc.complexity-theory  np-hardness  reductions 

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

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