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

याद π(n)π(n)\pi(n) अभाज्य संख्या की संख्या ≤n≤n\le n है प्रधानमंत्री की गिनती समारोह । 'पी में अभाज्य संख्या ", कंप्यूटिंग तक π(n)π(n)\pi(n) #P में है। क्या समस्या # P- पूर्ण है? या, शायद, यह मानने की जटिलता है कि यह समस्या # P- पूर्ण नहीं है? PS मुझे एहसास है …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

एक संभवतया संदर्भ-रहित भाषा में लंबाई n के शब्दों की संख्या n wnwnw_n द्वारा निरूपित करें।nnn wnwnw_n बारे में क्या जाना जाता है ? मुझे यकीन है कि यह बहुत अध्ययन किया गया है, लेकिन मुझे इस पर कुछ भी नहीं मिला।

20 fl.formal-languages  context-free 

क्रिप्टोक्यूरेंसी माइनिंग की प्रतीतहीनता ने उपयोगी विकल्पों पर सवाल उठाया, बिटकॉइन , सीएसटी , एमओ पर इन सवालों को देखें । मुझे आश्चर्य है कि एक एल्गोरिथ्म कि व्यावहारिक रूप से किसी भी कम्प्यूटेशनल चुनौती परिवर्तित कर सकते हैं वहाँ मौजूद है या नहीं (जिसका समाधान कुशलतापूर्वक सत्यापित किया जा …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

मेरे दो ऐतिहासिक प्रश्न हैं: सबसे पहले nondeterministic संगणना का वर्णन किसने किया था? मुझे पता है कि कुक ने एनपी-पूर्ण समस्याओं का वर्णन किया, और एडमंड्स ने प्रस्तावित किया कि पी एल्गोरिदम "कुशल" या "अच्छा" एल्गोरिदम हैं। मैंने इस विकिपीडिया लेख को खोजा और "एल्गोरिथ्म के कम्प्यूटेशनल कॉम्प्लेक्सिटी पर" …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

यदि कोई बहुपद समय एल्गोरिथ्म है जो लगभग सभी इनपुट पर सही ढंग से तय करता है तो हमें एक भाषा P -density-close LLLहै जो बताती है ।LLL दूसरे शब्दों में, P , जैसे कि गायब हो रहा है, जिसका अर्थ है इसका अर्थ यह भी है कि एक समान …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

विकिपीडिया उन समस्याओं का उदाहरण देता है जहाँ गिनती संस्करण कठिन है, जबकि निर्णय संस्करण आसान है। इनमें से कुछ सही मिलान गिना रहे हैं, समाधानों की संख्या को 222 -सैट और टॉपोलॉजिकल सॉर्टिंग की संख्या की गिनती कर रहे हैं । क्या कोई अन्य महत्वपूर्ण वर्ग हैं (उदाहरण के …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

यह सर्वविदित है कि पैलिंड्रोम्स को 222 -ट्यूरिंग ट्यूरिंग मशीनों पर रैखिक समय में पहचाना जा सकता है , लेकिन एकल-टेप ट्यूरिंग मशीनों पर (जिस स्थिति में समय की आवश्यकता है, द्विघात)। रैखिक-समय एल्गोरिथ्म इनपुट की एक प्रति का उपयोग करता है, और इस प्रकार एक रैखिक स्थान का भी …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

एक पंजा एक । एक तुच्छ एल्गोरिथ्म समय में एक पंजा का पता लगाएगा । यह में किया जा सकता है , जहां तेज मैट्रिक्स गुणन का प्रतिपादक है, इस प्रकार है: प्रत्येक शीर्ष लिए प्रेरित उपसमूह को लें , और एक त्रिकोण खोजें इसका पूरक है। हे ( एन …

20 graph-theory  graph-algorithms  graph-classes 

एक EXPTIME- पूर्ण समस्या के लिए एक nondeterministic एल्गोरिथ्म कितनी तेजी से ? एक बहुपद समय nondeterministic एल्गोरिथ्म तुरंत इसका मतलब यह होगा क्योंकि लेकिन कोई नहीं मानता कि । यदि मैंने बीजगणित सही किया है (नीचे देखें) समय पदानुक्रम प्रमेय अभी भी लिए निहितार्थ देगा किसी भी सुपरपोलिनोमियल लिए …

20 cc.complexity-theory 

नियमित अभिव्यक्तियों को देखते हुए , क्या के लिए सबसे छोटे संदर्भ-मुक्त व्याकरण के आकार पर कोई गैर-तुच्छ सीमाएं हैं ?आर 1 ∩ ⋯ ∩ आर एनR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

(यह प्रश्न "सर्वेक्षण" का एक सा है।) मैं वर्तमान में एक ऐसी समस्या पर काम कर रहा हूं, जहां मैं एक टूर्नामेंट के किनारों को दो सेटों में विभाजित करने की कोशिश कर रहा हूं, दोनों को कुछ संरचनात्मक गुणों को पूरा करने की आवश्यकता है। समस्या "काफी कठिन" महसूस …

20 cc.complexity-theory  reference-request  np-hardness 

क्या एक टाइप किया हुआ लैम्ब्डा कैलकुलस है जहां करी-हावर्ड पत्राचार के तहत संगत तर्क संगत है, और जहां प्रत्येक कम्प्यूटेशनल फ़ंक्शन के लिए टाइप करने योग्य लैम्ब्डा अभिव्यक्तियाँ हैं? यह वास्तव में एक स्पष्ट प्रश्न है, जिसमें "टाइप किए गए लैम्ब्डा कैलकुलस" की सटीक परिभाषा का अभाव है। मैं …

20 type-theory  lambda-calculus  typed-lambda-calculus  curry-howard 

जबकि Adleman की प्रमेय से पता चलता है, कि , मैं के संभावित रूप से शामिल की जांच किसी भी साहित्य के बारे में पता नहीं कर रहा हूँ । इस तरह के समावेश के क्या जटिलता-सिद्धांत-परिणाम होंगे?बी क्यू पी ⊆ पी / पालीBPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} एडलमैन के …

20 reference-request  quantum-computing  derandomization  conditional-results 

Let सभी नियमित भाषाओं का वर्ग हो।REGREG\mathsf{REG} यह और \ mathsf {REG} \ not \ subset \ mathsf {AC} ^ 0 ज्ञात है । लेकिन क्या \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} में भाषाओं के लिए कोई लक्षण वर्णन है ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap …

20 circuit-complexity  regular-language 

एक hypergraph की लाइन ग्राफ (सरल) ग्राफ है जी के किनारों होने एच के दो किनारों के साथ कोने के रूप में एच में निकट हैं जी अगर वे अरिक्त चौराहे की है। एक हाइपरग्राफ एक r -hypergraph है यदि इसके प्रत्येक किनारे पर अधिकांश आर कोने हैं।HHHGGGHHHHHHGGGrrrrrr निम्नलिखित समस्या …

20 cc.complexity-theory  graph-algorithms  hypergraphs