सैद्धांतिक कंप्यूटर विज्ञान

क्या यह प्रदर्शित करना संभव है कि एक वाक्य इस तथ्य के आधार पर औपचारिक रूप से स्वतंत्र होना चाहिए कि वह गैर-सापेक्ष है? दूसरे शब्दों में, क्या कम्प्यूटेबिलिटी / जटिलता सिद्धांत में वाक्यों के उदाहरण हैं जहां यह दोनों का प्रदर्शन किया जा सकता है) कि सभी प्रमाण जो …

12 lo.logic  relativization 

बेकर-गिल-सोलोवे परिणाम से पता चला कि पी = एनपी प्रश्न का कोई संबंध नहीं है, इस अर्थ में कि कोई भी रिलेटिविंग प्रूफ (एक ओरेकल की उपस्थिति के प्रति असंवेदनशील) संभवतः पी = एनपी प्रश्न को हल नहीं कर सकता है। मेरा प्रश्न है: क्या प्रश्न के लिए एक समान …

12 cc.complexity-theory  complexity-classes 

मैं विशेष रूप से सोच रहा हूं कि क्या असाइनमेंट के प्रतिशत पर एक दिलचस्प स्थिति है जो इस बात की गारंटी देने के लिए 3SAT फॉर्मूला को संतुष्ट करती है कि ऐसी समस्याएं ट्रैक्टेबल हैं। उदाहरण के लिए मान लीजिए कि 3SAT समस्याओं का वर्ग जो कि संभव असाइनमेंट …

12 cc.complexity-theory  ds.algorithms  sat  np 

X1,…,XkX1,…,XkX_1,\ldots,X_k (iid gaussians with mean 000 और variance 111 ) को देखते हुए , क्या यह संभव है (कैसे?) नमूना के लिए ( m=k2m=k2m=k^2 ) Y1,…,YmY1,…,YmY_1, \ldots, Y_m ऐसा है कि YiYiY_i युग्मित है। माध्य 000 और विचरण साथ स्वतंत्र गॉसियन 111।

12 derandomization  pr.probability 

फिर से एक किनारे-विभाजन की समस्या जिसकी जटिलता मैं उत्सुक हूँ, मेरे एक पिछले प्रश्न से प्रेरित है । इनपुट: एक घन ग्राफजी = ( वी, ई)जी=(वी,इ)G=(V,E) प्रश्न: क्या में विभाजन है , जैसे कि प्रत्येक द्वारा प्रेरित या तो एक पंजा है (यानी , जिसे अक्सर एक तारा कहा …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf द्वारा यदि एक PSPACE- पूर्ण भाषा है, P A = N P A है ।AAAPA=NPAPA=NPAP^{A}=NP^{A} तो एक नियतात्मक बहुपद समय देववाणी है, पी बी ≠ एन पी बी (यह मानते हुए पी ≠ एन पी )।BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP निर्णय समस्याओं के वर्ग के लिए एनालॉग है # पी और …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

डेस के एस-बॉक्स में 6-बिट मानों को 4-बिट मानों में मैप करने पर डेटा खो नहीं जाएगा? यदि हां, तो हम इसे कैसे रिवर्स कर सकते हैं ताकि सही आउटपुट दिखाई दे?

12 cr.crypto-security 

PCP प्रमेय का एक समतुल्य सूत्रीकरण है: Max 3-SAT के लिए यह संतोषजनक सूत्रों और सूत्रों के बीच अंतर करने के लिए -hard है जहां खंड के अधिकांश r- निष्कर्षण संतोषजनक हैं (कुछ r < 1 के लिए )।NPNPNPrrrr<1r<1r\lt 1 क्या कोई ज्ञात डायकोटॉमी प्रमेय है जो सभी मैक्स सीएसपी …

12 cc.complexity-theory  pcp  csp 

संकट मेरे पास एक अप्रत्यक्ष ग्राफ है (बहु-किनारों के साथ), जो समय के साथ बदल जाएगा, नोड्स और किनारों को डाला और हटाया जा सकता है। ग्राफ के प्रत्येक संशोधन पर, मुझे इस ग्राफ के जुड़े घटकों को अद्यतन करना होगा। गुण अतिरिक्त गुण यह है कि किसी भी दो …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

मेरे पास हजारों बिंदुओं का डेटासेट है और किसी भी दो बिंदुओं के बीच की दूरी को मापने का एक साधन है, लेकिन डेटा बिंदुओं में कोई आयाम नहीं है। मैं इस डाटासेट में क्लस्टर केंद्रों को खोजने के लिए एक एल्गोरिथ्म चाहता हूं। मुझे लगता है कि क्योंकि डेटा …

12 machine-learning  lg.learning  clustering 

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

12 reference-request  soft-question 

किसी सिस्टम या मॉडल की सुरक्षा का परीक्षण करते समय निम्न प्रश्न कई बार सामने आया है । प्रेरणा: सॉफ्टवेयर सुरक्षा खामियां अक्सर वैध इनपुट्स के कारण बग से नहीं आती हैं, लेकिन अवैध इनपुट से उत्पन्न बग जो सीधे वैधता की कई जांचों को प्राप्त करने के लिए वैध …

12 lo.logic  csp  security 

दो बहुत विरल बूलियन मेट्रिसेस को गुणा करने के लिए सबसे व्यावहारिक रूप से कुशल एल्गोरिदम क्या हैं (कहते हैं, एन = 200 और बस कुछ 100-200 गैर-शून्य तत्व हैं)? दरअसल, मुझे यह फायदा है कि जब मैं A को B से गुणा कर रहा हूं, तो B पूर्वनिर्धारित हैं …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Let { 0 , । । । , N - 1 } और ∘ : एस × एस → एस । मैं तय करने का संचार जटिलता की गणना करना चाहते हैं ∘ साहचर्य है।S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ मॉडल निम्नलिखित है। एक मैट्रिक्स के रूप में दिया …

12 cc.complexity-theory  communication-complexity 

पेड़ की चौड़ाई मापती है कि एक पेड़ के लिए ग्राफ कितना करीब है। कई एनपी-कठिन समस्याओं को बाउंड ट्री की चौड़ाई के साथ रेखांकन पर ट्रैक किया जा सकता है। अगर पेड़ों पर एक समस्या एनपी-हार्ड बनी रहती है तो पेड़ की चौड़ाई हमें बचा नहीं सकती है। पेड़ों …

12 np-hardness  directed-acyclic-graph