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

सामान्य तौर पर हम जानते हैं कि परीक्षण की जटिलता किसी इनपुट पर दिए गए इनपुट पर फ़ंक्शन का मूल्यांकन करने की तुलना में किसी विशेष इनपुट पर एक विशेष मूल्य लेती है या नहीं। उदाहरण के लिए: एक नॉनजेगेटिव पूर्णांक मैट्रिक्स के स्थायी का मूल्यांकन # पी-हार्ड है, फिर …

36 cc.complexity-theory  reference-request  algebraic-complexity 

यहां तक ​​कि कंप्यूटर विज्ञान की पृष्ठभूमि वाले किसी व्यक्ति से पूछें कि एक नियमित अभिव्यक्ति क्या है, और इसका उत्तर एक परिमित-राज्य ऑटोमेटन की पहुंच के दायरे से बाहर जाने की संभावना है। उदाहरण के लिए, "नियमित अभिव्यक्ति" /^1?$|^(11+?)\1+$/ विख्यात पर्ल व्यक्तित्व अबीगैल द्वारा निर्मित (और 2002 से पर्ल …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

मैं वर्तमान में विश्वविद्यालय [कंप्यूटर विज्ञान] पर शुरू कर रहा हूं और वहां हमारे पास शोध शुरू करने के लिए बहुत सारे अवसर हैं। इस वेबसाइट को खोजने से पहले, मेरा इस तरह से जाने का कोई इरादा नहीं था [मैं एआई के साथ काम करना चाहता था, शायद खेल …

36 soft-question  career 

मुझे प्रसिद्ध 15-पहेली के प्राकृतिक सामान्यीकरण में दिलचस्पी है , जहां आपको ब्लॉक को स्लाइड करना होगा जब तक कि आपने सभी दिए गए नंबरों को छांट नहीं लिया हो (बेकार में 1 ब्लॉक का अंतर होता है)। अब सामान्यीकरण 15 से तक की पहेली के आकार को विस्तारित करने …

35 cc.complexity-theory  np  np-complete 

Coq में प्रूफ अप्रासंगिक प्रस्तावों का एक प्रकार है जो निष्कर्षण के दौरान खारिज कर दिया जाता है। यदि हम केवल प्रमाणों के लिए Coq का उपयोग करते हैं तो इसके होने के क्या कारण हैं। Prop, impredicative है, इसलिए Prop: Prop, हालाँकि, Coq स्वचालित रूप से ब्रह्मांड अनुक्रमणिका को …

35 coq  dependent-type 

संक्षेप में, सवाल यह है: ArXiv के लिए कम से कम publishable इकाई क्या है? विशेष रूप से ब्याज ऐसे क्षेत्र हैं जो क्वांटम कंप्यूटिंग जैसे बड़े पैमाने पर ArXiv का उपयोग करते हैं। लेकिन अन्य क्षेत्रों और प्रीप्रिंट सर्विसेज (जैसे, ECCC और ePrint) की टिप्पणियां भी स्वागत योग्य हैं। …

35 soft-question  advice-request  research-practice  paper-review 

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

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

इसलिए, ब्लूम फ़िल्टर करता है बहुत अच्छे हैं - वे ऐसे सेट हैं जो बिना किसी गलत नकारात्मक के सदस्यता की जाँच का समर्थन करते हैं, लेकिन झूठे सकारात्मक की एक छोटी संभावना है। हाल ही में, मैं एक "ब्लूम फ़िल्टर" चाह रहा हूं जो विपरीत की गारंटी देता है: …

35 ds.data-structures 

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

35 cc.complexity-theory  randomness  open-problem  nt.number-theory 

कम्प्यूटेशनल जटिलता में कम्प्यूटेशनल समस्याओं के समय या अंतरिक्ष जटिलता का अध्ययन शामिल है। मोबाइल कंप्यूटिंग के दृष्टिकोण से, ऊर्जा बहुत मूल्यवान कम्प्यूटेशनल संसाधन है। तो, क्या ट्यूरिंग मशीनों का एक अच्छी तरह से अध्ययन किया गया अनुकूलन है जो एल्गोरिदम के निष्पादन के दौरान खपत ऊर्जा का खाता है। …

35 cc.complexity-theory  physics 

चेरनॉफ़ बाउंड ( रैंडमाइज्ड अल्गोरिद्म टेक्स्टबुक से) का मानक प्रमाण मार्कोव असमानता और पल उत्पन्न करने वाले कार्यों का उपयोग करता है, जिसमें टेलर के एक बिट के साथ विस्तार किया जाता है। कुछ भी मुश्किल नहीं है, लेकिन कुछ यांत्रिक है। लेकिन अन्य चेरनॉफ बाउंड प्रूफ हैं जो परिणाम …

35 big-list  proofs 

मैं कंप्यूटर विज्ञान का अध्ययन करने वाले एक नए व्यक्ति हूं और मुझे पहले से ही पता है कि मैं सैद्धांतिक कंप्यूटर विज्ञान के फोकस के साथ शिक्षा में जाना चाहता हूं। मैंने पहले ही इस प्रश्न में संदर्भित कुछ पत्रों को पढ़ा और इस प्रश्न ने मुझे और आश्वस्त …

35 soft-question  advice-request  career 

आज्ञा देना निश्चित सकारात्मक पूर्णांक आकार बिट्स।AAAnnn इस पूर्णांक को पूर्व-संसाधित करने के लिए एक को उपयुक्त माना जाता है। आकार बिट्स के एक और सकारात्मक पूर्णांक को देखते हुए , गुणा की जटिलता क्या है ?BBBmmmABABAB ध्यान दें कि हमारे पास पहले से ही एल्गोरिदम है। यहाँ प्रश्न यह …

35 cc.complexity-theory  ds.algorithms  circuit-complexity  algebraic-complexity  arithmetic-circuits 

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

35 cc.complexity-theory  complexity-classes  big-picture 

समस्या बहुपद गणना करने के लिए है । मान लें कि सभी गुणांक एक मशीन शब्द में फिट होते हैं, अर्थात इकाई समय में हेरफेर किया जा सकता है।(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) आप एक पेड़ के फैशन में एफएफटी लागू करके समय कर …

35 ds.algorithms  reference-request  open-problem  polynomials