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

Cache-Oblivious B-Tours की धारा 2.2 में , मजबूत रूप से वजन-संतुलित खोज पेड़ों को इस प्रकार परिभाषित किया गया है: कुछ निरंतर के लिए , प्रत्येक नोड ऊंचाई पर है वंश।घघdvvvजजhΘ ( डी)ज)Θ(घज)\Theta(d^h) वे दावा: खोज पेड़ जो गुण 1 और 2 को संतुष्ट करते हैं, उनमें वजन-संतुलित बी-पेड़, नियतात्मक …

11 ds.data-structures  skip-lists 

मैं थोड़ी देर के लिए SAT एल्गोरिथ्म विकसित कर रहा हूं, और एक बिंदु पर पहुंच गया हूं जहां मैं इसे साझा करना चाहता हूं। मुझे कंप्यूटर विज्ञान में बहुत से लोग नहीं जानते हैं, और मुझे यकीन नहीं है कि वास्तव में कहाँ मोड़ना है। मैं सोच रहा हूं …

11 sat  soft-question  proofs 

को बिटस्ट्रिंग / लेबल जोड़े पर एक वितरण होने दें और को बूलियन वैल्यू फ़ंक्शंस का एक संग्रह होना चाहिए । प्रत्येक फ़ंक्शन , दें: और जाने दें: कहिए कि एक एल्गोरिथ्म एक agnostically C किसी भी वितरण पर सीखता है , यदि किसी D के लिए यह प्रायिकता के …

11 reference-request  machine-learning  lg.learning 

किसी दिए गए ग्राफ़ , सेपरेटर समस्या पूछती है कि क्या छोटी कार्डिनैलिटी (या वजन) का एक शीर्ष या किनारे सेट मौजूद है, जिसका निष्कासन G को लगभग समान आकारों के दो अलग-अलग ग्राफ़ में विभाजित करता है । इसे वर्टेक्स सेपरेटर प्रॉब्लम कहा जाता है, जब हटाया गया सेट …

11 cc.complexity-theory  approximation-hardness 

यह एक सामाजिक विज्ञान की तरह लग सकता है जैसे कि टीसीएस एक से अधिक है, लेकिन ऐसा नहीं है। स्टेबल मैरिज प्रॉब्लम का वर्णन करने वाले " रैंडमाइज्ड अल्गोरिथम" को पढ़ते समय, कोई भी व्यक्ति निम्न पढ़ सकता है (p54) "यह दिखाया जा सकता है कि वरीयता सूचियों की …

11 ds.algorithms  graph-theory  matching 

मैंने एक नई व्युत्पन्न तकनीक विकसित की है जिसका उद्देश्य पुनरावर्ती यादृच्छिकीकृत एल्गोरिदम (या) अधिक सामान्यतः यादृच्छिक एल्गोरिदम है जो एक स्टैक का उपयोग करते हैं। दुर्भाग्य से, मुझे अपनी तकनीकों को लागू करने के लिए प्राकृतिक यादृच्छिक एल्गोरिदम नहीं मिला। पुनरावर्ती मार्कोव चेन और स्टोचस्टिक व्याकरण मैं जो खोज …

11 randomness  derandomization 

Immerman (वर्णनात्मक जटिलता, 1999) प्रस्तुत एफई पेज 127. के रूप में पर अस्तित्व monadic दूसरा आदेश (Ajtai-फेगिन खेल) के लिए खेल शब्दों पर एमएसओ नियमित भाषाओं के बराबर है, खेल के रूप में निम्नानुसार लिखा जा सकता है।∃∃\exists एक भाषा नियमित रूप से यदि और केवल यदि दलीला निम्नलिखित खेल …

11 lo.logic  automata-theory  descriptive-complexity 

जबकि एक ईई अंडरग्रेजुएट मैंने कुछ व्याख्यानों में भाग लिया, जिन्होंने कितने नेस्टेड लूप के संदर्भ में बूलियन सर्किट का अच्छा लक्षण वर्णन प्रस्तुत किया। जटिलता में, बूलियन सर्किट को अक्सर डैग के रूप में माना जाता है, लेकिन वास्तविक हार्डवेयर में साइकिल आम हैं। अब, एक लूप क्या है …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

एक कार्यात्मक प्रोग्रामिंग भाषा की कल्पना करें, जिसका एकमात्र डेटा प्रकार संख्यात्मक स्केल और सरणियों के मनमाने ढंग से घोंसले हैं। भाषा में अनबाउंड इटरेशन के किसी भी साधन का अभाव है, इसलिए निम्नलिखित अस्वीकृत हैं: स्पष्ट छोरों (साइड-इफेक्ट्स के बिना किसी भी तरह से अधिक उपयोग नहीं) प्रत्यावर्तन मनमाना …

11 complexity-classes  functional-programming  dc.parallel-comp 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

मेरा मानना ​​है कि इस प्रश्न का उत्तर सर्वविदित है; लेकिन, दुर्भाग्य से, मुझे नहीं पता। क्वांटम कंप्यूटिंग में, हम जानते हैं कि मिश्रित राज्य घनत्व मैट्रिक्स द्वारा दर्शाए जाते हैं। और दो घनत्व वाले मेट्रिसेस के अंतर का पता लगाने का मानक दो संबंधित मिश्रित राज्यों की विशिष्टता दर्शाता …

11 quantum-computing  quantum-information 

ओमर रीडिंग द्वारा अप्रत्यक्ष सेंट-कनेक्टिविटी लॉग-स्पेस एल्गोरिथ्म की सटीक समय जटिलता क्या है ?

11 cc.complexity-theory  randomness 

दो मीट्रिक रिक्त स्थान और ( Y , f ) और एक एम्बेडिंग μ : X → Y पर विचार करें । पारंपरिक मीट्रिक स्थान embeddings की गुणवत्ता को मापने μ मूल की बुरी से बुरी हालत अनुपात अंतिम दूरी के रूप में: ρ = अधिकतम पी , क्यू ∈ …

11 approximation-algorithms  cg.comp-geom  embeddings 

एक ग्राफ में, एक स्वतंत्र सेट एक शीर्ष सबसेट है जिसमें एक प्रेरित उपसमूह के रूप में एक किनारे नहीं होता है। एक ग्राफ में सबसे बड़े स्वतंत्र सेट खोजने की समस्या एक मौलिक एल्गोरिथम प्रश्न है, और उस पर एक कठिन है। आइए एक ग्राफ में सबसे बड़े एच-फ्री …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

बहुत सी पाठ्यपुस्तकों में विषय एफ में कमी और सिस्टम एफ के लिए सामान्य सामान्यीकरण के प्रमाणों को देखना आसान है, कभी-कभी, जोड़े के साथ सिस्टम एफ की परिभाषाएं भी होती हैं, जहां (टी, आर) एक शब्द है, न कि केवल एक एन्कोडिंग। सवाल यह है कि इस प्रणाली का …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism