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

यहां "ट्रैक बी" सवाल है अगर कभी एक था। सारांश: जब मैं गैर-नियतात्मक कार्यक्रमों के लिए एक शब्दार्थ देने की कोशिश करता हूं, तो पहली बात यह होती है कि मैं उन शब्दों के बारे में साबित नहीं कर सकता जहां मैं केवल गैर-निर्धारक को समाप्त करता हूं। निश्चित रूप …

10 reference-request  denotational-semantics 

क्या पीएचडी करने से पहले शोधकर्ता के रूप में काम करने के लिए शोध के रिकॉर्ड के साथ हाल ही में स्नातक किए गए स्नातक या स्नातकोत्तर छात्रों के लिए पद हैं ? TCS में हाल ही में पीएचडी स्नातकों के लिए पोस्ट-डॉक के पदों की संस्कृति है, ताकि वे …

10 soft-question  advice-request  career 

मैं क्वांटम जटिलता सिद्धांत पर पेपर पर वाट्सएप के उत्कृष्ट सर्वेक्षण पेपर पढ़ रहा हूं। इसमें वह कहता है कि अगर एक QMA-अपूर्ण समस्या को एक रिक्त वादा (Ie Be a language) पाया गया तो आश्चर्य होगा। ऐसा क्यों है? क्या यह इस तथ्य के साथ करना है कि के-स्थानीय …

10 cc.complexity-theory  quantum-computing 

मुझे उत्सुकता है अगर कोई कागज की गहरी समझ हासिल करने के लिए कुछ पूरक सामग्री की सिफारिश कर सकता है: " क्वांटम बेल-टाइप असमानताओं पर कुछ परिणाम और समस्याएं - Tsirelson "। विशेष रूप से कुछ ऐसा है जो बेल-प्रकार की असमानताओं की ज्यामितीय व्याख्या पर एक अधिक विस्तृत …

10 reference-request  quantum-computing  quantum-information 

N वैरिएबल ( ) पर m शब्दों वाला एक मोनोटोन CNF फॉर्मूला फॉर्म f ( x 1 , … , x n ) = i C i का एक सूत्र है , जहाँ प्रत्येक C i कुछ उपसमूह का एक OR है। की चर x 1 , ... , x …

10 cc.complexity-theory  circuit-complexity  formulas 

यह सर्वविदित है कि शास्त्रीय पीएसी अधिगम के लिए, v (ओरेप्सिलॉन उदाहरणों के लिए आवश्यक है ताकि वर्सेप्लॉन अवधारणा के वर्ग-आयाम के लिए whp से जुड़ी एक त्रुटि को प्राप्त किया जा सके ।Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd क्या यह ज्ञात है कि अज्ञेय मामले में उदाहरणों की आवश्यकता है?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

आंशिक आदेशों (जैसे, मान्यता, कूद संख्या, तुल्यता ग्राफ मान्यता, आदि ...) के लिए कम्प्यूटेशनल समस्याओं पर उचित मात्रा में काम किया गया है। मुझे इस बात की उत्सुकता है कि जाली के लिए विशिष्ट कार्य क्या किया गया है। मैंने चारों ओर खोज की है और लैटिस के लिए समान …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

एक निर्देशित ग्राफ और दो वर्टीकल । यदि वे एक किनारे साझा नहीं करते हैं, तो से तक सरल पथ की एक जोड़ी है ।G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt अधिकतम प्रवाह का उपयोग करते हुए, यह तय करना आसान है कि क्या से तक किनारे के रास्ते की एक जोड़ी …

10 cc.complexity-theory  graph-algorithms 

हम जानते हैं कि उत्तल पतवार ढूँढने nnn एक कम के लिए बाध्य है एक विमान पर अंक Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) अपने चलने का समय पर। हालाँकि, यदि अंक उस क्रम में दिए जाते हैं, जिसमें वे कुछ साधारण बहुभुज के साथ होते हैं, जिनके बिंदु उसके कोने के रूप में …

10 cg.comp-geom 

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

10 quantum-computing  linear-algebra  universal-computation 

इस प्रश्न के समान शीर्षक वाले पेपर में , लेखक केवल एकल-शब्द CAS का उपयोग करके एक गैर - रेखीय बहु-शब्द CAS संचालन का निर्माण करने का वर्णन करते हैं। वे सबसे पहले डबल-तुलना-एकल-स्वैप ऑपरेशन - आरडीसीएसएस, इस प्रकार प्रस्तुत करते हैं: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = …

10 dc.parallel-comp  concurrency 

नोट : मेरे उत्तरों में प्रश्न को बहाल कर दिया गया है: अब मान लें कि हम समय में सबसे कम भाई पूर्वजों को ढूंढ सकते हैं , क्या ANN वास्तव में में किया जा सकता है ?O ( लॉग एन )ओ ( 1 )O(1)O(1)ओ ( लॉग)n )O(log⁡n)O(\log n) Quadtrees …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

Tries तत्वों की सूची के कुशल भंडारण के लिए अनुमति देते हैं। उपसर्ग साझा किए जाते हैं इसलिए यह अंतरिक्ष कुशल है। मैं कुशलतापूर्वक पेड़ों को स्टोर करने के लिए इसी तरह की तलाश कर रहा हूं। मैं सदस्यता के लिए जाँच करने और तत्वों को जोड़ने में सक्षम होना …

10 ds.data-structures  tree  model-checking 

हम जानते हैं कि 0-1 मैट्रिक्स के रैंक का लॉग नियतात्मक संचार जटिलता की निचली सीमा है, और अनुमानित रैंक का लॉग यादृच्छिक संचार जटिलता का निचला भाग है। निर्धारक संचार जटिलता और यादृच्छिक संचार जटिलता के बीच सबसे बड़ा अंतर घातीय है। तो बूलियन मैट्रिक्स के रैंक और अनुमानित …

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

हालाँकि, बाउंड-एरर क्वांटम क्वेरी कॉम्प्लेक्सिटी ( ) और नियतात्मक क्वेरी कॉम्प्लेक्सिटी ( ) या बाउंड-एरर रैंडमाइज्ड क्वेरी कॉम्प्लेक्सिटी ( ) के बीच घातीय पृथक्करण ज्ञात हैं, वे केवल कुछ आंशिक कार्यों पर ही लागू होते हैं। यदि आंशिक फ़ंक्शंस में कुछ विशेष संरचनाएं हैं, तो वे साथ बहुपद भी हैं …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity