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

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

11 formal-languages  computability  mathematical-foundations 

C # में एक वेब API के लिए क्लाइंट बनाते समय , मैं nullएक मूल्य के रूप में एक समस्या में भाग गया, जहाँ यह दो अलग-अलग चीजों का प्रतिनिधित्व करेगा: कुछ नहीं , उदाहरण के लिए एक fooया नहीं हो सकता हैbar अज्ञात : डिफ़ॉल्ट रूप से एपीआई प्रतिक्रिया …

11 programming-languages  language-design 

कार्ड का एक डेक 52 है। 52 में से एक हाथ 5 कार्ड है (एक डुप्लिकेट नहीं हो सकता है)। 5 कार्ड हाथ का प्रतिनिधित्व करने के लिए बिट्स की सबसे कम राशि क्या है और कैसे? एक हाथ आदेश पर निर्भर नहीं है (KQ = QK)। 64329 = 96432 …

11 combinatorics 

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

11 reference-request  programming-languages  semantics  model-checking 

2-आयामी विमान में मेरे पास दो सेट के अंक हैं। मैं बिंदुओं की निकटतम जोड़ी को खोजना चाहता हूं जैसे कि , और बीच यूक्लिडियन की दूरी यथासंभव छोटी है। यह कितनी कुशलता से किया जा सकता है? क्या यह समय में किया जा सकता है , जहां?एस , टी …

11 algorithms  computational-geometry 

मुझे एक सेट triqq \ {1, \ ldots, k \}A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , एक पूर्णांक s⩽ks⩽ks\leqslant k , और गैर-नकारात्मक पूर्णांक aijaija_{ij} । मेरी समस्या को मिल रहा है sss संबंध तोड़ना सबसेट SjSjS_j की {1,…,k}{1,…,k}\{1,\ldots,k\} ऐसी है कि: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; तथा |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} सभी के लिए i∈Sji∈Sji\in S_j और j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

जावा में, आपको एक चर को कम करने के लिए स्पष्ट रूप से डालना चाहिए public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple …

11 object-oriented  type-inference  language-design 

शीर्षक यह सब कहता है, लेकिन मैं उत्सुक हूं क्योंकि यह स्पष्ट नहीं है कि एक प्रमेय कहावत का नाम 'इसाबेल' है। क्या इसका नाम किसी व्यक्ति के लिए रखा गया था? मैं कुछ Google खोजों द्वारा पता नहीं लगा सका।

11 history  automated-theorem-proving  isabelle 

वास्तविक संख्याओं के मैट्रिक्स की शक्ति (सकारात्मक पूर्णांक) खोजने के लिए आवश्यक है। कुशल मैट्रिक्स गुणन एल्गोरिदम के बहुत सारे हैं (जैसे कुछ समानांतर एल्गोरिदम तोप, डीएनएस हैं ) लेकिन क्या एल्गोरिदम हैं जो वास्तव में मैट्रिक्स की शक्ति खोजने के लिए हैं और मैट्रिक्स गुणन के अनुक्रमिक निष्पादन की …

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

क्या यह देखने का एक आसान तरीका है कि एनपीटी एक्सपीटाइम में क्यों है? यह मुझे एक पूर्वाभास प्रतीत होता है कि एक समस्या हो सकती है जिसे हल करने के लिए सुपर-एक्सपोनेंशियल समय की आवश्यकता होती है, लेकिन जिनके समाधान को बहुपद समय में सत्यापित किया जा सकता है।

11 complexity-theory  complexity-classes 

एक नियमित एक्सप्रेस के रूप में पुनरावर्ती रूप से परिभाषित किया गया है aaa लिए एक नियमित अभिव्यक्ति है,a∈Σa∈Σa \in \Sigma εε\varepsilon एक नियमित अभिव्यक्ति है, ∅∅\emptyset एक नियमित अभिव्यक्ति है, (R1∪R2)(R1∪R2)(R_1 \cup R_2) जहां और नियमित अभिव्यक्ति हैं, एक नियमित अभिव्यक्ति है,आर 2R1R1R_1आर2R2R_2 ( आर1∘ आर2)(R1∘R2)(R_1 \circ R_2) जहाँ …

11 formal-languages  regular-languages  regular-expressions 

उच्च-स्तरीय भाषाओं को गति के मामले में निम्न-स्तरीय भाषाओं तक क्यों नहीं पहुंचाया जा सकता है? उच्च-स्तरीय भाषाओं के उदाहरण पायथन, हास्केल और जावा होंगे। निम्न-स्तरीय भाषाओं को परिभाषित करना मुश्किल होगा, लेकिन मान लीजिए कि सी। तुलना इंटरनेट के चारों ओर पाई जा सकती है और वे सभी सहमत …

11 programming-languages  performance 

एक मजेदार प्रोजेक्ट के रूप में, मैं रिचर्ड कोरफ के - C # कार्यान्वयन पर काम कर रहा हूं - जो कि रुबिक के क्यूब के लिए ऑप्टिमल सॉल्यूशंस का उपयोग करते हुए माइग्रेशन डेटाबेस का उपयोग कर रहा है। https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf मेरे पास वास्तव में यह काम कर रहा है, …

11 algorithms  permutations 

दो परिमित सेटों के कार्टेशियन उत्पाद के सबसेट को देखते हुए , मैं सेट द्वारा इसका एक न्यूनतम कवर ढूंढना चाहता हूं जो कार्टेशियन उत्पाद स्वयं हैं।I×JI×JI \times J उदाहरण के लिए, और J = { 1 , 2 , 3 } के बीच एक उत्पाद दिया गया , मैं …

11 algorithms  set-cover 

शोर का एल्गोरिथ्म अक्सर तर्क के रूप में उपयोग किया जाता है। यह शास्त्रीय कंप्यूटरों के लिए किसी भी ज्ञात एल्गोरिथ्म की तुलना में फैक्टराइजेशन समस्या को तेजी से हल कर सकता है। फिर भी, हमारे पास कोई प्रमाण नहीं है कि शास्त्रीय कंप्यूटर भी पूर्णांकों को कुशलता से कारक …

11 algorithms  efficiency  quantum-computing