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

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

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

क्या में NP ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

मुझे दिलचस्पी है कि अगर कोई अच्छा एक्सपोज़ररी लेख या सर्वेक्षण मौजूद है, जिसका मैं उल्लेख कर सकता हूं जब मैं जटिलता वर्ग के ऑपरेटरों के बारे में लिखता हूं : ऑपरेटर जो कि जटिलता मात्राओं को बदलकर करते हैं जैसे कि उन्हें मात्रात्मक जोड़ना। ऑपरेटरों के उदाहरण निम्नलिखित को …

16 reference-request  complexity-classes 

एक किनारे कवर ऐसी है कि ग्राफ के हर शिखर कवर का कम से कम एक किनारे के निकट है एक ग्राफ के किनारों का एक सबसेट है। निम्नलिखित दो पेपर कहते हैं कि बढ़त कवरों की गिनती #P -complete : बढ़त के कवर के लिए एक साधारण FPTAS और …

16 reference-request  graph-algorithms  counting-complexity  proofs 

पदानुक्रम प्रमेय मूलभूत उपकरण हैं। उनमें से एक अच्छी संख्या पहले के प्रश्न में एकत्र की गई थी (देखें कि पदानुक्रम और / या पदानुक्रम प्रमेय क्या आप जानते हैं? )। कुछ जटिलता वर्ग अलगाव सीधे पदानुक्रम प्रमेयों से आते हैं। ऐसे प्रसिद्ध अलगाव के उदाहरण: ,L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXP , …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

जब हम पुस्तक को देखते हैं , तो होममोटी टाइप थ्योरी - हम निम्नलिखित विषयों को देखते हैं: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product …

16 type-systems 

अस्पष्ट परिमित ऑटोमेटन (UFA) विशेष प्रकार के गैर-नियतात्मक परिमित ऑटोमेटन (NFA) हैं। एक NFA कहा जाता है स्पष्ट करता है, तो हर शब्द अधिकतम एक बार स्वीकार कर मार्ग होता है।डब्ल्यू ∈ Σ*w∈Σ*w\in \Sigma^* इसका मतलब यह है ।डी एफA ⊂ यूएफA ⊂ एनएफएडीएफए⊂यूएफए⊂एनएफएDFA\subset UFA\subset NFA ज्ञात संबंधित ऑटोमेटन परिणाम: …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

मैं उन समस्याओं की तलाश कर रहा हूं, जिन्हें निर्देशित ग्राफ़ के लिए एनपीसी जाना जाता है, लेकिन अप्रत्यक्ष ग्राफ़ के लिए एक बहुपद एल्गोरिथ्म है। मैंने यहाँ "डाइरेक्टेड" समस्याओं के बारे में अन्य तरीकों के बारे में प्रश्न देखा है जो उनके "अप्रत्यक्ष" संस्करण की तुलना में आसान हैं …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

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

16 cc.complexity-theory  p-vs-np 

गैर-ऋणात्मक पूर्णांकों में रैखिक डायोफैंटीन समीकरण को हल करने की एनपी-पूर्ण समस्या पर केवल बहुत कम जानकारी मुझे मिल सकती है। यह कहना है, क्या गैर-नकारात्मक में एक समाधान है । । । , X n समीकरण को एक 1 एक्स 1 + एक 2 x 2 + । । …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

कॉर्नेल और गोटलिब द्वारा ग्राफ आइसोमोर्फिज्म के लिए एक कुशल एल्गोरिथम पेपर में , 1970 में एक अनुमान लगाया गया था, जिस पर उल्लिखित एल्गोरिथ्म बहुपद समय में जीआई को हल करने के लिए निर्भर था। अर्थात्: प्रतिनिधि ग्राफ दिए गए ग्राफ के विभाजन को दर्शाता है जाहिर है, यह …

16 graph-isomorphism  automorphism 

कोई भी प्लानर , क्रमशः, एक्सप्लेनार ग्राफ संतुष्ट करता है , क्रमशः, , हर उपसमूह के । इसके अलावा, (बाहरी) प्लेनर रेखांकन को बहुपद समय में पहचाना जा सकता है।G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3G′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG क्या बारे में ग्राफ़ में जाना जाता है ऐसा है कि (resp। | ई ' | ≤ 2 …

16 reference-request  graph-theory  graph-algorithms 

मुझे एक उपन्यास टीसीएस हाई स्कूल कार्यक्रम सिखाने की पेशकश की गई थी, जिसमें एक पाठ्यक्रम के निर्माण की आवश्यकता होती है। मैं इस बारे में राय और सुझाव सुनना बहुत पसंद करूंगा। सबसे पहले, क्या किसी को उच्च विद्यालयों के बारे में पता है जहां एक टीसीएस कार्यक्रम सफलतापूर्वक …

16 teaching 

असतत लघुगणक के लिए अर्ध-बहुपद एल्गोरिथ्म का दावा करते हुए एक नया पेपर सामने आया। http://arxiv.org/abs/1306.4244 यदि सही है, तो क्या इसका मतलब है कि अब हमारे पास असतत लघुगणक समस्या के लिए एक शास्त्रीय एल्गोरिथ्म की जटिलता और इसके क्वांटम संस्करण में एक घातीय पृथक्करण नहीं है? क्या इसका …

16 cc.complexity-theory 

यह प्रश्न संभवतः ऑन-टॉपिक और ऑफ़-टॉपिक के बीच की सीमा रेखा पर है, हालाँकि मैंने यहाँ इसी तरह के प्रश्न देखे हैं, इसलिए मैं इसे पूछूँगा। मैं एक अनोखा -SAT सॉल्वर लागू कर रहा हूं , जिसका इनपुट -CNF फॉर्मूला है जिसमें अधिकतम संतोषजनक असाइनमेंट है। इसके व्यावहारिक व्यवहार का …

16 sat