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

मैं हाल ही में गणना के बीएसएस मॉडल का अध्ययन कर रहा हूं (उदाहरण के लिए जटिलता और वास्तविक संगणना; ब्लम, कुकर, शुब, स्मेल।) Reals के लिए , यह दिखाया गया है कि, बहुआयामी पद की एक प्रणाली दिया , शून्य का अस्तित्व -Complete। हालांकि, मैं सोच रहा हूँ, अगर …

13 cc.complexity-theory  computing-over-reals 

चलो बहुमत समारोह, यानी होना च ( एक्स ) = 1 यदि और केवल यदि Σ n मैं = 1 एक्स मैं > n / 2 । मैं सोच रहा था कि क्या निम्न तथ्य का एक सरल प्रमाण था ("सरल" से मेरा मतलब है कि संभावनाशील विधि पर निर्भर …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

हाल ही में एक प्रश्न (देखें एनपी = PSPACE के परिणाम ) के "बुरा" परिणामों के लिए कहा । और अन्य सहित , पर विश्वास करने के लिए बहुत सारे कारण प्रदान करते हैं, उत्तर कुछ काफी पतन परिणाम की सूची ।एन पी = ग ओ एन पी एन पी …

13 cc.complexity-theory  complexity-classes  conditional-results 

हम एक अचक्रीय ग्राफ निर्देशित दिया जाता है (प्रत्येक शिखर के साथ जुड़े एक संख्या के साथ छ : वी → एन ), और एक लक्ष्य संख्या टी ∈ एन ।जी = ( वी, ई)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} DAG सबसेट सम प्रॉब्लम (एक अलग नाम के तहत मौजूद हो सकता है, …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

मान लीजिए कि एक ग्राफ । मैं परीक्षण करना चाहते हैं तो दो संबंध तोड़ना सेट में विभाजित किया जा सकता और ऐसी है कि subgraphs से प्रेरित और इकाई अंतराल रेखांकन कर रहे हैं।V V 1 V 2 V 1 V 2G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 मैं अंतराल संख्या निर्धारित करने की एनपी-पूर्णता …

13 graph-theory  partition-problem  interval-graphs 

मान लीजिए कि आप ऐसे प्रोग्रामर से मिल रहे हैं, जिन्होंने कुछ प्रोफेशनल प्रोग्रामिंग कोर्स (/ सेल्फ थिंक) लिए हैं, लेकिन यूनिवर्सिटी स्तर के गणित का अध्ययन नहीं किया है। उन्हें टीसीएस की सुंदरता दिखाने के लिए, मैं टीसीएस से आने वाले कुछ अच्छे परिणाम / खुले प्रश्न इकट्ठा करना …

13 soft-question  big-list  big-picture  teaching 

निम्नलिखित सभी एक साथ पकड़ कर सकते हैं? सभी धनात्मक पूर्णांक s के लिए L s + 1 में समाहित है।एलरोंLsL_sएलs + 1Ls+1L_{s+1}रोंss भर में परिमित शब्द की भाषा है { 0 , 1 } ।ल = ⋃रोंएलरोंL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} कुछ जटिलता वर्ग और C …

13 cc.complexity-theory  complexity-classes  reductions 

में Bundeswettberweb Infomatik 2010/2011, वहाँ एक दिलचस्प समस्या थी: तय लिए , एक न्यूनतम लगता है कश्मीर और एक नक्शा φ : { ( मैं , जे ) | मैं ≤ जे ≤ n } → { 1 , ... , कश्मीर } , कोई ट्रिपल है ऐसा है कि …

13 graph-theory  sat  combinatorics 

सैद्धांतिक कंप्यूटर विज्ञान वास्तव में क्या है? क्या यह विभिन्न भाषाओं में कोड करना और प्लेटफार्मों में एप्लिकेशन बनाना सीख रहा है? या यह सिर्फ तेज और तेज एल्गोरिदम के बारे में सोच रहा है ताकि आप कंप्यूटर द्वारा अधिक कुशलता से एक कार्य प्राप्त कर सकें? या क्या यह …

13 big-picture 

कुछ समय पहले, मैंने ग्राफ़ की समस्याओं के लिए एक संदर्भ अनुरोध पोस्ट किया था, जहां हम किनारों के 2-विभाजन को ढूंढना चाहते हैं, जहां दोनों सेट एक संपत्ति को पूरा करते हैं जो उनकी कार्डिनैलिटी से संबंधित नहीं है। मैं यह साबित करने की कोशिश कर रहा था कि …

13 np-hardness  reductions 

निम्नलिखित समस्या पर विचार करें। इनपुट: एक अप्रत्यक्ष ग्राफ । आउटपुट: एक ग्राफ एच जिनमें से एक नाबालिग है जी के सभी नाबालिगों में सबसे अधिक बढ़त घनत्व के साथ जी , यानी, उच्चतम अनुपात के साथ | ई ( एच ) | / | वी ( एच ) | …

13 graph-theory  graph-algorithms  np-hardness  graph-minor 

इस सवाल के संबंध में यह मेरे लिए आश्चर्य की बात है: सिंगल-टेप सिंगल-हेड ट्यूरिंग मशीन के लिए अपने इनपुट की लंबाई की गणना करने के लिए समय की जटिलता क्या है? विशिष्ट होना करने के लिए, मान लें कि टेप वर्णमाला है चलो , इनपुट में एक स्ट्रिंग है …

13 turing-machines 

अनौपचारिक रूप से, एकतरफा कार्यों को PTIME एल्गोरिदम के संबंध में परिभाषित किया गया है। वे बहुपद समय में कम्प्यूटेशनल हैं लेकिन औसत-मामले बहुपद समय में उलटा नहीं। ऐसे कार्यों का अस्तित्व सैद्धांतिक कंप्यूटर विज्ञान में एक महत्वपूर्ण खुली समस्या है। मुझे एक तरफ़ा कार्यों में दिलचस्पी है (क्रिप्टोग्राफ़िक अनुप्रयोगों …

13 cc.complexity-theory  one-way-function 

चलो की एक बूलियन समारोह होना n बूलियन चर। चलो जी ( x ) = टी ε ( च ) ( एक्स ) की उम्मीद मूल्य होना च ( y ) जब y से प्राप्त होता है एक्स प्रत्येक संभावना के साथ समन्वय स्थापित flipping द्वारा ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

निरंतरता गुजर याद को बदलने (सीपीएस को बदलने) जो लेता है करने के लिए बीटा एक : = आर आर ए (जहां आर तय हो गई है) और च : एक → बी को बीटा च : बीटा एक → बीटा बी द्वारा परिभाषित बीटाएAAβए : = आरआरएβA:=RRA\beta A \mathrel{{:}{=}} …

13 functional-programming  monad  continuations  cps-transforms