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

यादृच्छिक 3-SAT के लिए चर के खंडों का महत्वपूर्ण अनुपात 3 से अधिक और 6 से कम है, और आमतौर पर इसे "लगभग 4.2" या "लगभग 4.25" के रूप में वर्णित किया जाता है। मेज़र्ड, पेरिसी और ज़ेकिना साबित (भौतिकी अर्थ में) कि महत्वपूर्ण अनुपात 4.256 है, जबकि पहले और …

14 sat  phase-transition  random-k-sat 

सबसे लंबी पथ समस्या एनपी-हार्ड है। (विशिष्ट?) प्रमाण हैमिल्टनियन पथ समस्या (जो कि एनपी-पूर्ण है) की कमी पर निर्भर करता है। ध्यान दें कि यहाँ पथ को सरल (नोड-) लिया गया है। अर्थात्, मार्ग में एक बार से अधिक कोई शीर्ष नहीं हो सकता है। जाहिर है कि यह इस …

14 graph-theory  graph-algorithms  hamiltonian-paths 

निम्नलिखित सेटिंग पर विचार करें: हम एक ढेर दिया जाता है जिसमें n आइटम नहीं है।रोंssnnn हम अतिरिक्त स्टैक की निरंतर संख्या का उपयोग कर सकते हैं ।ओ ( 1 )O(1)O(1) हम इन स्टाकों पर निम्नलिखित प्रचालनों को लागू कर सकते हैं: जाँच करें कि क्या कोई स्टैक खाली है, …

14 ds.algorithms  sorting 

एक ग्राफ, यह देखते हुए , मैं एक इष्टतम लगाना चाहते हैं के लिए -domination । यही कारण है, मैं चाहता हूँ एक सबसेट के ऐसी है कि सारे कोने अधिक से अधिक की दूरी पर हैं में कुछ शीर्ष से , के आकार को कम करते हुए ।आर जी …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

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

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

निम्नलिखित निर्देशों के साथ एक मानक दो काउंटर ( ) मशीन कर सकते हैं:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT निम्नलिखित भाषा तय करें: L={n2∣n≥1}L={n2∣n≥1}L = \{ …

14 fl.formal-languages  counter-automata 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\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 

भौतिकी से होने के कारण, मुझे ज्यामितीय दृष्टिकोण से बहुत सारी समस्याओं को देखने के लिए प्रशिक्षित किया गया है। उदाहरण के लिए डायनेमिक सिस्टम आदि में मैनिफोल्ड्स के डिफरेंशियल ज्योमेट्री जब मैं कंप्यूटर साइंस की नींव पढ़ता हूं, तो मैं हमेशा ज्योमेट्रिकल इम्प्रूवमेंट खोजने की कोशिश करता हूं। पुनरावर्ती …

14 reference-request  computability  big-picture 

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

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

पृष्ठभूमि : मैं गणित में अपनी स्नातकोत्तर डिग्री के अंत में आ रहा हूं और अगस्त में लॉजिक में पीएचडी शुरू करूंगा। मैं जितना अधिक तर्क का अध्ययन करता हूं, उतने अधिक सैद्धांतिक कंप्यूटर विज्ञान से अवगत कराया जाता है, जैसे पुनरावृत्ति सिद्धांत, लैम्ब्डा कैलकुलस, लेकिन अंतर्निहित सीएस को गलीचा …

14 reference-request  soft-question 

ऐलिस और बॉब के पास एन-बिट स्ट्रिंग्स हैं, और यह पता लगाना चाहते हैं कि क्या वे कम संचार करते समय समान हैं। मानक रैंडमाइज्ड समाधान एन-बिट स्ट्रिंग्स को डिग्री बहुपद के रूप में मानते हैं और फिर n से बड़े आकार के क्षेत्र से कुछ यादृच्छिक रूप से चुने …

14 communication-complexity  property-testing 

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

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