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

चलो निश्चित आकार के पात्रों के कुछ परिमित सेट हैं। आज्ञा देना कुछ स्ट्रिंग पर । हम कहते हैं कि एक अरिक्त-स्ट्रिंग की एक है दोहराने अगर कुछ स्ट्रिंग के लिए ।अल्फा Σ बीटा अल्फाΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaगामाβ= γγβ=γγ\beta = \gamma \gammaγγ\gamma अब, मेरा सवाल यह है कि क्या निम्नलिखित है: प्रत्येक , …

20 combinatorics  strings  word-combinatorics 

हाल ही में मुझे एक पेपर [1] में पाया गया कि SAT का एक विशेष सममित संस्करण है जिसे 2/2/4-SAT कहा जाता है । लेकिन कई -complete वेरिएंट्स हैं, उदाहरण के लिए: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} कुछ अन्य प्रकार ट्रैक्टेबल हैं: - , Planar-NAE- , ...222SATSAT\text{SAT}SATSAT\text{SAT} क्या …

20 complexity-theory  reference-request  satisfiability 

मैं हनोई के टावर्स की जटिलता पर निम्नलिखित संदेह में भाग गया , जिस पर मैं आपकी टिप्पणी चाहूंगा। क्या यह एनपी में है? उत्तर दिया गया: मान लीजिए कि पैगी (प्रोवर) समस्या को हल करती है और उसे विक्टर (सत्यापनकर्ता) तक पहुँचा देती है। विक्टर आसानी से देख सकता …

20 complexity-theory  time-complexity 

यह मेरे द्वारा बनाई गई नेटवर्क विलंबता को मापने के बारे में एक पहेली है। मेरा मानना ​​है कि समाधान यह है कि यह असंभव है, लेकिन मित्र असहमत हैं। मैं किसी भी तरह समझाने के लिए देख रहा हूँ। (हालांकि यह एक पहेली के रूप में प्रस्तुत किया गया …

20 computer-networks  protocols  distributed-systems 

यदि एक प्रकार की प्रणाली एक प्रकार को λ x . x xया गैर-समाप्ति के लिए असाइन कर सकती है (λx . x x) (λ x . x x), तो क्या वह प्रणाली परिणाम के रूप में असंगत है? क्या हर प्रकार उस व्यवस्था के अंतर्गत है? क्या आप झूठे …

20 lambda-calculus  dependent-types 

मैं एक डेटा संरचना की तलाश कर रहा हूं, जो एक नया तत्व सम्मिलित होने पर उसके सबसे पुराने / अंतिम तत्व को बाहर कर देगा। उदाहरण के लिए, Dसंरचना का प्रतिनिधित्व करते हैं। Dप्रकार के 3 तत्व शामिल हैं Number Dके मूलभूत मूल्यों के लिए शुरू हो जाएगा 1, …

20 data-structures  arrays  queues 

एक अनियोजित जोड़ी {x, y} (सेट) के लिए एक ऑर्डर की गई जोड़ी (x, y) की तुलना करें, तो सैद्धांतिक रूप से जानकारी, अंतर केवल एक बिट है, जैसे कि x पहले आता है या y को प्रतिनिधित्व करने के लिए बिल्कुल एक बिट की आवश्यकता होती है। इसलिए, यदि …

20 information-theory  data-compression 

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

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

एक नियमित प्रकार की व्युत्पत्ति नामक एक लेख इसका प्रकार है वन-होल कॉन्टेक्ट्स से पता चलता है कि एक प्रकार का "जिपर" - इसका एक छेद संदर्भ - प्रकार बीजगणित में भेदभाव नियमों का पालन करता है। हमारे पास है: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 …

20 type-theory  algebra 

मुझे पता है कि कुछ अस्पष्ट अर्थों में संगणना क्या है (यह बात कंप्यूटर करते हैं), लेकिन मैं अधिक कठोर परिभाषा चाहूंगा। Dictionary.comअभिकलन, अभिकलन, गणना और गणना की परिभाषाएं वृत्ताकार हैं, इसलिए यह मदद नहीं करता है। Wikipediaगणना को परिभाषित करता है "किसी भी प्रकार की गणना जो एक अच्छी …

20 terminology  computability 

एंड्रयू डब्ल्यू। एपेल की पुस्तक, मॉडर्न कम्पाइलर इंप्लीमेंट इन एमएल , वे अध्याय 17 के तहत कहते हैं कि कम्प्यूटेबिलिटी थ्योरी से पता चलता है कि नए अनुकूलन परिवर्तनों का आविष्कार करना हमेशा संभव होगा और यह साबित करने के लिए आगे बढ़ना होगा कि पूरी तरह से अनुकूलन कंपाइलर …

20 computability  compilers  program-optimization 

ठीक है इससे पहले कि मैं शुरू करूं मुझे एहसास है कि यह विषय-विषय पर है (मैंने इस साइट के लिए प्रश्न सहायता पढ़ी है), विशेष रूप से यह वास्तविक दुनिया की समस्या नहीं है। तथापि: मुझे Google पर कुछ भी प्रासंगिक नहीं मिल रहा है एक शुद्धतावादी दृष्टिकोण से …

20 reference-request  human-computing 

संदर्भ-मुक्त भाषाएं पूरक के तहत बंद नहीं हैं, हम जानते हैं कि। जहां तक मैं समझता हूँ, विषय से मुक्त करने वाली भाषाएं का एक सबसेट है a∗b∗a∗b∗a^*b^* कुछ पत्र के लिए a,ba,ba,b पूरक के तहत बंद हो जाती हैं (!?) यहाँ मेरा तर्क है। प्रत्येक सीएफ भाषा LLL एक …

20 formal-languages  reference-request  context-free  closure-properties 

यह एक साक्षात्कार प्रश्न से प्रेरित है । हम पूर्णांकों की एक सरणी दिया जाता है और विशिष्ट निर्धारित करने के लिए देखते हैं अगर है मैं < j < कश्मीर ऐसा है किए1, … , एna1,…,ana_1, \dots, a_ni < j < ki<j<ki \lt j \lt k एक- एजे= एजे- …

20 algorithms  complexity-theory  lower-bounds 

विकिपीडिया , पूर्णांक के दिए गए मल्टीसेट के एक उप-समूह को खोजने के लिए सबसेट समस्या बताता है, जिसका योग शून्य है। इसके अलावा यह कहा गया है कि यह राशि के साथ एक सबसेट पाने के लिए बराबर है किसी भी के लिए ।ssssss इसलिए मेरा मानना ​​है कि …

20 complexity-theory  reductions  np-hard