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

प्रोग्रामर्स पर एक उत्तर। कुक के अनुसार निबंध का वर्णन करता है ( ऑब्जेक्ट एडीटी नहीं हैं ) वस्तुएं एक बीजगणित के बजाय एक प्रकार के मूल्यों पर एक विशिष्ट कार्य की तरह व्यवहार करती हैं। ऑब्जेक्ट अमूर्त प्रकार के बजाय प्रक्रियात्मक अमूर्तता का उपयोग करते हैं ADTs आमतौर पर …

11 programming-languages  object-oriented  abstract-data-types 

क्या अधिकतम मिलान करने की तुलना में एक अधिक वजन वाले द्विदलीय ग्राफ में अधिकतम मिलान के आकार को अधिक कुशलता से (उदाहरण के लिए तेजी से) गणना करने का एक तरीका है? यह एक लंबा शॉट है लेकिन अक्सर इस तरह की थकाऊ गणनाओं से बचने के लिए यह …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Google हैश कोड 2015 टेस्ट राउंड ( समस्या कथन ) ने निम्नलिखित समस्या के बारे में पूछा: इनपुट: कुछ चिह्नित वर्गों के साथ एक ग्रिड , एक थ्रेशोल्ड , एक अधिकतम क्षेत्रटी ∈ एन ए ∈ एनMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} आउटपुट: पूर्णांक आयतों के समुच्चय का सबसे बड़ा संभव …

11 complexity-theory  reductions  np-hard 

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

11 concurrency  synchronization  mutual-exclusion 

मैंने सोचा है कि टेप / टेप एक ट्यूरिंग मशीन की औपचारिक परिभाषा का हिस्सा क्यों नहीं हैं। उदाहरण के लिए, विकिपीडिया पृष्ठ पर ट्यूरिंग मशीन की औपचारिक परिभाषा पर विचार करें । परिभाषा Hopcroft और उलमान निम्नलिखित शामिल हैं: राज्यों के परिमित सेट , टेप वर्णमाला Γ , खाली …

11 turing-machines  computation-models 

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

11 programming-languages  finite-model-theory  fixed-point 

मैं एक शुरुआत सीएस छात्र हूं और मैं एल्गोरिदम सीख रहा हूं। मैंने सुना है कि क्वांटम कंप्यूटरों के साथ भी, सामान्य सॉर्टिंग एल्गोरिदम कभी भी समय से बेहतर नहीं हो सकता है । हालाँकि, मुझे यह भी पता है कि एल्गोरिदम फैक्टरिंग बहुत तेज़ होगा। सामान्य शब्दों में, क्वांटम …

11 algorithms  quantum-computing 

मैं इसकी मूर्खता जानता हूं, लेकिन मैं खुद को भ्रमित करने में कामयाब रहा और मुझे इसे निपटाने में मदद की जरूरत है मानें , तो स्पष्ट रूप से प्रत्येक ऑरेकल हमारे पास जो इस तथ्य का खंडन करता है कि कुछ ओरेकल मौजूद है जिसके लिए , इसलिएपी= एनपीP=NPP=NPएAAपीए= …

11 complexity-theory  p-vs-np  oracle-machines 

हम जानते हैं कि and अनंत है और काफी संभावना है कि इसमें अंकों के प्रत्येक संभव परिमित तार ( डिसजक्टिव सीक्वेंस ) शामिल हैं। मैंने हाल ही में whichfs के कुछ प्रोटोटाइप देखे हैं जो यह मानते हैं कि आपके द्वारा बनाई गई प्रत्येक फ़ाइल (या किसी और) या …

11 algorithms  data-compression  mathematical-programming 

मुझे आश्चर्य हो रहा है कि क्या "2-SAT के साथ XOR- संबंध" के लिए एक बहुपद एल्गोरिथ्म है। 2-SAT और XOR-SAT दोनों P में हैं, लेकिन क्या इसका संयोजन है? उदाहरण इनपुट: 2-SAT भाग: (a or !b) and (b or c) and (b or d) XOR हिस्सा: (a xor b …

11 np-complete  satisfiability  xor  2-sat 

क्या अनिर्णायक समस्याओं का अस्तित्व भौतिक प्रणालियों की गैर-अनुमानितता को तुरंत प्रभावित करता है? हमें रोकने की समस्या पर विचार करें, पहले हम एक भौतिक UTM का निर्माण करते हैं, सामान्य सर्किट आधारित निर्माण का उपयोग करते हुए कहते हैं। फिर कोई भी निर्णायक भौतिक सिद्धांत नहीं हो सकता है …

11 computability  turing-machines  undecidability  physics 

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

11 computer-architecture  operating-systems  performance  program-optimization 

गैर-सूचीबद्ध ग्राफ़ के मामले में, ग्राफ आइसोमॉर्फिज्म समस्या से कई एल्गोरिदम का सामना किया जा सकता है जो व्यवहार में बहुत अच्छा प्रदर्शन करते हैं। यही है, हालांकि सबसे खराब स्थिति चल रहा समय घातीय है, आमतौर पर एक बहुपद चल रहा है समय है। मैं उम्मीद कर रहा था …

11 algorithms  graph-theory  graph-isomorphism 

चलो कुछ गिनती समस्या जो माना जाता है हो सकता है # पी -Complete ।ΠΠ\PiPPP इसका अर्थ यह है कि है एक पी एक्स -हार्ड (यानी कोई पीटीए के लिए समस्या मौजूद है, जब तक कि पी = एन पी )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

मैं कंकम्पस ऑफ कंस्ट्रक्शंस और लैंबडा क्यूब में इसके स्थान को देख रहा हूं । अगर मैं सही ढंग से , तो क्यूब के प्रत्येक अक्ष को एक अन्य ऑपरेशन को जोड़ने के बारे में सोचा जा सकता है, जिसमें बस टाइप किए गए कैलकुलस, प्रकार शामिल हैं । पहला …

11 terminology  lambda-calculus  type-theory  dependent-types