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

मैं निम्नलिखित के समान डेटा के भंडारण के लिए एक अत्यधिक कुशल डेटा संरचना की तलाश कर रहा हूं। आईडी टैग ऑर्डर 1 ऑर्डर 2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 ४ ६ ३ ० मुझे लगता है कि यह मेरे टैग की …

11 ds.data-structures  application-of-theory  db.databases 

मैट्रिक्स में आयाम । हम भरना चाहते हैं के बीच पूर्णांकों का उपयोग कर और , समावेशी।AAAn×n(n−1)n×n(n−1)n \times n(n-1)AAA111nnn आवश्यकताएँ: का प्रत्येक स्तंभ का क्रमचय है ।AAA1,…,n1,…,n1, \dots, n की दो पंक्तियों द्वारा गठित किसी भी सबमेट्रिक्स में समान कॉलम नहीं हो सकते हैं।AAA सवाल: क्या आवश्यकताओं को पूरा करने …

11 co.combinatorics  cr.crypto-security  coding-theory 

मैं उन समस्याओं को खोजने की कोशिश कर रहा हूं जिनके औसत-स्थान की अंतरिक्ष जटिलता का विश्लेषण किया गया है। अधिक विशेष रूप से, मुझे यह जानने में दिलचस्पी है कि क्या कोई सिद्ध अंतरिक्ष जटिलता कम बाउंड के साथ कोई समस्या है जो सुपर-लीनियर है, और विशेष रूप से …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

मुझे एक समस्या है जो एनईएक्सपी एनपी में है और एक टीएम द्वारा घातीय समय का उपयोग करके हल किया जा सकता है और सिर्फ एक विकल्प (एक अस्तित्व की स्थिति में शुरू)।NPएनपी^{\text{NP}} क्या NEXP NP के बारे में कुछ पता है ? क्या यह NEXP या किसी अन्य वर्ग …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

मुझे पता है कि सवाल "एक पहले के आदेश सूत्र करता सामान्य रूप में अनिर्णनीय एक मॉडल है।"φφ\phi क्या कोई मुझे एक लिंक या एक पुस्तक दे सकता है जो परिमित मॉडल के लिए उत्तर दे। अगर मैं एक पहले के आदेश सूत्र है , यह है कि क्या डिसाइडेबल …

11 reference-request  lo.logic  computability  finite-model-theory 

SHA-1 सुरक्षा पर चर्चा की गई है क्योंकि टक्कर खोजने के लिए एक एल्गोरिथ्म को पहली बार CRYPTO 2004 में प्रकाशित किया गया था और बाद में इसमें सुधार किया गया है। विकिपीडिया संदर्भों के एक जोड़े को सूचीबद्ध करता है , हालांकि ऐसा लगता है कि इस विषय पर …

11 cr.crypto-security  hash-function  cryptographic-attack 

नुरिबेबे एक बाधा-आधारित ग्रिड-भरने वाली पहेली है, जो कि माइन्सवेपर / नॉनोग्राम के समान है; संख्याओं को एक ग्रिड पर रखा जाता है, जिसे प्रत्येक सेल के लिए ऑन / ऑफ वैल्यू से भरना होता है, जिसके साथ प्रत्येक संख्या उस आकार की 'कोशिकाओं' पर कनेक्टेड 'और' ऑफ 'सेल्स के …

11 cc.complexity-theory  np-hardness  puzzles 

मर्लिन, जिनके पास निर्बाध कम्प्यूटेशनल संसाधन हैं, वे आर्थर को विश्वास दिलाना चाहते हैं कि m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k के लिए (N,m,k)(N,m,k)(N,m,k) के साथ k=O(logN)k=O(log⁡N)k=O(\log N) और m=O(N).m=O(N).m=O(N). इस योग को सीधे तरीके से गणना करना (मॉड्यूलर घातांक और जोड़) में समय लगता है N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

यह सवाल एक सवाल पर पूछा से प्रेरित हुआ stackoverflow । मान लीजिए कि आपको n नोड्स (लेबल 1 , 2 , … , n ) पर एक जड़दार पेड़ (यानी एक जड़ है और नोड्स के बच्चे आदि हैं) दिए गए हैं ।टीTTnnn1 , 2 , … , एन1,2,…,n1, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

अपने 1999 के वर्कशॉप पेपर "ए मेट्रिक मॉडल ऑफ पीसीएफ" में , मार्टिन एस्कार्डो ने दिखाया कि पूर्ण अल्ट्रामेट्रिक स्पेस और नोक्सपैंसिव मैप्स की श्रेणी में पीसीएफ की सरल व्याख्या देना संभव है। उसने दिखाया कि यह मॉडल पर्याप्त था, और यह टाइमआउट निर्माण के अलावा मॉडल बना सकता है …

11 pl.programming-languages  denotational-semantics  metric-spaces 

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

11 lg.learning 

क्या हैश एल्गोरिदम का एक वर्ग है, चाहे सैद्धांतिक या व्यावहारिक, जैसे कि कक्षा में एक एल्गोरिथ्म को नीचे दी गई परिभाषा के अनुसार 'प्रतिवर्तनीय' माना जा सकता है: hash1 = algo1 ("इनपुट टेक्स्ट 1") hash1 = algo1 ("इनपुट टेक्स्ट 1" + हैश 1) + ऑपरेटर आउटपुट (हैश 1) को …

11 ds.algorithms  hash-function 

मैं सीएस का छात्र हूं। हमने एक पाठ्यक्रम में ग्राफ सिद्धांत किया। मुझे यह दिलचस्प लगा। कंप्यूटर विज्ञान क्षेत्र में ग्राफ सिद्धांत के वास्तविक अनुप्रयोग क्या हैं? उदाहरण के लिए, मैंने पाया कि ग्राफ सिद्धांत में कुछ अवधारणाओं का उपयोग नेटवर्क डिजाइन करने के लिए किया जा सकता है। अन्य …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

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

11 ds.algorithms  graph-theory  sat 

आज्ञा देना एक चक्रीय निर्देशित ग्राफ है, जैसे कि किसी भी शीर्ष की डिग्री । के प्रत्येक शीर्ष के लिए हम हर बार शीर्ष से dfs चलाकर, पहुंच योग्य संख्याओं की संख्या की गणना कर सकते हैं और इसमें समय लगेगा। क्या इस समस्या को हल करने का एक बेहतर …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph