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

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

12 soft-question  cg.comp-geom 

कागज़ लॉरी हेला और जोस मारिया तुरुल-टॉरेस, उच्च-क्रम लॉजिक्स , टीसीएस 355 197-214, 2006 के साथ कम्प्यूटिंग क्वेश्चन। doi: 10.1016 / j.tcs.2006.01.009 तर्क VO, चर-क्रम तर्क का प्रस्ताव करता है। यह चर पर आदेशों पर मात्रा का ठहराव की अनुमति देता है। VO काफी शक्तिशाली है और कुछ गैर-गणना योग्य …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

ग्राफ़ की रंग संबंधी समस्याएं, पहले से ही, अधिकांश लोगों के लिए काफी कठिन हैं । फिर भी, मैं मुश्किल होने जा रहा हूं और हाइपरग्राफ रंग के बारे में एक समस्या पूछूंगा। सवाल। के-यूनिफॉर्म हाइपरग्राफ के लिए लगभग-इष्टतम किनारे-रंग खोजने के लिए कौन से कुशल एल्गोरिदम हैं? विवरण --- …

12 co.combinatorics  hypergraphs  graph-colouring 

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

12 ds.algorithms  directed-acyclic-graph  partial-order 

एक गुप्त साझा योजना की अवधारणा को अक्सर शमीर (ए। शमीर, एक गुप्त साझा करने के लिए कैसे जिम्मेदार ठहराया जाता है । कॉम, एसीएम, 22 (1979), पीपी। 612-613) और ब्लेकी (जीआर ब्लेकी, सुरक्षित क्रिप्टोग्राफ़िक कुंजियों , में) प्रोक। एनसीसी, वॉल्यूम 48, 1979, पीपी 313-317।)। समग्र विचार है कि कुछ …

12 cr.crypto-security  application-of-theory 

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

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?NP∩coAMNP∩coAMNP\cap coAM अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

क्या उपयोगी एल्गोरिदम मौजूद हैं जो विशाल डेटा धाराओं पर काम करते हैं और साथ ही उनके परिणाम काफी छोटे होते हैं और एक दो धाराओं के मिश्रण के लिए परिणाम की गणना किसी भी तरह से अपने परिणामों को मर्ज कर सकता है? मैं कुछ नाम दे सकता हूं: …

12 ds.algorithms  big-list  data-streams 

यह ज्ञात है कि पीएसी सीखने के लिए, प्राकृतिक अवधारणा कक्षाएं (जैसे निर्णय सूचियों के सबसेट) हैं, जिसके लिए एक कम्प्यूटेशनल रूप से अनबिकेड शिक्षार्थी द्वारा सूचना सिद्धांत सीखने के लिए आवश्यक नमूना जटिलता के बीच बहुपद अंतराल हैं, और एक बहुपद द्वारा आवश्यक नमूना जटिलता है- समय सीखने वाला। …

12 machine-learning  lg.learning  sample-complexity 

में पूरी तरह कार्यात्मक सबसे खराब मामला लगातार समय Catenable छाँटे सूचियाँ , Brodal एट अल। वर्तमान में O (1) समवर्ती और O (lg n) डालने, हटाने और खोजने के साथ विशुद्ध रूप से कार्यात्मक संतुलित पेड़। डेटा संरचना कुछ जटिल है। क्या ओ (1) समवर्ती, कार्यात्मक या नहीं के …

12 functional-programming  ds.data-structures 

विभिन्न बिंदुओं को में बैठें । हम कहते हैं कि अंक और पड़ोसी हैं यदि | ij | <3 \ pmod {n-2} , जिसका अर्थ है कि प्रत्येक बिंदु 2 के भीतर अनुक्रमित के साथ अंक के साथ पड़ोसी है , चारों ओर लपेटता है।R 2 i j1 है । …

12 cg.comp-geom 

मैं यहाँ से सबूत पढ़ रहा हूँ और मैं एक तकनीकी (अभी तक महत्वपूर्ण) समस्या पर ठोकर खाई है। मुझे पता है कि यह विशिष्ट है और संदर्भ समस्याग्रस्त है, लेकिन मैं इसे स्वयं नहीं समझ सका। पृष्ठ 51 और 55 में, "मानक" सत्यापनकर्ता प्रस्तुत करने के बाद, वे विभाजन …

12 cc.complexity-theory  pcp 

शिक्षाविदों के पास जो स्पष्ट रूप से सिद्धांतकारों का घर है, मैं सैद्धांतिक कंप्यूटर विज्ञान से संबंधित औद्योगिक नौकरियों के बारे में सोच रहा हूं, जो शुद्ध गणितीय पृष्ठभूमि की मांग करते हैं। चियर्स!

12 career  computational-mathematics 

यह एक नरम सवाल है, जिसका कोई सही जवाब नहीं है, इसके लिए पहले से माफी। यह शायद मेरा सवाल पूछने का सबसे अच्छा मंच है। मैं अमेरिका में एक शीर्ष -15 स्कूल के सिद्धांत समूह में तीसरे वर्ष का स्नातक छात्र हूं । अब तक, मैं शालीनता से अच्छा …

12 soft-question  advice-request 

एक आसान अवलोकन यह है कि अगर एक समस्या बहुपद समय nondeterministic का उपयोग कर कार्यक्रम द्वारा डिसाइडेबल है nondeterministic बिट्स (यानी, सभी गवाहों लंबाई में लघुगणक हैं), तो ।एAAओ ( लॉग)n )O(log⁡n)O(\log n)A ∈ पीA∈PA \in \mathsf{P} अगर कोई एक सवाल पूछता है, "क्या किसी गवाह को सत्यापित करने …

12 cc.complexity-theory