力扣题目 995. K 连续位的最小翻转次数

在仅包含 0 和 1 的数组 A 中，一次 K 位翻转包括选择一个长度为 K 的（连续）子数组，同时将子数组中的每个 0 更改为 1，而每个 1 更改为 0。

返回所需的 K 位翻转的最小次数，以便数组没有值为 0 的元素。如果不可能，返回 -1。

示例 1：

输入：A = [0,1,0], K = 1
输出：2
解释：先翻转 A[0]，然后翻转 A[2]。
示例 2：

输入：A = [1,1,0], K = 2
输出：-1
解释：无论我们怎样翻转大小为 2 的子数组，我们都不能使数组变为 [1,1,1]。
示例 3：

输入：A = [0,0,0,1,0,1,1,0], K = 3
输出：3
解释：
翻转 A[0],A[1],A[2]: A变成 [1,1,1,1,0,1,1,0]
翻转 A[4],A[5],A[6]: A变成 [1,1,1,1,1,0,0,0]
翻转 A[5],A[6],A[7]: A变成 [1,1,1,1,1,1,1,1]

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/minimum-number-of-k-consecutive-bit-flips
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

说实话这次官方题解写得还不如下面有些回复清楚…我看了好久才看懂。下面写的东西可能就我自己看得懂？

按照官方题解重要的是先知道差分数组的特性是什么
因为构造的辅助差分数组是翻转次数的差分数组。可以自己打个草稿，先写一下翻转次数的数组。
例如：数组:A=[0,1,0,1,0,1,0],k为2
翻转一次的时候，
构造的差分数组为diff=[1,0,-1,0,0,0,0]
翻转次数的数组为：rev=1,1,0,0,0,0,0])
diff[0]=rev[0]-0=1,diff[1]=rev[1]-rev[0]=0，以此类推，diff[i]=rev[i]-rev[i-1]，下标为0的位置没有前一位所以差为其自身减0。
数组下标为0的位置，翻转次数为差分数组前缀和即rev[0]=diff[0]=1
数组下标为1的位置，翻转次数为差分数组前缀和，即rev[1]=diff[0]+diff[1]=1
以此类推，rev[2]=diff[0]+diff[1]+diff[2]=0，此时A[2]确实没有进行过翻转
rev[i]=diff[0]+diff[1]+diff[2]+…+diff[i]，如果是奇数，就证明它被翻转过，如果是偶数，就证明它虽然被翻转过(或者没被翻转过)但还是原值。
翻转次数再加上它自身的和：rev[i]+A[i]，按照前面得出的结果，分成两种情况，第一种是rev[i]是偶数，此时A[i]为0才需要进行翻转，另一种是rev[i]是奇数，A[i]原值为1，当前值为0，所以也是需要进行翻转的。这两种需要进行翻转的情况，都是rev[i]+A[i]为偶数，即(rev[i]+A[i])%2==0。
再加上一个越界条件判断，当前需要翻转，但是给定的k，i+k大于数组自身长度的时候，是不能再进行翻转的，需要直接返回错误码，证明该数组无法依靠翻转变成值全为1的状态。
//最开始没能理解前缀是什么意思，原来是前n个数字的意思
代码中的diff_cnt就是前缀和，rev_cnt就是最大翻转次数即题目需要的结果。

class Solution {
public:
    int minKBitFlips(vector<int> &A, int K) {
        int len=A.size();
        vector<int> diff(len+1);
        int diff_cnt=0;
        int rev_cnt=0;
        for(int i=0;i<len;i++){
            diff_cnt+=diff[i];
            if(0 == (diff_cnt+A[i])%2){
                if (K+i>len){
                    return -1;
                }
                rev_cnt++;
                diff_cnt++;
                diff[i+K]--;
            }
        }
        return rev_cnt;
    }
};