【LeeCode】974.和可被 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 <= A.length <= 30000
-10000 <= A[i] <= 10000
2 <= K <= 10000

解题思路

同余法

涉及到子区间的一般要用上前缀和，令p[i]=A[0]+...+A[i-1]，那么p[i]-p[j]就相当于(j,i]这个区间的累加和。有同余公式可以得到若(p[i]-p[j])%k==0，则p[i]%m=p[j]%k，这就是同余。运用这个结论，我们就可以将问题转换为：如果p[i]和p[j]对k取模的余数一样，那么(j,i]这个区间就是满足结论的。
但是还有一点要注意，上述的过程是一种情况，即p[i]和p[j]对m取模的余数互补也是结论的一部分。如果前缀和两个分别是p[i]=1和p[j]=-1，k=2，那么p[i]-p[i-1]=k，但是分开取模的结果则是相减为K，所以也需要考虑进去。

JAVA代码如下，时间复杂度O(n)，空间复杂度O(n)。

class Solution {
    public int subarraysDivByK(int[] A, int K) {
        // 计算前缀和
        int[] preSum = new int[A.length + 1];
        for (int i = 1; i <= A.length; i++)
            preSum[i] = preSum[i - 1] + A[i - 1];
        
        // 将前缀和余数相同的合并在一起
        int[] remainders = new int[10005];
        int[] remaindersReversal = new int[10005];
        for (int i = 0; i <= A.length; i++) {
            int remainder = preSum[i] % K;
            if (remainder >= 0) remainders[remainder]++;
            else remaindersReversal[-remainder]++;
        }
        
        // 计算最终结果
        int ans = 0;
        for (int i = 0; i < K; i++) {
            ans += remainders[i] * (remainders[i] - 1) / 2; // 计算余数相同的结果
            ans += remaindersReversal[i] * (remaindersReversal[i] - 1) / 2; // 计算余数相同的结果
            ans += remainders[i] * remaindersReversal[K - i]; // 计算余数相加为K的结果
        }
        
        return ans;
    }
}