算法 — 整数反转

题目：

        给你一个 32 位的有符号整数 x ，返回将 x 中的数字部分反转后的结果。如果反转后整数超过 32 位的有符号整数的范围 [−2^31,  2^31−1] ，就返回 0。假设环境不允许存储 64 位整数（有符号或无符号）。

示例 1：

输入：x = 123
输出：321

示例 2：

输入：x = -123
输出：-321

示例 3：

输入：x = 120
输出：21

示例 4：

输入：x = 0
输出：0

解题思路：

        基于纯数学思想、没有堆栈帮助下，核心思想是重复弹出 x 的末尾数字并将其推入 rev 的末尾直至 x 为0。执行过程中需注意题目的判断要求，因此我们需要在每一次推入数字之前判断推入后是否超出范围，若超出则返回 0。但是题目要求不允许使用64位整数，因此需要将上述思想的实现方式转换一下。

        假设x>0，记，又通过如下数学变换

最终得到的结论是

接下来讨论该不等式成立的条件：

        若 ，由于digit >= 0，不等式不成立；

        

        若，当且仅当digit <= 7 时不等式成立；

        若，由于digit <= 9 ，故不等式恒成立。

注意点：

       当  时若还能推入数字，则x的位数与 INT_MAX 的位数相同，且推入的数组位 digit 的最高位。由于 x 不超过 INT_MAX ，故 digit 不会超过 INT_MAX 的最高位，即

digit <= 2 。综上，当时不等式必定恒成立。

 

        故判断条件可简化为 当且仅当 时不等式恒成立。（x < 0的情况不

在这里展开证明，理论类似) 。故判断条件为。

class Solution {
    public int reverse(int x) {
        int rev = 0;
        while (x != 0) {
            if (rev < Integer.MIN_VALUE / 10 || rev > Integer.MAX_VALUE / 10) {
                return 0;
            }
            int digit = x % 10;
            x /= 10;
            rev = rev * 10 + digit;
        }
        return rev;
    }
}

        该算法时间复杂度为O(log∣x∣)，其中翻转的次数为x十进制的位数。算法空间复杂度为O(1)。