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

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

12 programming-languages  lambda-calculus 

मैं एक समय श्रृंखला की भविष्यवाणी करने के लिए तंत्रिका नेटवर्क का उपयोग कर रहा हूं। अब मैं जिस प्रश्न का सामना कर रहा हूं, वह यह है कि मैं दिनांक / समय / क्रम सं। प्रत्येक इनपुट तंत्रिका नेटवर्क के लिए एक इनपुट के रूप में सेट? क्या मुझे …

12 machine-learning  artificial-intelligence  neural-networks 

क्या सह-पूर्णता एनपी-कठोरता का अर्थ है? विशेष रूप से, मुझे एक समस्या है जो मैंने सह-पूर्ण होने के लिए दिखाई है। क्या मैं यह दावा कर सकता हूं कि यह एनपी-हार्ड है? मुझे एहसास है कि मैं coNP- कठोरता का दावा कर सकता हूं, लेकिन मुझे यकीन नहीं है कि …

12 complexity-theory  np-hard 

हम एक सरणी दिया जाता है सभी के साथ एक [ मैं ] > 0 ।एक [ 1 ... n ]a[1…n]a[1 \ldots n]एक [ i ] > 0ए[मैं]>0a[i]>0 अब हमें यह पता लगाने की जरूरत है कि इसके उपग्रहों से कितने अलग-अलग योग बन सकते हैं (जहां एक सबर्रे सरणी …

12 arrays  substrings  suffix-array 

मुझे नहीं पता कि यह एक मजाक था, लेकिन एक बार मैंने पढ़ा कि एक संस्करण की फ़ाइल में एक औपचारिक परिभाषा के रूप में संदर्भित किया गया था जैसे कि गिट, hg या svn। यह एक गणितीय वस्तु की तरह था जैसे कि होमियोमॉर्फिज़्म। क्या यह मजाक था या …

12 terminology  reference-request 

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

12 programming-languages  type-theory 

इमेज प्रोसेसिंग कनवल्शन के लिए लैप्लस ट्रांसफॉर्म लोकप्रिय क्यों नहीं है? अधिकांश पाठ्यपुस्तकें केवल फूरियर रूपांतरण करती हैं।

12 history  image-processing 

मैं इस समस्या को हल करने की कोशिश कर रहा हूं और मैं वास्तव में संघर्ष कर रहा हूं। एक मोनोटोन बूलियन फॉर्मूला प्रपोजल लॉजिक में एक फॉर्मूला है जहां सभी शाब्दिक सकारात्मक हैं। उदाहरण के लिए, ( x)1∨ x2) ∧ ( एक्स1∨ x3) ∧ ( एक्स3∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 …

12 complexity-theory  np-complete  satisfiability 

मेरे पास एक अप्रत्यक्ष पेड़ है, जिसका सिरा मैं लेबल करना चाहता हूं। पत्ती नोड्स को एक लेबल किया जाना चाहिए। फिर, मान लें कि पत्तियां हटा दी गईं। जिस पेड़ में रहता है, उसमें पत्तियों को दो लेबल करना चाहिए। यह प्रक्रिया स्पष्ट तरीके से जारी रहती है जब …

12 algorithms  trees 

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

12 complexity-theory  time-complexity  np-complete 

कहो, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* । फिर हम कि कैसे साबित कर सकते हैं L∗L∗L^* नियमित रूप से है? यदि LLL नियमित है, तो निश्चित रूप से L∗L∗L^* भी नियमित रूप से है। यदि LLL परिमित है, तो यह नियमित रूप से और फिर से है L∗L∗L^* नियमित रूप से है। …

12 formal-languages  regular-languages 

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

12 machine-learning 

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

12 formal-languages  context-free  formal-grammars  normal-forms 

मुझे लगता है कि यह समझ में आता है कि वनों की कटाई कैसे होती है और एक ही समय में एक सूची बनाता है (एक गुना और एक अनपेक्षित कार्य से - कोडरव्यू पर इस अच्छे उत्तर को यहां देखें ), लेकिन जब मैंने तुलना की कि तकनीक पर …

12 terminology  compilers  functional-programming 

इसलिए, मुझे पता है कि यदि एक नियमित भाषा , नियमित भाषा का सबसेट है, तो वह विचारणीय है, क्योंकि हम उन दोनों को DFA में परिवर्तित कर सकते हैं, गणना कर सकते हैं , और तब परीक्षण कर सकते हैं यदि यह भाषा खाली है।एस आर ∩ ˉ एसRRRSSSR∩S¯R∩S¯R …

12 algorithms  regular-languages  automata  np-complete  decision-problem