loop-invariants पर टैग किए गए जवाब

2
इस स्क्वायर रूट बाउंड अल्गोरिद्म में लूप इन्वारिएंट कैसे प्राप्त किया जाता है?
मूल रूप से math.SE पर लेकिन वहां अनुत्तरित। निम्नलिखित एल्गोरिथ्म पर विचार करें। u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.