Leetcode之使所有区间的异或结果为零

题目：

给你一个整数数组 nums​​​ 和一个整数 k​​​​​ 。区间 [left, right]（left <= right）的 异或结果 是对下标位于 left 和 right（包括 left 和 right ）之间所有元素进行 XOR 运算的结果：nums[left] XOR nums[left+1] XOR ... XOR nums[right] 。

返回数组中 要更改的最小元素数 ，以使所有长度为 k 的区间异或结果等于零。

示例 1：

输入：nums = [1,2,0,3,0], k = 1
输出：3
解释：将数组 [1,2,0,3,0] 修改为 [0,0,0,0,0]
示例 2：

输入：nums = [3,4,5,2,1,7,3,4,7], k = 3
输出：3
解释：将数组 [3,4,5,2,1,7,3,4,7] 修改为 [3,4,7,3,4,7,3,4,7]
示例 3：

输入：nums = [1,2,4,1,2,5,1,2,6], k = 3
输出：3
解释：将数组[1,2,4,1,2,5,1,2,6] 修改为 [1,2,3,1,2,3,1,2,3]

提示：

1 <= k <= nums.length <= 2000
​​​​​​0 <= nums[i] < 210

代码：

class Solution {
public:
    const int INF=0x3f3f3f3f;
int minChanges(vector<int>& nums, int k) {
    int n=nums.size();
    vector<unordered_map<int,int>> groups(k);
    vector<int> size(k);
    for(int i=0;i<k;++i){
        for(int j=i;j<n;j+=k){
            groups[i][nums[j]]++;
            size[i]++;
        }
    }
    vector<int> dp(1<<10,INF);
    dp[0]=0;
    for(int i=0;i<k;i++){
        int lo=*min_element(dp.begin(),dp.end());
        vector<int> ndp(1<<10,lo+size[i]);
        for(int j=0;j<(1<<10);j++){
            if(dp[j]==INF){
                continue;
            }
            for(auto [p,freq]:groups[i]){
                int nxt=p^j;
                ndp[nxt]=min(ndp[nxt],dp[j]+size[i]-freq);
            }
        }
        dp=move(ndp);
    }
    
    return dp[0];
}
};

想法：根据k将数组分为k组数，每组数是独立的，记录，每组数中每个数出现的次数，记录在group中，同时使用size数组记录，每组数的个数；使用dp数组，dp[i]表示异或值为i所需要改动的最小数目；因为各组数是独立的，所以，可以对于组数进行动态规划。首先初始化dp，遍历k，返回上一组数中需要改变的最小的数目，遍历0-1<<10，如果dp[j]==INF,说明没有异或等于j的，continue; 否则，遍历该组的数，获取异或，然后更新结果: int nxt=p^j; ndp[nxt]=min(ndp[nxt],dp[j]+size[i]-freq);然后让dp=move(ndp); 最后返回dp[0]；是一种变形的背包问题吧；主要难点在于建模。