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

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

10 complexity-theory  reductions  complexity-classes 

1990 के दशक के अंत में, जब मैं ग्रेजुएट स्कूल में था, पेपर जेएच साल्टज़र; डीपी रीड; डीडी क्लार्क: सिस्टम डिजाइन में एंड-टू-एंड तर्क । एसीएम ट्रांस। कंप्यूटर। Syst। 2 (4): 277-288, 1984. डीओआई = 10.1145 / 357401.357402 हर विश्वविद्यालय में प्रत्येक ऑपरेटिंग सिस्टम क्लास में पढ़ने की बहुत आवश्यकता …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

चैत की मेटा मैथ में! क्वेस्ट फॉर ओमेगा , वह हल्बर्ट की 10 वीं समस्या के बारे में संक्षेप में बात करता है। फिर वे कहते हैं कि किसी भी डायोफैंटाइन समीकरण को सकारात्मक पूर्णांक गुणांक वाले दो समान बहुपद में बदला जा सकता है: p = 0p=0p=0p=0 ।p=0⟺p1=p2p=0⟺p1=p2p=0 \iff …

10 logic  halting-problem 

मिलर-राबिन के प्रमाण से , यदि कोई संख्या फर्मेट प्राइमलिटी टेस्ट पास करती है , तो उसे उसी आधार (प्रमाण में एक चर) के साथ मिलर-राबिन परीक्षण भी पास करना होगा । और गणना जटिलता समान है।aaa निम्नलिखित त्वचा की प्राणिकता परीक्षा से है : जबकि कारमाइकल संख्याएँ अभाज्य संख्याओं …

10 algorithms  primes 

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

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

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

10 complexity-theory  formal-languages 

रैखिक कार्यक्रमों पर विचार करें Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} कमजोर द्वंद्व प्रमेय में कहा गया है कि अगर …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

हम पड़ा है कुक और कार्प कटौती के संबंध के बारे में कई सवाल । यह स्पष्ट है कि कुक रिडक्शन (बहुपद-काल ट्यूरिंग रिडक्शन) एनपी-पूर्णता की एक ही धारणा को परिभाषित नहीं करते हैं जैसे कि कार्प कम करना (बहुपद-समय-कई-एक कटौती), जो आमतौर पर उपयोग किए जाते हैं। विशेष रूप …

10 complexity-theory  reference-request  np-complete  reductions 

मेरी समस्या इस तरह है: मेरे पास ग्राफ के रूप में एक भौतिक लेआउट है। नोड्स हुक / नलिकाओं का प्रतिनिधित्व करते हैं जहां एक तार लंगर कर सकते हैं और जहां तार जा सकते हैं वहां से 2 नोड्स के बीच किनारों का संभावित कनेक्शन है। कुछ विशेष नोड्स …

10 algorithms  graph-theory  optimization 

परिचय और सूचनाएं: यहाँ मेरे एल्गोरिथ्म का एक नया और सरल संस्करण है जो समाप्त होता है (मेरे प्रयोगों के अनुसार), और अब मैं यह साबित करना चाहूंगा। अंकन करते एक्स मैं ∈ आर पीxi∈Rpx_i \in \mathbb{R}^p एक का उल्लेख पीpp आयामी डेटा बिंदु (एक सदिश)। मेरे पास तीन सेट …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

बड़े-ओ संकेतन में कार्यों के गुणांक पर चर्चा करने के लिए किस संकेतन का उपयोग किया जाता है? मेरे दो कार्य हैं: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 जाहिर है, दोनों कार्य , वास्तव में , लेकिन इससे आगे की तुलना की अनुमति नहीं …

10 terminology  asymptotics  landau-notation 

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

10 lambda-calculus  type-theory  type-inference 

बिग-ओ नोटेशन निरंतर कारकों को छिपाता है, इसलिए कुछ एल्गोरिदम मौजूद हैं जो किसी भी उचित इनपुट आकार के लिए संभव हैं क्योंकि टर्म पर गुणांक बहुत बड़ा है।एनओ ( एन )O(n)O(n)nnn क्या कोई ज्ञात एल्गोरिदम है जिसका रनटाइम लेकिन कुछ कम-क्रम वाले शब्द के साथ यह इतना बड़ा है …

10 algorithms  asymptotics 

कार्यों या संगणना के लिए हमारे पास शर्तें हैं: नियतात्मक - निर्धारक शुद्ध - पवित्रता अब साइड-इफ़ेक्ट-फ़्री के लिए सही संगत संज्ञा क्या है ? "साइड-इफ़ेक्ट फ़िरनेस"? "साइड-इफ़ेक्ट आज़ादी"? "गैर-पक्ष प्रभावी"?

10 terminology  programming-languages 

मान लीजिए कि एक एल्गोरिथ्म में एक रनटाइम पुनरावृत्ति संबंध है: टी( n ) = { छ( n ) + टी( एन - 1 ) + टी( ⌊ δn ⌋ )च( एन ): एन ≥ एन0: n < n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : …

10 asymptotics  recurrence-relation