29中等】两数相除

【29中等】两数相除（2021.10.12）

1. 问题描述

给定两个整数，被除数 dividend 和除数 divisor。将两数相除，要求不使用乘法、除法和 mod 运算符。

返回被除数 dividend 除以除数 divisor 得到的商。

整数除法的结果应当截去（truncate）其小数部分，例如：truncate(8.345) = 8 以及 truncate(-2.7335) = -2

示例 1:

输入: dividend = 10, divisor = 3
输出: 3
解释: 10/3 = truncate(3.33333..) = truncate(3) = 3

示例2：

输入: dividend = 7, divisor = -3
输出: -2
解释: 7/-3 = truncate(-2.33333..) = -2

提示：

• 被除数和除数均为 32 位有符号整数。
• 除数不为 0。
• 假设我们的环境只能存储 32 位有符号整数，其数值范围是 [−231, 231 − 1]。本题中，如果除法结果溢出，则返回 231 − 1。

2. 思路

二分查找 + 快速乘

注意题目中INT溢出的问题。

// c++ int描述溢出
-INT_MIN = INT_MIN

官方题解

3. 代码

class Solution {
public:
    int divide(int dividend, int divisor) {
        // 被除数为INT_MIN的时候
        if (dividend == INT_MIN) {
            if (divisor == -1) {
                return INT_MAX;
            }
            if (divisor == 1) {
                return INT_MIN;
            } 
        } 
        // 被除数为INT_MAX的时候
        if (dividend == INT_MAX) {
            if (divisor == 1) {
                return INT_MAX;
            }
            if (divisor == -1) {
                return -INT_MAX;
            }
        }
        // 除数为INT_MIN的时候
        if (divisor == INT_MIN && dividend == INT_MIN) {
            return 1;
        }
        // 被除数为0的时候
        if (dividend == 0) {
            return 0;
        }
        // 为了防止INT_MIN转换成正数之后的溢出，这里转换成负数来进行计算
        bool flag = false;
        if (dividend > 0 && divisor < 0 || dividend < 0 && divisor > 0) {
            flag = true;
        }
        dividend = dividend > 0 ? -dividend : dividend;
        divisor = divisor > 0 ? -divisor : divisor;

        // 快速乘算法
        auto quickMul = [](int a, int b, int c) {
            // a,c 是负数, b是正数
            // 需要判断 a * b >= c是否成立
            int result = 0, add = a;
            while (b) {
                if (b & 1) {
                    // 需要保证 result + add >= c
                    if (result < c - add) {
                       return false;
                    } 
                    result += add;
                }
                if (b != 1) {
                    // 需要保证 add + add >= c
                    if (add < c - add) {
                        return false;
                    }
                    add += add;
                }
                b >>= 1;
            }
            return true;
        };

        // 二分查找
        int left = 1, right = INT_MAX, ans = 0;
        while (left <= right) {
            int mid = left + ((right - left) >> 1);
            bool check = quickMul(divisor, mid, dividend);
            if (check) {
                ans = mid;
                if (mid == INT_MIN) {
                    break;
                }
                left = mid + 1;
            } else {
                right = mid - 1;
            }
        }

        return flag ? -ans : ans;
    } 
};

4. 复杂度

时间复杂度：$O(lo{g}^{2}N)$