回溯+剪枝（例题解析）

题目 将数组拆分成斐波那契序列

给定一个数字字符串 S，比如 S = “123456579”，我们可以将它分成斐波那契式的序列 [123, 456, 579]。

形式上，斐波那契式序列是一个非负整数列表 F，且满足：

0 <= F[i] <= 2^31 - 1，（也就是说，每个整数都符合 32 位有符号整数类型）；
F.length >= 3；
对于所有的0 <= i < F.length - 2，都有 F[i] + F[i+1] = F[i+2] 成立。
另外，请注意，将字符串拆分成小块时，每个块的数字一定不要以零开头，除非这个块是数字 0 本身。

返回从 S 拆分出来的任意一组斐波那契式的序列块，如果不能拆分则返回 []。

解析

切分数要求：
根据斐波那契式序列的要求，从第 3 个数开始，每个数都等于前 2 个数的和，因此从第 3 个数开始，需要判断拆分出的数是否等于前 2 个数的和，只有满足要求时才进行拆分，否则不进行拆分，回溯

归纳出了剪枝的三种情况
1.切分数大于一位且以0开头
2.切分数值大于最大整型
3.切分数值已经大于前两个数之和

回溯算法参数：
目标数组ans
字符串S
字符串S的长度length
切分数第一位的索引index
当前切分数的前两个数的和sum
当前切分数的前一个切分数prev

回溯算法小归纳：
1.回溯就是从当前结点开始递归，如果递归成功则返回true，递归失败就把当前结点移出解空间 （pop_back()）,这样就完成了回溯
2.剪枝：如果当前结点不满足条件，则剪枝（在循环体中表现为break,在函数中体现为return false）

代码

class Solution {
public:
    vector<int> splitIntoFibonacci(string S) {
        vector<int> ans;
        searchback(ans,S,S.size(),0,0,0);
        return ans;
    }
    // 回溯算法小归纳：
    // 1.回溯就是从当前结点开始递归，如果递归成功则返回true，递归失败就把当前结点移出解空间                （pop_back()）,这样就完成了回溯
    // 2.剪枝：如果当前结点不满足条件，则剪枝（在循环体中表现为break,在函数中体现为return false）
    bool searchback(vector<int> &ans, string S, int length, int index, int sum, int prev){
        //遍历完S之后，目标数组长度小于3的返回false
        if(index==length){
            return (ans.size()>=3);
        }
        long long cur=0;
        for(int i=index;i<length;i++){
            //剪枝的第一种情况：以0开头的大于一位的数
            if(i>index && S[index]=='0'){
                break;
            }
            //所切分的数满足条件，切下来
            cur=cur*10+S[i]-'0';
            //剪枝的第二种情况：所切分的数大于最大整型
            if(cur>INT_MAX){
                break;
            }
            if(ans.size()>=2){
                //剪枝的第三种情况：切分下来的数已经大于前两个数之和
                if(cur>sum){
                    break;
                }
                //如果切分下来的数小于前两个数之和，则继续切分
                else if(cur<sum){
                    continue;
                }
            }
            //将满足条件：（当前目标数组长度小于等于2或者当前切分数等于前两数之和）的切分数添加到                目标数组
            ans.push_back(cur);
            //继续向下递归，递归成功返回true
            if(searchback(ans,S,length,i+1,prev+cur,cur))
            return true;
            //递归失败，回溯，将当前节点移出解空间
            ans.pop_back();
        }
        return false;
    }
};