कंप्यूटर विज्ञान

मैंने अभी-अभी Sipser की पुस्तक परिचय के कुछ पन्नों को पोस्ट कॉरेस्पोंडेंस प्रॉब्लम के बारे में संगणना के सिद्धांत में पढ़ा, और मैं सोच रहा हूं कि PCP वास्तव में NP में है। प्रमाणकर्ता है: ढेर के एक इनपुट विन्यास के लिए श्रृंखलाबद्ध टी 1 , टी 2 , । …

12 complexity-theory  decision-problem  np 

डेटा संरचनाओं और एल्गोरिथ्म से सबसे लोकप्रिय सवाल में से एक, ज्यादातर टेलिफोनिक साक्षात्कार पर पूछा गया।

12 algorithms  data-structures  linked-lists 

मुझे लगा कि सभी नियमित भाषाओं को नियमित अभिव्यक्तियों के साथ व्यक्त किया जा सकता है (यदि कोई भाषा नियमित है, तो इसे regex के साथ व्यक्त किया जा सकता है), लेकिन मुझे बताया गया है कि आपको इसके लिए नियमित संचालन (संघ, संघ और स्टार) तीनों की आवश्यकता है …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

मैं ऑटोमेटा में नया हूँ, और मुझे कल ही नियमित अभिव्यक्ति के लिए एक संक्षिप्त परिचय दिया गया है। मैंने विभिन्न नियमों को पढ़ा है जो एक नियमित अभिव्यक्ति को परिभाषित करते हैं। लेकिन मैं किसी भाषा के नियमित भावों और व्याकरण में अंतर करने में असमर्थ हूं (मुझे नियमित …

12 automata  formal-grammars  regular-expressions 

मैं इस बात को लेकर उत्सुक हूं कि आर्थर-मर्लिन जटिलता वर्ग में कोई पूर्ण समस्याएं हैं या नहीं। ग्राफ गैर-समतावाद (जीएनआई) एएम में एक समस्या का विहित उदाहरण प्रतीत होता है , लेकिन यह शायद एक पूर्ण नहीं है। मुझे लगता है कि मैं भी सोच रहा हूं कि क्या …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

मुझे पता है कि यह एक बहुत ही बेवकूफ (या राज्य के लिए बहुत स्पष्ट) सवाल लगता है। हालांकि, मैं कुछ बिंदु पर भ्रमित हूं। हम दिखा सकते हैं कि पी एनपी=== यदि और केवल अगर हम एक एल्गोरिथ्म डिज़ाइन कर सकते हैं जो एनपी को बहुपद समय में समस्या …

12 complexity-theory  p-vs-np 

कंप्यूटर विज्ञान में वह लोकप्रिय समस्या है [1] [२] जो न्यूनतम लाइनों की न्यूनतम संख्या का पता लगा रही है जो किसी दिए गए सेट को २ डी में शामिल करती है। हालांकि मैंने कई कागजात स्कैन किए हैं, उनमें से किसी में भी समस्या के लिए स्पष्ट प्रेरणा नहीं …

12 reference-request  computational-geometry  applied-theory 

मैंने देखा है कि XOR-3-SAT कुशलता से कैसे हल किया जा सकता है (उदाहरण के लिए, बूलियन संतोषजनक समस्या के लिए विकिपीडिया प्रविष्टि में "XOR- संतोषजनकता" अनुभाग देखें )। मैं एक बुनियादी सवाल सोच रहा हूं: क्या XOR-k-SAT कुशलतापूर्वक हल करने योग्य है, प्रति खंड में शाब्दिक मात्रा में भिन्नता …

12 complexity-theory  satisfiability 

सूची के बीच Levenshtein- दूरी संपादित दूरी एक अच्छी तरह से अध्ययन की समस्या है। लेकिन मैं संभावित सुधारों के बारे में बहुत कुछ नहीं जान सकता अगर यह ज्ञात हो कि कोई भी तत्व प्रत्येक सूची में एक से अधिक बार नहीं होता है । आइए यह भी मान …

12 algorithms  strings  string-metrics  edit-distance 

मैं एक बहुत विशिष्ट उपयोग के मामले में इन-मेमोरी ऑब्जेक्ट डेटाबेस डिज़ाइन कर रहा हूं। यह एकल लेखक है, लेकिन कुशल समवर्ती पठन का समर्थन करना चाहिए। रीड्स को अलग किया जाना चाहिए। कोई क्वेरी भाषा नहीं है, डेटाबेस केवल समर्थन करता है: ऑब्जेक्ट / -s को विशेषता के आधार …

12 data-structures  concurrency  databases 

यह शायद एक बेवकूफ सवाल है, लेकिन मुझे समझ में नहीं आता है। एक अन्य प्रश्न में वे शेफ़र की द्विभाजन प्रमेय के साथ आए । मेरे लिए ऐसा लगता है कि यह साबित करता है कि हर सीएसपी समस्या पी में या एनपी-पूर्ण में है, लेकिन बीच में नहीं। …

12 np-complete  satisfiability  p-vs-np 

मुझे ट्यूरिंग की रुकने की समस्या को समझने में परेशानी होती है। उनका प्रमाण मानता है कि एक जादुई मशीन मौजूद है जो यह निर्धारित कर सकती है कि कंप्यूटर किसी दिए गए इनपुट के लिए हमेशा के लिए बंद हो जाएगा या लूप करेगा। फिर हम एक अन्य मशीन …

12 computability  halting-problem 

एक बिन को पूर्ण कहा जाता है यदि उसमें कम से कम गोले हों। हमारा लक्ष्य है कि जितना संभव हो सके उतने डिब्बे बनाने हैं।kkk सबसे सरल परिदृश्य में, हमें गेंदें दी जाती हैं और उन्हें मनमाने ढंग से व्यवस्थित कर सकते हैं। उस मामले में, जाहिर है कि …

12 combinatorics  balls-and-bins 

डायनामिक परफेक्ट हैश टेबल और कोयल हैश टेबल दो अलग-अलग डेटा संरचनाएं हैं जो सबसे खराब स्थिति ओ (1) लुकअप और अपेक्षित ओ (1)-टाइम सम्मिलन और विलोपन का समर्थन करती हैं। दोनों को अपने कार्यों के लिए हे (एन) सहायक स्थान और हैश कार्यों के परिवारों तक पहुंच की आवश्यकता …

12 data-structures  hash-tables 

मुझे वह सब पसंद है जो संकलन समय है और मुझे यह विचार बहुत पसंद है कि एक बार जब आप किसी कार्यक्रम को संकलित करते हैं तो उसके निष्पादन के बारे में बहुत सारी गारंटी दी जाती है। आम तौर पर एक स्थिर प्रकार की प्रणाली (हास्केल, सी ++, …

12 programming-languages  type-theory  type-checking  software-verification