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

क्या किसी को ग्राफ़ में DOMINATING SET समस्या के लिए NP-पूर्णता परिणाम के बारे में पता है, जो अधिकतम डिग्री 3 के प्लानर द्विदलीय ग्राफ़ के वर्ग तक सीमित है? मुझे पता है कि यह अधिकतम डिग्री 3 (देखें गैरी और जॉनसन बुक देखें) के प्लैनर ग्राफ्स के वर्ग के …

18 cc.complexity-theory  graph-theory 

मैं एक स्पष्ट बूलियन समारोह में दिलचस्पी रहा हूँ f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}निम्नलिखित संपत्ति के साथ: यदि निरंतर है, तो कुछ परिश्रमी उपसमूह परfff , तो इस उप-स्थान का आयाम o ( n ) है ।0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) यह दिखाना मुश्किल नहीं है कि एक सममित फ़ंक्शन एक उप-विचार ए = …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

मैं निम्नलिखित समस्या में दिलचस्पी रखता हूं: एक सेट X को देखते हुए और X_1 को सबसेट करता है, ..., X_n of X, k के रंगों के साथ X के तत्वों का रंग ढूंढता है जैसे कि प्रत्येक X_i में तत्व सभी अलग-अलग रंग के होते हैं। विशेष रूप से, …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

मैट्रिक्स को ऊपरी-त्रिकोणीय रूप में लाने के लिए आवश्यक प्राथमिक पंक्ति और स्तंभ संचालन की न्यूनतम संख्या होने के लिए n × n मैट्रिक्स की गाऊसी जटिलता को परिभाषित करें । यह 0 और n 2 (गॉसियन एलिमिनेशन के माध्यम से) के बीच की मात्रा है । धारणा किसी भी …

18 cc.complexity-theory  lower-bounds  matrices 

पैरीटी-पी एक गैर-नियतात्मक ट्यूरिंग मशीन द्वारा मान्यता प्राप्त भाषाओं का सेट है जो केवल "स्वीकृति" पथों की एक समान संख्या या विषम संख्या के बीच अंतर कर सकता है (बजाय एक शून्य या गैर-शून्य संख्या के स्वीकृति पथ)। इस प्रकार, Parity-P मूल रूप से PP का छोटा सिंबल है: जबकि …

18 cc.complexity-theory  complexity-classes  np 

यह सर्वविदित है कि क्वांटम कंप्यूटर क्वेरी की जटिलता के संदर्भ में अपने शास्त्रीय समकक्षों की तुलना में अधिक शक्तिशाली हैं । क्या अन्य मॉडल (प्राकृतिक या कृत्रिम) हैं जो क्वांटम और शास्त्रीय के बीच कड़ाई से क्वेरी जटिलता के बीच हैं? सेपरेशन हो सकता है विशिष्ट समस्याएं: मॉडल X …

18 cc.complexity-theory  quantum-computing  query-complexity 

मान लीजिए कि हमें पूर्णांक प्रविष्टियों के साथ एन मैट्रिक्स, एम द्वारा एन दिया गया है। हम पी में तय कर सकते हैं नहीं है कि क्या एक क्रमचय σσ\sigma ऐसा है कि सभी क्रमपरिवर्तन के लिए π≠σπ≠σ\pi\ne\sigma हमारे पास ΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} ? टिप्पणियों। बेशक उत्पाद को राशि …

18 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

प्रोग्रामिंग भाषाओं, विशेष रूप से कार्यक्रम विश्लेषण और संकलन से उत्पन्न होने वाली कुछ प्रमुख, खुली कम्प्यूटेशनल जटिलता समस्याएं क्या हैं? मैं "हिंडले-मिलनर प्रकार के अनुमान की समय जटिलता" या "0CFA की समय जटिलता" (हालांकि दोनों हल की गई समस्याएं हैं) की तर्ज पर समस्याओं की तलाश कर रहा हूं।

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

क्या CNF को किसी अन्य CNF परिवर्तित करना संभव हैCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) फ़ंक्शन को कुछ गुप्त यादृच्छिक पैरामीटर से बहुपद समय में गणना की जा सकती है ।ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) का एक समाधान है यदि और केवल if में समाधान है।CC\mathcal C किसी भी समाधान को का उपयोग करके कुशलतापूर्वक …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

एक गैर-नियतात्मक बूलियन सर्किट में साधारण इनपुट , "गैर-निर्धारक" इनपुट y = ( y 1 , … , y m ) का एक सेट है । एक गैर-नियतात्मक सर्किट C इनपुट x को स्वीकार करता है यदि y मौजूद है जैसे कि सर्किट आउटपुट 1 ऑन ( x , y …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

पृष्ठभूमि यह ज्ञात है कि वहाँ एक ओरेकल मौजूद है जैसे कि, पी एस पी ए सी ई ई ए that पी एच ए ।AAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A यह भी ज्ञात है कि पृथक्करण यादृच्छिक यादृच्छिक के सापेक्ष होता है। अनौपचारिक रूप से, इसका अर्थ यह हो सकता है कि कई …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

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

17 cc.complexity-theory  phase-transition 

यह ज्ञात है कि समता फलन की गणना करने वाले के न्यूनतम आकार बिल्कुल बराबर है । निचला बाध्य प्रमाण गेट उन्मूलन विधि पर आधारित है। 3 ( n - 1 )यू2यू2U_23 ( एन - 1 )3(n-1)3(n-1) हाल ही में, मैंने देखा कि गेट एलिमिनेशन विधि nondeterministic लिए भी अच्छी …

17 cc.complexity-theory  reference-request  circuit-complexity 

इस समस्या पर विचार करें: परिमित सेटों की सूची को देखते हुए, एक जो छोटा करता है ।| s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + …रों1, एस2, एस3, …s1,s2,s3,…s_1, s_2, s_3, \ldots| रों1| + …

17 cc.complexity-theory  ds.algorithms  optimization 

समरूपता समूह को देखते हुए एसnएसnS_n और दो उपसमूहों जी , एच≤ एसnजी,एच≤एसnG, H\leq S_n , और , करता है पकड़? जी π ∩ एच = ∅π∈ एसnπ∈एसn\pi\in S_nजी π∩ ज=∅Gπ∩H=∅G\pi\cap H=\emptyset जहाँ तक मुझे पता है, समस्या को कॉसेट चौराहे की समस्या के रूप में जाना जाता है। मैं …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory