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

यह प्रश्न कंप्यूटर साइंस स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर सैद्धांतिक कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 3 साल पहले चले गए । 2016 के विज्ञान पत्र में " एक स्केलेबल शोर एल्गोरिथ्म का अहसास " [ 1 ], लेखक कारक 15 केवल …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

एक ओरेकल तक पहुंच एन पी - पी में सब कुछ के लिए एक प्रमुख, सुपर-बहुपद गति प्रदान करेगा (यह मानते हुए कि सेट खाली नहीं है)। यह कम स्पष्ट है, हालांकि, इस ओरेकल एक्सेस से कितना लाभ होगा । बेशक, गति में सुपर-बहुपद नहीं हो सकता है, लेकिन यह …

23 cc.complexity-theory  np  np-complete 

आइए अब से कुछ 30 वर्षों के भविष्य को देखें। आइए हम आशावादी हों और मान लें कि मशीन लर्निंग से जुड़े क्षेत्र उतनी ही तेजी से विकसित हो रहे हैं जितना हमने पिछले 10 वर्षों में देखा है। यह बहुत अच्छा होगा, लेकिन फिर ऐसे भविष्य में पारंपरिक एल्गोरिदम …

23 ds.algorithms  soft-question  machine-learning 

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

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

एक निरंतर के लिए , एक रेखीय समय में निर्धारित कर सकते हैं, एक इनपुट ग्राफ को देखते हुए क्या उसके, treewidth है । हालांकि, जब और दोनों को इनपुट के रूप में दिया जाता है, तो समस्या एनपी-हार्ड है। ( स्रोत ) जीk∈Nk∈Nk \in \mathbb{N}GGGकश्मीर जी≤k≤k\leq kkkkGGG हालांकि, जब …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

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

23 graph-theory  pr.probability  random-graphs 

मैंने बेशुमार लेखों में पढ़ा है कि एक ग्राफ़ के Cheeger स्थिरांक का निर्धारण NPNP\mathsf{NP} -hard है। यह एक लोक प्रमेय प्रतीत होता है, लेकिन मुझे इस कथन के लिए कभी कोई उद्धरण या प्रमाण नहीं मिला। मुझे इसका श्रेय किसको देना चाहिए? एक पुराने पेपर में (ग्राफ के Isoperimetric …

23 reference-request  graph-theory  spectral-graph-theory 

बता दें कि इनपुट के रूप में द्वारा दी गई दो नियमित भाषाएं हैं ।L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 मान लें कि हम जाँच करना चाहते हैं । यह स्पष्ट रूप से एक द्विघात एल्गोरिथ्म द्वारा किया जा सकता है जो के उत्पाद की गणना करता है , लेकिन मैं सोच रहा था कि …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

दो तार x और y को देखते हुए, मैं एक न्यूनतम आकार DFA बनाना चाहता हूं जो x को स्वीकार करता है और y को अस्वीकार करता है। ऐसा करने का एक तरीका जानवर बल खोज है। आप DFA की शुरुआत सबसे छोटे से करते हैं। आप प्रत्येक DFA को …

23 automata-theory  dfa  fsm 

एक बहुपद एक है एक लय प्रक्षेपण एक बहुपद के ग्राम ( y 1 , ... , y मीटर ) यदि मीटर = पाली ( एन ) , और वहाँ एक काम है π : { y 1 , ... , y m } → { x 1 , …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

मैं वर्तमान में EXPSPACE- पूर्ण समस्याओं (मुख्य रूप से एक कमी के लिए प्रेरणा खोजने के लिए) को खोजने की कोशिश कर रहा हूं, और मुझे कम संख्या में परिणाम आ रहे हैं। अब तक, मैंने ये पाया, और मुझे सूची का विस्तार करने में परेशानी हुई: सार्वभौमिकता (या अन्य …

23 cc.complexity-theory  reference-request  big-list 

वर्तमान में बिटकॉइन में SHA256 का उपयोग करते हुए कार्य (PoW) प्रणाली का प्रमाण है। अन्य हैश फ़ंक्शन कार्य प्रणाली का उपयोग ग्राफ़, आंशिक हैश फ़ंक्शन उलटा का एक प्रमाण का उपयोग करते हैं। क्या नॉट थ्योरी जैसे गाँठ मान्यता में निर्णय समस्या का उपयोग करना संभव है और इसे …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

एक निश्चित परिमित वर्णमाला के लिए , एक औपचारिक भाषा से अधिक है नियमित रूप से अगर वहाँ एक से मौजूद है नियतात्मक परिमित automaton (DFA) से अधिक जो वास्तव में स्वीकार करता है ।एल Σ Σ एलΣΣ\SigmaएलLLΣΣ\SigmaΣΣ\SigmaएलLL मुझे उन भाषाओं में दिलचस्पी है जो इस अर्थ में "लगभग" नियमित …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

निम्नलिखित कम्प्यूटेशनल कार्य पर विचार करें: हम समान संभाव्यता वितरण के संबंध में वेरिएबल्स (एक वेरिएंट: वेरिएबल्स क्लॉज) के 3-सैट फॉर्मूले का नमूना करना चाहते हैं , जो कि संतोषजनक होने के फॉर्मूले पर वातानुकूलित है:nnnnnnmmm Q1: क्या यह एक शास्त्रीय कंप्यूटर (यादृच्छिक बिट्स के साथ) कुशलता से प्राप्त किया …

23 cc.complexity-theory  quantum-computing  sample-complexity 

चिल्ड्स एट अल द्वारा एक महत्वपूर्ण 2003 का पेपर।"संयुक्त वृक्ष समस्या" की शुरुआत की: एक घातांक क्वांटम स्पीडअप को स्वीकार करने वाली समस्या जो किसी अन्य ऐसी समस्या के बारे में है जिसके बारे में हम जानते हैं। इस समस्या में, हमें नीचे दिए गए चित्र की तरह एक बड़ा-बड़ा …

23 graph-algorithms  quantum-computing  randomized-algorithms  random-walks  decision-trees