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

एक संभाव्य ट्यूरिंग मशीन को एक अनुचित सिक्के तक पहुंच दें जो प्रायिकता (फ्लिप स्वतंत्र हैं) के साथ सिर आता है । परिभाषित बी पी पी पी के रूप में भाषाओं के वर्ग बहुपद समय में ऐसी मशीन के कारण पहचानी। यह साबित करने के लिए एक मानक अभ्यास है:पीppबी …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

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

10 lo.logic  type-theory  oracles  halting-problem 

यह इस प्रश्न से प्रेरित है । Let सभी कॉम्बीनेटरों का संग्रह हो, जिसमें केवल दो बँधे हुए चर हों। क्या पूर्ण है?सीसीसी\mathcal{C}सीसी\mathcal{C} मेरा मानना ​​है कि उत्तर नकारात्मक है, हालांकि मैं इसके लिए एक संदर्भ नहीं ढूंढ पा रहा था। मुझे कॉम्बिनेटर के सेटों के दहनशील अपूर्णता के प्रमाणों …

10 lo.logic  lambda-calculus  combinatory-logic 

रिवर्स समावेशन स्पष्ट है, जैसा कि यह तथ्य है कि बीपीपी में कोई भी स्व-रिड्यूसबल एनपी भाषा आरपी में भी है। क्या यह गैर-स्व-निरंकुश एनपी भाषाओं के लिए भी जाना जाता है?

10 cc.complexity-theory  derandomization  pseudorandomness 

मुझे संभाव्य ऑटोमेटा का परिचय कहां मिल सकता है और वे क्या पहचानते हैं (शब्दों से कुछ कार्य )? क्या इस तरह के कार्यों के लिए एक मानक शब्द है, जो कि संभाव्य परिमित ऑटोमेटा (डीएफए) के लिए "नियमित भाषाओं" के अनुरूप, संभाव्य ऑटोमेटा द्वारा मान्यता प्राप्त हैं?[ ० , …

10 reference-request  fl.formal-languages  probabilistic-automata 

आज्ञा देना मैट्रिक्स हो परिमित क्षेत्र और , अंतरिक्ष वैक्टर हो । मैं यह तय करने की कम्प्यूटेशनल जटिलता में दिलचस्पी रखता हूं कि क्या जैसे कि , यानी परिमित क्षेत्रों के लिए रैखिक डायनेमिक सिस्टम के लिए रीचैबिलिटी समस्या में।एक एफ 2 = { 0 , 1 } एक्स …

10 cc.complexity-theory  reference-request  linear-algebra 

बाउंड्री ट्रेविद के साथ ग्राफ के कई दिलचस्प वर्ग हैं। उदाहरण के लिए, पेड़ (treewidth 1), श्रृंखला समानांतर रेखांकन (treewidth 2), outerplanar रेखांकन (treewidth 2), -outerplanar रेखांकन (treewidth हे (के)), branchwidth का रेखांकन कश्मीर (treewidth हे (के)), .. ।kkkkkk प्रश्न: क्या रेखांकन के दिलचस्प वर्गों के उदाहरण हैं जिनके ट्रेविद …

10 graph-theory  treewidth 

यह देखते हुए एक द्विपक्षीय ग्राफ सकारात्मक वजन के साथ जाने च : 2 यू → आर के साथ च ( एस ) ग्राफ में अधिकतम वजन मिलान के बराबर जी [ एस ∪ वी ] ।जी = ( यू∪ वी, ई)G=(U∪V,E)G = (U \cup V, E)च: २यू→ आरf:2U→Rf: 2^U …

10 matching  submodularity 

चलो एक हो सममित बहुपद , यानी, एक बहुपद ऐसा है कि च ( एक्स ) = च ( σ ( x ) ) सभी के लिए एक्स ∈ कश्मीर n और सभी क्रमपरिवर्तन σ ∈ एस एन । सुविधा के लिए, हम मान सकते हैं कि K एक परिमित …

10 cc.complexity-theory  permutations  polynomials 

मैं को कम करने में दिलचस्पी रहा हूँ सैट को उदाहरण को ज्यादा बड़ा किए बिना।kkk क्लिक एनपी में है, इसलिए इसे लॉगरिदमिक स्पेस का उपयोग करके एसएटी में कम किया जा सकता है। सीधी गैरे / जॉनसन पाठ्यपुस्तक की कमी उदाहरण के लिए घन आकार तक बढ़ जाती है …

10 cc.complexity-theory  sat  reductions  clique 

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

10 cc.complexity-theory  optimization  examples 

बर्मन-हार्टमैनिस अनुमान: सभी एनपी-पूर्ण भाषा एक जैसे दिखते हैं, इस अर्थ में कि वे एक-दूसरे से संबंधित हो सकते हैं बहुपद समय समरूपता [1]। मुझे "बहुपद समय" के एक अधिक बारीक-बारीक संस्करण में दिलचस्पी है, अर्थात् यदि हम पैरामीटर किए गए कटौती का उपयोग करते हैं। एक पैरामिट्रीकृत समस्या का …

10 complexity-classes  np-complete  fixed-parameter-tractable 

यहां माना जाने वाला ट्रांसड्यूसर वे विकिपीडिया कॉल परिमित राज्य ट्रांसड्यूसर हैं । एक ट्रांसड्यूसर का व्यवहार , अर्थात, वह संबंध, जिसकी गणना करता है, लिखा जाता है [ T ] : एक शब्द y x iff x [ T ] y के लिए एक आउटपुट है ।टीTT[ टी][T][T]yyyएक्सxxx [ …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

निम्नलिखित शब्द (ब्रून्ज़-इंडेक्स का उपयोग करके): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) जब एक चर्च नंबर पर लागू किया जाता है तो Nकई मौजूदा मूल्यांकनकर्ताओं में जल्दी से सामान्य रूप का …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

यह सर्वविदित है कि NP -problems के कुछ वर्गों में डाइकोटॉमी प्रमेय हैं, जो इस बात की गारंटी देते हैं कि कक्षा में प्रत्येक कार्य या तो NP -complete है या P में है । इस तरह के सबसे प्रसिद्ध परिणाम शहाफर के द्विभाजन प्रमेय के साथ-साथ कई सामान्यीकरण भी …

10 cc.complexity-theory  np  descriptive-complexity