LeetCode每日一题--842. 将数组拆分成斐波那契序列（回溯，剪枝）

题目：跳转至 842. 将数组拆分成斐波那契序列
给定一个数字字符串 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 拆分出来的任意一组斐波那契式的序列块，如果不能拆分则返回 []。
示例 1：
输入：“123456579”
输出：[123,456,579]
示例 2：
输入: “11235813”
输出: [1,1,2,3,5,8,13]
示例 3：
输入: “112358130”
输出: []
解释: 这项任务无法完成。
示例 4：
输入：“0123”
输出：[]
解释：每个块的数字不能以零开头，因此 “01”，“2”，“3” 不是有效答案。
示例 5：
输入: “1101111”
输出: [110, 1, 111]
解释: 输出 [11,0,11,11] 也同样被接受。
提示：

1. 1 <= S.length <= 200
2. 字符串 S 中只含有数字。

class Solution {
public:
    vector<int> splitIntoFibonacci(string S) {

    }
};

思路：
为了F[i] + F[i+1] = F[i+2]，首先0不能出现在首位，继续举例子，对"123456579"
判断1+2=3，2+3>4，2+3<45；
判断12+3>4，12+3<45；
判断12+34=56，34+5>6，34+5<65，34+56>57，34+56<579；
判断123+4>5，123+4>56，123+4<565，123+45>6，123+45<657，123+456=579；
所以确认前两个值后，第三个值如果小于前两者之和，加上后一位进行判断，直至大于等于前两者之和，再加值只会更大没有意义。
以两个下标分别指向F[i]的首位和F[i+1]的首位，摘出对应的数值，判断后续是否存在值等于前两者之和？
看题解，总感觉思路也差不多但就是不会做。
把可能的值都拆分出来，直接判断是否符合斐波那契数列，能就继续加入数组，遍历到结尾时判断数组中的个数得出结果。

class Solution {
public:
    vector<int> splitIntoFibonacci(string S) {
        vector<int> list;
        backtrack(list,S,S.length(),0,0,0);
        return list;
    }
    bool backtrack(vector<int> &list,string S,int len,int index,long long sum,int prev){
        if(index==len)  //index是指向当前字符串某个字符的下标
            return list.size()>=3;  //因为斐波那契数列至少要存在3个值
        long long curr=0;
        for(int i=index;i<length;++i){
            if(i>index && S[index]=='0') //如果是0除外的其他0X值，无效
                break;
            curr=curr*10+S[i]-'0';  //计算当前值
            if(curr>INT_MAX)  //题目写明0<=F[i]<=2^31-1
                break;
            if(list.size()>=2){
                if(curr<sum)  //如果当前值小于和，继续循环加一位判断
                    continue;
                else if(curr>sum)  //如果当前值大于和，不可能相等
                    break;
            }
            list.push_back(curr);  //两种可能：1.list中存储的值不足两个；2.存入的数等于前两者之和
            if(backtrack(list,S,length,i+1,prev+curr,curr))  //索引值后移一位，prev指前一位值，curr指当前值，对递归中的i+1下标指向的值，prev+curr就是前两者之和sum，curr就是i+1下标前一位斐波那契数列的值
                return true;
            list.pop_back();  //如果不满足，弹出值并后移一位索引（值再加一位进行判断）
        }
        return false;
    }
};

回溯是一个类枚举的搜索尝试过程，是一种优选搜索法，当发现不满足求解条件时直接回溯返回，尝试其他路径。
剪枝是在搜索算法优化中，通过某种判断，避免一些不必要的遍历过程。