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

निसान ने "स्पेस-बाउंडेड कम्प्यूटेशन के लिए प्यूसेडेरोमेने जनरेटर्स" में साबित किया, कि एक छद्म यादृच्छिक जनरेटर मौजूद है जो अंतरिक्ष-बद्ध कंप्यूटर्स को "मूर्ख" बनाता है। क्या यह निर्माण प्रत्येक ऑरेकल (कम से कम गैर-अनुकूली प्रश्नों के लिए) के लिए है?

16 cc.complexity-theory  space-bounded  derandomization 

मैं ऐसी अराजक सीमा की कीमत साबित करने के लिए तकनीकों के उदाहरणों की तलाश कर रहा हूं, जिनमें सहसंबद्ध समतुल्य (नो-एक्सटर्नल-सॉरी डायनेमिक्स का सीमित सेट) से अधिक मूल्य की अराजकता से संबंधित अराजकता की कीमत को अलग करने की शक्ति है, जो असंबद्ध साम्यावस्था से अधिक अराजकता की कीमत …

16 gt.game-theory  online-learning 

ब्लम, मिकलि, और फेल्डमैन (बीएफएम) ने एक नया (क्रिप्टोग्राफिक) मॉडल सामने रखा, जिसमें सभी पार्टियों (ईमानदार या प्रतिकूल) की कुछ स्ट्रिंग तक पहुंच है। एक विश्वसनीय पार्टी द्वारा कुछ वितरण (आमतौर पर, समान वितरण) के अनुसार स्ट्रिंग का चयन किया जाता है। इसे संदर्भ स्ट्रिंग कहा जाता है , और …

16 cr.crypto-security 

पृष्ठभूमि : सुभाष खोत के मूल यूजीसी पेपर ( पीडीएफ ) में, वह यह तय करने की यूजी-कठोरता साबित करता है कि क्या किसी दिए गए सीएसपी उदाहरण के साथ सभी प्रकार की बाधाओं के साथ-साथ एक त्रैमासिक वर्णमाला से अधिक नहीं (ए, बी, सी) एक असाइनमेंट को संतुष्ट करता …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

मैं संदर्भ-संवेदनशील भाषाओं (CSL) और पूर्णता से संबंधित दो प्रश्नों में दिलचस्पी लेता हूं : क्या CSL के लिए पूर्णता की धारणा है, और कौन सी भाषाएं पूरी हैं? क्या प्राकृतिक CSL हैं जो NP- पूर्ण हैं? 2 के लिए, मैं निश्चित रूप से प्राकृतिक एनपी-पूर्ण भाषाओं के बारे में …

16 np-hardness  fl.formal-languages  space-bounded 

एक अंतर जो मुझे हमेशा पता था कि मुझे वास्तव में समझ में नहीं आता है गैर वर्दी और एक समान कम्प्यूटेशनल जटिलता के बीच है जहां सर्किट जटिलता गैर वर्दी संस्करण का प्रतिनिधित्व करती है और ट्यूरिंग मशीनें ऐसी चीजें हैं जो समान हैं। मुझे लगता है कि "वर्दी" …

16 cc.complexity-theory  circuit-complexity 

फिक्स्ड बिंदु मुक्त automorphism समस्या एक ग्राफ automorphism जो कम से कम चाल के लिए पूछता है नोड्स। समस्या -complete है यदि किसी भी > 0 के लिए।kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc हालाँकि, यदि तो समस्या बहुपद समय है। Turing reducible to Graph Isomorphism Problem। यदि तो समस्या बहुपद समय है। ट्यूरिंग-ग्राफ ग्राफर समस्या …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

के रूप में, प्रायोगिक एल्गोरिथ्म JEA पर ACM जर्नल में कागजात का क्षेत्र । कौन से संस्थापक कार्य थे? मुख्य परिणाम क्या हैं? वे कैसे विशेषता हैं? कंप्यूटर विज्ञान के अन्य क्षेत्रों के लिए कोई दिलचस्प कनेक्शन?

16 ds.algorithms  reference-request  experimental 

Adleman, FOCS'78 ने दिखाया कि लंबाई इनपुट के लिए कोई भी यादृच्छिक सर्किट गैर-समान रूप से व्युत्पन्न हो सकता है। हालांकि, निर्माण प्रभावी रूप से मूल सर्किट O ( n ) बार की नकल करता है , इसलिए व्युत्पन्न सर्किट O ( n ) के कारक से मूल एक से …

16 derandomization 

नील इमरमन की विश्व की प्रसिद्ध तस्वीर निम्नलिखित है (विस्तार करने के लिए क्लिक करें): उनके "सच में संभव" वर्ग में कोई अन्य वर्ग शामिल नहीं है; मेरा सवाल यह है: एक एसी 0 समस्या क्या है जो अव्यावहारिक मानी जाती है और क्यों?

16 cc.complexity-theory  circuit-complexity 

[1] में, तुरान दर्शाता है कि ग्राफ संपत्ति की संवेदनशीलता (जिसे कागज में "महत्वपूर्ण जटिलता" कहा जाता है) तुलना में कड़ाई से अधिक है जहां ग्राफ में कोने की संख्या है। वह यह अनुमान लगाने के लिए जाता है कि किसी भी गैर-तुच्छ ग्राफ संपत्ति में संवेदनशीलता । उन्होंने उल्लेख …

16 graph-theory  property-testing 

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

16 lambda-calculus 

यह करने के लिए एक अनुवर्ती है इस सवाल का math.stackexchange पर। हमें का कहना है कि एक गैर खाली सेट S ⊆ ℤ है चलो स्वावलंबी अगर हर के लिए एक ∈ एस, वहाँ मौजूद विशिष्ट तत्वों बी, सी ∈ इस तरह है कि S एक = ख + …

16 ds.algorithms  co.combinatorics 

एक भाषा के लिए एल ⊆ Σ ^ * , परिभाषित वाक्यात्मक अनुरूपता ≡ के एल पर कम से कम अनुरूपता के रूप में Σ ^ * कि संतृप्त एल , अर्थात्: u) v ≡ (, x, y) [xuy ↔ L vy xvy] L]। अब निम्नलिखित सही बधाई के रूप …

16 automata-theory  fl.formal-languages 

यह अक्सर कहा जाता है कि एमडी 5 एल्गोरिथ्म का उपयोग करते समय कुछ मनमानी जानकारी पर हस्ताक्षर करने के लिए, साझा रहस्य को अंत में होना चाहिए। क्यों?

16 hash-function  cr.crypto-security