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

हम कहते हैं कि एक समारोह है समय-constructible , अगर वहाँ एक नियतात्मक बहु टेप मौजूद मशीन ट्यूरिंग कि लंबाई के सभी आदानों पर ज्यादा से ज्यादा बनाता है चरणों और प्रत्येक के लिए लंबाई का कुछ इनपुट मौजूद है, जिस पर M अत्यधिक रूप से f (n) चरण बनाता …

13 cc.complexity-theory  time-complexity  terminology 

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

13 cc.complexity-theory  reference-request  machine-learning 

एक वितरण संपत्ति पी के लिए एक वितरण परीक्षण एल्गोरिथ्म (जो सिर्फ [n] भर में वितरण के कुछ सबसेट है) कुछ वितरण डी के अनुसार नमूने के लिए उपयोग की अनुमति दी है, और तय करने के लिए (whp) यदि आवश्यक है या घ ( डी , पी ) > …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

निर्धारक के लिए सबसे छोटा ज्ञात सूत्र लोक 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 

यादृच्छिक प्रतिबंधों और स्विचिंग लेम्मा के आधार पर कई प्रसिद्ध सर्किट आकार कम-बाउंड परिणाम हैं ।A सी0AC0\mathsf{AC^0} क्या हम सर्किट के लिए निम्न आकार-बाउंड को सिद्ध करने के लिए एक स्विचिंग लेम्मा परिणाम विकसित कर सकते हैं ( लिए निम्न-बद्ध प्रमाण के समान )? A C 0टी सी0TC0\mathsf{TC^0}A सी0AC0\mathsf{AC^0} या …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

क्या कोई अच्छी तरह से ज्ञात समस्याओं को सूचीबद्ध कर सकता है जो निम्न स्थितियों को संतुष्ट करता है: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

वहाँ एक सबूत है कि एक विचलित ट्यूरिंग मशीन पर ट्यूरिंग मशीन का अनुकरण ओ ( एम लॉगम )O(mlog⁡m)\mathcal{O}\left(m\log m\right) से कम में नहीं किया जा सकता है जहां mmm ट्यूरिंग मशीन के उपयोग की चरणों की संख्या है? या यह सिर्फ एक ऊपरी बाध्यता है? पॉल विटैनी के पेपर …

13 cc.complexity-theory  turing-machines 

मैं इन दो शब्दों के इतिहास के बारे में जानना चाहता हूं: " कुशल ", " व्यवहार्य "। पहली बार संगणना / एल्गोरिदम के बारे में उनका उपयोग किसने किया? (इन शब्दों के आधुनिक अर्थ में, 20 वीं शताब्दी)। वे मुख्यधारा कैसे बने? इन दोनों शब्दों को समानार्थक शब्द के …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

रेज़ का पैरेलल प्रीटिशन प्रमेय पीसीपी, इंप्रूवमेंट आदि में एक महत्वपूर्ण परिणाम है। प्रमेय को निम्न प्रकार से फॉमलाइज़ किया जाता है। एक खेल G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V) , जहां S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} परिमित सेट कर रहे हैं, ππ\pi पर एक वितरण है S×TS×T\mathcal{S}\times\mathcal{T} , और विधेय V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\} । खेल मूल्य को परिभाषित करेंv(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnn …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

इम्प्लैग्लियाज़ो, पटुरी और ज़ेन के एसईआरएफ-रिड्यूसबिलिटी और सबफ़ेक्टोनियम एल्गोरिदम से संबंधित मेरा एक प्रश्न है। SERF-reducibility की परिभाषा निम्नलिखित देती है: यदि कम्मी-कम करने योग्य है और वहाँ हे (2 ^ {\ varepsilon n}) एल्गोरिथ्म के लिए p_2 के लिए प्रत्येक \ varepsilon> 0 , तब वहाँ है हे (2 …

13 cc.complexity-theory  reference-request 

(मजबूत) फिक्स्ड-पैरामीटर ट्रैक्टिबिलिटी की परिभाषा में, टाइम बाउंड फॉर्म अभिव्यक्ति है । p ( | x | ) , जहां इनपुट उदाहरण है ( x , k ) के साथ पैरामीटर k , p एक बहुपद है, और f एक कम्प्यूटेशनल फ़ंक्शन है।च( k ) । p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

एक वर्ग वास्तविक मैट्रिक्स A और दो वैक्टर x और b की लंबाई n , जैसे कि A x = b । मानक गाऊसी उन्मूलन के माध्यम से x के लिए हल करने से लगभग O ( n 3 ) की कुल जटिलता उत्पन्न होती है । हालांकि, वहाँ मामलों …

13 cc.complexity-theory  linear-algebra  matrices 

समानता-एल, भी रूप में जाना जाता एल, एक गैर नियतात्मक ट्यूरिंग मशीन है जो केवल सम संख्या या "स्वीकृति" पथ की विषम संख्या के बीच भेद कर सकते हैं के द्वारा मान्यता प्राप्त भाषाओं का सेट है। हाल ही में संबंधित प्रश्न निएल डी बेउड्राप द्वारा पूछा गया था।⊕⊕\oplus मेरा …

13 cc.complexity-theory  counting-complexity 

यह प्रश्न पेंग झांग के एक मैथोवर्फ्लो प्रश्न से प्रेरित है । वैलेन्ट ने दिखाया कि सामान्य ग्राफ़ में अधिकतम संख्याओं की गिनती करना # P- पूर्ण है, लेकिन क्या होगा यदि हम अतुलनीयता के ग्राफ (यानी, हम एक परिमित स्थिति में अधिकतम एंटीचिन को गिनना चाहते हैं) को सीमित …

13 cc.complexity-theory  counting-complexity  partial-order  clique