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

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

21 reference-request  lo.logic  coq 

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

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

वहाँ किसी भी प्रशंसनीय जटिलता / क्रिप्टो परिकल्पना है कि कि बहुपद आकार सर्किट (यानी subexponential आकार है संभावना को नियम है के साथ ε &lt; 1 ) घिरा गहराई ( घ = हे ( 1 ) ) सर्किट?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) हम जानते हैं कि सर्किट द्वारा गणना किए जाने …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

हाल ही में, मैंने क्रमबद्ध गैर-संख्‍यात्‍मक संख्‍याओं की सूची के अनुमानित योग के लिए समस्‍या पर काम किया। किसी निश्चित के लिए ϵ&gt;0ϵ&gt;0\epsilon>0 , एक O(logn)O(log⁡n)O(\log n) समय सन्निकटन योजना इस तरह प्राप्त किया गया है कि यह एक देता है (1+ϵ)(1+ϵ)(1+\epsilon) राशि के लिए -approximation। पेपर http://arxiv.org/abs/1112.0520 पर पोस्ट …

21 ds.algorithms  reference-request 

एन सीNC\mathsf{NC} कुशलता से समानांतर होने के विचार को पकड़ता है, और इसकी एक व्याख्या ऐसी समस्याएं हैं जो समांतर प्रोसेसर के लिए कुछ स्थिरांक , का उपयोग करके समय में हल करने योग्य हैं । मेरा सवाल यह है कि अगर एक अनुरूप जटिलता वर्ग है जहां समय और …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

एक प्रायिकता वितरण के लिए Huffman कोड ppp न्यूनतम भारित औसत codeword लंबाई के साथ उपसर्ग कोड है ∑piℓi∑piℓi\sum p_i \ell_i , जहां ℓiℓi\ell_i की लंबाई है iii वें codword। यह एक प्रसिद्ध प्रमेय है कि हफमैन कोड के प्रतीक की औसत लंबाई H(p)H(p)H(p) और H(p)+1H(p)+1H(p)+1 , जहाँ H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = …

21 optimization  it.information-theory  coding-theory 

लुका ट्रेविसन ने दिखाया कि छद्म आयामी जनरेटर के कितने निर्माण वास्तव में चिमटा निर्माण के रूप में सोचा जा सकता है: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf क्या कोई सार्थक निष्कर्ष है? यानी, अर्क के "प्राकृतिक" निर्माणों को छद्म आयामी जनरेटर (PRG) निर्माण के रूप में सोचा जा सकता है? एक्सट्रैक्टर निर्माण पीआरजी पर …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors 

(यह इस सवाल और इसके जवाब का अनुवर्ती है ।) मेरे पास निम्नलिखित पूरी तरह से असमान (टीयू) पूर्णांक रैखिक कार्यक्रम (ILP) है। यहाँ हैं जो सभी सकारात्मक पूर्णांक दिए गए हैं। इनपुट का हिस्सा चर का निर्दिष्ट उप- सेट शून्य पर सेट है, और बाकी सकारात्मक अभिन्न मान ले …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

प्लानर ग्राफ के सेट पर विचार करें जहां सभी आंतरिक चेहरे त्रिकोण हैं। यदि विषम डिग्री का एक आंतरिक बिंदु है तो ग्राफ तीन रंगीन नहीं हो सकता है। यदि हर आंतरिक बिंदु में डिग्री है तो क्या यह हमेशा तीन रंग का हो सकता है? आदर्श रूप में मैं …

21 graph-theory  co.combinatorics  graph-colouring 

(MathOverflow से क्रॉसपोस्ट किया गया) नमस्ते, मैं इस सूत्र को पढ़ रहा था: /mathpro/16393/finding-a-cycle-of-fixed-length मैं एक ग्राफ में 5-चक्र ढूंढना चाहता हूं। वास्तव में, जो मैं वास्तव में चाहता हूं वह कम से कम 5 की लंबाई का सबसे छोटा विषम चक्र है, लेकिन शायद वह बिंदु के बगल में …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix 

क्या बीक्यूपी बीपीपी के बराबर है जो एक एबेलियन छिपे हुए उपसमूह ओरेकल तक पहुंच के साथ है?

21 complexity-classes  quantum-computing 

प्रस्तावना इंटरएक्टिव सबूत प्रणालियों और आर्थर-मर्लिन प्रोटोकॉल द्वारा शुरू किए गए थे गोल्डवाशर मिकाली और Rackoff और बाबई 1985 सबसे पहले में वापस आ गया, यह सोचा गया कि पूर्व उत्तरार्द्ध से अधिक शक्तिशाली है, लेकिन गोल्डवाशर और Sipser से पता चला है कि वे एक ही शक्ति है कि …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

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

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

जब एक साथ परिणाम डालते हैं, तो यह अक्सर एमएस पेंट में एक साथ रखे गए आरेखों के बजाय कुछ पेशेवर दिखने वाले आरेखों के लिए वांछनीय होता है। डेटा संरचनाओं को खींचने के लिए मानक क्या है?

21 soft-question  ds.data-structures  software  graph-drawing  writing