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

वितरित प्रणालियों में गॉसिपिंग समस्या निम्नलिखित है। हमारे पास n कोने के साथ एक ग्राफ । प्रत्येक वर्टेक्स v में एक संदेश m v होता है जिसे सभी नोड्स को भेजा जाना चाहिए।जीGGnnnvvvमvmvm_v अब, मेरा प्रश्न तदर्थ नेटवर्क मॉडल के संदर्भ में है (हम मानते हैं कि एक नोड को …

13 reference-request  dc.distributed-comp 

यह ज्ञात है कि निर्धारित त्रिभुज 3-गुना कई गुना है या नहीं, यह एनपी में एक 3-गोला है, 2004 में शाऊल स्लेइमर द्वारा काम के माध्यम से: "क्षेत्र पहचान एनपी में निहित है" arXiv: math / 0x7047v1 [math.GT] । मैं सोच रहा हूं कि क्या यह पिछले पांच या छह …

13 cc.complexity-theory  reference-request  open-problem  topology 

पृष्ठभूमि: मशीन लर्निंग में, हम अक्सर उच्च आयामी संभावना घनत्व कार्यों का प्रतिनिधित्व करने के लिए चित्रमय मॉडल के साथ काम करते हैं। यदि हम उस अवरोध को त्याग देते हैं जो एक घनत्व 1 को एकीकृत (sums) करता है, तो हमें एक असामान्य ग्राफ़-संरचित ऊर्जा फ़ंक्शन मिलता है । …

13 reference-request  machine-learning  lg.learning  boolean-functions 

मेरे सामने यह सवाल तब आया जब मुझे दाना मोशकोवित्ज़ दूसरे विषय पर उत्तर मिला । चलो एक हो एनपी भाषा, और आर एल संबंधित हो एनपी संबंध। हम जानते हैं कि कुछ बहुपद p मौजूद है जैसे:एलLLआरएलRLR_Lपीpp ∈ x ∀ L ,, ∃ डब्ल्यू ∈0 , 1p ( | …

13 cc.complexity-theory  np 

मैं जिस एप्लिकेशन पर विचार कर रहा हूं, उसमें मुझे निम्नलिखित समस्या के संचार की जटिलता को जानना होगा: को देखते हुए , S , 1 से n में पूर्णांकों का सेट है । ऐलिस, बॉब, और कैरोल प्रत्येक का एक उपसमुच्चय को प्राप्त एस , द्वारा सूचित किया जाता …

13 cc.complexity-theory  communication-complexity 

तत्व विशिष्टता / विशिष्टता की समस्या (बीजगणितीय गणना के पेड़ों या प्रतिकूल तर्कों के आधार पर) के लिए लॉगलाइनियर लोअर बाउंड के लिए कई सबूत हैं, लेकिन मैं एक ऐसा खोज रहा हूं जो एल्गोरिथ्म विश्लेषण और डिजाइन में पहले कोर्स में उपयोग करने के लिए पर्याप्त सरल है। छँटाई …

13 cc.complexity-theory  lower-bounds  proofs 

एक मोनोटोन -2 सीएनएफ फॉर्मूला एक सीएनएफ फॉर्मूला है जहां प्रत्येक क्लॉज को वास्तव में 2 पॉजिटिव शाब्दिक रूप से बनाया जाता है। अब, मेरे पास एक मोनोटोन -2 सीएनएफ फॉर्मूला । बता दें कि एस एफ के संतोषजनक काम का सेट है । मेरे पास एक ओरेकल ओ है …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

मान लीजिए कि हमारे पास S का एक सेट S है (परिमित रेखांकन, लेकिन उनमें से एक अनंत संख्या) और क्रमपरिवर्तन का एक समूह P जो S पर कार्य करता है। उदाहरण: P में एक क्रमचय p। प्रश्न: क्या एस में एक ग्राफ जी मौजूद है जो ऑटोमोरिज़्म पी को …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

मान लें कि आपको विमान में n अंक का एक सेट दिया गया है और आप जांचना चाहते हैं कि क्या वे एक उत्तल n बहुभुज बनाते हैं, अर्थात, यदि वे सभी उत्तल पतवार पर स्थित हैं। मैं सोच रहा था कि किसी को पता है कि यह कैसे करना …

13 cg.comp-geom 

दो बाइनरी सर्च ट्री को उनके इन-ऑर्डर ट्रैवर्सल्स में सहमत होने पर रैखिक रूप से समतुल्य कहा जाता है। निम्नलिखित प्रमेय यह बताता है कि पेड़ के घुमाव इतने मौलिक क्यों हैं: A और B को द्विआधारी खोज पेड़ बनाते हैं। तब ए और बी रैखिक रूप से समतुल्य होते …

13 reference-request  ds.data-structures 

चोंग, हान और लैम ने दिखाया कि अप्रत्यक्ष सेंट-कनेक्टिविटी को प्रोसेसर के साथ समय में EREW PRAM पर हल किया जा सकता है । डायरेक्टेड सेंट-कनेक्टिविटी के लिए सबसे अच्छा ज्ञात समानांतर एल्गोरिदम क्या है ? कृपया चल रहे समय, नियतात्मक / यादृच्छिक एल्गोरिथ्म और प्रयुक्त PRAM मॉडल (प्रोसेसर की …

13 dc.parallel-comp 

जैसा कि शीर्षक कहता है, -tree की सही परिभाषा क्या है ? वहाँ कई कागजात है कि के बारे में बात कर रहे हैं कश्मीर -trees और आंशिक कश्मीर घिरे treewidth साथ रेखांकन के लिए विकल्प के रूप में परिभाषाओं -trees, और मैं कई प्रतीत होता है गलत परिभाषाएँ देखा …

13 graph-theory  treewidth 

राफेल पास लिखते हैं, "कॉमन रेफरेंस स्ट्रिंग एंड रैंडम ओरेकल मॉडल में डेनबिलिटी पर" शीर्षक से एक पेपर में: हम ध्यान दें कि जब आरओ [रैंडम ओरेकल] मॉडल में मानक शून्य-ज्ञान की परिभाषा के अनुसार सुरक्षा साबित करते हैं, तो सिम्युलेटर को एक सादे मॉडल सिम्युलेटर पर दो फायदे हैं, …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

पेपर क्वांटम रैंडम वॉक हिट एक्सपोनेंशलीली फास्टर ( arXiv: quant-ph / 0205083 ) केम्पे क्वांटम वॉक (हाइपरक्यूब में) के लिए समय मारने की एक धारणा देता है जो क्वांटम वॉक साहित्य में बहुत लोकप्रिय नहीं है। इसे निम्नानुसार परिभाषित किया गया है: वन-शॉट क्वांटम हिटिंग टाइम: असतत-टाइम क्वांटम वॉक में …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

तो, मुझे लगभग 100-200 बहुत विरल वर्ग के बूलियन मैट्रीस हैं, जिनकी लंबाई ~ कई दर्जनों है, और मुझे उनके उत्पाद की गणना करने की आवश्यकता है। मुझे पता है कि अगर मैं उन्हें क्रमिक रूप से गुणा करता हूं, तो उत्पाद आमतौर पर प्रत्येक चरण में विरल के रूप …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix