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

संदर्भ-अनुरोध का उपयोग तब किया जाता है जब लेखक को प्रश्न से संबंधित काम के बारे में जानने की आवश्यकता होती है।

1
उपनाम विश्लेषण पर साहित्य
मैं सीएस में अपने मास्टर की थीसिस लिख रहा हूं और मैं उर्फ ​​विश्लेषण के साथ काम कर रहा हूं। मैं जिस चीज में दिलचस्पी रखता हूं वह है इंट्राप्रोसेरेडुरल, फ्लो सेंसिटिव चाहिए- और जावा जैसी भाषाओं के लिए हो सकता है। मैं उन ग्रंथों की खोज कर रहा हूं …

1
बूलियन सूत्र में संतुलन
मैं बूलियन सूत्र संतुलन की समस्या की जटिलता के संदर्भों की तलाश कर रहा हूं । विशेष रूप से, क्या यह ज्ञात था कि बूलियन सूत्र में संतुलित हो सकते हैं ?AC0AC0\mathsf{AC^0} क्या बूलियन फॉर्मूला संतुलन का एक सरल प्रमाण है ?AC0AC0\mathsf{AC^0} "सरल" से मेरा मतलब है कि मैं नीचे …

2
कम्प्यूटेशनल लर्निंग थ्योरी पर परिचयात्मक संसाधन
हाल ही में मैं कोएलटीटी पत्रों की एक सभ्य संख्या पढ़ रहा हूं। हालांकि मैं व्यक्तिगत कागजात के साथ संघर्ष नहीं करता (कम से कम मैं आमतौर पर अन्य सिद्धांत पत्रों के साथ संघर्ष नहीं करता), मुझे नहीं लगता कि मेरे पास समग्र रूप से क्षेत्र का एक अच्छा व्यापक …

1
रेखांकन पर एल्गोरिदम BDDs का उपयोग कर प्रतिनिधित्व किया
रेखांकन के लिए सरलतम अभ्यावेदन आसन्न मैट्रिसेस / सूचियों का उपयोग करते हैं, जिसका अर्थ है कि प्रत्येक नोड और किनारे को स्पष्ट रूप से दर्शाया गया है। मजबूत नियमितताओं को प्रदर्शित करने वाले रेखांकन के लिए निहित प्रतिनिधित्व के महत्व को लंबे समय से मान्यता दी गई है। उदाहरण …

1
गेरथ
आज्ञा देना । मैं सरल ग्राफ़ बनाने की जरूरत है जी की परिधि जी ऐसे सभी का सेट है कि जी रूपों -cycles की दोहरी बढ़त कवर जी (यह है कि, हर बढ़त द्वारा साझा किया जाता ठीक दो ग्राम -cycles), और इस तरह है कि किसी भी इन दोनों …

1
समानता के लिए एकीकरण आधारित उन्मूलन नियम
कुछ साल पहले, मैं क्रमिक पथरी में समानता के लिए निम्नलिखित वाम-शासन में भाग गया था: रों ≐ टी ⇝ θθ ( Γ ) ⊢ θ ( सी)≐ , एस Γ टी । सीs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} इधर, …

1
क्या सबूत है कि क्वांटम कंप्यूटर कुशलतापूर्वक मनमानी क्वांटम मैकेनिकल सिस्टम का अनुकरण कर सकते हैं?
जेबीवी ने सुझाव दिया कि मैं कुछ टिप्पणियों को एक प्रश्न में बदल देता हूं, इसलिए यहां जाता है। एक और सवाल [1] क्यूएम कंप्यूटिंग के अनुप्रयोगों के बारे में पूछता है। एक उत्तर [2] "कुशलतापूर्वक क्वांटम यांत्रिकी का अनुकरण" था। जाहिरा तौर पर यह विचार Feynman के विषय पर …

1
MUBs के लिए इष्टतम माप
चलो में पारस्परिक रूप से निष्पक्ष अड्डों (MUB) का एक सेट हो सी एन , यानी प्रत्येक बी मैं एक orthonormal आधार है और के लिए वी ∈ बी मैं , डब्ल्यू ∈ बी जे , मैं ≠ जे हम है | ⟨ V | डब्ल्यू ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} …

1
सिक्का-तौल की न्यूनतम संख्या निर्धारित करें
पेपर में सूचना सिद्धांत की दो समस्याओं पर , Erd papers और Rényi कम से कम वज़न पर सीमा देते हैं, जो कि सिक्कों के एक सेट में झूठे सिक्कों की संख्या निर्धारित करने के लिए करना चाहिए ।nnn अधिक औपचारिक रूप से: झूठे सिक्कों का सही सिक्कों की तुलना …

2
हाफस्पेस रेंज काउंटिंग के लिए ट्रेडऑफ सीमा
वर्तमान समय / स्पेस ट्रेडऑफ़ के रूप में व्यक्त किए गए - dimensional बिंदुओं के एक सेट पर हाफ़स्पेस रेंज की गिनती के प्रश्नों के प्रदर्शन के लिए सबसे अच्छी बाध्यता क्या है । Matousek के लाभदायक 1993 कागज (प्रमेय 6.2, रेंज कुशल श्रेणीबद्ध कलमों के साथ खोज) के अनुसार, …

2
रैखिकता एक सुरक्षा गुण क्यों है और सुरक्षा गुण बंद सेट क्यों हैं?
अध्याय 13 में नैन्सी लिंच की पुस्तक "डिस्ट्रिब्यूटेड अल्गोरिद्म" की "एटॉमिक ऑब्जेक्ट्स" को रैखिकता (जिसे एटमॉसिटी भी कहा जाता है) एक सुरक्षा संपत्ति साबित होती है। कहने का तात्पर्य यह है कि इसकी संबंधित ट्रेस प्रॉपर्टी गैर-रिक्त, उपसर्ग-बंद और सीमा-बंद है , जैसा कि धारा 8.5.3 में परिभाषित है। अनौपचारिक …

1
एक ग्राफ में वोरोनोई आरेख
आज्ञा देना एक ग्राफ के साथ (सकारात्मक) भारित किनारों। मैं नोड्स / साइटों का एक सेट के लिए Voronoi आरेख को परिभाषित करना चाहते एस एक नोड के साथ संबद्ध करने के लिए, वी ∈ एस subgraph आर ( v ) के जी सख्ती के करीब सभी नोड्स द्वारा प्रेरित …

3
सांख्यिकीय शिक्षण सिद्धांत में हाल ही में प्रगति के लिए संसाधन / पुस्तक
मैं कुलपति-आयाम के पीछे के सिद्धांत से काफी परिचित हूं, लेकिन अब मैं सांख्यिकीय शिक्षण सिद्धांत में हाल के (पिछले 10 वर्षों) अग्रिमों को देख रहा हूं: (स्थानीय) रेडमीकर औसत, मस्सार्ट की परिमित कक्षा लेम्मा, कवरिंग नंबर, चेनिंग, डडलीज प्रमेय, स्यूडोडिमेंशन, फैट शैटरिंग डायमेंशन, पैकिंग नंबर, रैडेमाकर कंपोजिशन, और संभवतः …

3
असाइनमेंट के अलावा अनिवार्य स्टेटमेंट के लिए टाइपिंग
अनिवार्य भाषाओं के लिए प्रकार प्रणालियों के बारे में शोध पत्रों के लिए मेरी खोज में, मैं केवल परस्पर संदर्भों के साथ एक भाषा के लिए समाधान ढूंढता हूं, लेकिन यौगिक ऑपरेटरों, छोरों या सशर्त जैसे वास्तविक अनिवार्य नियंत्रण संरचनाओं के बिना। इसलिए यह स्पष्ट नहीं है कि कैसे एक …

2
वहाँ एक क्वांटम एल्गोरिथ्म अला है Deutsch एल्गोरिथ्म कि computs और XOR के बजाय मौजूद है?
Deutsch का एल्गोरिदम एक प्रसिद्ध क्वांटम कंप्यूटिंग f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} जिसका केवल एक मूल्यांकन fff । यदि हम +++ with ⋅⋅\cdot को प्रतिस्थापित करते हैं तो समस्या अलग-अलग हो जाती है। मेरा प्रश्न है: वहाँ के मान की गणना एक क्वांटम एल्गोरिथ्म मौजूद है f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (या और यदि आप …

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.