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

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

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

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

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

10 reference-request  machine-learning  lg.learning  survey  books 

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

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

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

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

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

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

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

10 reference-request  quantum-computing  application-of-theory 

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

10 reference-request  quantum-information 

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

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

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

10 reference-request  ds.data-structures  cg.comp-geom 

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

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

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

10 reference-request  graph-theory  cg.comp-geom 

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

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

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

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

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) (या और यदि आप …

10 reference-request  quantum-computing