क्या मैं तुलना कर सकता हूं कि कोटलिन में दो फ़्लोटिंग-पॉइंट नंबर बराबर हैं या नहीं?

Question

निम्नलिखित कोड https://kotlinlang.org/docs/reference/functions.html?q=&p=0

यह कोड कोसाइन के फिक्सपॉइंट की गणना करता है, जो गणितीय स्थिर है। यह बस Math.cos को बार-बार 1.0 से शुरू करता है जब तक परिणाम 0.7390851332151607 का नतीजा न मिलने तक परिणाम नहीं बदलता है।

मेरे दिमाग में, हम तुलना नहीं कर सकते कि दो फ़्लोटिंग-पॉइंट नंबर बराबर हैं, इसलिए मुझे लगता है कि if (x == y) का परिणाम हमेशा झूठा है, है ना?

private fun findFixPoint(): Double { 
    var x = 1.0 
    while (true) { 
     val y = Math.cos(x) 
     if (x == y) return y 
     x = y 
    } 
} 

Answer 1

आगे मेरी टिप्पणी पर विस्तार करने के लिए और अधिक सटीक हो रही, प्रलेखन आप कुंजी देता है।

Math.cos(double)

गणना परिणाम सटीक परिणाम के 1 ULP भीतर होना चाहिए। परिणाम अर्ध-मोनोटोनिक होना चाहिए।

एक एएनपी एन्कोडेड फ्लोटिंग पॉइंट नंबर और अगले नंबर को डेटा प्रकार में एन्कोड किया जा सकता है, इस मामले में, डबल में अंतर है।

यदि परिणाम 1 उल के भीतर होना चाहिए, तो इसका मतलब है कि परिणाम, दो फ़्लोटिंग पॉइंट मानों में से एक हो सकता है।

यह इस प्रकार है कि गणना का एकमात्र तरीका यह नहीं है कि यदि इनमें से किसी एक संख्या का इनपुट आपको अन्य नंबर देगा। लेकिन चूंकि यह कार्य अर्ध-मोनोटोनिक है जिसका अर्थ है कि ऐसा नहीं हो सकता है। अन्यथा आपके पास आउटपुट के रूप में कम मूल्य प्रदान करने वाले इनपुट के रूप में दोनों का उच्च मूल्य होगा, और कम मूल्य आपको आउटपुट के रूप में उच्चतम प्रदान करेगा। सेमी-मोनोटोनिक का मतलब है कि यह केवल एक दिशा में जाता है (इसे बहुत सरल और कुछ हद तक गलत तरीके से रखने के लिए)।

Answer 2

मेरे दिमाग में, हम तुलना नहीं कर सकते कि दो फ़्लोटिंग-पॉइंट नंबर बराबर हैं, इसलिए मुझे लगता है कि अगर परिणाम (x == y) हमेशा झूठा है, है ना?

नहीं, यह गलत है। आप तुलना कर सकते हैं कि दो फ़्लोटिंग-पॉइंट नंबर बराबर हैं लेकिन यह अधिकतर व्यर्थ है। क्योंकि परिभाषा द्वारा फ़्लोटिंग पॉइंट सटीक नहीं है। यहां तक ​​कि दो अलग-अलग गणनाओं में भी गणित में एक ही परिणाम होता है, यह गोल करने की त्रुटि के कारण प्रोग्राम में समान नहीं है। यह अभी भी बराबर होने का मौका हो सकता है।