【数据结构-哈希前缀】力扣1590. 使数组和能被 P 整除

给你一个正整数数组 nums，请你移除 最短 子数组（可以为 空），使得剩余元素的 和 能被 p 整除。 不允许 将整个数组都移除。

请你返回你需要移除的最短子数组的长度，如果无法满足题目要求，返回 -1 。

子数组 定义为原数组中连续的一组元素。

示例 1：
输入：nums = [3,1,4,2], p = 6
输出：1
解释：nums 中元素和为 10，不能被 p 整除。我们可以移除子数组 [4] ，剩余元素的和为 6 。

示例 2：
输入：nums = [6,3,5,2], p = 9
输出：2
解释：我们无法移除任何一个元素使得和被 9 整除，最优方案是移除子数组 [5,2] ，剩余元素为 [6,3]，和为 9 。

示例 3：
输入：nums = [1,2,3], p = 3
输出：0
解释：和恰好为 6 ，已经能被 3 整除了。所以我们不需要移除任何元素。

示例 4：
输入：nums = [1,2,3], p = 7
输出：-1
解释：没有任何方案使得移除子数组后剩余元素的和被 7 整除。

示例 5：
输入：nums = [1000000000,1000000000,1000000000], p = 3
输出：0

哈希前缀

class Solution {
public:
    int minSubarray(vector<int>& nums, int p) {
        // y是较长前缀和，z是较短前缀和
        // (y - z) mod p = x 等价 (y-x) mod p = z
        int sum = 0;
        for(int k : nums){
            sum = (sum + k) % p;
        }

        if(sum == 0){
            return 0;
        }

        unordered_map<int, int> group;
        int res = nums.size(), y = 0;
        for(int i = 0; i < nums.size();i++){
            group[y] = i;
            y = (y + nums[i]) % p;  //前缀和 mod p
            if(group.count((y - sum + p) % p) == 1){
                res = min(res, i - group[(y - sum + p) % p] + 1);
            }
        }
        return res == nums.size() ? -1 : res;
    }
};

这几个等式看不懂的，强烈建议可以看主页力扣974中相关链接，有对计算机中模运算的详细解释。

(y - z) mod p = x mod p 等价 (y-x) mod p = z mod p

(y - z) mod p = (y mod p - z mod p + p) mod p

(y mod p - x mod p + p) mod p = z mod p

理解几个等式是解题的关键。(y - z) mod p = x mod p这个等式意味着子段和 mod p的结果与nums全部元素和 mod p的结果一样，这时候说明减去这个子段，剩下子段刚好可以被p整除。

因为x mod p，即元素和 mod p的结果是已知的，而且z mod p的结果在遍历时候逐一储存到哈希表中，在已知y mod p的情况下，不妨进行变换，(y mod p - x mod p + p) mod p = z mod p，这时候我们只需要查找z mod p，即较短前缀和 mod p的结果是否储存在哈希表中，如果有的话，由于哈希表值储存的是对应下标，且如果出现相同键会进行更新，以最新也就是最右边的键为准，满足题意最短子段，所以可以通过当前数组下标减去对应哈希表中储存的值然后+1即可。