real-numbers पर टैग किए गए जवाब

एक छात्र ने हाल ही में मुझे उनके लिए एनपी-कठोरता प्रमाण की जांच करने के लिए कहा। उन्होंने इसकी तर्ज पर कमी का प्रदर्शन किया: मैं इस समस्या को कम P′P′P' कि एन पी-सम्पूर्ण मेरी समस्या के लिए माना जाता है PPP , (एक पाली समय कई-एक कमी के साथ) …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

लैंबडा कैलकुलस के अधिकांश ट्यूटोरियल उदाहरण प्रदान करते हैं जहां पॉजिटिव इंटेगर और बूलियंस को कार्य द्वारा दर्शाया जा सकता है। क्या -1 और मैं?

14 data-structures  lambda-calculus  integers  real-numbers 

यह कैसे उल्लेखनीय हो सकता है कि क्या में अंकों का कुछ अनुक्रम है? ππ\piमुझे यह पूछने के लिए प्रेरित किया कि क्या निम्नलिखित निर्दोष-भिन्नता कम्प्यूटेशनल है: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar …

11 computability  real-numbers 

वर्तमान फ्लोटिंग पॉइंट (एएनएसआई सी फ्लोट, डबल) एक वास्तविक संख्या के एक अनुमान का प्रतिनिधित्व करने की अनुमति देता है । क्या त्रुटियों के बिना वास्तविक संख्याओं का प्रतिनिधित्व करने का कोई तरीका है ? यहां एक विचार है जो मेरे पास था, जो कुछ भी है लेकिन सही है। …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

क्या "राइस प्रमेय फॉर कम्प्यूटेबल रियल्स" है - अर्थात, किसी दिए गए कंप्युटेबल रियल द्वारा दर्शाई गई संख्या की कोई भी गुणात्मक गुणधर्म सत्य नहीं है? क्या यह वास्तविकताओं की कनेक्टिविटी के लिए कुछ प्रत्यक्ष तरीके से मेल खाता है?

10 computability  real-numbers  computable-analysis