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

चलो और द्वारा निरूपित जी k सभी रेखांकन कि जीनस की सतह पर एम्बेड किया जा सकता का सेट कश्मीर ऐसा है कि सभी कोने बाहरी चेहरे पर स्थित हैं । उदाहरण के लिए, G 0 बाहरीप्लान रेखांकन का समुच्चय है। में रेखांकन के treewidth कर सकते हैं जी कश्मीर …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

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

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

मैंने यह सवाल कुछ हफ्ते पहले mathoverflow में पूछा था , लेकिन मुझे कोई जवाब नहीं मिला। इधर, sidelength की 3 डी ग्रिड द्वारा मैं ग्राफ मतलब के साथ वी = \ {1 \ ldots, कश्मीर \} ^ 3 और ई = \ {((क, ख, ग), ( x, y, z)) …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

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

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

यह शायद बहुत सरल है, लेकिन मानक पोस्ट पत्राचार समस्या पर विचार करें: दिए गए और , सूचकांकों जैसे कि एक क्रम पाते हैं। । यह, निश्चित रूप से, अविश्वसनीय है।बीटा 1 , ... , बीटा एन मैं 1 , ... , मैं कश्मीर अल्फा मैं 1 ⋯ अल्फा मैं …

12 computability  fl.formal-languages 

मैं सपा जॉर्डन, डी Gosset, पी.जे. प्यार के "में पढ़ा stoquastic Hamiltonians और मार्कोव मैट्रिक्स के लिए -Complete समस्याओंक्यू एमएक्यूमएQMA " है कि यह संभावना नहीं है कि ।क्यू एमएक ⊆ एक एमक्यूमए⊆एमQMA \subseteq AM मैं इस दावे के बारे में हैरान था। तो और ए एम के बीच उचित …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

एक समान रूप से यादृच्छिक समाधान वापस करने वाले एल्गोरिथम द्वारा प्राप्त किए गए सर्वश्रेष्ठ ज्ञात सन्निकटन अनुपात के साथ क्या समस्याएं हैं? मैं के लिए क्रमचय प्रवाह दुकान समस्या एक उदाहरण जानते : कागज "में क्रमपरिवर्तन फ्लो दुकान निर्धारण के लिए तंग सीमा विश्वनाथ नागराजन और मैक्सिम Sviridenko" साबित …

12 ds.algorithms  reference-request  approximation-algorithms 

सबसे खराब स्थिति में पेड़ का सड़ना मुश्किल है लेकिन लालची विधि छोटे वास्तविक जीवन के नेटवर्क पर लगभग इष्टतम लगती है। क्या किसी वर्ग के रेखांकन के "विशिष्ट" उदाहरण के पेड़ के सड़ने की कठोरता के बारे में कुछ पता है? क्या रेखांकन के एक परिवार का उदाहरण है …

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))मार्टिन-लोफ के प्रकार के सिद्धांत में एक शब्द को देखते हुए , इसका मूल्य क्या है, ऑपरेटर w(t(0))कहां wहै जो अस्तित्व के प्रकार के शब्द का गवाह निकालता है?

12 lo.logic  type-theory  proof-theory 

मुझे हाल ही में क्ले मैथेमेटिक्स इंस्टीट्यूट में स्टीफन ए। कुक द्वारा बताई गई बनाम N P समस्या के बारे में याद दिलाया गया था ।PP\mathsf{P}NPNP\mathsf{NP} इसने मेरी रुचि को बढ़ाया है और मैं इसके बारे में अधिक जानना चाहूंगा। पहला कदम समस्या की गहरी समझ और सामान्य रूप से …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

मैं इस समस्या के लिए एक नाम या किसी संदर्भ की तलाश कर रहा हूं। एक भारित ग्राफ को देखते हुए अप करने के लिए में कोने की एक विभाजन को खोजने n = | वी | सेट एस 1 , ... , एस एन इतनी के रूप में कटौती …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

आज्ञा देना जी एक जुड़ा ग्राफ है। यदि निम्न प्रकार के हैं तो सभी जुड़े हुए सबग्राफ की गिनती की जटिलता क्या है ? जी सामान्य है। जी प्लानर है। जी द्विदलीय है। मैं किसी भी संरचना या ... के बारे में परवाह नहीं है, बस सभी जुड़े उपसमूह को …

12 cc.complexity-theory  graph-theory  counting-complexity 

तर्कों की गणना करके, कोई यह दिखा सकता है कि 1 चर में डिग्री n के बहुपद मौजूद हैं (यानी, का कुछ सर्किट जटिलता एन। इसके अलावा, एक दिखा सकता है कि की तरह एक बहुपद को कम से कम गुणन की आवश्यकता होती है (आपको बस एक उच्च डिग्री …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

सुरेश के लिए कुछ हद तक असंबंधित परियोजना पर काम करते समय मैं हाल ही में पेज-ओपर द्वारा उपयोगकर्ता-संगत प्रणालियों के बारे में किए गए कुछ काम और उनके काम के एक हिस्से के बारे में संक्षेप में चर्चा की गई समस्याओं का वर्णन कर सकता हूं जिन्हें बहुपद समय …

12 cc.complexity-theory  complexity-classes 

क्लिफर्ड समूह क्वांटम ऑपरेटरों की मात्रा आपरेशन द्वारा उत्पन्न होता है: नियंत्रित-जेड , हैडमर्ड , और चरण ( )।= | 0 ⟩ ⟨ 0 | + i | 1 ⟩ ⟨ 1 |=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| केवल इन द्वारों से बना एक सर्किट एक क्लासिकल कंप्यूटर पर कुशलता से …

12 quantum-computing