LeetCode - 和可被 K 整除的子数组

题目链接：https://leetcode-cn.com/problems/subarray-sums-divisible-by-k/

题目描述

给定一个整数数组 A，返回其中元素之和可被 K 整除的（连续、非空）子数组的数目。

示例：

输入: A = [4,5,0,-2,-3,1], K = 5
输出: 7
解释: 有 7 个子数组满足其元素之和可被 K = 5 整除：
[4, 5, 0, -2, -3, 1], [5], [5, 0], [5, 0, -2, -3], [0], [0, -2, -3], [-2, -3]

提示：

1. 1 <= A.length <= 30000
2. -10000 <= A[i] <= 10000
3. 2 <= K <= 10000

思路

• 最初的想法还是单纯（蠢萌）地用暴力去找元素，毕竟只需要连续的元素之和。
• 然而请记住这是一道中等题，简单的暴力解决必然导致超时，暴力的时间复杂度达到O(n^2)。
• 如果对前缀和有过了解的应该会考虑到使用前缀和来解决该问题。
• 我们令 P[i] = A[0] + A[1] + … + A[i]P[i]=A[0]+A[1]+…+A[i]。那么每个连续子数组的和 sum(i,j) 就可以写成 P[j] - P[i-1]P[j]−P[i−1]（其中 0 < i < j0<i<j）的形式。此时，判断子数组的和能否被 KK 整除就等价于判断 (P[j] - P[i-1]) mod K == 0 ，根据同余定理，只要 P[j] mod K == P[i-1] mod K，就可以保证上面的等式成立。（转自LeetCode官方题解）
• 根据以上理论我们可以以当前 前缀和 mod K 为键，出现次数为值建立一个哈希表，每次遍历到当前元素便查询该哈希表 以当前 前缀和 mod K 为键的值（意思就是，找出有多少个和当前的 前缀和模K 的值 相同的前缀和），累加该值，并更新哈希表。

递归版本：

class Solution {
public:
    int subarraysDivByK(vector<int>& A, int K) {
        int res = 0;
        int sum = 0;
        map<int, int> dict{{0, 1}};
        for(auto &num : A) {
            sum += num;
            int record = (sum % K + K) % K;
            if(dict.count(record)) {
                res += dict[record];
            }
            dict[record]++;
        }
        return res;
    }
};