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

चलो एक वर्ग पूर्णांक मैट्रिक्स हो, और एक सकारात्मक पूर्णांक होना। मुझे निम्नलिखित निर्णय समस्या की जटिलता में दिलचस्पी है:MMMnnn क्या का शीर्ष-सही प्रवेश सकारात्मक है?MnMnM^n ध्यान दें कि पुनरावृत्त वर्ग (या किसी अन्य स्पष्ट गणना) के स्पष्ट दृष्टिकोण के लिए हमें संभावित रूप से दोगुने घातीय परिमाण के पूर्णांक …

26 cc.complexity-theory  linear-algebra  matrices 

मुझे यकीन है कि हर कोई 18 वीं शताब्दी में बफॉन के सुई प्रयोग के बारे में जानता है , यह गणना करने वाले पहले संभावित एल्गोरिदम में से एक है ।ππ\pi कंप्यूटर में एल्गोरिथ्म के कार्यान्वयन आमतौर पर के उपयोग के लिए कहता है , हार की तरह उद्देश्य …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

शिव Kintali सिर्फ एक (शांत!) घोषणा की है कि परिणाम चौड़ाई की घिरे treewidth रेखांकन के लिए ग्राफ समाकृतिकता है -हार्ड≥4≥4\geq 4⊕L⊕L\oplus L । अनौपचारिक रूप से, मेरा सवाल है, "यह कितना कठिन है?" हम जानते हैं कि गैर-समान रूप से , इस प्रश्न के उत्तर देखते हैं । हम …

26 cc.complexity-theory  complexity-classes  logspace 

ग्राफ्स के सक्सेना प्रतिनिधित्व का अध्ययन 1983 से एक पेपर में गैपरिन और विगडरसन द्वारा शुरू किया गया था , जहां वे कई सरल समस्याओं के लिए यह साबित करते हैं कि एक ग्राफ में एक त्रिभुज ढूंढना, -कॉम्प्लेक् स में संबंधित सुसाइड संस्करण । पापादिमित्रिउ और Yanakkakis आगे अनुसंधान …

26 cc.complexity-theory  reference-request  complexity-classes 

मैं एक कंप्यूटर विज्ञान सिद्धांतकार नहीं हूँ, लेकिन लगता है कि यह वास्तविक दुनिया की समस्या यहाँ है। समस्या मेरी कंपनी की देश में कई इकाइयाँ हैं। हमने कर्मचारियों को एक और इकाई पर काम करने की संभावना की पेशकश की। लेकिन एक शर्त है: एक इकाई पर श्रमिकों की …

26 ds.algorithms  graph-algorithms  application-of-theory 

विकिपीडिया पर कौन से लापता TCS विषय हैं जो आप सबसे अधिक पसंद करेंगे? वे झलक मिल सकती हैं या आप केवल उन विषयों पर सोचते हैं जो वास्तव में एक लेख होना चाहिए। प्रति उत्तर एक विषय कृपया ताकि सबसे अधिक चाहने वालों को वोट दिया जा सके। अपडेट …

26 soft-question  big-list  survey 

एक नियमित भाषा (NFA, DFA, व्याकरण, या regex) को देखते हुए, किसी दिए गए भाषा में शब्दों को स्वीकार करने की संख्या को कैसे गिना जा सकता है? दोनों "बिल्कुल एन अक्षरों के साथ" और "अधिकांश एन पत्रों के साथ" रुचि के हैं। मार्गरेटा एकरमैन के पास एनएफए द्वारा स्वीकार …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

क्या संपत्ति के साथ ग्राफ़ के वर्ग के बारे में कुछ ज्ञात है कि सभी अधिकतम स्वतंत्र सेटों में समान कार्डिनैलिटी है और इसलिए अधिकतम आईएसएस हैं? उदाहरण के लिए, विमान में बिंदुओं का एक सेट लें और सेट में बिंदुओं के जोड़े के बीच सभी खंडों के बीच के …

26 graph-theory  co.combinatorics 

यह cstheory स्टैक पर मेरा पहला सवाल है, इसलिए अगर मैं किसी तरह शिष्टाचार का उल्लंघन कर रहा हूं तो बहुत कठोर मत बनो) जैसा कि हम जानते हैं, गणित में भी प्रसिद्ध गणितज्ञ, सुपरस्टार और जीनियस समय-समय पर गंभीर गलतियां कर रहे हैं। उदाहरण के लिए, 4-रंग प्रमेय और …

26 soft-question  big-list 

यह सवाल स्टैक ओवरफ्लो से माइग्रेट किया गया था क्योंकि इसका उत्तर सैद्धांतिक कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 8 साल पहले पलायन कर गए । यह देखते हुए कि करी-हावर्ड पत्राचार इतनी व्यापक रूप से फैला हुआ है / विस्तारित है, क्या सबूत और कार्यक्रमों (या …

26 lo.logic  pl.programming-languages 

एक मशीन को एक यादृच्छिक बूलियन फ़ंक्शन , और दो फूरियर स्पेक्ट्रा और तक पहुंच प्रदान की जाती है ।PHPHPHf:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \}ggghhh किसी फ़ंक्शन का फूरियर स्पेक्ट्रा को : के रूप में परिभाषित किया गया हैfffF:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

क्या आप जानते हैं कि एनपी अनुकूलन समस्याओं के लिए समर्पित कोई विकी अप करने के लिए उनके सर्वश्रेष्ठ सन्निकटन और कठोरता के परिणाम के साथ है? प्रतिक्रिया के आधार पर, ऐसा लगता है कि यह मानना ​​सुरक्षित है कि ऐसा कोई संसाधन नहीं है (दो करीबी विकल्पों के लिए …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

3CNF सूत्र CCC लिए C केM(C)M(C)M(C) किसी भी असाइनमेंट में संतुष्ट क्लॉज की अधिकतम संख्या CCC । यह ज्ञात है कि अधिकतम 3SAT (पी ≠ एनपी के अधीन), यानी कोई polytime एल्गोरिथ्म जिसका इनपुट एक 3CNF सूत्र है अनुमान लगाने के लिए मुश्किल है CCC , और जिसका उत्पादन होता …

26 cc.complexity-theory  sat 

मैं इस तरह के किसी भी मॉडल के बारे में नहीं सोच सकता, शायद टाइप किए हुए लंबो कैलकुलस का कोई रूप? कुछ प्राथमिक सेलुलर ऑटोमेटन? यह वुल्फराम के "कम्प्यूटेशनल इक्वलेंस का सिद्धांत" को लगभग नापसंद करेगा : लगभग सभी प्रक्रियाएं जो स्पष्ट रूप से सरल नहीं हैं, उन्हें समान …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

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

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel