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

जब मैं पूंछ सीमा सिखाता हूं, तो मैं सामान्य प्रगति का उपयोग करता हूं: यदि आपका आरवी पॉजिटिव है, तो आप मार्कोव की असमानता को लागू कर सकते हैं यदि आपके पास स्वतंत्रता है और यह भी विचरण करता है, तो आप चेबीशेव की असमानता को लागू कर सकते हैं …

21 reference-request  pr.probability  randomized-algorithms 

यह एक क्लासिक परिणाम है कि हर फैन-इन 2 और-और-नॉट सर्किट जो इनपुट चर से PARITY की गणना करता है, उसका आकार कम से कम और यह तेज है। (हम आकार को AND और OR गेटों की संख्या के रूप में परिभाषित करते हैं।) प्रमाण गेट-उन्मूलन द्वारा है और अगर …

21 cc.complexity-theory  circuit-complexity  parity 

शोर ने कहा, इस सवाल के गुमनाम मौन के जवाब में अपनी टिप्पणी में क्या आप बहुपद समय में दो क्रमपरिवर्तन की राशि की पहचान कर सकते हैं? , कि यह दो क्रमपरिवर्तन के अंतर की पहचान करने के लिए -complete है। दुर्भाग्य से, मैं क्रमचय समस्या से एक सीधी …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

तेजी से गुणा करने के लिए Karatsuba की एल्गोरिथ्म पहली बार A. Karatsuba और Yu में प्रकाशित हुई थी। ओनमैन (1962), "ऑटोमैटिक कम्प्यूटर्स द्वारा कई-डिजिटल नंबरों का गुणन", यूएसएसआर एकेडमी ऑफ साइंसेज 145: 293-294 की कार्यवाही। के अनुसार Karatsuba (1995, "संगणना की जटिलता", । गणित के प्रोक Steklov संस्थान 211: …

21 ho.history-overview 

जब 000 - 111 इनपुट तक सीमित है , तो हर { + , × }{+,×}\{+,\times\} -circuit F ( x 1 , … , x n )F(x1,…,xn)F(x_1,\ldots,x_n) कुछ फ़ंक्शन F : { 0 , 1 } n → N की गणना करता है F:{0,1}n→NF:\{0,1\}^n\to \mathbb{N}। बूलियन फ़ंक्शन प्राप्त करने के …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

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

21 cg.comp-geom 

f(n)f(n)f(n) ग >limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 यह स्पष्ट है कि किसी भी भाषा L∈PL∈PL\in {\mathsf P} यह L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) में प्रत्येक सुपरपोलीनोमियल टाइम बाउंड f(n)f(n)f(n) । मुझे आश्चर्य है, इस कथन का उलटा अर्थ भी सही है? यही कारण है, अगर हम जानते हैं कि L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) के लिए हर …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

मुझे पता है कि वाई कॉम्बिनेटर आदिम के बिना टाइप किए गए लंबोदी की अधिकांश किस्मों की जटिलता को बांधा जाता है, अर्थात बंधे हुए जटिलता के केवल कार्यों को व्यक्त किया जा सकता है, बाउंड बड़ा होने के साथ ही टाइप सिस्टम की जटिलता बढ़ती है। मुझे याद है …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

वहाँ एक (उचित) जिस तरह से नमूने के लिए एक समान रूप से यादृच्छिक बूलियन समारोह है च: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} जिसका डिग्री कोई वास्तविक बहुपद अधिक से अधिक है के रूप में घdd ? संपादित करें: निसान और Szegedy पता …

21 randomness  boolean-functions  bounded-degree 

पर विचार करें भाषा ।EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} यह ज्ञात है कि को किसी भी सबलोगैरिथिक-स्पेस अल्टरनेटिंग ट्यूरिंग मशीन (ATM) (Szepietowski, 1994) द्वारा मान्यता नहीं दी जा सकती है । (सदस्यों के लिए सबलोगेरथमिक स्पेस का उपयोग करने वाला एक एटीएम है, लेकिन सभी …

21 space-bounded  polynomial-time 

पृष्ठभूमि: चलो एक अनिर्दिष्ट ग्राफ के दो कोने हो । एक शीर्ष सेट एक -separator है यदि और विभिन्न जुड़े हुए घटकों से संबंधित हैं । यदि कोई -separator का उचित उपसमूह नहीं है -separator है तो एक न्यूनतम -separator है। एक सेट एक (न्यूनतम) विभाजक है अगर वहाँ मौजूद …

21 reference-request  graph-theory  graph-algorithms 

ठीक है, यह एक होमवर्क प्रश्न की तरह लग सकता है और, एक अर्थ में, यह है। एक स्नातक एल्गोरिदम कक्षा में एक होमवर्क असाइनमेंट के रूप में, मैंने निम्नलिखित क्लासिक दिया: एक अप्रत्यक्ष ग्राफ़ को देखते हुए , एक एल्गोरिथ्म दें जो कट जैसे कि , where कट को …

21 graph-algorithms  max-cut  greedy-algorithms 

करने के लिए Accoring किलोवाट रेगन के लेख "कनेक्ट सितारे" , वह अंत है कि यह अभी भी एक खुला समस्या ऐसी है कि इसके अलावा, गुणा, और तुलना संचालन रैखिक समय में गणनीय हैं पूर्णांकों का प्रतिनिधित्व मिल रहा है पर उल्लेख है: क्या पूर्णांकों का प्रतिनिधित्व मौजूद है …

21 ds.algorithms  ds.data-structures  worst-case 

ऐसे कई स्थान हैं जहाँ संख्याएँ और दिखाती हैं। मैं उन एल्गोरिदम के बारे में जानने के लिए उत्सुक हूं जिनके चल रहे समय में घातांक में स्वर्ण अनुपात या है।( 1 + √ππ\piπ(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

एक में कार्तीय बंद श्रेणी ( सीसीसी ), वहाँ तथाकथित मौजूद घातीय वस्तुओं , लिखा । जब CCC को बस टाइप किए गए -calculus के मॉडल के रूप में माना जाता है , तो जैसी एक घातीय वस्तु प्रकार से टाइप तक के फंक्शन स्पेस की विशेषता होती है । …

21 type-theory  lambda-calculus  ct.category-theory