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

शोधकर्ता दिखा रहे हैं कि मिटाने वाली ऊर्जा को ऊर्जा का उपभोग करना पड़ता है, अब कम्प्यूटेशनल जटिलता साथ एल्गोरिथ्म की ऊर्जा की औसत खपत पर कोई शोध किया गया है ? मुझे लगता है कि कम्प्यूटेशनल जटिलता एफ ( एन ) ऊर्जा की औसत खपत से संबंधित है, आशा …

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

कल्पना करें कि हमारे पास अंक दो आकार सेट हैं । यदि वे केवल रोटेशन से भिन्न होते हैं तो परीक्षण की जटिलता (समय) क्या है? : इसमें रोटेशन मैट्रिक्स जो कि ?mmm हे हे टी = हे टी ओ = मैं एक्स = हे YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY यहां वास्तविक मूल्यों …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

घनत्व एक भाषा के एक समारोह है घ एक्स : एन → एन के रूप में परिभाषित घ एक्स ( एन ) = | { X ∈ एक्स | | x | ≤ एन } | । मान लीजिए एक और बी कुछ परिमित वर्णमाला से अधिक भाषाओं कर रहे …

12 cc.complexity-theory  reductions  structural-complexity 

मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Let एक दिए गए मल्टीलाइनर बहुपद -मोनोटोन) अंकगणित के न्यूनतम आकार को निरूपित करते हैं। और एक (गैर-मोनोटोन) बूलियन के न्यूनतम आकार को निरूपित करते हैं बूलियन संस्करण की गणना करते हुए सर्किट के द्वारा परिभाषित किया गया: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

मुझे आश्चर्य है, यदि (बहुपद पदानुक्रम, देखें, उदाहरण के लिए, यहां ) की परिभाषा में, क्या होगा, तो एन पी की भूमिका को आर पी से बदल दिया जाएगा ?पीएचपीएचPHएनपीएनपीNPआर पीआरपीRP ऐसा लगता है, हम अभी भी एक पदानुक्रम का निर्माण कर सकता है, के रूप में एक ही तरह …

12 cc.complexity-theory  randomized-algorithms  randomness 

1979 में हॉपक्रॉफ्ट / उलमैन ने लिखा है कि L ⊆ P ⊆ NP ace PSpace जाना जाता है, लेकिन L the PSpace एकमात्र उचित (& तुच्छ) रोकथाम ज्ञात है, हालांकि सभी को उचित नियंत्रण होने के लिए अनुमान लगाया गया है, और "जहां चीजें अभी भी खड़ी हैं" ~ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

कार्प की कमी बहुपदीय समय कम्प्यूटेशनल कई-एक कमी दो कम्प्यूटेशनल समस्याओं के बीच है। कई Karp कटौती वास्तव में एक-एक कार्य हैं। यह सवाल उठाता है कि क्या प्रत्येक कार्प में कमी इंजेक्शन (एक-एक फ़ंक्शन) है। क्या कोई प्राकृतिक -complete समस्या है जो केवल कई-एक Karp कमी के तहत पूरी …

12 cc.complexity-theory 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly अर्थ है , जिसके बदले में बहुपद पदानुक्रम के पतन जैसे दिलचस्प परिणाम हैं।NP⊆P/polyNP⊆P/polyNP \subseteq P/poly लिए दिलचस्प निहितार्थ हैं ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

मैं विभिन्न संख्या सिद्धांत / बीजगणितीय समस्याओं की ज्ञात या अज्ञात जटिलता के बारे में एक सूची की तलाश कर रहा हूं। उदाहरण के लिए, में GCD खुला है,NC1एनसी1NC^1 में फैक्टरिंग खुला है,PपीP कंप्यूटिंग शीफ कॉहोमोलॉजी #P#पी\#P -hard है , अरोड़ा और बराक कहते हैं कि फैक्टरिंग का एक प्रकार …

12 cc.complexity-theory  big-list  algebra  open-problem 

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

12 cc.complexity-theory  circuit-complexity 

चलो संवेदनशीलता के साथ एक बूलियन समारोह हो और ब्लॉक संवेदनशीलता ।s ( f ) b s ( f )चचfs ( च)रों(च)s(f)b s ( f)खरों(च)bs(f) संवेदनशीलता-ब्लॉक संवेदनशीलता अनुमान अनुमान बताता है कि एक ऐसा है कि ।∀ च , ख रों ( च ) ≤ रों ( च ) गग …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

इनपुट एक ब्रह्मांड है और के सबसेट के एक परिवार के , कहते हैं, । हम मानते हैं कि में सबसेट , यानी, को कवर कर सकते हैं ।यू यू यू ⋃ ई ∈ एफ ई = यूUUUUएफ ⊆ 2 यू F⊆2U{\cal F} \subseteq 2^UएफF{\cal F}UU⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U एक वृद्धिशील …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

PSPACE पर विकिपीडिया पेज में उल्लेख किया गया है कि शामिल किए जाने वाले को सख्त नहीं जाना जाता है (दुर्भाग्य से संदर्भ के बिना)।NL⊂PHNL⊂PHNL\subset PH Q1: और L \ subset P ^ {\ # P} के बारे में क्या - ये सख्त होने के लिए जाने जाते हैं?L⊂PHL⊂PHL\subset PHL⊂P# …

12 cc.complexity-theory  complexity-classes  logspace