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

एन-आयामी सरणी के अंदर एक सटीक एन-आयामी सबरे को खोजने के लिए कुछ ज्ञात परिणाम क्या हैं? 1 डी में, यह सिर्फ एक स्ट्रिंग मिलान समस्या है, केएमपी इसे रैखिक समय में करता है। 2 डी में, इस पेपर ने दिखाया कि यह थोड़ा अतिरिक्त स्थान के साथ रैखिक समय …

20 ds.algorithms  reference-request  string-matching 

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

20 reference-request  pl.programming-languages  semantics  compilers 

निम्नलिखित दिलचस्प समस्या हाल ही में मेरे शोध में सामने आई: स्थापना: ग्राफ ।जी ( वी, ई)G(V,E)G(V, E) समाधान: एक chordless अजीब-चक्र पूरा होने के एक सुपरसेट के रूप में परिभाषित बढ़त सेट के ताकि पूरा ग्राफ की संपत्ति है कि में हर बढ़त है एक chordless अजीब चक्र में …

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

मान लीजिए कि एक ग्राफ के साथ कोने की एक धारा के रूप में प्रस्तुत किया जाता है किनारों, लेकिन कई गुजरता स्ट्रीम पर अनुमति दी जाती है।GGGnnnmmm मोनिका Rauch Henzinger, प्रभाकर राघवन, और Sridar राजगोपालन ने कहा कि स्थान का निर्धारण करने के लिए वहाँ में दिए गए दो …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

वहाँ बेतरतीब चिमटा निर्माण को लागू करने में अनुसंधान किया गया है? ऐसा लगता है कि एक्सट्रैक्टर सबूत बिग-ओह का उपयोग करते हैं, बड़े छिपे हुए स्थिरांक के लिए संभावना को छोड़ देते हैं, प्रोग्रामेटिक कार्यान्वयन को संभवतः अवास्तविक बनाते हैं। कुछ संदर्भ: मैं मोंटे कार्लो सिमुलेशन में उपयोग के …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

जटिलता वर्ग , कुछ समस्याएं हैं जो वर्ग , अर्थात नियत समांतर एल्गोरिदम के साथ समस्याएं। अधिकतम प्रवाह समस्या एक उदाहरण है। और ऐसी समस्याएँ हैं जिनका में होना , लेकिन एक प्रमाण अभी तक नहीं मिला है।PP\mathsf{P}एन सीNCNC\mathsf{NC}NCNC\mathsf{NC} बिल्कुल सही मिलान समस्या सबसे मौलिक समस्या ग्राफ सिद्धांत में उठाया …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

मैं रेखीय बीजगणित के एल्गोरिदम और जटिलता पर एक अच्छे सर्वेक्षण की तलाश कर रहा हूं (बूलियन, , और समानांतर / पदानुक्रम पर जोर देने के साथ पूर्णांक / परिमेय मैट्रिक्स) के लिए (रैंक, उलटा, eigenvalues ​​जैसे संचालन ... ) और बहुपत्नी एल्गोरिदम। मुझे हाल ही में एक नहीं मिला।एफपीएफपी\mathbb{F}_pएनसीएनसीNC …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

संभावना सिद्धांत में एक क्लासिक समस्या अधिक विशिष्ट घटनाओं के संदर्भ में किसी घटना की संभावना व्यक्त करना है। सामान्य स्थिति में, कहा जा सकता है । आइए लिखने एक बी घटना के लिए एक ∩ बी ।पी[ ए ∪ बी ] = पी[ ए ] + पी[ बी ] …

20 reference-request  pr.probability 

एक अतिरिक्त श्रृंखला सकारात्मक पूर्णांक का एक अनुक्रम है जहां और प्रत्येक सूचकांक , हमारे पास कुछ सूचकांकों के लिए । जोड़ श्रृंखला की लंबाई ; लक्ष्य अलावा श्रृंखला के है ।x 1 = 1 मैं ≥ 2 एक्स मैं = एक्स जे + एक्स कश्मीर 1 ≤ j , …

20 reference-request  np-hardness 

"प्रॉपर्टी टेस्टिंग" पर एक बड़ा साहित्य है - एक कार्य लिए ब्लैक बॉक्स प्रश्नों की एक छोटी संख्या बनाने की समस्या दो मामलों के बीच अंतर करने के :च: { 0 , 1 }n→ आरच:{0,1}n→आरf\colon\{0,1\}^n \to R चचf कुछ कार्यों के वर्ग का एक सदस्य हैसीसी\mathcal{C} चचf है -far कक्षा …

20 reference-request  lg.learning  metrics  property-testing  black-box 

जटिलता वर्ग पीपीएडी (उदाहरण के लिए विभिन्न नैश इक्विलिब्रिया की गणना) को कुल खोज समस्याओं के सेट के रूप में परिभाषित किया जा सकता है जो कभी भी लाइन ऑफ़ अंत में लाइन की तरह हो सकती है : लाइन ऑफ़ END : एन इनपुट बिट्स और एन आउटपुट बिट्स …

20 reference-request  combinatory-logic  graph-theory  ppad 

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

20 reference-request  soft-question  machine-models 

मुख्य / सामान्य प्रश्न को एक भाषा होने दो । भाषाओं को को और , लिए । पर विचार करें । तो, हम बार-बार "एम्बेड" में ही प्राप्त करने के लिए ।LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}i≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} क्या का …

19 reference-request  fl.formal-languages 

एडियाबेटिक क्वांटम अभिकलन (AQC) में, एक [समस्या] हैमिल्टनियन की जमीनी स्थिति में एक अनुकूलन समस्या के समाधान को एन्कोड करता है । इस जमीनी अवस्था में जाने के लिए, आप हैमिल्टन और "anneal" ( perturb) के साथ ओर एक आसानी से ठंडा प्रारंभिक (जमीन) स्थिति में शुरू ,एचपीएचपीH_pएचमैंएचमैंH_iएचपीएचपीH_p एच( s …

19 reference-request  quantum-computing  physics  topology 

ग्रोवर के एल्गोरिथ्म की समय जटिलता (क्वेरी जटिलता नहीं) क्या है? यह मेरे लिए स्पष्ट है कि यह क्योंकि पुनरावृत्तियों हैं और प्रत्येक पुनरावृत्ति को परावर्तन ऑपरेशन के उपयोग की आवश्यकता होती है, जिसके लिए समय लगता है सार्वभौमिक फाटकों के किसी भी मानक सेट का उपयोग करके ।Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) …

19 reference-request  quantum-computing  time-complexity