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 := x; end_if end_while โดยที่ u, v และ n เป็นจำนวนเต็มและการดำเนินการหารคือการหารจำนวนเต็ม อธิบายสิ่งที่คำนวณโดยอัลกอริทึม ใช้คำตอบของคุณในส่วนที่ฉันเป็นโพสต์เงื่อนไขสำหรับอัลกอริทึมสร้างวงคงที่และแสดงให้เห็นว่าอัลกอริทึมยุติและถูกต้อง …