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

यह मुझे भ्रमित करता है। मतगणना का एक आसान मामला तब है जब निर्णय की समस्या और कोई समाधान नहीं है।पीPP एक व्याख्यान से पता चलता है कि एक द्विपदीय ग्राफ में सही मिलान की संख्या की गणना करने की समस्या (समकक्ष में, एक निर्देशित ग्राफ में चक्र कवर की …

11 cc.complexity-theory  graph-theory 

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

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

BPSPSPACE PSP में है मानक प्रमाण पथ इंटीग्रल्स पर एक Savitch खेल प्रकार विश्लेषण पर निर्भर करता है। हालाँकि, यह मानता है कि BQPSPACE के लिए लम्बे समय तक चलने वाला समय सबसे अधिक समय तक होता है। यह PSPACE के लिए सच है, लेकिन स्वतंत्रता की डिग्री की एक …

11 quantum-computing 

मार्टिन-लोफ प्रकार सिद्धांत पूर्णांक, सूचियों, इत्यादि जैसे आगमनात्मक संरचनाओं को परिभाषित करने के लिए डब्ल्यू-प्रकार का उपयोग करता है, हालांकि, आगमनात्मक निर्माणों की गणना उन्हें उसी तरह से उपयोग नहीं करती है, आगमनात्मक प्रकार वहाँ अधिक हैं जैसे कि स्वयंसिद्ध स्कीमा। क्या ये दोनों दृष्टिकोण समान हैं (वे प्रतीत होते …

11 lo.logic  type-theory 

इसलिए, सेट कवर की समस्या तुच्छ है यदि कोई भी उम्मीदवार प्रत्येक अभिमान को निर्धारित नहीं करता है। हालांकि, क्या होगा यदि किसी भी उम्मीदवार के सेट के लिए प्रतिच्छेदन का आकार अधिकतम 1 पर था? क्या यह समस्या एनपी-हार्ड है? मैं किसी भी अंतर्दृष्टि की सराहना करेंगे। धन्यवाद, गैरेट

11 set-cover 

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

11 soft-question  research-practice 

क्रॉसपोस्ट से मो । आज्ञा देना एक ग्राफ वर्ग है जो निषिद्ध प्रेरित उपसमूहों की एक सीमित संख्या द्वारा परिभाषित किया गया है, जिनमें से सभी चक्रीय हैं (कम से कम एक चक्र होता है)।सीसीC क्या एनपी-हार्ड ग्राफ समस्याएं हैं जो कि क्लोनिक और क्लिक कवर के अलावा लिए बहुपद …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

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

11 quantum-information  communication-complexity  norms 

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

11 functional-programming  semantics 

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

11 cc.complexity-theory  automata-theory  turing-machines 

में मुफ्त के लिए प्रमेयों! , वाडलर का कहना है कि लचर प्राकृतिक परिवर्तनों के संदर्भ में समरूपता के लक्षण वर्णन को फिर से व्यक्त किया जा सकता है और यह आगे के पेपर का विषय होगा। वह किस कागज का जिक्र कर रहा है? पैरामैटिक्टिक के लिए स्पष्ट दृष्टिकोण …

11 reference-request  ct.category-theory  parametricity 

यहां जुंटा सीखने के समान स्वाद के साथ एक समस्या है: इनपुट: एक फंक्शन च: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , एक सदस्यता ओरेकल द्वारा प्रतिनिधित्व किया जाता है, यानी एक ओरेकल जो दिया गया है एक्सxx, रिटर्न च( x )f(x)f(x) …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

क्या आप समस्याओं को जानते हैं, जो कि W [1] हैं- यहां तक ​​कि बाध्य डिग्री ग्राफ के लिए भी? मीट्रिक आयाम अधिकतम 3 पर डिग्री वाले ग्राफ़ पर कठिन है, लेकिन यह डब्ल्यू [2] -हार्ड है। रेड-ब्लू नॉनब्लॉकर बाउंड डिग्री ग्राफ पर डब्ल्यू [1] -हार्ड हुआ करता था, लेकिन …

11 reference-request  parameterized-complexity 

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

11 ds.algorithms  computability 

निम्नलिखित दावा ज्ञात है? दावा : किसी भी ग्राफ के लिए के साथ n कोने की एक रंग वहां मौजूद जी ऐसा है कि हर स्वतंत्र सेट अधिक से अधिक द्वारा रंग है हे ( √GGGnnnGGGरंग।O(n−−√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring