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

मैं बीजीय एल्गोरिदम और जटिलता के बारे में सीखना चाहता हूं। विशेष रूप से, मुझे पीआईटी में दिलचस्पी है। क्या उन छात्रों के लिए व्याख्यान नोट्स, किताबें, पेपर और सर्वेक्षण का एक सेट है, जिन्होंने सिद्धांत के बारे में मानक पाठ्यपुस्तक पढ़ी है जैसे कि Sipser की पुस्तक या अरोड़ा-बराक …

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

यह एक और cstheorySE पोस्ट में एक टिप्पणी में उल्लेख किया गया है कि PSPACE- पूर्णता APX- कठोरता का अर्थ है। किसी को भी इसके लिए एक संदर्भ समझा / साझा कर सकते हैं? क्या यह "तंग" है? (यानी, क्या PSPACE- पूर्ण समस्याएं हैं जिनकी अनुकूलन समस्या पॉली टाइम में …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

संभाव्य चित्रमय मॉडल में अनुसंधान के माध्यम से विश्वास प्रसार को एक बहुत ही शक्तिशाली तरीका दिखाया गया है। हालाँकि, मुझे बीपी के बारे में कुछ भी पता नहीं है जो MCMC विधियों के लिए तुलनीय है जहाँ हम # P- पूर्ण समस्याओं के लिए पूरी तरह से बहुपद यादृच्छिक …

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

मैं अरोड़ा और बराक की कम्प्यूटेशनल जटिलता पुस्तक में एनईएक्सपी के लिए एसीसी निचले सीमा के बारे में परिशिष्ट पढ़ रहा हूं । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf कुंजी lemmas में से एक से एक परिवर्तन है समतुल्य रूप polylogarithmic डिग्री और quasipolynomial गुणांक, या के साथ पूर्णांकों से अधिक multilinear बहुआयामी पद के …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

मैंने इंटरनेट पर देखा, लेकिन मुझे SAT समस्या के किसी भी प्रकार की 'बड़ी सूची' नहीं मिली। इसके अलावा (आम) बैठ गया, कश्मीर-सैट, MAX-kSAT, आधा सैट, XOR-सैट, NAE-सैट और क्या रूप हैं? (यह भी वास्तव में उपयोगी होगा यदि जटिलता कक्षाएं दी जाती हैं (जहां संभव हो))

14 cc.complexity-theory  sat  big-list 

जैसा कि सभी जानते हैं, SAT wrt बहुपद-समय-कई-एक कटौती के लिए पूर्ण है। यह अभी भी पूरा है wrt कई-एक कटौती।NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} मेरा सवाल यह है कि कटौती के लिए न्यूनतम आवश्यक गहराई क्या है? अधिक औपचारिक रूप से, कम से कम क्या है ऐसी है कि सैट है -हार्ड wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

यह सवाल जान पैक्स द्वारा फाउंडर्स ऑफ मैथेमेटिक्स मेलिंग लिस्ट में पूछा गया था । निश्चित रूप से लेकिन मुझे इस प्रश्न के उत्तर से संदेह है कि यह ज्ञात नहीं है कि क्या (अन्यथा, एक होगा उस प्रश्न का संभावित उत्तर)। यदि यह ज्ञात नहीं है, तो क्या एक …

14 cc.complexity-theory  complexity-classes 

पर टिप्पणी से MathOverflow पर मेरे सवालों में से एक मैं महसूस पाने के उस सवाल के बारे में GCD में किया जा रहा बनाम पी पूर्णांक Factorization में किया जा रहा के बारे में प्रश्न के लिए समान है पी बनाम एन पी ।NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} क्या जीसीडी के लिए "क्वांटम …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

सबसे लंबे समय तक मैंने सोचा है कि एक समस्या एनपी-पूर्ण थी यदि यह एनपी-हार्ड (एनपी) दोनों है और (2) एनपी में है। हालांकि, प्रसिद्ध पेपर "द एलीपोसिड विधि और इसके परिणाम में कॉम्बीनेटरियल ऑप्टिमाइज़ेशन" , लेखकों का दावा है कि आंशिक रंगीन संख्या समस्या एनपी से संबंधित है और …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

इनपुट के रूप में देखते हुए एक पूर्णांक और एक सेट एस के तत्वों के सेट में से { 1 , । । । , n } , { 1 , के तत्वों के एक सेट टी को खोजने की जटिलता क्या है । । । , n } ऐसे …

14 cc.complexity-theory  ds.algorithms 

संपूर्ण खोज एल्गोरिदम से जुड़ी जटिलता वर्ग क्या है? (अगर वहाँ एक है) क्या यह एनपी या PSPACE है? क्या लालची और गतिशील प्रोग्रामिंग के लिए मॉडल के समान संपूर्ण खोज एल्गोरिदम के वर्ग पर कब्जा करने वाले कम्प्यूटेशन के प्रतिबंधित मॉडल हैं?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

जीआई और नॉट समस्या दोनों गणितीय वस्तुओं के संरचनात्मक तुल्यता को तय करने की समस्या है। क्या उनके बीच संबंध स्थापित करने वाले कोई परिणाम हैं? गाँठ बहुपद के माध्यम से सांख्यिकीय भौतिकी के लिए गाँठ समस्या के अच्छे कनेक्शन का पता लगाया गया है , क्या समान परिणाम हैं …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

परिणाम 1: लिनिअल-मंसूर-निसान प्रमेय का कहना है कि सर्किट द्वारा गणना किए गए कार्यों का फूरियर वजन उच्च संभावना वाले छोटे आकार के सबसेट पर केंद्रित है।A सी0AC0\mathsf{AC}^0 परिणाम 2: का फूरियर भार, डिग्री n के सह-कुशल पर केंद्रित है ।P A R I T YPARITY\mathsf{PARITY}nnn प्रश्न: क्या 1 और …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

मेरा पहला सवाल यह है कि क्या एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन सभी क्लासिक जटिलता वर्गों के लिए जाना जाता है। मैं P, NP, PSPACE, EXP, NEXP, EXPSPACE, पुनरावर्ती और पुनरावर्ती असंख्य कार्यों को क्लासिक (अन्य के बीच) कहूंगा। विशेष रूप से, एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन है …

14 cc.complexity-theory  big-picture  interactive-proofs