【Leetcode】343. Integer Break

题目地址：

https://leetcode.com/problems/integer-break/

给定一个正整数，将其进行切割，要求至少切割成两个数，使得切割出来的所有数乘积最大，问这个最大乘积是多少。

这是一道数论题。（并不需要微积分，微积分能给出一个大体想法，但很难非常严格的说清楚，其实基本的数论知识已经足够了。）

首先，如果拆分出来的数中有一个大于$4$，不妨设这个数是$n$那么有$2(n-2)>n$，所以可以继续拆分这个$n$为$2+(n-2)$从而获得更大的乘积。所以所有拆分出来的数字必须是$1$，$2$或者$3$。而拆分出$1$这种情况，乘积一定是比原数要小的，所以只能是不得不拆的情况才会拆分出$1$，也就是当$n=2$或者$3$的时候，这两个数需要特判。别的数就一定不会拆分出$1$了。接下来，我们可以证明拆分出来的$2$的个数一定不会大于两个，否则由于$2+2+2=3+3$而$2\ast 2\ast 2<3\ast 3$，这样就得到了更大的数，所以拆分出来的$2$的个数只能是$0$，$1$或者$2$。

设$n=2n_2+3n_3$，其中$n_2$和$n_3$代表$2$和$3$各自的个数。由于$n_2\le 2$，接下来我们分三种情况讨论：（以下的”$/$“都代表计算机里的整除，而非数学里的除法）
1、若$n\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$，则由于$n_2\le 2$，所以必然有$n_2=0$，所以$n_3=n/3$；
2、若$n\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$，此时$n_2=2$，所以$n_3=n/3-1$；
3、若$n\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}3)$，此时$n_2=1$，所以$n_3=n/3$。
所以算法里只需要根据这三种情况把$n_2$和$n_3$算出来再乘起来即可。代码如下：

public class Solution {
    public int integerBreak(int n) {
    	// 特判一下2和3，这两个数是唯二的需要拆分出1的数
    	if (n == 2) {
    		return 1;
    	}
        if (n == 3) {
            return 2;
        }
        
        int twos = 0, threes = 0;
        // 对n进行分类
        if (n % 3 == 0) {
            threes = n / 3;
        } else if (n % 3 == 1) {
            threes = n / 3 - 1;
            twos = 2;
        } else {
            threes = n / 3;
            twos = 1;
        }
        
        int res = 1;
        res <<= twos;
        for (int i = 0; i < threes; i++) {
            res *= 3;
        }
        
        return res;
    }
}

时间复杂度$O(\log n)$，空间$O(1)$。

至于上面的那个”大于$4$“是怎么想到的呢？

思维过程是这样的：首先我们想得到拆分出的数字的一个上界，我们只需要找到一个临界的数，继续拆分下去有可能会变大即可。设某数$n$继续拆分下去可以变大，接下来解不等式$k(n-k)>n$，有$$n>\frac{k^2}{k-1}$$我们需要右边的数尽量小，只有右边的数尽量小，我们才有可能让$n$也尽量小，也就会得到那个临界值。因为$$\frac{k^2}{k-1}=k-1+\frac{1}{k-1}+2\ge 2\sqrt{1}+2=4$$且在$k=2$的时候取到等号，对于$k=2$我们解出$n>4$，所以所有大于$4$的数都是不能出现在拆分的数里的。有了这个结论，剩余的推理就非常简单了。当然拆分出$2$未必需要这么复杂的推理。因为非常明显，拆分出$2$后乘积几乎一定会变大。这里只是用数学的语言说明一下。