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

Let वजन समारोह के साथ एक ग्राफ होना । अधिकतम कटौती की समस्या को ढूंढना है: यदि वजन समारोह गैर-ऋणात्मक है (यानी w (e) \ geq 0 के लिए सभी e \ E में ), तो अधिकतम-कट के लिए कई अत्यंत सरल 2-सन्निकटन हैं। उदाहरण के लिए, हम कर सकते …

35 ds.algorithms  graph-theory  approximation-algorithms  max-cut 

जब हम मानक पाठ्यपुस्तकों, या परंपरा का पालन करते हैं, तो हम में से अधिकांश एल्गोरिथम वर्ग के पहले कुछ व्याख्यानों में बड़े-ओह संकेतन की निम्नलिखित परिभाषा सिखाते हैं: शायद हम पूरी सूची भी इसके सभी क्वांटिफायर के साथ दें:f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } …

35 ds.algorithms  soft-question  teaching 

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

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

कॉम्प्लेक्सिटी ज़ू, EXP पर प्रविष्टि में इंगित करता है कि यदि L = P तब PSPACE = EXP। चूँकि NPSPACE = सेविक द्वारा PSPACE , जहाँ तक मैं बता सकता हूँ अंतर्निहित गद्दी तर्क यह दर्शाने के लिए विस्तारित है कि हम यह भी जानते हैं कि रुज़ो के संसाधन-बाउंड …

35 cc.complexity-theory  conditional-results 

जटिलता में सबसे आश्चर्यजनक परिणाम क्या थे? मुझे लगता है कि अप्रत्याशित / आश्चर्यजनक परिणामों की एक सूची होना उपयोगी होगा। इसमें दोनों परिणाम शामिल हैं जो आश्चर्यजनक थे और कहीं से भी निकले और ऐसे परिणाम भी निकले जो लोगों की अपेक्षा से भिन्न थे। संपादित करें : गैस्पारिटी …

35 cc.complexity-theory  big-list 

साइट पर सबसे चर्चित प्रश्नों में से एक यह रहा है कि चर्च-ट्यूरिंग थीसिस को अस्वीकार करने का क्या मतलब होगा । यह आंशिक रूप से इसलिए है क्योंकि Dershowitz और Gurevich ने 2008 में चर्च-ट्यूरिंग थीसिस का एक साक्ष्य प्रकाशित किया था, जो प्रतीकात्मक तर्क का बुलेटिन है। (मैं …

35 soft-question  lo.logic  church-turing-thesis 

बहुत से लोग मानते हैं कि । हालाँकि हम केवल यह जानते हैं कि बहुपद पदानुक्रम के दूसरे स्तर में है, यानी । को दिखाने की दिशा में एक कदम पहले इसे बहुपदीय पदानुक्रम के प्रथम स्तर पर लाने का है, यानी ।BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

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

34 soft-question  ho.history-overview 

एक आमतौर पर एनपी-कठिन समस्याओं के समाधान (गारंटी के साथ) के बारे में सोचता है। क्या पी में पहले से ही ज्ञात समस्याओं के बारे में कोई शोध चल रहा है? यह कई कारणों से एक अच्छा विचार हो सकता है। मेरे सिर के ऊपर, एक सन्निकटन एल्गोरिथ्म एक बहुत …

34 ds.algorithms  approximation-algorithms 

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

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

अपने अकादमिक करियर में, मैंने विभिन्न कंप्यूटर विज्ञान विषयों पर कुछ अकादमिक पेपर पढ़े हैं। जिनमें से कई में कार्यान्वयन और उस कार्यान्वयन के कुछ मूल्यांकन शामिल हैं, फिर भी मैंने पाया है कि उनमें से बहुत से वास्तव में उनके द्वारा उपयोग किए गए कोड को प्रकाशित करते हैं। …

34 soft-question  research-practice  paper-review 

लगता है कि यह एक सामान्य प्रश्न नहीं है, लेकिन अगर किसी ने ऐसी सामग्री देखी है, जो सोच रही थी कि इस दर्शकों को सार्थक तरीके से संबोधित किया जाए।

34 soft-question  teaching 

क्या कोई डेटा संरचना है जो nnn आइटमों की अनियंत्रित सारणी लेती है , में प्रीप्रोसेसिंग करती है O(n)O(n)O(n)और प्रश्नों का उत्तर देती है: क्या सूची में कुछ तत्व xxx , बुरे समय में प्रत्येक क्वेरी O(logn)O(log⁡n)O(\log n) ? मुझे वास्तव में लगता है कि ऐसा नहीं है, इसलिए इस …

34 ds.data-structures  sorting 

समस्या, निश्चित रूप से, दोहरी गिनती है। यह DAGs के कुछ वर्गों = एक पेड़, या यहां तक ​​कि एक धारावाहिक-समानांतर पेड़ के लिए करना काफी आसान है। एकमात्र एल्गोरिथ्म मैंने पाया है जो उचित समय में सामान्य डीएजी पर काम करता है, एक अनुमानित एक (सिनॉप्सिस डिफ्यूजन) है, लेकिन …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

मैं यह समझना चाहूंगा कि अरोरा-काले एसडीपी सॉल्वर ने लगभग रेखीय समय में गोमांस-विलियमसन विश्राम को कैसे अंजाम दिया, कैसे प्लोटकिन-शमॉयस-टार्डोस सॉल्वर ने आंशिक "पैकिंग" और "लगभग रैखिक समय में" और "एल्गोरिदम" इन समस्याओं को कवर किया। अमूर्त ढांचे के "विशेषज्ञों से सीखने" की तात्कालिकता है। केल की थीसिस की …

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming