reference-request पर टैग किए गए जवाब

मैं ऐसी भाषाओं की तलाश कर रहा हूं जो "शायद प्रसंग-मुक्त नहीं हैं" लेकिन हम ज्ञात मानक तकनीकों का उपयोग करके इसे (डिस) साबित नहीं कर पा रहे हैं। क्या हाल ही में एक सम्मेलन से इस विषय पर एक सर्वेक्षण या एक खुली समस्या अनुभाग है? संभवतः ऐसी कई …

21 reference-request  big-list  context-free 

मुझे अपने शोध के दौरान निम्नलिखित परिणाम मिले। limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 जहां m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) और a1,⋯,ama1,⋯,ama_1,\cdots,a_m को [n] से यादृच्छिक पर चुना जाता है [n][n][n]। मैं एक संदर्भ / प्रत्यक्ष प्रमाण की तलाश में हूं। क्रॉसपोस्ट पर मो

21 reference-request  co.combinatorics  pr.probability 

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

21 reference-request  pr.probability  randomized-algorithms 

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

21 reference-request  graph-theory  graph-algorithms 

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

21 reference-request  big-list 

निम्नलिखित तर्क पर विचार करें: चलो K(x)K(x)K(x) निरूपित Kolmogorov जटिलता की स्ट्रिंग । चैतीन का अधूरापन प्रमेय कहता हैxxx किसी भी सुसंगत और पर्याप्त मजबूत औपचारिक प्रणाली के लिए , वहाँ एक निरंतर मौजूद है (केवल औपचारिक प्रणाली और उसके भाषा के आधार पर) ऐसी है कि किसी भी तार …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

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

21 reference-request  lo.logic  coq 

हाल ही में, मैंने क्रमबद्ध गैर-संख्‍यात्‍मक संख्‍याओं की सूची के अनुमानित योग के लिए समस्‍या पर काम किया। किसी निश्चित के लिए ϵ>0ϵ>0\epsilon>0 , एक O(logn)O(log⁡n)O(\log n) समय सन्निकटन योजना इस तरह प्राप्त किया गया है कि यह एक देता है (1+ϵ)(1+ϵ)(1+\epsilon) राशि के लिए -approximation। पेपर http://arxiv.org/abs/1112.0520 पर पोस्ट …

21 ds.algorithms  reference-request 

एन सीNC\mathsf{NC} कुशलता से समानांतर होने के विचार को पकड़ता है, और इसकी एक व्याख्या ऐसी समस्याएं हैं जो समांतर प्रोसेसर के लिए कुछ स्थिरांक , का उपयोग करके समय में हल करने योग्य हैं । मेरा सवाल यह है कि अगर एक अनुरूप जटिलता वर्ग है जहां समय और …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

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

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

क्या एक अच्छा सर्वेक्षण है जो विभिन्न एक्स्ट्रेक्टर्स, कंसंट्रेटर्स और सुपरकेंसेन्ट्रेटर की तुलना करता है और यादृच्छिकता, समय और स्थान के बीच ट्रेडऑफ़ के संदर्भ में सर्वोत्तम तरीकों को बताता है?

21 reference-request  randomness  derandomization 

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

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

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

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

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

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

जबकि 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