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

यह इस बारे में है कि हम हाथ पर एक एल्गोरिथ्म को कितनी प्रभावी रूप से व्यक्त कर सकते हैं। मुझे अपने स्नातक शिक्षण के लिए इसकी आवश्यकता है। मैं समझता हूं कि छद्म कोड लिखने के मानक तरीके जैसी कोई चीज नहीं है। विभिन्न लेखक अलग-अलग सम्मेलनों का पालन …

22 ds.algorithms  soft-question  advice-request  writing 

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

22 ds.algorithms  cg.comp-geom  polygon 

वास्तविक दुनिया में वर्टेक्स कवर समस्या के क्या अनुप्रयोग हैं? कौन से उद्योग या अनुसंधान परियोजनाएं वास्तव में कार्यान्वित सॉफ़्टवेयर का उपयोग करती हैं जो वर्टेक्स कवर समस्या के सैद्धांतिक परिणामों पर आधारित है? विशेष रूप से, उपयोग किए गए सॉफ़्टवेयर में निम्न में से कोई भी सैद्धांतिक परिणाम लागू …

22 ds.algorithms  graph-theory  graph-algorithms 

डेटा संरचनाओं के बारे में क्या जाना जाता है जो निम्नलिखित दो कार्यों के अधीन वस्तुओं के अनुक्रम को बनाए रख सकते हैं? पुश (x): अनुक्रम के अंत में x जोड़ें, और अनुक्रम में अपनी स्थिति के लिए एक पहचानकर्ता लौटाएं एक्स्ट्रेक्ट (S): आइडेंटिफायर्स का एक अनियंत्रित सेट दिया गया, …

22 ds.data-structures 

मुझे आश्चर्य है कि अगर ऐसा मानने का कोई औचित्य है कि या विश्वास करना कि ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L यह ज्ञात है कि । व्युत्पन्न पर साहित्य बहुत आश्वस्त है कि । क्या किसी को कुछ लेखों या विचारों के बारे में पता है जो कि ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

यदि कोई समस्या एनपी-हार्ड (बहुपद समय में कटौती का उपयोग करके) है, तो क्या इसका मतलब यह है कि यह पी-हार्ड (लॉग स्पेस या एनसी कटौती का उपयोग करके) है? यह सहज लगता है कि अगर यह एनपी में किसी भी समस्या के रूप में उतना ही कठिन है कि …

22 cc.complexity-theory  np-hardness 

मैं निम्नलिखित परिणाम के लिए संदर्भ ढूंढ रहा हूं: तथ्यात्मक प्रतिनिधित्व में दो पूर्णांक जोड़ना उतना ही कठिन है जितना सामान्य द्विआधारी प्रतिनिधित्व में दो पूर्णांकों को विभाजित करना। (मुझे पूरा यकीन है कि यह वहां से बाहर है क्योंकि यह कुछ ऐसा है जिसे मैंने किसी बिंदु पर सोचा …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

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

22 ds.algorithms  reference-request  max-flow 

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

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

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

22 cc.complexity-theory  big-picture  physics 

में रेखीय प्रकाशिकी के कम्प्यूटेशनल जटिलता ( ECCC TR10-170 ), स्कॉट आरोनसन और एलेक्स अर्खिपोव का तर्क है कि क्वांटम कंप्यूटर कुशलतापूर्वक शास्त्रीय कंप्यूटर से प्रेरित किया जा सकता है तो बहुपद पदानुक्रम तीसरे स्तर तक गिर। प्रेरक समस्या एक रैखिक-ऑप्टिकल नेटवर्क द्वारा परिभाषित वितरण से नमूना है; इस वितरण …

22 cc.complexity-theory  quantum-computing 

इसके अलावा (निर्धारक) संचार जटिलता c c ( R )सीसी(आर)cc(R) एक संबंध आरआरR , आवश्यक संचार की मात्रा के लिए एक और मूल उपाय प्रोटोकॉल विभाजन संख्या पी पी ( आर )पीपी(आर)pp(R) । इन दो उपायों के बीच संबंध एक स्थिर कारक तक जाना जाता है। कुशलीवित्ज और निसान (1997) …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

चलो एक ग्राफ हो। एक वर्टेक्स x ∈ V के लिए , N ( x ) को G में x का पड़ोस (खुला) परिभाषित करें । यही कारण है, एन ( एक्स ) = { y ∈ वीG=(V,E)G=(V,E)G=(V,E)x∈Vx∈Vx\in VN(x)N(x)N(x)xxxGGG । दो कोने परिभाषित यू , वी में जी होने के …

22 ds.algorithms  reference-request  graph-algorithms 

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

22 lo.logic  cr.crypto-security  teaching  security  formal-methods