【LeetCode-数学/二分查找】x 的平方根

题目描述

实现?int sqrt(int x)?函数。
计算并返回?x?的平方根，其中?x 是非负整数。
由于返回类型是整数，结果只保留整数的部分，小数部分将被舍去。
示例：

输入: 4
输出: 2

输入: 8
输出: 2
说明: 8 的平方根是 2.82842..., 
     由于返回类型是整数，小数部分将被舍去。

题目链接： https://leetcode-cn.com/problems/sqrtx/

思路1

在 1~x 范围内遍历，对于当前的数字 i：

• 如果 i == x / i （防溢出），则 i 就是 x 的平方根；
• 如果 i > x / i （防溢出），则 i-1 就是 x 的平方根；

代码如下：

class Solution {
public:
    int mySqrt(int x) {
        if(x==0) return 0;
        for(int i=1; i<=x; i++){
            if(i==x/i) return i;    // 不能写成 if(i*i==x)，会溢出
            if(i>x/i) return i-1;   // 不能写成 if(i*i>x)，会溢出
        }
        return 0;
    }
};

• 时间复杂度：O(sqrt(x))
• 空间复杂度：O(1)

思路2

上面的代码是顺序查找，可以写成二分查找加快速度。注意二分查找不能写成如下形式：

class Solution {
public:
    int mySqrt(int x) {
        if(x==0) return 0;

        int left = 1, right = x;
        while(left<=right){
            int mid = left + (right-left)/2;
            if(mid == x/mid) return mid;
            else if(mid > x/mid){
                right = mid-1;
            }else if(mid < x/mid){
                left = mid+1;
            }
        }
        return 0;
    }
};

这就是普通的二分查找，这样写有一个问题，就是只有对平方根原本就是整数的数才会返回正确的结果，例如，4 的平方根是 2，能返回正确的结果，而 8 的平方根是 2.82842，不能返回正确的结果。
正确的写法如下：

class Solution {
public:
    int mySqrt(int x) {
        if(x==0) return 0;

        int left = 1, right = x;
        int ans = -1;
        while(left<=right){
            int mid = left + (right-left)/2;
            if(mid <= x/mid){
                ans = mid;
                left = mid+1;
            }else{
                right = mid-1;
            }
        }
        return ans;
    }
};

当mid <= x/mid时，我们将 ans 更新为 mid，mid 更新为 mid+1，逐渐逼近真实的平方根。

• 时间复杂度：O(logx)
• 空间复杂度：O(1)

思路3

使用牛顿迭代法。牛顿迭代法是一种快速找函数零点的方法，求 C 的平方根就是找函数 f(x) = x^2 - C 的零点。牛顿迭代法的过程如下：

• 选择一个初始点(x0, f(x0))，以该点以及该点的斜率（2*x0）做一条切线，该切线与 x 轴的相交点为 (x1, 0);
• 以 x1 作垂线与函数 f(x) 的交点为 (x1, f(x1))，重复上面的步骤，我们就可以得到一个距离零点非常近的点。

下面计算 \(x_i\) 和 \(x_{i+1}\) 之间的关系，过点 \((x_{i}, f(x_{i}))\) 且斜率为 \(2x_i\) 的直线方程为

该直线与 x 轴的交点就是 \(x_{i+1}\)。令 y=0，得

当 \(x_i\) 与 \(x_{i+1}\) 相差非常小时（例如相差 1e-6 或者 1e-7），我们就认为 \(int(x_i)\) 是零点，也就是我们要求的平方根。
代码如下：

class Solution {
public:
    int mySqrt(int x) {
        if(x==0) return 0;

        double C = x, curX = x;
        while(true){
            double nextX = 0.5 * (curX + C/curX);
            if(fabs(nextX - curX)<1e-7){
                break;
            }
            curX = nextX;
        }
        return int(curX);
    }
};

• 时间复杂度：O(logn)
• 空间复杂度：O(1)

思路4

使用数学的方法（被称为“袖珍计算器算法”）：

需要注意的是，由于计算机无法存储精确的浮点数，所以这种方法求得的答案 ans 会有误差。例如，对于数字 2147395600，\(e^{\frac{1}{2}lnx}\)的结果 46639 与正确答案 46640 相差 \(10^{-11}\)。所以，我们求得 ans 后需要判断 ans 和 ans+1 哪一个才是正确的答案。代码如下：

class Solution {
public:
    int mySqrt(int x) {
        if(x==0) return 0;

        int ans = exp(0.5 * log(x));
        if((ans+1)<=x/(ans+1)) return ans+1;
        else return ans;
    }
};

• 时间复杂度：O(1)
• 空间复杂度：O(1)

参考

1、https://leetcode-cn.com/problems/sqrtx/solution/x-de-ping-fang-gen-by-leetcode-solution/