computable-analysis पर टैग किए गए जवाब

पृष्ठभूमि वास्तविक संख्याओं की गणना प्राकृतिक संख्याओं की तुलना में अधिक जटिल है, क्योंकि वास्तविक संख्याएं अनंत वस्तुएं हैं और बेशुमार वास्तविक संख्याएं हैं, इसलिए वास्तविक संख्याओं को एक परिमित वर्णमाला पर परिमित तारों द्वारा ईमानदारी से नहीं दर्शाया जा सकता है। परिमित तारों पर शास्त्रीय संगणना के विपरीत, जहाँ …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

वर्तमान में, अधिकांश लोकप्रिय भाषाओं में वास्तविक की गणना अभी भी फ्लोटिंग पॉइंट ऑपरेशंस के माध्यम से की जाती है। दूसरी ओर, टाइप टू इफ़ेक्टिविटी (टीटीई) और डोमेन थ्योरी जैसे सिद्धांतों ने लंबे समय तक वास्तविक गणना करने का वादा किया है। जाहिर है, फ्लोटिंग पॉइंट प्रिसिजन की समस्या प्रासंगिकता …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

एन पूर्णांक के एक वेक्टर के मानक असतत फूरियर रूपांतरण के कंप्यूटिंग की जटिलता (मानक पूर्णांक रैम पर) क्या है ?nnn तेजी से फूरियर रूपांतरण के लिए शास्त्रीय एल्गोरिथ्म , अनुचित रूप से [1] कोइली और टुके के लिए जिम्मेदार ठहराया जाता है, जिसे आमतौर पर O(nlogn)O(nlog⁡n)O(n \log n) समय …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

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

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

जैसा कि हम जानते हैं, एल्गोरिथ्म की कम्प्यूटेशनल जटिलता की परिभाषा लगभग विवाद के बिना है, लेकिन वास्तविक या कम्प्यूटेशनल मॉडल की वास्तविकताओं की कम्प्यूटेशनल जटिलता की परिभाषा ऐसे मामले में नहीं है। हम ब्लम और स्मेल्स के मॉडल और मॉडल को कम्प्यूटेशनल विश्लेषण में जानते हैं। और प्रतीत होता …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

मेरे पास एक प्रश्न है, जिसका उत्तर शायद अच्छी तरह से ज्ञात है, लेकिन मुझे खोज के बाद कुछ भी सार्थक नहीं मिल सकता है, इसलिए मैं आपकी मदद की सराहना करूंगा। मेरा प्रश्न यह है कि क्या यह ज्ञात है कि यह तय करना कि कोई संख्या पारलौकिक है …

9 computability  computable-analysis