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

Tc के लिए abc अनुमान का क्या प्रमाण होगा ? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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

24 soft-question  big-picture 

यह इस सवाल से संबंधित है कि क्या प्रत्येक एनपी भाषा के लिए साक्षी की सदस्यता का आकार पहले से ही ज्ञात है? कुछ प्राकृतिक ( ) समस्याओं में रैखिक लंबाई के गवाह होते हैं: लिए एक संतोषजनक असाइनमेंट , लिए कोने का क्रम , आदि।NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH जटिलता वर्ग " को …

24 cc.complexity-theory  complexity-classes  np 

EDIT (v2): मैं समस्या के बारे में जो कुछ भी जानता हूं उसके अंत में एक खंड जोड़ा गया। EDIT (v3): अंत में थ्रेशोल्ड डिग्री पर जोड़ा गया चर्चा। सवाल यह प्रश्न मुख्य रूप से एक संदर्भ अनुरोध है। मैं समस्या के बारे में ज्यादा नहीं जानता। मैं जानना चाहता …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

किसी भी भाषा के लिए से अधिक Σ * , परिभाषित एल 1 / 2 = { x ∈ Σ * : एक्स वाई ∈ एल , y ∈ Σ | x | } । शब्दों में, एल 1 / 2 सभी के होते हैं एक्स जिसके लिए वहाँ एक …

24 fl.formal-languages  automata-theory 

एक प्रतिष्ठा है, कि कंप्यूटर विज्ञान में, हमारे पास लोकप्रिय विज्ञान की किताबें नहीं हैं। बेशक यह वास्तव में सच नहीं है! (सूची की समान भावना में व्हाट बुक्स सभी को पढ़ना चाहिए? , सभी को कौन से पेपर पढ़ने चाहिए ? , सभी लोकप्रिय गणित की पुस्तक से कौन …

24 big-list  books 

संपादित करें: मैंने पहले अपने अवरोध (2) को गलत बताया, अब इसे ठीक कर लिया गया है। मैंने और जानकारी और उदाहरण भी जोड़े। कुछ सहयोगियों के साथ, कुछ अन्य एल्गोरिदमिक प्रश्न का अध्ययन करते हुए, हम अपनी समस्या को निम्न दिलचस्प समस्या तक कम करने में सक्षम थे, लेकिन …

24 cc.complexity-theory  ds.algorithms  reference-request 

में "क्वांटम गणना के लिए आवश्यकता" , बार्टलेट और सैंडर्स निम्न तालिका में निरंतर चर क्वांटम गणना के लिए जाना जाता परिणामों में से कुछ को संक्षेप: मेरा प्रश्न तीन गुना है: नौ साल बाद, क्या अंतिम सेल को भरा जा सकता है? यदि "BQP के लिए यूनिवर्सल" शीर्षक के …

24 quantum-computing 

यह अच्छी तरह से स्थापित है कि क्वांटम कम्प्यूटेशन के लिए एक शोर थ्रेशोल्ड मौजूद है, जैसे कि इस थ्रेशोल्ड के नीचे, गणना को इस तरह से एन्कोड किया जा सकता है कि यह सही परिणाम को बाध्य संभावना (अधिकांश बहुपद कम्प्यूटेशनल ओवरहेड के साथ) प्राप्त करता है। यह थ्रेशोल्ड …

24 quantum-computing  reference-request  fault-tolerance 

दिए गए nnn सबसेट S1,…,SnS1,…,SnS_1,\ldots,S_n का {1,…,d}{1,…,d}\{1,\ldots,d\} । Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j इस समस्या का तुच्छ समाधान में एक जोड़ी के लिए सेट और चेक शामिल किए जाने के सभी जोड़े के माध्यम से जाता है , इसलिए समग्र रनटाइम ओ (एन ^ 2 डी) है । क्या इस समस्या को …

24 ds.algorithms  reference-request 

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

24 ds.algorithms  reference-request  lo.logic  sat 

स्थिर विवाह समस्या: http://en.wikipedia.org/wiki/Stable_marriage_problem मुझे पता है कि एसएमपी के उदाहरण के लिए, गेल-शप्पी एल्गोरिथ्म द्वारा लौटाए गए के अलावा कई अन्य स्थिर विवाह संभव हैं। हालांकि, अगर हमें केवल , पुरुषों / महिलाओं की संख्या दी जाती है, तो हम निम्नलिखित प्रश्न पूछते हैं - क्या हम एक वरीयता …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

टाइपिंग और प्रोग्रामिंग लैंग्वेज सबटाइपिंग पर काफी ध्यान केंद्रित करता है, लेकिन जहां तक ​​मैं बता सकता हूं, सबटाइपिंग विशेष रूप से मौलिक नहीं लगती है। क्या सबटाइपिंग आपको निर्भर प्रकारों से अधिक कुछ भी देती है? आश्रित प्रकार के साथ काम करना अधिक काम करने के लिए बाध्य है, …

24 lo.logic  pl.programming-languages  type-theory 

एक ग्राफ एच एक कोर है अगर एच से स्वयं के लिए कोई भी होमोर्फिज्म एक आक्षेप है। G का एक उपसमूह H, G का एक कोर है यदि H एक कोर है और G से H तक एक समरूपता है। http://en.wikipedia.org/wiki/Core_%28graph_theory%29 एक ग्राफ जी को देखते हुए, इसके मूल …

24 ds.algorithms  graph-theory  graph-algorithms 

एक द्विदलीय ग्राफ में सही मिलान की संख्या की गणना करना, स्थायी की गणना करने के लिए तुरंत reducible है। चूंकि गैर-द्विपदीय ग्राफ में परिपूर्ण मिलान ढूंढना एनपी में है, इसलिए गैर-द्विदलीय ग्राफ से स्थायी में कुछ कमी मौजूद है , लेकिन इसमें कुक की सैट की कमी का उपयोग …

24 graph-theory  counting-complexity  reductions  permanent